SERIES

En la aritmética elemental se define la suma como una operación con un número finito de términos. Por lo tanto el símbolo:
a1  a 2  a3  .......  a n  ...... carece de sentido.
Definición:  an  es una sucesión, consideremos la nueva sucesión: Sn  /
S1  a1
S2  a1  a2
S3  a1  a2  a3
………………….
S n  a1  a2  a3  .......  an
Esta nueva sucesión se llama serie de término general an y reducida de orden n de la serie a S n .

Clasificación:
 
Si S n    R  la serie es convergente.
Si  S n     o  S n      la serie es propiamente divergente.
Si  S n     la serie es impropiamente divergente.
Si  S n  oscila  la serie es oscilante.

Serie Geométrica.
Definición: Una sucesión de la forma:  an  : a,a.r ,a.r 2 ,a.r 3 ,....., a.r n 1 ,..... ; se llama geométrica de razón r .
1n
Teorema: Sea:  an  : a,a.r ,a.r 2 ,a.r 3 ,....., a.r n 1 ,.....  S n = a  a.r  a.r 2  a.r 3  .....  a.r n 1 = a. r
r 1
Demostración:
S n = a  a.r  a.r 2  a.r 3  .....  a.r n 1  S n .r = a.r  a.r 2  a.r 3  .....  a.r n 1  a.r n 
r n 1
S n .r - S n = a.r n  a  S n .( r  1) = a.( r n  1)  S n = a.
r 1
i n
Definición: Llamaremos serie geométrica a  S n  =  a.r i 1

i 1

 a
 r  1   S n  convergente / S n   1  r
i n  r  1   S n  divergente
Teorema: Sea: Sn  =  a.r i 1  
i 1
 r  1   S n  propiamente _ divergente

 r  1   S n  oscilante
Demostración:
 r n  1  a a.r n 
Si r  1 límS n = lím a.
r  1
 = lím
1  r

1  r
 =
1  r
a
 
, pues r n  0  converge.
   
 r n  1
Si r  1 límS n = lím a.
r  1
 
 =  , pues r n    diverge.
 
Si r  1  límSn =
lim( a  a a  ...  a ) = límn.a = + 
n

 0  S 2n
Si r  1  límSn = lim( a  a  a  a  a  a  ...  a  a ) =  oscila.
a  S 2 n 1

Serie Telescópica.
Definición: Se llama serie telescópica a la serie cuyo término general es a n   (n  1)   ( n) .
Resulta entonces: S n  a1  a2  a3  .......  an = ( ( 2)   (1))  ( (3)   ( 2))  ( ( 4)   (3))  .....  ( ( n  1)   ( n))
=
  ( n  1)   ( 1)
Teorema:
Si  (n)    R  la serie es convergente.
Si  (n)    la serie es impropiamente divergente.
Demostración:
Si  (n)    límS n = lím(  ( n  1)   ( 1)) =    (1)  converge.
Si  (n)    límSn = lím(  ( n  1)   ( 1)) =    (1) =   diverge.
Serie Armónica.
i n
1 1 1 1 1
Definición: Llamaremos serie armónica a  = 1     ......   .... , dónde cada término es media armónica de
i 1 i 2 3 4 n
sus dos adyacentes.
i n
1
Teorema: i
i 1
es divergente.

Demostración: Sea
i n 1 1 1 1 1 1 1 1 1
1 1 1 1 1 1        .....  p  ... p  ...
Sn=  = 1     ......   .... > 2 4 4 8 8 8 8 2    2 =
i 1 i 2 3 4 n p 1
2 tér min os
1 1 1 i n
1   ....   .... p 1
= 1  y como p    lím Sn= +   diverge.
2  2     2 2 i 1 i
p
i n
1  converge  p  1
Teorema: i
i 1
p

diverge  0  p  1
Demostración:
i n
1 1 1 1 1 1 1 1 1 1 1 1 1
Sea Sn= i
i 1
p
= 1
2 p
 p  p  ......  p  .... 
3 4 n
1  p  p  p  p  p  p  ...... 
2 2 4 4 4 4 2
m p  .... m p  ... =
2    
2 4 2 m
1 1 1 1
1  p  ...   ... = 1    ...   ... que es geométrica de razón
2 p
4 2m   p
2 p 1
4 p 1
2  m p 1
2 p 1
i n
1 1
si
2 p 1
<1  p > 1  i
i 1
p
converge  p > 1.

i n
1 1
si
2 p 1
>1  p < 1  i
i 1
p
diverge  p < 1.

Propiedades Generales de las series.

i n in
Teorema: Si Sn  =  ai es convergente   S ' n  =  k .a i es convergente.
i 1 i 1
n n n
Demostración: Si lim S n  l  límS ' n  lím k .ai  límk. ai  k .lím ai  k .límS n  k .l .
1 1 i
i n i n
Corolario: Si Sn  =  ai es divergente y k  0  S' n  =  k .ai es divergente.
i 1 i 1
i n in i n
Teorema: Si  An  =  ai es convergente y  Bn  =  bi es convergente   An  Bn  =  ( ai  bi ) es convergente.
i 1 i 1 i 1

Demostración: Pues si lim An  l y lim Bn  l'  lim( An  Bn )  l  l '

i n i n i n
Teorema: Si  An  =  ai es convergente y  B n  =  bi es convergente   k1 . An  k 2 .Bn  =  ( k .a1 i  k 2 .bi ) es
i 1 i 1 i 1
convergente.
Demostración: Es consecuencia de los 2 teoremas anteriores.
i n i n i n
Teorema: Si  An  =  ai es convergente y  B n  =  bi es divergente   An  Bn  = ( a i  bi ) es divergente.
i 1 i 1 i 1

Demostración: Pues si lim An  l y lim Bn    lim( An  Bn )   .

Nada puede asegurarse si ambas son divergentes.
i n i n
Teorema: Sea Sn  =  ai , formemos S' n  =  ak  i  Sn  y S' n  son de la misma clase, ambas convergentes,
i 1 i 1
divergentes u oscilantes.
Demostración: lim S n  l
Si y Sk  a1  a2  a3  ...  ak  k  S' n  ak 1  ak  2  ak 3  .....  S n  S k 
límS' n  lím( S n  S k )  l  k .
Análogamente si lim S n   o S n oscila.
i n
Teorema: Si S n  =  ai es convergente o divergente, no oscila  al sustituir un número finito de términos por su suma, el
i 1
carácter de la serie no altera.
S n  a1  a2  a3  a4  a5  a6  a7  ....  an 1  an  ...
Demostración: Si                y S' n  b1  b2  b3  ..  bn'  ..  S' 1  S 2 ,
b1 b2 b3 bn'


S' 2  S 5 , S' 3  S 7 ,….., S' n'  S n  S' n es subsucesión de S n    y tienen su mismo límite.
Observemos que para series oscilantes el teorema no se cumple:

Sn = 1  1  1  1  1  1  1  1  1  .....   S 2n  0 oscila.
0 0 0 0 S 2 n 1  1
Mientras: S’n= 0 + 0 + 0 + 0 + …… converge.
Criterio general de convergencia.
i n
Teorema: Si  An  =  ai es convergente   an   0.
i 1

Demostración: Supongamos que  An   .

Como an  An  An 1 y  An 1  es subsucesión de  An    An 1     líma n  lím( An  An 1 )      0
i n
Teorema: Si  an    0  An  =  ai no es convergente
i 1

Demostración: Pués si:  An      an   0, lo que contradice la hipótesis.

Series de términos positivos.
Teorema: Toda serie de términos positivos es convergente o divergente a + .
 
Demostración: La sucesión de reducidas S n es monótona creciente, pues S n 1  S n  an 1  S n .
Por el teorema de Weierstrass existen dos posibilidades.
 
Si S n  k  S n   finito  S n converge.  
Si S n  k  S n      S n  diverge.
Criterios de Comparación.
i n i n
Teorema: Si  ai converge y bn  an ,  n  N* 
i 1
b
i 1
i converge.

i n i n i n
Demostración: Si bn  an ; n  N*  b  a
i 1
i
i 1
i <k b
i 1
i converge.

i n i n
Teorema: Si  ai diverge y bn  an ,  n  N* 
i 1
b
i 1
i diverge.

i n i n i n
Demostración: bn  an ;  n  N*  k > 0,  n / b  a
i 1
i
i 1
i >k  b
i 1
i diverge.

Estos teoremas son válidos si la hipótesis se cumple a partir de un n en adelante, pues por el 5º teorema de las propiedades
generales, podemos suprimir los n primeros términos y el carácter de la serie no altera.
i n i n
an
Teorema: Si 0  k 
bn
 K , desde un n en adelante   ai y
i 1
b i son de la misma clase.
i 1
Demostración:
i n i n i n i n i n
Si  bi converge   K .bi converge  como an  K .bn   ai <  K .bi 
i 1 i 1 i 1
a
i 1
i converge.
i 1
i n i n i n i n i n
Si b i diverge   k .b
i 1
i diverge  como an  k .bn   a >  k .b
i 1
i
i 1
i  a
i 1
i diverge.
i 1
in in
an
Teorema (restringido): Si lim
bn
  0  ai y
i 1
b
i 1
i son de la misma clase.
 an
Demostración: Elegimos   0 /     0   n0  N*/  n  n0  0          .
k bn K
En Particular:
i n i n
an a
Si lim
bn
 0  dado   0 ,  n0  N*/  n  n0  n    an   .bn  Si
bn  bi converge  a
i 1
i converge.
i 1
i n i n
an a
Si lim
bn
   dado K  0 ,  n0  N*/  n  n0  n  K  an  K .bn  Si
bn b i diverge  a
i 1
i diverge.
i 1
Criterio de D’Alembert.
i n
an
Teorema: Si
an 1
 k  1 desde un n en adelante  a
i 1
i converge.

Demostración: Supongamos que la hipótesis se cumple a partir de n=1; entonces:

a 2  k .a1 
a3  k .a 2  k .a1 2

 i n in i n i n
a 4  k .a3  k 3 .a1   an   k n1 .a1 ; con  k n 1.a1 geométrica de razón k<1, convergente  a i converge
........................ 
i 1 i 1 i 1 i 1


a n  k .an 1  k n 1 .a1 

i n
an
Teorema: Si
an 1
 1 desde un n en adelante  a
i 1
i diverge.

i n
an
Demostración: Si  1  an  an 1  .....  a2  a1   an  no tiende a cero y como es de términos positivos  a i
an 1 i 1
diverge.
 in

   1  i1 ai converge
 i n
an 
Teorema: Si lim    1   ai diverge
a n -1  i 1
   1  nada _ puede _ asegurarse

an a
Demostración: Si lím    dado   0 ,  n0  N*/  n  n0      n    
an 1 an 1
Si   1 elegimos  de modo que     1, y resulta el primer teorema.
Si   1  elegimos  de modo que     1 , y resulta el segundo teorema.

Criterio de Cauchy
i n
Teorema: Si n an  k  1 desde un n en adelante  a
i 1
i converge

i n i n i n i n
Demostración: Si n a n  k  1 a n  k n   ai   k n 
i 1 i 1
 k n es geométrica de razón k < 1, converge 
i 1
a
i 1
i

converge.
i n
Teorema: Si n an  1 desde un n en adelante  a
i 1
i diverge.

i n
Demostración: Si n an  1  an  1   an  no tiende a 0  a i diverge.
i 1
  in

   1  i1 ai converge
 in

Teorema: Si lim an  
n   1   ai diverge
 i 1
  1  nada _ puede _ asegurarse

Demostración: Si lím n an    dado   0 ,  n0  N*/  n  n0      n an     .
Si   1 elegimos  de modo que     1, y resulta el primer teorema.
Si   1  elegimos  de modo que     1 , y resulta el segundo teorema.

Criterio de Raabe.
 a  i n
Teorema: Si n.1 
n
  k  1 desde un n en adelante  a i converge.
 an 1  i 1

 a 
Si n.1    k  1 n.( an 1  an )  k .an 1  n.an 1  n.a n  k .an 1  n.a n1  n.a n  a n1  k .a n1  a n 1
n

 a n 1 

 ( n  1).an 1  n.an  ( k  1).an 1

 ( n  2).a a1  n.a n  ( k  1).S n 1 y como k > 1 
 n  2  ( n  1).a n 1  ( k  1).an  2 i n
a1  n.a n a
( n  3).an 3  ( n  2).an  2  ( k  1).an 3
 S n 1   1   ai converge.
 k 1 k  1 i 1
 .....................................................  a  in


2.a2  3.a3  ( k  1).a2 Teorema: Si n. 1 
a
n
  1 desde un n en adelante  a i

  n 1  i 1
 a1  2.a2  ( k  1).a1
diverge.
 a  n.a 1
1  a   1  n  1  a
Demostración: Si n.
n
 n.a n  ( n  1).a n 1  ......  2.a 2  a1  a n  a1 .
n

 n 1  n 1 n
i n i n in i n in
1 1 1
 ai   a1 .
i 1 i 1 n
 a1 .  a1 . es la serie armónica, diverge 
i 1 n i 1 n
a
i 1
i diverge.

 i n

   1   ai converge
 i 1
 an   in
Teorema: Si limn.1 -      1   ai diverge
 a n -1   i 1
  1  nada _ puede _ asegurarse

 a   a 
Demostración: Si límn1      dado   0 ,  n0  N*/  n  n0      n.1  n      .
n

 an 1   an 1 
Si   1 elegimos  de modo que     1, y resulta el segundo teorema.
Si   1  elegimos  de modo que     1 , y resulta el primer teorema.

 an   b   a .b 
Teorema: Si limn.1 -    y limn.1 - n     limn.1 - n n     
 a n -1   b n -1   a n -1 .bn 1 
 an 
 a n .bn   a   b   a .b   
 = n1  n  + n1  n  - n.1 - n  n  n n  = n1  a  +
a b
Demostración: n.1 -
 a n -1 .bn 1   a n 1   bn 1   a n-1 bn1 a n-1.bn 1     
 n 1


 b   a  b 
n1  n  n.1 - n .1  n   b   b   
b - a b 1  =  + ; pues como n1  n     1  n    0
   n 1     n -1     n  bn 1   bn 1  n
  0
Reordenada de una Serie.
Dadas las series:  An  = a  a  a  .......  a  ...... y  Bn  = b  b  b  .......  b  ...... diremos que  Bn  es una
1 2 3 n 1 2 3 n

reordenada de  An  , si en ella aparecen una y solo una vez los términos de  An  . O sea bi  an , esta correspondencia i

i  n i , es una función f : N*  N * biyectiva.

Teorema de Dirichlet.
i n i n
Teorema: Sea b
i 1
i una reordenada de la serie a
i 1
i de términos positivos 

i n i n
1) Si  a i converge a suma S  b i converge a suma S
i 1 i 1
i n i n
2) Si  ai diverge 
i 1
b
i 1
i diverge.

Demostración:
i n
1) Sea m = máx  i 1 , i 2 , i 3 ,....., i n   b1  b2  b3  .....  bn = ai1  ai 2  ai 3  ...  ai n  a1  a 2  a 3  .......  a m < S  b i
i 1
converge a suma S’  S. Razonando de igual modo se llega a S  S’ S = S’
i n i n i n i n
2) Si  ai diverge 
i 1
 bi diverge, pues si
i 1
 bi fuese convergente, por la parte 1,
i 1
a i 1
i debería ser convergente, lo

que contradice la hipótesis.

Series de términos alternados.
Se llaman series de términos alternados, a las de la forma: a1  a2  a3  .......  an  ...... ., con a i > 0.

Criterio de Leibnitz.
i n
Teorema: Si a i > 0,  an   0,  an  monótona decreciente   ( 1)i 1 ai converge. Si es S su suma, las reducidas pares
i 1
de la serie son valores por defecto de S, y las impares por exceso. El error que se comete al tomar como valor de S una
reducida, es menor que el primer término despreciado.

Demostración: Consideremos S 2 n 1 y S 2 n , que cumplen.   
S 2n  a 2n 1  a2n  2
1) S 2 n  2 =      > S 2 n  S 2 n  2 > S 2 n  S 2n  es estrictamente creciente.
0

S a a
S 2 n 1 = 2n 1  2n  2n1 < S 2 n 1  S 2 n 1 < S 2 n 1   S 2 n 1  es estrictamente decreciente.
0

2) S 2 n 1 - S 2 n = a 2 n > 0  S 2 n 1 > S 2 n .
3) S 2 n 1 - S 2 n <  , pues: S2n 1  S2n  =  a2n   0.
i n
 S / límS 2 n = límS 2 n 1 = S   ( 1)
i 1
i 1
ai converge de suma S.

Cuando se toma como valor de la suma S, el de una reducida par, se comete un error por defecto: 0  S  S 2 n  a2 n 1 menor
que el primer término despreciado.
Si tomamos como valor de S una reducida de orden impar, el error es por exceso y es menor que el primer término
despreciado: 0  S 2 n 1  S  a 2n  2 .
Criterio de Darboux.
Teorema:
 an   an  i n
      ( 1) ai no converge.
i 1
n
1) Si a i > 0 y  . 1      0 n
o . 1    0 

 an 1   an 1  i 1

 an  i n
2) Si a i > 0 y n.1      0   ( 1) i 1 ai converge
 an 1  i 1
Demostración:
 an   a   a   a  a
1) Si n.1      0 o n.1  n   0    n0  N* /  n  n0  n.1  n   0  1  n   0  1  n
 a n 1   an 1   an 1   an 1  an 1
i n
 an 1  a n   an  monótona creciente   an  no tiende a 0   ( 1)i 1 ai no converge.
i 1
2) Probaremos que la serie cumple el criterio de Leibnitz.
 an   a   a  a
Si n.1      0  n0  N* /  n  n0  n.1  n   0  1  n   0  1  n  an 1  an   an 
 a n 1   an 1   an 1  an 1
monótona decreciente.
Debemos probar que an  0.  
 1 
 
1 an 
  1  an >
Sea  / 0 <  <  y E   E      n0  N* /  n  n0     <  an   n.(1  ) > n.1  n
n  a n 1  1  an 1
 
 ( n  1)  
( n  1)  an (n  1)  an  n 1

a n 1 n2

an2  n  3   a n0 1
1  <  <    <   <   ……  <
n a n 1 n a n 1  n  an 2  n 1  a n 3  n  2  a n0

 n0  an 
 n0 

n 
  multiplicándolas miembro a miembro y simplificando: <   0  an  a n0 . o   0 
 n0  1  a n0  n   n

i n

 ( 1)
i 1
i 1
ai converge
Serie de Euler. Constante de Euler.
1 3 1 4 1 5 1 n 1
Definición: La serie: 1  ln 2   ln   ln   ln  ......   ln   .... se llama de Euler.
2 2 3 3 4 4 n 1 n 1 n
Teorema: La serie de Euler cumple con la hipótesis del teorema de Leibnitz.
Demostración:

1)  an   0, pues  n1   0 y ln n n 1  0.

   
 1 n
n 1   ln
n
 1   1 
  n 1 n 1  1
 1   1 
2) Como 1   < e < 1    ( n  1). ln1   < 1 < n. ln1 
 n 1  n  1   n  1   n  1  1 n n 1
  ln
 n n 1
n 1
> ln > es estrictamente decreciente.
n 1 n
 Por el criterio de Leibnitz la serie de Euler converge.
Su suma se llama constante de Euler y vale 0.57……. y no se ha demostrado si es o no un número irracional.
1
Consideremos la reducida hasta , que tiene 2n – 1 términos: S 2 n 1     ( 2n 1) , con  ( 2 n 1)  0 .
n
1 1 1 3 4 n
S 2 n 1 = 1    ......   ln 2  ln  ln  .....  ln =
2 3 n 2 3 n 1
1 1 1 3 4 n 1 1 1
1    ......   (ln2  ln  ln  .....  ln ) = 1    ......   ln n .
2 3 n 2 3 n 1 2 3 n
Designando por H n a la reducida de la serie armónica, se reduce a: H n - ln n =    ( 2n 1)  H n = ln n +    ( 2n 1)
Hn 1   n 
(Con  ( 2n 1)  0 , si

n   ). Dividiendo ambos miembros por ln n  lím  1 , es decir   y ln  son
ln n  n   n  1
infinitésimos equivalentes.
Suma de la serie armónica alternada.
1 1 1 1 1 1 1
Definición: La serie: 1       .........    ..... se llama armónica alternada.
2 3 4 5 6 2n  1 2 n
( 1) n 1
i n
Teorema:   ln 2
i 1 n

i n
( 1) n 1 1 1 1 1 1 1 1
Demostración: Ordenándola: 
i 1 n
= (1    ......... 
3 5 2n  1
 ...)  (    ... 
2 4 6 2n
 .....)
 1 1 1 1
Tomando nuevamente como H n la reducida de la serie armónica y aplicándole teorema anterior    ...  =
2 4 6 2n
1 1     2n 1
.H n = . ln n 
2 2 2
1 1 1 1 1 1 
Luego sea K n = 1    .........   Kn + .H n = H 2 n  K n = H 2 n - .H n = ln 2n - . ln n + +
3 5 2n  1 2 2 2 2
1 1 
 ( 2 n ) - . ( 2 n 1)  K n = . ln 4n + +  ( 2 n )
2 2 2
1 1  1  1 1
La reducida: S 2 n = K n - .H n = . ln 4n + +  ( 2 n ) . ln n - - . ( 2 n 1) = . ln 4 = ln 2 .
2 2 2 2 2 2 2
Convergencia Absoluta.
i n i n
Definición: Sea  an  una sucesión de términos cualquiera;  a i es absolutamente convergente si la serie a i es
i 1 i 1
convergente.
Si la serie es convergente, pero no absolutamente convergente se dice que es condicionalmente convergente.
i n i n
Teorema: Si una serie a
i 1
i es absolutamente convergente  a
i 1
i es convergente

an  a n  Si _ a n  0  bn  0
Demostración: Consideremos la sucesión  bn  / b   .
Si _ an  0  bn  an
n
2
i n
Entonces: 0  bn  an , luego si la serie b i es de términos no negativos y aplicando el criterio de comparación deducimos
i 1
i n i n i n
la convergencia de la serie a
i 1
i implica la de b i y también la de 2. b
i 1
i .
i 1
i n i n i n
Ahora bien: an  2.bn  an y dado que las series 2.  bi y
i 1
 ai son convergentes también lo será  ai .
i 1 i 1

Reordenada de una serie de términos cualesquiera.

i n
Si a
i 1
i es una serie de términos cualesquiera, designemos por p1 , p2 , p3 ,.... ,sus términos positivos y por

i n i m i r
n1 , n 2 , n 3 ,..... sus términos negativos, entonces  ai =  pi -
i 1 i 1
n i 1
i , con n = m + r.

i n i m i r
Teorema: Si a
i 1
i absolutamente convergente  p
i 1
i y n
i 1
i son convergentes.

i m i r i n i m i r i n i m
Demostración: Supongamos que  pi      n i =  ai -
i 1 i 1 i 1
 pi   ni sería divergente   ai =
i 1 i 1 i 1
p i 1
i +

i r i m i r

n
i 1
i sería divergente; lo que contradice la hipótesis.   p y n
i 1
i
i 1
i son convergentes.

i n
Teorema: Si a
i 1
i absolutamente convergente de suma S  Cualquier reordenada de ella converge y su suma es S.

Demostración: Es consecuencia del teorema anterior y el criterio de Dirichlet.