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.

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.

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.

ww w.

Introduccin

at em

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?

at ic

Preguntas bsicas

a1
a
n =1 n

.c o

29.1 Series alternas

Definicin Sea {an } una sucesin de trminos positivos. Una serie de cualquiera de las formas:

(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

.c o

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 =1

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

ww w.

aparecen dos trminos negativos, seguidos de dos trminos positivos y as sucesivamente.

Sea

(1)
n =1

at em

(1)

n ( n +1) 2

an

at ic

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

(1)
n =1

i. ii.

{an }
n +

es una sucesin decreciente.

lim an = 0.

La serie

(1)
n =1

an o

a1

n +1

an una serie alterna tal que:

(1)
n =1

n +1

n ( n +1) 2

1 n2

an converge.

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

(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

ww w.

posee la particularidad de que la sucesin {an } no es ni creciente ni decreciente

at em

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

at ic

Igualmente, la serie alterna

a1

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

.c o

Solucin

a.

1 1 1 1 = 1 + + ... se conoce como serie armnica 2 3 4 n 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.

1 = 0. n + n lim

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

(1)
n +1

n +1

b.

La serie alterna

guientes condiciones:

i.

ww w.

at em

n+3 es una sucesin decreciente. n(n + 1)

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

at ic

n =1

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

a1

(1)

.c o

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

n =1

1 converge. n

Por tanto, la serie alterna

(1)
n =1

n +1

n+3 n(n + 1) converge.

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

1 = 0. n + n 2 lim

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

si la serie

n =1

converge. Es decir, una serie converge absolutamente si la

As por ejemplo, la serie

(1)
n =1

que la serie

(1)
n =1

n +1

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

n ( n +1) 2

ww w.

n +1

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.

1 converge absolutamente, puesto n2

at em
n =1

serie formada por los valores absolutos de los trminos de la serie dada converge.

Comportamiento similar posee la serie (1)

(1)
n =1

n ( n +1) 2

1 1 = 2. 2 n n n =1

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

(1)
n =1

( n +1)

1 1 = (serie-p con p = 1) diverge. n n =1 n

at ic

1 y en la cual n2

a1

n =1

.c o

i.

Una serie cualquiera

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

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

a1 at ic

1 dx diverge, y de acuerdo x ln x

.c o

con el criterio de la integral, la serie

n ln n
n=2

diverge.

at em
n

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

ww w.

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 anteriormente con las series

(1)
n =1

n +1

1 y n

n ln n , que son convergenn=2

(1)n

tes pero no son absolutamente convergentes.

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 + + ... 2 3 4 5 n

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

Comentario

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

ww w.

Sea x la suma de los trminos de la serie armnica alterna.

at em

Los dos resultados diferentes provienen del hecho de ser la serie armnica alterna convergente pero no absolutamente convergente.

at ic

a1

1 ln 2. 2

.c o

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

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

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

ww w.

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

at em

Si asociamos de a dos los trminos del lado izquierdo de (2) se puede escribir:

at ic

1 1 1 1 1 1 + + + ... = ln 2. 2 3 4 5 6

a1

.c o

En primer lugar, en el ejemplo 4 del mdulo 31 (series de potencias) se demuestra que

(2)

(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

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

Esto es,

1 1 1 1 1 1 1 1 1 1 1 1 + + + ... = 2 n =1 2n 1 2n 2 4 3 6 8 5 10 12
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 2 4 3 6 8 5 10 12

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:

ww w.

at em

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.

at ic

a1

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.

.c o

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

ii.

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

ww w.

Ejemplo 3

a.

(1)
n =1

b.

(1)
n =1

c.

(1)
n =1

d.

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

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

at em
n

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.

5n . (2n)!

n 1

3n . n 2n

n +1

n . n3 + 1

at ic

a1

.c o

(n!), potencias n-simas ( a n ) o potencias de potencias ( n n ).

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)!

n +

lim

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

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 = +

ww w.

= lim

3n 3 = . 2n + 2 2

n +

lim

an = lim

n +

(1)n 1 3n n 2n

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

at ic

an +1 (1)n 1 3n En efecto, considrese el nlim a , con an = . + n n 2n

a1

.c o

b.

Se puede resolver el ejercicio usando el criterio del cociente absoluto o el criterio de la raz.

= lim

n +

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

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 = + +

3 > 1, y de 2

acuerdo con el teorema 4ii, la serie c.

(1)
n =1

n 1

3n diverge. n 2n

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

at ic

a1

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

.c o

Sin embargo, al considerar la serie

n =1

at em

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

demostrar fcilmente (comparacin en el lmite con la serie

d.

ww w.

n
n =1

1
2

) que la

serie converge absolutamente.

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 es convergente (criterio de Leibniz para n +1 n =1

n =1

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

divergente (comparacin en el lmite con

n
n =1

1/ 2

que es una serie-p, con

p=

1 < 1 divergente). 2

En consecuencia, la serie

( 1) n 1 n es condicionalmente convergente. n +1 n =1

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.

ww w.

at em

at ic

a1

.c o