Series

Tericas de Anlisis Matemtico (28) Prctica 11 Series
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.
1. Introduccin. Tres paradojas

1.1 Primera. Zenn de Elea
La doctrina pitagrica de que los nmeros constituyen el mundo entero era resistida por otras
corrientes filosficas. Entre ellos se encontraba Zenn de Elea que formul una coleccin de
paradojas para refutar las teoras de los seguidores de Pitgoras.
En una de sus paradojas, Zenn, discpulo de Parmnides, nos demuestra que el movimiento es
imposible y que es slo una percepcin de los sentidos. El razonamiento de Zenn era el siguiente:
Supongamos que queremos ir del punto A al punto B a velocidad constante. Supongamos tambin
que cuando llegamos a la mitad de camino ha transcurrido un minuto.
1
2
min
1 min
8
1
4
rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires
min
min
Para recorrer la mitad del camino restante, necesitaremos
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:
camino restante tardaremos
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.
Tratando de retrucar a Zenn

Hagamos una cuenta con la suma T sacando factor comn a partir del segundo trmino de la suma:
1 1 1 1
1
1 1 1
1
T 1 ( ...) 1 (1 ...) 1 T
2 4 8 16
2
2 4 8
2
T
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
1.2 Segunda. El origen del Ajedrez y un final inesperado

La leyenda sobre el origen del ajedrez est en muchos libros y sitios de Internet. Uno de ellos es
titulado El hombre que Calculaba de Malba Tahan (es un seudnimo). Lo que sigue es un resumen
muy apretado de esta leyenda.
La historia ocurre hace miles de aos en un reino de la India, donde gobernaba el prncipe Iadava,
sabio y generoso.
Debido a una guerra fronteriza en la que resulta victorioso, pierde a su hijo en la batalla final y cae
en una profunda depresin que lo lleva a abandonar las cuestiones de gobierno, poniendo al reino en
grave crisis.
Desde los confines del reino un brahmn de nombre Sessa, acerca al palacio de Iadava un regalo
que no era otro que el juego del ajedrez. Aprendidas las reglas de juego, el prncipe se volvi
rpidamente un excelente jugador.

En una de las partidas que juega con uno de sus cortesanos, descubre que se ha reproducido en el
tablero la batalla final donde perdi a su hijo y que para ganar la partida debe sacrificar a un alfil de
la misma forma que su hijo se sacrific para salvar al reino.
El prncipe agradece a Sessa por el regalo y por hacerle comprender
que para salvar a un reino hay que estar dispuesto a hacer grandes
sacrificios. Le dice a Sessa que pida lo que quiera en recompensa.
El brahmn le da una ltima leccin de humildad. Le pide una
cantidad de granos de trigo que deber determinar colocando un
grano en el primer casillero del tablero de ajedrez, dos granos en el
siguiente, cuatro granos en el siguiente, y as siguiendo, siempre
duplicando la cantidad de granos hasta completar los 64 casilleros del
tablero. Para contarlos los ministros del prncipe tuvieron que
calcular la suma
Empezando a poner granos

en el tablero
G 1 2 22 23 ... 263
El resultado de esta suma es un nmero enorme:

18.446.744.073.709.551.615 granos.
Los contadores del prncipe concluyeron que sembrados todos los campos de la India no
daran en muchos aos la cantidad de trigo requerido por Sessa.
Aqu termina la historia del ajedrez. Pero el matemtico espaol Miguel de Guzmn imagina en
uno de sus libros de texto otro final para esta historia.
Molesto el prncipe por el papeln que Sessa le hiciera pasar delante de sus ministros, le dijo que
para demostrarle lo generoso que era no solo estaba dispuesto a darle la cantidad de granos
requerida sino que le iba a dar mucho ms:
G 1 2 22 23 ... 263 264 ....
Para calcular esta suma infinita seguimos la misma estrategia que usamos en el caso de Zenn:
G 1 2 22 23 ... 263 264 ... 1 2(1 2 22 ... 262 263 ...)

G
Nos queda la ecuacin:

G 1 2G G 1
El prncipe Iadava, triunfante le dice a Sessa:

Me debs un grano!
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.
1.3 Tercera. El descuido de Leibniz

Como ya sabemos Leibniz y Newton son los hroes de nuestro curso por ser los padres del clculo
diferencial e integral. Curiosamente como dijimos al comienzo ambos comenzaron su actividad en
la matemtica resolviendo cuestiones vinculadas a sumas infinitas.
Leibniz calcul con gran habilidad la suma de los inversos de los nmeros triangulares. Es decir
2
2
2
2
1
1
...
... 2(
...)
1 2 2 3 3 4
k (k 1)
1 2 2 3
Para ello observ que cada trmino se puede escribir como
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
Este resultado llen de entusiasmo a Leibniz y lo llev a calcular la siguiente suma

L 1 1 1 1 1 ....
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
Sin embargo, podra haber hecho, entre otras cosas, lo siguiente:

L (1 1) (1 1) (1 1) .... 0

Otra vez estamos ante una paradoja.
Estas tres cuestiones hacen pensar que las sumas infinitas, en principio, no pueden manipularse con
la aritmtica habitual sin que tengamos bien definido qu significan.
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
En tal caso escribimos
S an
n 1
y decimos que S es la suma de la serie. En otro caso diremos que la

serie diverge.
A veces, si la serie
converge, pondremos
an
n 1
Si, en cambio, diverge,

pondremos
an
n 1
La serie telescpica de Leibniz.

Calcular la suma de la serie
n 1 n( n 1)
Solucin
Siguiendo la idea de Leibniz, ahora con la definicin de series a mano, calculamos las sumas
parciales:
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
Entonces lim S n lim (1

n
1
) 1 . Es decir
n 1
n 1 n( n 1)
Observacin: Esta serie la podemos tambin escribir en la forma
1.
n 2 n( n 1)
As la usaremos en un momento ms.

Hallar la suma de una serie no es tarea sencilla. Nos proponemos simplemente determinar si una
serie es convergente o no. Para ello nos tenemos que hacer de una agenda de series de las cules
sepamos si son o no convergentes para que, comparando con ellas, podamos determinar la
convergencia o no de nuevas series. Las series geomtricas y las series p que damos a continuacin
apuntan a este objetivo.
2.1 Series geomtricas

Vamos a estudiar una familia de series que jugarn un papel importante en lo que sigue.
Para cada r , consideramos la serie geomtrica
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

Es decir
(1 r ) S n 1 r n
Si r 1 obtenemos una expresin sinttica de la suma parcial de orden n
Sn
1 rn
1 r
La serie geomtrica es convergente si la suma parcial tiene lmite finito. Se tiene
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
Tenemos entonces que la serie geomtrica converge para 1 r 1 y su suma vale
rn
1 r
n 0
, 1 r 1
Nos falta estudiar los casos r 1 y r 1 .

Caso 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
2.2 La resolucin de las tres paradojas

Las series geomtricas nos dan las respuestas a las tres paradojas planteadas al comienzo
Primera. Zenn y el movimiento
1 1
1
1
La serie T 1 ... n ... es una serie geomtrica de razn r . Para este valor
2 4
2
2
1
obtuvimos que la serie es convergente y su suma es igual a T
2.
1
1
2
Zenn se equivocaba cuando afirmaba que sumar infinitos nmeros es infinito.

Segunda. La leyenda del ajedrez
La cantidad de granos que el prncipe quera entregarle a Sessa es la serie geomtrica de razn
r2
G 1 2 22 23 ... 2n ...
que vimos que es divergente.

El clculo del prncipe era falaz y la ecuacin G 1 2G no tiene sentido porque G no es un
nmero.
Tercera. El descuido de Leibniz
La serie L 1 1 1 1 ... que a Leibniz le dio como suma
1
es la serie geomtrica de razn
2
r 1 que acabamos de ver que es divergente.
Esto explica el error del genio. Le faltaba una buena definicin de suma infinita.
Se pueden hacer los ejercicios del 1 al 5 de la Prctica.
2.3 La serie armnica
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

Veremos, en trminos de p, cundo esta serie converge y cundo diverge. Por ahora , estudiemos el
caso p 1 .
Los trminos de
n 1 n
son todos positivos. Zenn sospechara de ella. Tendra razn en este caso?
Consideremos las sumas parciales de 1 trmino, de 3 trminos, de 7 trminos,de 2n 1 trminos

y agrupemos tales trminos de a uno, despus de a dos, despus de a cuatro y as hasta terminar con
ellos:
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
S 2n 1 1 ... ... ... n

15
2 1
2 3 4 5 6 7 8
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.
2.4 Propiedades de linealidad

Las series heredan de la nocin de lmite las propiedades de linealidad. Esto es:
Si las series
an y
n 1
bn
n 1
son convergentes entonces vale:
n 1
n 1
n 1
(an bn ) an bn
kan k an
n 1
n 1
Ejercicio. Calcular la suma de la serie
2 n 5n
6n
n 1

Solucin
Escribimos el trmino general como suma de dos potencias
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
La segunda serie geomtrica es de razn r
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
2.5 Una condicin necesaria

Si bien vimos que Zenn se equivocaba cuando deca que suma infinita de nmeros positivos debe
dar infinito, el ejemplo de la serie armnica nos hace pensar que algo de razn lo asista. El trmino
general no puede comportarse de cualquier manera. El siguiente teorema arrima un poco de luz a
esta cuestin.
Teorema. Si la serie
an
n 1
es convergente entonces lim an 0

n
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.
Esta formulacin es la que usaremos en la prctica
Ejercicio. Dadas las series
n
y
n 1 100n 1
n
n 1 5
n
, decidir si es convergente la serie

1
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
3. Series de trminos positivos

3.1 Criterios de comparacin
Las series de trminos positivos son ms fciles de estudiar por el siguiente hecho que conocemos
de las sucesiones:
Si an 0 entonces la sucesin de sumas parciales es creciente:
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
cn ser una serie convergente y la serie
ser la serie a estudiar. La serie
n 1
an
n 1
d n ser una serie
n 1
divergente.
3.2 Primer criterio de comparacin

Primer criterio de comparacin
(a) Si an cn entonces
(b) Si an d n entonces
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
Ejemplos. Ms sobre series p. La serie
2
n 1 n
es convergente.
Prueba
n 2 n( n 1)
Recordemos que la serie telescpica
es convergente y que es evidente que
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
Entonces, el criterio de comparacin nos asegura que
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 .
Por ejemplo, la serie
n 1
1
1
es divergente porque p 1 .
2
n
Nos queda por saber qu pasa cuando 1 p 2 . Paciencia.

13
3.3 Criterios de comparacin con paso al lmite

Criterio de comparacin con paso al lmite
(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
En virtud de las propiedades de linealidad la serie

criterio de comparacin tambin lo es
(b) Si
lim
n 1
n 1
kcn k cn es convergente. Entonces por el
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
an kd n . Entonces, por el criterio de comparacin

divergente al igual que
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
Ejercicio. Estudiar la convergencia de las siguientes series:
(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
14

3n
1
se comporta como 2 que deviene en una serie
n n2
n
convergente (serie p con p 2 1) . Comparamos pasando al lmite para confirmar esto:
(1) Un anlisis heursitco nos dice que
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
(2) Aqu, el anlisis intuitivo nos dice que
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
Es un buen momento para hacer el ejercicio 6 de la Prctica.
3.4 Criterio integral de Cauchy

Tenemos pendiente el estudio de las series p con 1 p 2 . Introducimos un criterio de
convergencia que Cauchy ide para resolver justamente esta cuestin, aunque ser til en otros
casos.
Teorema: Sea f :[1, ) una funcin no negativa y decreciente

(por lo tanto integrable en cualquier intervalo de su dominio). Entonces, las
n
sucesiones S n f (k ) e I n f ( x)dx tienen el mismo comportamiento.

1
k 1
Piense, como lo
hizo Cauchy, en
1
f ( x) p
x
Es decir, o ambas convergen o ambas divergen.

Demostracin (idea de)
Nos apoyamos en las dos figuras que lo dicen casi todo:
y f ( x)
y f ( x)
f (1)
2
f (2)
2
f ( n 1)
f (n)
2
1
n 1
f (2) f (3) ... f (n) f ( x)dx

1
n 1
f ( x)dx f (1) f (2) ... f (n 1)
En trminos de S n e I n estas desigualdades se traducen en
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

Teniendo en cuenta que las dos sucesiones son crecientes, para que sean convergentes, basta que
estn acotadas. De estas dos desigualdades se deduce que:
Si I n tiene lmite, entonces est acotada, entonces, mirando la desigualdad izquierda, tambin est
acotada S n , con lo cual resulta convergente.
Recprocamente, si S n tiene lmite, S n 1 resulta acotada, con lo cual, mirando la desigualdad de la
derecha, tambin est acotada I n , concluyendo entonces que es convergente.
3.5 Completando el anlisis de las series p

Veamos cmo acta este criterio integral cuando lo aplicamos a la funcin positiva y
1
decreciente f ( x) p . El criterio nos dice que la serie
x
lim
n 1
p
n 1 n
ser convergente si y slo si existe el
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
. Es decir que, segn el criterio integral, la serie p converge slo si

p
x
p 1 1
p 1
p 1 . En otro caso, es divergente.
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
Ejercicio. Estudiar la convergencia de las series

(1)
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
(2) Nuevamente usamos el criterio integral
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.
Se puede hacer el ejercicio 7 de la prctica.
18
Hacia dnde vamos

Representar funciones como suma de funciones ms
sencillas es un objetivo del clculo.
El Polinomio de Taylor es un paso en ese sentido.
Ahora pretendemos saber para qu valores de x una serie
de potencias
an x n
n 0
representa a una funcin f ( x )
Notar que cuando x toma valores negativos el signo de x n

va alternando de positivo a negativo
4. Series Alternadas. Criterio de Leibniz

Ser de inters para lo que sigue estudiar las series de la forma
a1 a2 a3 ... (1) n 1 an con an 0

n 1
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:
19
S 2 n (a1 a2 ) (a3 a4 ) ... (a2 n 1 a2 n )

Son todos no
negativos
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
S 2 n a1 (a2 a3 ) (a4 a5 ) ... (a2 n 2 a2 n 1 ) a2 n

Son todos
negativos
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
Luego lim S n S y la serie resulta convergente

n
Ejercicio. Decidir sobre la convergencia o no de las series alternadas.

(1)
(1) n 1
1 1 1
1 ...
n
2 3 4
n 1
(2)
(1) n (n 2)
n3
n 1
serie armnica alternada
(1) n n
(3) 2
n 1 n 1
20

Soluciones
(1) Aplicando el Criterio de Leibniz es inmediato, pues
an
1
0 (tiende a cero en forma decreciente)
n
(2) En este caso
(1) n (n 2)
n3
Oscila. En valor
absoluto tiende a 1
no tiende a cero. Luego, por la condicin necesaria, la serie es divergente.

(3) Aplicamos otra vez el crierio de Leibniz a an
Es inmediato que an
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
o bien, la evidente desigualdad

1 n2 n
Otra forma: Probar que la funcin asociada al trmino general g ( x)
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
Con lo cual g es decreciente.

Luego an es decreciente y tiende a cero. El criterio de Leibniz nos asegura que la serie es
convergente.
21
5. Convergencia absoluta y condicional

Damos dos nuevas definiciones y un teorema que las relaciona.
Convergencia absoluta: Diremos que la serie
an
n 1
converge absolutamente si la serie
es convergente.
Convergencia condicional: Diremos que la serie

an
n 1
an
n 1
es convergente pero la serie
(1) n
Por ejemplo la serie 2
n 1 n
an
n 1
an
n 1
converge condicionalmente si la serie
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
converge absolutamente entonces converge.
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
La demostracin se apoya en un hecho elemental
(cuando an es positivo).
0 an an 2 an
Entonces la serie
( an an )
n 1
es de trminos positivos y dominada (acotada) por una serie
convergente. Por el criterio de comparacin resulta que

la serie
( an an )
n 1
es convergente. Pero entonces
an se puede escribir como resta de dos series convergentes:
n 1
n 1
n 1
n 1
an ( an an ) an
y por lo tanto resulta convergente.
22
n 1
Ejercicio. Estudiar la convergencia de la serie
cos n
n2
Solucin
Estudiamos la convergencia absoluta de la serie.
cos n
1
2.
2
n
n
Por comparacin la serie resulta absolutamente convergente.

Por el teorema anterior, es convergente.
Se puede hacer los ejercicios 9 y 10 de la prctica, dejando el 8 para ms adelante.
5.1 Importancia del Teorema

Supongamos tener una serie de potencias (ver hacia dnde vamos) de la forma
an x n , de la cual
n 1
queremos saber para qu valores de x es convergente.

Los criterios establecidos para series de trminos no negativos se podrn aplicar para la serie de
valores absolutos
an x n . De modo que si alguno de ellos nos permite decidir que esta serie
n 1
converge tambin ser convergente la serie original
an x n , gracias al teorema precedente.
n 1
5.2 Dos criterios de convergencia absoluta

Para estudiar un poco las series de potencias, damos dos criterios que aseguran convergencia
absoluta y que ya hemos usado para convergencia de sucesiones.
En lo que sigue queremos estudiar la convergencia de la serie
an
n 1
sin ninguna restriccin sobre el
signo de an .
23
Criterio de la raz ensima (Cauchy)

Criterio de la raz ensima (Cauchy)
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 L 1 el criterio no sirve para decidir.
an
n 1
converge absolutamente
diverge
Demostracin
n
Es casi un caso particular del criterio de comparacin.

1
r
L
a. Si L 1 entonces podemos afirmar que

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
Luego an r n . De modo que an con lo cual la serie es divergente.

c. La serie
2
n 1 n
es convergente mientras que la serie armnica
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.
Criterio del cociente (DAlembert)

Criterio del cociente (DAlembert)
a. Si lim
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.
Ejercicio. Estudiar la convergencia de las series

(1)
2n
n 0 n !
(2)
n
n 1 n
n!
2
(3) 8 1
n
n 1
n
n2
Soluciones
25

(1) El factorial se lleva mal con la raz de modo que usaremos el criterio del cociente.
Para ello, armamos el cociente de DAlembert para an
2n
y luego tomamos lmite. Al resultado
n!
obtenido lo comparamos con 1.

Como an 0 podemos omitir el mdulo
an 1
an
2n 1
2 2n n !
2
(n 1)!
0 1
n
n
2
n !(n 1) 2
n 1
n!
Entonces la serie es convergente.

(2) Otra vez, aplicamos el criterio del cociente, con an
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.
(3) En este caso, el criterio de la raz es el ms cmodo:

n
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.
Ahora es el momento de hacer el ejercicio 8 de la prctica.
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
convergencia es absoluta? Cundo es condicional?

Para atacar este problema seguiremos la siguiente estrategia:
1. Con los dos criterios para convergencia absoluta (el de la raz ensima o el del cociente)
determinamos los valores de x donde hay convergencia absoluta. Los mismos criterios nos
dicen donde la serie diverge.
2. Para los puntos donde los criterios no deciden
( L 1 ) usamos la coleccin de criterios de

convergencia que estuvimos viendo (comparacin, paso al lmite, criterio integral y criterio de
Leibniz)
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
El criterio nos asegura entonces que si
x
xn
n x
n
n
x 1 la serie converge
1
absolutamente y si x 1 la serie diverge. El criterio es intil cuando
Intervalo de
convergencia absoluta
x 1 . Tenemos clasificados todos los nmeros reales en puntos de
convergencia o de divergencia, salvo los casos x 1 y x 1 .
Caso x 1 . Evaluamos la serie de potencias en este punto y obtenemos la serie numrica

(1) n
que ya vimos que es convergente (usando el Criterio de Leibniz)
n 1 n
alternada
Caso x 1 . En este caso la serie numrica resultante es la serie armnica
n 1 n
que vimos (Criterio
integral, por ejemplo) que es divergente.

27

En consecuencia, estamos en condiciones de dar una respuesta al problema:
En 1 x 1 la serie converge, en cualquier otro punto es divergente. En x 1 la convergencia es
condicional, en 1 x 1 , la convergencia es absoluta.
(2) Otra vez, el criterio de la raz ensima parece adecuado:
n
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
Nos queda por analizar los bordes del intervalo de convergencia:

1
1
x , x .
2
2
Caso x
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
El trmino general se parece a
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
Esta serie la estudiamos en oportunidad de ilustrar el Criterio de Leibniz. En

n
ese momento probamos que 2
0 (tiende a cero en forma decreciente).
n 1
Entonces hay convergencia condicional en este punto. En sntesis la serie es
1
1
convergente solo en x
2
2
(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
Entonces hay convergencia absoluta si x 2 5 (5 es el radio de convergencia)

Para x 2 5 el criterio nos asegura que la serie diverge.
Veamos qu pasa cuando x 2 5 . Es decir x 3 o x 7 .
Si x 7 la serie es
que acabamos de decir que es convergente.
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
Simplificamos los trminos del mismo color:

(n 1) 2 x
an 1
n 2 2n 1
1
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
Como 2 4 , en x 2 la serie es convergente.
Se pueden hacer los ejercicios 11 a 13 de la prctica.
Cintia Buxton, Lisi DAlfonso, Flora Gutierrez, Gabriela Jeronimo, Gustavo Massaccesi, Juan Carlos Pedraza
y Juan Sabia (2015), Series, Tericas de Anlisis Matemtico (28).
30

Series

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Series

Uploaded by

Copyright:

Available Formats

Tericas de Anlisis Matemtico (28) Prctica 11 Series

1. Introduccin. Tres paradojas

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires

Tericas de Anlisis Matemtico (28) Prctica 11 Series

Para recorrer la mitad del camino restante, necesitaremos

camino restante tardaremos

Tratando de retrucar a Zenn

1.2 Segunda. El origen del Ajedrez y un final inesperado

Tericas de Anlisis Matemtico (28) Prctica 11 Series

Empezando a poner granos

El resultado de esta suma es un nmero enorme:

G 1 2 22 23 ... 263 264 ... 1 2(1 2 22 ... 262 263 ...)

Nos queda la ecuacin:

El prncipe Iadava, triunfante le dice a Sessa:

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires

Tericas de Anlisis Matemtico (28) Prctica 11 Series

1.3 Tercera. El descuido de Leibniz

Para ello observ que cada trmino se puede escribir como

Este resultado llen de entusiasmo a Leibniz y lo llev a calcular la siguiente suma

Sin embargo, podra haber hecho, entre otras cosas, lo siguiente:

Tericas de Anlisis Matemtico (28) Prctica 11 Series

En tal caso escribimos

y decimos que S es la suma de la serie. En otro caso diremos que la

Si, en cambio, diverge,

La serie telescpica de Leibniz.

Tericas de Anlisis Matemtico (28) Prctica 11 Series

Entonces lim S n lim (1

Observacin: Esta serie la podemos tambin escribir en la forma

As la usaremos en un momento ms.

2.1 Series geomtricas

Tericas de Anlisis Matemtico (28) Prctica 11 Series

Si r 1 obtenemos una expresin sinttica de la suma parcial de orden n

La serie geomtrica es convergente si la suma parcial tiene lmite finito. Se tiene

Tenemos entonces que la serie geomtrica converge para 1 r 1 y su suma vale

Nos falta estudiar los casos r 1 y r 1 .

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires

Tericas de Anlisis Matemtico (28) Prctica 11 Series

2.2 La resolucin de las tres paradojas

Zenn se equivocaba cuando afirmaba que sumar infinitos nmeros es infinito.

que vimos que es divergente.

r 1 que acabamos de ver que es divergente.

Se pueden hacer los ejercicios del 1 al 5 de la Prctica.

2.3 La serie armnica

Tericas de Anlisis Matemtico (28) Prctica 11 Series

Consideremos las sumas parciales de 1 trmino, de 3 trminos, de 7 trminos,de 2n 1 trminos

S 2n 1 1 ... ... ... n

2.4 Propiedades de linealidad

son convergentes entonces vale:

Ejercicio. Calcular la suma de la serie

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires

Tericas de Anlisis Matemtico (28) Prctica 11 Series

La segunda serie geomtrica es de razn r

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires

Tericas de Anlisis Matemtico (28) Prctica 11 Series

2.5 Una condicin necesaria

es convergente entonces lim an 0

Esta formulacin es la que usaremos en la prctica

Ejercicio. Dadas las series

, decidir si es convergente la serie

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires

Tericas de Anlisis Matemtico (28) Prctica 11 Series

3. Series de trminos positivos

cn ser una serie convergente y la serie

ser la serie a estudiar. La serie