AMIcap 7

7
Series numricas e
integrales impropias
Series numricas e
integrales impropias
7.1. Denicin y primeras pro-
piedades
7.2. Trmino general o integran-
do positivos
7.3. La propiedad asociativa en
series
7.4. Convergencia absoluta y
condicional. Teorema de
Riemann
7.5. Criterios de convergencia de
Dirichlet y Abel
7.6. Sumacin de algunas series
7.7. Ejercicios
Contenidos
Saber denir los conceptos de
serie e integral impropia.
Conocer la convergencia de las
series e integrales impropias ar-
mnicas y saber utilizarlas en
el anlisis de la convergencia
para funciones positivas.
Saber los efectos que tiene so-
bre la convergencia de una se-
rie la asociacin, disociacin y
reordenacin de sus trminos,
dando razn y ejemplos.
Saber utilizar los criterios de
Dirichlet y Abel para analizar
convergencia condicional y su-
mar algunas series.
Saber usar Maxima para calcu-
lar aproximaciones a sumas de
serie e integrales impropias.
Competencias
243
244 Series numricas e integrales impropias
Este captulo est dedicado a las series numricas y a las integrales impropias.
En sentido estricto, son cuestiones diferentes. En el primer caso se trata de dar
sentido a una suma innita de nmeros, analizando las propiedades que tales su-
mas tienen en relacin con las propiedades de las sumas con un nmero nito de
sumandos (asociativa, disociativa y conmutativa). En el segundo caso se trata de
extender el concepto de integral de Riemann, que estaba denido nicamente para
funciones acotadas en intervalos cerrados y acotados, al caso de funciones que o
bien no estn denidas en un intervalo acotado o bien no son acotadas, e incluso
ambas cosas.
Habitualmente estas cuestiones son tratadas en los libros en captulos dife-
rentes porque tienen distinta naturaleza. No obstante hemos preferido hacer un
tratamiento paralelo por una cuestin de economa de esfuerzos y para resaltar las
similitudes formales (y no tan formales) existentes entre ellas.
El formato utilizado en este captulo en el que con frecuencia aparecen tex-
tos paralelos para series numricas e integrales impropias contribuye a facilitar
una lectura comparada de los conceptos y resultados que se presentan. Las tcni-
cas para probar los teoremas son en cambio diferentes y por ello se presentan de
forma independiente y secuencial. Cuando para una cuestin, como ocurre con la
reordenacin de series, no se estudia un anlogo en el paralelismo, se interrumpe
temporalmente el formato de textos paralelos. Conamos que este modo de proce-
der ayude a la organizacin conceptual de los alumnos, aunque el resultado esttico
(del texto) se vea afectado negativamente.
244
7.1 Denicin y primeras propiedades 245
7.1. Denicin y primeras propiedades
Denicin 7.1.1 Una serie numri-
ca en K es un par de sucesiones
(a
n
)
nN
, (S
n
)
nN
relacionadas por la
frmula S
n
= a
1
+ +a
n
. Una serie de
este tipo se representa abreviadamente
mediante
n=1
a
n
.
A a
n
se le llama trmino general de la
serie y a S
n
suma n-sima. La serie
numrica (o simplemente serie) se dice
convergente si existe
lm
n
S
n
=: S K
y en este caso S recibe el nombre de
suma de la serie.
Cuando a
n
R y lm
n
S
n
= la
serie se dice divergente a .
Analizar el carcter de una serie
concreta signica determinar si la serie
es convergente o no lo es. Esta cues-
tin, como fcilmente puede compren-
derse, es ms sencilla que la determi-
nacin (en su caso) de la suma.
Denicin 7.1.2 Sea una funcin
f : [a, ) R tal que su restric-
cin a [a, b] es integrable Riemann pa-
ra cada a < b < (una tal funcin
se llama localmente integrable). Se dice
que f es integrable en sentido impropio
en [a, ) (o que la integral impropia es
convergente) si existe
lm
x
_
x
a
f(t) dt R.
Dicho lmite recibe el nombre de inte-
gral impropia de f en [a, ) y se de-
nota con _

a
f(t) dt.
Existen otras situaciones en las que es natural considerar una integral impropia:
cuando f est denida sobre (, a] o cuando f est denida en [a, b) y es no
acotada.
Para contemplar todos estos casos conviene denir la nocin de funcin local-
mente integrable en la forma siguiente: sea I un intervalo en R y f : I R,
diremos que f es localmente integrable en I si es integrable Riemann en cualquier
intervalo cerrado [a, b] I.
Para denir una integral impropia en cualquier tipo de intervalo, supondremos
siempre que la funcin es localmente integrable en dicho intervalo.
De forma anloga a la anterior, si f : (, a] R es localmente integrable,
diremos que la integral
_
a
f(t) dt es convergente si existe

lm
x
_
a
x
f(t) dt =:
_
a
f(t) dt.
245
Otro tanto ocurre con
_
b
a
f(t) dt supuesto que f : [a, b) R es localmente inte-
grable, en cuyo caso denimos:
_
b
a
f(t) dt := lm
xb
_
x
a
f(t) dt
siempre que este lmite exista. Para f : (a, b] R es localmente integrable la
denicin es totalmente anloga.
En el caso de ser f : (a, b) R localmente integrable, se dice que f es
integrable en sentido impropio si f es integrable en sentido impropio en (a, c] y en
[c, b) con integrales impropias nitas para algn c (a, b) y se escribe
_
b
a
f(t) dt =
_
c
a
f(t) dt +
_
b
c
f(t) dt.
La posicin del mencionado punto c en el intervalo (a, b) es irrelevante en
el sentido de que si para algn c (a, b) se cumple que f es integrable en
sentido impropio en (a, c] y en [c, b) con integrales impropias nitas, entonces
lo mismo ocurre para cualquier otro punto c
y el valor
_
b
a
f(t) dt es el mismo
si se usa c como c
. Demuestre la armacin ayudndose de un esquema grco.

En lo sucesivo los teoremas se establecern para funciones denidas en [a, b),
siendo b +, pero el lector no tendr dicultad para enunciar y demostrar los
resultados correspondientes para los dems casos.
A continuacin veremos algunos ejemplos importantes de convergencia de se-
ries e integrales impropias: la serie geomtrica (que ya hemos utilizado en otras
ocasiones) y las integrales armnicas ( f(x) = 1/x
).
La convergencia de las integrales impropias armnicas, que es muy sencilla de
probar, permitir luego analizar la convergencia de las series armnicas (de trmino
general 1/n
) mediante el criterio de la integral (proposicin 7.1.8). Se vislumbrar

entonces que el paralelismo entre series e integrales impropias no es nicamente
formal, sino que se fundamenta en razones ms profundas, aunque aqu no las
desarrollemos ms.
246
Ejemplos 7.1.3
(1) La serie geomtrica
n=0
r
n
con |r| < 1 es una serie convergente
con suma
1
1 r
.
Si |r 1 la serie es divergente a +.
Esto es muy sencillo de comprobar re-
cordando el clculo de la suma de los
trminos de una progresin geomtri-
ca, realizado en el ejemplo 8 de la sec-
cin 3.1.2.
(2) La serie
n=1
1
n
2
es convergente ya que la sucesin (S
n
)
n
es montona creciente y acotada. En
efecto, como consecuencia de la si-
guiente desigualdad:
1
n 1

1
n
=
1
n(n 1)
>
1
n
2
tenemos:
N
n=2
1
n
2
<
N
n=2
1
n 1

1
n
= 1
1
N
(3) La integral impropia
_

1
1
t
dt
es convergente para > 1 y divergente
para los otros valores de ya que para
cada x > 1 se tiene
_
x
1
1
t
=
_
x
1
t
dt =
1
1
(x
1
1)
Y por tanto, para > 1 se tiene que
_

1
1
t
= lm
x+
1
1
(x
1
1)
=
1
1
mientras que para 1 es
_

1
1
t
dt = +.
(4) La funcin considerada en el
ejemplo precedente da origen sobre el
intervalo (0, 1] a una integral impropia
cuyo carcter al variar es diferente:
_
1
0
1
t
dt
es convergente para < 1 y divergente
para 1, como es fcil comprobar
calculando
_
1
x
1
t
dt
para 0 < x < 1 y tomando lmites.
Como la convergencia se expresa en trminos de lmites y estos se caracterizan en
trminos de la condicin de Cauchy, se tienen los siguientes resultados:
247
Proposicin 7.1.4 (Criterios de Cauchy)
La serie numrica
n=1
a
n
es convergente si y slo si para cada
> 0 existe n
0
N tal que se verica
|a
p
+ a
p+1
+ + a
q
| < ,
siempre que los naturales p, q cumplan
n
0
p q.
La integral impropia
_
b
a
f(t) dt,
donde f : [a, b) R es localmente
integrable y b +, es convergente si
y slo si para cada > 0 existe c
(a, b) tal que si c y < z < b entonces
_
z
y
f(t) dt
< .
Demostracin: Es muy sencillo darse cuenta de que las acotaciones anteriores
se obtienen aplicando la condicin de Cauchy de existencia de lmite a la sucesin
(S
n
)
n
y a la funcin F(x) =
_
x
a
f(t) dt, respectivamente.
Como consecuencia de la proposicin inmediatamente anterior se obtienen sendos
corolarios muy tiles. En ambos casos la demostracin es trivial y la dejamos como
ejercicio para el lector.
Corolario 7.1.5
Si la serie

n=1
a
n
converge entonces
existe lm
n
a
n
y vale 0.
Si la integral impropia
_
b
a
f converge y
existe lm
xb
f(t), entonces dicho lmi-
te vale 0.
Llamamos la atencin sobre el hecho de que el recproco no es cierto. As, por
ejemplo, a pesar de que lm
n
1/n = 0, la serie

n=1
1/n no es convergente como
veremos en el corolario 7.1.9.
Corolario 7.1.6
La convergencia de una serie no se al-
tera modicando un nmero nito de
trminos de la misma.
_
a
f converge si,
y slo si, lo hace la integral impropia
_
b
f para algn a < b R.
En lo sucesivo, y como consecuencia de este resultado, abreviaremos la repre-
sentacin de la serie con
a
n
cuando solamente estemos interesados en su carcter.
248
Proposicin 7.1.7
Sean
n=1
a
n
y
n=1
b
n
dos series con-
vergentes con sumas A, B respectiva-
mente. Entonces para cada , K,
la serie
n=1
(a
n
+ b
n
)
es convergente y tiene suma A+B.
Sean f, g : [a, b) R, con b ,
tales que las integrales impropias
_
b
a
f
y
_
b
a
g son convergentes. Entonces para
cada , R, la integral impropia
_
b
a
(f + g)
es convergente, siendo
_
b
a
(f + g) =
_
b
a
f +
_
b
a
g.
Demostracin: Es una consecuencia inmediata de las deniciones de convergen-
cia y de la conservacin de sumas y productos al tomar lmites.
7.1.1. Criterio de convergencia de la integral
El paralelismo entre las series numricas y las integrales impropias va mas all
de la simple apariencia formal, como se muestra en la proposicin que establece-
mos a continuacin. En la demostracin del mismo aparece clara, en este caso, la
relacin entre series e integrales impropias. De hecho, desde cierta perspectiva, las
series numricas son slo un tipo particular de integrales.
Si consideramos una serie

n
a
n
tal que a
n
0 para todo n N, entonces la
sucesin de las sumas parciales S
n
=
n
k=1
a
k
es, obviamente, montona creciente.
Por tanto para la convergencia de este tipo de series es suciente vericar que la
sucesin (S
n
)
n
est acotada superiormente.
Algo anlogo puede decirse de las integrales impropias. Si f : [a, b) [0, +)
es localmente integrable, la funcin F(x) =
_
x
a
f(t) dt es montona creciente, por
tanto la convergencia de la integral impropia es consecuencia de la acotacin su-
perior de esta funcin.
Estas dos sencillas observaciones son tiles en la siguiente proposicin, as como
en la seccin 7.2.
Proposicin 7.1.8 (Criterio de la integral) Sea f : [a, ) R
+
montona
decreciente y sea a
n
= f(n). Entonces la serie

a
n
converge si, y solo si, converge
la integral impropia
_
a
f.
Demostracin: Podemos suponer por sencillez en el razonamiento y sin prdida
de generalidad que a = 1.
249
n n + 1 n 1
f
g
h
Figura 7.1: El criterio de la integral
Consideremos las funciones constantes a trozos g y h denidas (vase la gu-
ra 7.1) por las frmulas
g(x) := f(n) para x [n, n + 1)
h(x) := f(n) para x (n 1, n]
Es evidente que se tienen las relaciones
h(x) f(x) g(x)
Por tanto
_
x
1
_
x
1
g
_

1
g =
n=1
a
n
y la convergencia de la integral es consecuencia de la de la serie.
Recprocamente como
N
n=2
a
n
=
_
N
1
h
_
N
1
f
_

1
f
la convergencia de
_
1
f implica la convergencia de
n=2
a
n
y por tanto (aplicando
el corolario 7.1.6) la serie

n=1
a
n
tambin es convergente.
El criterio de la integral reduce el estudio de la convergencia de una serie
(con condiciones de monotona y positividad) al estudio de la convergencia de
una integral impropia y viceversa. Obviamente es til si la resolucin del nuevo
problema es ms sencilla que la del inicialmente planteado. Esa es la situacin para
la serie armnica

1/n
q
cuya convergencia se obtiene fcilmente con el criterio de
la integral y del apartado (3) del ejemplo 7.1.3
250
Corolario 7.1.9 La serie armnica
1
n
q
es convergente si q > 1 y divergente si q 1.
Cuando una serie es convergente es posible obtener valores aproximados de
la suma utilizando un nmero nito de trminos. Maxima puede ayudar a
realizar esas sumas nitas mediante el comando
sum(Funcin,Variable,ValorInicial,ValorFinal ),numer;
suma(1/n
3
, n, 1, 1000),numer; es un ejemplo del uso del comando. Desde luego esa
forma de proceder no permite controlar la bondad de la aproximacin. Cuestin sta
que habr de realizarse por otros procedimientos.
Cuando en una serie convergente su valor aproximado se calcula a travs de
una suma nita, la estimacin del error cometido resulta en general difcil. Pero si
la convergencia puede ser obtenida aplicando el criterio de la integral y la integral
impropia que aparece puede calcularse de forma directa, entonces es posible tener
un control satisfactorio sobre el error cometido.
Ejemplo 7.1.10 La serie
n=1
1
n
2
es convergente y para cada entero r 2
n=r
1
n
2
=
_

r
g(x) dx
_

r
1
(x 1)
2
dx
siendo g la funcin constante a trozos (escalonada) denida por g(x) = 1/n
2
si
x [n, n + 1). De suerte que una cota de error para la suma nita
r1
n=1
1
n
2
est dada por
_

r
1
(x 1)
2
dx =
1
r 1
lo cual permite obtener aproximaciones del valor de la suma con la precisin desea-
da. Haciendo uso de Maxima pueden sumarse los primeros 100000 trminos para
obtener una aproximacin del valor de la suma
n=1
1
n
2

100000
n=1
1
n
2
= [segn Mxima] 1.644924066898226
con una cota de error inferior a 10
5
. Calculada por un procedimiento indirecto se
sabe que el valor exacto de la suma de la serie viene dado por
n=1
1
n
2
=

2
6
[segn Mxima] 1.644934066848226.
251
7.2. Series con trmino general no negativo
e integrales con integrando no negativo
A lo largo de esta seccin nos ocuparemos del estudio de series

a
n
tales
que a
n
0 o de integrales impropias con integrando no negativo. En este caso
el carcter nicamente puede ser o convergente, con suma e integral nitas, o
divergente, con suma e integral innitas.
En realidad los resultados de esta seccin pueden ser tambin aplicados a las
series e integrales impropias con signo constantemente negativo, ya que stas pue-
den reducirse a aqullas cambiando el signo. Pero no son aplicables, por contra, a
situaciones en las que el signo no permanece constante.
7.2.1. Criterios de convergencia por comparacin
A pesar de su simplicidad el criterio de mayoracin proporciona una herramien-
ta til para el estudio de la convergencia de series e integrales con trmino general
o integrando positivos.
En todo lo que sigue es esencial recordar el carcter montono de las sumas
parciales e integrales consideradas, ya comentado al inicio del apartado anterior.
Proposicin 7.2.1 (Criterio de mayoracin)
Sean

a
n
,
b
n
series de trminos no
negativos. Si existe n
0
N y M >
0 tales que a
n
Mb
n
para todo
n
0
n N, entonces la convergencia
de

b
n
implica la convergencia de
a
n
.
Sean f, g : [a, b) R
+
con b y
supongamos que existe c [a, b) y M >
0 tales que f(t) Mg(t) para todo t
[c, b). Entonces la convergencia de
_
b
a
g
_
b
a
f.
Demostracin: Como consecuencia de la hiptesis de mayoracin se tiene
m
n=n
0
a
n
M
m
n=n
0
b
n
para todo m > n
0
. Pero como la serie

b
n
es convergente con suma B, las sumas
parciales de
a
n
forman una sucesin montona creciente y acotada superiormente
por MB, por tanto dicha sucesin es convergente.
Para el caso de la integracin el razonamiento es similar y se deja al cuidado
del lector.
252
7.2 Trmino general o integrando positivos 253
Corolario 7.2.2
Sean

a
n
,
b
n
series de trminos
estrictamente positivos y supongamos
que existe l := lm
a
n
b
n
(1) Si 0 < l < entonces las dos
series tienen el mismo carcter.
(2) Si l = 0 entonces la convergen-
cia de

b
n
a
n
.
(3) Si l = entonces la conver-
gencia de

a
n
implica la convergencia
de

b
n
.
Sean f, g : [a, b) R con
f(x), g(x) > 0 y b . Supongamos
que existe l := lm
xb
f(x)
g(x)
(1) Si 0 < l < entonces las in-
tegrales impropias
_
b
a
f y
_
b
a
g tienen el
mismo carcter.
(2) Si l = 0 entonces la convergen-
cia de
_
b
a
g implica la convergencia de
_
b
a
f.
(3) Si l = entonces la conver-
gencia de
_
b
a
f implica la convergencia
de
_
b
a
g.
Demostracin: Es una consecuencia directa de la proposicin 7.2.1 y del con-
cepto de lmite. A modo de ejemplo probaremos la validez de la ltima de las
armaciones.
= lm
xb
f(x)
g(x)
existe c (a, b) con 1
f(x)
g(x)
si c < x < b
y siendo
_
b
a
f convergente se obtiene del criterio de mayoracin que tambin es
convergente la integral impropia
_
b
a
g.
Observe que la mayor parte de los anteriores criterios de convergencia sirven
tambin como criterios de divergencia. La idea es siempre la misma: reduciendo
la convergencia a la acotacin, en el caso de trminos no negativos o funciones
no negativas, se observa que si la mayor de la series (o integrales) est acotada
(luego converge) la menor tambin lo est, mientras que si la menor no est aco-
tada, tampoco lo estar la mayor. El corolario 7.2.2 simplemente muestra que la
desigualdad que sirve de hiptesis en el criterio de mayoracin, puede ser obtenida
mediante el clculo de un lmite, algo a menudo ms fcil dadas todas las tcnicas
de clculo de lmites conocidas.
Ejemplos 7.2.3
(1) Anlisis del carcter de las siguientes series
(a)
1
3 cos
1
n
(b)

n + 1 log n
(n
2
+ 4)
3
log n + 2
(c)

_
e
1/n
1
1
n
_
(d)

_
1
n
e
n
2
_
253
En el caso de la primera serie, se tiene que
lm
n
1
3 cos
1
n
=
1
2
= 0
y por tanto la serie no es convergente, siendo su suma +.
De acuerdo con el corolario 7.2.2, para el caso de series de trminos positivos,
es el tamao del trmino general el que determina el carcter de la serie.
Para la serie (b) dicho tamao es
n
1/2
log n
n
2
(log n)
1/3
=
(log n)
2/3
n
3/2
puesto que, obviamente,
lm
n
n+1 log n
(n
2
+4)
3
log n+2
n
1/2
log n
n
2
(log n)
1/3
= 1.
As pues el carcter de la serie (b) es el mismo que el de la serie
(log n)
2/3
n
3/2
=
(log n)
2/3
n
1,5
.
De haberse tratado de la serie
1
n
, con > 1
la serie sera convergente segn sabemos. Aunque no es esa nuestra situacin
(debido a la existencia de (log n)
2/3
) podemos reducirnos astutamente a ella
utilizando que
lm
n
(log n)
= 0 cualquiera que sea > 0.

En particular, existe n
0
tal que
(log n)
2/3
n
0,1
< 1 si n n
0
y por tanto
N
n=n
0
(log n)
2/3
n
1,5
=
N
n=n
0
(log n)
2/3
n
0,1
1
n
1,4

N
n=n
0
1
n
1,4
<
n=n
0
1
n
1,4
lo cual garantiza la convergencia de la serie (b), puesto que nos da una cota
superior para la sucesin de sumas parciales
S
N
=
N
n=1
(log n)
2/3
n
1,5
254
Utilizando el desarrollo de Taylor sabemos que
e
1/n
1
1
n

1
2!n
2
, o sea que lm
n
e
1/n
1
1
n
1
2!n
2
= 1.
Por tanto el carcter de la serie (c) coincide con el de la serie
1
2
1
n
2
que es convergente.
Se podran utilizar procedimientos similares para estudiar el carcter de la
serie (d), pero procederemos de otra forma. La serie

1/n es divergente;
en cambio la serie

1/e
n
2
es convergente puesto que la geomtrica

1/e
n
lo es y los trminos de aqulla son menores. En consecuencia la serie (d) es
divergente, puesto que si fuera convergente llegaramos a que la serie

1/n
tambin sera convergente (lo cual es falso) al ser suma de dos convergentes
ya que
1
n
=
_
1
n
e
n
2
_
+
1
e
n
2
(2) Anlisis del carcter de la integral impropia
_
1
0
t
k
1
log t
dt
segn los valores del nmero real k.
Comencemos observando que el integrando es una funcin continua en (0, 1)
y, por tanto, localmente integrable. Estudiemos el comportamiento en los
extremos del intervalo. En principio ambos extremos se nos presentan como
problemticos y por ello dividimos el intervalo (0, 1) en los subintervalos
(0, 1/2] y [1/2, 1) a n estudiar las dos integrales impropias simples que se
generan.
Para estudiar la convergencia de la integral impropia
_
1
1/2
t
k
1
log t
dt
observamos que lm
t1
t
k
1
log t
= k (usar LHospital) y por tanto el integrando
admite prolongacin continua en el punto 1, tratndose por consiguiente de
una integral convergente, al ser la integral de una funcin continua en un
intervalo cerrado y acotado.
255
Pasamos ahora al estudio de la integral impropia
_
1/2
0
t
k
1
log t
dt.
La dicultad est en el 0, pues el log t tiende a en dicho punto. Si
pudiramos prolongar el integrando de forma continua, como hemos hecho
en el punto 1, la integral sera convergente. Eso es posible cuando k 0,
puesto que en tal caso
lm
t0
t
k
1
log t
= 0
nicamente nos queda analizar el caso k < 0. A tal n, haciendo k = s se
tiene
_
1/2
0
t
k
1
log t
dt =
_
1/2
0
t
s
1
log t
dt =
_
1/2
0
1 t
s
t
s
log t
dt
La convergencia de esta integral es equivalente a la convergencia de
_
1/2
0
1
t
s
log t
.
Si se hubiera tratado de
_
1/2
0
1
t
p
entonces la integral es convergente para 0 < p < 1 y divergente cuando
1 p, segn vimos en el apartado (5) de los ejemplos 7.1.3. Este modelo va
a permitir concluir el anlisis de la convergencia.
Si s = 1 se tiene
_
1
t log t
= log(log t) + K
y por tanto la integral impropia diverge.
Si s > 1, al ser t
s
t, se tiene
1
t
s
log t

1
t log t
y por tanto la integral
impropia es tambin divergente.
Si s < 1 hacemos la comparacin del integrando con 1/t
p
para 0 < s < p < 1
y como
lm
t0
1
t
s
log t
1
t
p
= lm
t0
t
p
t
s
log t
= lm
t0
t
ps
1
log t
= 0
podemos aplicar el corolario 7.2.1 para concluir que en este caso la integral
impropia converge.
Resumiendo la integral propuesta converge para 1 < k y diverge en los
dems casos.
256
En los ejemplos anteriores hemos estado aplicando criterios de comparacin,
pero tales criterios requieren que las sucesiones y funciones a las que se aplican
sean positivas. Se ha asegurado el lector de que se cumplen tales condiciones?
Otra forma de abordar el estudio de la convergencia de
_
1
0
t
k
1
log t
dt
es realizar un cambio de variable del tipo log t = x que la transforma en una integral
impropia sobre el intervalo (0, +). Utilice este cambio de variable y discuta el carcter
de la integral impropia que se genera.
En el criterio de comparacin (o en el corolario 7.2.2) la idea es sustituir la
sucesin (a
n
)
nN
por una sucesin equivalente (b
n
)
nN
para la que se conozca el
carcter de la serie
b
n
y otro tanto ocurre con la sustitucin de f por una funcin
g para la que sea conocida la convergencia de la correspondiente integral impropia.
As, en cierto sentido, la convergencia depende de recursos externos a la
sucesin (a
n
)
nN
. Los criterios de la raz y del cociente que veremos a continuacin
son criterios de convergencia que dependen directamente de la sucesin (a
n
)
nN
.
Pero antes haremos un inciso para denir una generalizacin de la nocin de lmite
que resulta de utilidad en ste y otros contextos.
Inciso: lmites superior e inferior
Para sucesiones acotadas el teorema de Bolzano-Weierstrass garan-
tiza que existen subsucesiones convergentes a determinados puntos que
llamaremos puntos de aglomeracin de la sucesin. El mayor de dichos
puntos de aglomeracin recibe el nombre de lmite superior de la suce-
sin. Anlogamente, el menor de los puntos de aglomeracin recibe el
nombre de lmite inferior de la sucesin. Evidentemente una sucesin
tiene lmite si y slo si tiene un nico punto de aglomeracin, es decir,
si los lmites superior e inferior coinciden.
Estas consideraciones pueden ser aplicadas a sucesiones no acotadas
superiormente, en cuyo caso existir una subsucesin con lmite +
y diremos que el lmite superior de tal sucesin es +. Otro tanto
puede hacerse para sucesiones no acotadas inferiormente para las que
se dene el lmite inferior como ya que existe una subsucesin con
dicho lmite.
Ejemplo 7.2.4 La sucesin a
n
= (1)
n+1
tiene lmite inferior -1 y
lmite superior +1. Y la sucesin cuyos primeros trminos son 1, 2, 3,
1+1/1, 2+1/2, 3+1/3, 1+1/4, 2+1/5, 3+1/6,. . . tiene lmite inferior 1
y lmite superior 3.
Otra denicin que se utiliza para estas nociones es la siguiente.
257
Denicin 7.2.5 Sea (a
n
)
nN
una sucesin de nmeros reales.
(1)
lmsup a
n
:=nf{sup{a
k
; k n}; n N}
(2)
lminf a
n
:= sup{nf{a
k
; k n}; n N}
Es inmediato que dicha denicin coincide con la indicada ms arri-
ba, en el caso del lmite superior para sucesiones no acotadas supe-
riormente y en el caso del lmite inferior para sucesiones no acotadas
inferiormente.
Para sucesiones acotadas las frmulas anteriores tambin se corres-
ponden con las nociones que hemos introducido anteriormente. Ello es
consecuencia de la siguiente
Proposicin 7.2.6 Sea (a
n
)
nN
una sucesin acotada de nmeros reales.
(1) Sea = lminf a
n
:= sup{nf{a
k
; k n}; n N}. Entonces es
el nico nmero real que cumple la siguiente propiedad:
Para cada el cardinal del conjunto {n N; > a
n
} es nito
y el cardinal del conjunto {n N; + > a
n
} es innito.
(2) Sea = lmsup a
n
:=nf{sup{a
k
; k n}; n N}. Entonces es
el nico nmero real que cumple la siguiente propiedad:
Para cada el cardinal del conjunto {n N; < a
n
} es
innito y el cardinal del conjunto {n N; + < a
n
} es nito.
Proposicin 7.2.7 (Criterio de la raz) Sea

a
n
una serie de trminos no
negativos y sea = lmsup
n
a
n
.
(1) Si < 1 entonces la serie converge.
(2) Si > 1 entonces la serie diverge.
Demostracin: Si < 1 elegimos r tal que < r < 1. Aplicando la proposi-
cin 7.2.6 sabemos que a la derecha de r slo existe un nmero nito de trminos de
la sucesin (
n
a
n
)
n
; por tanto, existe n
0
N tal que
n
a
n
r, es decir, a
n
r
n
pa-
ra n n
0
. La convergencia de la serie geomtrica
r
n
y el criterio de comparacin
garantizan la convergencia de

a
n
Si > 1, aplicando de nuevo la proposicin 7.2.6, sabemos que existe un
conjunto innito de valores de n N para los que a
n
1 y en consecuencia no es
posible que lma
n
= 0, condicin sta necesaria para la convergencia de la serie.
Para = 1 nada puede armarse en general al existir sucesiones (a
n
)
nN
para
las que la serie

a
n
es convergente y otras para las que la serie es divergente (ver
los ejemplos 7.2.10).
258
Ejemplos 7.2.8
(1) La serie
1
(log n)
n
es convergente puesto que en este caso existe
lm
n
n
1
(log n)
n
= lm
n
1
log n
= 0 < 1
y por tanto el lmite superior es 0.
(2) Para la serie
_
n(n + 1)2
n
tenemos
lm
n
n
_
_
n(n + 1)2
n
= lm
n
2n
n
2
(1 + 1/n)
2
n
= lm
n
n
n
2n
_
1 + 1/n
2
=
1
2
< 1
luego la serie converge.
Proposicin 7.2.9 (Criterio del cociente) Sea

a
n
de trminos no negativos
y sea
= lminf
a
n+1
a
n
, = lmsup
a
n+1
a
n
(1) Si < 1 entonces la serie converge.
(2) Si > 1 entonces la serie diverge.
Demostracin: Se utilizan aqu ideas similares a las utilizadas en la demostracin
del criterio de la raz. Si < r < 1 existe n
0
N tal que
a
n+1
a
n
< r para n n
0
.
As que
a
n
0
+1
a
n
0
< r
a
n
0
+2
a
n
0
+1
< r
. . .
a
n
0
+k
a
n
0
+k1
< r
de donde multiplicando obtenemos
a
n
0
+k
a
n
0
< r
k
k N
259
que puede escribirse como a
n
0
+k
< a
n
0
r
k
. La convergencia de la serie geomtrica
r
k
y el criterio de comparacin garantizan la convergencia de la serie

a
n
0
+k
y
por tanto de la serie

a
n
.
Si > 1 entonces, aplicando la proposicin 7.2.6, sabemos que existe n
0
N
tal que
a
n+1
an
> 1 para todo n n
0
; por tanto, no puede ser lma
n
= 0, luego la
serie es divergente (recordemos que las series de trminos positivos slo pueden ser
convergentes o divergentes).
Al igual que ocurre con el criterio de la raz nada puede armarse con carcter
general cuando = 1.
Puede demostrarse que si existe lm
a
n+1
a
n
tambin existe lm
n
a
n
y valen lo
mismo (vase, por ejemplo, el libro de Ortega [1] pg. 269). Aunque el segundo
lmite puede existir sin que exista el primero, por ello el criterio de la raz es
algo ms potente que el del cociente, ya que el criterio de la raz puede resolver
situaciones en las que el criterio del cociente no es aplicable.
Ejemplos 7.2.10
(1) Consideremos las series

1/n y

1/n
2
. Para ambas se cumple que
lm
n
a
n+1
a
n
= 1 = lm
n
n
a
n
.
Pero la primera diverge y la segunda converge, as que nada se puede asegurar
respecto a la convergencia si nicamente sabemos que los lmites en cuestin
valen 1.
(2) Para estudiar el carcter de la serie

x
n
/n! con x 0 podemos aplicar el
criterio del cociente
lm
n
x
n+1
(n+1)!
x
n
n!
= lm
n
x
n+1
n!
x
n
(n + 1)!
= lm
n
x
n + 1
= 0
y obtenemos la convergencia de la serie para cualquier x 0.
(3) En el caso de la serie

x
n
/n
p
con 0 x aplicando el criterio del cociente
tenemos
lm
n
x
n+1
(n+1)
p
x
n
n
p
= lm
n
x(
n
n + 1
)
p
= x.
As que si 0 x < 1 la serie converge y si x > 1 diverge cualquiera que sea
el valor de p.
Para x = 1 el criterio del cociente no permite determinar el carcter. Pero
para x = 1 la serie se convierte en

1/n
p
que, como sabemos, converge si
p > 1 y diverge si p 1.
260
7.3 La propiedad asociativa en series 261
(4) A la sucesin (a
n
)
nN
cuyos primeros trminos obedecen a la siguiente regla:
2
2
, 2
1
, 2
4
, 2
3
, 2
6
, 2
5
,. . . se le puede aplicar el criterio de la raz para
determinar su convergencia, pero en cambio el criterio del cociente no permite
deducir la convergencia.
7.3. La propiedad asociativa en series
Las series son una especie de sumas innitas. Es natural plantearse si pro-
piedades de las sumas nitas de nmeros, como la asociatividad, disociatividad y
conmutatividad, son ciertas para las series. En esta seccin y en la siguiente nos
ocuparemos de esas cuestiones.
Denicin 7.3.1 Sean

a
n
y

b
n
series de nmeros reales. Se dice que

b
n
se ha obtenido de

a
n
introduciendo parntesis si existe una sucesin n
1
< n
2
<
. . . de naturales tales que b
1
= a
1
+ . . . a
n
1
, b
2
= a
n
1
+1
+ + a
n
2
y en general
b
k
= a
n
k1
+1
+ + a
n
k
para k > 1. Tambin se expresa diciendo que

a
n
se ha
obtenido de

b
n
suprimiendo parntesis.
Proposicin 7.3.2 Sean

a
n
y

b
n
series de nmeros reales tales que

b
n
se
ha obtenido de

a
n
introduciendo parntesis.
(1) Si

a
n
converge entonces

b
n
converge y ambas series tienen la misma
suma.
(2) Si

b
n
converge, lma
n
= 0 y la diferencia n
k+1
n
k
(longitud de los parn-
tesis) se mantiene acotada por l para todo k N, entonces

a
n
converge y
ambas series tienen la misma suma.
Demostracin: Para demostrar el primero de los apartados, que corresponde a
una propiedad asociativa, basta observar que si ponemos
B
m
:= b
1
+ b
2
+ + b
m
A
n
:= a
1
+ a
2
+ + a
n
entonces (B
m
)
mN
es una subsucesin de (A
n
)
nN
, por lo que es convergente siendo
lm
m
B
m
= lm
n
A
n
.
La propiedad disociativa, que corresponde al segundo de los apartados, no
funciona en general. Un ejemplo es la serie
(1 1) + (1 1) + . . .
que con parntesis es converte con suma 0, mientras que si se quitan no lo es.
Sin embargo, veamos que s se pueden quitar los parntesis cuando se dan
las circunstancias que se contemplan en el apartado segundo de la proposicin.
261
En efecto, cada A
n
= a
1
+ a
2
+ + a
n
tras introducir los parntesis oportunos
corresponde a
A
n
= b
1
+b
2
+ +b
m
+a
nm+1
+a
nm+2
+ +a
n
= B
m
+a
nm+1
+a
nm+2
+ +a
n
.
Tomando lmites en la frmula anterior cuando n (y por tanto m) tiende a innito,
teniendo en consideracin que el nmero de a
j
que hay en el segundo miembro est
acotado por l N y que lm
j
a
j
= 0, se obtiene que
lm
n
A
n
= lm
m
B
m
+ lm
m
(a
nm+1
+ a
nm+2
+ + a
n
) = lm
m
B
m
,
lo cual prueba el resultado buscado.
Ejemplo 7.3.3 Vamos a aplicar los resultados anteriores para analizar la conver-
gencia de la serie
a
n
= 1 log
2
1
+
1
2
log
3
2
+
1
3
log
4
3
+ +
1
n
log
n + 1
n
+ . . . .
Comencemos introduciendo parntesis para asociar los trminos de dos en dos. La
serie que se obtiene es
b
n
=
_
1
n
log
_
1 +
1
n
__
.
A diferencia de la serie original, que tena trminos positivos y negativos, todos
los trminos de la nueva serie son positivos, ya que por la frmula de Taylor se
verica que
log
_
1 +
1
n
_
1
n
=
1
n

1
2!(1 + )
2
1
n
2

1
n
=
1
2!(1 + )
2
1
n
2
< 0.
Podemos entonces aplicarle los criterios de convergencia para series de trminos
positivos. En particular, por el corolario 7.2.2, sabemos que el carcter est deter-
minado por el tamao del integrando, es decir
1
n
log
_
1 +
1
n
_
1
2!n
2
y por tanto la serie

b
n
es convergente ya que

1/n
2
lo es.
Mirando las cosas al revs, resulta que la serie

a
n
se obtiene a partir de la
serie convergente

b
n
quitando parntesis cuya longitud es 2; y como claramente
lm
n
a
n
= 0, podemos aplicar la proposicin 7.3.2 para concluir que
a
n
es conver-
gente y tiene la misma suma que

b
n
. Para calcular la suma de

b
n
observemos
que denotando con B
n
su suma n-sima es
B
n
= 1 +
1
2
+
1
3
+ +
1
n
log n = H
n
log n
de donde lm
n
B
n
= (vase el ejercicio ?? del captulo 3 o la seccin 7.6 en este
mismo captulo).
262
7.4 Convergencia absoluta y condicional. Teorema de Riemann 263
Observacin 7.3.4 Para series de trminos positivos la sucesin (S
n
)
nN
de las
sumas parciales es montona creciente y por tanto la serie converge si, y slo si,
las sumas n-simas estn acotadas superiormente (en otro caso converge a +).
Es obvio entonces que para las series de trminos positivos son ciertas, sin ninguna
restriccin, las propiedades asociativa y disociativa.
7.4. Convergencia absoluta y condicional.
Teorema de Riemann
La propiedad conmutativa tambin es cierta para las series de trminos no
negativos, pero el concepto requiere ser precisado.
Denicin 7.4.1 Sean

a
n
y

b
n
dos series. Diremos que la serie

b
n
es una
reordenacin de la serie
a
n
si existe una biyeccin : N N tal que b
n
= a
(n)
Proposicin 7.4.2 Sea

a
n
una serie convergente de trminos positivos, enton-
ces cualquier reordenada suya converge y ambas tienen la misma suma.
Demostracin: Es consecuencia inmediata de que para series de trminos posi-
tivos la convergencia equivale a la acotacin superior de las sumas parciales.
Como ya sealamos en otro lugar, si el trmino general de la serie es negativo,
sacando factor comn 1, la convergencia de la serie se reduce a una de trminos
positivos. En el caso de que haya trminos de ambos tipos el anlisis no es tan sim-
ple. Una tentacin natural es prescindir de los signos y estudiar la convergencia de
la nueva serie de trminos positivos as obtenida y analizar si existe alguna relacin
con la convergencia de la serie inicial. Eso conduce al concepto de convergencia
absoluta que tambin puede formularse para integrales impropias.
Denicin 7.4.3
La serie

a
n
con a
n
R se dice abso-
lutamente convergente si la serie
|a
n
|
es convergente.
_
b
a
f, donde b
, se dice absolutamente convergente
si la integral impropia
_
b
a
|f| es conver-
gente.
Proposicin 7.4.4
Si la serie

a
n
es absolutamente con-
vergente entonces es convergente.
Si la integral impropia
_
b
a
f es absolu-
tamente convergente entonces tambin
es convergente.
263
Demostracin: Basta aplicar los correspondientes criterios de Cauchy para la
convergencia.
Una consecuencia inmediata de este resultado es que si una serie es absolutamente
convergente cualquier reordenada suya tambin es convergente, pero todas las
reordenaciones tienen la misma suma?. La respuesta a esta cuestin es armativa
como vamos a ver. Introducimos para ello los conceptos de serie de trminos
positivos y serie de trminos negativos asociada a la serie

a
n
.
Denicin 7.4.5 Dada la serie

a
n
se llama:
(1) Serie de trminos positivos asociada a esta serie, a la serie

a
n
donde a
n
=
a
n
si a
n
0 y a
n
= 0 si a
n
< 0.
(2) Serie de trminos negativos asociada a esta serie, a la serie

a
n
siendo
a
n
= a
n
si a
n
0 y a
n
= 0 si a
n
> 0.
Proposicin 7.4.6 Sea la serie

a
n
y sean

a
n
y

a
n
sus series de trminos
positivos y negativos.
(1) La serie

a
n
es absolutamente convergente si y slo las series

a
n
y

a
n
son convergentes.
(2) Si la serie

a
n
es absolutamente convergente y llamamos A
y A
a las
sumas de dichas de

a
n
y

a
n
, respectivamente, se verica que la suma de
la serie

a
n
(y de todas sus reordenadas) es A
.
Demostracin: Con las notaciones anteriores las se cumplen las dos igualdades
siguientes.
(a
1
+ + a
n
) + (a
1
+ + a
n
) = |a
1
| + +|a
n
|
(a
1
+ + a
n
) (a
1
+ + a
n
) = a
1
+ + a
n
Utilizando la primera de ellas y tomando lmites es inmediato que si

a
n
y

a
n
convergen tambin converge
|a
n
|. Por otra parte es evidente utilizando el criterio
de mayoracin que si

|a
n
| converge tambin convergen

a
n
y

a
n
.
De la segunda igualdad, tomando lmites, se obtiene inmediatamente que la
suma de la serie

a
n
es A
. Si hacemos una reordenacin de
a
n
obtenemos
una serie

b
n
con sus correspondientes

b
n
y

b
n
siendo la suma de la serie
reordenada B
(la notacin es autoexplicativa). Pero, evidentemente, B
= A
y B
= A
por tratarse de reordenaciones en series de trminos positivos.

As pues, adems de las series convergentes de trminos positivos, las series ab-
solutamente convergentes tambin verican la propiedad conmutativa. De hecho
son las nicas que verican esta propiedad, que llamaremos convergencia incondi-
cional.
264
7.4 Convergencia absoluta y condicional. Teorema de Riemann 265
Denicin 7.4.7 Una serie

a
n
se dice incondicionalmente convergente cuando
todas sus reordenadas son convergentes y tienen la misma suma.
Teorema 7.4.8 Una serie

a
n
es incondicionalmente convergente si, y slo si,
es absolutamente convergente.
Demostracin: Si la serie es incondicionalmente convergente entonces armamos
que la serie de trminos positivos asociada

a
n
y la serie de trminos negativos
asociada

a
n
tienen el mismo carcter. En efecto, si una fuera divergente y la
otra convergente, es inmediato que la serie

a
n
sera divergente a + o a .
Ahora, si las dos series

a
n
,
n
convergen tambin converge

|a
n
|. Para
concluir la prueba basta con demostrar que si
n
=
n
= +entonces la serie
a
n
no sera incondicionalmente convergente y ello es consecuencia del siguiente
teorema de Riemann de ms amplio alcance.
Teorema 7.4.9 (Teorema de Riemann de reordenacin de series)
Sean

a
n
y

a
n
dos series divergentes de trminos no negativos tales que
lma
n
= lma
n
= 0.
Entonces para cada a

R se pueden elegir sucesiones (k
j
)
j
, (l
j
)
j
de enteros positi-
vos con
k
1
< k
2
< k
3
< . . . , l
1
< l
2
< l
3
< . . .
y tales que la serie
a
1
+ + a
k
1
a
1
a
l
1
+ a
k
1
+1
+ + a
k
2
a
l
1
+1
a
l
2
+ . . .
tiene por suma a.
Demostracin: Consideremos que a R.
Sea k
1
1 el menor entero tal que a
1
+a
2
+ +a
k
1
> a y sea l
1
1 el menor
entero tal que a
1
+a
2
+ +a
k
1
a
1
a
2
a
l
1
< a. Sea ahora k
2
> k
1
tal que
a
1
+a
2
+ +a
k
1
a
1
a
2
a
l
1
+a
k
1
+1
+ +a
k
2
> a y as sucesivamente.
Armamos que la serie as obtenida tiene por suma a. En efecto dado > 0
existe n
0
tal que si n n
0
se verican a
n
< y a
n
< . Tomando j
0
tal que
k
j
0
> n
0
, l
j
0
> n
0
las sumas parciales S
n
estn comprendidas entre a y a +
siempre que
n > k
1
+ l
1
+ + k
j
0
+ l
j
0
+ m.
Cuando a = + el proceso es anlogo: en primer lugar se tiene un k
1
tal que
a
1
+ a
2
+ + a
k
1
> 1. Luego k
2
> k
1
para tener a
1
+ a
2
+ + a
k
1
a
1
a
l
1
+a
k
1
+1
+ +a
k
2
< 1. Y se inicia de nuevo el proceso de forma recurrente
cambiando el valor 1, por 2, 3, etc.
265
Producto de series
Denicin 7.4.10 Dadas las series

n1
a
n
,
n1
b
n
se llama producto de ambas
series a la serie

c
k
siendo c
k
= a
n
k
b
m
k
y : N N N una biyeccin donde
(k) = (n
k
, m
k
).
En la denicin anterior para cada se obtiene una serie producto diferente.
Algunas de ellas son interesantes: menores principales, diagonales y producto de
Cauchy.
Proposicin 7.4.11 Si las series

n1
a
n
,
n1
b
n
son absolutamente convergen-
tes con sumas A, B entonces cualquier producto es convergente y tiene por suma
AB.
Demostracin: Utilizando la ordenacin de los menores principales es claro que
las sumas n
2
-simas de la serie producto

j,k
|a
j
||b
k
| cumplen
1j,kn
|a
j
||b
k
| =
1jn
|a
j
|
1kn
|b
k
| AB.
Por tanto cualquier producto es absolutamente convergente y por ende incondicio-
nalmente convergente.
Para calcular la suma tomamos un orden de menores principales y tomamos
la subsucesin de las sumas parciales correspondientes a menores principales com-
pletos, C
n
2 = A
n
B
n
obteniendo que la suma de la serie es AB.
Existe una versin ms general de este resultado, que enunciamos a continuacin
sin demostracin.
Teorema 7.4.12 (Mertens) El producto de Cauchy de una serie convergente por
una absolutamente convergente es convergente y tiene por suma el producto de las
sumas.
El teorema de Mertens no puede mejorarse como pone de relieve el ejemplo que
sigue.
Ejemplo 7.4.13 El cuadrado de la serie convergente

(1)
n+1 1
n
segn el pro-
ducto de Cauchy no es convergente porque el trmino general no tiende a cero.
7.5. Criterios de convergencia no absoluta:
teoremas de Dirichlet y Abel
Para estudiar el carcter de una serie o una integral impropia lo primero es con-
siderar la serie o integral de sus valores absolutos y tratar de probar la convergencia
266
7.5 Criterios de convergencia de Dirichlet y Abel 267
utilizando las tcnicas de la seccin 7.2, ya que si converge absolutamente enton-
ces converge. En esta seccin vamos a establecer nuevos criterios para estudiar el
carcter en aquellos casos en que no haya convergencia absoluta.
Comenzaremos con dos resultados previos de carcter tcnico para esta seccin:
la frmula de Abel de sumacin parcial (o sumacin por partes) y el segundo
teorema de la media del clculo integral.
Frmula de Abel de sumacin parcial
Proposicin 7.5.1 (Frmula de Abel de sumacin) Si (a
n
)
nN
y (b
n
)
nN
son
sucesiones en R y A
n
:=
n
k=m
a
k
para m jo, entonces para p > m se tiene
q
n=p
a
n
b
n
=
q1
n=p
A
n
(b
n
b
n+1
) + A
q
b
q
A
p1
b
p
Demostracin: Los siguientes clculos
q
n=p
a
n
b
n
=
q
n=p
(A
n
A
n1
)b
n
=
q1
n=p
A
n
b
n
+ A
q
b
q
q1
n=p
A
n
b
n+1
A
p1
b
p
=
q1
n=p
A
n
(b
n
b
n+1
) + A
q
b
q
A
p1
b
p
prueban la frmula.
Segundo teorema de la media del clculo integral
Proposicin 7.5.2 (Segundo teorema de la media)
Sean f, g : [a, b] R R funciones integrables Riemann. Entonces:
(1) Si g 0 y decreciente, existe [a, b] tal que
_
b
a
f(x)g(x) dx = g(a)
_

a
f(x) dx
(2) Si g 0 y creciente, existe [a, b] tal que
_
b
a
f(x)g(x) dx = g(b)
_
b
f(x) dx
(3) Si g es montona, existe [a, b] tal que
_
b
a
f(x)g(x) dx = g(a)
_

a
f(x) dx + g(b)
_
b
f(x) dx
267
Los dos primeros se conocen con el nombre de teorema de Lagrange del valor
medio para el clculo integral. El ltimo como teorema de Weierstrass del valor
medio para el clculo integral. En realidad los tres son equivalentes.
Demostracin:
(1) Comenzaremos probando que si F(x) :=
_
x
a
f(t) dx y m = F(), M = F()
son respectivamente el mnimo y el mximo de esta funcin continua se verica
que
mg(a)
_
b
a
f(t)g(t) da Mg(a) (*)
Supondremos inicialmente que g sea una funcin escalonada decreciente que
denotamos con h. Es decir una funcin que toma el valor v
k
en el intervalo (x
k1
, x
k
]
para k = 2, . . . n y v
1
en el intervalo [x
0
= a, x
1
] donde los x
k
constituyen una
particin de [a, b] y que h(a) = g(a)
_
b
a
h(t)f(t) dt =
n
k=1
_
x
k
x
k1
h(t)f(t) dt =
n
k=1
v
k
(F
k
F
k1
)
siendo
F
k
=
_
x
k
a
f(t) dt
Pero
n
k=1
v
k
(F
k
F
k1
) =
n
k=1
v
k
F
k
k=1
v
k
F
k1
=
n1
k=1
F
k
(v
k
v
k+1
) + v
n
F
n
Como v
k
v
k+1
0 y m F
k
M para todo k se obtiene que
m
_
n1
k=1
(v
k
v
k+1
) + v
n
_
_
b
a
f(t)h(t) dt M
_
n1
k=1
(v
k
v
k+1
) + v
n
_
y efectuando operaciones
mh(a)
_
b
a
f(t)h(t) dt Mh(a)
As, la armacin () est probada. Y suponiendo que g(a) > 0, lo cual no es
restrictivo, se tiene
m
_
b
a
f(t)g(t) dt
g(a)
M
y por el teorema de Bolzano existe de modo que
F() =
_

a
f(t)) dt =
_
b
a
f(t)g(t) dt
g(a)
268
De este resultado se obtiene la primera parte para el caso en que g sea una
funcin decreciente mediante paso al lmite.
En efecto, como g es montona decreciente dividimos el intervalo imagen de g en
n partes iguales de longitud
g(a)g(b)
n
mediante los puntos y
0
= g(a), y
1
, . . . y
n
= g(b)
y construimos la siguiente funcin escalonada:
h
n
(t) = y
k1
si t {x : y
k1
g(x) > y
k
} k = 1, 2, . . . n 1
h
n
(t) = y
n1
si t {x : y
n1
g(x) y
n
}
De este modo se tiene que 0 g(t) h
n
(t)
g(a)g(b)
n
para todo t [a, b] y por
tanto,
_
b
a
f(t)g(t) dt
_
b
a
f(t)h
n
(t) dt
_
b
a
|g(t) h
n
(t)||f(t)| dt
g(a) g(b)
n
_
b
a
|f(t)| dt
es decir,
_
b
a
f(t)g(t) dt = lm
n
_
b
a
f(t)h
n
(t) dt
pero como se verica que
mh
n
(a)
_
b
a
f(t)h
n
(t) dt Mh
n
(a)
al ser h
n
(a) = g(a), tomando lmites en esta desigualdad cuando n se obtiene
la frmula (*).
La primera parte del teorema est probada.
(2) se deduce de 1 razonando con la funcin g(t) = g(b) g(t) y suponiendo,
sin perder generalidad, que g(a) = 0.
(3) En el caso de que g sea creciente se razona con g(t) = g(b) g(t) que es
decreciente y se aplica la primera parte. En el caso de que g sea decreciente se
razona con g(t) = g(a) g(t) que es creciente y se aplica la segunda parte.
La prueba del segundo teorema de la media no es sencilla. Pero cuando f 0
puede hacerse otra que es mucho ms fcil. Basta con denir
H(x) := g(a)
_
x
a
f(t) dt + g(b)
_
b
x
f(t) dt
y aplicar la propiedad de los valores intermedios a la funcin H, teniendo en cuenta la
monotona de la funcin g.
Escriba los detalles y convnzase de que, realmente, la demostracin en este caso es
mucho ms fcil.
269
Criterios de convergencia de Dirichlet y Abel
Teorema 7.5.3 (Criterio de Dirichlet)
Sean (a
n
)
nN
y (b
n
)
nN
sucesiones en
R tales que:
(1) |
n
k=1
a
k
| < M < para todo n
N,
(2) (b
n
)
nN
es montona decreciente
con lmite 0.
Entonces, la serie
a
n
b
n
es convergen-
te.
Sean f y g funciones denidas en [a, b)
tales que:
(1) |
_
x
a
f(t) dt| < M < para todo
x [a, b),
(2) g es montona decreciente con l-
mite 0.
Entonces, la integral impropia
_
b
a
fg es
convergente.
Demostracin: Es suciente probar, en ambos casos, que se verica la corres-
pondiente condicin de Cauchy (proposicin 7.1.4).
Para el caso de la serie utilizaremos la frmula de sumacin de Abel 7.5.1 . As,
dado > 0 existe n
0
tal que si n n
0
se tiene b
n
<

2M
. Si n
0
p < q se verica
p
a
n
b
n
q1
n=p
A
n
(b
n
b
n+1
) + A
q
b
q
A
p1
b
p
M
q1
n=p
(b
n
b
n+1
) + Mb
q
+ Mb
p
= M(b
p
b
q
+ b
q
+ b
p
) = M2b
p
< .
Para el caso de la integral impropia usaremos el apartado tercero del segundo
teorema de la media 7.5.2. Como lm
tb
g(t) = 0, dado > 0 existe t
0
tal que si
t
0
t se tiene |g(t)| <

4M
. Si t
0
p q se verica
_
q
p
f(x)g(x) dx
g(p)
_

p
f(x) dx + g(q)
_
q
f(x) dx
|g(p)|
_

p
f(x) dx
+|g(q)|
_
q
f(x) dx
|g(p)|2M +|g(q)|2M
<

4M
2M +

4M
2M = .
Ya que
_

p
f(x) dx
_

a
f(x) dx
_
p
a
f(x) dx
M + M = 2M.
As pues, en ambos casos se cumple la condicin de Cauchy.
270
Ejemplos 7.5.4 El criterio de Dirichlet puede aplicarse con xito para discutir la
convergencia de las integrales que siguen.
_

0
sen x
x
dx
_

2
sen x
log x
dx
_

0
sen x
2
dx
_

0
cos x
2
dx.
Por ejemplo, la convergencia de
_

0
sen x
x
dx es una aplicacin inmediata del cri-
terio de Dirichlet puesto que claramente
_
q
p
sen x
_

0
sen x
= 2 para todo p, q R.
La convergencia de esta integral puede obtenerse tambin mediante integracin
por partes, sin necesidad del criterio de Dirichlet.
Las dos ltimas integrales de la lista anterior se conocen con el nombre de
integrales de Fresnel y su convergencia se prueba con ayuda del criterio de Dirichlet,
haciendo previamente el cambio de variable t = x
2
.
Compruebe por s mismo que, como se ha armado anteriormente, la integra-
cin por partes permite obtener la convergencia de
_

0
sen x
x
dx. No tenga
miedo, le va a salir!
La integral
_

0
sen x
x
dx no es absolutamente convergente. Esta armacin
puede probarse teniendo en cuenta dos hechos: que
| sen x|
1
2
six [/4 + k, /4 + k + /2]
y que la serie
1/k es divergente. Trate de escribir los detalles con cuidado. Un dibujo

puede serle de utilidad.
Ejemplos 7.5.5 La serie armnica alternada
n=1
(1)
n
1
n
es convergente. Basta aplicar el criterio de Dirichlet con a
n
= (1)
n
y b
n
= 1/n.
Teorema 7.5.6 (Criterio de Abel)
Sean (a
n
)
nN
, (b
n
)
nN
sucesiones en R
tales que:
(1)

a
n
es convergente,
(2) (b
n
)
nN
es montona y acotada.
Entonces, la serie
a
n
b
n
es convergen-
te.
Sean f, g funciones localmente integra-
bles en [a, b) tales que:
(1)
_
b
a
f es convergente,
(2) g es montona y acotada.
Entonces, la integral impropia
_
b
a
fg es
convergente.
271
Demostracin: Es suciente probar que se cumple la condicin de Cauchy co-
rrespondiente (proposicin 7.1.4). Para el caso de la serie utilizaremos la frmula
de sumacin de Abel 7.5.1. Supongamos que |b
n
| < M para todo n N. Como
la serie

a
n
es convergente, dado > 0 existe n
0
tal que si n
0
r se tiene
|
r
j=n
0
a
j
| < /(4M). Tomando m = n
0
en la frmula de Abel 7.5.1, si n
0
< p q
se verica
n=p
a
n
b
n
q1
n=p
A
n
(b
n
b
n+1
) + A
q
b
q
A
p1
b
p
q1
n=p
|A
n
||b
n
b
n+1
| +|A
q
||b
q
| +|A
p1
||b
p
|
<

4M
_
_
q1
n=p
|b
n
b
n+1
| +|b
q
| +|b
p
|
_
_
[(b
n
)
n
montona] =

4M
(|b
p
b
q
| +|b
q
| +|b
p
|)

4M
(|b
p
| +|b
q
| +|b
q
| +|b
p
|) =
Para el caso de la integral impropia usaremos el apartado tercero del segundo
teorema de la media 7.5.2. Supongamos que |g(x)| < M para todo x [a, b). Como
la integral impropia
_
b
a
f es convergente se cumple la condicin de Cauchy y, por
tanto, dado > 0 existe t
0
tal que si t
0
< p q se tiene |
_
q
p
f(t) dt| < /(2M).
As, si t
0
< p q se verica
_
q
p
f(x)g(x) dx
g(p)
_

p
f(x) dx + g(q)
_
q
f(x) dx
|g(p)|
_

p
f(x) dx
+|g(q)|
_
q
f(x) dx
< |g(p)|

2M
+|g(q)|

2M
(M + M)

2M
= .
Resumiendo, se satisface en cada caso la condicin de Cauchy.
Ejemplo 7.5.7 El estudio de la convergencia de
_

0
arctg xsen x
2
dx
puede realizarse con el criterio de Abel.
Teorema 7.5.8 (Criterio de Leibniz para series alternadas) Sea una suce-
sin (a
n
)
nN
decreciente con lmite 0. Entonces la serie alternada

(1)
n+1
a
n
es
convergente. Adems denotando con S la suma de la serie se tienen las siguientes
acotaciones:
S
2n
S S
2n+1
, y |S
n
S| < a
n+1
.
272
Demostracin: La convergencia es consecuencia del criterio de Dirichlet 7.5.3.
Como (a
n
)
n
es decreciente tambin lo es (S
2n
)
n
ya que
S
2n
= S
2n2
+ a
2n+1
a
2n+2
S
2n2
;
pero como el lmite de esta sucesin debe ser S, se tiene S
2n
S. Anlogamente
(S
2n+1
)
n
es montona decreciente con lmite S, por lo que S S
2n+1
. As pues
S
2n
S S
2n+1
y S
2n+2
S S
2n+1
para todo n N
y por tanto
|S
2n
S| |S
2n
S
2n+1
| = a
n+1
y |S
2n+1
S| |S
2n+2
S
2n+1
| = a
n+2
que es justo la estimacin |S
n
S| < a
n+1
.
Ejemplos 7.5.9
(1) La serie
n1
(1)
n+1
1
n
es convergente como consecuencia del criterio de Leibniz. La velocidad de
convergencia de las sumas nitas es baja puesto que |SS
n
| < 1/(n+1), lo
que signica, por ejemplo, que para garantizar un error menor que 1/10000
hay que sumar los 9999 primeros trminos. El valor exacto de la suma de la
serie, como veremos en el ejemplo7.6.1, es log 2. De este modo podemos dar
una aproximacin decimal de log 2, si bien nada confortable. Existen otras
series para calcular el valor de log 2 que son ms ecientes, bastando unos
pocos sumandos para obtener buenas aproximaciones.
(2) El criterio de Leibniz tambin es aplicable a la serie alternada
(1)
n
1
n
(1 +
1
n
)
n
una vez que probemos que la sucesin
a
n
:=
1
n
(1 +
1
n
)
n
es decreciente, ya que, obviamente,
lm
n
1
n
(1 +
1
n
)
n
= lm
n
1
n
lm
n
(1 +
1
n
)
n
= 0
273
El hecho de que la sucesin (a
n
)
n
del ltimo ejemplo es decreciente no es
inmediata porque aunque (1/n)
n
es una sucesin decreciente, en cambio la
sucesin ((1 +
1
n
)
n
)
n
es creciente. El lector debe convencerse por s mismo de
que para todo n N se verica
1
n
(1 +
1
n
)
n
1
n + 1
(1 +
1
n + 1
)
n+1
Esta desigualdad puede demostrarse transformando esta desigualdad, que no es eviden-
te, en otra equivalente que sea evidente o bien formulndola en trminos funcionales y
haciendo uso del clculo diferencial.
7.6. Sumacin de algunas series
En el ejercicio ?? del captulo 3 establecimos que si H
n
=

n
k=1
1/k entonces
x
n
= H
n
log n es una sucesin montona decreciente acotada inferiormente por 0
y por tanto convergente cuyo lmite recibe el nombre de constante de Euler . As
que H
n
= log n + +
n
siendo lm
n
= 0. Podemos dar ahora otra demostracin
de este hecho. Para ello basta considerar la funcin escalonada g que toma el valor
1
n
en el intervalo [n, n + 1). Evidentemente se verica que f(x) =
1
x
g(x) en
[0, ), y por tanto
log n < log(n + 1) =
_
n+1
1
f <
_
n+1
1
g = H
n
.
Por otra parte la sucesin H
n
log n es montona decreciente de nmeros positivos
ya que
(H
n+1
log(n + 1)) (H
n
log n) =
1
n + 1
+ log(
n
n + 1
)
=
1
n + 1
+ log(1
1
n + 1
)
[frmula de Taylor] =
1
n + 1

1
n + 1

1
2(1 )
2
1
n
2
=
1
2(1 )
2
1
n
2
< 0
Por tanto es convergente y su lmite se denota con .
Llamemos
P
2n
:=
1
2
+
1
4
+ +
1
2n
=
1
2
H
n
y
I
2n+1
:= 1 +
1
3
+
1
5
+ +
1
2n + 1
= H
2n+1
P
2n
= H
2n+1
1
2
H
n
.
Ejemplo 7.6.1
274
7.6 Sumacin de algunas series 275
(1) La serie
n=1
(1)
n+1 1
n
es convergente (criterio de Leibniz) y S
2n+1
= I
2n+1
P
2n
= H
2n+1
1
2
H
n
1
2
H
n
= log(2n + 1) + +
2n+1
log n
n
de
donde la suma de la serie es log 2.
(2) Carcter y suma de la serie
n=1
1
n(n + 1)
Sol. 1
n=1
3n 1
n(n + 1)(n + 2)
. Sol. 5/4
n=1
3n + 2
2
n1
. Sol. 16
275
7.7. Ejercicios
7.7.1. Propuestos
7.1) Estudie la convergencia de las siguientes integrales impropias:
_
+
0
xda
e
x
1
_
+
1
x
3
+1
x
5
+1
da
_
+
0
(2 + sen x)da
_
+
cos
5
x
1+cos x+cosh x
_
1
0
da
3
x
2
(1x)
2
_
/2
0
da
(1cos x)
_
+
0
1cos x
x
5/2
da
_
1
0
x
a
log xda
_
x
cosh x
dx
_
1
0
sen x
(1cos x)
3/4
dx
_
1
0
da
x(1x)
7.2) Estudie la convergencia de las siguientes integrales impropias, calculando
aquellas que sean convergentes:
_
+
2
e
2x
(x
2
+ 3x)da
_
+
1
xda
1+x
4
_
+
0
e
x
da
x
Nota:
_
0
e
t
2
dt =
2
_
+1
1
da
x
2
_
1
0
da
x
2
+2x2
_
1
1
1
|x|
dx
_
1
0
sen x
x
2
dx
_
0
x
n
e
x
dx
Compruebe con Mxima, cuando sea posible, los resultados obtenidos.
7.3) Determine el rea de la regin situada entre las curvas
f(x) =
2x
2
(x + 2)(x + 3)(x + 4)
y g(x) =
2
x + 1
para x 2.
Compruebe con Mxima el resultado obtenido.
7.4) Estudie el carcter de convergencia de las series
+
n=1
1
(2n+1)!
+
n=1
3
n+1
n
n+2
+
n=1
2+cos n
n
+
n=1
1
3
n
2
+1
+
n=1
1
n
3
+1
+
n=1
2
n
(n!)
2
+
n=1
n!
10
n
+
n=1
1
n
n!
+
n=1
1.3.5...(2n1)
3.6.9...(3n)
+
n=1
1
nlog(1+
1
n
)
+
n=1
1
(log n)
n
+
n=1
1
n(log n)(log n)
1
01
+
n=1
2
n
n!
n
n
+
n=1
log(2)... log(n+1)
n!
+
n=1
1+
1
2
++
1
n
n
3
log(n+1)
n2
1
log n
n2
log(1 +
1
n
)

n2
1
(log n)
n
n1
_
log
n+1
n
_
, R

n1
(n!)
2
(2n!)
n1
(
n
n 1)
n
n2
1
n(log n)
p
, p R

n1
1
2
log n
n1
(
n + 1
n)
n1
(1 cos(1/n))

n1
n
n
2
(n+1)
n
2
n1
(1 H
1
n
)
nHn*
276
7.7 Ejercicios 277
7.5) Analice la convergencia de la serie

n
log n!
n
.
7.6) Sea

+
n=1
a
n
una serie convergente de trminos positivos. Si (x
n
)
n
es una
sucesin numrica tal que
|x
n+1
x
n
| a
n
n N,
pruebe que (x
n
)
n
es una sucesin convergente.
7.7) Sabiendo que
_
+
0
sen x
x
da =

2
, demuestre, mediante un cambio de variable,
que
_
+
0
sen xcos x
x
da =

4
.
Usando integracin por partes, pruebe tambin que
_
+
0
sen
2
x
x
2
da =

2
.
Compruebe que Mxima tambin sabe hacer estas cuentas.
7.8) Determine la convergencia y convergencia absoluta de las siguientes integrales
_

0
sen t
t
3/2
dt
_
1
0
1
t
cos
1
t
dt
7.9) Calcule el valor de la integral siguiente:
_

0
1
1 + cos
2
x
dx.
Verique con Mxima el resultado.
7.10) Estudie la convergencia o divergencia de las series siguientes. En caso de que
sean convergentes estudie si la convergencia es o no incondicional.
1
(1)
n
_
1 nsen
1
n
_

1
(1)
n
log(1+
1
n
)
1
(1)
n
_
1 cos
1
n
_

1
(1)
n
_
2
arctg(log n)
_

1
(1)
n
n
2
+1
n
2
1
(1)
n
_
e (1 +
1
n
)
n
_

1
(1)
n1
n
1
(1)
n n
2
1+n
2
7.11) La serie que sigue es una reordenada de la serie armnica alternada en la que
aparecen alternativamente tres trminos positivos seguidos de dos negativos:
1 +
1
3
+
1
5

1
2

1
4
+
1
7
+
1
9
+
1
11
. . .
Demuestre que la serie converge y que su suma es log 2 +
1
2
log
3
2
.
*
H
n
=
n
k=1
1
k
277

AMIcap 7

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

AMIcap 7

Cargado por

Copyright:

Formatos disponibles

7

f(t) dt es convergente si existe

. Demuestre la armacin ayudndose de un esquema grco.

) mediante el criterio de la integral (proposicin 7.1.8). Se vislumbrar

= 0 cualquiera que sea > 0.

. Si hacemos una reordenacin de

(la notacin es autoexplicativa). Pero, evidentemente, B

por tratarse de reordenaciones en series de trminos positivos.

1/k es divergente. Trate de escribir los detalles con cuidado. Un dibujo

También podría gustarte