Académique Documents
Professionnel Documents
Culture Documents
7.1 Introduccin. En este captulo le daremos sentido al concepto de suma infinita de nmeros serie numrica, es decir, diremos que significa sumar una infinidad de nmeros
a
n =1
= a1 + a2 + a3 + a4 +
...
El concepto de serie es muy utilizado para representar ciertas funciones o cantidades numricas que, de otra manera, resultara difcil estudiar. Se hace la aclaracin de que el tema de series es sumamente extenso y que su inclusin en este curso es meramente introductorio, pretendindose destacar las principales propiedades que permitan su utilizacin en otros contextos como el anlisis numrico y las ecuaciones diferenciales.
7.2 Motivacin. Antes de dar la definicin formal de lo que es una serie, trataremos de llegar a ella de una manera intuitiva. Es conveniente notar que no siempre ser posible sumar una infinidad de nmeros pues, aunque no dispongamos aun de una definicin precisa, podemos afirmar que, por ejemplo, la siguiente suma: 1 + 2 + 3 + 4 + 5 + ... no corresponde a un nmero real pues a medida que agregamos sumandos, la suma crece y lo hace ms all de cualquier lmite. Si queremos obtener la siguiente suma: 1 - 1 + 1 - 1 + 1 - 1 + 1 - 1 + ... probablemente estemos tentados, por nuestra experiencia con sumas finitas, a decir que esta suma vale cero, pues si los sumamos de dos en dos, estaremos obteniendo una suma infinita de ceros, que claramente debera valer cero, es decir:
165
(1 - 1) + (1 - 1) + (1 - 1) + (1 - 1) + ... = 0 + 0 + 0 + 0 + ... = 0 Obsrvese que estamos utilizando la propiedad asociativa de la suma. Si agrupamos de la siguiente manera 1 - (1 - 1) - (1 - 1) - (1 - 1) - ... = 1 - 0 - 0 - 0 - 0 - ... =1 obtenemos un resultado contradictorio. Es razonable pedir que, si los trminos de una serie se pueden sumar, el valor de la suma sea nico y, en este caso, tendramos dos posibles valores para la suma, lo cual nos lleva a concluir que esta serie no es posible sumarla. Otra conclusin inmediata es que, para sumas infinitas, no es vlida la propiedad asociativa. 7.3 Expansiones decimales como sumas Una situacin cotidiana en la que encontramos el concepto de serie, aunque sea de manera oculta, se da al representar a los nmeros reales en notacin decimal. Cuando expresamos un nmero real en notacin decimal, cada dgito tiene un valor segn la posicin que ocupa, por ejemplo S = 2.769 significa 2 enteros ms 7 dcimas ms 6 centsimas ms 9 milsimas, es decir,
S = 2+ 7 6 9 + + 10 100 1000
es decir a este nmero lo podemos expresar como una suma finita de nmeros reales. Sin embargo cuando representamos de esta manera a
1 , por el algoritmo de la divisin 3 sabemos que tiene una representacin decimal infinita peridica 1 = 0.3333 ... 3
1 3 3 3 = + 2 + 3 + 3 10 10 10
...
As pues, este nmero se expresa como una suma infinita de nmeros reales.
166
A diferencia del ejemplo de la suma de todos los naturales, en este caso al agregar sumandos, evidentemente la suma crece, slo que al parecer, la suma no excede de 0.4, es decir estos valores son 0.3, 0.33, 0.333, 0.3333, etc las cuales son aproximaciones cada vez mejores a 1/3. Expresando estas expansiones decimales finitas como sumas, podemos decir que las siguientes sumas finitas son aproximaciones cada vez mejores de 1/3.
S1 =
3 10
S1 = 0.3
S2 =
3 3 + 2 10 10
S1 = 0.33
S2 =
3 3 3 + 2+ 2 10 10 10
S1 = 0.33
Sn =
3 3 3 + 2 + ... + n 10 10 10
1/3
1/3
En vista de lo anterior parece razonable esperar que las sumas finitas tengan a 1/3 como lmite, es decir
lim S n = 1 3
lo cual podemos verificarlo utilizando la conocida frmula para la suma de una progresin geomtrica
1 + r + r 2 + ... + r n 1 = 1 rn 1 r si r 1
En nuestro caso
167
Sn =
3 3 3 3 3 1 1 1 + 2 + 3 + ... + n = 1 + + 2 + ... n1 10 10 10 10 10 10 10 10
Sn =
3 1 (1 / 10) n 10 1 1 / 10
3 1 (1 / 10) n = 10 9 / 10
Como lim
1 =0 n 10 n
lim S n = lim 3 1 (1 / 10) n n 10 9 / 10 3 1 3 1 = 10 9 / 10 = 9 = 3
Esta situacin refleja muy precisamente el significado de las sumas infinitas y que escribimos en la siguiente definicin:
7.4 Definicin y Ejemplos. Definicin: Sea {a n }=1 una sucesin de nmeros reales., la expresin n a1 + a 2 + a3 + ... se llama SERIE NUMRICA. A partir de la sucesin {a n }=1 formamos una nueva sucesin {S n }=1 de sumas parciales n n
S1 = a1 S 2 = a1 + a2
S 3 = a1 + a 2 + a3
S n = a1 + a 2 + a3 + ... + a n
168
existe. De lo contrario diremos que la serie es DIVERGENTE (sus trminos no se pueden sumar).
a
k =1 k
a
k =1
a
k =1
= lim
a
k =1
lo cual expresa a una serie como el lmite de las sumas finitas (sumas parciales)
10
n =1
3
n
es convergente.
Solucin. En la seccin anterior probamos justamente que el lmite de las sumas parciales vale 1/3.
3 3 Sn = = k 10 10 k =1
3 1 (1 / 10) n 1 = 10 9 / 10 10 k =1
n 1
3 1 3 1 = 10 9 / 10 = 9 = 3
(1)
n =1
n +1
es convergente.
169
(1)
n =1
n +1
= 1 1 + 1 1 + 1 1 + ...
r
n =0
= 1 + r + r 2 + r 3 ...
Para conocer los valores de r para los cuales esta serie converge, seguimos el mismo procedimiento que en el caso particular de la serie geomtrica que representa a 1/3.
S n = 1 + r + r 2 + ... + r n 1 =
1 rn 1 r
para r 1
Para r < 1
170
1 rn 1 = n 1 r 1 r
As pues la serie geomtrica es convergente solamente cuando el valor absoluto de la razn es estrictamente menor que uno, y
r
n= 0
1 1 r
si
r <1
A continuacin enunciaremos dos propiedades de las series convergentes, las cuales son fciles de probar pues ambas son vlidas para las sumas parciales.
Propiedades: 1. Si
a
n =1
b
n =1
(a
n =1
+ bn ) es
convergente y
(a
n =1
+ bn ) =
a + b
n n =1 n =1
2. Si
a
n =1
ka
n =1
es
convergente y se cumple
ka
n =1
=k
a
n =1
7
n=2
2
n
Solucin: Aunque formalmente no es una serie geomtrica, utilizando la propiedad 2, podemos transformarla en una serie geomtrica de razn 1/7.
171
n=2
2 1 1 1 =2 = 2 2 + 3 + ... n n 7 7 7 7 n=2
donde la serie del parntesis es la serie completa menos los dos primeros trminos:
1 1 + 3 + ... = 2 7 7
7 1 7
1 1
n= 0
por lo tanto
7
n=2
2
n
1 7 1 1 = 2 1 = 2 = 7 42 21 6
7
n=2
2
n
2 1 1 1 2 2 2 2 7 2 + 3 + 4 + ... = 2 1 + + 2 + ... = 2 = = 2 7 7 7 7 7 7 7 6 42 21
Observacin: Para que una sucesin infinita de nmeros tengan la posibilidad de ser sumados y obtener una cantidad finita, es necesario que, conforme n crece, los trminos sean cada vez ms prximos a cero, como se observ en los ejemplos de series convergentes, es decir,
a
n =1
convergente
lim an = 0
Lo cual se cumple siempre para series convergentes, pues sus sumas parciales convergen a la serie lim S n =
a
n =1
172
a a
n n =1 n =1
=0.
7.6 La Serie Armnica. Reiteramos que lim an = 0 es una condicin necesaria para que la serie sea convergente,
n
pero, desafortunadamente, la condicin no es suficiente, como lo veremos en la siguiente serie, llamada serie armnica, en la cual se cumple que el trmino n-simo tiende a cero pero la serie es divergente, es decir
lim an = 0
a
n =1
convergente
n = 1 + 2 + 3 + 4 + 5 + ... es divergente.
1 1 1 1 1
n =1
Solucin. Para probar que esta serie es divergente, veremos que las sumas parciales toman valores cada vez ms grandes tendiendo al infinito. En particular veremos que las sumas parciales S 2k tienden a infinito cuando k tambin tiende a infinito.
S1 = 1
S2 = 1 + S 4 = S 22 = 1 + 1 2
1 1 1 1 1 2 1 1 1 + + > 1+ + + = 1+ + = 1+ 2 3 4 2 4 4 2 2 2
pues
1 1 > 3 4
1 1 = 4 4
173
S 8 = S 23 = S 4 +
1 1 1 1 2 1 1 1 1 2 1 3 + + + > 1+ + + + + = 1+ + = 1+ 5 6 7 8 2 8 8 8 8 2 2 2
y, por lo tanto, las sumas parciales crecen sin lmite, y esto prueba que la serie armnica es divergente.
7.7 Series de Trminos no-negativos: El Criterio de Comparacin. Las series para las cuales es ms fcil analizar su convergencia o divergencia son las series de trminos positivos, pues evidentemente sus sumas parciales constituyen una sucesin creciente y slo bastar comprobar que estn acotadas o no para determinar su naturaleza. Ejemplo 5. Determine si la siguiente serie es convergente o divergente.
n
n =1
1
n
Solucin. Primeramente notamos que los trminos de esta serie son menores o iguales que los de la serie geomtrica
2
n =1
1
n
1 1 1 1 lo cual implica que n n , en consecuencia n 2 n 2 las sumas parciales de nuestra serie, Sn no excedern a las sumas parciales Tn de la serie geomtrica, es decir,
Es decir para n 2 se cumple que S n Tn y como lim Tn =
n
2
n =1
1
n
174
S n Tn
2
n =1
1
n
n =1
1 es convergente. nn
Observacin. Como la comparacin entre las sumas parciales se dio a partir de n = 2 en realidad hemos probado que la serie que converge es:
n=2
1 nn
lo cual claramente implica que la serie completa tambin converge pues slo falta agregarle un trmino, es decir
n =1
1 = 1+ nn
n=2
1 nn
El procedimiento seguido en este ejercicio es el llamado Criterio de Comparacin, el cual enunciamos a continuacin:
n =1
b
n =1
b
n =1
es convergente.
n
n =1
1
2
es convergente.
n
n =1
1
3
es convergente.
175
Al utilizar el criterio de comparacin debemos tener a la mano la serie con la cual la queremos comparar, en este caso la compararemos con la serie convergente
n
n =1
1
2
Como n n
3
1 1 2 y por lo tanto 3 n n
n
n =1
1
3
es
convergente. Observaciones: 1. Al utilizar el criterio de comparacin hemos probado que una cierta serie es convergente pero no determinamos su valor. 2. El caso particular del ejemplo anterior se generaliza para cualquier potencia mayor que uno, es decir
n
n =1
1
p
El criterio de comparacin tambin puede utilizarse para determinar divergencia de series de trminos positivos como se muestra en el siguiente ejemplo.
n =1
1 n
Solucin. Primeramente notamos que los trminos de esta serie son mayores o iguales que los de la serie armnica
n
1
n =1
1 1 lo cual implica que las sumas n n parciales de nuestra serie, Sn son mayores o iguales que las sumas parciales Tn de la serie armnica, es decir, pues como n n para todo n natural, entonces S n Tn
176
y como las sumas parciales Tn crecen sin lmite por ser divergente la serie armnica, la sucesin Sn tambin crecer sin lmite y por lo tanto la serie
n =1
1 es divergente. n
n
n =1
1
p
es divergente para p 1
a
n =1
b
n =1
b
n =1
es divergente.
A continuacin enunciaremos sin demostracin dos importantes criterios de convergencia, los cuales estn basados en el criterio de comparacin. Criterio del Cociente. Si la serie 1. lim 2. lim
a
n =1
satisface:
an+1 < 1 , entonces la serie es convergente. an an+1 > 1 , entonces la serie es divergente. an
a
n =1
satisface:
177
n =1
2n n!
Solucin.
2n Utilizaremos el criterio del cociente, tomando a n = n! n +1 2 a n +1 (n + 1)! n 2 n +1 2 = = = n n an n +1 (n + 1)! 2 2
n!
2 y como lim = 0 , entonces la serie n n + 1
n =1
2n converge. n!
Observaciones:
n =1
kn converge para n!
cualquier valor real de k. 2. Como el lmite del trmino n-simo de una serie convergente tiende a cero, hemos obtenido de manera indirecta que
kn = 0 para todo nmero real k. n n ! lim
5
n =1
n
n
Solucin.
n 5n
n +1 n 5 n +1 = (n + 1) 5 = n + 1 = n 5n n 5 n +1 n 5
5
n =1
n
n
converge.
178
x
n =1
x 1 , es decir si
f ( x) =
x
n =1
su dominio ser Df = (0, 1). Esto nos lleva a considerar una nueva clase de funciones: aquellas representables por medio de series.
a x
n n =0
= a0 + a1 x + a 2 x 2 + a3 x 3 + ...
donde ak son nmeros reales. Claramente todas las series de potencias convergen para x = 0. Puede demostrarse, lo cual se sale del alcance de este texto, que este tipo de series convergen en intervalos centrados en 0, incluyendo toda la recta real, a los cuales se les llama Intervalos de Convergencia. Si recordamos la frmula de Taylor de algunas funciones, tendremos representaciones en series de potencias
Ejemplo 10. Encuentre la serie de potencias para la funcin f(x) = ex. Solucin. En el captulo 2, encontramos la frmula de Taylor (Mac Laurin) para esta funcin
ex = 1+ x +
x 2 x3 x n1 + + ... + + En 2! 3! (n 1)!
179
En =
xn c e n!
donde c se encuentra entre o y x. Si le llamamos Sn a la sucesin de las sumas parciales de la serie de potencias, despejando En de la frmula de Taylor, En = ex - Sn
lim E n = lim
xn c xn e = e c lim =0 n n! n n!
lim S n = e x
lo cual nos representa a la funcin exponencial en serie de potencias para todo x real.
x2 x3 e = 1+ x + + + ... 2! 3!
x
notacin sumatoria:
e =
x
n =0
xn n!
de manera completamente anloga, podemos encontrar la representacin en series de potencias de las funciones seno y coseno, para todo x real:
senx = x
x3 x5 x7 + + ... 3! 5! 7 !
en notacin sumatoria:
senx =
n =1
180
x2 x4 x6 cos x = 1 + + ... 2! 4! 6!
en notacin sumatoria:
cos x =
n =0
(1) n x 2 n 2n !
Observacin: Si admitimos, como realmente sucede en el intervalo de convergencia, que las series de potencias se pueden derivar e integrar trmino a trmino, podremos comprobar hechos como:
d dx
n =1
(1) n +1 x 2 n 1 = (2n 1) !
n =0
(1) n x 2 n , 2n !
d dx
n =0
xn = n!
n =0
xn n!
d senx = cos x dx
d x e = ex . dx
181
EJERCICIOS
I. Encuentre el valor de las siguientes series geomtricas. 1)
n 0
1 9n 2 5 1 9n
n
2)
n 0
3 7
3)
n 0
4)
n 0
1 3 3 7
n
5)
n 3
6)
n 5
II.
1 n 3 1
n 0
2)
n 7
1 n 5
3)
4)
n 1
1 nn
1 n 6n
5)
n 1
3 sen(n 9) n3
6)
n 1
7)
n 1
n! nn ( n !) 2 ( 2 n) !
8)
n 1
2 n n! nn
n!
9)
n 0
10)
n 0
2 2n
III.
1 se cumple:
182
1 x x2
x 3 ...
1 1 x
3. Encuentre la serie de potencias para f(x) = arctanx Sugerencia: Integre en ambos lados en la frmula anterior.
IV.
1 1 x
, obtenida en el ejercicio
1. Encuentre la serie de potencias para f(x) = ln(1 x) Sugerencia: Integre en ambos lados en la serie de potencias. 2. Encuentre la serie de potencias para f(x) = ln x Sugerencia: Remplace x por x - 1 en la frmula anterior. Utilizando la representacin en series de potencias para las funciones senx y ex e integrando trmino a trmino, encuentre la serie de potencias de: 1) .
V.
senx dx x
2)
e x dx
183