antonio.vera@acm.org
29 de noviembre de 2007
Las series son sumas infinitas. Esta gua pretende trabajar las habilidades
en series. Las series sirven para aproximar, para resolver ecuaciones, para re-
presentar colecciones de n umeros, etc. De manera general, los cursos de Calculo
pretenden que seas capaz de mayorar, minorar y aproximar. Las series tienen
un rol importante en la triloga.
El estilo de la gua es trabajar con ejercicios. La idea es hacer un esfuerzo
genuino por resolver el ejercicio antes de leer las lneas que lo siguen. En caso
de bloqueo, leer un par de lneas puede ser u til para desbloquearse y seguir
intentando por s mismo.
Se deja claro que el estilo de redaccion no es necesariamente el que corres-
ponde a un examen universitario.
1. Series de t
erminos positivos
Ejercicio 1 (Gua MA12A). Estudiar la convergencia de:
X 4 X 1 Xn1 X 1
, , , .
n n n n3 n2 +1
n
Lo que hay en comu
Despues de observar estas cuatro series, salta a la vista que sus terminos se
parecen. M as precisamente, vemos que las series en cuestion poseen una forma
que no dista mucho de
X 1
con R .
n
Recordemos que las series de esta forma son convergentes si > 1 y divergentes
a + si 11 . A la serie con = 1 se le suele llamar serie armonica. En lo
que sigue, las series citadas seran llamadas series -armonicas.
n
Explotando la observacio
1 Para demostrarlo: acotar las sumas parciales superior e inferiormente por las integrales
correspondientes. C
omo conclumos?
1
En lo que sigue, explotamos la observacion anterior para dar solucion a los
problemas vistos.
P 4
Si la serie
n
fuera convergente, entonces podramos multiplicarla por
1/4 para obtener una nueva serie convergente. Pero la nueva serie no podra ser
convergente, ya que sera la serie 1/2-armonica, que diverge a +. Se concluye
entonces que la primera
P 1 serie diverge a a +.
En el caso de , al desarrollar las potencias del denominador, se en-
n n
cuentra exactamente unaPserie 3/2-armonica, que como vimos es convergente.
n1
Al observar la serie n3 , uno puede sentirse tentado por desarrollar los
terminos y separar las series. Y cual es el problema con intentar? Lo peor que
puede pasar es que no podamos concluir. Pero en este caso no hay problema, ya
que
Xn1 X n 1
= 3
n3 n3 n
X 1
1
= 3
n2 n
y como las series 2-arm onica y 3-armonica son convergentes, la serie en cuestion
es convergente. Pero que hubiera pasado si al separar la serie original hubiera-
mos obtenido series divergentes? Lo veremos al terminar el ejercicio: hay que
focalizarse. P 1
La ultima serie,
n2 +1
se parece mucho a la serie 2-armonica, pero no
es la misma. Para salir del paso, siempre es bueno chequear si una mayoracion
ha lugar. Este es el caso, pues n21+1 < n12 para n 1. Luego, por el criterio de
comparaci on, se concluye que la serie en cuestion es convergente.
aprendimos?
Que
2
numerador y el denominador. Si la diferencia de grado entre denominador y
numerador es estrictamente mayor que 1, entonces la serie converge. En caso
contrario esta diverge. Para demostrarlo, basta factorizar numerador y denomi-
nador por la m as alta potencia, y aplicar lo que sabes sobre las series armonicas
(hacerlo).
En el u ltimo ejemplo, aprendemos que una desigualdad permite simplificar
un denominador. Esto puede ser u til en caso de que se necesite distribuir
P 1es-
te u
ltimo, como por ejemplo en el calculo de una cota superior para 3n +1
(hacerlo).
Ejercicio 2 (Knopp, Theory and Applications of Infinite Series). Suponiendo
que pn cuando n , Como se comportan las series
X 1 X 1 X 1
, , ?
pnn pln
n
n pln
n
ln n
No dejarse intimidar
El enunciado puede parecer abstracto, pero mientras mas abstractas las cosas,
mas simples, pues justamente ese es el objetivo de la abstraccion: eliminar los
detalles (Incluso se han eliminado los ndices, porque lo importante es saber si
la serie converge, y no calcularla). Una buena estrategia en estos casos es pensar
Que puedo hacer?
Examinemos el primer caso. Como pn , existe n0 N tal que n n0
implica pn > 2. Luego, para n n0 ,
1 1
< n.
pnn 2
pln
n
n
= (eln pn )ln n = (eln n )ln pn = nln pn . (1)
3
No hay que cerrarse
Bueno, y llegamos a la tercera serie. Se parece un poco a la segunda, pero esta
tiene un doble logaritmo. Aplicando el truco de (1), obtenemos:
1 1
= .
pln
n
ln n (ln n) ln pn
En este caso no parece tan claro que haya un u nico comportamiento. Claramen-
te, si pn = n la serie es convergente. Pero, Que pasa si pn = ln n? Que podemos
decir de la serie X 1
?
(ln n)ln ln n
Cuando aparecen todos estos logaritmos, nuestra intuicion nos dice que hay
que pasar al modo contnuo, o sea, a la integral. Esto porque los logaritmos,
y m as generalmente las funciones derivables, son muy maniables en cuanto a
Calculo Diferencial se trata, mucho mas que cuando calculamos discretamente,
o sea, con sumatorias (basta observar el caso de la serie armonica por ejemplo).
Aplicaremos entonces el test de la integral. El termino general de nuestra
serie es claramente decreciente, y vamos a suponer que se comienza en n = 2. 2
La naturaleza de la serie es la misma que la de la integral
Z Z
dx dx
ln ln x
= (ln ln x)2
,
2 (ln x) 2 e
(ln y) 2 = ey(ln y) dy ,
ln 2 e ln 2
y entonces, dado que a partir de un cierto y0 > ln 2 se tiene y (ln y)2 > 1, 3 el
integrando sera mayor que e para y > y0 . Se concluye entonces que la integral en
cuesti
on es divergente, por comparacion con la integral de un termino constante
positivo. Se concluye entonces que la serie en cuestion es divergente.
Y bueno, la gran conclusion es que
1 1
< 2
nln pn n
puede ser convergente o divergente seg
un como pn tienda a infinito.
Actitud
Una actitud que hay que conservar es el no cerrarse. En este ejercicio, las dos
primeras series resultaron ser convergentes. Si hubieramos intentado demostrar
directamente que la tercera serie era convergente o divergente, no hubieramos
2 Recuerda que para cuestiones de convergencia, no importa el valor inicial de n.
3 Esto porque el logaritmo de y y sus potencias crecen m
as lento que cualquier potencia de
y.
4
podido concluir con la informacion que tenamos, y hubieramos quizas pasado
mucho tiempo sacandonos el pelo. Si nos quedamos pegados mucho tiempo, hay
que empezar a tratar casos particulares simples, y a veces se pueden encontrar
sorpresas, como en esta ocasion.
Ejercicio 3 (Knopp, Theory and Applications
P of Infinite Series). Supongamos
quela serie de terminos positivos an es convergente. Probar que entonces
P an P an
n tambien es convergente y que mas generalmente, la serie n1+
es
convergente para todo > 0.
Una desigualdad amiga
Seguramente en tu curso de Algebra ya has odo hablar de ella. Es una desigual-
dad bastante conocida, y que tiene muchas aplicaciones. Que desigualdades
famosas recuerdas de tu curso de Algebra? Piensalo un poco.
La desigualdad de la que hablo es la desigualdad de Cauchy. Ella nos dice
que dados los reales {un }n y {vn }n1 , se tiene lo siguiente:
m
m
!1/2 m !1/2
X X X
2 2
un vn un vn m 1,
n=1 n=1 n=1
con igualdad si y solamente si existe R tal que un = vn para todo n J1, nK.
Con esta desigualdad ya puedes entrar a la cancha... juega.
Veamos. Usando la desigualdad de Cauchy, con un = n1 y vn = an , se
obtiene !1/2 m !1/2
m m
X 1 X 1 X
an an m 1 .
n=1
n n=1
n2 n=1
P 1 P
Como las series n2 y an son convergentes, ambos factores del lado derecho
P a n
de la desigualdad est an acotados. Luego, la serie n esta necesariamente
P an
acotada. Esto u ltimo junto a la positividad permiten concluir que n es
P an
convergente. El caso de , con > 0 se resuelve exactamente de la misma
P n11+
manera, sabiendo que n1+
es convergente para > 0.
n
Conclusio
A pesar de que solamente hemos visto un solo ejercicio que usa la desigualdad de
Cauchy, es importante saber que es una de las desigualdades mas importantes de
las matem aticas. Y es importante tambien saber demostrarla. Podras probar la
desigualdad de Cauchy? Una elegante demostracion, y varios ejercicios (algunos
bastante difciles), se dan en The Cauchy-Schwarz Master Class de Michael J.
Steele, en el captulo 1, que puedes bajar de
5
2. Series alternantes
Ejercicio 4 (Criterio de Leibnitz, Gua MA12A). Dada la serie
X n+3
(1)n+1 ,
n=1
n3 + 2n
El criterio de Leibnitz
La serie que se nos propone es una serie alternante, esto es, una serie cuyos
terminos alternan sus signos segun la paridad del ndice. Ademas, el valor ab-
soluto de los terminos decrece con el ndice y, mas a
un, tiende a cero. En estos
casos, es el criterio de Leibnitz el que dice que la serie es convergente. Asumo
que ya conoces este criterio y que entiendes por que funciona.
sn+1 = sn an+1 sn .
Adem
as,
sn+2 = sn (an+1 an+2 ) sn ,
lo que nos permite concluir que sn+1 sn+2 sn cuando n es impar. Cuando n
es par, por un razonamiento analogo obtenemos sn sn+2 sn+1 . Esto significa
que entre sn y sn+1 se encuentra el valor de la serie. Luego, el estimar una cota
para la serie consiste simplemente en evaluar dos sumas parciales consecutivas.
Si evaluamos las sumas para n = 1 y n = 2, obtenemos
11 X n+3 4
(1)n+1 3 .
12 n=1 n + 2n 3
n
Precisio
6
El error absoluto corresponde a la diferencia entre la aproximacion dada y el
valor real de la serie. O sea, corresponde a lo que llamamos la cola de la serie:
X
(1)k+1 ak .
k=n+1
(n + 1) + 3 2(n + 1) 2
3
2
= < 103 .
(n + 1) + 2(n + 1) (n + 1)((n + 1) + 2) ((n + 1)2 + 2)
Resolviendo para n, encontramos que n d 1998e 1 = 44 nos sirve. Luego,
con 44 terminos basta para tener un error absoluto menor que 103 , o sea, una
precisi
on de al menos tres cifras decimales.
aprendimos?
Que
El peor error del ser humano es no aprender de sus experiencias y sobre todo
de sus errores. No caeremos en aquello.
Primero, vimos lo simple que es aplicar el criterio de Leibnitz. Las hipotesis
son por lo general f aciles de verificar. Aqu no demostramos explcitamente que
el termino general era decreciente, sino que lo dimos por hecho, por la diferencia
de grado de los polinomios. Pero, que pasa si modificamos la serie agregando
al principio los terminos 1, 3 y 2? Se vera afectada la convergencia? Y las
cotas? Te dejo responder.
En segundo lugar, vimos como acotar una serie alternante. Esto nos per-
miti o acotar la cola de la serie alternante, ya que la cola es tambien una serie
alternante. As pudimos controlar el error absoluto, calculando un n umero de
terminos suficiente para obtener la precision pedida.
Las series alternantes pueden ser muy u tiles para calcular en un computador,
por ejemplo, durante un juego con mucho contenido grafico. En tal caso, usaras
mucho las funciones trigonometricas. Hay alguna funcion trigonometrica que
se desarrolle en serie alternante? Te dejo responder.
rmino general
Mayorando el te
7
Comenzaremos demostrando la convergencia de la serie para todo x R. La
idea es mayorar el termino general por una cantidad independiente de x. Para
comenzar, supongamos que x > 0. Como podemos mayorar el termino general
por una expresi
on independiente de x cuya suma infinita converja? Te dejo
pensar.
Veamos si proponemos lo mismo. El termino general verifica
x 1
= n1
n(1 + nx2 ) n( x1 + nx)
por lo que una buena idea para mayorar es minimizar ( x1 + nx) para x en
(0, +). Calculando las derivadas:
0 00
1 1 1 2
+ nx = +n y + nx = 3
x x2 x x
Convergencia uniforme
rmino a te
Integrando te rmino gracias a la uniformidad
8
La
R 1 uniformidad de la convergencia a f nos permite darnos el gusto de calcular
0
f (x)dx integrando la serie termino a termino. Se tiene lo siguiente (Aqu usa-
mos el cambio u = 1 + nx2 ):
Z 1 Z 1X
x
f (x)dx = 2
dx
0 0 n=1 n(1 + nx )
Z 1
X x
= dx
n=1 0 n(1 + nx2 )
Z 1+n
X du
= 2u
n=1 1
2n
X ln(1 + n)
= . (3)
n=1
2n2
Esta u
ltima serie tiene un termino general monotonamente decreciente. En efec-
to, 0
ln(1 + y) 1 2 ln(1 + y)
2
= 2
y (1 + y)y y3
y en el caso que nos interesa, y 1,
y
< 1 < 2 ln 2 2 ln(1 + y)
1+y
lo que implica que la derivada calculada es negativa. Luego, el termino general
de (3) es decreciente.
La estocada final
Para matar el problema, vamos a estimar la serie (3) usando la integral asociada.
La estimaci
on cl
asica de una serie por la integral asociada nos dice que:
Z Z
ln(1 + x) X ln(1 + n) ln(2) ln(1 + x)
2
dx 2
+ dx .
1 2x n=1
2n 2 1 2x2
Calculemos la integral :
Z Z
ln(1 + x) ln(1 + x) dx
dx = +
1 2x2 2x 1 2x(1 + x)
Z 1
ln(2) 1 1 1
= + dx
2 2 1 x 1+x
ln(2) 1 x
= + ln
2 2 x + 1 1
= ln 2
Y entonces, finalmente
Z 1
3
ln 2 f (x)dx ln 2 .
0 2
9
n y lo que aprendimos
Conclusio
Uf!, tom
o tiempo pero terminamos. En primer lugar, hay que destacar el uso
que le dimos al C
alculo Diferencial que ya conocemos. Al principio lo usamos
para mayorar el termino general de la serie. Seguramente cuando trataste de
encontrar una cota por t mismo, la idea no te vino de inmediato, y muy pro-
bablemente trataste de acotar minorando el denominador, o sea, haciendo esto:
x x
2
.
n(1 + nx ) n
Reescribiendo
Rigurosamente hablando, antes de manipular una serie hay que estar consciente
de si esta converge o no, y de cuando converge, si es que se trata de una serie
de potencias. En la realidad, uno puede perfectamente ponerse a manipular la
serie, y si esta manipulacion sirve para que a uno se le ocurra algo, entonces
ah uno demuestra la validez. En este caso no es tan complicado calcular
Pel radio
de convergencia, as que vamos a hacerlo rapidamente. Si escribimos n=0 an xn
la serie que nos interesa, entonces
0 Si n es impar
an = n/2
(1) Si n es par
10
Y entonces estamos de acuerdo en que el radio de convergencia verifica
1
= p = 1,
lm sup n
|an |
P
por lo que el intervalo de convergencia de n=0 (1)n x2n es (1, 1).
Ahora podemos manipular la serie con comodidad, suponiendo x (1, 1).
En este caso, nuestra serie nos recuerda la suma de una progresion geometrica,
en efecto
X m
X
n 2n
(1) x = lm (x2 )n
m
n=0 n=0
1 (x2 )m+1
= lm
m 1 (x2 )
1
= ,
1 + x2
on. Notar que |x| < 1 nos fue u
lo que nos da la soluci til al calcular el lmite.
Consecuencias de la uniformidad
Como te fue? Bueno, veamos. Aqu hay que recordar que la serie (5) converge
uniformemente en todo subintervalo cerrado contenido en su intervalo de con-
vergencia, y que por lo tanto podemos calcular su integral integrando termino
a termino. Queda claro que si integramos (5) entre 0 y x (1, 1) obtenemos
inmediatamente (4) ya que4
Z x Z x
dt n 2n (1)n 2n+1
2
= arctan(x) y (1) t dt = x .
0 1+t 0 2n + 1
Recordamos que el radio de convergencia no se altera al integrar o derivar una
serie de potencias.
Estimando
Probablemente ya habr as observado que la serie (4) es una serie alternante
que converge. En el ejercicio 4 ya vimos como acotar el error con que una suma
parcial aproxima la serie. Usando (5), Como hacemos aparecer en este asunto?
4 Esto se asume conocido.
11
Bueno, hacer aparecer tal cual parece difcil, dado que su tangente vale 0. Pero
si nos conformamos con una fraccion entera de , las cosas comienzan a mejorar.
Obviamente /2 est a descartado porque su tangente no existe (o es +, como
quieras), y /3 porque su tangente es > 1. Pero /6 y /4 son candidatos. El
primero tiene la ventaja de tener una tangente de valor absoluto < 1. En el caso
de /4 la tangente vale 1, y la convergencia ha lugar gracias a la alternancia.
Veamos las formulas que se obtienen :
1 1 1 X (1)n
= 1 + + =
4 3 5 7 n=0
2n + 1
2n+1
(1)n
1 1 1 X 1
= 1 + = (6)
6 3 3 3 5 32 n=0
2n + 1 3
Queda de manifiesto cu ales son las virtudes de /4. La serie no involucra irra-
cionales, lo que ya es mejor que en el caso de 6 . Pero no todo es tan bonito,
porque la convergencia es muy lenta. Supongamos que queremos una aproxima-
ci
on con m decimales. Como en el ejercicio 4, calculemos el numero de terminos
necesarios para tener un error menor que 10m . Tenemos
1 10m 1
< 10m = n> ,
2n + 1 2
lo que nos dice que la cantidad de terminos es exponencial en la cantidad m
de decimales deseados. En el caso de 6 necesitamos una cantidad lineal (por
que?). La conclusi
on es que tenemos un par de formulas que sirven de algo, pero
no son una maravilla. Para mas detalles y extensiones, puedes leer Theory and
Applications of Infinite Series de Konrad Knopp.
Lo que aprendimos
12
Inmediatamente observamos que la arcotangente se eval ua en valores estricta-
mente menores que 1, lo que ya nos da buenos augurios en cuanto a la cantidad
de terminos necesarios para tener m dgitos de precision. Seg
un escritos de la
epoca (Jones), Machin habra calculado 100 decimales de con esta formula5 . En
Internet puedes divertirte buscando mas formulas de este tipo, y demostrando-
las.
Finalmente, recalquemos la importancia de medir el costo de un calculo.
Aqu pudimos encontrar una relacion explcita entre la precision deseada y el
numero de terminos que necesitamos sumar para alcanzar esta precision. Esto
es una medida de la complejidad del calculo, o sea, del numero de operaciones
necesarias para llegar a nuestro objetivo. Esto es un aspecto muy importante a
considerar antes de escribir un programa computacional.
FIN
Manda tus crticas a antonio.vera@acm.org, o a chichimeco en FMAT.
Gracias.
13