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

Definición

Decimos que una serie es de términos positivos 1 si la sucesión que la genera tiene su
recorrido contenido en R   0. En otras palabras,  an es S.T.P.  an  0 n  N .

Observación
Notemos que en virtud de la propiedad de aditividad, las propiedades que probemos en esta
sección serán válidas para aquellas series generadas por sucesiones (an) tales que
an  0 n  N, n  p .

Proposición

Las S.T.P. no oscilan, más específicamente: la serie de términos positivos  an será

convergente o divergente según An  sea un conjunto acotado o no.

Demostración:
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 monótona creciente.
Por Weierstrass:
 Si (An) acotada superiormente entonces lim An  l de donde por definición  an C
 Si (An) no acotada superiormente entonces  lim An   de donde por definición
 an D

Ejemplos:
 n n
lim n n  1 (¿porqué?) como lim n n  0 por condición necesaria  n n no converge, pero
como es de términos positivos diverge.
n4  n3
 
n 1
n4  n3 n4  n3
como lim  0 por condición necesaria  no converge, pero como es de
n 1 n 1
términos positivos diverge.

1
De hecho, se trata de series de términos no negativos.
Esta propiedad, característica de las S.T.P. nos permite demostrar algunos criterios para la
clasificación 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
1 1 1 1

Veámoslo gráficamente

f 1

f 2 
f 3

1 2 3


Si  f n  C entonces  f n   f 1  f 2    f n    se puede interpretar como el área
n 1
 
de los rectángulo de base 1 y altura () entonces  f   f n  o sea el área por debajo de
1 1
n
 
suma sup erior
 
la curva es menor que  f n  entonces f C
n 1 1
Pero también puede interpretarse como el área del los rectángulos de base 1 y altura () de la
siguiente forma:
 f 1

f 2 
f 3

1 2 3

 
con lo que  f n   f sumando f 1 a ambos miembros resulta:
n2
  1
suma inferior

 
f 1   f n   f 1   f
n 2 1
 
 f n   f 1   f
n 1 1

Entonces

  

 f   f n   f 1  f
1 n 1 1


Ver también que la convergencia de la  f (t )dt implica la convergencia de  f n  .
1

Otra versión del teorema

Sea : [0+1)  R continua, positiva y decreciente. Sea una primitiva de en [0+1).2
Consideramos la sucesión () dada por = ().
Entonces la sucesión (()) y la serie 
an tienen el mismo comportamiento.

2
¿cómo podemos estar seguros de la existencia de esta primitiva?
¿qué significa que F es primitiva de f?
Observación:
Antes de hacer la demostración hagamos algunas puntualizaciones.
Aunque no se diga expresamente,  an es una S.T.P.

(()) es estrictamente creciente, (¿por qué?) y por lo tanto tiene límite3.

Demostración.

Analicemos la función 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 hipótesis, sabemos también que (+ 1)  ()  ().

En resumen, hemos concluido que, (+ 1)  (+ 1) - ()  () cualquiera sea 2 N.
Entonces,
para 0 (1)  (1) - (0)  (0)
para 1 (2)  (2) - (1)  (1)
para 2 (3)  (3) - (2)  (2)
...
...
...
para (+ 1)  (+ 1) - ()  ()

n 1 n
sumando:  ai  F n  1  F 0   ai 
i 1 i 0

Supongamos que  an C, al serlo sabemos que () está acotada y por ende la sucesión
((+ 1) - (0)) lo está y en consecuencia (()) también (¿por qué?). Con lo que acabamos de
observar y usando que (()) es creciente, tenemos que (()) tiene límite finito, es decir, es una
sucesión convergente.
Supondremos ahora que la que converge es (()), al ser convergente ((+ 1)) también y
((+ 1) - (0) también, por lo que está acotada. Luego, (+1 - ) lo está y también lo está
(), como  an es una S.T.P. obtenemos que  an C.
Finalmente,  an y (()) tienen el mismo comportamiento.

3
Recuerde que F’ = f, que f es positiva y que eso le garantiza algo en relación al crecimiento de F.
Aplicación:
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

Definición:

1
Se llama serie armónica a la  n , con   R n  N 

Queremos clasificarla:

1 1 1 1
1. Si   0
n 
  o sea
n 

 0y
n 
 0 por lo tanto  n D

f : 1,  R f x  
1
2. Si   0 es continua, decreciente y positiva en [1+1)
x
(Ver que f ' x   x  1  0  x  1) Entonces cumple las hipótesis del criterio de la
integral

1 1 1
Como vimos en el curso de primero x 
dx C    1 y  x 
dx 
 1
1
Entonces por el criterio de la integral  f n  y f tienen igual comportamiento

1 1 1 1
De donde  n
C   1 y  
  1 1 n   1
1

Resumiendo los caso 1. y 2.:

 
1 1 1 1
si   1

 n Cy   
 1 1 n  1
1

si   1 1
  n D

Ejemplos:

1 1
 n3 2 C y  n
D
Teorema: Criterio de comparación I

Sean (an) y (bn) tales que 0  an  bn , n  N 4. Entonces tenemos:

1. Si  an D entonces  bn D
2. Si  bn C entonces  an C

Demostración:

1. Como 0  an  bn , n  N , entonces por monotonía tenemos que An  Bn *. Si  an diverge

entonces lim  An    de donde concluimos que en * lim Bn    y  bn D
2. Por el absurdo si  an no fuese C, por ser de términos positivos sería divergente entonces por
1.  bn sería divergente, lo cual es falso.

Ejemplos:

Queremos clasificar  an y si corresponde calcular la  an :
1
1
  ln x 
1 1 1
Se cumple que 0  
n ln x 
entonces, como n por armónica D, por el criterio de

1
comparación  D.
ln  x 
e n
  n
e n 1 1 1
Se cumple que 0   n  n entonces como  n por geométrica C, por el criterio
n e n e e
n   n 
e e 1 1
de comparación  Cy   n 
n 1 n 1 e e 1

4
En virtud de la linealidad bastaba con que se verificara a partir de algún natural.
Corolario Criterio de comparación II.

Si  an y  bn son S.T.P. y el
an
1. lim
bn
 k  R  entonces  an y  bn tienen el mismo comportamiento

(es decir ambas C o D)

an
2. lim  0  entonces si  an C   bn C
bn
a
3. lim n   entonces si  bn D   an D
bn

Demostración.

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

an k
Como lim  k  R  , entonces por definición de limite para   , existe p  N tal que,
bn 2
k a k k a 3k
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  an  bn
2 2
k
Por lo cual, si  an C, por el criterio de comparación I tendremos que  bn C y por
2
linealidad que  bn C.
3k
De manera similar, si  bn C también lo hará  2 bn que es una mayorante de  an y por el

criterio de comparación I tendremos que  an C.

En suma,  an C  bn C
5

Ejemplo

Queremos clasificar  an y si corresponde calcular  an
1
n  2
3
  ln 3

 n 

5
¿Por qué no es necesario demostrar que  an D  bn D?
  2 
ln  1  3  
 n 
Para clasificarla la comparamos con  3 . Como lim 
1
 2 tenemos que
n 1
n3
1
ambas series tienen el mismo comportamiento y por lo tanto como  3 converge por
n
n  2
3
armónica,  ln  3  C6.
 n 
n
  n 1
n
Para clasificarla la comparamos con  . Como lim n  1   tenemos que como
1
n 1
n
1 n
 n D ,  n  1 D7.
Corolario:

Si bn  0 y a n y bn son equivales, entonces  an y  bn tienen el mismo comportamiento

Demostración:
an
Si a n y bn son equivalentes, por definición, lim  1  0 . Por criterio de comparación II
bn
 an y  bn tienen el mismo comportamiento.

Ejemplos:

n 3  2n
 n4  n  8
n 3  2n 1 1 n 3  2n
n n 8
4
es equivalente a
n
entonces como n D,  n4  n  8 D

 13 
   e n  1
 
 

1 1
6
¿La podría haber comparado con  n2 o con  n4 ?
7
¿Con que otra serie nos hubiera servido comparar para poder clasificarla?
  13   13 
Como  e n 1 es equivalente a 3 como
1 1  e n  1 C

  n
 n3 C , entonces  
   

Realice ahora los siguientes ejercicios

A continuación veremos dos criterios más para S.T.P., los criterios de la raíz (Cauchy) y del
cociente (D'Alembert), cada uno de ellos con su respectivo corolario que, en la práctica, terminan
siendo más 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  1 para todo 2 N*, tendremos que  an C
2. Si n an   1 para todo 2 N*, tendremos que  an D

Demostración.

1. Como n an  para todo 2 N*, tenemos que an  h n 0  1 (por lo que jj 1)

De donde que  hn C por geométrica. Luego,  an C por el criterio de comparación I.

2. Si n an  1 es inmediato que a n   1, entonces no puede tener límite cero, por lo tanto  an
diverge.

Corolario

Sea  an una S.T.P. Entonces,

1. Si existe k tal que lim n an  k  1 , tendremos que  an C
2. Si lim n an  k  1 (o también 1+ ), tendremos que  an D8

Demostración. Realícela como ejercicio. Se sugiere que use apropiadamente la definición de

límite y el teorema.

8
El real es llamado límite de Cauchy de la sucesión ().
Ejemplos:

Clasifiquemos, usando el corolario las siguientes series de términos positivos:

n2
  n
2
n2  n
n
2
1 1 n2
lim
2n
n lim
2

2
, por lo tanto (el k mencionado en el corolario es )
2
 2n C.

n
n! n! n! n
n n2
  e n lim n e n  lim e equivalent

es
e
 lim  lim 2   , por lo tanto
e e
 2n D9

Teorema de D’Alembert

Sea  an una S.T.P. Entonces,

a n 1
1. Si existe h1 tal que
an
 h  1 para todo 2 N, tendremos que  an C

a n 1
2. Si
an
 1 para todo 2 N, tendremos que  an D

Demostración.

a n 1
1. Como  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

9
¿Podríamos clasificar la armónica con este criterio?
De donde an  a0 h n y como  h n C por geométrica, por propiedades de linealidad y el
criterio de comparación I, llegamos a que  an C

a n 1
2. Si  1 tenemos que an  an 1 y por lo que an  es creciente (y positiva) por lo que su
an
límite no es cero, por lo tanto diverge.

Corolario

Sea  an una S.T.P. Entonces,

a n 1
1. Si existe k tal que lim
an
 k  1 , tenemos que  an C

a n 1
2. Si lim
an
 k  1 (o también 1 ), tendremos que  an D10

Demostración.

Realícela como ejercicio. Se sugiere que use apropiadamente la definición de límite y

el teorema

Ejemplos
Clasifiquemos las series usando el criterio del cociente.
2 n n!
  nn
2 n  1!
n 1

n  1
n 1
2 n1 n  1!n n
n
nn  n  2
lim  lim  lim 2  lim 2   , que como es menor
n
2 n! n  1 2 n!
n 1 n
n  1n
 n 1 e
n
n
2 n n!
que 1, tenemos que  n C .
n
3  5n  2
n 2
 
n8

El real k es llamado límite de D'Alembert de la sucesión an  . Investigue si tiene alguna vinculación
10

con el límite de Cauchy.

 3n  5n 2  2 3n
Sabemos que es equivalente a por lo tanto las series tienen el mismo
n 8 n
3n
comportamiento. Clasificamos  aplicando D’Alembert:
n
3n1 n 3n 3n 3n  5n 2  2
lim
n  13n
 lim
n
 3  1 , por lo tanto n D y  n  8 D por comparación

IMPORTANTE:

Todo lo dado para series de términos no negativos vale para series de términos no positivos en
virtud de la linealidad.

Una vez que realice los siguientes ejercicios, pase a la siguiente sección.