Prctica 11
Series
Los procesos infinitos que hemos usado para desarrollar este curso fueron evitados histricamente
desde los griegos hasta el siglo XVII. Incluso el mismo clculo diferencial e integral fue resistido
por filsofos y matemticos durante largo tiempo hasta que Cauchy y otros matemticos le dieran
forma y justificacin plena.
Paradjicamente, esta ltima unidad que se ocupa del estudio de sumas infinitas, es precisamente
por donde empezaron los padres del clculo sus descubrimientos en matemtica. Tanto Newton
como Leibniz se aproximaron a la matemtica estudiando series infinitas.
Los primeros descubrimientos de Newton, con 23 aos de edad, se derivan de su habilidad para
expresar funciones en trminos de sumas infinitas. Escribi Newton todo lo que el lgebra hace
por medio de una cantidad finita de ecuaciones, se puede conseguir por medio de infinitas
ecuaciones pues el razonamiento en este caso no es menos seguro que en el otro.
Por su parte, Leibniz, desafiado por el fsico Huygens, estudia diversas series numricas, tal como
veremos en la introduccin.
min
1 min
8
1
4
min
min
1
minuto, desde all hasta la mitad del
2
1
de minuto y as hasta el infinito. De modo que el tiempo total T que
4
necesitamos para ir de A hasta B se obtiene sumando todos estos tiempos parciales:
1 1 1 1
T 1 ...
2 4 8 16
Afirmaba Zenn que la suma infinita de tiempos daba infinito y por lo tanto era
imposible ir de A hasta B. Luego el movimiento no existe.
Entonces
1
T 1 T T 2
2
Mediante esta cuenta deducimos lo que parece (y es) obvio: si tardamos 1 minuto para recorrer la
mitad del camino tardamos 2 minutos para recorrerlo todo. Ser que la afirmacin de Zenn de que
sumar infinitos trminos positivos es necesariamente infinito, no es verdad?
Veamos la segunda paradoja, que lejos de aclarar, oscurece
G 1 2 22 23 ... 263
Para calcular esta suma infinita seguimos la misma estrategia que usamos en el caso de Zenn:
Qu pas?
Por qu la misma cuenta que nos dej tranquilos con la paradoja de Zenn, nos da un resultado
absurdo en este caso? Ser que Zenn algo de razn tena?
Volveremos a esta perplejidad un rato noms.
2
2
2
2
1
1
...
... 2(
...)
1 2 2 3 3 4
k (k 1)
1 2 2 3
1
1
1
1 1
1
1 1
1
1
1
1 ,
,
,...,
1 2
2 2 3 2 3 3 4 3 4
k (k 1) k k 1
Entonces reemplazando cada trmino obtuvo (dividiendo por 2)
S
1
1 1
1 1
1
1
(1 ) ( ) ( ) ... (
) ...
2
2
2 3
3 4
k k 1
Observando que a partir del segundo trmino cada uno se cancelaba con el siguiente, solo quedaba
sin cancelar el primer trmino de la suma. As
S
1 S 2
2
Usando la misma estrategia que nosotros, tanto en la paradoja de Zenn para calcular el tiempo
como en la leyenda del ajedrez para contar los granos, obtuvo:
L 1 1 1 1 1 .... 1 (1 1 1 1 ...) 1 L
Es decir L 1 L L
1
.
2
2. Series numricas
Sea a1 , a2 ,..., an ,... una sucesin de nmeros reales. Construimos a partir de ella una nueva
sucesin, que llamaremos sumas parciales, de la siguiente manera:
S1 a1
S 2 a1 a2
S3 a1 a2 a3
S n a1 a2 a3 ... an
Definicin. Diremos que la serie de trmino general an es convergente si la sucesin de
sumas parciales tiene un lmite finito, es decir, si existe S tal que lim S n S .
n
S an
n 1
A veces, si la serie
converge, pondremos
an
n 1
an
n 1
n 1 n( n 1)
Solucin
Siguiendo la idea de Leibniz, ahora con la definicin de series a mano, calculamos las sumas
parciales:
rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires
S1
1
1
1
1 2
2
S2
1
1
1
1 1
1
(1 ) ( ) 1
1 2 2 3
2
2 3
3
..
Sn
1
1
1
1
1 1
1
1
1
...
(1 ) ( ) ... (
) 1
1 2 2 3
n(n 1)
2
2 3
n n 1
n 1
1
) 1 . Es decir
n 1
n 1 n( n 1)
1.
n 2 n( n 1)
r n 1 r r 2 r 3 ...
n 0
Para calcular la suma parcial de orden n hacemos S n rS n ya que se cancelan casi todos los
trminos. Al parmetro r se lo llama razn de la serie geomtrica:
S n 1 r r 2 ...... r n 2 r n 1
rS n
r r 2 r 3 ......... r n 1 r n
S n rS n 1 0 0 0 .... 0 ... 0 r n
rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires
Sn
1 rn
1 r
1
si r 1
1 rn
lim S n lim
1 r
n
n 1 r
si r 1
r n 0 si r 1
r n si r 1
rn
1 r
n 0
, 1 r 1
S n 1 1 ... 1 n
Es claro que S n n .
Entonces la sucesin de sumas parciales no converge a un lmite finito. La serie en este caso es
divergente.
Caso r 1
S1 1 , S 2 1 1 0 , S3 1 1 1 1 , S 4 1 1 1 1 0
En general
1 si n impar
Sn
0 si n par
La sucesin de sumas parciales no tiene lmite, por lo que la serie es divergente tambin en este
caso. En sntesis
rn
n 0
diverge si r 1
G 1 2 22 23 ... 2n ...
1
es la serie geomtrica de razn
2
Esto explica el error del genio. Le faltaba una buena definicin de suma infinita.
n1
Otra familia de series que servirn como testigos para comparar con series que querramos
estudiar son las llamadas series p. Para cada p 0 , se considera la serie
p
n 1 n
rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires
n 1 n
son todos positivos. Zenn sospechara de ella. Tendra razn en este caso?
S1 1
1 1
1 1 1 1 1 1
S3 1 , S 7 1
2 3
2 3 4 5 6 7
1
1
1 1 1 1 1 1 1
Observemos que
1
1
1 1 1 1 1 1 1 1 1 1 1 1 1 1
,
, ...
2
2 3 4 4 2 4 5 6 7 8 8 8 8 2
1
n . Al ser una serie de trminos positivos, sus sumas parciales son
2
crecientes (cada vez que agrego un trmino, la suma parcial es mayor). Luego
Es decir S 2n 1
La serie armnica
n 1 n
es divergente.
an y
n 1
bn
n 1
n 1
n 1
n 1
(an bn ) an bn
kan k an
n 1
n 1
2 n 5n
6n
n 1
2 n 5n 2 n 5n 1 5n
n n n n
6n
6
6
3 6
Observemos que cada trmino deviene en una serie geomtrica de la cual sabemos calcular su suma.
Usamos la linealidad para escribir
n
2 n 5n 1 5n 1
5
n
n
n
6
n 1
n 1 3
n 1 6
n 1 3
n 1 6
Solo nos queda calcular cada una de las series geomtricas que nos han quedado. Hay una sutileza:
las sumas comienzan desde n 1 y los clculos generales que hicimos precedentemente fueron
desde n 0 . Tenemos que atender a esta sutileza en el clculo, sumando y restando el trmino
correspondiente a n 0 .
La primera serie geomtrica es de razn r
1
3
1
3
1
1
1
1 1
1
1
2
2
n 1 3
n 0 3
1
3
Sumamos desde n = 0
y lo volvemos a restar
5
.
6
n
1
5
5
1 6 1 5
1
5
n 1 6
n 0 6
1
6
Entonces
2 n 5n 1
11
5
n
6
2
2
n 1
10
an
n 1
Demostracin
Si la serie converge existe lim S n S . Adems an S n S n 1 .
n
Tomando lmite:
lim a
n n
lim( S n S n 1 ) S S 0 .
n
Si lim an 0 no es cierto que la serie sea convergente, como lo muestra el ejemplo de la serie
n
armnica.
Esta condicin necesaria es til en su versin negativa. Es decir:
Si lim an no es cero entonces la serie
n
an
n 1
es divergente.
n
y
n 1 100n 1
n
n 1 5
n
n 1 100n 1 5
Solucin
Observemos que el trmino general de la primera serie no tiende a cero. Veamos que con eso nos
alcanza para decidir:
n
1
n
1
1
1
lim
n lim
lim n
0
n 100n 1 5
n 100n 1 n 5
100
100
Como el trmino general no tiende a cero y eso es condicin necesaria para que la serie sea
convergente, resulta divergente.
11
S n 1 a1 ... an an 1 S n an 1 S n
Por lo tanto, para que la serie sea convergente bastar con que las sumas parciales estn acotadas
superiormente, ya que una sucesin creciente y acotada superiormente tiene lmite finito.
En base a esta idea daremos criterios de convergencia y divergencia de series, comparando series
desconocidas con series conocidas.
En lo que sigue y hasta nuevo aviso, todas las series sern de trminos no negativos. La serie
n 1
an
n 1
n 1
divergente.
an
n 1
an
n 1
es convergente.
La desigualdad
alcanza que sea
cierta desde un
n en adelante.
es divergente.
Demostracin
(a) No hay mucho que decir:
S n a1 ... an c1 c2 ... cn Cn
Como
cn
n 1
es convergente resulta que Cn tiene lmite y por lo tanto est acotada. Luego S n
tambin est acotada y como dijimos, con eso alcanza para asegurar que tiene lmite.
12
2
n 1 n
es convergente.
Prueba
n 2 n( n 1)
n 2 n 2 n n(n 1) .
Entonces
1
1
cn para n 2 .
2
n
n(n 1)
Luego, usando el criterio de comparacin precedente, la serie
La serie
p
n 1 n
2
n 1 n
es convergente.
con p 2 es convergente.
Prueba
Misma idea: n p n 2 si p 2 . Entonces
1
1
p 2 cn
n
n
p
n 1 n
La serie
p
n 1 n
es convergente si p 2 .
con 0 p 1 es divergente.
Prueba
Misma idea: n p n si 0 p 1 . Entonces
1 1
d n asociada a una serie divergente.
np n
Entonces
p
n 1 n
es divergente si 0 p 1 .
n 1
1
1
es divergente porque p 1 .
2
n
13
(a) Si lim
an
l [0, ) entonces
cn
(b) Si lim
an
l (0, ) l entonces
dn
an
n 1
es convergente.
an
n 1
es divergente.
Demostracin
(a) Si lim
an
l [0, ) entonces la sucesin est acotada. Es decir
cn
an
k an kcn
cn
lim
n 1
n 1
an .
n 1
an
l (0, ) , por conservacin de signo
dn
an
k 0 . Esto tambin es cierto si l . Entonces
cn
an
n 1
es
kd n .
n 1
Por qu l 0 en (b)
1
an 2 (convergente)
n
1
d n (divergente)
n
an 1
0 . El criterio no sirve
dn n
en este caso
(1)
3n
3
n 1 n n 2
(2)
(3)
n2 1
2
n 1 10n 5n 3
(4)
n 2
n 1 2n 2011
n 1 n
n
1
Soluciones
rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires
14
3n
3
n n 2 3n
3
1
n3 n 2
n2
3
Entonces, como
2
n 1 n
converge, la serie
3n
3
n 1 n n 2
converge.
n 2
1
se parece a
que deviene en una serie
2n 2011
n
divergente.
Otra vez comparamos pasando al lmite:
n 2
2n 2011 n 2 n 1 ( 0)
1
2
2n 2011 n
n
Entonces la serie
n 2
es divergente.
n 1 2n 2011
(3) Aqu, si bien se puede aplicar el criterio de comparacin de paso al lmite, vemos que el trmino
general no tiende a cero:
n2 1
1
0
2
10n 5n 3 10
Entonces la serie
n2 1
es divergente.
2
n 1 10n 5n 3
n
1
se parecer a
que
n 1
n
deviene en la serie armnica, divergente. Comparamos pasando al limite:
(4) El anlisis previo nos dice que
n
1
se parece a 3 por lo que
n 1
n
4
n
3 4
3
n
n4
n 1 n n
3
1( 0)
3 4
1
n4 1
n 1 3 n4 1
n
4
15
n 1 n
Entonces la serie
n
es divergente.
1
k 1
Piense, como lo
hizo Cauchy, en
1
f ( x) p
x
y f ( x)
f (1)
2
f (2)
2
f ( n 1)
f (n)
2
1
n 1
n 1
S n f (1) I n S n 1
Si I n est
acotado, tambin
lo est S n
Si S n est
acotado, tambin
lo est I n
16
n 1
p
n 1 n
1
1
dx
1 x p dx
xp
Se la llama
integral
impropia
Calculamos para p 1
Al
aplicar
la
1
x p 1
dx
xp
p 1 1
regla
de
Barrow,
el
lmite
slo
existe
si
p 1 0
vale
1
x p 1
1
dx
Si bien el caso p 1 ya lo hemos resuelto a mano, el criterio integral tambin nos entrega una
nueva prueba de que la serie es divergente en este caso:
Teorema. La serie p
dx ln x 1 entonces la serie
x
p
n 1 n
n 1 n
diverge
converge si y solo si p 1 .
17
n 2 n ln n
(2)
ln n
2
n 1 n
Soluciones
(1) Usamos el criterio integral:
dx
dt
ln t ln ln x . Entonces la serie es divergente.
x ln x
t
2
Sustitucin:
t ln x dt
dx
x
ln x
dx te t dt te t e t
2
0
x
Sustitucin:
t ln x dt
Luego la serie
ln n
2
n 1 n
Partes:
dx
x
x 1 t 0
x t
u t du dt
dv e t dt v e t
es convergente.
18
an x n
n 0
Las series de esta forma se llaman series alternadas. Tambin se consideran series alternadas las de
la forma
a1 a2 a3 ... (1) n an
n 1
Un criterio descubierto por Leibniz ser nuestra herramienta para estudiar estas series
Teorema. Criterio de Leibniz. Sea an 0 . Si se cumplen las dos condiciones
an es decreciente.
lim an 0 .
n
La serie alternada
(1) n 1 an es convergente.
n 1
Demostracin
La idea es probar que las sumas parciales S n tienen lmite finito. Para ello estudiamos las
subsucesiones S 2n y S 2 n 1 . Alcanzar con que ambas tengan el mismo lmite finito.
A las sumas parciales de orden par se las puede escribir como:
rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires
19
Cada trmino (entre parntesis) es mayor o igual a cero pues la sucesin es decreciente. Es decir
que la sucesin S 2n resulta creciente (suma de trminos positivos)
Tambin se las puede escribir como
Cada trmino, salvo el primero, es menor o igual a cero otra vez porque la sucesin es decreciente.
Entonces
S 2n a1
Entonces la sucesin S 2n es creciente y acotada superiormente. Se concluye que existe
lim S 2 n S
Las sumas parciales de orden impar estn relacionadas con las de orden par:
S 2 n 1 a1 a2 ... a2 n 1 a2 n a2 n 1 S 2 n a2 n 1
Tomando lmite en ambos miembros (sabemos que lim an 0 ) se obtiene
n
lim S 2 n 1 S
(1) n 1
1 1 1
1 ...
n
2 3 4
n 1
(2)
(1) n (n 2)
n3
n 1
(1) n n
(3) 2
n 1 n 1
20
1
0 (tiende a cero en forma decreciente)
n
(1) n (n 2)
n3
Oscila. En valor
absoluto tiende a 1
n
.
n 1
2
n
0 . Menos evidente es que an es decreciente. Veamos esto de dos
n 1
2
formas diferentes:
Una forma: desde la definicin de decreciente: hay que probar que an 1 an . Es decir
n 1
n
. Haciendo la cuenta, esta desigualdad es equivalente a probar que
2
2
(n 1) 1 n 1
n3 n 2 n 1 n3 2n 2 2n
x
es decreciente si x 1
x 1
2
(con esto alcanza y sobra para ver que g (n) an es decreciente). Para ver que g es decreciente,
calculamos su derivada y estudiamos su signo (Teorema del Valor Medio)
g( x)
x2 1 2x2
x 2 1
1 x2
x 2 1
0 si x 1
21
an
n 1
es convergente.
n 1
an
n 1
(1) n
Por ejemplo la serie 2
n 1 n
an
n 1
an
n 1
es divergente.
(1) n 1
converge absolutamente y la serie
n
n 1
converge
condicionalmente.
La importancia de estos conceptos se ponen de manifiesto en el siguiente teorema
Teorema. Si la serie
an
n 1
Demostracin
Sabemos por hiptesis que
an
n 1
La expresin an an es igual a 0
es convergente
(cuando an es negativo)
o es igual a 2 an
(cuando an es positivo).
0 an an 2 an
Entonces la serie
( an an )
n 1
( an an )
n 1
n 1
n 1
n 1
n 1
an ( an an ) an
y por lo tanto resulta convergente.
rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires
22
n 1
cos n
n2
Solucin
Estudiamos la convergencia absoluta de la serie.
cos n
1
2.
2
n
n
an x n , de la cual
n 1
an x n . De modo que si alguno de ellos nos permite decidir que esta serie
n 1
n 1
an
n 1
signo de an .
23
an
n 1
a. Si lim
an L 1 entonces la serie
b. Si lim
an L 1 entonces la serie
c. Si lim
an
n 1
converge absolutamente
diverge
Demostracin
n
an
an r 1 para n n0
n0
Entonces
an r n
que genera una serie geomtrica convergente. Entonces, por comparacin, la serie converge
absolutamente.
b. Si L 1 entonces
n
an r 1 para n n0
2
n 1 n
n 1 n
es divergente. En ambos
casos, si aplicamos el criterio de la raz obtenemos lmite igual a 1. Esto muestra que el criterio no
sirve en este caso para decidir sobre la convergencia de la serie.
an 1
L 1 entonces la serie
an
an
n 1
converge absolutamente
24
b. Si lim
an 1
L 1 entonces la serie
an
c. Si lim
an 1
L 1 el criterio no sirve para decidir.
an
an
n 1
diverge
Demostracin
Veamos el caso a. El caso b. es similar y para el caso c. sirven los mismos ejemplos que en el
criterio de Cauchy..
Supongamos pues que L 1 . Al igual que en la otra demostracin podemos afirmar que
an 1
r 1
an
Usamos el criterio de comparacin con un mltiplo de la serie geomtrica convergente de trmino
general cn r n . Es decir, queremos mostrar que el cociente bn
an
. est acotado superiormente.
rn
Para ello, alcanza con ver que bn es decreciente. Veamos eso pues
bn 1 an 1 r n
a 1
n 1
n 1 1
bn
r
an
an r
Luego, bn es decreciente y, por lo tanto, acotada superiormente por lo que
an
k
rn
Es decir an kr n . Por el criterio de comparacin se concluye que la serie es absolutamente
convergente.
2n
n 0 n !
(2)
n
n 1 n
n!
2
(3) 8 1
n
n 1
n
n2
Soluciones
rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires
25
2n
y luego tomamos lmite. Al resultado
n!
an 1
an
2n 1
2 2n n !
2
(n 1)!
0 1
n
n
2
n !(n 1) 2
n 1
n!
n!
nn
n
an 1
(n 1)! n n
(n 1)n !n n
n
1
e 1
n 1
n
an
(n 1)
n ! (n 1)(n 1) n ! n 1
Como el lmite del cociente de DAlembert es menor que 1, la serie es convergente.
2
8 1
n
n
n2
2
8 1 8e 2 1
n
Como el lmite resulta ser mayor que 1, el criterio asegura que la serie es divergente.
26
6. Series de potencias
La representacin de funciones por medio de series de potencias es un captulo en s mismo de la
matemtica. Aqu slo nos proponemos dar respuesta al siguiente problema
Problema. Para qu valores de x es convergente la serie
an x n ?
n 0
Cundo la
Ejercicios. Hallar todos los valores de x para los cuales las siguientes series son
convergentes. Establecer cundo la convergencia es absoluta y cundo es condicional
xn
xn
(1)
n 1 n
(3)
n 0 n!
2n nx n
( x 2) n
n 3 5n
(2)
2
n 0 n 1
(4)
n 1
Soluciones
(1) Aplicamos el criterio de la raz ensima:
n
x
xn
n x
n
n
x 1 la serie converge
1
Intervalo de
convergencia absoluta
alternada
n 1 n
27
2n nx n
2n n
x 2 x
n2 1 n n2 1
n 1
n2 1 1
El criterio nos dice que para 2 x 1 la serie converge absolutamente. El criterio tambin nos dice
que para 2 x 1 la serie diverge. Es decir
Para x
1
la serie converge absolutamente
2
El valor
1
Para x la serie diverge
2
es el llamado
radio de convergencia
1
. La serie resultante en este caso es
2
n
n 1
2 n
n
2
2
2
n 0 n 1
n 0 n 1
1
que genera una serie divergente. Usamos comparacin con paso
n
al lmite:
n
2
n 1 n 1 0
1
n2 1
n
2
Luego en x
Caso x
1
la serie es divergente.
2
1
. En este caso resulta la serie alternada
2
28
(1)n n
2
n 0 n 1
(3) El factorial no se lleva bien con el criterio de la raz ensima. Aplicamos el criterio del cociente.
x
x n 1 n !
0 1
n
(n 1)! x
n 1
El criterio nos dice que la serie converge absolutamente para todo x. Abusando de la definicin,
decimos que el radio de convergencia es infinito.
No es difcil probar, va el desarrollo de Taylor que vale la elegante frmula
xn
n 0 n !
ex
(4) La serie est expresada en potencias de ( x 2) .
Aplicamos el criterio de la raz ensima
n
x2
x2
( x 2)n
3 n
n 3
5
n 5
n 5
3
n 1 n
Entonces la serie converge en el intervalo [3, 7] y en todos los valores la convergencia es absoluta.
Si x 3 , la serie es
(5) n
3 n
n 1 n 5
n 1
(1) n
.
n3
29
(1) n
1
3 genera una serie p convergente.
Esta serie converge absolutamente porque
3
n
n
Ejercicio. Hallar el radio de convergencia de la serie
(n !) 2
x n . Decidir si en
n 0 (2n)!
x 2 , la serie
es convergente.
Solucin
Aplicamos el criterio del cociente:
n
(n 1) 2 (n !) 2 (2n)! x x
an 1 [(n 1)!]2 n 1 (2n)!
n
an
[2(n 1)]!
(n !) 2 x n (2n 2)(2n 1)(2n)!(n !) 2 x
2
x x
an
(2n 2)(2n 1) 4n 6n 2
4
Luego
1
x 1 x 4 Por lo tanto, el radio de convergencia es igual a 4.
4
Cintia Buxton, Lisi DAlfonso, Flora Gutierrez, Gabriela Jeronimo, Gustavo Massaccesi, Juan Carlos Pedraza
y Juan Sabia (2015), Series, Tericas de Anlisis Matemtico (28).
rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires
30