P. 1
Serie Numerica y Convergencia

Serie Numerica y Convergencia

|Views: 1.740|Likes:

More info:

Published by: Aldo Antonio Pacab Fuentes on Jul 24, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/22/2013

pdf

text

original

Capítulo 8

Series numéricas
8.1. Definición y primeras propiedades
Informalmente, una serie es una suma de infinitos sumandos (ver antecedentes históricos y co-
mentarios en [APOSTOL1, cap. 10] y en [DURÁN, pág. 184 y sigs.]). Estas sumas se usan implícitamente,
por ejemplo, al considerar desarrollos decimales ilimitados de los números reales: así, la igualdad
7
3
= 2, 333. . . significa
7
3
= 2+
3
10
+
3
100
+
3
1000
+. . . ,
suma con infinitos sumandos de la forma
3
10
n
, n ∈ N. En general, consideraremos una sucesión cual-
quiera (a
n
) y su suma ∑

n=1
a
n
. ¿Qué sentido habrá que darle a esta suma? La respuesta se impone de
modo natural: ∑

n=1
a
n
tiene que ser l´ım
m→∞
m

n=1
a
n
.
Analizando el proceso anterior, se trata de formar mediante la sucesión de sumandos (a
n
) una
nueva sucesión de sumas (s
m
) dada por s
m
= a
1
+a
2
+· · · +a
m
, m ∈ N, y determinar el límite (si
existe) de esta última sucesión. Esquemáticamente:
lugar 1 2 3 4 . . . n . . .
término a
1
a
2
a
3
a
4
. . . a
n
. . .
suma a
1
a
1
+a
2
a
1
+a
2
+a
3
a
1
+a
2
+a
3
+a
4
. . . a
1
+· · · +a
n
. . . →?
Ahora bien: si, en definitiva, vamos a parar al estudio de la convergencia de una sucesión, ¿qué
novedad vamos a encontrar respecto a lo que ya sabemos de sucesiones? El cambio radica en el punto
de partida: tomando como dato la sucesión de sumandos (a
n
), nos planteamos determinar propiedades
de la sucesión de sumas (s
n
) basándonos en propiedades de los términos a
n
. Pasemos a formalizar
estas ideas.
8.1.1. Series: términos y sumas parciales. Series convergentes, divergentes y oscilantes
Definición 8.1.1. Una serie ∑

n=1
a
n
es un par ordenado de sucesiones ((a
n
), (s
n
)) relacionadas por
la condición de que para cada n ∈ N es
s
n
= a
1
+a
2
+· · · +a
n
.
171
172 Capítulo 8. Series numéricas
El término n-ésimo de la primera sucesión, a
n
, recibe el nombre de término n-ésimo de la serie; el
término n-ésimo de la segunda sucesión, s
n
, recibe el nombre de suma parcial n-ésima de la serie.
Se dice que la serie ∑

n=1
a
n
es convergente si la sucesión (s
n
) de sus sumas parciales es conver-
gente, es decir, si
∃l´ım
m
s
m
= l´ım
m
m

n=1
a
n
∈ R.
Decimos que la serie ∑

n=1
a
n
es divergente a +∞, divergente a −∞ u oscilante si la sucesión de sus
sumas parciales es divergente a +∞, divergente a −∞ u oscilante, respectivamente.
Si una serie ∑

n=1
a
n
es convergente, se llama suma de dicha serie al límite de la sucesión de sus
sumas parciales; si la serie diverge a +∞ o a −∞, se dice que su suma es +∞ o −∞, respectivamente.
Con un abuso de notación que no suele conducir a error, se denota la suma con el mismo símbolo que
la serie. Es decir, se escribe


n=1
a
n
= l´ım
m
m

n=1
a
n
,
cuando este límite existe.
Nota. A veces es cómodo considerar series de la forma ∑

n=m
a
n
, donde m es un número entero: las
sumas parciales serán entonces s
1
= a
m
, s
2
= a
m
+a
m+1
,. . . , s
n
= a
m
+· · · +a
m+n−1
, . . .
Se utiliza también la notación a
m
+a
m+1
+· · · +a
n
+· · · en vez de ∑

n=m
a
n
y, cuando no da lugar
a confusión, se abrevia en ∑a
n
.
Ejemplo. Una serie ∑

n=1
a
n
es una serie geométrica si existe un r ∈ R tal que para todo n ∈ N es
a
n+1
=ra
n
(o a
n+1
/a
n
=r si a
1
=0); de otro modo, si es de la forma ∑

n=0
ar
n
. Si s
n
es su suma parcial
n-ésima, se tendrá
s
n
= a+ar +· · · +ar
n−1
=

a
1−r
n
1−r
si r = 1
an si r = 1
.
Excluyendo el caso trivial a = 0, se sigue:
a) si |r| < 1, la serie


n=0
ar
n
es convergente y la suma es
a
1−r
;
b) si r ≥1, la serie es divergente a +∞ (si a > 0) o a −∞ (si a < 0);
c) si r =−1, la serie es oscilante, aunque las sumas parciales están acotadas;
d) si r <−1, la serie es oscilante y las sumas parciales tienden, en valor absoluto, a +∞.
Ejemplo. La serie


n=1
1
n
se llama serie armónica Se comprueba que, para cada n, su suma parcial n-ésima, denotada habitual-
mente por H
n
, cumple
H
n
=
n

k=1
1
k

n

k=1

k+1
k
dx
x
=

n+1
1
dx
x
= log(n+1),
luego la serie armónica diverge a +∞ a pesar de que l´ım
n
1
n
= 0.
8.1. Definición y primeras propiedades 173
El carácter de una serie no cambia si se prescinde de un número finito de sumandos (aunque sí
puede cambiar el valor de la suma). Dicho de forma más precisa,
Proposición 8.1.2. Dada una serie ∑

n=1
a
n
y un entero m > 1, se tiene:
a) ∑

n=1
a
n
converge si y solo si converge ∑

n=m
a
n
. Si convergen, entonces


n=1
a
n
=
m−1

n=1
a
n
+


n=m
a
n
.
b) ∑

n=1
a
n
diverge a +∞ si y solo si ∑

n=m
a
n
diverge a +∞.
c) ∑

n=1
a
n
diverge a −∞ si y solo si ∑

n=m
a
n
diverge a −∞.
d) ∑

n=1
a
n
es oscilante si y solo si ∑

n=m
a
n
es oscilante.
Demostración. Basta observar que para todo p > m es
p

n=1
a
n
=
m−1

n=1
a
n
+
p

n=m
a
n
,
donde ∑
m−1
n=1
a
n
está fijo (independiente de p), y aplicar las definiciones previas y los resultados cono-
cidos para sucesiones.
8.1.2. Linealidad de la convergencia de series
Proposición 8.1.3. Sean ∑

n=1
a
n
, ∑

n=1
b
n
dos series convergentes. Para cualesquiera α, β ∈ R, la
serie ∑

n=1
(αa
n
+βb
n
) es convergente y se tiene


n=1
(αa
n
+βb
n
) = α


n=1
a
n



n=1
b
n
.
Demostración. Basta tener en cuenta que
N

n=1
(αa
n
+βb
n
) = α
N

n=1
a
n

N

n=1
a
n
.
Corolario 8.1.4. Si ∑

n=1
a
n
converge y ∑

n=1
b
n
no es convergente, entonces ∑

n=1
(a
n
+b
n
) no es
convergente.
Demostración. Si la serie ∑

n=1
(a
n
+b
n
) convergiera, entonces la serie


n=1
b
n
=


n=1

(a
n
+b
n
) +(−1)a
n

también convergería, según la proposición 8.1.3.
Ejemplos. La serie ∑(
1
n
+
1
2
n
) no converge, pues ∑
1
n
no es convergente y ∑
1
2
n
sí.
Sin embargo, al sumar dos series no convergentes, la suma puede ser tanto convergente como no
convergente: examínense los casos a
n
= b
n
= 1 y a
n
= 1, b
n
=−1.
174 Capítulo 8. Series numéricas
8.1.3. Series telescópicas
Proposición 8.1.5. Sean (a
n
) y (b
n
) dos sucesiones de números reales tales que para todo n ∈ N se
cumple
a
n
= b
n
−b
n+1
.
Entonces la serie ∑

n=1
a
n
(denominada serie telescópica) es convergente si y solo si la sucesión (b
n
)
tiene límite real, en cuyo caso tenemos


n=1
a
n
= b
1
−l´ım
n
b
n
.
Demostración. Basta tener en cuenta que las sumas parciales de la serie ∑

n=1
a
n
son
s
N
=
N

n=1
a
n
= (b
1
−b
2
) +(b
2
−b
3
) +· · · +(b
N−1
−b
N
) +(b
N
−b
N+1
) = b
1
−b
N+1
.
Ejemplo. Si a
n
=
1
n(n+1)
=
1
n

1
n+1
, entonces la suma parcial N-ésima es simplemente
S
N
=
N

n=1
1
n(n+1)
=
N

n=1

1
n

1
n+1

= 1−
1
N+1
,
con lo que l´ım
N
S
N
= 1. Es decir, la serie ∑

n=1
a
n
converge y su suma es 1:


n=1
1
n(n+1)
= 1.
Ejemplo. Sea ahora a
n
= log

1+
1
n

. La suma parcial de orden N es
N

n=1
a
n
=
N

n=1
log

1+
1
n

=
N

n=1

log(n+1) −logn

= log(N+1) −log1 = log(N+1)
y tiende a +∞. Es decir, la serie


n=1
log

1+
1
n

diverge a +∞.
Nota. Toda serie ∑

n=1
a
n
se puede ver trivialmente como una serie telescópica: basta poner
b
1
= 0, b
n+1
=−(a
1
+a
2
+· · · +a
n
) (n ∈ N),
lo que no añade nada interesante al estudio de la serie. Como es obvio, el resultado que hemos obtenido
solo es útil cuando la sucesión (b
n
) es una sucesión conocida, cuyo comportamiento sabemos de
antemano.
8.1.4. Condición necesaria para la convergencia de una serie. Condición general de
convergencia de Cauchy
Proposición 8.1.6 (condición necesaria para la convergencia de una serie). Si la serie ∑

n=1
a
n
converge, necesariamente
l´ım
n
a
n
= 0.
8.2. Series de términos no negativos 175
Demostración. Si (s
N
) es la sucesión de las sumas parciales, es decir,
s
N
=
N

n=1
a
n
,
entonces
∃l´ım
N
s
N
∈ R.
Como a
N
= s
N
−s
N−1
, se deduce que
l´ım
N
a
N
= l´ım
N
s
N
−l´ım
N
s
N−1
= 0.
Esta condición no es suficiente para la convergencia de una serie: veremos numerosos ejemplos de
series no convergentes cuya sucesión de términos tiende a 0; el más sencillo es quizá la serie armónica


n=1
1
n
= 1+
1
2
+
1
3
+· · · +
1
n
+· · · ,
que ya hemos estudiado.
Teorema 8.1.7 (condición de Cauchy para la convergencia de una serie). Una serie ∑

n=1
a
n
es
convergente si y solo si para cada ε > 0 existe un N = N(ε) tal que para cualesquiera m,n ∈ N con
m ≥n > N se cumple

m

k=n
a
k

< ε.
Demostración. La serie es convergente si y solo si lo es la sucesión (s
n
) de sus sumas parciales, lo
que equivale a que (s
n
) sea una sucesión de Cauchy, y esto a su vez es es equivalente a que para cada
ε > 0 exista un N = N(ε) tal que para cualesquiera m, n ∈ N con m≥n > N sea |s
m
−s
n−1
| < ε; pero
s
m
−s
n−1
=
m

k=1
a
k

n−1

k=1
a
k
=
m

k=n
a
k
.
8.2. Series de términos no negativos
8.2.1. Convergencia de una serie de términos no negativos. Criterios de comparación
El estudio del carácter de una serie se simplifica cuando esta es de términos no negativos.
Proposición 8.2.1. Sea ∑

n=1
a
n
una serie tal que a
n
≥0 para cada n ∈ N. Entonces ∑

n=1
a
n
converge
si y solo si la sucesión (s
n
) de sus sumas parciales está acotada superiormente. En caso contrario, la
serie diverge a +∞.
Demostración. Puesto que para cada n ∈ N es
s
n+1
−s
n
= a
n+1
≥0,
la sucesión (s
n
) es monótona no decreciente. Luego o bien está acotada superiormente y converge, o
bien no está acotada superiormente y diverge a +∞.
176 Capítulo 8. Series numéricas
Este resultado permite deducir en algunos casos la convergencia (o divergencia) de una serie a
partir del carácter de otra serie conocida.
Teorema 8.2.2 (criterio de comparación por mayoración). Sean ∑

n=1
a
n
y ∑

n=1
b
n
dos series y
n
0
∈ N de modo que para n ≥n
0
es 0 ≤a
n
≤b
n
. Si ∑

n=1
b
n
converge, también converge ∑

n=1
a
n
. En
consecuencia, si ∑

n=1
a
n
diverge, ∑

n=1
b
n
es asimismo divergente.
Demostración. Sabemos que ∑

n=1
a
n
tiene el mismo carácter que ∑

n=n
0
a
n
, y que ∑

n=1
b
n
tiene el
mismo carácter que ∑

n=n
0
b
n
. Denotando por (s
n
) la sucesión de sumas parciales de ∑

n=n
0
a
n
y por
(t
n
) la de ∑

n=n
0
b
n
, se sigue que para cada n ∈ N es s
n
≤t
n
, luego si (t
n
) está acotada superiormente,
(s
n
) estará acotada superiormente. Y si (s
n
) no está acotada superiormente, (t
n
) tampoco puede estar
acotada superiormente. Basta aplicar ahora la proposición 8.2.1.
Otra forma de comparar dos series es estudiar el cociente de sus términos:
Teorema 8.2.3 (criterio de comparación por paso al límite). Sean ∑

n=1
a
n
, ∑

n=1
b
n
series de tér-
minos no negativos. Supongamos que existe
l´ım
n
a
n
b
n
= ∈ [0, +∞) ∪{+∞}.
a) Si < +∞ y la serie ∑

n=1
b
n
converge, entonces la serie ∑

n=1
a
n
también converge.
b) Si 0 < y la serie ∑

n=1
b
n
diverge, entonces la serie ∑

n=1
a
n
también diverge.
c) Si 0 < < +∞, entonces las dos series ∑

n=1
a
n
y ∑

n=1
b
n
tienen el mismo carácter.
Demostración. a) Sea C ∈ (, +∞) (por ejemplo C = +1). Entonces existe algún n
0
∈ N tal que
a
n
/b
n
≤C para todo n ≥ n
0
, es decir, 0 ≤ a
n
≤Cb
n
para todo n ≥ n
0
. Si la serie ∑

n=1
b
n
converge,
entonces también la serie ∑

n=1
Cb
n
converge y, por el criterio 8.2.2 de maroración, la serie ∑

n=1
a
n
converge.
b) Sea C ∈ (0, ). Existe algún n
0
∈ N tal que a
n
/b
n
≥C para todo n ≥n
0
, es decir, a
n
≥Cb
n
≥0
para todo n ≥ n
0
. Si la serie ∑

n=1
b
n
diverge, entonces también la serie ∑

n=1
Cb
n
diverge y, por el
criterio 8.2.2 de mayoración, la serie ∑

n=1
a
n
diverge.
c) Basta aplicar a) y b).
Corolario 8.2.4 (series de términos equivalentes). Sean ∑

n=1
a
n
, ∑

n=1
b
n
dos series de términos no
negativos. Supongamos que (a
n
) ∼(b
n
). Entonces ∑

n=1
a
n
y ∑

n=1
b
n
tienen el mismo carácter.
Por supuesto, en este resultado las dos series pueden tener distinta suma.
La comparación con las series geométricas proporciona dos criterios muy útiles en la práctica: el
criterio de la raíz y el criterio del cociente. Después veremos versiones más generales para series de
términos cualesquiera, así que dejamos la demostración para entonces.
Proposición 8.2.5 (criterio de la raíz o de Cauchy). Sea ∑

n=1
a
n
una serie de términos no negativos
tal que existe R = l´ım
n→∞
n

a
n
.
a) Si R < 1, la serie ∑

n=1
a
n
es convergente.
b) Si R > 1, entonces a
n
→0 y la serie ∑

n=1
a
n
es divergente.
Proposición 8.2.6 (criterio del cociente o de D’Alembert). Sea ∑

n=1
a
n
una serie de términos no
negativos tal que existe R = l´ım
n→∞
a
n+1
a
n
.
8.2. Series de términos no negativos 177
a) Si R < 1, la serie ∑

n=1
a
n
es convergente.
b) Si R > 1, entonces a
n
→0 y la serie ∑

n=1
a
n
es divergente.
Un complemento interesante del criterio del cociente es el criterio de Raabe.
Proposición 8.2.7 (criterio de Raabe). Sea ∑

n=1
a
n
una serie de términos no negativos tal que existe
R = l´ım
n→∞
n(1−
a
n+1
a
n
). Entonces:
a) Si R > 1, la serie ∑

n=1
a
n
es convergente.
b) Si R < 1, la serie ∑

n=1
a
n
diverge a +∞.
Demostración. Ver [GARAY-CUADRA-ALFARO, teor. 5.28, págs. 101–102].
8.2.2. Otros criterios. Convergencia de algunas series de términos no negativos
Proposición 8.2.8 (criterio de la integral). Sea f : [1, +∞) →[0, +∞) no creciente. Entonces:
a) La integral impropia

+∞
1
f es convergente si y solo si la serie


n=1
f (n) converge.
b) Existe C = l´ım
n

n

k=1
f (k) −

n
1
f

∈ [0, +∞).
c) Para cada n ∈ N se tiene
n

k=1
f (k) =

n
1
f +C+ε
n
, con 0 ≤ε
n
≤ f (n) − l´ım
x→+∞
f (x).
Demostración. Para cada n ∈ N, pongamos
s
n
=
n

k=1
f (k), t
n
=

n
1
f , d
n
= s
n
−t
n
.
Entonces
d
n
=
n

k=1
f (k) −
n−1

k=1

k+1
k
f = f (n) +
n−1

k=1

f (k) −

k+1
k
f (x)dx

= f (n) +
n−1

k=1

k+1
k
[ f (k) − f (x)] dx ≥0.
Como
d
n
−d
n+1
= s
n
−t
n
−s
n+1
+t
n+1
=

n+1
n
f (x)dx − f (n+1)
=

n+1
n
[ f (x) − f (n+1)] dx ≥0,
se sigue que (d
n
) es monótona no creciente y acotada inferiormente por 0, con lo que existe C =
l´ım
n
d
n
∈ [0, +∞) y, en consecuencia, (s
n
) y (t
n
) serán simultáneamente convergentes o divergentes.
Puesto que f ≥ 0, la convergencia de (t
n
) equivale asimismo a la de la integral

+∞
1
f , luego esta
integral converge si y solo si converge la serie ∑

n=1
f (n). Con esto hemos demostrado a) y b).
178 Capítulo 8. Series numéricas
En cuanto a c), la igualdad se cumple trivialmente si definimos ε
n
= s
n
−t
n
−C = d
n
−C; lo que
hay que probar es que
0 ≤ε
n
≤ f (n) − l´ım
x→+∞
f (x).
Observemos que
0 ≤d
n
−d
n+1
=

n+1
n
f (x)dx − f (n+1) ≤

n+1
n
f (n)dx − f (n+1) = f (n) − f (n+1).
Reiterando, para cualquier número natural m > n resulta:
0 ≤d
n
−d
n+1
≤ f (n) − f (n+1),
0 ≤d
n+1
−d
n+2
≤ f (n+1) − f (n+2),
. . .
0 ≤d
m−1
−d
m
≤ f (m−1) − f (m).
Al sumar las desigualdades resulta que
0 ≤d
n
−d
m
≤ f (n) − f (m).
Pasando al límite en m, y teniendo en cuenta que l´ım
x→+∞
f (x) existe por ser f monótona no creciente,
obtenemos
0 ≤d
n
−C ≤ f (n) − l´ım
x→+∞
f (x).
Como ε
n
= d
n
−C, hemos terminado la demostración.
Aplicaciones. a) La constante γ de Euler. Aplicando los resultados que acabamos de obtener a la
función f dada por f (x) = 1/x y teniendo en cuenta que

n
1
1
x
dx = logn,
podemos escribir la suma parcial n-ésima de la serie armónica como
H
n
=
n

k=1
1
k
= logn+γ +ε
n
,
donde 0 ≤ε
n
≤1/n y
γ = l´ım
n

n

k=1
1
k
−logn

= 0, 5772156649. . .
es un número introducido por Euler en 1734 en el estudio de la función Γ, definida también por él.
Euler obtuvo sus dieciséis primeras cifras decimales en 1781. No se sabe todavía si es un número
racional o irracional (ver [LE LIONNAIS, pág. 28]).
b) La función ζ de Riemann. El criterio 8.2.8 de la integral permite comprobar fácilmente que la
serie


n=1
1
n
s
converge si y solo si s > 1. La función
ζ(s) =


n=1
1
n
s
, s > 1,
8.3. Series de términos cualesquiera 179
se denomina función zeta de Riemann y tiene importantes aplicaciones (especialmente en teoría de
números). Hay expresiones más o menos sencillas para ζ(2n), n ∈ N, pero no para otros valores. Se
sabe por ejemplo que ζ(2) =
π
2
6
, ζ(4) =
π
4
90
. Hasta fechas recientes (R. Apéry, 1978) no se había
podido probar siquiera que ζ(3) es irracional: ver [LE LIONNAIS, pág. 36].
c) Series logarítmicas. También mediante el criterio de la integral se prueba que la serie


n=2
1
n(logn)
s
converge si y solo si s > 1 (ver [APOSTOL1, pág. 486]).
Por comparación con las series anteriores se deducen inmediatamente los siguientes criterios de
convergencia:
Proposición 8.2.9 (criterio de Pringsheim). Sea ∑

n=1
a
n
una serie de términos no negativos tal que
para algún α ∈ R existe el límite
l´ım
n→∞
n
α
a
n
= ∈ [0, +∞].
Entonces:
a) Si α > 1 y < +∞, la serie ∑

n=1
a
n
converge.
b) Si α ≤1 y > 0, la serie ∑

n=1
a
n
diverge (a +∞).
Proposición 8.2.10 (criterios logarítmicos). Sea ∑

n=1
a
n
una serie de términos no negativos tal que
existe alguno de los dos límites A = l´ım
n→∞
−loga
n
logn
, B = l´ım
n→∞
−log(na
n
)
log(logn)
. Entonces:
a) Si A > 1, la serie ∑

n=1
a
n
es convergente; si A < 1, diverge a +∞.
b) Si B > 1, la serie∑

n=1
a
n
es convergente; si B < 1, diverge a +∞.
8.3. Series de términos cualesquiera
8.3.1. Series alternadas: criterio de Leibniz
Proposición 8.3.1 (criterio de Leibniz). Sea ∑

n=1
x
n
una serie alternada, es decir, una serie tal
que para cada n ∈ N es x
n
= (−1)
n+1
a
n
con a
n
≥ 0. Si (a
n
) es una sucesión no creciente con límite
0, entonces la serie ∑

n=1
x
n
= ∑

n=1
(−1)
n+1
a
n
es convergente. Además, denotando con s
n
la suma
parcial n-ésima de la serie y con s su suma, se verifican para todo n ∈ N las desigualdades
0 ≤(−1)
n
(s
n+2
−s
n
) ≤a
n+1
, (8.1)
0 ≤(−1)
n
(s −s
n
) ≤a
n+1
. (8.2)
Nota. De (8.1) se sigue que las sumas de orden par forman una sucesión no decreciente y las sumas
de orden impar una sucesión no creciente. Las desigualdades (8.2) pueden interpretarse del siguiente
modo: si tomamos s
n
como valor aproximado de s, el error que cometemos es menor o igual que
a
n+1
, de modo que si (a
n
) converge rápidamente a 0 obtenemos una buena aproximación de la suma
mediante una suma parcial de pocos términos.
180 Capítulo 8. Series numéricas
Demostración. Obsérvese que dado k ∈ N, la diferencia
−(s
2k+1
−s
2k−1
) = a
2k
−a
2k+1
es mayor o igual que 0 por ser (a
n
) decreciente, y menor o igual que a
2k
por ser a
2k+1
≥ 0, lo que
da (8.1) en el caso n = 2k −1. Para n = 2k es
s
2k+2
−s
2k
= a
2k+1
−a
2k+2
,
que análogamente es mayor o igual que 0 y menor o igual que a
2k+1
, lo que completa la prueba de (8.1)
para todos los casos. Además, hemos obtenido que (s
2k
) es una sucesión no decreciente. Como
s
2k
= a
1
−[(a
2
−a
3
) +· · · +(a
2k−2
−a
2k−1
) +a
2k
] ≤a
1
,
(s
2k
) está acotada superiormente, luego es convergente. Sea s su límite. Puesto que
s
2k−1
= s
2k
+a
2k
y a
2k
→0, resulta que
l´ım
k
s
2k−1
= l´ım
k
(s
2k
+a
2k
) = l´ım
k
s
2k
+l´ım
k
a
2k
= s +0 = s.
Es decir: tanto la subsucesión de términos pares como la de términos impares de (s
n
) son convergentes
con límite s. Esto permite afirmar que (s
n
) es convergente con límite s, es decir, que ∑
+∞
n=1
x
n
= s.
Finalmente, puesto que para cada n ∈ N es
s = x
1
+· · · +x
n
+
+∞

k=n+1
x
k
= s
n
+
+∞

k=n+1
(−1)
k+1
a
k
,
se sigue que
(−1)
n
(s −s
n
) =
+∞

k=n+1
(−1)
n+k+1
a
k
= a
n+1
−a
n+2
+l´ım
m
[(a
n+3
−a
n+4
) +· · · +(a
n+2m+1
−a
n+2m+2
)]
≥a
n+1
−a
n+2
≥0
y que
(−1)
n
(s −s
n
) =
+∞

k=n+1
(−1)
n+k+1
a
k
= a
n+1
−l´ım
m
[(a
n+2
−a
n+3
) +· · · +(a
n+2m
−a
n+2m+1
)]
≤a
n+1
,
lo que prueba (8.2).
Ejemplo. La serie armónica alternada


n=1
(−1)
n−1
n
8.3. Series de términos cualesquiera 181
es convergente. Además, su suma se calcula fácilmente utilizando la constante de Euler. En efecto:
para cada n ∈ N, sumando y restando términos, se tiene
2n

k=1
(−1)
k+1
k
= 1−
1
2
+
1
3

1
4
+· · · +
1
2n−1

1
2n
= 1+
1
2
+
1
3
+
1
4
+· · · +
1
2n−1
+
1
2n
−2

1
2
+
1
4
+· · · +
1
2n

= H
2n
−H
n
= log2n+γ +ε
2n
−logn−γ −ε
n
= log2+ε
2n
−ε
n
.
Como sabemos ya que la serie armónica alternada es convergente, podemos escribir:
+∞

k=1
(−1)
k+1
k
= l´ım
m
m

k=1
(−1)
k+1
k
= l´ım
n
2n

k=1
(−1)
k+1
k
= log2.
Ejemplo. La serie


n=2
(−1)
n
logn
n
es convergente. En efecto, es fácil comprobar que la función f (x) =
logx
x
es decreciente en [3, +∞)
(por ejemplo, calculando f

). Además,
logn
n
≥0 y
logn
n
→0. De aquí se deduce que la serie converge,
sumando desde n = 3, y por lo tanto también sumando desde n = 2..
8.3.2. Series absolutamente convergentes
Definición 8.3.2. Una serie ∑

n=1
a
n
se dice absolutamente convergente si la serie ∑

n=1
|a
n
| es con-
vergente.
El ejemplo más sencillo de serie convergente que no converge absolutamente es la serie armónica
alternada.
Observación. Si ∑

n=1
a
n
y ∑

n=1
b
n
son dos series absolutamente convergentes y r, s ∈ R, entonces
la serie ∑

n=1
(ra
n
+sb
n
) también es absolutamente convergente. Esto se deduce de la desigualdad
|ra
n
+sb
n
| ≤|r||a
n
| +|s||b
n
| y el criterio 8.2.2 de mayoración.
Definición 8.3.3. Para un número real cualquiera x, escribamos
x
+
= m´ ax{x, 0}, x

= m´ ax{−x, 0}. (8.3)
Es fácil comprobar que |x| = x
+
+x

, x = x
+
−x

, x
+
≥0, x

≥0.
Proposición 8.3.4. Toda serie absolutamente convergente es convergente: dicho de otro modo, si


n=1
|a
n
| converge, entonces la serie ∑

n=1
a
n
también converge. Y en ese caso,



n=1
a
n




n=1
|a
n
|.
182 Capítulo 8. Series numéricas
Demostración. Con la notación (8.3),
0 ≤a
+
n
≤|a
n
|, 0 ≤a

n
≤|a
n
|,
luego las dos series ∑

n=1
a
+
n
y ∑

n=1
a

n
convergen. Como a
n
= a
+
n
−a

n
, la serie ∑

n=1
a
n
también
converge. Además, para cada n ∈ N

n

k=1
a
k


n

k=1
|a
k
|,
por la desigualdad triangular. Pasando al límite (una vez que ya sabemos que las dos series convergen),



k=1
a
k




k=1
|a
k
|.
8.3.3. Criterios generales de Cauchy (de la raíz) y de D’Alembert (del cociente)
Los criterios que hemos visto sobre convergencia de series de términos no negativos se traducen
de manera obvia en criterios de convergencia absoluta para series de términos cualesquiera. Así:
Proposición 8.3.5 (criterio de la raíz o de Cauchy). Sea ∑

n=1
a
n
una serie tal que existe R =
l´ım
n→∞
n

|a
n
|.
a) Si R < 1, la serie ∑

n=1
a
n
converge absolutamente.
b) Si R > 1, entonces a
n
→0 y la serie ∑

n=1
a
n
no es convergente.
Demostración. a) Supongamos que R<1. Sea R<c <1. Entonces existirá algún n
0
tal que
n

|a
n
| ≤c
para todo n ≥n
0
. Por lo tanto,
0 ≤|a
n
| ≤c
n
, n ≥n
0
.
Como 0 < c < 1, la serie geométrica ∑

n=n
0
c
n
converge y por lo tanto la serie ∑

n=n
0
|a
n
| converge, y
la serie ∑

n=1
|a
n
| también converge.
b) Supongamos que R > 1. Entonces existirá algún n
0
tal que
n

|a
n
| ≥1 para todo n ≥n
0
. Por lo
tanto,
|a
n
| ≥1, n ≥n
0
.
Entonces, a
n
→0 y la serie ∑

n=1
a
n
no es convergente.
Proposición 8.3.6 (criterio del cociente o de D’Alembert). Sea ∑

n=1
a
n
una serie tal que existe
R = l´ım
n→∞
|a
n+1
|
|a
n
|
.
a) Si R < 1, la serie ∑

n=1
a
n
converge absolutamente.
b) Si R > 1, entonces a
n
→0 y la serie ∑

n=1
a
n
no es convergente.
Demostración. a) Supongamos que R <1. Sea R <c <1. Entonces existirá algún n
0
tal que
|a
n+1
|
|a
n
|
≤c
para todo n ≥n
0
. Por lo tanto,
|a
n+1
| ≤c|a
n
|, n ≥n
0
.
De aquí es fácil deducir por inducción que
0 ≤|a
n
| ≤
|a
n
0
|
c
n
0
c
n
, n ≥n
0
.
8.4. Propiedad conmutativa para series 183
Como 0 < c < 1, la serie geométrica ∑

n=n
0
c
n
converge y por lo tanto la serie ∑

n=n
0
|a
n
| converge, y
la serie ∑

n=1
|a
n
| también converge.
b) Supongamos que R > 1. Entonces existirá algún n
0
tal que
|a
n+1
|
|a
n
|
≥ 1 para todo n ≥ n
0
. Por lo
tanto,
|a
n+1
| ≥|a
n
|, n ≥n
0
.
Entonces, la sucesión |a
n
| no tiende a 0 (es no decreciente), luego a
n
→0 y la serie ∑

n=1
a
n
no es
convergente.
8.3.4. Criterios de convergencia de Abel y Dirichlet
El criterio 8.3.1 de Leibniz nos ha permitido encontrar series que convergen pero no absolutamen-
te. Para ampliar la lista de criterios que no se refieren a la convergencia absoluta añadimos los más
conocidos, de Abel y Dirichlet, que se obtienen de una interesante fórmula de sumación por partes:
Lema 8.3.7 (fórmula de sumación por partes de Abel). Sean (a
n
)

n=1
, (b
n
)

n=1
dos sucesiones arbi-
trarias, y llamemos, para cada n,
A
n
=
n

k=1
a
k
(suma parcial n-ésima de la serie ∑

n=1
a
n
) Entonces
n

k=1
a
k
b
k
= A
n
b
n+1
+
n

k=1
A
k
(b
k
−b
k+1
)
cualquiera que sea n ∈ N.
Demostración. Ver [APOSTOL1, pág. 497].
Proposición 8.3.8 (criterio de Abel). Si (a
n
)

n=1
es una sucesión monótona y acotada, y ∑

n=1
b
n
es
una serie convergente, la serie ∑

n=1
a
n
b
n
es convergente.
Demostración. Ver [APOSTOL1, pág. 498].
Proposición 8.3.9 (criterio de Dirichlet). Si (a
n
)

n=1
es una sucesión monótona que converge a 0, y


n=1
b
n
es una serie cuya sucesión de sumas parciales está acotada, la serie ∑

n=1
a
n
b
n
es convergente.
Demostración. Ver [APOSTOL1, págs. 497–498].
8.4. Propiedad conmutativa para series
¿Qué sucede cuando en una serie se cambia el orden de los sumandos? Se puede demsotrar que
las únicas series inalterables por estos cambios son las absolutamente convergentes; en general, pues,
las series no mantienen la propiedad conmutativa de las sumas finitas. Precisemos estos conceptos.
Definición 8.4.1. Dada una serie ∑

n=1
a
n
, se dice que otra serie ∑

n=1
b
n
es una reordenación suya
si existe una aplicación biyectiva r : N →N tal que, para cada n ∈ N,
b
n
= a
r(n)
.
Nótese que, recíprocamente, ∑

n=1
a
n
es una reordenación de ∑

n=1
b
n
, pues la inversa r
−1
es igual-
mente una biyección.
184 Capítulo 8. Series numéricas
Informalmente, una serie es una reordenación de otra si tiene exactamente los mismos términos,
pero en otro orden. Que una serie tenga la propiedad conmutativa significará, así, que tenga suma y
que cualquier reordenación suya tenga la misma suma. Vamos a dar un nombre especial a las series
convergentes con la propiedad conmutativa.
Definición 8.4.2. Una serie se denomina incondicionalmente convergente si es convergente y si
toda reordenación suya es asimismo convergente, y con la misma suma.
Decimos que una serie es condicionalmente convergente si es convergente pero no incondicio-
nalmente convergente, de modo que alguna reordenación suya o bien no es convergente o converge a
una suma distinta.
Lema 8.4.3. Dada una serie ∑

n=1
a
n
de términos no negativos y una reordenación suya ∑

n=1
b
n
, se
tiene:
a) si ∑

n=1
a
n
es convergente con suma s, también ∑

n=1
b
n
es convergente con suma s.
b) si ∑

n=1
a
n
es divergente a +∞, también ∑

n=1
b
n
es divergente a +∞.
Demostración. a) Sea r : N →N tal que b
n
= a
r(n)
para cada n ∈ N. Para cada n ∈ N definamos
m(n) = m´ ax{r(1), r(2), . . . , r(n)}.
Denotando con t
n
la suma parcial n-ésima de ∑

n=1
b
n
será entonces
t
n
= a
r(1)
+a
r(2)
+· · · +a
r(n)
≤a
1
+a
2
+· · · +a
m(n)
≤s,
lo que prueba que ∑

n=1
b
n
es convergente con suma menor o igual que s. Como a su vez ∑

n=1
a
n
es una
reordenación de ∑

n=1
b
n
, por el mismo motivo su suma será menor o igual que la suma de ∑

n=1
b
n
, lo
que implica la igualdad entre ambas sumas.
b) En caso contrario, ∑

n=1
b
n
sería convergente y entonces ∑

n=1
a
n
, reordenación suya, también
convergería.
Proposición 8.4.4. Toda serie absolutamente convergente es incondicionalmente convergente.
Demostración. Si la serie ∑

n=1
|a
n
| converge, aplicamos el lema 8.4.3 a las series ∑

n=1
a
+
n
y ∑

n=1
a

n
(que también convergen) y por último recordamos que a
n
= a
+
n
−a

n
.
El recíproco también es cierto: más aún, una serie convergente que no converja absolutamente po-
see reordenaciones que van a parar donde se desee: convergentes con suma arbitrariamente prefijada,
divergentes a +∞, divergentes a −∞, oscilantes a capricho. Este es el contenido de un célebre teorema
de Riemann.
Teorema 8.4.5 (de Riemann). Si una serie es convergente pero no absolutamente convergente, para
cada ∈ [−∞, +∞] existe una reordenación suya con suma ; en general, dados
1
,
2
, . . . ,
k
, existe
una reordenación cuya sucesión de sumas parciales contiene subsucesiones que convergen a
1
,
2
,
. . . ,
k
.
Demostración. Ver [GARAY-CUADRA-ALFARO, teor. 5.33, pág. 105], [ORTEGA, teor. 9.20, pág. 303].
Corolario 8.4.6 (teorema de Dirichlet). Una serie es incondicionalmente convergente si y solo si es
absolutamente convergente.
8.5. Apéndice: sumación de series 185
8.5. Apéndice: sumación de series
Resumimos las ideas fundamentales sobre el cálculo de las sumas de algunos tipos particulares de
series.
Series telescópicas
Si para cada n puede ponerse a
n
= b
n
−b
n+1
, la serie


n=1
a
n
converge si y solo si es convergente
la sucesión (b
n
), y si este es el caso,


n=1
a
n
= b
1
−l´ım
n
b
n
.
Series geométricas
Si a = 0, entonces la serie


n=1
ar
n−1
converge si y solo si |r| < 1; si converge,


n=1
ar
n−1
=
a
1−r
.
Series aritmético-geométricas
Si P es un polinomio no constante, la serie


n=0
P(n)r
n
converge si y solo si |r| < 1. Llamando S a
su suma, (1−r)S = P(0) +


n=1
[P(n) −P(n−1)]r
n
= P(0) +


n=1
Q(n)r
n
, donde Q es un polinomio de
grado menor que P; reiterando, se llega a una serie geométrica.
Series hipergeométricas
Son de la forma


n=1
a
n
con
a
n+1
a
n
=
αn+β
αn+γ
, α > 0. La serie converge si y solo si γ > α +β, con
suma
γa
1
γ−α−β
Series racionales o de cocientes de polinomios
Series del tipo

P(n)
Q(n)
, donde P y Q son polinomios (el nombre no es estándar). Cuando conver-
gen, puede hallarse a veces su suma descomponiendo P/Q en fracciones simples y calculando la suma
parcial n-ésima, relacionándola con sumas de series conocidas. Pueden ser de ayuda las siguientes:
• Serie armónica
H
n
= 1+
1
2
+
1
3
+· · · +
1
n
= logn+γ +ε
n
, donde γ es la constante de Euler y l´ım
n
ε
n
= 0
• Función ζ de Riemann ζ(s) =


n=1
1
n
s
, s > 1. En particular
ζ(2) =


n=1
1
n
2
=
π
2
6
, ζ(4) =


n=1
1
n
4
=
π
4
90
.
186 Capítulo 8. Series numéricas
Reordenadas de la serie armónica alternada
En algunos casos pueden hallarse expresiones simplificadas de ciertas sumas parciales en términos
de H
n
, y deducir así el comportamiento de la serie.
Series que se reducen a la exponencial
Partiendo de que para todo x ∈ R es


n=0
x
n
n!
= e
x
, se pueden sumar series de la forma

P(n)
n!
x
n
,
donde P es un polinomio de grado m, sin más que reescribir
P(n) = a
0
n(n−1)· · · (n−m+1) +a
1
n(n−1)· · · (n−m+2) +· · · +a
m−1
n+a
m
para coeficientes a
0
, . . . , a
m
adecuados, y observar que
n(n−1)· · · (n−k)
n!
=
1
(n−k −1)!
,
si n > k.
8.6. Ejercicios
Ejercicio 8.1. Escribiéndolas como series telescópicas, estudiar las siguientes series:
a)


n=1
1
2
n
·
n+2
n(n+1)
(descomponer
n+2
n(n+1)
en fracciones simples).
b)


n=1
3
n
sen
3
a
3
n
(obsérvese que senx = 3sen
x
3
−4sen
3
x
3
).
c)


n=1
2
n−1
tg
2
a
2
n
tg
a
2
n−1
(utilizar que tgx =
2tg
x
2
1−tg
2
x
2
).
d)


n=1
sen
1
2
n
cos
3
2
n
(tener en cuenta que cosxseny =
1
2
[sen(x +y) −sen(x −y)]).
e)


n=1
1
4
n
cos
2
(x/2
n
)
(0 < x < π/2; usar que
1
4cos
2
a
=
1
sen
2
2a

1
4sen
2
a
).
Ejercicio 8.2. Estudiar el carácter de las series de término general:
a)
sen
4
n
n
2
b)
1

n−2/3
c)
1+n
2
n!
d) cos
n

a+
b
n

(0 < a < π/2) e)
n
2
+1
na
n
(a = 0) f)
n!
n
n
g)
3
n
n
2
+1
h)

n+1
n

−n
3
i)
1
logn
j)
1
na+b
, (a, b) = (0, 0) k)
sen(nx)
n
2
l)
1
n−3/2
8.6. Ejercicios 187
m)
1
n(n+1)(n+2)
n)
1+sen
2
(nx)
n
2
ñ)
1
n
sen
1
n
o)

n+1−

n
n
p)
n(n+1)
n
2
+2n
q)

1
n

n+1/n
r)
log(n+1) −1
(1+n)
2
s)
1
3−cos(1/n)
t)

x
n

n
n!
u)
1
n(1+
1
2
+· · · +
1
n
)
v)
1+
1
2
+· · · +
1
n
n
3
logn
w)
1
(logn)
2n
x) log
n+1
n
y) e


n
2
+1
z)
1
(logn)
p
A)
x
n

n
B)
logn
n
p
C) log

1+
x
n

D)
(−1)
n
1+
1
2
+· · · +
1
n
E)
(−1)
n
(n+1)
n!
F)
(n
2
+1)x
n
(n+1)!
G) e
1/n
2
−e
1/(n
2
+1)
H) (−1)
n+1
n
n
2
+1
I)
(n!)
2
(2n)!
x
2n
Ejercicio 8.3. Hallar la suma, si convergen, de las series de término general (para n ≥ 1, si no se
indica otra cosa):
a)
4n−1
(n+2)(n−1)
2
, n ≥2 b)
1
n(n+1)
c)
2n+3
n(n−1)(n+2)
, n ≥2
d)
1
n
2
−1
, n ≥2 e)
1
4n
2
+16n+7
f)
1
(n+1)
2
−4
, n ≥2
g)
3n
2
+7n+6
n(n+1)(n+2)(n+3)
i)
1
(n−1+

3)(n−2+

3)(n+

3)
h)
n
2
+3n+1
n
2
(n+1)
2
j)
n
2
(n+1)
2
n!
k)
3
n
(n−3)
n!
l)
n
3
−n+1
n! 3
n
m)
3n
2
+8n+6
(n+2)!
, n ≥3 n)
n−1
n!(n+2)
ñ)
n
3
−1
n!
o)
n
2
+1
(n+1)!
p)
n
2
+5n+7
(n+2)!
, n ≥2
q) (−1)
n−1
2n+1
n(n+1)
r)
n(n+1)
2
n
s)
n
2
3
n
t) (n+1)x
n
u) (−1)
n
n
2
−n
3
n
v)
1
n

n+1+(n+1)

n
w) log

n
n+1

n

1
2n
+1
Ejercicio 8.4. Hallar la suma de las series:
188 Capítulo 8. Series numéricas
a) 1−
1
2
+
1
3

1
4
+
1
5

1
6
+. . .
b)
1
4

1
3
+
1
8

1
9
+
1
12

1
15
+
1
16

1
21
+
1
20
−. . .
c) 1+
1
3
+
1
5
+
1
7

1
2
+
1
9
+
1
11
+
1
13
+
1
15

1
4
+. . .
d) 1+
1
3

1
2

1
4

1
6
+
1
5
+
1
7

1
8

1
10

1
12
+. . .
e) 1+
1
2
2
+
1
3
2
+
1
5
2
+
1
6
2
+
1
7
2
+
1
9
2
+. . .

n . se abrevia en ∑ an . es decir. donde m es un número entero: las n=m sumas parciales serán entonces s1 = am . x luego la serie armónica diverge a +∞ a pesar de que l´m ı n 1 = 0. denotada habitualmente por Hn . divergente a −∞ u oscilante si la sucesión de sus sumas parciales es divergente a +∞. A veces es cómodo considerar series de la forma ∑∞ an . Series numéricas El término n-ésimo de la primera sucesión. si la serie diverge a +∞ o a −∞. Es decir. se escribe ∑∞ an n=1 n=1 ım ∑ an = l´m ∑ an . para cada n. Si una serie ∑∞ an es convergente.. sn = am + · · · + am+n−1 . de otro modo. la serie es oscilante y las sumas parciales tienden. . respectivamente. . Con un abuso de notación que no suele conducir a error. cuando no da lugar n=m a confusión. divergente a −∞ u oscilante. recibe el nombre de suma parcial n-ésima de la serie. Se utiliza también la notación am + am+1 + · · · + an + · · · en vez de ∑∞ an y. Ejemplo. su suma parcial n-ésima. se denota la suma con el mismo símbolo que la serie. a +∞. la serie es oscilante. s2 = am + am+1 . c) si r = −1. Se dice que la serie ∑∞ an es convergente si la sucesión (sn ) de sus sumas parciales es convern=1 gente. Si sn es su suma parcial n=0 n-ésima. se dice que su suma es +∞ o −∞. . an si r = 1 Excluyendo el caso trivial a = 0. se sigue: a) si |r| < 1. se llama suma de dicha serie al límite de la sucesión de sus n=1 sumas parciales. . si es de la forma ∑∞ arn . Ejemplo. Nota. si ∃ l´m sm = l´m ∑ an ∈ R. La serie ∞ n=1 ∑n 1 se llama serie armónica Se comprueba que. n=1 ∞ m cuando este límite existe. la serie n=0 ∑ arn es convergente y la suma es 1 − r . ∞ a b) si r ≥ 1.172 Capítulo 8. respectivamente. se tendrá n a 1−r si r = 1 1−r sn = a + ar + · · · + arn−1 = . sn . cumple Hn = n k=1 ∑k≥∑ 1 n k=1 k k+1 dx = x n+1 1 dx = log(n + 1). en valor absoluto. Una serie ∑∞ an es una serie geométrica si existe un r ∈ R tal que para todo n ∈ N es n=1 an+1 = ran (o an+1 /an = r si a1 = 0). la serie es divergente a +∞ (si a > 0) o a −∞ (si a < 0). el término n-ésimo de la segunda sucesión. aunque las sumas parciales están acotadas. ı ı m m n=1 m Decimos que la serie es divergente a +∞. . d) si r < −1. an . . recibe el nombre de término n-ésimo de la serie.

8. al sumar dos series no convergentes. Basta observar que para todo p > m es n=1 ∑ an = ∑ an + ∑ an . Proposición 8. entonces n=m n=1 n=1 ∑ an = ∞ m−1 n=1 ∑ an + ∞ n=m ∑ an . La serie ∑( 1 + 2n ) no converge.1. Linealidad de la convergencia de series Proposición 8. Dicho de forma más precisa.3. Basta tener en cuenta que n=1 ∑ (αan + β bn ) = α ∑ an + β ∑ an . entonces la serie n=1 n=1 ∑ bn = ∑ ∞ ∞ (an + bn ) + (−1)an n=1 también convergería.1. n=m n=1 Demostración. n=m n=1 c) ∑∞ an diverge a −∞ si y solo si ∑∞ an diverge a −∞.1. β ∈ R. Definición y primeras propiedades 173 El carácter de una serie no cambia si se prescinde de un número finito de sumandos (aunque sí puede cambiar el valor de la suma). pues ∑ 1 no es convergente y ∑ 2n sí. n=1 n=1 ∞ ∞ ∞ Demostración. según la proposición 8. n=1 n=m p m−1 p donde ∑m−1 an está fijo (independiente de p). . n=1 n=1 N N N Corolario 8. n=m n=1 d) ∑∞ an es oscilante si y solo si ∑∞ an es oscilante.1. Si convergen. se tiene: n=1 a) ∑∞ an converge si y solo si converge ∑∞ an .8. bn = −1.1.2.2. Sean ∑∞ an . Si la serie ∑∞ (an + bn ) convergiera. b) ∑∞ an diverge a +∞ si y solo si ∑∞ an diverge a +∞. Dada una serie ∑∞ an y un entero m > 1. Para cualesquiera α. Demostración. ∑∞ bn dos series convergentes.4. y aplicar las definiciones previas y los resultados conon=1 cidos para sucesiones. entonces ∑∞ (an + bn ) no es n=1 n=1 n=1 convergente. n n Sin embargo.1. Si ∑∞ an converge y ∑∞ bn no es convergente. la suma puede ser tanto convergente como no convergente: examínense los casos an = bn = 1 y an = 1.3. la n=1 n=1 serie ∑∞ (αan + β bn ) es convergente y se tiene n=1 n=1 ∑ (αan + β bn ) = α ∑ an + β ∑ bn . 1 1 Ejemplos.

6 (condición necesaria para la convergencia de una serie). Series telescópicas Entonces la serie ∑∞ an (denominada serie telescópica) es convergente si y solo si la sucesión (bn ) n=1 tiene límite real. Condición necesaria para la convergencia de una serie. b1 = 0. Series numéricas 8. la serie ı converge y su suma es 1: 1 n=1 ∑ n(n + 1) = 1. n n+1 N +1 con lo que l´m SN = 1.3.1. 8. 1 1 1 = − .5.1. Toda serie ∑∞ an n=1 ∑ log 1+ 1 diverge a +∞.4. ı n . n=1 Demostración.1. Sean (an ) y (bn ) dos sucesiones de números reales tales que para todo n ∈ N se cumple an = bn − bn+1 . Condición general de convergencia de Cauchy Proposición 8. Es decir. Basta tener en cuenta que las sumas parciales de la serie ∑∞ an son n=1 sN = n=1 ∑ an = (b1 − b2 ) + (b2 − b3 ) + · · · + (bN−1 − bN ) + (bN − bN+1 ) = b1 − bN+1 . el resultado que hemos obtenido solo es útil cuando la sucesión (bn ) es una sucesión conocida. lo que no añade nada interesante al estudio de la serie. Es decir. n se puede ver trivialmente como una serie telescópica: basta poner bn+1 = −(a1 + a2 + · · · + an ) (n ∈ N). cuyo comportamiento sabemos de antemano.174 Capítulo 8. La suma parcial de orden N es n n=1 ∑ an = N n=1 ∑ log 1 + N N 1 = ∑ log(n + 1) − log n = log(N + 1) − log 1 = log(N + 1) n n=1 ∞ n=1 y tiende a +∞. ∞ Proposición 8.1. Si la serie ∑∞ an n=1 converge. la serie Nota. Como es obvio. entonces la suma parcial N-ésima es simplemente n(n + 1) n n + 1 SN = N Ejemplo. en cuyo caso tenemos ım ∑ an = b1 − l´n bn . necesariamente l´m an = 0. Si an = n=1 N ∑ n(n + 1) = ∑ ∑∞ an n=1 ∞ N 1 N n=1 1 1 1 − = 1− . Ejemplo. Sea ahora an = log 1 + 1 .

Series de términos no negativos Demostración. Criterios de comparación El estudio del carácter de una serie se simplifica cuando esta es de términos no negativos. la sucesión (sn ) es monótona no decreciente.8. lo que equivale a que (sn ) sea una sucesión de Cauchy.n ∈ N con m ≥ n > N se cumple m k=n ∑ ak < ε. ı N N n=1 175 ∑ an . Sea ∑∞ an una serie tal que an ≥ 0 para cada n ∈ N. sN = entonces ∃ l´m sN ∈ R. n ∈ N con m ≥ n > N sea |sm − sn−1 | < ε. pero sm − sn−1 = k=1 ∑ ak − ∑ ak = ∑ ak . Si (sN ) es la sucesión de las sumas parciales. Convergencia de una serie de términos no negativos. se deduce que l´m aN = l´m sN − l´m sN−1 = 0. k=1 k=n m n−1 m 8. Series de términos no negativos 8. la serie diverge a +∞. Demostración. En caso contrario. ı ı ı N N N Esta condición no es suficiente para la convergencia de una serie: veremos numerosos ejemplos de series no convergentes cuya sucesión de términos tiende a 0.2. es decir.7 (condición de Cauchy para la convergencia de una serie). La serie es convergente si y solo si lo es la sucesión (sn ) de sus sumas parciales. Proposición 8.2. Teorema 8.2. Demostración. el más sencillo es quizá la serie armónica n=1 ∑ n = 1+ 2 + 3 +···+ n +··· . Luego o bien está acotada superiormente y converge. Puesto que para cada n ∈ N es sn+1 − sn = an+1 ≥ 0. ∞ 1 1 1 1 que ya hemos estudiado.2.1.1. Una serie ∑∞ an es n=1 convergente si y solo si para cada ε > 0 existe un N = N(ε) tal que para cualesquiera m. Como aN = sN − sN−1 . Entonces ∑∞ an converge n=1 n=1 si y solo si la sucesión (sn ) de sus sumas parciales está acotada superiormente. . o bien no está acotada superiormente y diverge a +∞. y esto a su vez es es equivalente a que para cada ε > 0 exista un N = N(ε) tal que para cualesquiera m.1.

an ≥ Cbn ≥ 0 para todo n ≥ n0 . Corolario 8. entonces la serie ∑∞ an también diverge. entonces an → 0 y la serie ∑∞ an es divergente.2. n=1 n=1 Demostración. Teorema 8.1. La comparación con las series geométricas proporciona dos criterios muy útiles en la práctica: el criterio de la raíz y el criterio del cociente. y que ∑∞ bn tiene el n=n n=1 n=1 mismo carácter que ∑∞ 0 bn . Sea ∑∞ an una serie de términos no n=1 an+1 negativos tal que existe R = l´m ı . ı n→∞ a) Si R < 1. ∑∞ bn series de térn=1 n=1 minos no negativos. luego si (tn ) está acotada superiormente. ). Existe algún n0 ∈ N tal que an /bn ≥ C para todo n ≥ n0 . entonces las dos series ∑∞ an y ∑∞ bn tienen el mismo carácter.5 (criterio de la raíz o de Cauchy). también converge ∑∞ an .2 de maroración. Supongamos que (an ) ∼ (bn ). Sean ∑∞ an . Proposición 8. Denotando por (sn ) la sucesión de sumas parciales de ∑∞ 0 an y por n=n n=n (tn ) la de ∑∞ 0 bn . ∑∞ bn es asimismo divergente.2. es decir. Y si (sn ) no está acotada superiormente. ∑∞ bn dos series de términos no n=1 n=1 negativos. n=1 c) Basta aplicar a) y b). la serie ∑∞ an diverge.6 (criterio del cociente o de D’Alembert). n=1 Proposición 8. así que dejamos la demostración para entonces. la serie ∑∞ an es convergente. +∞) (por ejemplo C = + 1). Series numéricas Este resultado permite deducir en algunos casos la convergencia (o divergencia) de una serie a partir del carácter de otra serie conocida. Basta aplicar ahora la proposición 8. entonces también la serie ∑∞ Cbn diverge y.2. Otra forma de comparar dos series es estudiar el cociente de sus términos: Teorema 8. Sea ∑∞ an una serie de términos no negativos n=1 √ tal que existe R = l´m n an . b) Sea C ∈ (0. Supongamos que existe l´m ı n an = ∈ [0.4 (series de términos equivalentes). Sean ∑∞ an y ∑∞ bn dos series y n=1 n=1 n0 ∈ N de modo que para n ≥ n0 es 0 ≤ an ≤ bn . se sigue que para cada n ∈ N es sn ≤ tn .2. n=1 entonces también la serie ∑∞ Cbn converge y.2 de mayoración. bn a) Si < +∞ y la serie ∑∞ bn converge. n=1 n=1 c) Si 0 < < +∞. entonces la serie ∑∞ an también converge. Si la serie ∑∞ bn converge. n=n (sn ) estará acotada superiormente. en este resultado las dos series pueden tener distinta suma.2. la serie ∑∞ an n=1 n=1 converge. (tn ) tampoco puede estar acotada superiormente. Sean ∑∞ an . Si ∑∞ bn converge. Sabemos que ∑∞ an tiene el mismo carácter que ∑∞ 0 an . Entonces ∑∞ an y ∑∞ bn tienen el mismo carácter. es decir. n=1 n=1 Demostración. En n=1 n=1 consecuencia. por el n=1 n=1 criterio 8. +∞) ∪ {+∞}.3 (criterio de comparación por paso al límite). n=1 b) Si R > 1. n=1 n=1 b) Si 0 < y la serie ∑∞ bn diverge. Entonces existe algún n0 ∈ N tal que an /bn ≤ C para todo n ≥ n0 .2.2 (criterio de comparación por mayoración). 0 ≤ an ≤ Cbn para todo n ≥ n0 .176 Capítulo 8.2. n→∞ an . si ∑∞ an diverge.2. a) Sea C ∈ ( . Después veremos versiones más generales para series de términos cualesquiera. por el criterio 8. Si la serie ∑∞ bn diverge. n=1 n=1 Por supuesto.

págs.2. +∞) y. Entonces: n→∞ an a) Si R > 1. teor.2. n−1 k=1 k k+1 k+1 tn = n 1 f. 177 Proposición 8. Sea ∑∞ an una serie de términos no negativos tal que existe n=1 an+1 R = l´m n(1 − ı ). n=1 n . Series de términos no negativos a) Si R < 1. se sigue que (dn ) es monótona no creciente y acotada inferiormente por 0. +∞). ı x→+∞ Demostración. 101–102]. pongamos sn = Entonces dn = k=1 ∑ f (k). (sn ) y (tn ) serán simultáneamente convergentes o divergentes. Convergencia de algunas series de términos no negativos +∞ ∞ Proposición 8. en consecuencia. dn − dn+1 = sn − tn − sn+1 + tn+1 = = n+1 n n+1 n f (x) dx − f (n + 1) [ f (x) − f (n + 1)] dx ≥ 0. n=1 Un complemento interesante del criterio del cociente es el criterio de Raabe.7 (criterio de Raabe). Entonces: a) La integral impropia n k=1 1 f es convergente si y solo si la serie n 1 n=1 ∑ f (n) converge.8 (criterio de la integral).2. con lo que existe C = l´m dn ∈ [0. +∞) no creciente.2. dn = sn − tn .8.2. n=1 b) Si R < 1. Ver [G ARAY-C UADRA -A LFARO. luego esta integral converge si y solo si converge la serie ∑∞ f (n). n=1 b) Si R > 1. n=1 Demostración. +∞) → [0. Para cada n ∈ N. ı Puesto que f ≥ 0. b) Existe C = l´m ı n ∑ f (k) − n f ∈ [0. la convergencia de (tn ) equivale asimismo a la de la integral 1+∞ f . n 1 c) Para cada n ∈ N se tiene k=1 ∑ f (k) = n f +C + εn . la serie ∑∞ an es convergente. 5. la serie ∑∞ an es convergente. 8. Con esto hemos demostrado a) y b). Otros criterios. k=1 ∑ f (k) − ∑ n−1 k=1 k n f = f (n) + ∑ f (k) − k=1 n−1 k+1 k f (x) dx = f (n) + ∑ Como [ f (k) − f (x)] dx ≥ 0. con 0 ≤ εn ≤ f (n) − l´m f (x).28. la serie ∑∞ an diverge a +∞. Sea f : [1. entonces an → 0 y la serie ∑∞ an es divergente.

. = 0. 28]). x podemos escribir la suma parcial n-ésima de la serie armónica como Hn = donde 0 ≤ εn ≤ 1/n y γ = l´m ı n k=1 ∑ k = log n + γ + εn . Pasando al límite en m. . hemos terminado la demostración. ı x→+∞ Como εn = dn −C. a) La constante γ de Euler. El criterio 8. Aplicando los resultados que acabamos de obtener a la función f dada por f (x) = 1/x y teniendo en cuenta que n 1 1 dx = log n.. Euler obtuvo sus dieciséis primeras cifras decimales en 1781. . 1 s > 1. Reiterando. . 5772156649 . y teniendo en cuenta que l´m f (x) existe por ser f monótona no creciente. ı obtenemos x→+∞ 0 ≤ dn − dn+1 ≤ f (n) − f (n + 1). 0 ≤ dm−1 − dm ≤ f (m − 1) − f (m). lo que hay que probar es que 0 ≤ εn ≤ f (n) − l´m f (x). Aplicaciones. para cualquier número natural m > n resulta: 0 ≤ dn+1 − dn+2 ≤ f (n + 1) − f (n + 2). La función ζ (s) = ∞ n=1 ∑ ns . la igualdad se cumple trivialmente si definimos εn = sn − tn −C = dn −C. n 1 n k=1 ∑ k − log n 1 es un número introducido por Euler en 1734 en el estudio de la función Γ. 0 ≤ dn −C ≤ f (n) − l´m f (x). Series numéricas En cuanto a c). ı x→+∞ Observemos que 0 ≤ dn − dn+1 = n+1 n f (x) dx − f (n + 1) ≤ n+1 n f (n) dx − f (n + 1) = f (n) − f (n + 1).178 Capítulo 8.8 de la integral permite comprobar fácilmente que la serie ∞ 1 ∑ ns n=1 converge si y solo si s > 1. definida también por él. . Al sumar las desigualdades resulta que 0 ≤ dn − dm ≤ f (n) − f (m).2. b) La función ζ de Riemann. pág. No se sabe todavía si es un número racional o irracional (ver [L E L IONNAIS.

el error que cometemos es menor o igual que an+1 . Series de términos cualesquiera 179 se denomina función zeta de Riemann y tiene importantes aplicaciones (especialmente en teoría de números). n ∈ N.1. Si (an ) es una sucesión no creciente con límite 0. n=1 Proposición 8. de modo que si (an ) converge rápidamente a 0 obtenemos una buena aproximación de la suma mediante una suma parcial de pocos términos. la serie ∑∞ an converge. Sea ∑∞ xn una serie alternada. pero no para otros valores. También mediante el criterio de la integral se prueba que la serie ∞ n=2 ∑ n(log n)s 1 converge si y solo si s > 1 (ver [A POSTOL 1. una serie tal n=1 que para cada n ∈ N es xn = (−1)n+1 an con an ≥ 0. Sea ∑∞ an una serie de términos no negativos tal que n=1 − log an − log(nan ) existe alguno de los dos límites A = l´m ı . denotando con sn la suma n=1 n=1 parcial n-ésima de la serie y con s su suma. la serie ∑∞ an diverge (a +∞). n (8.2) pueden interpretarse del siguiente modo: si tomamos sn como valor aproximado de s.10 (criterios logarítmicos). si A < 1. ı n→∞ Entonces: a) Si α > 1 y < +∞. diverge a +∞. Se π2 π4 sabe por ejemplo que ζ (2) = . Hay expresiones más o menos sencillas para ζ (2n).1) (8. Hasta fechas recientes (R.8. diverge a +∞. De (8.1 (criterio de Leibniz).9 (criterio de Pringsheim). si B < 1. 1978) no se había 6 90 podido probar siquiera que ζ (3) es irracional: ver [L E L IONNAIS. n=1 b) Si B > 1. ζ (4) = . Entonces: n→∞ log n n→∞ log(log n) a) Si A > 1. es decir. Sea ∑∞ an una serie de términos no negativos tal que n=1 para algún α ∈ R existe el límite l´m nα an = ∈ [0. 0 ≤ (−1) (s − sn ) ≤ an+1 . n=1 b) Si α ≤ 1 y > 0. 36]. Apéry.2. se verifican para todo n ∈ N las desigualdades 0 ≤ (−1)n (sn+2 − sn ) ≤ an+1 . .2) Nota.3. c) Series logarítmicas. 486]). B = l´m ı . Además.3. la serie ∑∞ an es convergente.2.3. Las desigualdades (8. +∞]. Series alternadas: criterio de Leibniz Proposición 8. n=1 8. la serie∑∞ an es convergente. Series de términos cualesquiera 8. pág.3.1) se sigue que las sumas de orden par forman una sucesión no decreciente y las sumas de orden impar una sucesión no creciente. pág. entonces la serie ∑∞ xn = ∑∞ (−1)n+1 an es convergente. Por comparación con las series anteriores se deducen inmediatamente los siguientes criterios de convergencia: Proposición 8.

Obsérvese que dado k ∈ N.1) para todos los casos. Para n = 2k es s2k+2 − s2k = a2k+1 − a2k+2 . Sea s su límite. la diferencia −(s2k+1 − s2k−1 ) = a2k − a2k+1 Capítulo 8. lo que prueba (8. resulta que l´m s2k−1 = l´m(s2k + a2k ) = l´m s2k + l´m a2k = s + 0 = s. ı ı ı ı k k k k Es decir: tanto la subsucesión de términos pares como la de términos impares de (sn ) son convergentes con límite s. puesto que para cada n ∈ N es s = x1 + · · · + xn + se sigue que (−1)n (s − sn ) = +∞ k=n+1 m +∞ k=n+1 ∑ xk = sn + +∞ k=n+1 ∑ (−1)k+1 ak . (s2k ) está acotada superiormente. luego es convergente.180 Demostración. es decir. hemos obtenido que (s2k ) es una sucesión no decreciente. Ejemplo. que análogamente es mayor o igual que 0 y menor o igual que a2k+1 . Como s2k = a1 − [(a2 − a3 ) + · · · + (a2k−2 − a2k−1 ) + a2k ] ≤ a1 . lo que da (8. Esto permite afirmar que (sn ) es convergente con límite s. n=1 Finalmente. Puesto que s2k−1 = s2k + a2k y a2k → 0. Series numéricas es mayor o igual que 0 por ser (an ) decreciente.1) en el caso n = 2k − 1. ∑ (−1)n+k+1 ak = an+1 − an+2 + l´m [(an+3 − an+4 ) + · · · + (an+2m+1 − an+2m+2 )] ı ≥ an+1 − an+2 ≥ 0 y que (−1)n (s − sn ) = +∞ k=n+1 m ∑ (−1)n+k+1 ak = an+1 − l´m [(an+2 − an+3 ) + · · · + (an+2m − an+2m+1 )] ı ≤ an+1 . La serie armónica alternada (−1)n−1 ∑ n n=1 ∞ . y menor o igual que a2k por ser a2k+1 ≥ 0. Además.2). lo que completa la prueba de (8. que ∑+∞ xn = s.

3) Es fácil comprobar que |x| = x+ + x− . En efecto: para cada n ∈ N. Y en ese caso. n=1 n=1 ∞ n=1 ∞ ∑ an ≤ n=1 ∑ |an |. se tiene (−1)k+1 1 1 1 1 1 ∑ k = 1 − 2 + 3 − 4 + · · · + 2n − 1 − 2n k=1 2n 1 1 1 1 1 1 1 1 = 1+ + + +···+ + −2 + +···+ 2 3 4 2n − 1 2n 2 4 2n = H2n − Hn = log 2n + γ + ε2n − log n − γ − εn = log 2 + ε2n − εn . Además. Observación. 0}. su suma se calcula fácilmente utilizando la constante de Euler. s ∈ R. Series absolutamente convergentes Definición 8. ∑ k m n k k k=1 k=1 k=1 +∞ Ejemplo. 8.8. Para un número real cualquiera x. Esto se deduce de la desigualdad n=1 |ran + sbn | ≤ |r||an | + |s||bn | y el criterio 8. La serie (−1)n log n ∑ n n=2 ∞ log x es convergente. entonces n=1 n=1 la serie ∑∞ (ran + sbn ) también es absolutamente convergente.2. calculando f ). Si ∑∞ an y ∑∞ bn son dos series absolutamente convergentes y r. a x− = m´ x{−x. El ejemplo más sencillo de serie convergente que no converge absolutamente es la serie armónica alternada.3.3. De aquí se deduce que la serie converge.2. En efecto. n n sumando desde n = 3. 0}. escribamos x+ = m´ x{x. . Además. y por lo tanto también sumando desde n = 2. es fácil comprobar que la función f (x) = es decreciente en [3. Series de términos cualesquiera 181 es convergente. ≥0y → 0.4. x = x+ − x− . entonces la serie ∑∞ an también converge. x− ≥ 0. Una serie ∑∞ an se dice absolutamente convergente si la serie ∑∞ |an | es conn=1 n=1 vergente. podemos escribir: m 2n (−1)k+1 (−1)k+1 (−1)k+1 = l´m ∑ ı = l´m ∑ ı = log 2.2 de mayoración. a (8. Como sabemos ya que la serie armónica alternada es convergente.3.3.2. x+ ≥ 0.3.3. Proposición 8. Definición 8. si ∑∞ |an | converge.. sumando y restando términos. +∞) x log n log n (por ejemplo. Toda serie absolutamente convergente es convergente: dicho de otro modo.

|an | ≥ 1. Series numéricas luego las dos series ∑∞ a+ y ∑∞ a− convergen. n ≥ n0 . n ≥ n0 . |an+1 | |an | ≤c . Además. cn0 n ≥ n0 . n→∞ |an | a) Si R < 1. ı n→∞ a) Si R < 1. Entonces existirá algún n0 tal que para todo n ≥ n0 . n ≥ n0 . a) Supongamos que R < 1. ∞ por la desigualdad triangular. n=1 Proposición 8. Con la notación (8.3. n Capítulo 8. Entonces. la serie ∑∞ an converge absolutamente. la serie geométrica ∑∞ 0 cn converge y por lo tanto la serie ∑∞ 0 |an | converge. Entonces existirá algún n0 tal que para todo n ≥ n0 . Por lo tanto. entonces an → 0 y la serie ∑∞ an no es convergente. n=1 Demostración. entonces an → 0 y la serie ∑∞ an no es convergente. Por lo tanto. Por lo tanto. n |an | ≤ c Como 0 < c < 1. a) Supongamos que R < 1.6 (criterio del cociente o de D’Alembert). De aquí es fácil deducir por inducción que 0 ≤ |an | ≤ |an0 | n c . Sea R < c < 1.5 (criterio de la raíz o de Cauchy). la serie ∑∞ an converge absolutamente.3. n=1 Demostración. Sea ∑∞ an una serie tal que existe R = n=1 l´m n |an |. an → 0 y la serie ∑∞ an no es convergente. 0 ≤ |an | ≤ cn .3). Como an = a+ − a− .3. 0 ≤ a+ ≤ |an |. n=1 b) Si R > 1. n=1 b) Supongamos que R > 1. Entonces existirá algún n0 tal que n |an | ≥ 1 para todo n ≥ n0 . 8. para cada n ∈ N n n k=1 ∑ ak ∞ ≤ k=1 ∑ |ak |. y n=n n=n la serie ∑∞ |an | también converge.3. la serie ∑∞ an también n n n=1 n n=1 n n=1 converge.182 Demostración. Criterios generales de Cauchy (de la raíz) y de D’Alembert (del cociente) Los criterios que hemos visto sobre convergencia de series de términos no negativos se traducen de manera obvia en criterios de convergencia absoluta para series de términos cualesquiera. k=1 ∑ ak ≤ k=1 ∑ |ak |. Así: Proposición 8. n 0 ≤ a− ≤ |an |. Pasando al límite (una vez que ya sabemos que las dos series convergen). n=1 b) Si R > 1. Sea ∑∞ an una serie tal que existe n=1 |an+1 | R = l´m ı . |an+1 | ≤ c|an |. Sea R < c < 1.

la serie ∑∞ an bn es convergente. y llamemos.3.7 (fórmula de sumación por partes de Abel). n=1 b) Supongamos que R > 1. Nótese que.3. |an+1 | ≥ |an |. págs. Ver [A POSTOL 1. Proposición 8. n=1 n=1 Demostración. 8. pues la inversa r−1 es igualn=1 n=1 mente una biyección.4. (bn )∞ dos sucesiones arbin=1 n=1 trarias. Precisemos estos conceptos.1. bn = ar(n) .9 (criterio de Dirichlet).4.8 (criterio de Abel). y ∑∞ bn es n=1 n=1 una serie convergente. n ≥ n0 . pág. Criterios de convergencia de Abel y Dirichlet El criterio 8. la serie geométrica ∑∞ 0 cn converge y por lo tanto la serie ∑∞ 0 |an | converge. 8.3. 497–498]. 497]. y n=n n=n la serie ∑∞ |an | también converge. Dada una serie ∑∞ an . Ver [A POSTOL 1. de Abel y Dirichlet.3. luego an → 0 y la serie ∑∞ an no es n=1 convergente. la serie ∑∞ an bn es convergente. para cada n ∈ N. n=1 Demostración. Proposición 8. Demostración. se dice que otra serie ∑∞ bn es una reordenación suya n=1 n=1 si existe una aplicación biyectiva r : N → N tal que.1 de Leibniz nos ha permitido encontrar series que convergen pero no absolutamente. Ver [A POSTOL 1. en general. recíprocamente.4. Entonces existirá algún n0 tal que |an+1 | ≥ 1 para todo n ≥ n0 .3. ∑∞ an es una reordenación de ∑∞ bn . Definición 8. Entonces.4. y n=1 ∑∞ bn es una serie cuya sucesión de sumas parciales está acotada. las series no mantienen la propiedad conmutativa de las sumas finitas. Por lo |an | tanto. para cada n. Si (an )∞ es una sucesión monótona que converge a 0. pág.8. 498]. Para ampliar la lista de criterios que no se refieren a la convergencia absoluta añadimos los más conocidos. pues. An = n k=1 ∑ ak n (suma parcial n-ésima de la serie ∑∞ an ) Entonces n=1 k=1 ∑ ak bk = An bn+1 + ∑ Ak (bk − bk+1 ) k=1 n cualquiera que sea n ∈ N. . que se obtienen de una interesante fórmula de sumación por partes: Lema 8. Sean (an )∞ . Si (an )∞ es una sucesión monótona y acotada. la sucesión |an | no tiende a 0 (es no decreciente). Propiedad conmutativa para series 183 Como 0 < c < 1. Propiedad conmutativa para series ¿Qué sucede cuando en una serie se cambia el orden de los sumandos? Se puede demsotrar que las únicas series inalterables por estos cambios son las absolutamente convergentes.

. . pero en otro orden. Si la serie ∑∞ |an | converge.5 (de Riemann). . dados 1 . . 303]. Que una serie tenga la propiedad conmutativa significará. así. a) Sea r : N → N tal que bn = ar(n) para cada n ∈ N. . pág. . también ∑∞ bn es divergente a +∞. . . reordenación suya. r(n)}. también n=1 n=1 convergería. por el mismo motivo su suma será menor o igual que la suma de ∑∞ bn . teor. oscilantes a capricho. en general. +∞] existe una reordenación suya con suma . . . b) En caso contrario. 2 . n=1 n=1 b) si ∑∞ an es divergente a +∞. 5. lo n=1 n=1 que implica la igualdad entre ambas sumas. Series numéricas Informalmente. pág. lo que prueba que ∑∞ bn es convergente con suma menor o igual que s. Para cada n ∈ N definamos m(n) = m´ x{r(1). 105]. Si una serie es convergente pero no absolutamente convergente. Corolario 8. también ∑∞ bn es convergente con suma s. de modo que alguna reordenación suya o bien no es convergente o converge a una suma distinta.4. Toda serie absolutamente convergente es incondicionalmente convergente. Teorema 8. Lema 8. a Denotando con tn la suma parcial n-ésima de ∑∞ bn será entonces n=1 tn = ar(1) + ar(2) + · · · + ar(n) ≤ a1 + a2 + · · · + am(n) ≤ s. se n=1 n=1 tiene: a) si ∑∞ an es convergente con suma s. n=1 n=1 Demostración. Una serie se denomina incondicionalmente convergente si es convergente y si toda reordenación suya es asimismo convergente. teor.6 (teorema de Dirichlet). 2 .33. Decimos que una serie es condicionalmente convergente si es convergente pero no incondicionalmente convergente. . divergentes a −∞. . Dada una serie ∑∞ an de términos no negativos y una reordenación suya ∑∞ bn .4.184 Capítulo 8. [O RTEGA. Una serie es incondicionalmente convergente si y solo si es absolutamente convergente. para cada ∈ [−∞. Proposición 8. Demostración. una serie convergente que no converja absolutamente posee reordenaciones que van a parar donde se desee: convergentes con suma arbitrariamente prefijada.4.4. divergentes a +∞. k. existe una reordenación cuya sucesión de sumas parciales contiene subsucesiones que convergen a 1 . que tenga suma y que cualquier reordenación suya tenga la misma suma. n n El recíproco también es cierto: más aún.20.3 a las series ∑∞ a+ y ∑∞ a− n=1 n=1 n n=1 n (que también convergen) y por último recordamos que an = a+ − a− .4. k .4. ∑∞ bn sería convergente y entonces ∑∞ an .2.4. Como a su vez ∑∞ an es una n=1 n=1 reordenación de ∑∞ bn . Demostración. . r(2). Ver [G ARAY-C UADRA -A LFARO. aplicamos el lema 8. una serie es una reordenación de otra si tiene exactamente los mismos términos. y con la misma suma. Vamos a dar un nombre especial a las series convergentes con la propiedad conmutativa. Definición 8. 9. Este es el contenido de un célebre teorema de Riemann.3.

Pueden ser de ayuda las siguientes: Series del tipo ∑ • Serie armónica 1 1 1 Hn = 1 + + + · · · + = log n + γ + εn . ∑ 4 90 n=1 n ∞ 1 . Cuando converQ(n) gen. Apéndice: sumación de series Resumimos las ideas fundamentales sobre el cálculo de las sumas de algunos tipos particulares de series. la serie ∞ n=0 ∑ P(n)rn converge si y solo si |r| < 1. s > 1.5.8. Llamando S a ∞ n=1 ∞ su suma. ∑ 2 6 n=1 n ζ (4) = 1 π4 = . reiterando. se llega a una serie geométrica. donde γ es la constante de Euler y l´mn εn = 0 ı 2 3 n • Función ζ de Riemann ζ (s) = ζ (2) = ∞ n=1 ∞ ∑ ns . ∞ n=1 ∑ arn−1 = 1 − r . n=1 Series hipergeométricas ∞ Son de la forma suma γa1 γ−α−β n=1 ∑ an con an+1 αn + β = . Series telescópicas Si para cada n puede ponerse an = bn − bn+1 . ∞ a Series aritmético-geométricas Si P es un polinomio no constante. En particular 1 π2 = . ∞ Series geométricas Si a = 0. relacionándola con sumas de series conocidas. n=1 ∞ n=1 ∑ an converge si y solo si es convergente ım ∑ an = b1 − l´n bn . La serie converge si y solo si γ > α + β . y si este es el caso. donde P y Q son polinomios (el nombre no es estándar). entonces la serie n=1 ∑ arn−1 converge si y solo si |r| < 1. (1 − r)S = P(0) + ∑ [P(n) − P(n − 1)]rn = P(0) + ∑ Q(n)rn .5. si converge. Apéndice: sumación de series 185 8. puede hallarse a veces su suma descomponiendo P/Q en fracciones simples y calculando la suma parcial n-ésima. con an αn + γ Series racionales o de cocientes de polinomios P(n) . α > 0. la serie la sucesión (bn ). donde Q es un polinomio de grado menor que P.

2n 2 2 1 (0 < x < π/2. . se pueden sumar series de la forma ∑ n! xn . Series que se reducen a la exponencial xn P(n) ∑ n! = ex . b) = (0. am adecuados. Escribiéndolas como series telescópicas. usar que 1 1 1 = − ). y observar que n(n − 1) · · · (n − k) 1 = . 2a 2 2a 4 cos sen 4 sen2 a e) ∑ n=1 4n cos2 (x/2n ) Ejercicio 8. Ejercicios Ejercicio 8.2. n=0 donde P es un polinomio de grado m. y deducir así el comportamiento de la serie.1. . . 0) b n (0 < a < π/2) b) e) h) k) 1 √ n − 2/3 n2 + 1 nan (a = 0) −n3 c) f) i) l) 1 + n2 n! n! nn 1 log n 1 n − 3/2 n+1 n sen(nx) n2 . n! (n − k − 1)! si n > k. Estudiar el carácter de las series de término general: a) d) g) j) sen4 n n2 cosn a + 3n n2 + 1 1 . 3n 3 3 x 2 tg a a 2 ).186 Capítulo 8. n n(n + 1) n(n + 1) n=1 2 ∞ n=1 ∞ b) ∑ 3n sen3 a x x (obsérvese que sen x = 3 sen − 4 sen3 ). . sin más que reescribir Partiendo de que para todo x ∈ R es ∞ P(n) = a0 n(n − 1) · · · (n − m + 1) + a1 n(n − 1) · · · (n − m + 2) + · · · + am−1 n + am para coeficientes a0 . estudiar las siguientes series: a) ∑ ∞ 1 n+2 n+2 · (descomponer en fracciones simples). Series numéricas Reordenadas de la serie armónica alternada En algunos casos pueden hallarse expresiones simplificadas de ciertas sumas parciales en términos de Hn . na + b (a. c) ∑ 2n−1 tg2 n tg n−1 (utilizar que tg x = x 2 2 n=1 1 − tg2 2 d) ∑ sen n=1 ∞ ∞ 1 3 1 cos n (tener en cuenta que cos x sen y = [sen(x + y) − sen(x − y)]). 8.6.

(n + 2)! n2 3n 1 √ √ n n + 1 + (n + 1) n n≥2 3n2 + 8n + 6 . n≥2 (n + 1)2 − 4 3n (n − 3) n! n−1 n!(n + 2) n2 + 5n + 7 .8. (n + 2)(n − 1)2 1 .3. Ejercicios m) o) r) 1 n(n + 1)(n + 2) √ √ n+1− n n log(n + 1) − 1 (1 + n)2 1 1 1 n(1 + + · · · + ) 2 n n+1 log n n x √ n (−1)n 1 1 1+ +···+ 2 n e1/n − e1/(n 2 2 +1) 187 n) p) s) 1 + sen2 (nx) n2 n(n + 1) n2 + 2n 1 3 − cos(1/n) 1 1 1+ +···+ 2 n n3 log n e− √ n2 +1 ñ) q) t) 1 1 sen n n 1 n x n n+1/n n n! u) x) A) D) G) v) y) B) E) H) w) z) C) F) I) 1 (log n)2n 1 (log n) p log 1 + x n log n np (−1)n (n + 1) n! (−1)n+1 n 2 +1 n (n2 + 1)xn (n + 1)! (n!)2 2n x (2n)! Ejercicio 8. Hallar la suma. (n + 2)! n2 + 1 (n + 1)! n(n + 1) 2n (−1)n n2 − n 3n (n + 1)xn log n n+1 − 1 +1 2n Ejercicio 8. Hallar la suma de las series: . n≥2 n(n − 1)(n + 2) 1 . n≥2 2 −1 n n≥2 b) e) i) j) m) o) 2n + 1 n(n + 1) r) u) n 1 n(n + 1) 1 2 + 16n + 7 4n c) f) 3n2 + 7n + 6 n(n + 1)(n + 2)(n + 3) n2 + 3n + 1 n2 (n + 1)2 n3 − n + 1 n! 3n n3 − 1 n! (−1)n−1 1 √ √ √ (n − 1 + 3)(n − 2 + 3)(n + 3) n2 (n + 1)2 n! k) n≥3 n) p) s) v) 2n + 3 . de las series de término general (para n ≥ 1. si convergen.4. si no se indica otra cosa): a) d) g) h) l) ñ) q) t) w) 4n − 1 .6.

. 3 2 4 6 5 7 8 10 12 e) 1 + 1 1 1 1 1 1 + + + + + +.. . 3 5 7 2 9 11 13 15 4 1 1 1 1 1 1 1 1 1 d) 1 + − − − + + − − − + . . . 2 3 4 5 6 b) 1 1 1 1 1 1 1 1 1 − + − + − + − + −.188 1 1 1 1 1 a) 1 − + − + − + . 22 32 52 62 72 92 . . Series numéricas 1 1 1 1 1 1 1 1 1 c) 1 + + + − + + + + − + .. .. 4 3 8 9 12 15 16 21 20 Capítulo 8. .

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->