Convergencia absoluta y

29
convergencia condicional
Contenidos del módulo

29.1 Series alternas

29.2 Convergencia absoluta y convergencia condicional
Colin Maclaurin
Objetivos del módulo El matemático escocés Colin Maclaurin nació
en Kilmodan en 1698 y murió en 1746 en
Edimburgo. Inició estudios superiores a la
1. Distinguir entre series de términos positivos y las series alternas. edad de once años y fue profesor en la
Universidad de Aberdeen a los diecinueve.
2. Establecer criterios de convergencia para series alternas.
En 1719 publicó Geometría orgánica, texto
3. Hacer notar la diferenica entre convergencia absoluta y convergencia condicional. que puede considerarse la más importante
de sus obras y que contiene, entre otros,
Preguntas básicas un original método para generar las
cónicas, y sentó las bases para una fun-
damentación lógica del cálculo infinitesimal
en el Tratado de las fluxiones , aparecida
1. ¿Si una serie converge, entonces la serie converge absolutamente? dos años más tarde. En su Tratado de álge-
2. ¿Dada una serie cualquiera y convergente, entonces la reordenación de sus bra, obra póstuma publicada dos años des-
pués de su muerte, aplicó el método de los
términos produce nuevas series convergentes y con igual suma? determinantes a la resolución de ecuaciones
con cuatro incógnitas.
Introducción
Maclaurin fue amigo de Newton y se pareció
a él no sólo en sus ideas políticas y religiosas
sino en sus concepciones científicas. Fue
Todo el desarrollo teórico sobre series considerado hasta aquí es aplicable sola- precisamente Newton quien le recomendó
mente a series con términos no negativos, pero las series con términos no positivos para la cátedra de matemáticas de la
pueden ser tratadas de la misma forma. Universidad de Edimburgo, cargo que
ocupó en 1725.

⎛ ∞∞
⎞ Trisectriz de Maclaurin
En efecto, al ser ∑a
= − ⎜ ∑ (− an ) ⎟ , todas las consideraciones mencionadas para
⎝ n =1
n
⎠
n =1 Esta curva fue estudiada por Maclaurin en
un intento de dar solución al problema de
series con términos no negativos pueden aplicarse para series con términos no
la trisección del ángulo (de ahí su nombre
positivos. de trisectriz), lo que efectivamente consiguió
pero no como los antiguos griegos querían
∞
pues la curva que inventó no se puede

Si ∑a
n =1
n es una serie con términos positivos y negativos, se puede considerar en su
trazar sólo con regla y compás. Y aunque
hoy en día es realmente fácil dibujarla con
mucha precisión con las nuevas tecno-
∞ logías, debemos reconocer el mérito que
lugar la serie ∑a
n =1
n , cuyos términos son todos no negativos y son válidos todos tuvo este notable matemático para lograrlo
con las limitaciones que tenía en aquellos
tiempos.
los resultados presentados en los módulos anteriores. La convergencia absoluta o
∞

condicional de una serie está ligada a la convergencia o no de la serie ∑a

n =1
n

formada por los valores absolutos de la serie dada.

Elementos básicos de cálculo integral y series 359

Capítulo 5: Series numéricas
29.1 Series alternas
Definición

Sea {an } una sucesión de términos positivos. Una serie de cualquiera de las for-
mas:
Vea el módulo 29 del programa
∞
de televisión Elementos básicos
de cálculo integral y series ∑ (−1)
n =1
n
⋅ an = −a1 + a2 − a3 + a4 − ... + (−1)n ⋅ an + ... (1)

o
∞

∑ (−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 término positivo seguido de un

término negativo o viceversa.

Es de observar que no todas las series que presentan en su término general una
∞ n ( n +1)
1
expresión de la forma ( −1) k an es alterna; así por ejemplo, la serie ∑ (−1)
n =1
2
n2
no es alterna puesto que en la serie

∞ n ( n +1)
1 1 1 1 1 1
∑ (−1)
n =1
2
n 2
= −1 − + + − − + ...
4 9 16 25 36

aparecen dos términos negativos, seguidos de dos términos positivos y así sucesi-
vamente.

El siguiente teorema, que enunciamos sin demostración 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
n
⋅ an o ∑ (−1) n +1
⋅ an una serie alterna tal que:
n =1

i. {an } es una sucesión decreciente.

ii. lim an = 0.
n →+∞

∞ ∞
La serie ∑ (−1)
n =1
n
⋅ an o ∑ (−1) n +1
⋅ an converge.
n =1

360
 Módulo 29: Convergencia absoluta y convergencia condicional
Observación

Si en el teorema anterior se deja de cumplir alguna de las dos condiciones, la serie

alterna es divergente.

Por ejemplo, la serie alterna

∞
n +1 3 4 5
∑ (−1)
n =1
( n +1)

n
= 2 − + − + ...
2 3 4

satisface i, pues

⎧ n + 1⎫
⎨ ⎬ es una sucesión decreciente,
⎩ n ⎭

pero no satisface ii, puesto que

n +1
lim = 1 ≠ 0.
n →+∞ n

Entonces, la serie es divergente (teorema 2, módulo 28).

Igualmente, la serie alterna

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

posee la particularidad de que la sucesión {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:

∞
1
a. ∑ (−1)
n =1
n +1

n
.

∞
n+3
b. ∑ (−1)
n =1
n +1

n(n + 1)
.

∞ n ( n +1)
1
c. ∑ (−1)
n =1
2
n2
.

Elementos básicos de cálculo integral y series 361

Capítulo 5: Series numéricas
Solución

∞
1 1 1 1
a. La serie ∑ (−1)
n =1 n
n +1
= 1 − + − + ... se conoce como serie armónica
2 3 4
alterna y verifica las siguientes condiciones:

⎧1 ⎫
i. ⎨ ⎬ es una sucesión decreciente.
⎩n⎭

En efecto, puesto que para todo n ∈ `, n + 1 ≥ n, y esto equivale a

1 1
decir que ≤ ⇔ an +1 ≤ an para todo n ∈ `.
n +1 n
1
ii. lim = 0.
n →+∞ n

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

∞
1
armónica alterna ∑ (−1)
n =1
n +1

n
converge.

∞
n+3 4 5 6
b. La serie alterna ∑ (−1)
n =1
n +1
= − −
n(n + 1) 1 ⋅ 2 2 ⋅ 3 3 ⋅ 4
+ ... verifica las si-

guientes condiciones:

⎧ n+3 ⎫
i. ⎨ ⎬ es una sucesión 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)

n+3 n+3
ii. lim = lim = 0.
n →+∞ n(n + 1) n →+∞ n2 + n
∞
n+3
Por tanto, la serie alterna ∑ (−1)
n =1
n +1

n(n + 1) converge.

362
 Módulo 29: Convergencia absoluta y convergencia condicional
∞ n ( n +1)
1
c. Para la serie ∑ (−1)
n =1
2
n2
se verifica que:

⎧1⎫
i. ⎨ 2 ⎬ es una sucesión decreciente.
⎩n ⎭
1
ii. lim = 0.
n →+∞ 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 definición y particularidad presen-
tamos a continuación.

29.2 Convergencia absoluta y convergencia condicional

Definiciones

i. Una serie cualquiera ∑b

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

si la serie ∑b
n =1
n converge. Es decir, una serie converge absolutamente si la

serie formada por los valores absolutos de los términos de la serie dada
converge.

ii. Cuando una serie dada converge, pero la serie formada por los valores abso-
lutos de los términos de la serie dada diverge, se dice que la serie dada converge
condicionalmente o que es condicionalmente convergente.

∞
1
Así por ejemplo, la serie ∑ (−1)
n =1
n +1

n2
converge absolutamente, puesto

∞ ∞
1 1
que la serie ∑ (−1)
n =1
n +1

n 2
= ∑ 2 (serie-p con p = 2 > 1 ) converge.
n =1 n
∞ n ( n +1)
1
Comportamiento similar posee la serie ∑ (−1)
n =1
2
⋅
n2
y en la cual

∞ n ( n +1) ∞
1 1
∑ (−1)
n =1
2
⋅
n 2
= ∑
n =1 n
2
.

∞
1 1 1 1 1
De otro lado, la serie armónica alterna ∑ (−1)( n +1) ⋅
= 1 − + − + − ...
n =1 n 2 3 4 5
es convergente (criterio de Leibniz); sin embargo, la serie formada por los valo-
∞ ∞
1 1
res absolutos ∑ (−1) = ∑ (serie-p con p = 1) diverge.
( n +1)
⋅
n =1 n n =1 n

Elementos básicos de cálculo integral y series 363

Capítulo 5: Series numéricas
∞
1
De esta forma, se deduce que la serie armónica alterna ∑ (−1)
n =1
( n +1)

n
conver-

ge condicionalmente o es condicionalmente convergente.

∞
(−1) n
También, la serie alterna ∑ n ⋅ ln n
n=2
es convergente (criterio de Leibniz),

∞
1
pero la serie formada por los valores absolutos ∑ n ⋅ ln n
n=2
es divergente.

Para demostrar la última afirmación usamos el criterio de la integral.

+∞ 1
Considere para ello la integral impropia ∫ 2 x ⋅ ln x
dx.

+∞ 1 b 1
∫ 2 x ⋅ ln x
dx = lim ∫
b →∞ 2 x ⋅ ln x
dx

= lim [ ln (ln x) ]2 = lim [ ln (ln b) − ln (ln 2) ] → ∞,

b

b →∞ b →∞

+∞ 1
lo cual indica que la integral impropia ∫ 2 x ⋅ ln x
dx diverge, y de acuerdo

∞
1
con el criterio de la integral, la serie ∑ n ⋅ ln n
n=2
diverge.

∞
(−1) n
En conclusión, la serie ∑ n ⋅ ln n converge condicionalmente.
n=2

El siguiente teorema, que se enuncia sin demostración, establece una condición

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
n converge absolutamente, entonces ∑b
n =1
n converge.

Observaciones

i. El recíproco del teorema 2 no siempre se cumple, es decir, una serie puede

ser convergente y no ser absolutamente convergente, como lo ilustramos
∞
(−1)n 1 ∞
anteriormente con las series ∑ ∑ (−1) n +1
y
, que son convergen-
n = 2 n ⋅ ln n
n =1 n
tes pero no son absolutamente convergentes.

364
 Módulo 29: Convergencia absoluta y convergencia condicional

ii. Las series absolutamente convergentes tienen la siguiente propiedad: La

reordenación arbitraria de sus términos produce una nueva serie conver-
gente con igual suma que la serie inicial.

¿Será esta propiedad válida para cualquier serie? La respuesta es no, y de

paso estamos respondiendo la pregunta básica 2.

Considere por ejemplo la serie armónica alterna:

∞
1 1 1 1 1
∑ (−1)
n =1
( n +1)

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

En el próximo capítulo (series de potencias) demostraremos que

1 1 1 1
1− + − + − ... = ln 2 (vea el ejemplo 4, módulo 31).
2 3 4 5

Sin embargo, si se reordena de la siguiente forma (dos términos negativos seguidos

1 1 1 1 1 1 1 1
de un positivo), 1 − − + − − + − − + ..., demostraremos en el ejem-
2 4 3 6 8 5 10 12
1
plo 2 de este módulo que dicha suma es ln 2.
2

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

Comentario

Sea x la suma de los términos de la serie armónica alterna.

Es decir, sea
1 1 1 1 1
x = 1− + − + − + ...
2 3 4 5 6

1 1 1 1 1 1 1 1 1
x = 1− − + − − + − − + ... (un término 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 ⎠
1
x= x.
2

Elementos básicos de cálculo integral y series 365

Capítulo 5: Series numéricas
1
Si x ≠ 0 , entonces 1 = , resultado paradójico que proviene de reordenar una serie
2
que no es absolutamente convergente.

Ejemplo 2

Considere el siguiente reordenamiento de la serie armónica alterna: dos términos

negativos seguidos de un positivo. Es decir:

1 1 1 1 1 1 1 1
1− − + − − + − − + ... (1)
2 4 3 6 8 5 10 12

Demuestre que

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

Solución

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

1 1 1 1 1
1 − + − + − + ... = ln 2. (2)
2 3 4 5 6

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

∞
⎛ 1⎞ ⎛1 1⎞ ⎛1 1⎞ ⎡ 1 1⎤
⎜ 1 − +
⎟ ⎜ − +
⎟ ⎜
⎝ 2⎠ ⎝3 4⎠ ⎝5 6⎠
− ⎟ + ... + ... = ∑ ⎢
n =1 ⎣ 2n − 1
− ⎥,
2n ⎦

la cual es convergente y cuya suma también es ln 2. Es decir,

∞
⎡ 1 1⎤
ln 2 = ∑ ⎢ − ⎥. (3)
n =1 ⎣ 2n − 1 2n ⎦

Para analizar la convergencia de la serie (1) escribamos ésta en las siguientes formas
equivalentes después de agrupar de a tres términos:

∞
⎛ 1 1⎞ ⎛1 1 1⎞ ⎛1 1 1 ⎞ ⎡ 1 1 1⎤
⎜1 − − ⎟ + ⎜ − − ⎟ + ⎜ − − ⎟ + ... = ∑ ⎢ − − ⎥
⎝ 2 4 ⎠ ⎝ 3 6 8 ⎠ ⎝ 5 10 12 ⎠ n =1 ⎣ 2 n − 1 4 n − 2 4 n⎦

∞
⎡ 1 1 1 ⎤
= ∑⎢ − − ⎥
n =1 ⎣ 2 n − 1 2(2 n − 1) 4 n⎦
∞
1⎡ 1 1⎤
=∑ ⎢ − ⎥
n =1 2 ⎣ 2 n − 1 2 n⎦

366
 Módulo 29: Convergencia absoluta y convergencia condicional

1 ∞ ⎡ 1 1⎤
= ∑ ⎢ − ⎥.
2 n =1 ⎣ 2n − 1 2n ⎦

Esto es,

⎛ 1 1⎞ ⎛1 1 1⎞ ⎛1 1 1 ⎞ 1 ∞ ⎡ 1 1⎤
⎜1 − − ⎟ + ⎜ − − ⎟ + ⎜ − − ⎟ + ... = ∑ ⎢ − ⎥ (4)
⎝ 2 4 ⎠ ⎝ 3 6 8 ⎠ ⎝ 5 10 12 ⎠ 2 n =1 ⎣ 2 n − 1 2 n⎦

1
Como la serie armónica es convergente y su suma es ln 2 y la serie (4) es de la
2
serie armónica, se concluye entonces de (3) y (4) que la serie (4) converge y su suma
1
es 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 módulo 28 para series con términos positivos
se convierten automáticamente en criterios para la convergencia absoluta de series
con términos negativos y series alternas. En particular, esto es cierto para el criterio
del cociente y de la raíz que reformulamos ahora.

El criterio del cociente absoluto que enunciamos sin demostración es un criterio

muy eficaz y es aplicable a series muy diversas y será de gran importancia en el
próximo capítulo para determinar el intervalo de convergencia y el radio de conver-
gencia de una serie de potencias dada.

Teorema 3: Criterio del cociente para convergencia absoluta

Sea ∑a
n =1
n , con an ≠ 0 una serie cualquiera.

an +1
Considérese el límite lim = ρ . Entonces:
n →+∞ an
∞

i. Si ρ < 1 , ∑a
n =1
n converge absolutamente y, en consecuencia, converge.

ii. Si ρ > 1 , ∑a
n =1
n diverge.

iii. Si ρ = 1 , el criterio no proporciona información con respecto a la conver-

gencia absoluta, condicional o divergencia de la serie.

Similarmente el criterio de la raíz se puede reformular así:

Elementos básicos de cálculo integral y series 367

Capítulo 5: Series numéricas

Teorema 4: Criterio de la raíz para convergencia absoluta

Sea ∑a
n =1
n , con an ≠ 0 una serie cualquiera.

Considérese el límite nlim n = ρ . Entonces:

n a
→+∞

i. Si ρ < 1 , ∑a
n =1
n converge absolutamente y, en consecuencia, converge.

ii. Si ρ > 1 , ∑a
n =1
n diverge.

iii. Si ρ = 1 , el criterio no proporciona información con respecto a la conver-

gencia absoluta, condicional o divergencia de la serie.

Observaciones

i. Como en el caso para series de términos positivos, el criterio del cociente

absoluto es eficaz en aquellas series cuyo término 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
términos positivos, negativos o alternos) se usan las frases «absolutamen-
te convergente», «condicionalmente convergente» y «divergente» y ellas
son mutuamente excluyentes, es decir, no existe nada parecido a decir: «di-
vergencia absoluta».

Ejemplo 3

Analice la convergencia absoluta, convergencia condicional o divergencia de cada

una de las siguientes series:

∞
5n
a. ∑ (−1)
n =1
n

(2n)!
.

∞
3n
b. ∑ (−1)
n =1
n −1

n ⋅ 2n
.

∞
n
c. ∑ (−1)
n =1
n +1

n +1
3
.

∞
(−1)n −1 n
d. ∑
n =1 n +1
.

Solución

a. Usemos el criterio del cociente absoluto. Para ello, considérese el límite:

368
 Módulo 29: Convergencia absoluta y convergencia condicional
an +1 5n
lim
n →+∞ siendo an = (−1)n .
an (2n)!

En este caso,

an +1 (−1) n +1 5n +1 (2n)!
lim = lim ⋅ n
n →+∞ an n →+∞ (2n + 2)! 5 (−1) n

5
= lim = 0.
n →+∞ (2n + 2)(2n + 1)

an +1
Como lim = 0 < 1 , se concluye del teorema 3i que la serie
n →+∞ an

∞
5n
∑ (−1)
n =1
n

(2n)!
converge absolutamente.

b. Se puede resolver el ejercicio usando el criterio del cociente absoluto o el

criterio de la raíz.
an +1 (−1)n −1 ⋅ 3n
En efecto, considérese el nlim
→+∞ a , con a = .
n ⋅ 2n
n
n

an +1 (−1) n ⋅ 3n +1 n ⋅ 2n
lim = lim ⋅
n →+∞ an n →+∞ ( n + 1) ⋅ 2 n +1 ( −1) n −1 ⋅ 3n

3n 3
= lim = .
n →+∞ 2n + 2 2

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

∞
3n
∑ (−1)
n =1
n −1

n ⋅ 2n
diverge.

Para determinar la naturaleza de la serie, usando el criterio de la raíz (teorema 4),

(−1)n −1 ⋅ 3n
considérese el límite nlim n a
n siendo
an = . Esto es,
→+∞ n ⋅ 2n

(−1) n −1 ⋅ 3n
lim n an = lim n
n →+∞ n →+∞ n ⋅ 2n

Elementos básicos de cálculo integral y series 369

Capítulo 5: Series numéricas

3n 3 1
= lim n = lim n
n →+∞ n ⋅ 2n n →+∞ 2 n

3 1
= lim n .
2 n →+∞
n

Puede demostrarse usando una de las variantes de la regla de L´Hopital y

3
se deja como ejercicio que nlim
n
n = 1 . Por tanto, lim n an = > 1, y de
→+∞ n →+∞ 2
∞
3n
acuerdo con el teorema 4ii, la serie ∑ ( −1)
n −1
diverge.
n =1 n ⋅ 2n

c. Aplicando el criterio del cociente absoluto se obtiene:

an +1 (−1) n + 2 (n + 1) n3 + 1
lim = lim ⋅ = 1.
n →+∞ an n →+∞ (n + 1)3 + 1 (−1) n +1 n

De acuerdo con el teorema 3iii el criterio no proporciona información con

respecto a la convergencia absoluta, condicional o divergencia de la serie
dada.

∞
(−1) n +1 ⋅ n ∞
n
Sin embargo, al considerar la serie ∑
n =1 n +1
3
=∑ 3
n =1 n + 1 se puede
∞
1
demostrar fácilmente (comparación en el límite con la serie ∑n
n =1
2 ) que la

serie converge absolutamente.

d. Si usamos el criterio del cociente absoluto, se tiene:

an +1 (−1) n n + 1 n +1
lim = lim ⋅
n →+∞ an n →+∞ n+2 (−1) n −1 n

⎛ n +1 ⎞ n +1
= lim ⎜ ⎟⋅ = 1.
n →+∞ n + 2
⎝ ⎠ n

Así que el criterio del cociente absoluto no proporciona información. Sin

∞
(−1) n −1 n
embargo, la serie ∑
n =1 n +1
es convergente (criterio de Leibniz para

series alternas).
∞
(−1) n −1 n ∞
n
De otro lado, la serie de valores absolutos ∑
n =1 n +1
=∑
n =1 n + 1 es

370
 ∞
1
divergente (comparación en el límite con ∑n
n =1
1/ 2 que es una serie-p, con

1
p= < 1 divergente).
2

∞
( −1) n −1 n
En consecuencia, la serie ∑
n =1 n +1
es condicionalmente convergente.

El objetivo básico 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 básicos de cálculo integral y series 371