Documentos de Académico
Documentos de Profesional
Documentos de Cultura
MAPA CONCEPTUAL
Definicin
Series geomtricas
Series alternadas
Criterios de convergencia
Criterio de Leibniz
Criterio de comparacin
Criterio de Pringsheim
INTRODUCCIN
___________________
En el Matblock Sucesiones introducimos el concepto de sucesin de nmeros reales. Se trata de una aplicacin de los nmeros naturales, un conjunto infinito, pero discreto, en los nmeros reales. Este tipo de aplicaciones son inyectivas puesto que existe una cantidad infinita y densa de nmeros reales y slo una cantidad infinita pero discreta de naturales. En este Mathblock nos ocuparemos de estudiar las series asociadas a las sucesiones que vimos. Entendemos por elemento n-simo de una serie, la suma de n trminos de una sucesin. Averiguar si la suma de los trminos de una sucesin, o dicho de otro modo, el lmite del n-simo trmino de una serie cuando n tiende a infinito, es finita, es decir, existe, supone resolver el problema de determinar la convergencia de la serie. En adelante, distinguiremos claramente dos problemas: el de averiguar la convergencia y el de sumar la serie cuando esta sea, evidentemente, convergente. La suma de una serie divergente es imposible puesto que diverge! Despus de introducir el concepto de serie de nmeros reales y repasar los dos nicos tipos de series que se estudian en la enseanza secundaria: las series aritmticas y las series geomtricas, introduciremos la condicin necesaria de convergencia para series de nmeros reales positivos. Cuando esta condicin se cumple, sabemos que la serie puede ser convergente, mientras que cuando no se satisface, es forzosamente divergente. A continuacin introduciremos los criterios suficientes de convergencia de uso ms habitual para series de nmeros reales positivos. Finalmente trataremos de la convergencia de series de signos alternados enunciando el Teorema de Leibniz y introduciremos el concepto de convergencia absoluta de una serie.
___________________________________
Profundizar en el dominio de las propiedades de las series aritmticas y geomtricas, en particular de su suma. Desarrollar cierta habilidad para la suma de series a partir de la reduccin a series geomtricas. Determinar, a partir del criterio necesario de convergencia, si una serie es divergente. Lograr determinar el carcter (convergente o divergente) de series de nmeros reales positivos o de signo alternado a partir de diferentes criterios de suficiencia.
CONOCIMIENTOS PREVIOS
___________________________________
Previamente a la lectura de este Mathblock es recomendable el haber realizado un estudio detallado de los siguientes temas: Sucesiones de nmeros reales.
Asimismo tambin es muy aconsejable que se tenga un conocimiento mnimo del programa Mathcad. Por lo tanto, recomendamos que trabajis los Mathblocks: Sucesiones y Uso bsico del Mathcad en Anlisis (I): clculo simblico y analtico antes de empezar con ste.
CONCEPTOS FUNDAMENTALES
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 tambin por los smbolos siguientes:
a1 + a 2 + a3 + L
a1 + a 2 + L + a n + L
a
k =1
k =1
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
k =1
a
k =1
=S
Series de nmeros reales Si {s n } diverge, es decir si: lim s n se dice que la serie
n
k =1
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
Cuando k , s k y, por tanto, las series aritmticas siempre divergen.
Series geomtricas
a k = r a k 1
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:
s k = a1 + a 2 + L + a k = a1 1 + r + r L + r
2
k 1
a1 1 r k = 1 r
sk =
a1 a 1 rk 1 r 1 r
Series de nmeros reales 1. Tomemos r < 1 . Entonces r 0 cuando n , y por lo tanto la serie es convergente con
n
a1 . 1 r
n
+ 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.
Si la serie a1 + a 2 + L + a n 1 + a n + L converge, entonces a medida que el ndice n crece infinitamente, el n-simo trmino a n tiende a cero. Esta afirmacin, de hecho, un teorema no afirma que si lim a n = 0 esto implique que la serie converja, com a veces, errneamente, por supuesto, se
n
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
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
Series de nmeros reales 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:
b1 + b2 + L + bn + L
es decir a j b j para cualquier valor de j 1 , entonces la primera serie tambin es convergente. 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.
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:
lim
n
a n +1 =l an
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.
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
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
a1 + a 2 + L + a n + L
son positivos y que existe un nmero s mayor que la unidad (s > 1) tal que el lmite del producto de
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
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:
lim a n = 0
n
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:
1 1 1 1 1 + + +L 2 3 4 5 6
Convergencia absoluta
Supongamos una serie formada por trminos positivos, negativos y nulos como:
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:
a1 + a 2 + a3 + a 4 + L + a n + L = a j
j =1
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 Proyecto e-Math Financiado por la Secretara de Estado de Educacin y Universidades (MECD) 8
Series de nmeros reales 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,
1 . Aplicando la frmula correspondiente a la suma de trminos 2 2 de una serie geomtrica deducimos que la original suma y la de los valores absolutos 2 , un valor 3
obviamente mayor. Por otro lado, consideremos la serie armnica alternada:
1 1 1 1 1 + + +L 2 3 4 5 6
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+
1 1 1 1 1 + + + + +L 2 3 4 5 6
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
1 1 1 K + m 1 + m 1 + K + m . 2 2 +1 2 + 2
Despus de agrupar trminos, podemos observar que:
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
As pues vemos que la suma de los trminos en cada parntesis es mayor que
1 . Como el nmero 2 total de parejas de parntesis (sin contar los dos primeros trminos) es igual a m 1 , tenemos que: S 2m > 1 + m . 2
Por esta expesin. podemos afirmar que al tender a infinito el nmero total de trminos
Determinacin del carcter de una serie mediante el criterio del cociente o de dAlembert
(n!)2 a 2n (2n )! n =1
10
Series de nmeros reales 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:
= lim
utilizando que (2n + 2 )!= (2n + 2)(2n + 1)(2n )! y (n + 1)!= (n + 1)n! llegamos a:
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
Comprovemos que esta serie no cumple la condicin necesaria de convergencia y, por tanto, ser divergente:
lim an = lim
(n!)2 22 n = n (2n ) !
n n
2n )
= lim
Resumiendo:
11
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
n
an + 1 4n + 3 n =1
an + 1 a an + 1 lim = = lim n n 4n + 3 4 4n + 3
n
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 n
Comprobemos si satisface el criterio necesario de convergencia. Para ello debemos calcular el limite del n-simo trmino cuando n tiende a :
12
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.
g ( a) :=
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 500
50
an + 1 4n + 3 an + 1 4n + 3
j( a) :=
n =1
h( a) i( a) j( a)
500
2 a
Determinacin del carcter de una serie mediante el criterio de Pringsheim y ejemplo de clculo de la suma infinita
(n + 1)(n + 2)(n + 3)
n =1
y si lo es, determinemos su suma. Proyecto e-Math Financiado por la Secretara de Estado de Educacin y Universidades (MECD) 13
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 =
an =
an 1 =
KKKKKKKKKKKKKKKK
a4 = a3 = a2 = a1 =
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:
14
Sn =
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
n 1 ( n + 1) ( n + 2) ( n + 3) 4
CONCLUSIONES
___________________________________
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.
15
BIBLIOGRAFA
___________________________________
[1] J. M. Ortega (1990): Introduccin al Anlisis Matemtico, Manuales de la Universidad Autnoma de Barcelona, Bellaterra. [2] V.A. Kudryasvtsev and B.P. Demidovich (1981): A brief course of Higher Mathematics, Mir Publishers, Mosc, p. 430-480. [3] M. R. Spiegel (1970): Manual de Frmulas y Tablas Matemticas, Serie de Compendios Schaum, McGraw-Hill, Mexico, p.107-109. [4] T. Apostol, (1979); Calculus. Clculo con funciones de una variable, con una introduccin al lgebra lineal, Vol.1, Revert, Barcelona, p. 469-501. [5] R. Calm, N. Coll, y M.R. Estela (1992): Problemas de clculo, Micromar, Barcelona, p. 37-65. [6] R. Courant and F. John (1976): Introduccin al Clculo y al Anlisis Matemtico, Limusa, Mxico, p. 527-555. [7] B. Demidovich (1978): Problemas y Ejercicios de Anlisis Matemtico, Paraninfo, Madrid, p. 312324.
ENLACES
[W1]
___________________________________
http://www.satd.uma.es/a_valverde/aula-calculo/calculo.html Aula virtual con apuntes muy completos de series numricas. http://www.unizar.es/analisis_matematico/analisis1/apuntes/
Apuntes de series de nmeros reales.
http://www.unizar.es/analisis_matematico/analisis1/problemas/
Compendio de problemas y ejercicios sobre convergencia de series numricas.
http://www.lafacu.com/apuntes/matematica/series/default.htm
El sitio de los estudiantes y los docentes universitarios. Es una recopilacin de apuntes, con ejemplos, sobre series convergentes, divergentes, alternadas, propiedades y criterios de convergencia.
http://www.monografias.com/trabajos11/traaprox/traaprox.shtml#termposit
Monografa sobre aproximaciones polinomiales, sucesiones y series.
http://planetmath.org/?op=getobj&from=objects&name=Series
Apuntes sobre series numricas (en ingls).
http://www.math-atlas.org
Contiene un mdulo sobre Sucesiones, series y sumabilidad (en ingls).
16