Captulo 8

Series numricas
8.1. Definicin y primeras propiedades

Informalmente, una serie es una suma de infinitos sumandos (ver antecedentes histricos y comentarios en [AP OS TO L 1, cap. 10] y en [DU R N, pg. 184 y sigs.]). Estas sumas se usan implcitamente, por ejemplo, al considerar desarrollos decimales ilimitados de los nmeros reales: as, la igualdad 7 = 2, 333 . . . significa 3 7 3 3 3 +..., = 2+ + + 3 10 100 1000 3 suma con infinitos sumandos de la forma 10n
m

, n N. En general, consideraremos una sucesin cual-

quiera (an ) y su suma an . Qu sentido habr que darle a esta suma? La respuesta se impone de n=1
modo natural: n=1 an tiene que ser lm an . m n=1

Analizando el proceso anterior, se trata de formar mediante la sucesin de sumandos (an ) una nueva sucesin de sumas (sm) dada por sm = a1 + a2 + + am , m N, y determinar el lmite (si existe) de esta ltima sucesin. Esquemticamente: 3 4 ... n ... ... ... a3 a4 an ... ? a1 + a2 + a3 a1 + a2 + a3 + a4 . . . a1 + + an Ahora bien: si, en definitiva, vamos a parar al estudio de la convergencia de una sucesin, qu novedad vamos a encontrar respecto a lo que ya sabemos de sucesiones? El cambio radica en el punto de partida: tomando como dato la sucesin de sumandos (an ), nos planteamos determinar propiedades de la sucesin de sumas (sn ) basndonos en propiedades de los trminos an . Pasemos a formalizar estas ideas. lugar trmino suma 1 a1 a1 2 a2 a1 + a2

8.1.1. Series: trminos y sumas parciales. Series convergentes, divergentes y oscilantes

Definicin 8.1.1. Una serie an es un par ordenado de sucesiones ((an ), (sn )) relacionadas por n=1 la condicin de que para cada n N es sn = a1 + a2 + +

an . 171

172

Captulo 8. Series numricas

El trmino n-simo de la primera sucesin, an , recibe el nombre de trmino n-simo de la serie; el trmino n-simo de la segunda sucesin, sn , recibe el nombre de suma parcial n-sima de la serie. Se dice que la serie an es convergente si la sucesin (sn ) de sus sumas parciales es convern=1 gente, es decir, si lm sm = lm an R. m m
n=1 m

Decimos que la serie

es divergente a +, divergente a u oscilante si la sucesin de sus +, divergente a u oscilante, respectivamente. sumas parciales es divergente a Si una serie n=1 an es convergente, se llama suma de dicha serie al lmite de la sucesin de sus sumas parciales; si la serie diverge a + o a , se dice que su suma es + o , respectivamente. Con un abuso de notacin que no suele conducir a error, se denota la suma con el mismo smbolo que la serie. Es decir, se escribe

n=1 an

an = lm an ,
m n=1

n=1

cuando este lmite existe. Nota. A veces es cmodo considerar series de la forma an , donde m es un nmero entero: las n=m sumas parciales sern entonces s1 = am, s2 = am + am+1 ,. . . , sn = am + + am+n1 , . . . Se utiliza tambin la notacin am + am+1 + + an + en vez den=m an y, cuando no da lugar a confusin, se abrevia en an . Ejemplo. Una serie an es una serie geomtrica si existe un r R tal que para todo n N es n=1 an+1 = ran (o an+1 /an = r si a1 = 0); de otro modo, si es de la forma n=0 arn . Si sn es su suma parcial n-sima, se tendr sn = a + ar + + ar =
n1

a 1r 1r

si r = 1

an Excluyendo el caso trivial a = 0, se sigue:

si r = 1

a) si |r| < 1, la serie

n=0

arn es convergente y la suma es 1 r;

b) si r 1, la serie es divergente a + (si a > 0) o a (si a < 0); c) si r = 1, la serie es oscilante, aunque las sumas parciales estn acotadas; d) si r < 1, la serie es oscilante y las sumas parciales tienden, en valor absoluto, a +. Ejemplo. La serie

n=1

se llama serie armnica Se comprueba que, para cada n, su suma parcial n-sima, denotada habitualmente por Hn , cumple
n

n " k+1

dx x =

" n+1 dx

Hn =

k
k=1 k=1 k

x
1

= log(n + 1),

1 luego la serie armnica diverge a + a pesar de que lm = 0. n n

8.1. Definicin y primeras propiedades

173

El carcter de una serie no cambia si se prescinde de un nmero finito de sumandos (aunque s puede cambiar el valor de la suma). Dicho de forma ms precisa, Proposicin 8.1.2. Dada una serie an y un entero m > 1, se tiene: n=1
a) an converge si y solo si converge n=m an . Si convergen, entonces n=1 m1 n=1

n=1 n=m

an =

an +

n=m

an.

b) an diverge a + si y solo si n=1

an diverge a +.

c) an diverge a si y solo si n=m an diverge a . n=1

d) an es oscilante si y solo si an es oscilante. n=m n=1 Demostracin. Basta observar que para todo p > m es

n=1

an =

m1 n=1

an +

n=m

an,

m1 donde n=1 an est fijo (independiente de p), y aplicar las definiciones previas y los resultados

conocidos para sucesiones.

8.1.2. Linealidad de la convergencia de series

Proposicin 8.1.3. Sean an , bn dos series convergentes. Para cualesquiera , R, la n=1 n=1 serie ( an + bn ) es convergente y se tiene n=1

n=1

( an + bn) = an + bn.
n=1 n=1

Demostracin. Basta tener en cuenta que

N N N

n=1

( an + bn) = an + an.
n=1 n=1

n=1 Corolario 8.1.4. Si n=1 an converge y n=1 bn no es convergente, entonces (an + bn ) no es

convergente. Demostracin. Si la serie (an + bn ) convergiera, entonces la serie n=1

bn =
n=1 n=1

$ (an + bn ) + (1)an

tambin convergera, segn la proposicin 8.1.3. Ejemplos. La serie ( 1 + 1

n 1 2n

) no converge, pues
n

no es convergente y s.
2n

Sin embargo, al sumar dos series no convergentes, la suma puede ser tanto convergente como no convergente: examnense los casos an = bn = 1 y an = 1, bn = 1.

174

Captulo 8. Series numricas

8.1.3. Series telescpicas

Proposicin 8.1.5. Sean (an ) y (bn ) dos sucesiones de nmeros reales tales que para todo n N se cumple an = bn bn+1 . Entonces la serie an (denominada serie telescpica) es convergente si y solo si la sucesin (bn ) n=1 tiene lmite real, en cuyo caso tenemos

an =bb1 lm
n. n=1 n Demostracin. Basta tener en cuenta que las sumas parciales de la serie n=1 an son N

sN =

n=1

an = (b1 b2) + (b2 b3) + + (bN1 bN ) + (bN bN+1) = b1 bN+1.

1 1 1 = , entonces la suma parcial N-sima es simplemente n(n + 1) n n + 1 SN =

Ejemplo. Si an =

n=1

n(n1 1) = +
n=1 n=1

& %1 1 = 1 1 , n n+1 N+1

con lo que lm SN = 1. Es decir, la serie

N

an converge y su suma es 1:

n=1

n(n 1 1) = 1. +

% 1& . La suma parcial de orden N es Ejemplo. Sea ahora an = log 1 n +

N N

n=1

an =

n=1

% & N % & 1 = log(n + 1) log n = log(N + 1) log 1 = log(N + 1) log 1 + n n=1

y tiende a +. Es decir, la serie

n=1

log

% 1& 1+ diverge a +. n

Nota. Toda serie an se puede ver trivialmente como una serie telescpica: basta poner n=1 b1 = 0, bn+1 = (a1 + a2 + + an ) (n N), lo que no aade nada interesante al estudio de la serie. Como es obvio, el resultado que hemos obtenido solo es til cuando la sucesin (bn ) es una sucesin conocida, cuyo comportamiento sabemos de antemano.

8.1.4. Condicin necesaria para la convergencia de una serie. Condicin general de convergencia de Cauchy
Proposicin 8.1.6 (condicin necesaria para la convergencia de una serie). Si la serie n=1 an converge, necesariamente lm an = 0. n

8.2. Series de trminos no negativos Demostracin. Si (sN ) es la sucesin de las sumas parciales, es decir, sN = entonces Como aN = sN sN1 , se deduce que

175

n=1

an,

lm sN N R.

lm aN = lm sN lm sN1 = 0.
N N N

Esta condicin no es suficiente para la convergencia de una serie: veremos numerosos ejemplos de series no convergentes cuya sucesin de trminos tiende a 0; el ms sencillo es quiz la serie armnica 1 n = 1 + 12 +13 + + n + ,

n=1

que ya hemos estudiado.

Teorema 8.1.7 (condicin de Cauchy para la convergencia de una serie). Una serie n=1 an es

convergente si y solo si para cada > 0 existe un N = N( ) tal que para cualesquiera m,n N con m n > N se cumple ' ' 'm ' ' ' ' ak ' < . 'k=n ' Demostracin. La serie es convergente si y solo si lo es la sucesin (sn ) de sus sumas parciales, lo que equivale a que (sn ) sea una sucesin de Cauchy, y esto a su vez es es equivalente a que para cada > 0 exista un N = N( ) tal que para cualesquiera m, n N con m n > N sea |sm sn1 | < ; pero sm sn1 =

k=1

ak

n1

k=1

ak =

k=n

ak .

8.2.

Series de trminos no negativos

8.2.1. Convergencia de una serie de trminos no negativos. Criterios de comparacin

El estudio del carcter de una serie se simplifica cuando esta es de trminos no negativos. n=1
Proposicin 8.2.1. Sea n=1 an una serie tal que an 0 para cada n N. Entonces an converge

si y solo si la sucesin (sn ) de sus sumas parciales est acotada superiormente. En caso contrario, la serie diverge a +. Demostracin. Puesto que para cada n N es

sn+1 sn = an+1 0, la sucesin (sn ) es montona no decreciente. Luego o bien est acotada superiormente y converge, o bien no est acotada superiormente y diverge a +.

176

Captulo 8. Series numricas

Este resultado permite deducir en algunos casos la convergencia (o divergencia) de una serie a partir del carcter de otra serie conocida.
Teorema 8.2.2 (criterio de comparacin por mayoracin). Sean n=1 an y n=1 bn dos series y n=1 n0 N de modo que para n n0 es 0 an bn . Si bn converge, tambin converge an . En n=1

consecuencia, si an diverge, bn es asimismo divergente. n=1

n=1 Demostracin. Sabemos que an tiene el mismo carcter que n=n0 an , y que bn tiene el n=1 n=1

mismo carcter que 0 bn . Denotando por (sn ) la sucesin de sumas parciales de n=n

n=n0

an y por

(tn ) la de 0 bn , se sigue que para cada n N es sn tn , luego si (tn ) est acotada superiormente, n=n (sn ) estar acotada superiormente. Y si (sn ) no est acotada superiormente, (tn ) tampoco puede estar acotada superiormente. Basta aplicar ahora la proposicin 8.2.1. Otra forma de comparar dos series es estudiar el cociente de sus trminos:
Teorema 8.2.3 (criterio de comparacin por paso al lmite). Sean n=1 an , bn series de trn=1

minos no negativos. Supongamos que existe lm

n

an = ! [0, +) {+}. bn

a) Si ! < + y la serie

n=1 bn

converge, entonces la serie n=1 an tambin converge.

b) Si 0 < ! y la serie bn diverge, entonces la serie n=1 an tambin diverge. n=1 c) Si 0 < ! < +, entonces las dos series an y n=1 bn tienen el mismo carcter. n=1

Demostracin. a) Sea C (!, +) (por ejemplo C = ! + 1). Entonces existe algn n0 N tal que an /bn C para todo n n0 , es decir, 0 an Cbn para todo n n0 . Si la serie bn converge, n=1 entonces tambin la serie Cbn converge y, por el criterio 8.2.2 de maroracin, la serie an n=1 converge. n=1 b) Sea C (0, !). Existe algn n0 N tal que an /bn C para todo n n0 , es decir, an Cbn 0 para todo n n0 . Si la serie n=1 bn diverge, entonces tambin la serie Cbn diverge y, por el
criterio 8.2.2 de mayoracin, la serie n=1 an diverge. n=1

c) Basta aplicar a) y b).

Corolario 8.2.4 (series de trminos equivalentes). Sean n=1 an , bn dos series de trminos no n=1

negativos. Supongamos que (an ) (bn ). Entonces an y bn tienen el mismo carcter. n=1 Por supuesto, en este resultado las dos series pueden tener distinta suma. La comparacin con las series geomtricas proporciona dos criterios muy tiles en la prctica: el criterio de la raz y el criterio del cociente. Despus veremos versiones ms generales para series de trminos cualesquiera, as que dejamos la demostracin para entonces.

n=1

Proposicin 8.2.5 (criterio de la raz o de Cauchy). Sea an una serie de trminos no negativos n=1 n tal que existe R = lm an . n an es convergente. a) Si R < 1, la serie n=1 b) Si R > 1, entonces an % 0 y la serie
n=1 an

es divergente.

Proposicin 8.2.6 (criterio del cociente o de DAlembert). Sea an una serie de trminos no n=1 an+1 negativos tal que existe R = lm . n an

8.2. Series de trminos no negativos a) Si R < 1, la serie an es convergente. n=1 b) Si R > 1, entonces an % 0 y la serie
n=1 an

177

es divergente.

Un complemento interesante del criterio del cociente es el criterio de Raabe. Proposicin 8.2.7 (criterio de Raabe). Sea an una serie de trminos no negativos tal que existe n=1 an+1 R = lm n(1 ). Entonces: n an a) Si R > 1, la serie
n=1 an

es convergente.

b) Si R < 1, la serie an diverge a +. n=1 Demostracin. Ver [GA R AY-CUA DR A -AL FA RO, teor. 5.28, pgs. 101102].

8.2.2. Otros criterios. Convergencia de algunas series de trminos no negativos

Proposicin 8.2.8 (criterio de la integral). Sea f : [1, +) [0, +) no creciente. Entonces: a) La integral impropia ( b) Existe C = l m
n

" +
1

f es convergente si y solo si la serie

" n
1

f (n) converge.
n=1

) f [0, +).
" n
+ f + C + n , con 0 n f (n) l f (x). x

f (k)
n k=1

c) Para cada n N se tiene

k=1

f (k) =
n

Demostracin. Para cada n N, pongamos

" n

sn = Entonces
n

k=1

f (k),

tn =

f,

dn = sn tn .

n1 " k+1

n1 #

" k+1

$ f (x) dx

dn =

f (k)
k=1 k=1 k n1 " k+1

f = f (n) +

k=1

f (k)
k

= f (n) + Como

[ f (k) f (x)] dx 0.
" n+1

k=1 k

dn dn+1 = sn tn sn+1 + tn+1 =

"

n+1 n

[ f (x) f (n + 1)] dx 0,

se sigue que (dn ) es montona no creciente y acotada inferiormente por 0, con lo que existe C = lm dn [0, +) y, en consecuencia, (sn ) y (tn ) sern simultneamente convergentes o divergentes.
+ Puesto que f 0, la convergencia de (tn ) equivale asimismo a la de la integral 1 f , luego esta integral converge si y solo si converge la serie f (n). Con esto hemos demostrado a) y b). n=1 n

178

Captulo 8. Series numricas

En cuanto a c), la igualdad se cumple trivialmente si definimos n = sn tn C = dn C; lo que hay que probar es que 0 n f (n) l f (x). Observemos que
" n+1 " n+1

x +

0 dn dn+1 =

f (x) dx f (n + 1)

f (n) dx f (n + 1) = f (n) f (n + 1).

Reiterando, para cualquier nmero natural m > n resulta: 0 dn dn+1 f (n) f (n + 1), 0 dn+1 dn+2 f (n + 1) f (n + 2), ... 0 dm1 dm f (m 1) f (m). Al sumar las desigualdades resulta que 0 dn dm f (n) f (m). Pasando al lmite en m, y teniendo en cuenta que lm f (x) existe por ser f montona no creciente, x+ obtenemos 0 dn C f (n) l f (x). x + m

Como n = dn C, hemos terminado la demostracin. Aplicaciones. a) La constante de Euler. Aplicando los resultados que acabamos de obtener a la funcin f dada por f (x) = 1/x y teniendo en cuenta que
" n
1

1dx = log n, x

podemos escribir la suma parcial n-sima de la serie armnica como Hn = donde 0 n 1/n y ( = lm
n

k=1

1 k = log n + + n,

k=1

) 1 k log n = 0, 5772156649 . . .

es un nmero introducido por Euler en 1734 en el estudio de la funcin , definida tambin por l. Euler obtuvo sus diecisis primeras cifras decimales en 1781. No se sabe todava si es un nmero racional o irracional (ver [L E L I O NNA I S, pg. 28]). b) La funcin de Riemann. El criterio 8.2.8 de la integral permite comprobar fcilmente que la serie 1

converge si y solo si s > 1. La funcin

n=1

ns
s > 1,

(s) =

n=1

n1, s

8.3. Series de trminos cualesquiera

179

se denomina funcin zeta de Riemann y tiene importantes aplicaciones (especialmente en teora de nmeros). Hay expresiones ms o menos sencillas para (2n), n N, pero no para otros valores. Se 4 2 sabe por ejemplo que (2) = , (4) = . Hasta fechas recientes (R. Apry, 1978) no se haba 6 90 podido probar siquiera que (3) es irracional: ver [LE LI O NNA I S, pg. 36]. c) Series logartmicas. Tambin mediante el criterio de la integral se prueba que la serie 1 n(log n)s

n=2

converge si y solo si s > 1 (ver [A PO S TOL 1, pg. 486]). Por comparacin con las series anteriores se deducen inmediatamente los siguientes criterios de convergencia:
Proposicin 8.2.9 (criterio de Pringsheim). Sea n=1 an una serie de trminos no negativos tal que

para algn R existe el lmite Entonces: a) Si > 1 y ! < +, la serie

lm n an = ! [0, +].

an converge.

n=1

b) Si 1 y ! > 0, la serie an diverge (a +).

n=1 Proposicin 8.2.10 (criterios logartmicos). Sea n=1 an una serie de trminos no negativos tal que log an log(nan ) existe alguno de los dos lmites A = lm . Entonces: , B = lm n log n n log(log n)

a) Si A > 1, la serie an es convergente; si A < 1, diverge a +. n=1 b) Si B > 1, la serie an es convergente; si B < 1, diverge a +. n=1

8.3.

Series de trminos cualesquiera

8.3.1. Series alternadas: criterio de Leibniz

Proposicin 8.3.1 (criterio de Leibniz). Sea xn una serie alternada, es decir, una serie tal n=1 que para cada n N es xn = (1)n+1 an con an 0. Si (an ) es una sucesin no creciente con lmite 0, entonces la serie xn = n=1 (1)n+1 an es convergente. Adems, denotando con sn la suma n=1 parcial n-sima de la serie y con s su suma, se verifican para todo n N las desigualdades 0 (1)n (sn+2 sn ) an+1 , 0 (1)n (s sn ) an+1 . (8.1) (8.2)

Nota. De (8.1) se sigue que las sumas de orden par forman una sucesin no decreciente y las sumas de orden impar una sucesin no creciente. Las desigualdades (8.2) pueden interpretarse del siguiente modo: si tomamos sn como valor aproximado de s, el error que cometemos es menor o igual que an+1 , de modo que si (an ) converge rpidamente a 0 obtenemos una buena aproximacin de la suma

mediante una suma parcial de pocos trminos.

180 Demostracin. Obsrvese que dado k N, la diferencia (s2k+1 s2k1 ) = a2k a2k+1

Captulo 8. Series numricas

es mayor o igual que 0 por ser (an ) decreciente, y menor o igual que a2k por ser a2k+1 0, lo que da (8.1) en el caso n = 2k 1. Para n = 2k es s2k+2 s2k = a2k+1 a2k+2 , que anlogamente es mayor o igual que 0 y menor o igual que a2k+1 , lo que completa la prueba de (8.1) para todos los casos. Adems, hemos obtenido que (s2k ) es una sucesin no decreciente. Como s2k = a1 [(a2 a3 ) + + (a2k2 a2k1 ) + a2k ] a1 , (s2k ) est acotada superiormente, luego es convergente. Sea s su lmite. Puesto que s2k1 = s2k + a2k y a2k 0, resulta que lm s2k1 = lm(s2k + a2k ) = lm s2k + lm a2k = s + 0 = s.
k k k k

Es decir: tanto la subsucesin de trminos pares como la de trminos impares de (sn ) son convergentes con lmite s. Esto permite afirmar que (sn ) es convergente con lmite s, es decir, que n=1 + xn = s. Finalmente, puesto que para cada n N es s = x1 + + xn + se sigue que (1)n (s sn ) =
+ k=n+1 +

k=n+1

xk = sn +

k=n+1

(1)k+1 ak ,

(1)n+k+1 ak

= an+1 an+2 + lm [(an+3 an+4 ) + + (an+2m+1 an+2m+2 )] an+1 an+2 0 y que

+ m

(1)n (s sn ) =

(1)
m

n+k+1

ak

k=n+1

= an+1 lm [(an+2 an+3 ) + + (an+2m an+2m+1 )] an+1 , lo que prueba (8.2). Ejemplo. La serie armnica alternada

n=1

( 1 )
n 1

8.3. Series de trminos cualesquiera

181

es convergente. Adems, su suma se calcula fcilmente utilizando la constante de Euler. En efecto: para cada n N, sumando y restando trminos, se tiene
2n k+1 (1)

1 + ,

k=1

= 1 + + + 2 3 4 2n 1 1 2n 1

= 1+

1 1 1 + ++ + + ++ + 2 2 3 4 2n 1 2n 2 4 2n

= H2n Hn = log 2n + + 2n log n n = log 2 + 2n n . Como sabemos ya que la serie armnica alternada es convergente, podemos escribir:
+

1)k+1 k

k+1 (1)

2n

k+1 (1)

= lm
m k=1

= lm
n

= log 2.

k=1

k=1

Ejemplo. La serie
n=2

(1)n log nn

log x es convergente. En efecto, es fcil comprobar que la funcin f (x) = es decreciente en [3, +) x log n 0 ylog n 0. De aqu se deduce que la serie (por ejemplo, calculando f + ). n n converge, Adems, sumando desde n = 3, y por lo tanto tambin sumando desde n = 2..

8.3.2. Series absolutamente convergentes

Definicin 8.3.2. Una serie an se dice absolutamente convergente si la serie n=1 |an | es conn=1

vergente. El ejemplo ms sencillo de serie convergente que no converge absolutamente es la serie armnica alternada.
Observacin. Si n=1 an y n=1 bn son dos series absolutamente convergentes y r, s R, entonces

la serie (ran + sbn ) tambin es absolutamente convergente. Esto se deduce de la desigualdad n=1 |ran + sbn | |r||an | + |s||bn | y el criterio 8.2.2 de mayoracin. Definicin 8.3.3. Para un nmero real cualquiera x, escribamos x+ = max{x, 0}, x = max{x, 0}. (8.3)

Es fcil comprobar que |x| = x+ + x , x = x+ x , x+ 0, x 0. Proposicin 8.3.4. Toda serie absolutamente convergente es convergente: dicho de otro modo, si

n=1

|an | converge, entonces la serie n=1 an tambin converge. Y en ese caso, ' ' ' ' ' ' ' an ' |an |. 'n=1 '
n=1

182 Demostracin. Con la notacin (8.3),

+ 0 an |an |,

Captulo 8. Series numricas

0 a |an |, n an tambin
n=1

luego las dos series a+ y a convergen. Como an = a+ a , la serie

n=1 n n=1 n n n

converge. Adems, para cada n N

' ' ' n ' n ' ' ak ' |ak |, ' 'k=1 ' k=1

por la desigualdad triangular. Pasando al lmite (una vez que ya sabemos que las dos series convergen), ' ' ' ' ' ' ' ak ' |ak |. 'k=1 ' k=1

8.3.3. Criterios generales de Cauchy (de la raz) y de DAlembert (del cociente)

Los criterios que hemos visto sobre convergencia de series de trminos no negativos se traducen de manera obvia en criterios de convergencia absoluta para series de trminos cualesquiera. As: Proposicin 8.3.5 (criterio de la raz o de Cauchy). Sea an una serie tal que existe R = n=1 lm |an |. n

a) Si R < 1, la serie

n=1 an

converge absolutamente.
n=1 an

b) Si R > 1, entonces an % 0 y la serie

no es convergente. n

Demostracin. a) Supongamos que R < 1. Sea R < c < 1. Entonces existir algn n0 tal que c para todo n n0 . Por lo tanto,

|an |

0 |an | cn ,
n=n0

n n0 .

Como 0 < c < 1, la serie geomtrica

la serie n=1 |an | tambin converge.

cn converge y por lo tanto la serie n=n0 |an | converge, y

b) Supongamos que R > 1. Entonces existir algn n0 tal que lo tanto, |an | 1, n n0 . Entonces, an % 0 y la serie a no es convergente.
n=1 n

|an | 1 para todo n n0 . Por

Proposicin 8.3.6 (criterio del cociente o de DAlembert). Sea an una serie tal que existe n=1 R = lm |an+1 | .

|an |
n=1 an

a) Si R < 1, la serie

converge absolutamente.
n=1 an

b) Si R > 1, entonces an % 0 y la serie

no es convergente.
|a |

Demostracin. a) Supongamos que R < 1. Sea R < c < 1. Entonces existir algn n tal que |ann+1 c 0 | para todo n n0 . Por lo tanto, |an+1 | c|an |, n n0 . De aqu es fcil deducir por induccin que 0 |an | | an0 cn0 |cn , n n0 .

8.4. Propiedad conmutativa para series

183

Como 0 < c < 1, la serie geomtrica 0 cn converge y por lo tanto la serie n=n0 |an | converge, y n=n la serie n=1 |an | tambin converge. |an+1 | b) Supongamos que R > 1. Entonces existir algn n0 tal que |an | 1 para todo n n0. Por lo tanto, |an+1 | |an |, n n0 . Entonces, la sucesin |an | no tiende a 0 (es no decreciente), luego an % 0 y la serie n=1 an no es

convergente.

8.3.4. Criterios de convergencia de Abel y Dirichlet

El criterio 8.3.1 de Leibniz nos ha permitido encontrar series que convergen pero no absolutamen- te. Para ampliar la lista de criterios que no se refieren a la convergencia absoluta aadimos los ms conocidos, de Abel y Dirichlet, que se obtienen de una interesante frmula de sumacin por partes: Lema 8.3.7 (frmula de sumacin por partes de Abel). Sean (an ) , (bn ) dos sucesiones arbin=1 n=1 trarias, y llamemos, para cada n, An = (suma parcial n-sima de la serie
n n=1 an )

k=1

ak
n

Entonces

k=1

ak bk = Anbn+1 + Ak (bk bk+1)

k=1

cualquiera que sea n N. Demostracin. Ver [AP OS TO L 1, pg. 497]. Proposicin 8.3.8 (criterio de Abel). Si (an ) es una sucesin montona y acotada, y n=1 bn es n=1 una serie convergente, la serie an bn es convergente. n=1 Demostracin. Ver [AP OS TO L 1, pg. 498]. Proposicin 8.3.9 (criterio de Dirichlet). Si (an ) es una sucesin montona que converge a 0, y n=1 bn es una serie cuya sucesin de sumas parciales est acotada, la serie n=1 an bn es n=1 convergente. Demostracin. Ver [AP OS TO L 1, pgs. 497498].

8.4.

Propiedad conmutativa para series

Qu sucede cuando en una serie se cambia el orden de los sumandos? Se puede demsotrar que las nicas series inalterables por estos cambios son las absolutamente convergentes; en general, pues, las series no mantienen la propiedad conmutativa de las sumas finitas. Precisemos estos conceptos. Definicin 8.4.1. Dada una serie an , se dice que otra serie bn es una reordenacin suya n=1 n=1 si existe una aplicacin biyectiva r : N N tal que, para cada n N,

bn = ar(n) . Ntese que, recprocamente, an es una reordenacin de bn , pues la inversa r n=1 n=1 mente una biyeccin.
1

es igual-

184

Captulo 8. Series numricas

Informalmente, una serie es una reordenacin de otra si tiene exactamente los mismos trminos, pero en otro orden. Que una serie tenga la propiedad conmutativa significar, as, que tenga suma y que cualquier reordenacin suya tenga la misma suma. Vamos a dar un nombre especial a las series convergentes con la propiedad conmutativa. Definicin 8.4.2. Una serie se denomina incondicionalmente convergente si es convergente y si toda reordenacin suya es asimismo convergente, y con la misma suma. Decimos que una serie es condicionalmente convergente si es convergente pero no incondicionalmente convergente, de modo que alguna reordenacin suya o bien no es convergente o converge a una suma distinta. Lema 8.4.3. Dada una serie an de trminos no negativos y una reordenacin suya bn , se n=1 n=1 tiene: a) si an es convergente con suma s, tambin bn es convergente con suma s. n=1 n=1
b) si an es divergente a +, tambin n=1 bn es divergente a +. n=1

Demostracin. a) Sea r : N N tal que bn = ar(n) para cada n N. Para cada n N definamos m(n) = max{r(1), r(2), . . . , r(n)}. Denotando con tn la suma parcial n-sima de bn ser entonces n=1 tn = ar(1) + ar(2) + + ar(n) a1 + a2 + + am(n) s, lo que prueba que bnes convergente con suma menor o igual que s. Como a su vez
n=1

an es una
n=1 n=1

reordenacin de

n=1 bn ,

por el mismo motivo su suma ser menor o igual que la suma de bn , lo

n=1

que implica la igualdad entre ambas sumas. b) En caso contrario, bn sera convergente y entonces an , reordenacin suya, tambin n=1 convergera. Proposicin 8.4.4. Toda serie absolutamente convergente es incondicionalmente convergente.
|an | converge, aplicamos el lema 8.4.3 a las series a+ y a Demostracin. Si la serie n=1 n=1 n n=1 n

(que tambin convergen) y por ltimo recordamos que an = a+ an . n

El recproco tambin es cierto: ms an, una serie convergente que no converja absolutamente po- see reordenaciones que van a parar donde se desee: convergentes con suma arbitrariamente prefijada, divergentes a +, divergentes a , oscilantes a capricho. Este es el contenido de un clebre teorema de Riemann. Teorema 8.4.5 (de Riemann). Si una serie es convergente pero no absolutamente convergente, para cada ! [, +] existe una reordenacin suya con suma !; en general, dados !1 , !2 , . . . , !k , existe

una reordenacin cuya sucesin de sumas parciales contiene subsucesiones que convergen a !1 , !2 , . . . , !k . Demostracin. Ver [GA R AY-CUAD R A -AL FA RO, teor. 5.33, pg. 105], [ORT E G A, teor. 9.20, pg. 303]. Corolario 8.4.6 (teorema de Dirichlet). Una serie es incondicionalmente convergente si y solo si es absolutamente convergente.

8.5. Apndice: sumacin de series

185

8.5.

Apndice: sumacin de series

Resumimos las ideas fundamentales sobre el clculo de las sumas de algunos tipos particulares de series.

Series telescpicas
Si para cada n puede ponerse an = bn bn+1 , la serie convergente la sucesin (bn ), y si este es el caso, lm an = b1 n bn.

an converge si y solo si es
n=1

n=1

Series geomtricas
Si a = 0, entonces la serie
n=1

arn1 converge si y solo si |r| < 1; si converge,

ar

n1

n=1

a . = 1r

Series aritmtico-geomtricas
Si P es un polinomio no constante, la serie su suma, (1 r)S = P(0) + de
n=0

P(n)rn

converge si y solo si |r| < 1. Llamando S a

n [P(n) P(n 1)]r = P(0) + n=1

Q(n)r , donde Q es un polinomio

n=1

grado menor que P; reiterando, se llega a una serie geomtrica.

Series hipergeomtricas
Son de la forma suma
a1 n=1

an con

an+1 n + = , > 0. La serie converge si y solo si > + , con n+ an

Series racionales o de cocientes de polinomios

Series del tipo converP(n) , donde P y Q son polinomios (el nombre no es estndar). Cuando Q(n)

gen, puede hallarse a veces su suma descomponiendo P/Q en fracciones simples y calculando la suma parcial n-sima, relacionndola con sumas de series conocidas. Pueden ser de ayuda las siguientes: Serie armnica 1 1 1 Hn = 1 + + + + = log n + + n , donde es la constante de Euler y lmn n = 0 2 3 n Funcin de Riemann (s) =

n=1

n1, s > 1. En particular s

1 2

 (2) =

2 n=1 n

(4) =
n=1

n4 = 90 .

186

Captulo 8. Series numricas

Reordenadas de la serie armnica alternada

En algunos casos pueden hallarse expresiones simplificadas de ciertas sumas parciales en trminos de Hn , y deducir as el comportamiento de la serie.

Series que se reducen a la exponencial

(n) n!

Partiendo de que para todo x R es

donde P es un polinomio de grado m, sin ms que reescribir P(n) = a0 n(n 1) (n m + 1) + a1 n(n 1) (n m + 2) + + am1 n + am para coeficientes a0 , . . . , am adecuados, y observar que n(n 1) (n k) 1 = , n! (n k 1)! si n > k.

n=0

n! = e , se pueden sumar series de la forma

x,

8.6.

Ejercicios

Ejercicio 8.1. Escribindolas como series telescpicas, estudiar las siguientes series: a)
n=1

1 2n

n+2 n(n + 1) a 3n

(descomponer

n+2 n(n + 1)

en fracciones simples).

b) 3n sen3
n=1

(obsrvese que sen x = 3 sen x 3

4 sen3

x 3

).

2 tg a 2n 1 3 tg a 2n1 (utilizar que tg x =

c) 2n1 tg2
n=1

2 ). x 1 tg2 2 1

[sen(x + y) sen(x y)]). d) sen n cos n (tener en cuenta que cos x sen y 2 2 = 2 n=1 1 4 cos2 a 1 sen2 2a 1 4 sen2 a

e)
n=1

1 4n cos2 (x/2n )

(0 < x < /2; usar que

).

Ejercicio 8.2. Estudiar el carcter de las series de trmino general: a) sen4 n b) 1 c) 1 + n2

n2 d) cosn

+ a+ b n

, (0 < a < /2) e)

n 2/3 n +1 nan + h)
n 2

n! f) n! nn

(a = 0)
3

g) j)

3n n2 + 1 1 , na + b

n+1

, i) l) 1 log n 1 n 3/2

(a, b) = (0, 0)

k)

n sen(nx) n2

8.6. Ejercicios m) 1 n(n + 1)(n + 2) n + 1 n n log(n + 1) 1 r) (1 + n)2 1 n(1 + ) x) 1 ++ n y) 1 n) 1 + sen2 (nx) n2 n(n + 1) n2 + 2n 1 3 cos(1/n) 1 1 1+ ++ 2 n
3

187 1 1 sen n n + ,n+1/n 1 n # x $n n! n 1

2n

o)

p)

q)

s)

t)

u)

v)

w)

n log n

(log n)

2 n+1 log n x n ( 1)n 1 1+ ++ 1 2 n

1/(n +1)
2

n2 +1

z)

B) log n np C)

1 (log n) p # $ log 1 + x n

A)

D)

E)

( 1)n (n + 1) n!

F)

(n2 + 1)xn (n + 1)!

G)

e1/n

n+1

n n2 + 1 I)

(n!)

2n

H)

(1)

(2n)!

Ejercicio 8.3. Hallar la suma, si convergen, de las series de trmino general (para n 1, si no se indica otra cosa): a) d) 4n 1 , (n + 2)(n 1)2 1 , n2 n2 1 3n2 + 7n + 6 g) 3) n2 + 3n + h) 2 1 n (n + 1)2 1 l) n n+ n! 3n
3

n 2

b) e)

1 n(n + 1) 1 4n2 + 16n + 7 1 3)(n 2 (n 1 + +

3

c) f)

2n + 3 , n 2 n(n 1)(n + 2) 1 , n2 (n + 1)2 4 3 )

n(n + 1)(n + 2)(n +

i)

3)(n +

n j)

1 )

n ! 2n + 1

n2 ( 8n + 6 m) (n n + + 2)! 1)2 n2 + 1 n o) ! (n + 1)! 3n2 + n(n + 1)

k) , n 3 n) p) n(n + 1)

3n (n 3) n! n 1 n!(n + 2) n2 + 5n + 7 r) 2n n2 n s)

(n + 2)! n
2

q) (1)n1

, 3n 1

n2

t) (n + 1)xn

u)

( 1)n

3n

v) 1)

n n n + 1 + (n +

+ w) log

,n n 1 +1 n+1 2n

Ejercicio 8.4. Hallar la suma de las series:

188 a) 1 1 1 1 1 1 1 + + +... 2 3 4 5 6 1 1 1+ 1 1 1 1 1 + + ... 12 15 16 21 20 1 1 1

Captulo 8. Series numricas

c) 1 + 1

+ 9 + 5

+ + 1 1 + . . . 13 8 1 15 1 4 +... 12

3 d) 1 + 1 1

5 1

7 1

2 1

11 1 + 7 1

3 e) 1 +

10

1 1 1 1 1 1 2 + 32 + 52 + 62 + 72 + 92 + . . . 2