Series de nmeros reales

A partir de una sucesin de nmeros reales, se puede formar una nueva sucesin sumando los trminos sucesivamente. As, si la sucesin dada tiene los trminos:

a1 , a 2 , K, a n , K ,
se forma la sucesin de sumas parciales:

s1 = a1 ,

s 2 = a1 + a 2 ,

s 3 = a1 + a 2 + a3 ,

Y as sucesivamente, estando definida la suma parcial de los n primeros trminos como sigue:

s n = a1 + a 2 + a3 + L + a n = a k .
k =1

La sucesin {s n } de las sumas parciales se llama serie infinita o simplemente serie, y se indica

a1

.c o

tambin por los smbolos siguientes:

Por ejemplo, la serie

sn =

Con las tres expresiones para una serie que acabamos de presentar se quiere recordar que la sucesin de sumas parciales {s n } se obtiene de la sucesin {a n } por adicin de trminos sucesivos. Si existe un nmero real S tal que:

lim s n = S
n

se dice que la serie

k =1

a k es convergente y tiene suma S en cuyo caso se escribe:

a
k =1

ww w.

k =1

1 k =1 k

at

a k representa la sucesin {s n } para la cual:

=S

em

at

a1 + a 2 + a3 + L

a1 + a 2 + L + a n + L

a
k =1

ic

Si {s n } diverge, es decir si: lim s n se dice que la serie

n

k =1

a k diverge; no tiene suma finita.

Series aritmticas

Como ejemplo de serie divergente, consideremos la serie formada a partir de la sucesin o progresin artimtica de diferencia d . Se generan los trminos de una sucesin aritmtica asociada a dicha serie de la siguiente forma:

a k = a k 1 + d
que equivale a:

a k = a1 + d (k 1)
Los trminos de la serie infinita corresponden a:

s k = a1 + a 2 + L + a k = k a1 + (1 + 2 + L + (k 1))d

donde r es la razn, es decir, el factor por el cual se mulplica un trmino para generar el posterior. Formemos ahora la serie geomtrica:

ww w.

a k = r a k 1

at

La ecuacin generadora de una sucesin o progresin geomtrica viene dada por:

em

Series geomtricas

at

ic a

1.c

Cuando k , s k y, por tanto, las series aritmticas siempre divergen.

om

s k = a1 + a 2 + L + a k = a1 1 + r + r L + r
2

k 1

a1 1 r k = 1 r

Descomponiendo esta suma en dos trminos se obtiene:

sk =

a1 a 1 rk 1 r 1 r

Al efectuar el lmite cuando k se distinguen cuatro casos:

1. Tomemos r < 1 . Entonces r 0 cuando n , y por lo tanto la serie es convergente con

n

suma igual a S = lim a k =

k

a1 . 1 r
n

2. Tomemos r > 1 . Entonces r

crece infinitamente y el segundo trmino de la expresin tiene a

+ o cuando n , y por lo tanto en este caso la serie diverge y no tiene suma finita.
3. Tomemos r = +1 . En este caso la serie es: a + a + L + a + esta es una serie aritmtica y por lo visto en el apartado anterior, diverge. 4. Finalmente tomemos r = 1 . La serie resultante tiene la siguiente forma:

a a + a a + L + (1) k 1 a +
En funcin del nmero de sumandos que tomamos, esta serie oscila entre dos valores fijos: 0 y 1 . En este caso tampoco converge la serie, sino que oscila.

infinitamente, el n-simo trmino a n tiende a cero. Esta afirmacin, de hecho, un teorema no afirma afirma. Se trata de una condicin necesaria de convergencia. El contrario: si lim a n 0 si que representa una condicin suficiente de divergencia. En efecto
n

siempre que el trmino general tenga por lmite en el infinito una cantidad finita, la serie diverge. Este criterio es muy til para elucidar el carcter divergente de una serie con el slo clculo de un lmite. Veamos seguidamente algunos

Criterios suficientes de convergencia para series de trminos positivos

Criterio de convergencia de comparacin

Antes de enunciar el criterio de convergencia de comparacin debemos comentar que el carcter (convergente o divergente) de una serie de nmeros reales no depende de una cantidad finita de miembros de la serie. Es decir, supongamos que de la serie

a1 + a 2 + L + a p + a p +1 + a p + 2 + L

ww w.

at

que si lim a n = 0 esto implique que la serie converja, com a veces, errneamente, por supuesto, se

em

at

Si la serie a1 + a 2 + L + a n 1 + a n + L converge, entonces a medida que el ndice n crece

ic a

Series de nmeros reales positivos: Criterio necesario de convergencia

1.c

om

extraemos p trminos, por ejemplo, del inicio de la serie. Entonces obtendremos la siguiente serie, todava infinita:

a p +1 + a p + 2 + a p +3 + L
cuyo carcter (convergente o divergente) ser el mismo que el de la serie original puesto que el hecho de extaer p trminos iniciales slo a modificado el valor de la serie en una cantidad finita Q :

Q = a1 + a 2 + a3 + L + a p
Enunciemos ahora el criterio de convergencia de comparacin entre dos series, de gran utilidad para determinar la convergencia de una serie. Si los trminos de una serie:

a1 + a 2 + L + a n + L
son positivos (o, de forma ms precisa, no negativos) y no exceden del valor de los trminos correspondientes de la serie convergente:

Criterio del cociente o de dAlembert

Supongamos que todos los trminos de una serie

a1 + a 2 + L + a n + L
son positivos y que la razn entre el (n+1)-simo y el n-simo trminos tiende a un nmero real l cuando n tiende a infinito, es decir:

ww w.

Entonces existen tres posibilidades: 1. 2. 3.

l < 1 . La serie dada converge. l > 1 . La serie dada diverge. l = 1 . La serie puede tanto convergir como divergir; el criterio no proporciona respuesta alguna.

at

Este potente teorema se utiliza a menudo para comparar una serie con otra ms conocida y convergente, despus de haber retirado un nmero finito de trminos del inicio de la serie, para facilitar la comparacin y sin que esto afecte al carcter de la serie.

lim
n

em

a n +1 =l an

at

es decir a j b j para cualquier valor de j 1 , entonces la primera serie tambin es convergente.

ic a

1.c

b1 + b2 + L + bn + L

om

Criterio de la raz o de Cauchy

Supongamos que todos los trminos de una serie

a1 + a 2 + L + a n + L
son positivos y que la raz n-sima del n-simo trmino tiende a un nmero real l cuando n tiende a infinito, es decir:

lim n a n = l
n

Entonces existen tres posibilidades: 1. 2. 3.

l < 1 . La serie dada converge. l > 1 . La serie dada diverge. l = 1 . La serie puede tanto convergir como divergir; el criterio no proporciona respuesta alguna.
Criterio de Pringsheim

lim n s a n = l
n

entonces podemos afirmar que la serie converge. Por el contrario, si existe un nmero s menor o igual a la unidad (s 1) tal que el lmite del producto de n a n es un nmero real l no nulo, es decir:
s

lim n s a n = l 0
n

entonces podemos afirmar que la serie diverge. Es consecuencia de este criterio, la siguiente afirmacin. Es condicin necesaria para la convergencia de una serie de trminos positivos y decrecientes que:

lim n a n = 0
n

ww w.

n s a n es un nmero real l , es decir:

son positivos y que existe un nmero s mayor que la unidad (s > 1) tal que el lmite del producto de

at

em

a1 + a 2 + L + a n + L

at

ic a

Supongamos que todos los trminos de una serie

1.c

om

Criterio suficiente de convergencia para series de trminos con signos alternados: Criterio de convergencia de Leibniz

Se define serie alternada como aquella serie que posee la forma siguiente:

a1 a 2 + a3 a 4 + L + (1) n 1 a n + L
con a j 0 para todo j = 1,2,3K , de forma que todos los trminos tienen vecinos de signos opuestos. Enunciemos ahora el Teorema de Leibniz para series alternadas. Si los valores absolutos de los trminos de una serie alternada forman una secuencia que decrece montonamente, tendiendo a cero:

a1 a 2 a3 a 4 L
y el n-simo trmino tiende a cero cuando n , es decir:
n

Convergencia absoluta

Supongamos una serie formada por trminos positivos, negativos y nulos como:

ww w.

1 1 1 1 1 + + +L 2 3 4 5 6

at

em

entonces podemos afirmar que la serie es convergente. Un ejemplo de serie que satisface todas las premisas del teorema de Leibniz y, por tanto, es convergente, es la serie armnica alternada:

at

ic a
a1 + a 2 + a3 + a 4 + L + a n + L = a j
j =1

podemos construir otra serie con los valores absolutos de los trminos de la primera:

1.c
j =1

lim a n = 0

a1 + a 2 + a3 + a 4 + L + a n + L = a j

si esta segunda serie converge, tambin convergir la primera. El contrario es falso. Si una serie converge, la serie formada por los valores absolutos de sus trminos no convergir necesariamente. Por lo tanto toda serie convergente forma parte de una de las dos clases siguientes. En la primera tenemos las series tales que la serie asociada formada por los valores absolutos de sus trminos tambin converge. Llamaremos a este tipo de series, series

om

absolutamente convergentes. Mientras que aquellas series cuyas series asociadas construidas con los valores absolutos de todos los trminos, divergan, recibirn el nombre de series condicionalmente convergentes. Pongamos un ejemplo de cada tipo de series. La serie:

1 1 1 1 1 + + +L 2 4 8 16 32

es absolutamente convergente puesto que la serie formada con los valores absolutos:

1+

1 1 1 1 1 + + + + +L 2 4 8 16 32

tambin converge. Basta con darse cuenta que ambas series son series geomtricas con razones,

r , de valor absoluto inferior a la unidad r < 1 . La original tiene r =

valores absolutos se forma con r =

1 mientras que la de los 2

obviamente mayor.

Por otro lado, consideremos la serie armnica alternada:

que, al satisfacer todas las premisas del criterio de Leibniz, ser convergente. No obstante, la serie formada por los valores absolutos de sta, la serie armnica:

1+

diverge. Para finalizar estos conceptos fundamentales ilustramos el caso de serie que satisface la condicin necesaria de convergencia, pero que diverge. Este es el caso de la serie armnica cuyo trmino general de la sucesin: 1 n tiende a cero cuando n . Para demostrar que esta serie diverge, empecemos reescribiendo la serie agrupando trminos:

S 2m = 1 +

1 1 1 1 1 1 1 + + + + + + + 2 3 4 5 6 7 8

1 1 1 1 1 1 1 1 + + + + + + + + +K 9 10 11 12 13 14 15 16

ww w.

1 1 1 1 1 + + + + +L 2 3 4 5 6

at

1 1 1 1 1 + + +L 2 3 4 5 6

em

at

ic a

1.c

1 . Aplicando la frmula correspondiente a la suma de trminos 2 2 y la de los valores absolutos 2 , un valor de una serie geomtrica deducimos que la original suma 3
om

1 1 1 K + m 1 + m 1 + K + m . 2 2 +1 2 + 2
Despus de agrupar trminos, podemos observar que:

1 1 1 1 1 + > + = , 3 4 4 4 2 1 1 1 1 1 1 1 1 1 + + + > + + + = , 5 6 7 8 8 8 8 8 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 + + + + + + + > + + + + + + + = 9 10 11 12 13 14 15 16 16 16 16 16 16 16 16 16 2

en el caso general

1 2 m 1 + 1

1 2 m 1 + 2

+K+

1 1 1 1 2 m 1 1 > m + m +K+ m = m = 2 2m 2 2 2 2

em

1 . Como el nmero 2 total de parejas de parntesis (sin contar los dos primeros trminos) es igual a m 1 , tenemos que:
As pues vemos que la suma de los trminos en cada parntesis es mayor que

Por esta expesin. podemos afirmar que al tender a infinito el nmero total de trminos

n = 2 m tambin tiende su suma S n = S 2m a infinito, con lo cual, la serie diverge.

En resumen, cuando se satisface la condicin necesaria de convergencia no podemos deducir el carcter de la serie. Debemos, entonces, pasar a averiguar si se satisface alguno de los criterios suficientes de convergencia que hemos enunciado anteriormente.

CASOS PRCTICOS CON SOFTWARE___________________________________

Determinacin del carcter de una serie mediante el criterio del cociente o de dAlembert

Estudiemos la convergencia o divergencia de la serie:

ww w.

S 2m > 1 +

at

(n!)2 a 2n (2n)! n =1

at

ic a
m . 2

1.c

om

en funcin del valor del parmetro a con a 0 . En el caso que a = 0 la serie es convergente puesto que la serie est formada por trminos nulos. Si a > 0 aplicamos el criterio del cociente:

((n + 1)!)2 a 2n + 2 a (2(n + 1))! lim n +1 = lim n n a (n!)2 a 2 n n (2n )!

= lim

(n + 1)!(n + 1)!a 2 n a 2 (2n )! = : n (2n + 2)!n!n!a 2n

utilizando que (2n + 2 )!= (2n + 2 )(2n + 1)(2n )! y (n + 1)!= (n + 1)n! llegamos a:

(n + 1)2 a 2 = a 2 = lim n (2n + 2 )(2n + 1) 4

a2 a2 < 1 , es decir 0 < a < 2 , la serie sera convergente. Para > 1 , es 4 4 a2 decir a > 2 , la serie sera divergente. Finalmente cuando = 1 , es decir a = 2 , debemos construir 4
Distinguiremos tres casos. Si la serie con el propsito de averiguar su carcter:

Comprovemos que esta serie no cumple la condicin necesaria de convergencia y, por tanto, ser divergente:

lim an = lim

ww w.

(n!)2 22 n = n (2n ) !
n n

(aplicando la frmula de Stirling: n! e n

= lim

e 2 n n 2 n 2n22 n n 2 n 2n 22 n 2n = lim 2 n 2 n = lim = 2n 2n n e (2n ) 4n n 2 n 4n n 4n

Para 0 a < 2 la serie es convergente. Para a 2 la serie es divergente.

Resumiendo:

at

(n!)2 22 n (2n)! n =1

em
2n )

at

ic a

1.c

om

Comprobemos estos resultados con Mathcad. Para ello barremos el intervalo de la recta real entre 0 y 3 donde debera encontrarse el intervalo de convergencia. En lugar de calcular la suma de infinitos trminos, basta con sumar los 25 y los 50 primeros para ver que fuera del intervalo de convergencia el valor numrico se dispara. En efecto, para valores dentro del intervalo [0,2[ la serie converge.

10 1 s= += r qr 2 27 7
3 3 23
at
n n n

Estudiemos la convergencia o divergencia de la serie:

en funcin del valor del parmetro a con a 0 . Aplicamos el criterio de la raz:

an + 1 a an + 1 lim = = lim n n 4n + 3 4 4n + 3
n

Por lo tanto, la serie ser converge si

a a < 1 es decir si a < 4 y divergente si > 1 , es decir, si 4 4 a > 4 . Estudiemos qu sucede en la frontera. Para a = 4 tenemos la siguiente serie:
n +1 4 4n + 1 = 4n + 3 n=1 n + 3 4 n =1 n

Comprobemos si satisface el criterio necesario de convergencia. Para ello debemos calcular el limite del n-simo trmino cuando n tiende a :

ww w.

at

an + 1 4n + 3 n =1

em

ic a

1.c

Determinacin del carcter de una serie mediante el criterio de la raz o de Cauchy

om

 n +1 4 ( 1 2) = e 1 2 0 = lim1 + lim n n + 3 4 n n+3 4

n n

Al ser este lmite diferente de cero, el criterio necesario de convergencia no se satisface y, por tanto,, para a = 4 la serie es divergente. Resumiendo: Para 0 a < 4 la serie es convergente. Para a 4 la serie es divergente.

Comprobemos estos resultados con Mathcad.

g ( a) :=

at

Para ello barremos el n =1 intervalo de la recta real entre 0 y 6 donde debera 100 n encontrarse el intervalo de i( a) := an + 1 4n + 3 convergencia. En lugar de n =1 calcular la suma de infinitos trminos, basta con sumar los primeros 25, 50, 100 y 1000 200 trminos para ver que fuera del intervalo de g( a) convergencia el valor numrico se dispara.

25

an + 1 4n + 3

h ( a) :=

n =1

50

an + 1 4n + 3 an + 1 4n + 3

j( a) :=

em

En efecto, para valores dentro del intervalo [0,4[ la serie converge.

ww w.

at

h( a) i( a) j( a)

ic a

500

1.c

om

n =1

500

2 a

Determinacin del carcter de una serie mediante el criterio de Pringsheim y ejemplo de clculo de la suma infinita

Estudiemos la convergencia de la serie:

(n + 1)(n + 2)(n + 3)
n =1

y si lo es, determinemos su suma.

Apliquemos el criterio de Pringsheim:

n n +1 n +1 lim n a n = lim n = lim = lim n n (n + 1)(n + 2)(n + 3) n (n + 1)(n + 2)(n + 3) n n 3 + K

Para que este lmite sea finito y diferente de cero, necesariamente el grado del numerador y del denominador deben ser iguales, entonces tenemos que tomar + 1 = 3 , es decir, = 2 . Como > 1 , segn el criterio de Pringsheim, la serie es convergente. Calculemos la suma. Para ello descomponemos el trmino general de la serie en sumandos:

an =

n A B C = + + (n + 1)(n + 2)(n + 3) n + 1 n + 2 n + 3 1 3 , B=2 y C= . 2 2

Resolviendo el sistema de ecuaciones, tenemos: A = Calculemos la suma parcial: S n = a1 + a 2 + K + a n

a4 = a3 = a2 = a1 =

4 3 1 + 25 26 27 4 3 1 + 24 25 26 4 3 1 + 23 24 25 4 3 1 + 22 23 24 4 de a k se simplifica con los 2(k + 2)

Si sumamos, observamos que cada sumando del tipo sumandos

4 4 de a k y de a k 1 (si 1 < k < n ). Por consiguiente obtenemos los 2(k + 2) 2(k + 2) siguientes 6 trminos que no se simplifican:

ww w.

KKKKKKKKKKKKKKKK

at

em

an 1 =

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

at

ic a

an =

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

1.c

om

Sn =

2 1 1 3 3 4 + 3 4 6 2(n + 2 ) 2(n + 3) 2(n + 2 )

Pasando al lmite cuando n obtenemos la suma de la serie:

lim S n =
n

2 1 1 1 = 3 4 6 4

Comprobemos este resultado con Mathcad. Efectuemos la suma infinita con la opcin View > Toolbars > Symbolic > Symbolic Evaluation

n =1

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

Existen series de nmeros reales que son convergentes, divergentes, oscilantes, etc. Entre las series ms populares tenemos las aritmticas, siempre divergentes, y las geomtricas que convergen slo cuando el valor absoluto de la razn es menor que 1. Dada una serie de nmeros reales positivos siempre procedemos a aplicar el criterio necesario de convergencia. Si la serie no lo satisface, seguro que la serie es divergente. Si lo satisface debemos verificar si satisface algun criterio de suficiencia de convergencia, como por ejemplo, el criterio del cociente o de DAlembert o el criterio de la raz o de Cauchy. En el caso de series de nmeros reales alternadas, solemos comprobar si se satisface el criterio de Leibniz por su sencillez de aplicacin. Basta con averiguar si el lmite del trmino general de la sucesin que da lugar a la serie tiende a cero. Hemos visto la inestimable ayuda que Mathcad nos puede prestar para ir descubriendo el carcter de las series. Con Mathcad podemos realizar la suma infinita de una serie o bien, definir una conjunto de series finitas (truncadas) de la primera y representarlas grficamente. Entonces comprobaremos la exactitud de nuestro clculo analtico.

ww w.

at

em

at

CONCLUSIONES

___________________________________

ic a

1.c

om