S e r i e s d e t rm i n o s p o s i t ivo s

Definicin
Decimos que una serie es de trminos positivos 1 si la sucesin que la genera tiene su
recorrido contenido en R 0. En otras palabras, an es S.T.P. an 0 n N .

Observacin
Notemos que en virtud de la propiedad de aditividad, las propiedades que probemos en esta
seccin sern vlidas para aquellas series generadas por sucesiones (an) tales que
an 0 n N, n p .

Proposicin
Las S.T.P. no oscilan, ms especficamente: la serie de trminos positivos
convergente o divergente segn An sea un conjunto acotado o no.

an

ser

Demostracin:
An a1 a2 an 1 an y An 1 a1 a2 an 1 restando resulta que

An An 1 an 0 por lo tanto An An 1 o sea que (An) es montona creciente.

Por Weierstrass:
Si (An) acotada superiormente entonces lim An l de donde por definicin

an

Si (An) no acotada superiormente entonces lim An de donde por definicin

an

Ejemplos:
n n

lim n n 1 (porqu?) como lim n n 0 por condicin necesaria n n no converge, pero

como es de trminos positivos diverge.
n4 n3

n 1
n4 n3
n4 n3
0 por condicin necesaria
como lim
no converge, pero como es de
n 1
n 1
trminos positivos diverge.

De hecho, se trata de series de trminos no negativos.

Esta propiedad, caracterstica de las S.T.P. nos permite demostrar algunos criterios para la
clasificacin de S.T.P..

Teorema: Criterio de la integral

Sea : [1+1) R continua, positiva y decreciente. Entonces

f n C f

C y en caso de convergencia entonces

f f n f 1 f

Vemoslo grficamente

f 1
f 2
f 3

Si

f n C entonces

f n f 1 f 2 f n se puede interpretar como el rea

n 1

de los rectngulo de base 1 y altura () entonces

f n

o sea el rea por debajo de

n
1

suma sup erior

la curva es menor que

n 1

f n entonces

Pero tambin puede interpretarse como el rea del los rectngulos de base 1 y altura () de la
siguiente forma:

f 1
f 2
f 3

con lo que

f n

n2

sumando f 1 a ambos miembros resulta:

f
1

suma inferior

f 1

f n f 1 f

n 2

n 1

f n f 1 f

Entonces

n 1

f n f 1

f
1

Ver tambin que la convergencia de la

f (t )dt

implica la convergencia de

f n .

Otra versin del teorema

Sea : [0+1) R continua, positiva y decreciente. Sea una primitiva de en [0+1).2
Consideramos la sucesin () dada por = ().
an tienen el mismo comportamiento.
Entonces la sucesin (()) y la serie

cmo podemos estar seguros de la existencia de esta primitiva?

qu significa que F es primitiva de f?

Observacin:
Antes de hacer la demostracin hagamos algunas puntualizaciones.
Aunque no se diga expresamente, an es una S.T.P.
(()) es estrictamente creciente, (por qu?) y por lo tanto tiene lmite3.

Demostracin.
Analicemos la funcin en un intervalo [+ 1] donde 2 N.
Como es una primitiva de entonces es continua en [+ 1] y derivable en (+ 1), por
lo tanto, por el teorema de Lagrange sabemos que existe 2 (+ 1) tal que

F n 1-F n .
n 1 n
En otras palabras que () = (+ 1) - ()Sin que importe el valor de cada como es
decreciente por hiptesis, sabemos tambin que (+ 1) () ().
() =

En resumen, hemos concluido que, (+ 1) (+ 1) - () () cualquiera sea 2 N.

Entonces,
para 0
para 1
para 2

(1) (1) - (0) (0)

(2) (2) - (1) (1)
(3) (3) - (2) (2)

...
...
...

para (+ 1) (+ 1) - () ()
n 1

sumando:

i 1

Supongamos que

an

ai F n 1 F 0 ai

i 0

C, al serlo sabemos que () est acotada y por ende la sucesin

((+ 1) - (0)) lo est y en consecuencia (()) tambin (por qu?). Con lo que acabamos de
observar y usando que (()) es creciente, tenemos que (()) tiene lmite finito, es decir, es una

sucesin convergente.
Supondremos ahora que la que converge es (()), al ser convergente ((+ 1)) tambin y
((+ 1) - (0) tambin, por lo que est acotada. Luego, (+1 - ) lo est y tambin lo est
(), como an es una S.T.P. obtenemos que an C.
Finalmente,

an y (()) tienen el mismo comportamiento.

Recuerde que F = f, que f es positiva y que eso le garantiza algo en relacin al crecimiento de F.

Aplicacin:
t rm i n o s S e ri e s
C la s i f ic a c i n d e la se r ie a r m n i ca
Definicin:
Se llama serie armnica a la

n ,

con R n N

Queremos clasificarla:
1. Si 0
2. Si 0

1
n

o sea

1
n

0y

f : 1, R f x

1
n

0 por lo tanto

es continua, decreciente y positiva en [1+1)

x
(Ver que f ' x x 1 0 x 1) Entonces cumple las hiptesis del criterio de la
integral
Como vimos en el curso de primero

Entonces por el criterio de la integral

De donde

dx C 1 y

f n

n
1

Ejemplos:
1

n3 2

C y

f
1

1
D
n

1
1
1
Cy

1
1 1 n
1

1
x

dx

1
1

tienen igual comportamiento

1
C 1 y
1 1 n 1
n

Resumiendo los caso 1. y 2.:

si 1

si 1

Teorema: Criterio de comparacin I

Sean (an) y (bn) tales que 0 an bn , n N 4. Entonces tenemos:
1. Si an D entonces
2. Si bn

bn
C entonces an

D
C

Demostracin:
1. Como 0 an bn , n N , entonces por monotona tenemos que An Bn *. Si
entonces lim An de donde concluimos que en * lim Bn y
2. Por el absurdo si
1.

bn

an

bn

an

diverge

no fuese C, por ser de trminos positivos sera divergente entonces por

sera divergente, lo cual es falso.

Ejemplos:
Queremos clasificar

an

y si corresponde calcular la

an :
1

ln x
1
1
entonces, como

n ln x
1
comparacin
D.
ln x
Se cumple que 0

por armnica D, por el criterio de

e n
n

e n
1
1
1
n n entonces como n por geomtrica C, por el criterio
Se cumple que 0
n
e n e
e
n
n

e
1
1
e
n
de comparacin
Cy
e 1
n
1 n
1 e

En virtud de la linealidad bastaba con que se verificara a partir de algn natural.

Corolario Criterio de comparacin II.

Si

an y bn

1. lim

son S.T.P. y el

an
k R entonces
bn

an y bn

tienen el mismo comportamiento

(es decir ambas C o D)

an
0 entonces si an C bn C
bn
a
3. lim n entonces si bn D an D
bn
2. lim

Demostracin.
Solo demostraremos parte del 1. el resto que es similar queda a cargo del lector

an
k
k R , entonces por definicin de limite para , existe p N tal que,
2
bn
k a
3k
k a
k
para todo n > p se cumple k n k
de donde n
, o sea (multiplicando por
2 bn
2
2 bn
2
k
3k
bn
bn), bn an
2
2
k
Por lo cual, si an C, por el criterio de comparacin I tendremos que bn C y por
2
linealidad que bn C.
Como lim

De manera similar, si

bn

C tambin lo har

criterio de comparacin I tendremos que

En suma,

an

bn

an

3k

2 bn

que es una mayorante de

C.

Ejemplo
Queremos clasificar

an y si corresponde calcular

an
1

n 2

3
n

ln

Por qu no es necesario demostrar que

an

bn

D?

an

y por el


2
ln 1 3
1
n
Para clasificarla la comparamos con 3 . Como lim
2 tenemos que
1
n
n3
1
ambas series tienen el mismo comportamiento y por lo tanto como 3 converge por
n
3
n 2
armnica, ln 3 C6.
n

n 1

n
1
Para clasificarla la comparamos con . Como lim n 1 tenemos que como
1
n
n
n
1
n D , n 1 D7.

Corolario:
Si bn 0 y a n y bn son equivales, entonces

an y bn

tienen el mismo comportamiento

Demostracin:
Si a n y bn son equivalentes, por definicin, lim

an y bn

an
1 0 . Por criterio de comparacin II
bn

tienen el mismo comportamiento.

Ejemplos:
n 3 2n

n4 n 8
n 3 2n
1
es equivalente a
entonces como
4
n
n n 8
13

e n 1

n2

D,

n4 ?

La podra haber comparado con

Con que otra serie nos hubiera servido comparar para poder clasificarla?

o con

n 3 2n

n4 n 8

 13

1
Como e n 1 es equivalente a 3 como

13

e n 1 C
C
,
entonces

n3

Realice ahora los siguientes ejercicios

A continuacin veremos dos criterios ms para S.T.P., los criterios de la raz (Cauchy) y del
cociente (D'Alembert), cada uno de ellos con su respectivo corolario que, en la prctica, terminan
siendo ms usados en las distintas clasificaciones que los propios teoremas.

Teorema de Cauchy
Sea

an

una S.T.P. Entonces,

1. Si existe tal que n a n

2. Si

1 para todo 2 N*, tendremos que

an 1 para todo 2 N*, tendremos que

an C

an D

Demostracin.
1. Como

an

De donde que

para todo 2 N*, tenemos que an h n

1 (por lo que jj 1)

hn C por geomtrica. Luego, an C por el criterio de comparacin I.

2. Si n an 1 es inmediato que a n 1, entonces no puede tener lmite cero, por lo tanto

diverge.

an

Corolario
Sea

an

una S.T.P. Entonces,

an C
k 1 (o tambin 1+ ), tendremos que an D8

1. Si existe k tal que lim n an k 1 , tendremos que

2. Si lim n an

Demostracin. Realcela como ejercicio. Se sugiere que use apropiadamente la definicin de

lmite y el teorema.

El real es llamado lmite de Cauchy de la sucesin ().

Ejemplos:
Clasifiquemos, usando el corolario las siguientes series de trminos positivos:
n2
n
2

n2
lim
lim
2n
n

1
1
, por lo tanto (el k mencionado en el corolario es )
2
2

n
n!
n!
n
n!
e

e n lim n e n lim e equivalent

lim lim 2 , por lo tanto
e
e
es
n

Teorema de DAlembert

an

Sea

una S.T.P. Entonces,

1. Si existe h1 tal que

2. Si

a n 1
h 1 para todo 2 N, tendremos que
an

a n 1
1 para todo 2 N, tendremos que
an

an

Demostracin.

a n 1
h 1 para todo 2 N, tenemos
an
a1
h
a0
a2
h
a1
a3
h
a2

an
h
an 1
multiplicando, ...
an
hn
a0
1. Como

Podramos clasificar la armnica con este criterio?

an

n2

2n

n2

2n
D9

C.

 h n C por geomtrica, por propiedades de linealidad y el

criterio de comparacin I, llegamos a que an C
De donde an a0 h n y como

a n 1
1 tenemos que an an 1 y por lo que an es creciente (y positiva) por lo que su
an
lmite no es cero, por lo tanto diverge.
2. Si

Corolario
Sea

an

una S.T.P. Entonces,

1. Si existe k tal que lim

2. Si lim

a n 1
k 1 , tenemos que
an

an

a n 1
k 1 (o tambin 1 ), tendremos que
an

an

D10

Demostracin.
Realcela como ejercicio. Se sugiere que use apropiadamente la definicin de lmite y
el teorema

Ejemplos
Clasifiquemos las series usando el criterio del cociente.

2 n n!

nn
2 n 1!
n
n 1
2 n1 n 1!n n
nn
2

n 1
n
lim
lim
lim 2
lim 2
, que como es menor
n
n 1 n
n
e
2 n!
n 1 2 n!
n 1
n 1
n
n
2 n n!
que 1, tenemos que n C .
n
n
2
3 5n 2

n8
n 1

El real k es llamado lmite de D'Alembert de la sucesin an . Investigue si tiene alguna vinculacin

con el lmite de Cauchy.
10

3n 5n 2 2
3n
es equivalente a
por lo tanto las series tienen el mismo
n 8
n
3n
comportamiento. Clasificamos
aplicando DAlembert:
n
3n1 n
3n
3n
3n 5n 2 2
,
por
lo
tanto
D
y
lim

lim

1
n 8 D por comparacin
n
n
n 13n
Sabemos que

IMPORTANTE:
Todo lo dado para series de trminos no negativos vale para series de trminos no positivos en
virtud de la linealidad.

Una vez que realice los siguientes ejercicios, pase a la siguiente seccin.