Captulo 5

Series numricas

Mdulo 26 Sucesiones de nmeros reales Mdulo 27 Series de trminos constantes Mdulo 28 Criterios de convergencia y divergencia de series Mdulo 29 Convergencia absoluta y convergencia condicional Ejercicios Mdulos 26 al 29 Hasta ahora hemos desarrollado los cuatro conceptos fundamentales del clculo: lmite, continuidad, derivada e integral, y los tres ltimos en trminos del primero; y como se nota en el mapa conceptual, aparece la palabra lmite en el valo central con los tres conceptos restantes emanando de l. De todos los temas que conforman los cursos de clculo slo nos resta desplazarnos hacia la izquierda en el mapa conceptual y considerar las series infinitas como lmites de sucesiones. De hecho, las series infinitas tienen multitud de aplicaciones en la ingeniera (como por ejemplo en el diseo y construccin de equipos musicales en lo concerniente a la armona musical) y en otras reas tradicionales de la investigacin cientfica, como la holografa, la tomografa y la espectroscopia. En este captulo desarrollaremos las herramientas bsicas que proporcionan los criterios para series numricas en lo referente a la convergencia y con ello se podr calcular la suma de un nmero infinito de trminos, dejando para el prximo captulo las series de potencias, las cuales permiten aproximar por medio de polinomios muchas funciones de gran importancia en la fsica y en la ingeniera.

Las armonas musicales se corresponden con relaciones entre nmeros naturales. La relacin produce el armnico, que es el doble de la frecuencia fundamental (tono o paso ms bajo que se oye al pulsar una cuerda).

318

Sucesiones de nmeros reales

Contenidos del mdulo
26.1 26.2 26.3 26.4 Definicin y ejemplos de sucesiones de nmeros reales Grfica de una sucesin Lmite de sucesiones Clasificacin de las sucesiones

26

Leonardo de Pisa Leonardo de Pisa (o Leonardo Pisano o Leonardo Bigollo) naci en la ciudad italiana de Pisa y vivi entre 1170 y 1250. Tambin llamado Fibonacci, fue un matemtico famoso por la invencin de la sucesin de Fibonacci, surgida como consecuencia del estudio del crecimiento de las poblaciones de conejos, y por su papel en la introduccin a Europa del sistema de numeracin posicional en base 10. El apodo de Guglielmo, padre de Leonardo, era Bonacci , que significa simple o bien intencionado. Leonardo recibi pstumamente el apodo de Fibonacci (de filius Bonacci, es decir, hijo de Bonacci). Guiglielmo diriga un puesto de comercio en Buga, en el norte de frica, y de nio Leonardo viaj a esa ciudad para ayudarlo. All aprendi el sistema de numeracin rabe. Consciente de la superioridad de esta numeracin, Fibonacci viaj a travs de los pases del Mediterrneo para estudiar con los matemticos rabes ms destacados de ese tiempo y regres cerca del ao 1200. En 1202, a los 27 aos de edad, public en Liber abaci (Libro del baco o Libro de los clculos) lo que haba aprendido. Este libro mostr la importancia del nuevo sistema de numeracin en la contabilidad comercial, la conversin de pesos y medidas, el clculo, los intereses, el cambio de moneda, entre otras numerosas aplicaciones. En sus pginas describe el cero, la numeracin de posicin, la descomposicin en factores primos y los criterios de divisibilidad. El libro fue recibido con entusiasmo en la Europa ilustrada y tuvo un impacto profundo en el pensamiento matemtico europeo. En matemticas, la sucesin de Fibonacci es una serie de nmeros enteros que se obtiene mediante la siguiente funcin recursiva:

Objetivos del mdulo

1. Presentar las sucesiones de nmeros reales, su clasificacin y el clculo de lmites de sucesiones. 2. Relacionar el lmite de una funcin con el lmite de una sucesin.

Preguntas bsicas
Definamos un =
(1 + 5) n (1 5) n 2n 5

al n-simo trmino de una sucesin.

1. Demuestre que u1 = 1 y u2 = 1. 2. Demuestre que un + 2 = un +1 + un . 3. De 1 y 2 concluya que {un } es una sucesin de Fibonacci.

Introduccin
Cuando se piensa en el concepto de sucesin, es natural pensar en ella como algo que no necesita definicin. Es decir, es como si se colocaran nmeros u otros objetos en un orden determinado. Para indicar una sucesin infinita se escribe con frecuencia a1 , a2 , a3 ,..., donde los puntos suspensivos indican que los nmeros ai continan indefinidamente hacia la derecha. No es difcil, sin embargo, formular una definicin rigurosa de sucesin infinita mediante una correspondencia entre el conjunto de los nmeros naturales y el conjunto de los nmeros reales. Esta correspondencia es la que se quiere formalizar en el primer mdulo de este captulo.

Elementos bsicos de clculo integral y series

319

Captulo 5: Series numricas

si n = 1; 1, F (n ) = 1, si n = 2; F(n - 1) + F(n - 2) si n > 2;
Los veinte primeros trminos de esta sucesin son

26.1 Definicin y ejemplos de sucesiones de nmeros reales

Definiciones i. Cualquier funcin f :
, tal que a cada n

se le asigna el

n
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

F(n)
1 1 2 3 5 8 13 21 34 55 89 144 233 377 610 987 1597 2584 4181 6765

an = f (n) , se llama sucesin infinita o simplemente sucesin de nmeros reales.

ii.

Los valores reales del rango de la sucesin se llaman trminos de la sucesin. As, a1 es el primer trmino, a2 es el segundo trmino, an es el trmino n-simo o trmino general de la sucesin.

Observacin Estrictamente hablando, como una sucesin es una funcin, deberamos escribirla como un conjunto de pares ordenados en la forma:

f = {(1, f (1)), (2, f (2)), (3, f (3)),..., (n, f (n)),...} , o f = {(1, a1 ), (2, a2 ), (3, a3 ),..., (n, an ),...} ,
pero debido a la dificultad que entraa para su manejo esta forma de simbolizarla, en adelante, cuando se haga referencia a una sucesin de reales, nos referiremos a los elementos del rango. Es decir, se dir considere la sucesin a1 , a2 , a3 ,..., , donde los puntos suspensivos indican que los nmeros ai continan indefinidamente. O tambin, escribiendo entre corchetes { } el trmino general o el trmino n-simo de la sucesin.

Algunas de las propiedades de esta sucesin son: La razn (el cociente) entre un trmino y el inmediatamente anterior vara continuamente, pero se estabiliza en un nmero irracional conocido como razn urea o nmero ureo, que es la solucin positiva de la ecuacin x x 1 = 0, y se puede aproximar a 1,618033989. Cualquier nmero natural se puede escribir mediante la suma de un nmero limitado de trminos de la sucesin de Fibonacci, cada uno de ellos distinto a los dems. Por ejemplo, 17 = 13 + 3 + 1, 65 = 55 + 8 + 2. Tan slo un trmino de cada tres es par, uno de cada cuatro es mltiplo de 3, uno de cada cinco es mltiplo de 5, etc. Esto se puede generalizar, de forma que la sucesin de Fibonacci es peridica en las congruencias mdulo m, para cualquier m. Si F (p) es un nmero primo, p tambin es primo, con una nica excepcin: F (4) = 3; 3 es primo, pero 4 no lo es. La suma infinita de los trminos de la sucesin F (n)/10n es exactamente 10/89.

n , estamos haAs por ejemplo, cuando se diga considere la sucesin 2n + 1

ciendo referencia a la sucesin de nmeros reales f :
f ( n) =

definida por

n y cuyo diagrama adjunto ilustra la correspondencia establecida en2n + 1

tre

y .
1 a1 = f (1) = 2 ... n

1 2 n a2 = f (2) = ... an = f (n) = 2 1 + 1 2 2 +1 2n + 1

Tambin, los primeros trminos de la sucesin son:

1 2 3 4 , , , ,... 3 5 7 9

320

Mdulo 26: Sucesiones de nmeros reales En muchas ocasiones nos presentan los primeros trminos de una sucesin y, cuando sea razonable, podemos determinar a partir de ellos el trmino general o n-simo. Ejemplo 1 D la regla o forma del trmino general de las siguientes sucesiones:
1 1 1 1 , , , ,... 2 4 8 16

a. b.

1,

1 2 3 4 , , , ,... 2 5 8 11

Solucin a. Si se observan los trminos de la sucesin, stos son fracciones cuyo numerador es siempre 1 y cuyos denominadores son todas las potencias de 2. As, la sucesin puede escribirse:
1 1 1 1 1 , , , , ,... 20 21 22 23 24 1 1 1 1 1 , 2 1 , 31 , 4 1 , 51 ,... 11 2 2 2 2 2

En consecuencia, an =

1 , y la sucesin 1, 1 , 1 , 1 , 1 ,... puede escri2n1 2 4 8 16

1 birse de una forma simplificada como n1 . 2

b. Ntese en primer lugar que los trminos de la sucesin aparecen de manera alterna, lo cual indica la presencia en el trmino general de ( 1) n+1 o (1)n1. Tambin, como en el caso anterior, los trminos de la sucesin son fracciones cuyo numerador preserva la secuencia de los nmeros naturales 1, 2, 3, 4,, n,, y cuyos denominadores son los mltiplos de 3 disminuidos en 1. En consecuencia, los trminos de la sucesin pueden escribirse en cualquiera de las siguientes formas:
(1)11 1 2 3 , (1) 2 1 , (1)31 ,..., y de esta forma 3 1 1 3 2 1 3 3 1 an = (1)n 1 n . 3n 1

(1).

(2).

(1)1+1

1 2 3 , (1) 2 +1 , (1)3+1 ,..., y de esta forma 3 1 1 3 2 1 3 3 1

an = (1)n +1

n . 3n 1

Vea el mdulo 26 del programa de televisin Elementos bsicos de clculo integral y series

Elementos bsicos de clculo integral y series

321

Captulo 5: Series numricas Ejemplo 2 La sucesin de Fibonacci {an} , denominada as en honor de Leonardo Fibonacci, quien la introdujo aproximadamente en el ao 1200 y de gran inters en la teora de los nmeros, se define inductivamente como sigue:
1 an = an 2 + an 1 si n = 1 o n = 2 si n>2

Encuentre los cinco primeros trminos de la sucesin. Solucin:

a1 = 1 , a2 = 1 , a3 = a3 2 + a31 = a1 + a2 = 2, a4 = a4 2 + a4 1 = a2 + a3 = 1 + 2 = 3, a5 = a5 2 + a51 = a3 + a4 = 2 + 3 = 5.

Continuando de esta forma, podemos escribir la sucesin as: 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, Ntese que a partir del tercer trmino cada uno es la suma de los dos anteriores.

26.2 Grfica de una sucesin

Por ser una sucesin una funcin de los naturales en los reales, su grfica est ntimamente relacionada con la grfica de su funcin asociada de los reales en los reales. As, en la figura 26.1 aparece una parte de la grfica de la funcin f ( x) =
x +1 . 2x

Figura 26.1. Grfica de la funcin

f ( x) =

x +1 2x

322

Mdulo 26: Sucesiones de nmeros reales de los nmeros naturales, Puesto que el dominio de la sucesin es el conjunto su grfica la constituye nicamente el conjunto de los puntos (1,1), (2, 3/4), (3, 2/3), (4, 5/8), etc., y que aparecen en la figura 26.2.

Figura 26.2. Grfica de

an =

n +1 2n

Muchas veces se obtiene una representacin ms conveniente para una sucesin marcando simplemente los puntos a1 , a2 , a3 ,... sobre una recta.

n + 1 asociada con la funcin anterior se tiene que: En particular, para la sucesin 2n

3 2 5 a1 = 1, a2 = , a3 = , a4 = ,..., 4 3 8

y cuya representacin aparece en la figura 26.3.

Figura 26.3. Grfica de

an =

n +1 2n

Ntese que a medida que n crece, los valores de la sucesin se acercan cada vez mas al valor 1/2, valor que corresponde al lmite de la sucesin y que presentaremos en la prxima seccin.

26.3 Lmite de sucesiones

Los lmites de las sucesiones y los lmites al infinito presentados en el mdulo 15 del texto Elementos bsicos de clculo diferencial estn ntimamente relacionados.

3n + 4 se pueden hacer consideraciones simiAs por ejemplo, para la sucesin 2n + 3

Elementos bsicos de clculo integral y series

323

Captulo 5: Series numricas lares a las establecidas all para la funcin f ( x) = finalmente que xlim f ( x) = xlim + + bin que nlim +
3n + 4 3 = . 2n + 3 2
3x + 4 y para la cual se concluy 2x + 3

3x + 4 3 = . De esta forma se puede concluir tam2x + 3 2

En consecuencia, la definicin del lmite de una sucesin nlim an = L se aproxima + mucho a la definicin de lim f ( x) = L, como puede notarse en la siguiente
x +

definicin:

Definicin Sea {an } una sucesin de nmeros reales y sea L . Entonces:

n +

lim an = L

si y slo si para cada > 0 existe N

tal que si n > , entonces

an L < .
La definicin anterior significa geomtricamente que, fijado un nmero positivo , siempre es posible encontrar un natural N a partir del cual todos los valores de la sucesin estn en la banda centrada en L y radio (figura 26.4).

Figura 26.4. Valores de la sucesin determinados por L y

Ejemplo 3
n +1 1 = , y dado = 0.05, determine el N 2n 2 definicin de lmite de una sucesin.

Asumiendo que nlim +

que verifica la

324

Mdulo 26: Sucesiones de nmeros reales Solucin

n +1 1 = 2n 2

n +

lim

si y slo si dado = 0.05 > 0 existe N

tal que

n +1 1 < 0.05 (1), siempre que n > N . 2n 2

Para determinar N consideremos la desigualdad del lado izquierdo de (1).

n +1 1 n +1 n < 0.05 < 0.05 2n 2 2n

1 < 0.05 2n
1 0.05

2n >

n>

1 0.10

n > 10.

As que, dado = 0.05, existe N = 10

tal que si n >10, entonces

n +1 1 < 0.05, 2n 2
desigualdad que se puede verificar dndole a n sucesivamente los valores 11, 12, 13, El siguiente teorema, que se enuncia sin demostracin y que establece una relacin entre los lmites al infinito y el lmite de una sucesin, nos permitir obtener el lmite de algunas sucesiones de nmeros reales partiendo de los resultados ya conocidos de los lmites de funciones de variable real. Teorema 1 Sea f una funcin de variable real, f (n) la sucesin asociada y L . Entonces,
x +

lim f ( x) = L lim f (n) = L.

n +

Observaciones i. El recproco del teorema anterior no siempre se cumple. As por ejemplo, sea
f (n) = sen n .

Elementos bsicos de clculo integral y series

325

Captulo 5: Series numricas Se tiene que lim sen n = 0; sin embargo, lim sen x no existe.
n + x +

ii.

Debido al teorema 1, podemos utilizar para sucesiones los teoremas 1, 2 y 3 para lmites al infinito presentados en el mdulo 15 de Elementos bsicos de clculo diferencial. Igualmente, la regla de LHopital (mdulo 18 del citado texto) puede ser aplicada conjuntamente con sus variantes reducindolas a la forma indeterminada
0 o . 0

En particular, los teoremas 2 y 3 del mdulo 15 pueden presentarse para sucesiones en las formas siguientes: Teorema 2
n +

lim

1 = 0. n

Generalizacin: si k , entonces lim Teorema 3 Sea an = f (n) =

ak , bt 0, k, t
+

n +

1 = 0. nk

ak n k + ak 1n k 1 + ... + a1n + a0 bt nt + bt 1nt 1 + ... + b1n + b0

. Entonces:

una sucesin racional con

0 a k ak n k + ak 1n k 1 + ... + a1n + a0 lim an = lim = bt n + n + b n t + b n t 1 + ... + b n + b t t 1 1 0

As por ejemplo,
5n 3 = 0 (k = 1, t = 3). 2 n + 8n 4
3

si si

k<t k =t

si k > t y ak bt > 0 si k > t y ak bt < 0

n +

lim

3n 2 + 5n + 7 3 = (k = 2, t = 2, ak = 3, bt = 4). n + 4n 2 2n + 1 4 lim
8n3 + 4n 5 = (k = 3, t = 2). n + n2 + 4 lim

326

Mdulo 26: Sucesiones de nmeros reales

n +

lim

4n 5n + 2 = (k = 4, t = 3, ak = 4, bt = 7). 1 7 n3
4

Ejemplo 4
n = 0. an

Pruebe que si a > 1, entonces nlim + Solucin

Considere xlim +
lim

x (indeterminado). x a

x +

x 1 = lim (aplicando LHopital) a x x + (ln a)a x = 1 1 lim = 0. ln a x a x

Como lim

x +

n x = 0, se concluye del teorema 1 que nlim n = 0. + a ax

Otros dos teoremas de importancia terica en las series numricas, y que presentamos sin demostracin, son los siguientes:

Teorema 4: Teorema del snduche para sucesiones Sean {an } , {bn } y {cn } sucesiones de nmeros reales tales que an cn bn para todo n, y adems lim an = lim bn = L. Entonces,
n + n +

n +

lim cn = L.

As por ejemplo, se sabe que

1 sen n 2 1 para todo n N .

Entonces,

pero

1 sen n2 1 2 2, n2 n n

1 lim 2 n + n

1 = nlim 2 = 0 (teorema 2). + n

En consecuencia, de acuerdo con el teorema 4

Elementos bsicos de clculo integral y series

327

Captulo 5: Series numricas

sen n2 = 0. n + n2 lim
Teorema 5
0 si lim r n = si r <1 r >1

n +

As por ejemplo,
2 lim = 0, puesto que r = 2 = 2 < 1. n+ 3 3 3
n

4 4 4 lim = , puesto que r = = > 1. n+ 3 3 3

26.4 Clasificacin de las sucesiones

Sucesin convergente Una sucesin {an } es convergente si existe L tal que lim an = L, y n + en este caso se dice que {an } converge a L. Sucesin divergente Una sucesin {an } es divergente si no es convergente. Es decir, {an } es divergente si lim an no existe, o cuando lim an = . En este caso se
n + n +

dice que {an } diverge a segn el caso. Una sucesin {an } es creciente si a1 a2 a3 ... an ... Es decir,

{an } es creciente si

an an +1 para todo n .

Una sucesin {an } es decreciente si a1 a2 a3 ... an ... Es decir,

{an }

es decreciente si an an +1 para todo n .

Una sucesin {an } es oscilante si no es ni creciente ni decreciente. Una sucesin {an } es montona si es creciente o decreciente. En algunas ocasiones la monotona (creciente-decreciente) se define a partir de un natural p. Es decir, {an } es creciente (decreciente) si existe p tal que

328

Mdulo 26: Sucesiones de nmeros reales

a p a p +1 ( a p a p + 1 ) .

Una sucesin {an } es (est) acotada si existe M + tal que an M para todo n. La siguiente afirmacin, que en algunas ocasiones se considera como un axioma de los nmeros reales, relaciona las definiciones anteriores:

Teorema 6 Toda sucesin {an } montona y acotada es convergente. Otro resultado til con respecto a la convergencia de una sucesin, conocido como la prueba de la razn y usado cuando a pesar de que la sucesin tiene la forma indeterminada
no puede aplicrsele la regla de LHopital, es el que enunciamos a continuacin.

Teorema 7: Prueba de la razn Sea {an } una sucesin de nmeros reales. Si lim
an +1 < 1, entonces lim an = 0. n + an

n +

2n Por ejemplo, considere la sucesin . Si se quiere analizar la convergencia de la n!

sucesin, tendramos que considerar nlim + A pesar de tener la forma indeterminada porque, cmo derivara a n!?

2n . n!

no es posible aplicar la regla de LHopital

Sin embargo, nlim +

an +1 an

2n +1 2 (n + 1)! = lim = lim = 0. n + n + n + 1 2n n!

2n an +1 = 0 < 1, se concluye entonces que la sucesin converge. Como lim n + a n! n

Elementos bsicos de clculo integral y series

329

330

Series de trminos constantes

Contenidos del mdulo
27.1 27.2 27.3 27.4 Definiciones y primeros ejemplos de series Ejemplo 1: la serie geomtrica Ejemplo 2: la serie telescpica Ejemplo 3: series aritmtico-geomtricas

27

Srinivasa Ramanujan Ramanujan naci en Erode, ciudad no lejos de Madrs, en 1887 y muri en 1920 a la edad de 32 aos por causa de una deficiencia vitamnica aguda. Fue hijo de un contador que trabajaba para un mercader de paos en Kumbakonam y de la hija de un modesto oficial brahmn del juzgado de su ciudad natal. Es una de las mentes ms asombrosas y desconcertantes que jams hayan existido. Este hind, de origen humilde, autodidacta por obligacin y matemtico por predestinacin celestial, leg a la posteridad un tesoro que apenas comienza a ser desenterrado: su cuaderno de notas. El impacto pleno de su genio todava no se ha sentido, pues una parte importante de su obra an es inaccesible a muchos matemticos. Por su formacin netamente autodidacta y fuera de toda la tradicin lgica de Occidente, los mtodos de su razonamiento se movan entre el misterio absoluto y la intuicin ms profunda. Los resultados obtenidos, que lindan con el milagro, los atribua Ramanujan a revelaciones que en sueos le haca la diosa Namakkal. Contaba que al levantarse por la maana escriba con premura los teoremas soados, aunque no siempre resultaban correctos. En la simplsima ordenacin de los nmeros dgitos Ramanujan descubri propiedades maravillosas: congruencias, simetras y relaciones, que haban escapado a la sagacidad de los ms agudos tericos. El famoso matemtico ingls Godfried Harold Hardy, su descubridor, se expres as sobre sus frmulas: Ellas deben ser verdad, pues si no lo fueran, nadie tendra la imaginacin suficiente para inventarlas. Comenz a ir a la escuela a los cinco aos. Sin haber cumplido los siete, y gracias a una beca, le llevaron al colegio de Kumbakonam. Segn parece, casi de inmediato reconocieron sus extraordinarias facultades. Se diverta entreteniendo a sus amigos con

Objetivos del mdulo

1. Presentar las series numricas como una sucesin de sumas parciales. 2. Determinar la convergencia o divergencia de una serie usando la definicin.

Preguntas bsicas
1. Pruebe que

2
n=0

1
n

= 2.
47 . 99

2. Use la serie geomtrica para probar que 0.474747... =

Introduccin
Cuando se hace referencia a una serie infinita se quiere expresar la suma de un nmero infinito de trminos constantes. Como se sabe, la suma entre nmeros reales es una operacin binaria, es decir, slo se pueden sumar dos nmeros reales para producir un nmero real. As, cuando se quiere la suma 3 + 5 + 4 + 8, la propiedad asociativa permite escribir: 3 + 5 + 4 + 8 = (3 + 5) + (4 + 8) = 8 + 12 = 20. Pero, qu significa sumar un nmero infinito de nmeros reales? Y adems, es el resultado de la suma anterior un nmero real? Estas dos preguntas son las que trataremos de resolver en el desarrollo de este mdulo.

Elementos bsicos de clculo integral y series

331

Captulo 5: Series numricas

teoremas y frmulas, recitando la lista completa de las races snscritas y repitiendo los valores de pi y de la raz cuadrada de 2 con cualquier nmero de cifras decimales. Su primer contacto con la matemtica formal le lleg de la mano de Sinopsis de las matemticas puras cuando tena quince aos y estaba en el sexto grado de escuela. El libro, perteneciente a la biblioteca del colegio del gobierno local, se lo consigui prestado un amigo. Ante l se despert el genio de Ramanujan, quien se puso inmediatamente a demostrar sus frmulas. Cada solucin era un autntico trabajo de investigacin original, ya que careca de cualquier tipo de ayuda. Primero ide mtodos para construir cuadrados mgicos, despus se dedic a la geometra, donde trat la cuadratura del crculo y lleg incluso a establecer un valor de la longitud del crculo ecuatorial de la Tierra que difera del verdadero slo por unos pocos pies. Despus dirigi su atencin al lgebra porque encontraba limitado el campo de la geometra. En 1911 se public su primer trabajo en el Journal of the Indian Mathematical Society y el mismo ao public su primer artculo largo sobre algunas propiedades de los nmeros de Bernoulli. Al ao siguiente colabor en la misma revista con algunos problemas y dos notas. Entonces, un matemtico amigo suyo, con conexiones en Londres, convenci a un ingeniero ingls sobre el trabajo de Ramanujan, lo que permiti que ste entablara correspondencia con Hardy, miembro entonces del Trinity College de la Universidad de Cambridge. Hardy le consigui una beca para Cambridge y Ramanujan viaj a Gran Bretaa. Hardy escribira despus: Haba un gran rompecabezas: qu mtodo deba seguirse para ensearle matemticas modernas? Las limitaciones de su conocimiento eran tan asombrosas como su profundidad. Era un hombre que poda trabajar con ecuaciones modulares y teoremas de multiplicacin compleja, con medios desconocidos, pero nunca haba odo hablar de una funcin doblemente peridica o del teorema de Cauchy ni tena la ms remota idea de lo que era una funcin de variable compleja. Describa nebulosamente su concepto acerca de lo que constitua una demostracin matemtica. Haba obtenido todos sus resultados, nuevos o viejos, verdaderos o falsos, por un proceso mixto de demostracin, intuicin e induccin, del cual era completamente incapaz de dar cualquier razn coherente. Era imposible pedir a este hombre que se

27.1 Definiciones y primeros ejemplos de series

Definiciones i. Sea {an } una sucesin de nmeros reales y formemos otra sucesin

{sn } de la siguiente forma:

s1 = a1 s2 = a1 + a2 = s1 + a2 s3 = a1 + a2 + a3 = s2 + a3 s4 = a1 + a2 + a3 + a4 = s3 + a4
Primera suma parcial Segunda suma parcial Tercera suma parcial Cuarta suma parcial

sn = a1 + a2 + a3 + ... + an 1 + an = sn 1 + an n-sima suma parcial

A la sucesin {sn } de sumas parciales se le llama serie infinita o serie de trminos constantes, y a los elementos {an } se les llama trminos de la serie. Comnmente se denota la serie {sn } por el smbolo

a
n =1

y en lo sucesivo

haremos referencia a ello diciendo: Considere la serie:

a
n =1

= a1 + a2 + a3 + ... + an + ...

pero sin perder de vista el hecho de que una serie es una sucesin de sumas parciales. ii. Si existe s tal que nlim sn = s, se dice que la serie: +

a
n =1

= a1 + a2 + a3 + ... + an + ...

es sumable o que la serie es convergente y en este caso podemos escribir:

a
n =1

= a1 + a2 + a3 + ... + an + ... = s.

iii.

Si la sucesin {sn } diverge, se dice entonces que la serie an diverge. De

n =1

esta manera, nuestra definicin nos dice que una serie converge si y slo si la sucesin de sumas parciales converge. Como una sucesin puede ser convergente o no, entonces una serie puede tener una suma o no tenerla. As tambin, al ser una serie una sucesin, la teora y resultados del mdulo anterior se aplican a las series infinitas de trminos constantes.

332

Mdulo 27: Series de trminos constantes Observacin Cuando se tiene una serie numrica lo que realmente interesa acerca de ella es saber si converge o no y para ello se establecern en los mdulos siguientes los criterios de convergencia y divergencia de series. El problema de determinar la suma de una serie convergente se puede resolver en muy pocos casos. Los tres ejemplos siguientes ilustran la situacin en la cual se puede determinar la suma cuando las series dadas son convergentes.
sometiera a una instruccin matemtica, que intentara aprender de nuevo matemticas desde el principio. En Cambridge, Ramanujan public una veintena de artculos, la mayora de ellos relativos a la teora analtica de los nmeros. En 1918 fue elegido miembro de la Royal Society, pero su incipiente tuberculosis y una subvencin de la Universidad de Madrs lo indujeron a regresar a su pas. La teora de funciones, las series potenciales y la teora de nmeros fueron los campos matemticos en los que ms destac. Tena, por supuesto, una memoria extraordinaria. Poda recordar las caractersticas de los diferentes nmeros de una manera casi misteriosa. Tal vez fue un seor Littlewood quien seal que cada entero positivo era uno de sus amigos personales. Alguna vez alguien fue a verle cuando yaca enfermo en Putney (Inglaterra). Se cuenta que el visitante haba viajado en el taxi nmero 1729 y le coment que el nmero le pareca ms bien inspido y esperaba que no le fuera de mal agero. No contest Ramanujan, es un nmero muy interesante. Es el ms pequeo expresable como suma de dos cubos de dos maneras diferentes. En la primavera de 1917 comenz a manifestarse su tuberculosis. En el verano se traslad a un sanatorio de Cambridge y ya nunca lleg a disfrutar de un largo periodo fuera de la cama. Pas por sanatorios en Wells, Marlock y Londres sin mejora significativa hasta el otoo de 1918. Estimulado probablemente por su eleccin para la Royal Society de Londres, reanud el trabajo activo, produciendo en esa poca algunos de sus mejores teoremas. A principios de 1919 volvi a la India, donde muri al ao siguiente. En 1923 Hardy edit el captulo XII del segundo cuaderno de Ramanujan sobre series hipergeomtricas que contena 47 teoremas principales, muchos seguidos por corolarios y casos particulares, pero el desarrollo de su obra an no ha concluido. El ltimo cuaderno de notas, el cuaderno perdido, encontrado en 1976, contena las 600 frmulas escritas durante su ltimo ao de vida. Considerado, junto con Euler y Gauss, como uno de los ms grandes matemticos de todos los tiempos, nos dej unos 4000 teoremas, a pesar de su corta vida.

27.2 Ejemplo 1: la serie geomtrica

Sean a 0 , r . La serie:

ar
n =1

n 1

= a + ar + ar 2 + ... + ar n 2 + ar n 1 + ...

(1)

se conoce como serie geomtrica de primer trmino a y razn o radio r. Analice la convergencia o divergencia de la serie (1). Solucin Procederemos con el nico recurso que tenemos a disposicin, que es la definicin. Distinguiremos varios casos, pero antes tngase en cuenta que la sucesin de
n 1 2 3 trminos de la serie es {ar } . Es decir, {a, ar , ar , ar ,...} .

Caso 1:

r = 1 . Esto es, r = 1

n 1 Si r = 1, los trminos de la sucesin {a 1 } vienen dados por a, a, a, a, As,

sn = na y nlim na = (diverge). +
n 1 Si r = 1, los trminos de la sucesin {a ( 1) } vienen dados por a, a, a, a,

As que,
0 si n es par sn = a si n es impar

Luego nlim sn no existe. Por tanto, la serie + Caso 2: r 1 En este caso, los trminos de la sucesin

ar
n =1

n 1

diverge si r = 1 .

{ar } = {a, ar , ar
n 1

, ar 3 ,...}

Elementos bsicos de clculo integral y series

333

Captulo 5: Series numricas dan lugar a las siguientes sumas parciales:

s1 = a s2 = a + ar
Vea el mdulo 27 del programa de televisin Elementos bsicos de clculo integral y series

s3 = a + ar + ar 2 s4 = a + ar + ar 2 + ar 3

sn = a + ar + ar 2 + ar 3 + ... + ar n 2 + ar n 1

(2)

De aqu:
rsn = ar + ar 2 + ar 3 + ar 4 ... + ar n 1 + ar n .

(3)

Restando miembro a miembro las igualdades (2) y (3) se obtiene:

sn rsn = a ar n sn = a (1 r n ). 1 r

(4)

Lo que interesa ahora es calcular nlim sn usando (4) y as determinar la naturaleza de + la serie geomtrica cuando r 1 . Esto es,
lim sn = lim a (1 r n ). 1 r

n +

n +

Si r < 1 , y como lim 1 = 1 y lim r n = 0 (teorema 5, mdulo 26), entonces

n+
n +

n +

lim sn =

a 1 r

y la sucesin de sumas parciales converge y en consecuencia la serie (1) converge.

a (1 r n ) y la sucen + 1 r sin de sumas parciales diverge y en consecuencia la serie (1) diverge.

Si r > 1 , como lim r n = , entonces nlim sn = nlim + +

En conclusin:

La serie geomtrica i.

ar
n =1

n 1

= a + ar + ar 2 ... + ar n 1 + ...

Converge si r < 1, y en este caso podemos escribir:

ar
n =1

n 1

= a + ar + ar 2 ... + ar n 1 + ... =

a . 1 r

334

Mdulo 27: Series de trminos constantes ii. Diverge si r 1.

n 1

2 As por ejemplo, la serie 5 3 n =1

= 5

10 20 40 + + ... es una serie 3 9 27

2 < 1, y por tanto es una serie conver3 gente. Adems, se puede afirmar en este caso que:

geomtrica de primer trmino a = 5 y r =

2 5 3 n =1

n 1

5 = 3. 2 1 3
n

3 Tambin, la serie 4 puede transformarse en una serie geomtrica escrin =1 2 biendo:

4 2 = 4 2
n =1 n =1

n 1+1

3 3 = 4 n =1 2 2

n 1

3 = 6 n =1 2

n 1

la cual corresponde a una serie geomtrica de primer trmino a = 6 y r = que es divergente.

3 >1 y 2

1 1 1 1 1 2 = 2 + 4 + 8 + 16 + ... puede escribirse como una serie geomtrica n =1 en la forma:

La serie

1 1 2 = 2 n =1 n =1

n 1+1

1 1 = n =1 2 2

n 1

que corresponde a la serie geomtrica con a = As que

1 n 1 1 1 1 2 = 2 + 4 + 8 + ... = 2 1 = 1 . n =1 1 2

1 1 yr = . 2 2

Copo esffico Fractal generado por computador por Eric Haines. (Un fractal es una figura plana o espacial compuesta por un nmero infinito de elementos, con la propiedad de que tanto su aspecto como su distribucin estadstica son invariables cualquiera sea la escala mediante la cual se observe.)

Es decir:
1 1 1 1 + + + + ... = 1, 2 4 8 16

suma infinita que es siempre posible de recordar con el diagrama de la figura 27.1.

Elementos bsicos de clculo integral y series

335

Captulo 5: Series numricas

Figura 27.1. Diagrama de la suma infinita

1 1 1 1 + + + + ... = 1 2 4 8 16

Las series geomtricas son ejemplos tpicos de series convergentes y divergentes y sern de gran utilidad en el prximo mdulo, donde se establecen los criterios de convergencia y divergencia.

27.3 Ejemplo 2: la serie telescpica

Analice la convergencia o divergencia de la serie:

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

n =1

(1)

Solucin
1 1 1 1 , , ,... , que da lugar a la siguiente = Considere la sucesin n(n + 1) 1 2 2 3 3 4 sucesin de sumas parciales:

s1 =
s2 =

1 1 2
1 1 + 1 2 2 3

s3 =

1 1 1 + + 1 2 2 3 3 4

sn =

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

Se puede demostrar usando induccin matemtica que

sn = 1 1 1 1 n + + + ... + = . 1 2 2 3 3 4 n(n + 1) n + 1
n = 1. n +1

(2)

Luego
n +

lim sn = lim

n +

336

Mdulo 27: Series de trminos constantes En consecuencia, la serie (1) converge y podemos escribir:

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

n =1

1 Otra tcnica para demostrar (2) consiste en descomponer n(n + 1) en fracciones

parciales. Esto es,

1 1 1 = . n ( n + 1) n n + 1

As que la serie (1) puede escribirse de la forma:

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

n =1 n =1

1 1 1

y para la cual la n-sima suma parcial sn viene dada por

1 1 1 1 1 1 1 1 sn = + + + ... + 1 2 2 3 3 4 n n + 1 1 1 1 1 1 1 1 1 1 = 1 + + + + + + + ... + + 2 2 3 3 4 4 n n n +1 1 n . = 1 = n +1 n +1

27.4

Ejemplo 3: series aritmtico-geomtricas

Considere la serie de la forma:

a b
n =1

n n

= a1b1 + a2 b2 + a3b3 + ... + an bn + ...,

(1)

donde los ai estn en progresin aritmtica de diferencia d y los bi estn en progresin geomtrica cuya razn r satisface r < 1 . Este tipo de series se conocen con el nombre de series aritmtico-geomtricas. Una frmula que se puede deducir para el lmite de la n-sima suma parcial viene dada por:
lim sn = a1b1 b rd + 1 . 1 r (1 r )2

n +

Elementos bsicos de clculo integral y series

337

Captulo 5: Series numricas De lo anterior se deduce que cualquier serie aritmtico-geomtrica es convergente y puede determinarse la suma. As por ejemplo, la serie
(2n 1) 1 3n 1 = (2n 1) 3 n =1 n =1
n 1

es una serie aritmtico-geomtrica convergente, puesto que {2n 1} forma una

1 n1 progresin aritmtica de primer trmino a1 = 1 y d = 2 y adems 3 forma

1 una progresin geomtrica de primer trmino b1 = 1 y r = < 1. 3

En consecuencia,

1 1 2 1 1 8 14 3 + = 2+ = . lim sn = n + 1 1 2 3 3 1 1 2 2
De esta forma, la serie converge y adems podemos escribir:

(2n 1) 14 = . 3n 1 3 n =1

338

Criterios de convergencia y divergencia de series

Contenidos del mdulo
28.1 28.2 28.3 28.4 28.5 28.6 28.7 28.8 Condicin necesaria para la convergencia de series Criterio de divergencia de series Criterio de la integral Criterio de comparacin y comparacin en el lmite Criterio del cociente Criterio de la raz Criterio de Raabe lgebra de series convergentes

28
Gerardus Mercator Mercator, considerado como padre de la cartografa moderna, naci en Amberes el 5 de marzo de 1512 y falleci el 2 de diciembre de 1594. Mercator es la latinizacin de su nombre, que significa mercader, porque su verdadero nombre de pila es Gerard de Cremere (o Kremer). Aunque nunca viaj mucho, desde muy joven Mercator desarroll un gran inters en la geografa como un medio de ganarse la vida. Mientras vivi en Leuven, su ciudad natal, trabaj junto al astrnomo, matemtico y cartgrafo Reginer Gemma Frisius y el cartgrafo Gaspar Myrica en la construccin de un globo terrqueo. Mercator curs estudios en la Universidad de Lovaina y se gradu en geografa, geometra y astronoma. Luego se dedic al grabado de mapas y cartas de navegar. Trabaj en la realizacin de un mapa de Europa que complet en 1554 y tambin se dedic a ensear matemtica. Realiz algunos otros mapas y, finalmente, fue nombrado cosmgrafo de la corte de Blgica, en 1564. Durante estos aos concibi la idea de una nueva proyeccin para su uso en los mapas, que us por primera vez en 1569; lo novedoso era que las lneas de longitud eran paralelas, lo cual facilitaba la navegacin por mar al poderse marcar las direcciones de las brjulas en lneas rectas. Mercator fue uno de los primeros en utilizar la palabra atlas para designar a un conjunto de mapas y estimul al cartgrafo y gegrafo holands Abraham Ortelius a hacer el primer atlas moderno, Theatrum orbis terrarum , publicado en 1570. Posteriormente Mercator produjo su propio atlas en varios tomos, el primero de los cuales sali a la luz en 1578 y consista en una versin corregida de los mapas de Ptolomeo. Despus public mapas de

Objetivos del mdulo

1. Establecer los criterios de convergencia y divergencia de series. 2. Mostrar cmo usar los criterios con algn xito en casos particulares.

Preguntas bsicas
1. Es posible encontrar dos series an y
n =1

b , divergentes ambas y tales que

n=1 n

(a
n =1

+ bn ) sea divergente?

2. Es posible encontrar dos series

a
n =1

b , divergentes ambas y tales que

n =1 n

(a
n =1

+ bn ) converge? Trate de hallarlas.

3. Puede compararse en el lmite una serie consigo misma y as determinar su convergencia o divergencia?

Introduccin
De acuerdo con las definiciones establecidas en el mdulo anterior, si se quiere saber si una serie

a
n =1

converge lo que se debe hacer es analizar la convergencia

Elementos bsicos de clculo integral y series

339

Captulo 5: Series numricas

Francia, Alemania, Holanda, los Balcanes y Grecia. El Museo Mercator en San Nicols, en Blgica, tiene una exposicin permanente con trabajos sobre su vida y legado. Las proyecciones Una proyeccin puede definirse como una red de paralelos y meridianos sobre la cual puede ser dibujado un mapa. Para trazar las proyecciones se emplean actualmente clculos matemticos muy precisos, pero la idea general se basa en la proyeccin de las sombras de los meridianos y paralelos de una esfera sobre una superficie que puede convertirse en plana sin deformaciones, tal como la superficie cilndrica o la cnica. Hay tres tipos bsicos de proyeccin: cilndrica, cnica y polar. Cada una de ellas ha dado lugar a muchas otras basadas en clculos matemticos. Entre las ms usuales figura la Proyeccin Mercator , creada por Mercator, favorita de los marinos. En ella, las direcciones o rumbos magnticos pueden trazarse en lnea recta sobre el papel. Los meridianos y paralelos se cortan en ngulos rectos. Los meridianos estn a igual distancia, los paralelos se alejan hacia los polos y las tierras rticas aparecen exageradas. Corresponde al tipo cilndrico, aunque modificado.

de la sucesin {sn } , donde sn = ak . Como vimos en los ejemplos del mdulo 27,
k =1

es posible obtener una frmula para s n que nos facilita los clculos de paso al lmite. Sin embargo, en la mayora de los casos no es posible obtener una frmula para s n que nos sirva para determinar la convergencia de la sucesin {s n } . Por esta razn es conveniente desarrollar criterios para la convergencia de la serie

a
n =1

conociendo el comportamiento de los trminos de la sucesin {an } . Esto es lo que nos proponemos presentar en este mdulo.

340

Mdulo 28: Criterios de convergencia y divergencia de series

28.1 Condicin necesaria para la convergencia de series

El siguiente teorema establece una condicin necesaria para la convergencia de una serie. Teorema 1

Si la serie

a
n =1

converge, entonces nlim an = 0. +

Demostracin

Supongamos que la serie

a
n =1

converge y veamos que nlim an = 0. +

Si

a
n =1

converge, entonces existe s tal que:

n +

lim sn 1 = lim sn = s.
n +

Ahora, an = sn sn 1. As que
lim an = lim ( sn sn 1 ) = s s = 0.
n +

n +

Observaciones i. El recproco del teorema anterior no siempre se cumple, es decir que si lim an = 0, no siempre la serie
n +

a
n =1

es convergente, como se ilustra en

el ejemplo 2 de este mdulo con la serie

1 1 y para la cual nlim an = nlim = 0. + + n n =1 n

Sin embargo, y como se demuestra all, la serie es divergente. ii. El teorema 1 en su forma directa no tiene mucha utilidad, puesto que para una serie dada nos interesa es conocer si converge o diverge. Por esta razn, la forma contrarrecproca del teorema proporciona un criterio de divergencia de series.

Vea el mdulo 28 del programa de televisin Elementos bsicos de clculo integral y series

Elementos bsicos de clculo integral y series

341

Captulo 5: Series numricas

28.2 Criterio de divergencia de series

Teorema 2: Criterio de divergencia

Si lim an 0, entonces
n +

a
n =1

diverge.

Recomendacin En lo sucesivo, cuando se pida analizar la convergencia o divergencia de una serie

a
n =1

(si no es geomtrica, ni telescpica, ni aritmtico-geomtrica), se recomienda

n+

analizar inicialmente lim an . Si lim an 0, concluimos directamente del teorema 2 que la serie
n + n +

a
n =1

diverge;

pero si lim an = 0, no puede afirmarse nada acerca de la convergencia o divergencia y debe analizarse otro criterio. Ejemplo 1 Analice la convergencia o divergencia de las siguientes series: a.

n =1

n 4n 2 + 1

b.

(3n 2)(3n + 1).

n=2

Solucin a. Teniendo en cuenta la recomendacin anterior, se tiene que:

n +

lim an = lim

n 4n 2 + 1

n +

= lim

n +

n n (dividiendo el numerador y el denominador por n). 4n 2 + 1 n

1 4+ 1 n = lim 1 4+ 1 n2 = 1 0. 2

= lim

n +

n +

Como lim an 0, se concluye entonces por el teorema 2 que la serie

n +

n =1

n 4n 2 + 1

diverge.

342

Mdulo 28: Criterios de convergencia y divergencia de series b. En primer lugar lim

3 = 0. Este hecho no permite concluir (3n 2)(3n + 1)

n +

algo con respecto a la convergencia o divergencia de la serie. Sin embargo,

3 al descomponer en fracciones parciales la fraccin (3n 2)(3n + 1) se tiene 3 1 1 = (3n 2)(3n + 1) 3n 2 3n + 1

transformando la serie inicial en la serie telescpica

3n 2 3n + 1 y
n =1

cuya n-sima suma parcial sn viene dada por sn = 1 lo cual indica que la serie dada es convergente.

1 y lim sn = 1, 3n + 1 n+

28.3 Criterio de la integral

El siguiente teorema, de fcil uso cuando los trminos de una serie

a
n =1

son

positivos y forman una sucesin decreciente, relaciona las series con las integrales impropias presentadas en el mdulo 17. Teorema 3: Criterio de la integral

Sea

a
n =1

una serie de trminos positivos y tal que {an } es una sucesin decre-

ciente (an an+1 para todo n 1), y sea f (n) = an . Entonces: i. Si

+ 1

f ( x) dx converge, entonces

a
n =1 n

tambin converge.

ii.

Si

+ 1

f ( x) dx diverge, entonces

a
n =1

tambin diverge.

Demostracin Como {an } es una sucesin decreciente, entonces la funcin asociada f (x) es decreciente; las grficas de las figuras 28.1a y 28.1b ayudan a comprender la demostracin.

Elementos bsicos de clculo integral y series

343

Captulo 5: Series numricas

Figura 28.1. a. Rectngulos inscritos. b. Rectngulos circunscritos

i.

La suma de las reas de los rectngulos inscritos denotada por AI viene dada por a2 + a3 + a4 + ... + an 1 + an = AI . Adems el rea real bajo la curva y = f (x) en el intervalo [1, n] es: (1)

A = f ( x) dx.
1

(2)

De (1) y (2) se tiene que

AI < A a2 + a3 + a4 + ... + an < f ( x) dx

1

a1 + a2 + a3 + a4 + ... + an < f ( x) dx + a1
1

sn < f ( x) dx + a1 .
1

Tomando lmite cuando n en ambos lados de la ltima desigualdad se tiene:

n +

lim sn < lim

n +

n 1

f ( x) dx + a1 .

Como por hiptesis

+ 1

f ( x) dx converge, esto significa que lim

n +

n 1

f ( x) dx

es un nmero real I. En consecuencia, la ltima desigualdad puede escribirse como lim sn < I + a1 , lo que significa que todas las sumas parciales de
n +

la serie

a
n =1

estn acotadas por (I + a 1), lo que indica que la serie

converge y su suma es menor o igual a ( I + a1 ). ii. La suma de las reas de los rectngulos circunscritos denotada por AS viene dada por a1 + a2 + a3 + a4 + ... + an 1 + an = AS . (3)

Adems, el rea real exacta bajo la curva y = f ( x) en el intervalo [1, n + 1] es:

344

Mdulo 28: Criterios de convergencia y divergencia de series

A=

n +1 1

f ( x) dx.

(4)

De (3) y (4) se tiene que

AS > A a1 + a2 + a3 + a4 + ... + an >

sn >
n +1 1

n +1 1

f ( x) dx

f ( x) dx.

Tomando lmite cuando n + en ambos lados de la ltima desigualdad y teniendo en cuenta que la integral

+ 1

f ( x) dx tiende a +, se deduce

que sn crece sin lmite y esto significa que la serie Observacin

a
n =1

diverge.

Puede llegar a suceder que para una serie dada la sucesin {an } sea decreciente a partir de cierto valor p > 1. En este caso los primeros trminos de la serie no influyen en la convergencia o divergencia de la serie (pero s en su suma cuando sea convergente). Cuando esto sucede, se analiza la convergencia o divergencia de la integral impropia

+ p

f ( x) dx, y si resulta ser convergente se puede garantizar que:

+ p

a
n =1 n

f ( x) dx + (a1 + a2 + ... + a p ).

Ejemplo 2 Analice la convergencia o divergencia de la serie:

n = 1 + 2 + 3 + 4 + 5 + ... (serie armnica)

n =1

Solucin

n es una serie de trminos positivos y

n =1

1 es una sucesin decreciente n

an an +1

1 1 n + 1 n (para todo n). n n +1

1 . n

Sea f ( n) = an =

Consideremos entonces la integral impropia

+ 1

f ( x) dx, es decir:

Elementos bsicos de clculo integral y series

345

Captulo 5: Series numricas

La escuela pitagrica y la serie armnica La escuela pitagrica prest mucha atencin al desarrollo de la msica como ciencia abstracta y estableci relaciones entre el tono y la longitud de una cuerda vibrante. Observaron que las armonas musicales se correspondan con relaciones entre nmeros naturales. Por ejemplo, la relacin 1 2 produce el armnico que es el doble de la frecuencia fundamental, y 1 3 produce el armnico que es el triple, etc. Se llama frecuencia fundamental el tono o paso ms bajo que se oye al pulsar una cuerda.

+ 1

b1 1 dx = lim dx b + 1 x x

= lim [ ln x ]1
b + b +

= lim [ ln b ln1]1 = lim ln b +.

b b +

Puesto que

+ 1

1 dx diverge, se concluye del teorema 3ii que la serie x

n
n =1

tam-

bin diverge.

Ejemplo 3 Analice la convergencia o divergencia de la serie gente determine una cota para la suma.
n3 , y en caso de ser convern n =1 e

Solucin
n3 n3 La serie n es una serie de trminos positivos y e n es una sucesin decre n =1 e

ciente (an an+1 para todo n 3). Esta afirmacin puede verificarla el estudiante considerando la funcin f ( x) =

x3 y analizando el signo de la primera derivada. ex

Consideremos entonces la integral impropia

+ 3

x3 dx . Es decir, ex

+ 3

x 3 e x dx = lim

b +

b 3

x3 e x dx
b

x3 3x 2 6 x 6 = lim b + ex 3 b3 3b 2 6b 6 78 = lim + 3 . b + eb e

Pero lim

b3 3b 2 6b 6 = 0 (usando la regla de LHopital). b + eb

Luego

+ 3

x 3 e x dx =

78 3.88. e3

Por tanto, la integral impropia

+ 3

x3 dx converge, y de acuerdo con el teorema 3i ex

346

Mdulo 28: Criterios de convergencia y divergencia de series se concluye que

e
n =1

tambin converge.

Adems se puede garantizar, de acuerdo a la observacin del teorema 3, que

e
n =1

n3
n

78 1 8 27 + + + 6.66764... e3 e e 2 e 3

El siguiente ejemplo de aplicacin del criterio de la integral resuelve el problema de la convergencia o divergencia de una infinidad de series. Ejemplo 4 Sea p > 0. La serie:

n
n =1

1
p

= 1+

1 1 1 + p + p + ... p 2 3 4

se llama serie-p o p-serie. Analice la convergencia o divergencia de la serie-p.

Solucin

1 En primer lugar, puede demostrarse fcilmente que la sucesin p , con p > 0, n es decreciente.
Sea f (n) =
1 y considere la integral impropia np

+ 1

1 dx. xp

Se sabe que

+ 1

ln b si 1 dx = lim 1 1 p b + xp p 1 1 b si

p =1 p 1

(ejemplo 2, mdulo 17).

Analicemos cada uno de los casos que se presentan.

Caso 1: p =1
1 dx = lim ln b + y la integral impropia diverge, y en conb + xp secuencia la serie tambin diverge.

En este caso

Elementos bsicos de clculo integral y series

347

Captulo 5: Series numricas Caso 2: 0 < p < 1 Como p 1,

+ 1

1 1 1 b1 p dx = lim b + p 1 xp 1 = lim 1 b1 p . p 1 b +

Pero lim 1 = 1 y lim b1 p = + (puesto que 1 p > 0). En consecuencia,

b+
b +

+ 1

1 1 lim 1 b1 p + dx = xp p 1 b +

y la integral impropia diverge y por tanto la serie tambin diverge. Caso 3: p > 1 Nuevamente, como p 1 ,

+ 1

1 1 lim 1 b1 p . dx = xp p 1 b +

Pero lim 1 = 1 y lim b1 p = 0 (puesto que 1 p < 0). De esta manera,

b+
b +

+ 1

1 1 , lo cual indica que la integral impropia converge y en consecuendx = p x p 1

cia la serie

n
n =1

1
p

tambin converge.

En conclusin:

La serie-p

n
n =1

1
p

= 1+

1 1 1 + p + p + ... diverge si 0 < p < 1. p 2 3 4

La serie-p

n
n =1

1
p

= 1+

1 1 1 + p + p + ... converge si p > 1 . p 2 3 4

En este ltimo caso se puede garantizar adems que:

n
n =1

1
p

= 1+

1 1 1 1 + + + ... + 1. 2 p 3p 4 p p 1

Es decir,

n
n =1

1
p

p . p 1

348

Mdulo 28: Criterios de convergencia y divergencia de series As: La serie armnica

n = 1 + 2 + 3 + 4 + 5 + ... es una serie-p, con

n =1

p =1,

y por tanto es divergente.

La serie

n tanto es divergente.
n =1

1
3

= 1+

1
3

1
3

1
3

+ ... es una serie p, con p = 1 < 1, y por 3

La serie

n
n =1

= 1+

1 1 + + ... es una serie-p, con p = > 1, y por 2 3

tanto es convergente.

28.4 Criterio de comparacin y comparacin en el lmite

Cuando los trminos de una serie

a
n =1

son no negativos, entonces la sucesin

{sn } de sumas parciales es creciente. En consecuencia, la serie dada an

n =1

conver-

ge a un valor s o diverge a segn que la sucesin {sn } est acotada o no. El criterio de comparacin y su corolario (comparacin en el lmite), que enunciamos a continuacin sin ninguna demostracin, constituyen la prueba bsica para determinar la convergencia o divergencia de series con trminos no negativos. Teorema 4: Criterio de comparacin

Sea

a
n =1
n

una serie trminos positivos cuya naturaleza se desea determinar, y sea

b
n =1

una serie de trminos positivos cuya naturaleza conocemos. Entonces:

i.

Si an bn para todo n p , y converge.

b
n =1

converge, entonces

a
n =1

tambin

ii.

Si an bn para todo n p , y diverge.

b
n =1

diverge, entonces

a
n =1

tambin

Nota: en un lenguaje informal (coloquial) el criterio de comparacin se puede expresar as: Si la serie que domina tiene un lmite s, entonces la serie dominada alcanza a lo mximo el mismo lmite s. Elementos bsicos de clculo integral y series

349

Captulo 5: Series numricas Si la serie dominada no tiene lmite, entonces la serie que domina tampoco tendr lmite. Otra forma del criterio de comparacin que es generalmente ms fcil de aplicar es el llamado criterio de comparacin en el lmite y que se enuncia a continuacin. Teorema 5: Criterio de comparacin en el lmite

Sea

a
n =1

una serie de trminos positivos cuya naturaleza se desea determinar, y

sea

b
n =1

una serie de trminos positivos cuya naturaleza conocemos.

an = k . Entonces: bn

Considere el lmite lim

n +

i.

Si k 0 y k , ambas series tienen la misma naturaleza (ambas series convergen/divergen). Si k = 0 y

ii.

b
n =1 n =1

converge,

a
n =1

tambin converge.

iii.

Si k = y bn diverge,

a
n =1

tambin diverge.

Observaciones i. La utilidad de los criterios de comparacin en el lmite para determinar la convergencia o divergencia de una serie estriba en el hecho de tener a disposicin una cierta cantidad de series convergentes y divergentes para poder comparar. Las series del tipo

n
n =1

, p juntamente con las series geomtricas

ar
n =1

n 1

proveen una reserva adecuada de series convergentes o divergentes para su uso en el criterio de comparacin. ii. En algunas ocasiones, para usar el criterio de comparacin en el lmite es til el siguiente principio informal: Dada una serie de trminos positivos

a
n =1

cuya naturaleza deseamos conocer, considrese entonces para com-

parar la serie

b , cuyo trmino general b

n=1 n

se obtiene eliminando de an

todas las potencias menores sin tener en cuenta las constantes.

Ejemplo 5 Analice la convergencia o divergencia de las siguientes series:

350

Mdulo 28: Criterios de convergencia y divergencia de series a.

5n
n =1

n+2 . + 2n + 1

b.

3n 2 2 n + 4n . n =1

Solucin a. Usemos el principio informal:

n 1 n+2 ; entonces, bn = 3 = 2 (resulta de an al eliminar en n n 5n + 2n + 1 el numerador y el denominador las potencias menores de n).

Sea an =

As que si deseamos conocer la convergencia o divergencia de la serie

a = 5n
n =1 n n =1

n+2 + 2n + 1

la comparamos en el lmite con

bn =
n =1

1 2 (serie p = 2 > 1 , convergente). n =1 n

Para ello considere el siguiente lmite:

n+2 3 2 an 5n3 + 2n + 1 = lim n + 2n = 1 . lim = lim n + b n + n + 5n3 + 2n + 1 1 5 n 2 n

Como lim

an 1 = 0 , entonces, de acuerdo con el teorema 5i, ambas sen + b 5 n

ries tienen la misma naturaleza, y puesto que

n
n =1

1
2

converge, se concluye

que la serie

5n
n =1

n+2 tambin converge. + 2n + 1

b.

Usemos nuevamente el principio informal: Sea an =

n 3n 2 3n 3 ; por tanto, bn = n = . 2n + 4n 2 2

As que para conocer la convergencia o divergencia de

an =
n =1

3n 2 n n =1 2 + 4n

Elementos bsicos de clculo integral y series

351

Captulo 5: Series numricas la comparamos en el lmite con la serie

3n 3 = n. 2 n=1 2 n =1 n

an Consideremos entonces el siguiente lmite: nlim b . + n

3n 2 n a 2n (3n 2) lim n = lim 2 + 4n = lim n n n n + b n + n + 3 (2 + 4n) 3 n n 2

3n 2 2n n 3 = lim n n (dividiendo numerador y denominador por 3n ) n + 3 ( 2 + 4n ) 3n

2 2n 1 n 3 = lim n n + 2 + 4n ) (
2n 2 = lim n 1 n n + 2 + 4n 3 = 11 = 1 0.

De acuerdo entonces con el teorema 5i ambas series tienen la misma natura 3 3 leza, y como diverge (serie geomtrica con r = > 1 ), se conclun =1 2 2 n

ye que la serie

2
n =1

3n 2 tambin diverge. n + 4n

28.5 Criterio del cociente

Formulemos ahora la siguiente pregunta: Puede compararse en el lmite una serie consigo misma y as determinar su convergencia o divergencia? El criterio del cociente que presentamos a continuacin da la respuesta, a grandes rasgos, de la pregunta anterior. Teorema 6: Criterio del cociente Sea

a
n =1

una serie de trminos positivos y considere el lmite lim

n +

an +1 = . an

352

Mdulo 28: Criterios de convergencia y divergencia de series Entonces: i. ii. iii. Si < 1 , la serie converge. Si > 1 , la serie diverge. Si = 1 , el criterio no proporciona informacin y debe analizarse su naturaleza usando otro criterio.

Observaciones i. No demostraremos el teorema; sin embargo, un anlisis sencillo hace ver el resultado del teorema como algo trivial. En efecto, si lim
n +

an +1 = , entonces an +1 an , aproximacin que indica an

que la serie se comporta como una serie geomtrica, cuya razn es , y sabemos que cuando > 1 la serie geomtrica diverge. ii. El criterio del cociente no proporciona informacin con respecto a la convergencia o divergencia si an es una funcin racional, puesto que siempre
n +

lim

an +1 = 1. an

iii.

El criterio del cociente casi siempre proporciona informacin con respecto a la convergencia o divergencia si el trmino an contiene factoriales (n!), formas exponenciales ( a n ), potencias de potencias ( n n ) o combinaciones de las formas anteriores.

Ejemplo 6 Use el criterio del cociente para establecer la convergencia o divergencia de las series dadas:
2n n ! nn . n =1

a.

b.

3 (n!) .
n =1 n 2

(2n)!

Solucin a. Considere el lmite lim

2n +1 (n + 1)! 2n n ! an+1 . , siendo an = n y an +1 = n+ a (n + 1)n +1 n n

Elementos bsicos de clculo integral y series

353

Captulo 5: Series numricas As que

n +

lim

an +1 an

2n +1 (n + 1)! (n + 1) n +1 = lim n + 2n n ! nn 2n 2(n + 1)!n n = lim n n + 2 n !( n + 1) n +1 1 n = lim 2 = 2 nlim n n + + n +1 1 1+ n 1 = 2 . e

2 n ( n)! converge. n n =1 ( n )

Como lim

an +1 1 = 2 < 1, se deduce que la serie n + a e n

b.

Sea an =

(2n)! (2(n + 1))! . Entonces, , an +1 = n +1 n 2 3 (n !) 3 ((n + 1)!)2

an +1 (2n + 2)! 3n ( n !) 2 = lim . n + a n + 3 3n (( n + 1)!) 2 (2n)! n lim

Pero
(2n + 2)! = (2n + 1)(2n + 2). (2n)!

Adems,
n! (n !) 2 1 = . = 2 ((n + 1)!) (n + 1) 2 (n + 1)!
2

Luego
a 1 (2n + 2)! n ! lim n +1 = lim n + a n + 3 (2n)! (n + 1)! n 1 (2n + 1)(2n + 2) = lim 3 n + ( n + 1) 2 1 4 n 2 + 6n + 2 4 = lim 2 = . 3 n + n + 2n + 1 3
2

354

Mdulo 28: Criterios de convergencia y divergencia de series Como lim

n +

an +1 4 = > 1 , se concluye de la parte ii del teorema 6 que la serie an 3

3 (n !)
n =1 n

(2n)!
2

diverge.

28.6 Criterio de la raz

El siguiente criterio, conocido como el criterio de la raz y estrechamente ligado con el criterio del cociente en la conclusin, es til para determinar la convergencia o divergencia de series cuyo trmino general contenga slo potencias de n, como nn o an. Teorema 7: Criterio de la raz

Sea

a
n =1

una serie de trminos positivos y considere el lmite nlim n an = . En+

tonces: i. ii. iii. Si < 1, la serie converge. Si > 1, la serie diverge. Si = 1, el criterio no proporciona informacin y debe analizarse su naturaleza usando otro criterio.

El siguiente ejemplo ilustra el uso del criterio de la raz. Ejemplo 7 Use el criterio de la raz para establecer la convergencia o divergencia de las series dadas: a.

3
n =1

nn
n2

.
(3n + 1) n

b.

n =1

1 n 1 + (2n + 1) n

Solucin Sea an =
nn 3n
2

a.

y considere nlim n an . Es decir, +

n

n +

lim

an = lim

nn 3n
2

n +

Elementos bsicos de clculo integral y series

355

Captulo 5: Series numricas

n n = lim n n = lim n n + n + 3 3
n

= lim

n+

1 (ln 3)3n (aplicando LHopital).

=0. Como lim n an = 0 < 1, se tiene, de acuerdo con el criterio de la raz, parte i,
n +

que la serie

3
n =1

nn
n2

converge.

b.

Sea an =

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

Entonces,
lim
n

n +

an = lim

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

n + n

= lim

n +

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

= lim

n +

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

Como nlim n an = + serie

3 > 1 , se concluye del criterio de la raz, parte ii, que la 2

n =1

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

diverge.

Se pide al estudiante analizar la convergencia o divergencia de la serie del ejemplo inmediatamente anterior usando el criterio del cociente para que observe la dificultad del proceso.

28.7 Criterio de Raabe

an +1 Cuando para una serie dada falla el criterio del cociente nlim a = 1 o el criterio + n

de la raz nlim n an = 1 , el siguiente criterio suele aplicarse con xito en la determi+

356

Mdulo 28: Criterios de convergencia y divergencia de series nacin de la convergencia o divergencia de la serie dada. Teorema 8: Criterio de Raabe Sea

a
n =1

an una serie de trminos positivos y considere el lmite nlim n a 1 = . + n +1

i. ii. iii.

Si > 1, la serie es convergente. Si < 1, la serie es divergente. Si = 1, el criterio no proporciona informacin acerca de la convergencia o divergencia de la serie.

Ejemplo 8 Analice la convergencia o divergencia de la serie:

n =1

1 3 5 7 ... (2n 1) . (2n + 1) 2n n !

Solucin Por la forma del trmino n-simo nos vemos tentados a aplicar el criterio del cociente. En primer trmino,
an +1 1 3 5 7 ... (2n 1)(2n + 1) (2n + 1)2n n ! = . n +1 1 3 5 7 ... (2n 1) an (2n + 3) 2 (n + 1)!

Es decir,
an +1 (2n + 1)2 4n 2 + 4n + 1 = = 2 . 2(2n + 3)(n + 1) 4n + 10n + 6 an

As que
an +1 4n 2 + 4n + 1 = lim 2 =1 n + a n + 4 n + 10 n + 6 n lim

y el criterio del cociente nada dice acerca de la convergencia o divergencia de la serie. Apliquemos entonces el criterio de Raabe y para ello considere el lmite:
a 4n 2 + 10n + 6 1 lim n n 1 = lim n 2 n + an +1 n + 4n + 4n + 1

6n + 5 = lim n 2 n + 4 n + 4n + 1
Elementos bsicos de clculo integral y series

357

Captulo 5: Series numricas

6n 2 + 5n 6 3 = lim 2 = = . n + 4n + 4n + 1 4 2 a 3 Como lim n n 1 = > 1, el criterio de Raabe establece que la serie dada es n + an +1 2 convergente.

Los criterios establecidos hasta ahora son los de ms frecuente uso en un primer curso introductorio sobre series. Existen muchos otros criterios, como el de Kummer, el del logaritmo, el de Prinsheim, etc., que el estudiante puede encontrar en la bibliografa del final del texto.

28.8 lgebra de series convergentes

Todos los criterios dados hasta ahora han sido establecidos para series con nico trmino n-simo, pero son igualmente vlidos para series de la forma

[a
n =1

bn ].

Daremos ahora algunas propiedades de las series de nmeros reales que se corresponden con propiedades sencillas de las sumas finitas de los nmeros reales. Teorema 9: lgebra de series convergentes

Sean

a
n =1

b
n =1

dos series convergentes con sumas A y B, respectivamente, y

sea c .

i.

(a
n =1

n bn ) = an bn n =1 n =1

(es decir,

(a
n =1
n =1

bn ) converge a (A B)).

ii.

ca
n =1

= c an

(es decir,

ca
n =1

converge a cA).

Tambin son vlidos los siguientes resultados:

Si

a
n =1
n =1

diverge y c 0, entonces

ca
n =1

diverge.

Si

diverge y

b
n =1

converge, entonces

(a
n =1

bn ) diverge.

358

Convergencia absoluta y convergencia condicional

Contenidos del mdulo

29
Colin Maclaurin El matemtico escocs Colin Maclaurin naci en Kilmodan en 1698 y muri en 1746 en Edimburgo. Inici estudios superiores a la edad de once aos y fue profesor en la Universidad de Aberdeen a los diecinueve. En 1719 public Geometra orgnica, texto que puede considerarse la ms importante de sus obras y que contiene, entre otros, un original mtodo para generar las cnicas, y sent las bases para una fundamentacin lgica del clculo infinitesimal en el Tratado de las fluxiones , aparecida dos aos ms tarde. En su Tratado de lgebra, obra pstuma publicada dos aos despus de su muerte, aplic el mtodo de los determinantes a la resolucin de ecuaciones con cuatro incgnitas. Maclaurin fue amigo de Newton y se pareci a l no slo en sus ideas polticas y religiosas sino en sus concepciones cientficas. Fue precisamente Newton quien le recomend para la ctedra de matemticas de la Universidad de Edimburgo, cargo que ocup en 1725. Trisectriz de Maclaurin Esta curva fue estudiada por Maclaurin en un intento de dar solucin al problema de la triseccin del ngulo (de ah su nombre de trisectriz), lo que efectivamente consigui pero no como los antiguos griegos queran pues la curva que invent no se puede trazar slo con regla y comps. Y aunque hoy en da es realmente fcil dibujarla con mucha precisin con las nuevas tecnologas, debemos reconocer el mrito que tuvo este notable matemtico para lograrlo con las limitaciones que tena en aquellos tiempos.

29.1 Series alternas 29.2 Convergencia absoluta y convergencia condicional

Objetivos del mdulo

1. Distinguir entre series de trminos positivos y las series alternas. 2. Establecer criterios de convergencia para series alternas. 3. Hacer notar la diferenica entre convergencia absoluta y convergencia condicional.

Preguntas bsicas
1. Si una serie converge, entonces la serie converge absolutamente? 2. Dada una serie cualquiera y convergente, entonces la reordenacin de sus trminos produce nuevas series convergentes y con igual suma?

Introduccin
Todo el desarrollo terico sobre series considerado hasta aqu es aplicable solamente a series con trminos no negativos, pero las series con trminos no positivos pueden ser tratadas de la misma forma.
= ( an ) , todas las consideraciones mencionadas para n =1 n =1 series con trminos no negativos pueden aplicarse para series con trminos no positivos.

En efecto, al ser

Si

a
n =1

es una serie con trminos positivos y negativos, se puede considerar en su

lugar la serie

a
n =1

, cuyos trminos son todos no negativos y son vlidos todos

los resultados presentados en los mdulos anteriores. La convergencia absoluta o condicional de una serie est ligada a la convergencia o no de la serie formada por los valores absolutos de la serie dada.

a
n =1

Elementos bsicos de clculo integral y series

359

Captulo 5: Series numricas

29.1 Series alternas

Definicin Sea {an } una sucesin de trminos positivos. Una serie de cualquiera de las for-

Vea el mdulo 29 del programa de televisin Elementos bsicos de clculo integral y series

mas:

(1)
n =1

an = a1 + a2 a3 + a4 ... + (1)n an + ...

(1)

(1)
n =1

n +1

an = a1 a2 + a3 a4 + ... + (1) n +1 an + ...

(2)

se denomina serie alterna. Es decir, en las series alternas siempre aparece un trmino positivo seguido de un trmino negativo o viceversa. Es de observar que no todas las series que presentan en su trmino general una expresin de la forma ( 1) k an es alterna; as por ejemplo, la serie no es alterna puesto que en la serie

(1)
n =1

n ( n +1) 2

1 n2

(1)
n =1

n ( n +1) 2

1 1 1 1 1 1 = 1 + + + ... 2 4 9 16 25 36 n

aparecen dos trminos negativos, seguidos de dos trminos positivos y as sucesivamente. El siguiente teorema, que enunciamos sin demostracin y es conocido como el criterio de Leibniz, establece un criterio de convergencia para series alternas. Teorema 1: Criterio de Leibniz para series alternas

Sea

(1)
n =1

an

(1)
n =1

n +1

an una serie alterna tal que:

i. ii.

{an }
n +

es una sucesin decreciente.

lim an = 0.

La serie

(1)
n =1

an o

(1)
n =1

n +1

an converge.

360

Mdulo 29: Convergencia absoluta y convergencia condicional Observacin Si en el teorema anterior se deja de cumplir alguna de las dos condiciones, la serie alterna es divergente. Por ejemplo, la serie alterna

(1)
n =1

( n +1)

n +1 3 4 5 = 2 + + ... n 2 3 4

satisface i, pues

n + 1 es una sucesin decreciente, n

pero no satisface ii, puesto que
n +1 = 1 0. n

n +

lim

Entonces, la serie es divergente (teorema 2, mdulo 28). Igualmente, la serie alterna

1 1 1 1 1 1 + + + ... 22 3 42 5 62

posee la particularidad de que la sucesin {an } no es ni creciente ni decreciente (no cumple i) a pesar de cumplirse que lim an = 0. De aqu se deduce que la serie
n +

es divergente.

Ejemplo 1 Analice la convergencia o divergencia de las siguientes series:

a.

(1)
n =1

n +1

1 . n
n+3 . n(n + 1) 1 . n2

b.

(1)
n =1

n +1

c.

(1)
n =1

n ( n +1) 2

Elementos bsicos de clculo integral y series

361

Captulo 5: Series numricas Solucin

a.

1 1 1 1 = 1 + + ... se conoce como serie armnica n 2 3 4 n =1 alterna y verifica las siguientes condiciones:
La serie

(1)

n +1

i.

1 es una sucesin decreciente. n

En efecto, puesto que para todo n , n + 1 n, y esto equivale a decir que
1 1 an +1 an para todo n . n +1 n

ii.

n +

lim

1 = 0. n

En consecuencia, de acuerdo con el teorema 1, se verifica que la serie armnica alterna

(1)
n =1
n +1

n +1

1 converge. n

b.

La serie alterna

(1)
n =1

n+3 4 5 6 = + ... verifica las sin(n + 1) 1 2 2 3 3 4

guientes condiciones:
n+3 es una sucesin decreciente. n( n + 1)

i.

En efecto, como para todo n , n + 6 0, se tiene por tanto, de la ltima desigualdad:

n + 6 0 n 2 + 5n + 6 n 2 + 4n (sumando en ambos lados n2 + 4n).

( n + 3)( n + 2) n ( n + 4) (factorizando) (n + 3) (n + 4) n (n + 2) (n + 3) (n + 4) an an +1 , para todo n. n(n + 1) (n + 1)(n + 2)

ii.

n +

lim

n+3 n+3 = lim = 0. n(n + 1) n + n2 + n

Por tanto, la serie alterna

(1)
n =1

n +1

n+3 n(n + 1) converge.

362

Mdulo 29: Convergencia absoluta y convergencia condicional c. Para la serie

(1)
n =1

n ( n +1) 2

1 se verifica que: n2

i. ii.

1 2 es una sucesin decreciente. n

n +

lim

1 = 0. n2

Pero el criterio de Leibniz no puede aplicarse, puesto que la serie dada no es alterna. Sin embargo, la serie dada es convergente como puede deducirse usando la convergencia absoluta, cuya definicin y particularidad presentamos a continuacin.

29.2 Convergencia absoluta y convergencia condicional

Definiciones

i.

Una serie cualquiera

b
n =1

= b1 + b2 + b3 + b4 + ... converge absolutamente

si la serie

b
n =1

converge. Es decir, una serie converge absolutamente si la

serie formada por los valores absolutos de los trminos de la serie dada converge. ii. Cuando una serie dada converge, pero la serie formada por los valores absolutos de los trminos de la serie dada diverge, se dice que la serie dada converge condicionalmente o que es condicionalmente convergente.

As por ejemplo, la serie

(1)
n =1

n +1

1 converge absolutamente, puesto n2

que la serie

(1)
n =1

n +1

1 1 = 2 (serie-p con p = 2 > 1 ) converge. 2 n n n =1

Comportamiento similar posee la serie

(1)
n =1

n ( n +1) 2

1 y en la cual n2

(1)
n =1

n ( n +1) 2

1 1 = 2. 2 n n =1 n

1 1 1 1 1 = 1 + + ... n 2 3 4 5 n =1 es convergente (criterio de Leibniz); sin embargo, la serie formada por los valoDe otro lado, la serie armnica alterna (1)( n +1)
( n +1) res absolutos (1) n =1 1 1 = (serie-p con p = 1) diverge. n n =1 n

Elementos bsicos de clculo integral y series

363

Captulo 5: Series numricas De esta forma, se deduce que la serie armnica alterna

(1)
n =1

( n +1)

1 convern

ge condicionalmente o es condicionalmente convergente.

Tambin, la serie alterna

n ln n
n=2

(1) n

es convergente (criterio de Leibniz),

pero la serie formada por los valores absolutos

n ln n
n=2

es divergente.

Para demostrar la ltima afirmacin usamos el criterio de la integral.

Considere para ello la integral impropia

+ 2

1 dx. x ln x

+ 2

b 1 1 dx = lim dx b 2 x ln x x ln x

= lim [ ln (ln x) ]2 = lim [ ln (ln b) ln (ln 2) ] ,

b b b
+ 2

lo cual indica que la integral impropia

1 dx diverge, y de acuerdo x ln x

con el criterio de la integral, la serie

n ln n
n=2

diverge.

En conclusin, la serie

n ln n converge condicionalmente.
n=2

(1) n

El siguiente teorema, que se enuncia sin demostracin, establece una condicin necesaria para la convergencia absoluta de una serie y, como consecuencia, para poder deducir la convergencia de la serie. Teorema 2: Convergencia absoluta convergencia

Sea

b
n =1 n

una serie cualquiera.

Si

b
n =1

converge absolutamente, entonces

b
n =1

converge.

Observaciones i. El recproco del teorema 2 no siempre se cumple, es decir, una serie puede ser convergente y no ser absolutamente convergente, como lo ilustramos
(1)n n ln n , que son convergenn =1 n=2 tes pero no son absolutamente convergentes.

anteriormente con las series

(1)

n +1

1 y n

364

Mdulo 29: Convergencia absoluta y convergencia condicional ii. Las series absolutamente convergentes tienen la siguiente propiedad: La reordenacin arbitraria de sus trminos produce una nueva serie convergente con igual suma que la serie inicial. Ser esta propiedad vlida para cualquier serie? La respuesta es no, y de paso estamos respondiendo la pregunta bsica 2. Considere por ejemplo la serie armnica alterna:

(1)
n =1

( n +1)

1 1 1 1 1 = 1 + + ... n 2 3 4 5

En el prximo captulo (series de potencias) demostraremos que

1 1 1 1 1 + + ... = ln 2 (vea el ejemplo 4, mdulo 31). 2 3 4 5

Sin embargo, si se reordena de la siguiente forma (dos trminos negativos seguidos

1 1 1 1 1 1 1 1 de un positivo), 1 + + + ..., demostraremos en el ejem2 4 3 6 8 5 10 12

plo 2 de este mdulo que dicha suma es

1 ln 2. 2

Los dos resultados diferentes provienen del hecho de ser la serie armnica alterna convergente pero no absolutamente convergente. Comentario Sea x la suma de los trminos de la serie armnica alterna. Es decir, sea
x = 1 1 1 1 1 1 + + + ... 2 3 4 5 6

x = 1

1 1 1 1 1 1 1 1 1 + + + ... (un trmino positivo seguido 2 4 3 6 8 5 10 12 7 de dos negativos)

1 1 1 1 1 1 1 1 1 1 = 1 + + + ... 2 4 3 6 8 5 10 12 7 14
= 1 1 1 1 1 1 1 + + + ... 2 4 6 8 10 12 14

1 1 1 1 = 1 + + ... 2 2 3 4
x= 1 x. 2

Elementos bsicos de clculo integral y series

365

Captulo 5: Series numricas

1 Si x 0 , entonces 1 = , resultado paradjico que proviene de reordenar una serie 2 que no es absolutamente convergente.

Ejemplo 2 Considere el siguiente reordenamiento de la serie armnica alterna: dos trminos negativos seguidos de un positivo. Es decir:
1 1 1 1 1 1 1 1 1 + + + ... 2 4 3 6 8 5 10 12

(1)

Demuestre que
1 1 1 1 1 1 1 1 1 1 + + + ... = ln 2. 2 4 3 6 8 5 10 12 2

Solucin En primer lugar, en el ejemplo 4 del mdulo 31 (series de potencias) se demuestra que
1 1 1 1 1 1 + + + ... = ln 2. 2 3 4 5 6

(2)

Si asociamos de a dos los trminos del lado izquierdo de (2) se puede escribir:
1 1 1 1 1 1 1 , 1 + + + ... + ... = 2n 2 3 4 5 6 n =1 2n 1

la cual es convergente y cuya suma tambin es ln 2. Es decir,

1 1 ln 2 = . 2n n =1 2n 1

(3)

Para analizar la convergencia de la serie (1) escribamos sta en las siguientes formas equivalentes despus de agrupar de a tres trminos:
1 1 1 1 1 1 1 1 1 1 1 1 + + + ... = 2 4 3 6 8 5 10 12 2n 1 4n 2 4n n =1

1 1 1 = 2n 1 2(2n 1) 4n n =1

1 1 1 = 2 2n 1 2n n =1

366

Mdulo 29: Convergencia absoluta y convergencia condicional

1 1 1 2n 1 2n . 2 n =1

Esto es,

1 1 1 1 1 1 1 1 1 1 1 1 + + + ... = 2 4 3 6 8 5 10 12 2 n =1 2n 1 2n
Como la serie armnica es convergente y su suma es ln 2 y la serie (4) es

(4)

1 de la 2 serie armnica, se concluye entonces de (3) y (4) que la serie (4) converge y su suma

es

1 ln 2. Es decir, 2

1 1 1 1 1 1 1 1 1 1 + + + ... = ln 2. 2 4 3 6 8 5 10 12 2

Todos los criterios establecidos en el mdulo 28 para series con trminos positivos se convierten automticamente en criterios para la convergencia absoluta de series con trminos negativos y series alternas. En particular, esto es cierto para el criterio del cociente y de la raz que reformulamos ahora. El criterio del cociente absoluto que enunciamos sin demostracin es un criterio muy eficaz y es aplicable a series muy diversas y ser de gran importancia en el prximo captulo para determinar el intervalo de convergencia y el radio de convergencia de una serie de potencias dada.

Teorema 3: Criterio del cociente para convergencia absoluta

Sea

a
n =1

, con an 0 una serie cualquiera.

an +1 = . Entonces: an

Considrese el lmite lim

n +

i.

Si < 1 , Si > 1 ,

a
n =1
n =1

converge absolutamente y, en consecuencia, converge.

ii. iii.

diverge.

Si = 1 , el criterio no proporciona informacin con respecto a la convergencia absoluta, condicional o divergencia de la serie.

Similarmente el criterio de la raz se puede reformular as:

Elementos bsicos de clculo integral y series

367

Captulo 5: Series numricas Teorema 4: Criterio de la raz para convergencia absoluta

Sea

a
n =1

, con an 0 una serie cualquiera.

Considrese el lmite nlim n an = . Entonces: + i. Si < 1 , Si > 1 ,

a
n =1

converge absolutamente y, en consecuencia, converge.

ii. iii.

a
n =1

diverge.

Si = 1 , el criterio no proporciona informacin con respecto a la convergencia absoluta, condicional o divergencia de la serie.

Observaciones i. Como en el caso para series de trminos positivos, el criterio del cociente absoluto es eficaz en aquellas series cuyo trmino general contenga factoriales (n!), potencias n-simas ( a n ) o potencias de potencias ( n n ). ii. En todos los resultados o teoremas con series de cualquier naturaleza (con trminos positivos, negativos o alternos) se usan las frases absolutamente convergente, condicionalmente convergente y divergente y ellas son mutuamente excluyentes, es decir, no existe nada parecido a decir: divergencia absoluta.

Ejemplo 3 Analice la convergencia absoluta, convergencia condicional o divergencia de cada una de las siguientes series:

a.

(1)
n =1

5n . (2n)!

b.

(1)
n =1

n 1

3n . n 2n

c.

(1)
n =1

n +1

n . n +1
3

d.

(1)n 1 n n +1 . n =1

Solucin a. Usemos el criterio del cociente absoluto. Para ello, considrese el lmite:

368

Mdulo 29: Convergencia absoluta y convergencia condicional

n +

lim

n an +1 n 5 . siendo an = (1) an (2n)!

En este caso,
an +1 (1) n +1 5n +1 (2n)! = lim n n + (2n + 2)! an 5 (1) n = lim 5 = 0. (2n + 2)(2n + 1)

n +

lim

n +

Como lim

n +

an +1 = 0 < 1 , se concluye del teorema 3i que la serie an

(1)
n =1

5n converge absolutamente. (2n)!

b.

Se puede resolver el ejercicio usando el criterio del cociente absoluto o el criterio de la raz.
an +1 (1)n 1 3n En efecto, considrese el nlim a , con an = . + n n 2n lim an +1 n 2n (1) n 3n +1 = lim n + ( n + 1) 2 n +1 ( 1) n 1 3n an
= lim 3n 3 = . 2n + 2 2

n +

n +

an +1 3 Como nlim a = 2 > 1 , se concluye del teorema 3ii que la serie + n

(1)
n =1

n 1

3n diverge. n 2n

Para determinar la naturaleza de la serie, usando el criterio de la raz (teorema 4), considrese el lmite nlim n an siendo an = +

(1)n 1 3n . Esto es, n 2n

n +

lim

an = lim

n +

(1) n 1 3n n 2n

Elementos bsicos de clculo integral y series

369

Captulo 5: Series numricas

= lim
n n +

3 1 3n = lim n n + 2 n n 2n

3 1 lim . n+ n 2 n

Puede demostrarse usando una de las variantes de la regla de LHopital y

n se deja como ejercicio que nlim n = 1 . Por tanto, nlim n an = + +
n 1 acuerdo con el teorema 4ii, la serie ( 1) n =1

3 > 1, y de 2

3n diverge. n 2n

c.

Aplicando el criterio del cociente absoluto se obtiene:

an +1 (1) n + 2 (n + 1) n3 + 1 = lim = 1. n + an (n + 1)3 + 1 (1) n +1 n

n +

lim

De acuerdo con el teorema 3iii el criterio no proporciona informacin con respecto a la convergencia absoluta, condicional o divergencia de la serie dada.

Sin embargo, al considerar la serie

n =1

(1) n +1 n n = 3 3 n +1 n + 1 se puede n =1

demostrar fcilmente (comparacin en el lmite con la serie serie converge absolutamente.

n
n =1

1
2

) que la

d.

Si usamos el criterio del cociente absoluto, se tiene:

an +1 n +1 (1) n n + 1 = lim n + an n+2 (1) n 1 n

n +

lim

n +1 n +1 = lim = 1. n + n + 2 n

As que el criterio del cociente absoluto no proporciona informacin. Sin embargo, la serie series alternas). De otro lado, la serie de valores absolutos
(1) n 1 n n + 1 es convergente (criterio de Leibniz para n =1

n =1

(1) n 1 n n = n +1 n + 1 es n =1

370

divergente (comparacin en el lmite con

n
n =1

1/ 2

que es una serie-p, con

p=

1 < 1 divergente). 2
( 1) n 1 n n + 1 es condicionalmente convergente. n =1

En consecuencia, la serie

El objetivo bsico de los ejemplos c y d es mostrar que cuando = 1 la serie puede ser absolutamente convergente, condicionalmente convergente o divergente. Se pide al lector construir un ejemplo de una serie para la cual al usar el criterio del cociente, = 1, pero de tal forma que la serie dada sea divergente.

Elementos bsicos de clculo integral y series

371