MA5 Clase : Series de números reales Definición de Serie Elaborado por los profesores Edgar Cabello y Marcos González Definicion Dada una sucesión de escalares (a n ), definimos su sucesión de sumas parciales mediante s n = a j, para cada n. El límite S := lim s n es llamado la serie asociada a la j= sucesión (a n ) y es denotada por a n. Si dicho límite S existe y es finito, decimos que la serie converge a S o que S es la suma de la serie a n. En otro caso, decimos que la serie diverge. Ejemplo Dada la sucesión definida por a n =, n, encuentre una fórmula para la n(n + ) sucesión de sumas parciales s n y demuestre que la serie asociada converge. Solución: Para cada n, s n := a k =. Observemos además que k(k + ) con lo cual y, como s n = k(k + ) k(k + ) = k k +, = = ( k ) k + k k + = + n k k + n + n k = k +, tenemos que s n =. Es claro entonces que n + k= k= ( a n = lim s n = lim ) =, n +
es decir, la serie converge a. Ejemplo Demuestre que la serie Solución: Es fácil calcular la s n = ( ) n = + ( ) + + ( ) + diverge. ( ) k si consideramos por separado los casos en que n es par o impar. Si n es par entonces los términos de la suma se cancelan y obtenemos s n = 0, mientras que, si n es impar entonces n es par y tenemos que s n = s n + ( ) n =. En suma, { 0 si n es par, s n = ( ) n = si n es impar. Alternativamente, podemos describir s n mediante la fórmula + ( )n, para cada n. Como la sucesión de sumas parciales alterna entre 0 y, el límite lim s n no existe y, en consecuencia, la serie ( ) n diverge. Propiedades de las series convergentes Teorema Sea (a n ) una sucesión tal que la serie converge a cero. Demostración: De acuerdo a la definición, la serie lim s n existe, donde s n = a n converge. Entonces, la sucesión (a n ) a n converge si, y sólo si, el límite S := a k, para cada n. Por otra parte, en virtud de la definición de límite, para cada ε > 0, existe N > 0 tal que s n S < ε siempre que n > N. Así, para cada n > N (con lo cual también n + >), tenemos que a n+ = s n+ s n = s n+ S s n + S s n+ S + s n S < ε + ε = ε, es decir, para cada ε > 0, existe N > 0 tal que a n < ε y, por lo tanto, lim a n = 0. Teorema (Linealidad) Sean b n series convergentes y sea c una constante. Entonces, las series ca n y a n y (a n ± b n ) convergen y, además, se cumple que ca n = c a n y (a n ± b n ) = a n ± b n.
Demostración: Como consecuencia, lim es decir, es decir, a n y b n convergen, los límites lim a k y lim (a k ± b k ) existe, ya que el límite es lineal. Además, (a n ± b n ) = lim (a n ± b n ) = a n ± (a k ± b k ) = lim a k ± lim b k = b n. Análogamente, es claro que lim ca n = lim ca n = c a n. Corolario Sean ca k = c lim a n una serie convergente y (a n + b n ) es divergente. a n ± b k existen y, en a k = c a n, b n, ca k existe y b n una serie divergente. Entonces, la serie Demostración: Procedemos por reducción al absurdo. Supongamos por el contrario que b n ) converge. Entonces, como b n = (a n + b n ) a n, tenemos particular, b n converge, lo cual es una contradicción. b n = (a n + b n ) (a n + a n y, en ( Ejemplo 3 La serie 4n + ) es divergente, ya que ésta es suma de la serie armónica 4 n 4 n, la cual es divergente, y de la serie geométrica, la cual es convergente. 4n 3 La condición de Cauchy Definicion Decimos que una sucesión (a n ) satisface la condición de Cauchy o que es una sucesión de Cauchy si, y sólo si, para cada ε > 0, existe N > 0 tal que a n a m < ε siempre que n, m > N. Lema Toda sucesión de Cauchy es acotada. 3
Demostración: Usando la condición de Cauchy con ε =, tenemos que existe un entero N > 0 tal que a n a m < siempre que n, m > N. En particular, a n a N+ < ε siempre que n > N. Pero a n a N+ < ε a N+ ε < a n < a N+ + ε de lo cual es claro que (a n ) es acotada. Definicion 3 Sean (a n ) y (b n ) sucesiones de escalares. Decimos que (b n ) es una subsucesión de (a n ), si existe una sucesión creciente de enteros positivos (n k ) tal que b k = a nk, para cada k. { n Por ejemplo, n 4 + n } { n es una subsucesión de n + n Lema Toda sucesión contiene una subsucesión monótona. Demostración: Sea (a n ) una sucesión cualquiera. Un entero positivo n es llamado un punto cumbre de (a n ) si a n > a m, para todo m > n. Supongamos primero que (a n ) tiene infinitos puntos cumbres. Entonces, existe una subsucesión (a nk ), la cual consta sólo de puntos cumbres y, en consecuencia, para cada k, a nk+ > a nk, ya que n k es un punto cumbre y n k < n k+. En otras palabras, la subsucesión (a nk ) es decreciente. Si, por el contrario, hay una cantidad finita de puntos cumbres, podemos elegir un entero positivo n el cual sea mayor que todos los puntos cumbres. Como n no es un punto cumbre, existe n > n tal que a n a n. Como n no es un punto cumbre, existe un n 3 > n tal que a n3 > a n. Continuando de esta manera, podemos construir una sucesión creciente {n k } de enteros positivos, tal que la subsucesión (a n k ) es no-decreciente. En ambos casos, la sucesión (a n ) contiene una subsucesión monótona. Lema 3 Sea (a n ) una sucesión de Cauchy la cual tiene una subsucesión convergente. Entonces, (a n ) también converge. Demostración: Como (a n ) es una sucesión de Cauchy, para cada ε > 0, existe N > 0 tal que a n a m < ε siempre que n, m > N. Sea (a n k ) una subsucesión convergente a L. Entonces, existe K > 0 tal que a nk L < ε siempre que k > K, y podemos elegir K de tal forma que también se cumpla que n k > N, para todo k > K. En consecuencia, para todo n > N, tenemos que a n L = a n a nk + a nk L a n a nk + a nk L < ε + ε = ε, es decir, a n L < ε, siempre que n > N. Teorema 3 (Criterio de Cauchy) Una sucesión (a n ) es convergente si, y sólo si, satisface la condición de Cauchy. Es decir, el límite lim a n existe si, y sólo si, para cada ε > 0, existe N > 0 tal que a n a m < ε siempre que n, m > N. }. 4
Demostración: (= ) Si lim a n = L entonces, para cada ε > 0, existe N > 0 tal que a n L < ε siempre que n > N. Por lo tanto, si n, m > N entonces a n a m = a n L + L a m a n L + a m L < ε + ε = ε, es decir, para cada ε > 0, existe N > 0 tal que a n a m < ε siempre que n, m > N. ( =) Recíprocamente, si (a n ) satisface la condition de Cauchy entonces, en virtud del Lema??, es una sucesión acotada. Por otra parte, el Lema?? nos dice que (a n ) tiene una subsucesión monótona, la cual claramente es también acotada y, por lo tanto, usando la Proposición.c) de la clase, dicha subsucesión debe ser convergente. Finalmente, usando el Lema??, tenemos que al tener una subsucesión convergente, (a n ) también es convergente. Teorema 4 Si a n y a n son dos series que difieren solamente en sus primeros términos, entonces ambas series convergen o divergen simultáneamente. Demostración: Sean (s n ) y (s n) las sucesiones de sumas parciales de a n y a n, respectivamente. Tenemos como hipótesis que existe un entero k tal que a n = a n, para todo n k. En particular, si n > m > k entonces s n s m = a n = m+ a n = s n s m. Es claro entonces que la condición de Cauchy se cumple para (s n ) si, y sólo si, ésta se cumple para (s n). Por lo tanto, en virtud del Criterio de Cauchy, a n converge si, y sólo si, a n converge. 4 La Serie Armónica m+ Corolario (Criterio del Límite) Si lim a n 0 entonces la serie a n diverge. El recíproco NO es cierto. Es posible que una sucesión tenga una serie divergente y, sin embargo, su término general tienda a cero. El ejemplo más conocido, de este tipo de series, es tan importante que amerita llevar un nombre. Definicion 4 La serie Teorema 5 La serie armónica diverge. es llamada la serie armónica. n 5
Demostración: Más adelante, cuando veamos el criterio de la integral, daremos una demostración alternativa de este hecho. En esta demostración usaremos el criterio de Cauchy para la existencia de límites. Veamos que la sucesión de sumas parciales s n = no satisface la condición de Cauchy. Es k decir, tenemos que demostrar que existe ε > 0 tal que para todo N >, existen n m > N para los cuales k = s n s m ε. En efecto, si n = N+ y m = N, tenemos que k para N+ k=m+ cada N + k N+, de modo que k=m+ N+ k k= N + = N+ N+ N+ k= N + = ( N+ N) = N N+ = N+. Es decir, para todo N >, si hacemos n = N+ y m = N, tenemos que n > m > N y s n s m, de lo cual concluimos que la sucesión (s n ) no satisface la condición de Cauchy y, en consecuencia, la serie alternada diverge. 5 La Serie Geométrica Definicion 5 Dados números reales a y r, con a 0, definimos la serie geométrica de razón r como la serie ar n = a + ar + ar + + ar n +. Es de uso común hacer variar el índice de la suma geométrica entre 0 e, lo cual nos da la serie ar n en lugar de ar n. Ambas formas representan por supuesto a la misma serie. s n = n=0 Si denotamos por s n a la n-ésima suma parcial de la serie geométrica ar j. Observemos ahora que rs n = j= ar j, de modo que s n rs n = a ar n, es decir, s n ( r) = a( r n ) y, en consecuencia, si r, tenemos que s n = j= j= ar n, tenemos que ar j j= ar j = j= ar j = a rn r. () Teorema 6 Una serie geométrica de razón r diverge siempre que r y converge siempre que r <. Más aún, si r <, la suma de la serie está dada por ar n = n=0 a r. 6
Demostración: Si r, entonces, usando el corolario?? y el hecho que r n, para todo n, concluimos que la serie geométrica diverge. Supongamos entonces que r < (y, en particular, r ). De acuerdo con la ecuación??, la n-ésima suma parcial de la serie geométrica está dada por s n = a rn, con lo cual la serie geométrica converge si, y sólo si, el límite S = r lim s n = lim a rn rn existe. Como a r r = a r rn, tenemos que el límite S existe si, y r sólo si, lim r n existe, pero hemos visto en el corolario de la clase que lim r n = 0 siempre que r <. Por lo tanto, el límite S converge y S = lim a ( ) rn a r = lim r rn = a r r r lim rn = a r, es decir, S = a r. 3 Ejemplo 4. La serie = ( ) n ( ) 0 ( ) ( ) 3 = 3 + 3 + 3 + es una serie n n=0 n=0 geométrica de razón r = a <, donde a = 3. Por lo tanto, converge al valor r = 3 = 6 = 6. ( ) n ( ) 0 ( ) ( ) 3 3 3 3. La serie = + + + es una serie geométrica de razón r = 3 > n=0 y, en consecuencia, diverge. 6 Series telescópicas Definicion 6 Decimos que una serie a n es una serie telescópica si existe una sucesión (b n ) tal que a n = b n b n+, para cada n. Es decir, si la serie tiene la forma (b n b n+ ). Hemos visto en el ejemplo?? que la serie n(n + ) es telescópica, ya que n(n + ) = n. Gracias a este hecho pudimos calcular explícitamente la n-ésima suma parcial de esta n + serie y, posteriormente, la suma de la serie. Esto siempre es posible para cualquier serie telescópica. Teorema 7 Sea (b n b n+ ) una serie telescópica y sea (s n ) su sucesión de sumas parciales. Entonces, s n = b b n+, para cada n y, en consecuencia, la serie b L si, y sólo si, el límite lim b n existe y es igual a L. (b n b n+ ) converge a 7
Demostración: Para cada n, s n = (b k b k+ ) = b k = b + b k+ n b k b k+ b n+ n y, como b k = b k+ (en efecto, observemos que ambos son iguales la suma b + b 3 + + b n ), k= tenemos que s n = b b n+. Es claro entonces que k= (b n b n+ ) = lim s n = lim (b b n+ ) = b lim b n+ y, por lo tanto, L = lim b n+ existe si, y sólo si, la serie (b n b n+ ) converge a b L. Ejemplo 5 Demuestre que la serie Solución: Como ( ) n ln n ( ) n ln converge y encuentre el valor de su suma. n= n ( ) (n )(n + ) = ln = ln (n ) + ln (n + ) ln (n) n = [ln (n ) ln (n)] [ln (n) ln (n + )], ( ) n tenemos que, para cada n, ln = b n b n+ donde b n = ln (n ) ln (n). Como, n además, ( ) n lim b n = lim [ln (n ) ln (n)] = lim ln = ln = 0, n ( ) n tenemos que la serie ln converge al valor b = ln ln = ln (observemos que se n= n considera b en lugar de b ya que la serie en cuestion está indexada a partir de n = ). 8