REPBLICA BOLIVARIANA DE VENEZUELA MINISTERIO DEL PODER POPULAR PARA LA DEFENSA UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

NACIONAL BOLIVARIANA

PROFESOR: ING. INGRID FIGUEROA

ALUMNOS: ISMAEL CENDON JORGE GONZALES GUIDO LEOPARDI ING. NAVAL 2DO SEMESTRE SECCIN 43

JUNIO DE 2011

INTEGRALES IMPROPIAS En clculo, una integral impropia es el lmite de una integral definida cuando uno o ambos extremos del intervalo de integracin se acercan a un nmero real especfico, a , o a . Adems una integral definida es impropia cuando la funcin integrando de la integral definida no es continua en todo el intervalo de integracin. Tambin se pueden dar ambas situaciones. Si la funcin f al ser integrada de a a c tiene una discontinuidad en c, especialmente en la forma de una asntota vertical, o si c = , entonces la integral

Puede ser ms conveniente redefinirla de la siguiente forma:

En algunos casos, la integral de a a c ni siquiera est definida, puesto que las integrales de la parte positiva y negativa de f(x) dx entre a y c son ambas infinitas, sin embargo el lmite puede existir. Estos casos corresponden a las llamadas "integrales impropias", es decir, aquellas cuyos valores no pueden definirse excepto como lmites. La integral

puede interpretarse como:

pero desde el punto de vista del anlisis matemtico no es obligatorio interpretarla de tal manera, ya que puede interpretarse como una integral de Lebesgue sobre el intervalo (0, ). Por otro lado, el uso del lmite de integrales definidas en intervalos finitos es til, aunque no sea como forma de calcular su valor. En contraste al caso anterior,

no puede ser interpretada como una integral de Lebesgue, ya que

sta es una "verdadera" integral impropia, cuyo valor est dado por

Llamamos singularidades de una integral impropia a los puntos de la recta extendida de nmeros reales en los cuales debemos utilizar lmites. Tales integrales son frecuentemente escritas en forma simblica de igual forma que una integral definida, utilizando un infinito como lmite de integracin. Esto no hace ms que "ocultar" el debido proceso de calcular los lmites de la integral. Utilizando la ms avanzada integral de Lebesgue en lugar de una integral de Riemann, uno puede a veces evitar tal operacin. Pero si slo se desea evaluar el lmite para obtener un valor definido, tal mecanismo pudiera no resultar de ayuda. El concepto de integral de Lebesgue es ms o menos esencial en el tratamiento terico de la transformada de Fourier que hace uso extensivo de integrales sobre el total de la recta real. Lmites infinitos de integracin Las integrales impropias ms bsicas son integrales como:

Como dijimos anteriormente stas no necesitan ser definidas como una integral impropia, ya que pueden ser construidas como una integral de Lebesgue. Sin embargo, para propsitos de computar esta integral, es ms conveniente tratarla como un integral impropia, i.e., evaluarla cuando el lmite superior de integracin es finito y entonces coger el lmite ya que este lmite se acerca a . La primitiva de la funcin que est siendo integrada es arctan x. La integral es

Asntotas verticales en los lmites de integracin Considera

Esta integral involucra una funcin con una asntota vertical en x = 0. Uno puede obtener el valor de esta integral evalundola desde b a 1, y entonces tomando el lmite como b tendiendo a 0. Ntese que la anti-derivativa de la anterior funcin es 3x1 / 3, la cual puede ser evaluada por sustitucin directa para dar el valor

El lmite cuando b 0 es 3 0 = 3. Valores principales de Cauchy Artculo principal: valor principal de Cauchy Considera la diferencia en los valores de dos lmites:

La primera es el valor principal de Cauchy

Similarmente, tenemos

pero

La primera es el valor principal

Todos los lmites anteriores son casos de la forma de indeterminacin . Carcter y valor de las Integrales Impropias Si la integral que nos ocupa es de fcil resolucin podemos determinar su carcter mediante el clculo de la integral impropia. Segn el resultado que obtengamos sabremos si es convergente o divergente. Primero clasifiquemos las integrales en 3 tipos: Primera especie

Son del tipo:

Para poder determinar su carcter realizamos la Si existe el es finito y en ese caso Segunda especie

Son del tipo: y que f(x) no esta definida en el intervalo de integracin o en los extremos de integracin. Para poder determinar su carcter realizamos la siguiente operacin (suponemos que el punto conflictivo se encuentra en x = a):

Si

el

existe

es

finito

en

este

caso

, entonces se dice que la integral es convergente o que la integral converge. Se dice que es divergente en cualquier otro caso. Tercera especie Son mezclas de los dos tipos anteriores, es decir, que presentan un infinito en los extremos de integracin y la funcin se hace infinito en uno o ms puntos del intervalo de integracin.

Este tipo de integrales impropias se pueden dividir en suma de dos integrales: una de primera especie y otra de segunda especie. Por lo tanto deberemos seguir los pasos anteriores para determinar su carcter, y tener en cuenta que para que sea convergente tanto la integral de primera especie como la de segunda especie tienen que ser convergentes, si no, en cualquier otro caso, diverge. impropias son una clase especial de integrales definidas (integrales de Riemann) en las que el intervalo de integracin o la funcin en el integrando o ambos presentan ciertas particularidades. Las integrales impropias no son realmente una nueva forma de integrales, sino una extensin natural a las propiedades de la integral y un replanteamiento de nuestro concepto de rea bajo la curva. Criterios de Dirichlet y Abel En el Criterio de Abel si tenemos an que converge y {bn} es montona y acotada, entonces Ponemos un ejemplo: Sea 1n2 debemos poder descomponerla en dos, tales que se multipliquen entre ambas, una de ellas sea convergente y la otra montona y acotada, para que podamos decir que la serie original converge. Pero para esta serie no es posible: pero la serie 1 no converge ni es acotada.

De otra forma:

pero

no converge o no lo podemos saber a simple vista. pero a pesar de que converge, n

Por lo que probamos de otro modo: no es acotada.

Luego para esta serie no nos ha servido aplicar el criterio de Abel. Podemos preguntarnos por qu no es cierta la implicacin al contrario, es decir, por qu Se demuestra con un ejemplo:

El Criterio de Dirichlet dice que si se tiene una an tal que {S_n} (sumas parciales}

es acotada y {b_n} es montona y con lmite igual a 0, entonces

Ejemplo: {bn} montona y ( 1)n > S1 = 1;;S2 = 1 + 1 = 0;;S3 = 1;;S4 = 0;;... por lo que {Sn} es acotada Estudio de las series armnica, hiperarmnica y armnica alternada. Constante de Euler Criterios de convergencia para series de nmeros reales no negativos Sumabilidad Criterios generales de comparacin: de la mayorante o de Gauss, comparacin por cociente, comparacin con paso al lmite, comparacin de segunda especie (de la razn) y de Kummer El Criterio de comparacin ( de Gauss, o de la mayorante-minorante) dice: Sean anybn series de trminos no negativos, supongamos que

Si la menor diverge, la mayor tambin converge, la menor tambin

Si la mayor

Ej: bn = n = 1 + 2 + 3 + ... Como se puede ver an es menor trmino a trmino, y adems, como diverge a No se pudo entender (error desconocido): +\infty \Rightarrow (aplicando el criterio de comparacin) \Sigma n tambin diverge

Segn el Criterio de comparacin asinttica ( por paso al lmite): Si tenemos: No se pudo entender (error desconocido): \Sigma a_n (serie de trminos no negativos) y \Sigma b_n (serie de trminos positivos) Si el No se pudo entender (error desconocido): \lim \frac{a_n}{b_n} \in \mathbb{R}^+ \Rightarrow \Sigma a_n y \Sigma b_n tienen el mismo carcter

Criterios particulares de comparacin: Pringsheim, logartmico y de condensacin de Cauchy

logartmico,

log-

Criterios automticos: del cociente (DAlembert), de la raz (CauchyHadamard), de Raabe-Duhamel, de Bertrand y criterio integral El criterio del cociente (de D'Alembert) dice: Sea No se pudo entender (error desconocido): \Sigma a_n una serie de trminos positivos

Si el Por este criterio tambin tenemos que si el Por ejemplo: Sea Entonces aplicamos el criterio del cociente:

Sea

Aplicando el criterio del cociente:

Sea 2n Ahora aplicamos el criterio del cociente:

Criterio de la raz (Cauchy-Hadamard) Sea, entonces: Si el Tambin se cumple que si el Por ejemplo: Sea 2n Aplicamos el criterio de la raz:

Criterio de Raabe-Duhamel: Sea

Entonces, si el cumple que si el: Por ejemplo: Sea n, entonces Y el

Y tambin se

Sea

, entonces

Y el

Sea

, luego

Y el

Series con infinitos trminos positivos y negativos Series alternadas. Criterio de Leibniz Sea Entonces El criterio la dice que si

serie

converge

Reordenaciones. Subseries positiva y negativa. Teoremas de Riemann y Dirichlet Teorema de Riemann Consideremos una serie an que contenga infinitos trminos positivos e infinitos trminos negativos. A partir de esta serie es posible generar otras dos series: 1.- La serie bn formada por los trminos positivos de an 2.- La serie cn formada por los valores absolutos de los trminos negativos de an Pueden darse los casos siguientes: a)Si se da el caso de que ambas subseries convergen, entonces la serie original es absolutamente convergente. b)Si una es convergente y incondicionalmente divergente. la otra divergente, la serie original es

c)Si ambas son divergentes, la convergencia o divergencia que presenta la serie original es condicional. Adems si la serie original an cu,mple que el lmite de la sucesin an es 0 entonces es posible alterar el orden de los trminos de la serie de tal manera que podemos conseguir una serie convergente o divergente. Ejemplo: (-1)n*1/n Sera la serie an = -1 + 1/2 -1/3 + 1/4+... Si nos fijamos los trminos pares de la sucesin son todos trminos positivos. Esta sera nuestra subserie bn bn = 1/2+1/4+1/6... = a2n Y los trminos impares siempre son trminos negativos. Luego podremos definir la subserie cn cn = |-1|+|-1/3|+|-1/5|+... = |a2n-1| Luego ya tenemos dos subseries: bn=1/2n y cn=1/2n-1 Veamos si son convergentes o divergentes. Por el criterio de Pringsheim aplicado a la subserie positiva: lim n*1/n siendo =1 es = lim n/2n = 1/2 la serie diverge Luego la serie original no sera absolutamente convergente. Habra que ver los otros casos. Condiciones necesarias Al decir que A es necesaria para B, estamos diciendo que B no puede ser verdadera a menos que A sea verdadera, o que cuando quiera, donde quiera, o como sea, B es verdadera, si A lo es. En pocas palabras: Si el antecedente es falso, el consecuente tiene que ser falso. Nosotros podemos decir que el tener por lo menos 18 aos es necesario para tener una licencia de conducir.

En el sentido en el que utilizamos aqu la palabra necesario, podemos decir tambin el humo es necesario para el fuego. Esto es confuso, desde el momento en que el humo viene despus del fuego; pero todo lo que nosotros estamos diciendo es que donde quiera que exista B, ah existe A, es decir, el fuego (A) no puede ocurrir sin que exista humo (B). Estamos tratando de no decir nada acerca de la direccin del tiempo. En el lenguaje ordinario diramos El humo es una consecuencia necesaria del fuego.[1] En cada caso, lo importante es notar que una cosa es asumida (el fuego, una licencia), y una segunda cosa es derivada como necesaria consecuentemente. El tener 18 es una condicin necesaria en el segundo caso; el humo es una condicin necesaria en el primer caso (sin embargo, nuevamente, originariamente no deberemos llamar esto una condicin). Es importante saber que es muy posible que una condicin necesaria ocurra por s sola, por ejemplo, uno puede tener 18 aos y no tener la licencia de conducir, y hay formas de generar humo sin fuego. Si A es una condicin necesaria para B, entonces la relacin lgica entre A y B se expresa: si B entonces A o B solo si A o B A. Condiciones suficientes Al decir que A es suficiente para B, estamos diciendo precisamente lo contrario: que A no puede ocurrir sin B, o cuando sea que ocurra A, B ocurrir. Es decir, que el hecho de que exista fuego es suficiente para que haya humo. En pocas palabras si el antecedente es verdadero, el consecuente tiene que ser verdadero Las condiciones necesarias y suficientes consecuentemente estn relacionadas. A es una condicin necesaria para B solo en el caso de que B sea una condicin suficiente para A. En el sentido en el cual utilizamos la palabra suficiente, podramos tambin decir tener una licencia es suficiente para tener dieciocho aos. Esto es confuso, desde el momento en que tener una licencia no causa que tengas dieciocho aos; no obstante, la percepcin comn es que si t tienes una licencia, t debes tener dieciocho aos (consideramos la licencia como una prueba de edad debido a que la consideramos suficiente para demostar la edad en algo como en el sentido expuesto). Trate de ignorar la relacin causal y la direccin del tiempo: Estamos poniendo atencin solo en la relacin lgica. En todo caso, note que una cosa es asumida (fuego, una licencia), y esta misma cosa la identificamos como la condicin suficiente para otra cosa (humo, edad) suficiente en el sentido de lo justo adecuado para que la otra exista.

Debemos considerar que, una condicin suficiente, por definicin, es aquello que no puede ocurrir sin aquello para lo que es condicin, as que, no puedes tener una licencia sin tener dieciocho aos. Si A es una condicin suficiente para B, entonces la relacin lgica entre ellas es expresada como Si A entonces B o A solo si B o A B. Condicin necesaria y suficiente Decir que A es necesaria y suficiente para B es decir dos cosas simultneamente: 1. A es necesaria para B 2. A es suficiente para B. Por ejemplo, Si Alicia siempre come bistec el lunes, pero nunca en otro da, podemos decir que El hecho de que sea lunes es una condicin necesaria y suficiente para que Alicia coma bistec. Lo recproco tambin es verdadero: El hecho de que Alicia est comiendo bistec es una condicin necesaria y suficiente para que sea lunes. De este modo, en el momento en que A es necesaria y suficiente para B, B es necesaria y suficiente para A. Una vez ms, esto es confuso, desde que la accin de Alicia de comer bistec no causa que sea Lunes. Desde que la frase necesaria y suficiente puede expresar una relacin entre oraciones o entre estado de las cosas, objetos, o eventos, esta no debe ser combinada demasiado rpido con equivalencia lgica. El hecho de que Alicia este comiendo bistec no es equivalentemente lgico para que sea Lunes. Sin embargo, A es necesario y suficiente para B expresa la misma cosa que A si y solo si B.

Sucesiones Definicin

Sucesin Se denomina sucesin a una funcin cuyo dominio es el conjunto de los nmeros naturales. Para denotar el n-simo elemento de la sucesin se escribe an en lugar de f(n). Ejemplo: an = 1/n a1 = 1, a2 = 1/2, a3 = 1/3, a4 = 1/4, ... Definicin Sucesin montona creciente Una sucesin es montona creciente si se cumple que para todo n natural a n <= an+1 (a1 <= a2 <= a3 <= ... <= an). Ejemplo: an = n es montona creciente. a1 = 1, a2 = 2, a3 = 3, a4 = 4, ... Definicin Sucesin montona decreciente Una sucesin es montona decreciente si se cumple que para todo n natural an >= an+1 (a1 >= a2 >= a3 >= ... >= an). Ejemplo: an = 1/n es montona decreciente. a1 = 1, a2 = 1/2, a3 = 1/3, a4 = 1/4, ... Lmite finito de una sucesin Consideremos la sucesin an = 1/n. a1 = 1 a2 = 1/2 = 0.5 a3 = 1/3 0.33

a4 = 1/4 = 0.25 a5 = 1/5 = 0.2 a6 = 1/6 0.17 a7 = 1/7 0.14 a8 = 1/8 0.12 a9 = 1/9 0.11 a10 = 1/10 = 0.1 A medida que aumenta n, los trminos de la sucesin son cada vez ms cercanos a 0. Si representamos los trminos como puntos en una lnea, esto significa que los puntos an se apian cada vez ms cerca del punto 0 conforme n crece.

Se dice que an tiende a 0, o que tiene lmite 0. Se expresa simblicamente por: lim an = 0 o bien, ocasionalmente, por la notacin abreviada an -> 0. Definicin Lmite finito lim an = a <=> para todo >0 existe N natural / para todo n > N a - < a n < a + , o lo que es lo mismo, |an - a| < . Para cualquier nmero positivo , por pequeo que sea, podemos encontrar un natural N suficientemente grande tal que a partir del ndice N en adelante se tiene que |an a| < . Es decir, si tomamos un entorno de a de cualquier radio siempre habr un subndice N tal que desde N en adelante todos los trminos de la sucesin pertenecen a dicho entorno. Lmite infinito de una sucesin Consideremos la sucesin an = n2. a1 = 1 a2 = 4 a3 = 9 a4 = 16 ... a10 = 100

... a100 = 10.000 Al crecer n, an no tiende a un lmite definido, sino que crece ms all de toda cota. Se dice que an tiende a infinito. Definicin Lmite infinito lim an = +inf <=> para todo K>0 existe N natural / para todo n > N an > K. Para cualquier nmero positivo K (tan grande como se quiera), podemos encontrar un natural N, tal que aN y todos los trminos siguientes son mayores que K. Esto quiere decir que an puede hacerse mayor que cualquier cota, con tal de que n sea lo suficientemente grande. Del mismo modo se define lim an = -inf <=> para todo K<0 existe N natural / para todo n > N an < K. Definicin Convergencia y divergencia Cuando una sucesin tiene lmite finito a se dice que es convergente y converge a a. Una sucesin que tiene lmite infinito se llama divergente. Una sucesin que carece de lmite se llama oscilante. La sucesin an = 1/n converge a 0. La sucesin an = n2 es divergente. La sucesin an = sen n es oscilante, pues sus valores varan entre 1 y -1. Propiedades del lmite finito de sucesiones Unicidad del lmite Si una sucesin tiene lmite es nico. H) lim an = b T) b es nico

Demostracin:

La demostracin se hace por reduccin al absurdo.Suponemos que an tiene dos lmites distintos b y c.Suponemos que b > c. lim an = b => (por def. de lmite finito de una sucesin) para todo >0 existe n1 natural / para todo n > n1 b - < an < b + ; lim an = c => (por def. de lmite finito de una sucesin) para todo >0 existe n2 natural / para todo n > n2 c - < an < c + Consideremos un tal que c+ < b-, o sea < (b - c)/2

Sea N = max {n1,n2} Para todo n > N se cumple

b - < an < b + c - < an < c + puede pertenecer a dos entornos disjuntos.

Absurdo, pues an no Absurdo de suponer b c. Por lo tanto b = c.

Lmite de la sucesin comprendida Si una sucesin est comprendida entre otras dos que tienen igual lmite, entonces tiene el mismo lmite. H) lim an = lim bn = p Para todo n > n0 an <= cn <= bn T) lim cn = p Demostracin: lim an = p => (por def. de lmite de una sucesin) para todo 1 > 0 existe n1 natural / para todo n > n1 p - 1 < an < p + 1 lim bn = p => (por def. de lmite de una sucesin) para todo 2 > 0 existe n2 natural / para todo n > n2 p - 2 < bn < p + 2

Sea N = max {n0, n1, n2} Para todo n > N se cumple p-1 < an <= cn <= bn < p+2 p-1 < cn < p+2 Sea = min {1, 2} Para todo n > N p- < cn < p+ => (por def. de lmite de una sucesin) lim cn = p. Operaciones con lmites El lmite de la suma, producto y cociente de sucesiones se determina por las mismas reglas que para las funciones de variable continua. Las demostraciones son iguales, basta sustituir f(x) por an y considerar que la tendencia siempre es hacia +infinito. Aqu slo demostraremos el lmite de una suma. Para ver las dems reglas visitar la pgina sobre operaciones con lmites. Definicin Sucesiones equivalentes Dos sucesiones se dicen equivalentes cuando el lmite de su cociente es 1. Definicin Sucesin acotada M es cota superior de la sucesin an si an < M para m es cota inferior de la sucesin an si an > m para Una sucesin es acotada si tiene tanto cota superior como inferior. Teorema Toda H) Existen m T) lim an = b Demostracin: Queremos probar que existe N / para todo n > N |an - b| < . y M / sucesin montona an m < y an < acotada M para converge. montona todo n. todo todo n. n.

Supongamos que an es creciente (si suponemos que es decreciente, la demostracin es anloga). an < M para todo n Es decir que el conjunto de todos los trminos de la sucesin S = {a 1, a2, a3, ...} tiene extremo superior (la menor de las cotas superiores), llammosle b. Sea >0 b - no es cota superior de S pues es menor que el extremo superior => existe N / aN > b-. an es creciente => para todo n > N an >= aN => an > b- => -(an - b) < (1)

b+ tambin es cota superior de S => para todo n an < (b+) => => an - b < (2)

=> De 1) y 2) para todo n > N |an - b| < Teorema Toda H) T) an acotada Demostracin: an es convergente, eso significa que tiene lmite finito: lim an = a => (por def. de lmite finito de una sucesin) para todo >0 existe N / para todo n > N a- < an < a+ => (por def. de sucesin acotada) an est acotada. Nota: El recproco no es cierto. Que una sucesin est acotada no implica que sea convergente. Contraejemplo: an = (-1)n est acotada pero no es convergente. sucesin convergente an es acotada. convergente

-1, 1, -1, 1, -1, 1, -1, 1, ... Definicin Par de sucesiones montonas convergentes ((an),(bn)) es un par de sucesiones montonas a) an es creciente y bn b) Para todo n natural an c) Para todo >0 existe h natural / bh - ah < convergentes si decreciente. <= bn

Ejemplo: an = -1/n, bn = 1/n an es creciente. Debemos probar que an+1 >= an, o sea an+1 - an >= 0 -1 -1 -n + n + 1 1 --- - --- = ---------- = ------ > 0 n+1 n n(n+1) n2 + n bn es decreciente. Debemos probar que bn+1 <= bn, o sea bn - bn+1 >= 0 1 1 n+1-n 1 --- - --- = --------- = ------ > 0 n n+1 n(n+1) n2 + n Para todo n an < bn -1 1 --- < --- pues -n < n para todo n. n n Dado >0, existe h / bh - ah < 1 -1 2 --- - --- = --- < h h h Para que se cumpla basta tomar un h > 2/ Propiedad

Todo PSMC tiene frontera ((an),(bn)) es un PSMC => existe c / para todo n an <= c <= bn, lim an = c- y lim bn = c+. lim an = c- significa que an se aproxima a c por la izquierda, y lim b n = c+ significa que bn se aproxima a c por la derecha.

El nmero e A menudo un nmero a se describe por medio de una sucesin infinita an de aproximaciones; esto es, el valor a est dado por el valor an con cualquier grado de precisin deseado si el ndice n se elige suficientemente grande. Este es el caso del nmero e (e = 2,718281...), que puede definirse como el lmite de la sucesin an = (1 + 1/n)n o de la sucesin bn = (1 + 1/n)n+1. Series Definicin Dada una sucesin an es posible formar una nueva sucesin Sn del siguiente modo: S1 S2 = S3 = a1 S4 = a1 + ... Sn = a1 + a2 + a3 + a4 + ... + an = a1 + a2 + a2 + a3 + + a1 a2 a3 a4

La sucesin Sn se llama serie y se denota por +inf n=1 an o simplemente an Los elementos a1, a2, a3, ..., an, ... de la sucesin original son los trminos de la serie y S1, S2, S3, ..., Sn, ... se denominan las sumas parciales de la serie. Una serie es una sucesin de sumas parciales.

Clasificacin de una serie

Si la sucesin Sn tiene lmite finito S, la serie es convergente (converge a S). A S se le llama suma de la serie. Si lim Sn = +inf o -inf se dice que la serie es divergente. Si Sn no tiene lmite, se dice que la serie es oscilante.

Nota: Sn es la sucesin de sumas parciales, no la sucesin an. Propiedades de las series Propiedad asociativa En toda serie se pueden sustituir varios trminos por su suma efectuada, sin que var&iacutee el caracter ni la suma de la serie. Nota: a. La propiedad asociativa no es vlida en series oscilantes. b. La propiedad disociativa no es vlida para series convergentes o divergentes. Propiedad distributiva H) an converge T) kan converge y su suma es kS Demostracin: Sn Tn = kan = an y su suma es S

lim Sn = lim a0 + a1 + ... + an = S lim Tn = lim ka0 + ka1 + ... + kan = lim k(a0 + a1 + ... + an) = kS => kan converge y su suma es kS. De manera anloga:

Si an diverge, kan tambin diverge. Si an es oscilante, kan tambin es oscilante.

Propiedad aditiva H) Sean Sn = an y Tn = bn dos series convergentes con sumas S y T respectivamente. T) La serie an+bn es convergente y su suma es S + T. Demostracin: El trmino n-simo de la serie an+bn es Sn + Tn lim Sn + Tn = lim Sn + lim Tn = S + T (por lmite de una suma de sucesiones) => an+bn converge a S+T Propiedad de linealidad H) Sean Sn = an y Tn = bn dos series convergentes con sumas S y T respectivamente, y sean h y k dos constantes. T) La serie kan+hbn es convergente y su suma es kS + hT. Demostracin: an converge a S => por la propiedad distributiva, kan converge a kS bn converge a T => por la propiedad distributiva, hbn converge a hT => por la propiedad aditiva kan+hbn converge a kS + hT Teorema Condicin necesaria para la convergencia Es condicin necesaria para que la serie a n sea convergente, que lim an = 0. H) T) lim an = 0 Sn = an convergente

Demostracin: Sn = a1 + Sn-1 = a1 + a2 + ... + an-1 an = Sn - Sn-1 Sn es convergente => lim Sn = lim Sn-1 = S lim an = lim Sn - Sn-1 = S - S = 0 a2 + ... + an-1 + an

Nota: Este criterio es necesario pero no suficiente, es decir que, si el trmino nsimo tiende a 0, no se puede afirmar que la serie sea convergente. Contraejemplo: 1/n es divergente aunque lim an=0 Definicin Serie geomtrica Aquella cuyos trminos forman una progresin geomtrica. (Cada trmino es igual al anterior multiplicado por una constante). Si llamamos a al primer trmino Sn = a + ak + ak2 + ak3 + ... + akn-1 = akn-1 Multipliquemos ambos 2 3 4 kSn = ak +ak + ak + ak + ... + akn = akn Restamos Sn - kSn = a - akn (a-akn) Sn = ------(1-k) a akn Sn = --- - --1-k 1-k Para |k| < 1 lim Sn = a/(1-k) pues kn -> 0, la serie geomtrica converge. Para |k| > 1 la serie diverge pues kn -> inf. Para k = 1 la serie diverge pues Sn = na. Para k = -1 la serie es oscilante. D Osc C D D ------|------|------1 1 Definicin Serie telescpica Serie tal que cada trmino se expresa como una diferencia de la forma an = bn bn+1. Teorema ambas y k a la por constante, k: ecuaciones:

miembros

Suma de una serie telescpica Sean an y bn dos sucesiones tales que an = bn - bn+1. La serie telescpica an converge si y slo si la sucesin bn converge y se cumple que an = b1 - L donde L = lim bn+1. Demostracin: Sn = an = (bn - bn+1) = (b1 - b2) + (b2 - b3) + ... + (bn - bn+1) = b1 - bn+1 lim Sn = lim b1 - lim bn+1 Por lo tanto an converge si y slo si bn converge, y en ese caso su suma es b1 L, donde L = lim bn+1. (Si bn diverge, an tambin). Ejemplo: Sn = 1/(n2 + n) an = 1/(n2 + n) = 1/n - 1/n+1 bn = 1/n converge a 0 => 1/(n2 + n) converge a 1 - lim 1/n+1 = 1 Series de trminos positivos Definicin Serie de trminos positivos (STP) Es una serie an tal que (La serie es siempre una sucesin creciente). Ejemplo: 1/2n Criterios de convergencia para STP Teorema previo Una serie de trminos positivos an converge si y slo si la sucesin de sus sumas parciales est acotada superiormente. Demostracin: Directo: an>=0 para todo n.

 an converge => lim Sn = S => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para todo n>N S - < Sn < S + => Sn est acotada superiormente. Recproco: an es montona creciente por ser de trminos positivos. Sn < M para todo n Toda sucesin montona y acotada converge (ver teorema) => Sn converge Ejemplo: 1/n! 1/n! <= 1/2n-1 para todo n>=1 pues n! >= 2n-1 ya que n! es el producto de (n-1) factores mayores o iguales que 2. Por lo tanto 1/n! <= 1/2n-1 = (1/2)n-1 = 2 por ser una serie geomtrica (a=1, k=1/2). Por el teorema anterior 1/n! converge y su suma es menor que 2. Criterio de comparacin Sean an y bn dos series de trminos positivos. Si existe una constante c > 0 tal que an <= cbn para todo n, entonces la convergencia de bn implica la de abn. Demostracin: Sn = an Tn = bn = b1 + b2 + ... + bn an <= cbn para todo n => Sn <= c.Tn Por hiptesis Tn = bn converge => (teorema) la sucesin de sus sumas parciales est acotada superiormente: Tn < M => Sn <= cTn < cM => an es convergente pues la sucesin de sus sumas parciales est acotada superiormente (teorema). Nota: El teorema tambin es valido si an <= cbn para todo n >= N. = a1 + a2 + ... + an

Sean an y bn dos series de trminos positivos. Si existe una constante c > 0 tal que an >= cbn para todo n, entonces si bn diverge, an tambin diverge. Demostracin: Sn Tn = bn = an

bn diverge => lim Tn = +inf => lim cTn = c.lim Tn = +inf Sn >= cTn => lim Sn = +inf => an diverge. Ampliacin del criterio Sean an y cn dos series de an y cnan convergen o divergen simultneamente. Criterio de comparacin por paso al lmite Sean an y bn dos series de trminos positivos. Si lim an/bn = k > 0, entonces an converge si y slo si bn converge. ( an y bn son de la misma clase). Demostracin: lim an/bn = k > 0 => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para todo n > N |an/bn - k| < o sea k - < an/bn < k + Directo: bn < (1/(k-))an => por el criterio anterior, si an converge, bn converge . Recproco: an < (k+)bn => por el criterio anterior, si bn converge, an converge. Si an y bn son sucesiones equivalentes (lim an/bn = 1) => por el teorema anterior, an y bn son de la misma clase. Por lo tanto, para clasificar una serie de trminos positivos an, se puede sustituir an por su equivalente bn. Ejemplo: trminos positivos.

1 ----n(n+1) 1 1 ----- es equiv. a --n(n+1) n2 1 1 => ----- converge pues --- converge n(n+1) n2 Criterio de D'Alembert H) Sea an+1/an <= T) an converge. Demostracin: an+1 <= kan (k<1) para todo n>=N. aN+1 aN+2 ... an+1 <= kan <= <= kaN kaN+1 an k < una 1 serie de trminos para todo n positivos. >= N

Multiplicamos: aN+1.aN+2.....an+1 <= kn-N+1.aN.aN+1.....an an+1 <= knaN/kN-1 an+1 <= Hkn donde H = aN/KN-1 k<1 => kn converge (es una serie geomtrica) => por la propiedad distributiva Hkn converge => por el criterio de comparacin an converge H) Sea an+1/an T) an diverge. Demostracin: an+1 >= an >= an-1 >= ... >= aN > 0 an es creciente an >= 0 para todo n >= an 1 una para serie de todo trminos n positivos. >= N

=> an no tiende a 0 => (por Condicin necesaria para la convergencia) an diverge. Corolario de D'Alembert H) Sea lim T) an converge. Demostracin: lim an+1/an = L => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para todo n > N |an+1/an - L| < o sea L - < an+1/an < L + Para que L + < 1 basta elegir < 1 - L Para todo n>N an+1/an < L+ < 1 => por el teorema anterior an converge. H) Sea lim T) an diverge. Demostracin: lim an+1/an = L => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para todo n > N |an+1/an - L| < o sea L - < an+1/an < L + Para que L - > 1 basta elegir < L - 1 Para todo n>N an+1/an > 1 => por el teorema anterior an diverge. an an+1/an una = serie de L trminos > positivos. 1 an an+1/an una = serie de L trminos < positivos. 1

Cuando el lim an+1/an = 1+ la serie an diverge. lim an+1/an = 1+ => an+1 >= an => el trmino general an no tiende a 0 => an diverge. Cuando lim an+1/an = 1- D'Alembert no se aplica. 1/n lim an+1/an = lim (1/n+1)/(1/n) = lim n/n+1 = 1- y 1/n diverge. 1/n2 lim an+1/an = lim (1/(n+1)2)/(1/n2) = lim n2/(n+1)2 = 1- y 1/n2 converge.

Criterio de Cauchy H) Sea an una serie de trminos positivos. n __ \|an <= k < 1 para todo n >= N T) an converge. Demostracin: n __ \|an <= k => an <= kn k<1 => kn converge => por el criterio de comparacin an converge. H) Sea an una serie de trminos positivos. n __ \|an > 1 para todo n >= N T) an diverge. Demostracin: n __ \|an > 1 => an > 1 => an no tiende a 0 => an diverge. Series alternadas Definicin Son series de la forma: (-1)n+1.an donde Sus trminos son alternadamente positivos y (-1)n+1.an = a1 - a2 + a3 - a4 + ... + (-1)n-1.an Criterio de Leibnitz H) an an T) (-1)n+1.an converge. Demostracin: Consideremos las sumas parciales pares S2n por un lado y las sumas parciales impares S2n-1 por otro. S2n+2 - S2n = a1 - a2 + ... - a2n + a2n+1 - a2n+2 - (a1 - a2 + ... - a2n) -> montona (-1)n+1.an, an>0 0 decreciente an > 0 negativos:

= a2n+1 - a2n+2 > 0 => S2n es creciente (1) S2n+1 - S2n-1 = a1 - a2 + ... - a2n + a2n+1 - (a1 - a2 + ... + a2n-1) a2n+1 - a2n < 0 => S2n-1 es decreciente (2) (3) Para todo n S2n < S2n-1 pues S2n-1 - S2n = a2n > 0 lim a2n = 0 => lim S2n - S2n-1 = 0 => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para todo n > N |S2n-1 - S2n - 0| < (4) De 1), 2), 3) y 4) por definicin de PSMC, (S2n,S2n-1) es un PSMC => por la propiedad de que todo PSMC tiene frontera, existe c perteneciente a R+ / lim S2n = lim S2n-1 = c S2n y S2n-1 son sucesiones contenidas en Sn Por el teorema anterior, lim Sn = c => (-1)n+1.an converge Definicin Convergencia absoluta Una serie an es absolutamente convergente si |an| converge. Teorema H) T) an converge. Demostracin: |an| converge por hiptesis Consideremos bn = (|an| + an)/2 Si an > 0 bn = |an| Si an < 0 bn = 0 Como an es una serie alternada (sus trminos son alternadamente positivos y negativos), bn valdr 0 o |an|. Por lo tanto, 0 <= bn <= |an| => (por el criterio de comparacin) bn converge an es absolutamente convergente.

an = 2bn - |an| => como bn y |an| convergen, por la propiedad de linealidad an converge. Una serie convergente que no es absolutamente convergente se denomina condicionalmente convergente. Ejemplo: (-1)n+11/n converge pero |(-1)n+11/n| diverge. (-1)n+11/n cumple con el criterio de Leibnitz. |(-1)n+11/n| = 1/n que ya hemos visto que diverge. Serie de potencias Es una serie de la forma Se puede demostrar que converge en un entorno simtrico de 0. Determinacin del radio de convergencia R Para hallar el radio de convergencia podemos utilizar cualquiera de las siguientes frmulas: D'Alembert: L = lim |an+1/an| Cauchy: n __ L = \|an L distinto L = L = 0 => R = +inf D ? C ? D -----|-----|-----R R La serie se debe clasificar en x=R y x=-R. de +inf 0 => => R R = = 1/L 0 anxn.