BORRADOR. Sucesiones y series numéricas Sucesiones. es un conjunto ordenado de números

Transcripción

1 Capítulo 4 Sucesiones y series numéricas 4.1. Sucesiones Una sucesión {s n } es un conjunto ordenado de números {s 1,s 2,s 3,...,s n,...}. Técnicamente, una sucesión puede considerarse como una aplicación que tiene como dominio el conjunto de los números naturales N, y como recorrido un conjunto numérico (los números reales, por ejemplo). Ejemplo 4.1. Las progresiones aritméticas {1,2,3,4,,5,...,n,...}, {3,7,11,15,...,3 + 4(n 1),...} {s 1,s 1 + d,s 1 + 2d,s 1 + 3d,...,s 1 + (n 1)d,...} y las progresiones geométricas {2,4,8,16,...,2 n,...}, {r 0,r 1,r 2,r 3,...,r n 1,...} son sucesiones reales infinitas. {s 1,s 1 r 1,s 1 r 2,s 1 r 3,...,s 1 r n 1,...} Cauchy y D Alembert rigorizaron el concepto de límite de una sucesión, como sigue. Definición 4.2. Una sucesión {s 1,s 2,s 3,...,s n,...}. 87

2 88 CAPÍTULO 4. SUCESIONES Y SERIES NUMÉRICAS es convergente si existe un número s tal que ɛ > 0 N 1 tal que n N s n s < ɛ. Se dice entonces que s es el límite de la sucesión {s n }, denotándose s = lím s n. Se admite la notación habitual de límite infinito y menos infinito. Se puede demostrar que el límite, si existe, es único. Ejercicio 4.3. Calcular el límite de la progresión aritmética general y de la progresión geométrica de razón r positiva. El único caso no trivial es cuando r < 1. Si N > ln ɛ s 1 / ln r entonces n > N tenemos que ɛ s 1 r n < s 1 r N < s 1 r ln ɛ s 1 /ln r = s 1 exp ln r ln s 1 ln r = ɛ y el límite es cero. Este resultado es más fácil de demostrar usando la proposición 4.5. Teorema 4.4. Sean dos sucesiones convergentes {s n } y {t n}, de límites lím s n = s, lím t n = t. Entonces los siguientes límites existen, y son iguales a lo indicado: lím lím (s n + t n ) = s + t lím (s n t n ) = s t ) ( sn t n = s t, t n 0, t 0 Es fácil de demostrar la siguiente proposición. Proposición 4.5. Si una sucesión {s n } viene dada por una expresión funcional y si lím x f (x), entonces s n = f (n) lím s n = lím f (x). x Es más, si lím s n = s y lím x s f (x) (y s n dom(f )) entonces lím f (s n) = f ( lím s n ) = límf (x) (= f (s) si f es continua). x s

3 4.1. SUCESIONES 89 Esta proposición, si se puede aplicar, permite utilizar todos los mecanismos disponibles para límites de funciones, en particular la regla de l Hôpital. Ejemplos 4.6. Por aplicación directa de la proposición Otro límite 3n 2 2n + 1 lím 2n 2 + 4n = lím 3x 2 2x + 1 x 2x 2 = 3 + 4x 2. ( lím 1 + n) 1 n = lím (1 + 1 ) x = lím x x x exp [ ( x ln )] = x = exp lím ln ( ) x = exp1 = e x Es interesante observar que el comportamiento de convergencia de una sucesión no varía si cambia un número finito de términos de la sucesión Proposición 4.7. Si dos sucesiones difieren en un número finito de términos, divergen o convergen simultáneamente, y en el último caso hacia el mismo límite. Las sucesiones pueden diverger (no converger) porque su término n-ésimo sea arbitrariamente grande en valor absoluto, o porque no tienden a un valor concreto. Por ejemplo ( s n = ( 1) n ) n no tiende un valor concreto. La siguiente proposición es útil para encontrar límites no calculables de otra manera. Proposición 4.8. Sean dos sucesiones convergentes {s n } y {t n}, tales que lím s n = L = lím t n y sea dada una sucesión {u n } acotada entre ambas (a partir de cierto N) Entonces s n u n t n, n N. lím u n = L. 1 x

4 90 CAPÍTULO 4. SUCESIONES Y SERIES NUMÉRICAS Ejercicio 4.9. Calcular el límite de s n = n + 1 n. Multiplicando y dividiendo por el conjugado Por el teorema del encaje, el límite es s n < < 1 0. n n n En el ejemplo anterior hemos visto que el límite convierte desigualdades estrictas en no estrictas: s n < t n lím s n lím t n Sucesiones monótonas y de Cauchy Una sucesión es monótona creciente si s n s n+1 y monótona decreciente si s n s n+1, pudiéndose en ambos casos matizar si la monotonía es n o bien a partir de un cierto N, es decir, n N. Una sucesión está acotada superiormente si existe un número M tal que s n M, n, y acotada inferiormente si existe N tal que N s n, n. Los números M y N se denominan cota superior e inferior, respectivamente, y una sucesión que está acotada tanto inferior como superiormente se denomina sucesión acotada. Teorema Una sucesión monótona creciente, acotada superiormente, es convergente. La misma conclusión se puede deducir para sucesiones monótonas decrecientes acotadas inferiormente. La demostración requiere el uso del axioma del supremo de los números reales, e incluso el teorema puede sustituir a dicho axioma, equivaliendo ambas afirmaciones a la propiedad de continuidad de los números reales Sucesiones de Cauchy El siguiente teorema se demuestra utilizando el teorema Entendemos por subsucesión un subconjunto de una sucesión, ordenado de acuerdo con el orden prescrito por ésta.

5 4.1. SUCESIONES 91 Teorema 4.11 (Bolzano-Weierstrass II.). Toda sucesión acotada tiene una subsucesión convergente. El teorema suele también enunciarse en términos de puntos de acumulación, para el caso de que la sucesión acotada contiene infinitos puntos distintos. La demostración se realiza probando que tiene que haber al menos una subsucesión monótona creciente, o decreciente. El siguiente concepto es fundamental para estudiar las propiedades básicas de los números reales. Definición Una sucesión {s n } se denomina sucesión de Cauchy si ɛ > 0 N 1 tal que n,m N s n s m < ɛ. Teorema Una sucesión de números reales es convergente si y solo si es de Cauchy. Que una sucesión convergente es de Cauchy se demuestra fácilmente, ya que ɛ N tal que si n N entonces s n s < ɛ/2, lo cual implica que s n s m = s n s + s s m s n s + s m s < ɛ, n,m N. El problema es demostrar que toda sucesión de Cauchy es convergente. Toda sucesión de Cauchy está acotada, y por ello, según el teorema de Bolzano-Weierstrass, hay una subsucesión s ni convergente. La distancia entre términos s n tiende a cero, con lo que a partir de cierto N, si lím i s ni = s, se cumplen simultáneamente s n s ni < ɛ/2 (por Cauchy) y s ni s < ɛ/2, y entonces s n s s n s ni + s ni s < ɛ. El teorema 4.13 es de carácter fundamental, y se puede utilizar como axioma para construir los números reales, siendo equivalente al axioma del supremo. Un numero real se define como una clase de sucesiones de Cauchy racionales, siendo dos sucesiones de Cauchy equivalentes si el límite de su diferencia es nulo. Ejemplos Dar ejemplos de sucesiones creadas por algoritmos numéricos, como el de la bisección y el algoritmo para calcular raíces cuadradas por iteración. Estudiar convergencia.

6 92 CAPÍTULO 4. SUCESIONES Y SERIES NUMÉRICAS 4.2. Series Una serie es un tipo de sucesión {s n } en la cual cada término es una suma acumulada (suma parcial) de números de otra sucesión {a n }: Definición La suma infinita s n = a 1 + a a n = a 1 + a a n + n a i. existe, si y solo si la sucesión de sumas parciales s n = n i=1 a i es convergente. En ese caso se escribe a n = lím s n i=1 En el caso convergente, se dice que la serie infinita a n converge, y se usa la palabra serie para remarcar la distinción con la convergencia de la propia sucesión {a n }. Se dice también que esta sucesión es sumable. Hay que avisar, ya desde el principio, de que esta suma infinita no es una simple generalización de una suma finita. No siempre existe y en particular, como veremos, el resultado puede depender del orden de sumación. Ejemplo La suma de una progresión geométrica es porque r n = 1 + r + r 2 + r 3 + = 1 1 r n=0 s n = 1 + r + r r n = 1 rn+1 1 r siempre que r < 1 (si no, diverge) Obsérvese que la serie, como en el ejemplo anterior, puede indexarse de formas distintas, no solo con n = 1,2,... Proposición La combinación lineal de series convergentes es convergente, siendo el límite la combinación lineal de los límites: (αa n + βb n ) = α a n + β b n. i=1

7 4.2. SERIES 93 Aplicando a la sucesión de sumas parciales el criterio de Cauchy de convergencia, obtenemos la siguiente proposición. Proposición 4.18 (Caracterización de Cauchy). La sucesión {a n } es sumable si y solo si lím a n+1 + a n a m = 0, n < m. m, En particular, cuando m = n + 1 obtenemos una condición necesaria de sumabilidad. Corolario 4.19 (Condición del resto). Si {a n } es sumable, entonces Esta condición no es suficiente. Ejemplo La serie es divergente. lím a n = 0. 1 n Demostración. El criterio integral ( ver el teorema 4.27 ) Lo demuestra. Existe también una demostración directa Series de términos positivos Una sucesión no negativa {a n } (es decir, a n 0, n ) es sumable si y solo si el conjunto de sus sumas parciales s n está acotado. Esta propiedad no suele ser fácil de comprobar directamente en una serie dada, pero es el que subyace al siguiente resultado. Teorema 4.21 (Criterio de comparación de series). Si entonces si si 0 a n b n n b n converge, también a n diverge, también a n converge, b n diverge. bastaría que los términos fueran no negativos a partir de cierto N.

8 94 CAPÍTULO 4. SUCESIONES Y SERIES NUMÉRICAS La segunda afirmación se obtiene por reducción al absurdo de la primera, que se deduce por acotación y monotonía. Ejemplo La serie converge, ya que 2 + sen 3 (n + 1) 2 n + n sen3 (n + 1) 2 n + n n y esa última es una progresión geométrica de razón 1/2 (sumable) Hay que observar que no podemos, en principio, determinar el valor exacto de la serie, y que los términos son positivos. El criterio de comparación con una serie geométrica proporciona otro criterio. Teorema 4.23 (Criterio del cociente de d Alembert). Si a n 0 n, y existe el límite entonces lím si r < 1 la serie si r > 1 la serie a n+1 a n = r, a n converge, a n diverge. Obsérvese que si r = 1 el criterio no decide, y que el orden del cociente es fundamental. Demostración. La demostración consiste en darse cuenta de que a partir de cierto n = N, se da la recurrencia a n+1 s a n donde r < s < 1. Según ello se puede comparar con una serie geométrica dominante, de razón s < 1, y por tanto convergente. Ejemplo El criterio del cociente es útil cuando la serie contiene términos con factoriales: 1 n!

9 4.2. SERIES 95 es convergente, puesto que Incluso n! lím (n + 1)! = lím 1 n = 0. es convergente para todo valor de x, por muy grande que sea, ya que x n n! r n+1 n! lím r n (n + 1)! = lím r n = 0. Más potente, pero usualmente de más difícil aplicación que el criterio del cociente, es el criterio de la raíz. Teorema 4.25 (Criterio de la raíz (o de Cauchy)). Si a n 0 n, y existe el límite entonces lím si r < 1 la serie si r > 1 la serie n an = r, a n converge, a n diverge. Si r = 1 el criterio no decide. Este criterio suele ser útil si hay una función potencial en los términos de la serie, y se puede demostrar que es más potente que el del cociente (lo incluye) Ejemplo La serie es convergente, ya que n=2 1 (lnn) n n 1 (lnn) n = 1 lnn 0.

10 96 CAPÍTULO 4. SUCESIONES Y SERIES NUMÉRICAS Pese a la cantidad de criterios desarrollados, no podemos estudiar la convergencia de la serie 1 n p para p > 1, ya que se puede demostrar que los criterios no deciden (para p 1 la serie diverge por comparación con la armónica) Teorema 4.27 (Criterio integral). Si f (x) es una función positiva y decreciente sobre [1, ), la serie y la integral impropia f (n), convergen o divergen simultáneamente. 1 f (x)dx Entonces la serie del ejemplo 4.26 es convergente para p > 1. Ejercicio Estudiar la convergencia de 1 lnn, n=2 1 nlnn, n=2 1 n(lnn) 2 Este criterio nos indica ( como sucedía en la teorái de integrales impropias ) que el siguiente puede ser cierto Teorema 4.29 (Criterio de comparación por paso al límite). Si a n,b n 0 y existe el límite a lím n = L > 0 b n entonces las series a n, convergen o divergen simultáneamente Convergencia absoluta y condicional. Reordenación Hemos estudiado con detalle muchos procedimientos de análisis de series con términos no negativos. Todos los procedimientos son válidos para series b n n=2

11 4.2. SERIES 97 con términos no positivos, ya que se pueden escribir en función de una serie de términos no negativos: a n = a n. Pasemos a estudiar series con términos de signo arbitrario. Definición Dada una serie a n, se dice que converge absolutamente si la serie de valores absolutos a n converge. Como vamos a demostrar, una serie absolutamente convergente es convergente. Teorema Toda serie absolutamente convergente es convergente. Demostración. Si a n converge, la caracterización de Cauchy (proposición 4.18) implica que lím a n a m = 0. m, La caracterización de Cauchy es una condición necesaria y suficiente, luego la sucesión original {a n } es sumable si Pero esto se sigue de lím a n a m = 0. m, a n a m a n a m. El hecho de que la convergencia absoluta sea suficiente para producir la convergencia, permite generalizar las pruebas del cociente y de la raíz a series de términos no necesariamente positivos, utilizando respectivamente los límites a lím n+1 y lím n a a n n. Podemos, a partir de una serie absolutamente convergente, generar muchas series convergentes poniendo signos al azar en cada término. Pero la convergencia absoluta no es una condición necesaria de convergencia. Veamos el caso de una serie alternada, que es aquél en el que los términos tienen signos alterno.

12 98 CAPÍTULO 4. SUCESIONES Y SERIES NUMÉRICAS Teorema 4.32 (De Leibniz para series alternadas). Sea una sucesión decreciente de números positivos a 1 a 2 a 3 0 y tendente a cero lím a n = 0 La serie de signos alternos ( 1) n+1 a n = a 1 a 2 + a 3 a 4 + es convergente. Es interesante desde el punto de vista práctico estudiar las sumas parciales de una serie de Leibniz. Resulta que 1. s 2 s 4 s 6, 2. s 1 s 3 s 5, 3. s 2n s 2m+1. La afirmación 3 se deduce de que s 2l s 2l+1 y que entre un término par s 2n y uno impar s 2m+1 podemos encontrar dos términos consecutivos s 2k, s 2k+1 con s 2n s 2k s 2k+1 s 2m+1. Hemos demostrado que las sucesiones de sumas parciales de términos pares e impares son monótonas, y acotadas una por otra. Luego ambas son convergentes, y al ser la distancia entre términos tendente a cero, no pueden tener límites distintos. Es interesante observar que el error absoluto de una serie parcial respecto a la suma final es menor que el módulo del siguiente término a sumar. Ejemplo La serie siguiente es convergente lím 1 ( 1)n+1 n = s = ln2 pero no absolutamente convergente. Es bastante inútil para calcular ln2, ya que su convergencia es muy lenta: ln2 0, = , s 0, , = 0, < , s 0, , = 0, <

13 4.2. SERIES 99 Ejemplo La siguiente serie es divergente n 1 2n 1 + Obsérvese que la introducción de paréntesis en una serie conduce a una sucesión de sumas parciales que es una subsucesión de la sucesión de sumas parciales de la serie original. Por ello, la serie con paréntesis diverge o converge (al mismo límite) que la serie original. Las series convergentes no absolutamente convergentes se denominan series condicionalmente convergentes. Por qué condicionalmente? Ejemplo s = = (1 2 1) ( ) ( ) ( ) = = 1 ( ) = 1 2 s Hemos hecho una reordenación de la serie, y hemos obtenido un resultado distinto! Para la demostración y ampliación de los resultados siguientes, se recomiendan las referencias [1, 3]. Teorema Si se reordena una serie absolutamente convergente, sigue siendo convergente, con la misma suma. Teorema Reordenando una serie condicionalmente convergente, se puede conseguir que la suma sea cualquier número real Series telescópicas Dada una serie, hemos visto varios métodos para determinar su carácter convergente o divergente. Sin embargo, averiguar la suma exacta de una serie convergente es una cuestión mucho menos sistematizada, y en la mayoría de los casos inalcanzable. Obsérvese que hasta el momento solo conocemos la suma de la progresión geométrica! Un caso sumable más es el de las denominadas series telescópicas.

14 100 CAPÍTULO 4. SUCESIONES Y SERIES NUMÉRICAS Proposición Una serie consecutivos de una sucesión: a n cuyos términos son la diferencia de dos términos a n = b n+1 b n se denomina serie telescópica. Sus sumas parciales son sencillas: s n = n a i = i=1 n (b i+1 b i ) = b n+1 b 1 i=1 y, por lo tanto, su suma se puede calcular como a n = lím b n b 1. Osérvese que si a n = b n b n+1 = (b n+1 b n ) también estamos ante una serie telescópica. Ejemplo La series 1 ( 1 n(1 + n) = n 1 ) 1 = 1 lím n + 1 n + 1 = 1 1 n(2 + n) = 1 2 ( 1 n 1 ) = 1 n lím 1 n + 2 = 3 4 Existen muchos casos de series sumables que se obtienen de las denominadas series de Taylor, que son básicamente el tema del capítulo siguiente.