SERIES

En la aritmtica elemental se define la suma como una operacin con un nmero finito de trminos. Por lo tanto el smbolo:
a1 a 2 a3 ....... a n ...... carece de sentido.
Definicin:

an

es una sucesin, consideremos la nueva sucesin:

Sn /

S1 a1
S 2 a1 a2
S3 a1 a 2 a3
.

S n a1 a 2 a 3 ....... a n

Esta nueva sucesin se llama serie de trmino general an y reducida de orden n de la serie a S n .
Clasificacin:
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 Geomtrica.

Definicin: Una sucesin de la forma:

Teorema: Sea:

an : a,a.r , a.r 2 , a.r 3 ,....., a.r n 1 ,..... ; se llama geomtrica de razn r .

an : a,a.r ,a.r 2 ,a.r 3 ,....., a.r n 1 ,..... S

= a a.r a.r 2 a.r 3 ..... a.r n 1 = a.

Demostracin:
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

S n .r - S n = a.r n a S n .( r 1) = a.( r n 1) S n = a.
Definicin: Llamaremos serie geomtrica a S n =

i n

a.r

r n 1
r 1

r n 1
r 1

i 1

i 1

a
r 1 S n convergente / S n 1 r
i n

i 1
r 1 S n divergente
Teorema: Sea: S n = a.r

i 1
r 1 S n propiament e _ divergente

r 1 S n oscilante

Demostracin:
Si

r 1

a
r n 1
a.r n
a
= lm
=

lmSn = lm a.
, pues r n 0 converge.
r

1
1

r
1

r
1 r

r n 1

= , pues r n diverge.
Si r 1 lmSn = lm a.
r 1

Si

lim( a a a ... a ) = lmn.a = +

r 1 lmSn =

Si

r 1 lmSn = lim( a a a a a a ... a a ) =

0 S2n
oscila.
a S 2n 1

Serie Telescpica.
Definicin: Se llama serie telescpica a la serie cuyo trmino general es a n ( n 1) ( n) .
Resulta entonces: S n a1 a 2 a 3 ....... a n = ( ( 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.
Demostracin:
Si (n) lmSn = lm( ( n 1) ( 1)) = (1) converge.
Si (n)

lmSn = lm( ( n 1) ( 1)) = (1) = diverge.

Serie Armnica.
i n

1
1 1 1
1
Definicin: Llamaremos serie armnica a = 1 ...... .... , dnde cada trmino es media armnica de
2 3 4
n
i 1 i
sus dos adyacentes.
i n

Teorema:

es divergente.

i 1

Demostracin: Sea

1 1 1 1 1 1 1

1 ..... p ... p ...

1
1 1 1
1
Sn=
= 1 ...... .... >
=
2 4 4 8 8 8 8
2 2
2 3 4
n
i 1 i
i n

2p 1tr min os

1 1
1
p
.... ....
= 1
y como p lm Sn= +
2 2 2
2
p
i n

Teorema:

i
i 1

i n

diverge.

i 1

converge p 1
diverge 0 p 1

Demostracin:
i n

Sea Sn=

i 1

1
si
si

= 1
m

2
4
2
p ...
p
2
4
2m

1
2

p 1

1
2

1
1
1
1
1
p p ...... p .... 1 p
p
2
2
3
4
n

p 1

... = 1
i n

<1 p > 1

i 1
i n

>1 p < 1

i
i 1

1
2

p 1

1
4

p 1

1
1
1
1
1
1
1
p p p p p ......
p .... m p ... =
m
2
4
4
4
4
2
2

...

2
m

... que es geomtrica de razn

p 1

1
2 p 1

converge p > 1.
diverge p < 1.
Propiedades Generales de las series.

i n

Teorema: Si

Sn = ai
i 1

es convergente S ' n =

Demostracin: Si lim S n l

in

k .a
i 1

Sn = ai
An = ai
i 1

i n

es divergente y k 0

i 1
i n

Teorema: Si

lmS ' n lm k .ai lmk . ai k .lm ai k .lmS n k .l .

i n

Corolario: Si

es convergente.

S' n = k .ai

es divergente.

i 1

es convergente y

in

i n

i 1

i 1

Bn = bi es convergente An Bn = ( ai bi ) es convergente.

Demostracin: Pues si lim An l y lim Bn l' lim( An Bn ) l l '

i n

Teorema: Si

An = ai
i 1

i n

es convergente y

B n = bi
i 1

es convergente k1 . An k 2 .Bn =

i n

( k .a
i 1

k 2 .bi ) es

convergente.
Demostracin: Es consecuencia de los 2 teoremas anteriores.
i n

i n

i n

i 1

i 1

i 1

Teorema: Si An = ai es convergente y Bn = bi es divergente An Bn = ( a i bi ) es divergente.

Demostracin: Pues si lim An l y lim Bn lim( An Bn ) .
Nada puede asegurarse si ambas son divergentes.

i n

Teorema: Sea

i n

Sn = ai

S' n = ak i Sn

, formemos

i 1

S' n

i 1

divergentes u oscilantes.
lim S n l
Demostracin:
Si

son de la misma clase, ambas convergentes,

Sk a1 a2 a3 ... ak k

S' n ak 1 ak 2 ak 3 ..... S n S k

lmS' n lm( S n S k ) l k .
Anlogamente si lim S n o S n oscila.
i n

Teorema: Si

Sn = ai

es convergente o divergente, no oscila al sustituir un nmero finito de trminos por su suma, el

i 1

carcter de la serie no altera.

Demostracin: Si

Sn a1 a2 a3 a4 a5 a6 a7 .... an 1 an ...


y S' n b1 b2 b3 .. bn' .. S' 1 S 2 ,
b1

b2

bn'

b3

S' 2 S5 , S' 3 S7 ,.., S' n' S n S' n es subsucesin de S n y tienen su mismo lmite.
Observemos que para series oscilantes el teorema no se cumple:
Sn =

1 1 1 1 1 1 1 1 1 ..... S 2n 0
0
0
0
0

oscila.

S 2 n 1 1

Mientras: Sn= 0 + 0 + 0 + 0 + converge.

Criterio general de convergencia.
i n

Teorema: Si

An = ai

es convergente

i 1

an 0.

An .
An An 1 y An 1 es subsucesin de An An 1 lma

Demostracin: Supongamos que

Como an

Teorema: Si

an

Demostracin: Pus si:

lm( An An 1 ) 0

i n

An = ai

no es convergente

i 1

An an 0, lo que contradice la hiptesis.

Series de trminos positivos.

Teorema: Toda serie de trminos positivos es convergente o divergente a + .
Demostracin: La sucesin de reducidas

Sn

es montona creciente, pues S n 1 S n a n 1 S n .

Por el teorema de Weierstrass existen dos posibilidades.

Sn finito Sn converge.
k Sn S n diverge.

Si S n k
Si S n

Criterios de Comparacin.
i n

Teorema: Si

i n

ai converge y bn an , n N*

b
i 1

i 1

i n

Demostracin: Si bn an ; n N*

i n

b a
i 1

i 1

i n

Teorema: Si

ai diverge y bn an , n N*
i 1

i n

<k

b
i 1

converge.

i n

b
i 1

i n

Demostracin: bn an ; n N* k > 0, n /

converge.

diverge.
i n

b a
i 1

i 1

i n

>k

b
i 1

diverge.

Estos teoremas son vlidos si la hiptesis se cumple a partir de un n en adelante, pues por el 5 teorema de las propiedades
generales, podemos suprimir los n primeros trminos y el carcter de la serie no altera.
Teorema: Si 0 k

an
K , desde un n en adelante
bn

i n

i n

i 1

i 1

ai y

son de la misma clase.

Demostracin:
i n

i n

i n

i n

i 1
i n

i 1
i n

i 1

i 1

i n

i n

i 1

i 1

i 1

i 1

i n

Si b i converge K .bi converge como an K .bn a i < K .bi

Si

bi diverge k .bi diverge como an k .bn ai > k .bi

a
i 1

converge.

i n

a
i 1

diverge.

Teorema (restringido): Si lim

an
0
bn

i n

in

ai y

i 1

son de la misma clase.

i 1

Demostracin: Elegimos 0 / 0 n0 N*/ n n0

an
.
bn
K

En Particular:
Si lim
Si lim

an
a
0 dado 0 , n0 N*/ n n0 n an .bn Si
bn
bn

i n

i n

converge

i 1

an
a
dado K 0 , n0 N*/ n n0 n K an K .bn Si
bn
bn

i n

a
i 1

bi diverge
i 1

converge.

i n

a
i 1

diverge.

Criterio de DAlembert.
Teorema: Si

i n

an
k 1 desde un n en adelante
an 1

a
i 1

converge.

Demostracin: Supongamos que la hiptesis se cumple a partir de n=1; entonces:

a 2 k .a1

2
a3 k .a 2 k .a1

a 4 k .a3 k 3 .a1
........................

a n k .a n1 k n1 .a1
Teorema: Si

i n

i n

i 1

i 1

i n

an k n1 .a1 ; con

an
1 desde un n en adelante
an 1

k n 1.a1 geomtrica de razn k<1, convergente

i 1

i n

a
i 1

converge

i n

a
i 1

diverge.

an
1 an an 1 ..... a2 a1 an no tiende a cero y como es de trminos positivos
Demostracin: Si
an 1

i n

a
i 1

diverge.

in

1 ai converge

an

Teorema: Si lim
an-1

1 ai diverge

i 1
i n
i 1

1 nada _ puede _ asegurarse

an
a
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.
Demostracin: Si lm

Criterio de Cauchy
Teorema: Si

an k 1 desde un n en adelante

Demostracin: Si

a n k 1 a n k n

i n

i n

i 1
i n

i 1

i 1

converge

ai k n

i n

k n es geomtrica de razn k < 1, converge

i 1

converge.
Teorema: Si

an 1 desde un n en adelante

Demostracin: Si

i n

a
i 1

diverge.

an 1 an 1 an no tiende a 0

i n

a
i 1

diverge.

i n

a
i 1

in

1 ai converge

i 1
i n

1 ai diverge

Teorema: Si limn a n

i 1

1 nada _ puede _ asegurarse

Demostracin: Si lm n an dado 0 , n0 N*/ n n0 n an .

Si 1 elegimos
Si 1 elegimos

de modo que 1, y resulta el primer teorema.

de modo que 1 , y resulta el segundo teorema.
Criterio de Raabe.

i n

an

k 1 desde un n en adelante ai converge.

Teorema: Si n. 1
an 1
i 1

an
k 1 n.( an 1 an ) k .an 1 n.an 1 n.a n k .a n 1 n.a n1 n.a n a n 1 k .a n1 a n 1
Si n. 1
an 1

( n 1).an 1 n.an (k 1).an 1

(n 2).a
n 2 ( n 1).an 1 ( k 1).a n 2

(n 3).an 3 (n 2).an 2 ( k 1).an 3

.....................................................

2.a2 3.a3 (k 1).a2

a1 2.a2 (k 1).a1

a1 n.a n (k 1).S n 1 y como k > 1

S n 1

n.a

n.a n ( n 1).a n 1 ...... 2.a 2 a1 a n a1 .

i n

i n
i n
1
1
1
a1 . a1 . es la serie armnica, diverge
n
i 1
i 1
i 1 n
i 1 n
i n

ai converge

i 1

in
an

limn.
1

Teorema: Si
i1 ai diverge
a
n -1

1 nada _ puede _ asegurarse

i n

a
i 1

diverge.

ai a1 .

n
1 desde un n en adelante
Teorema: Si n. 1
a

n 1

n
n
1 n 1
Demostracin: Si n. 1
a
a
n 1
n 1

i n

i n
a1 n.a n
a
1 ai converge.
k 1
k 1 i 1

1
n

i n

a
i 1

diverge.

n
dado 0 , n0 N*/ n n0 n. 1 n .
Demostracin: Si lmn 1
a
an 1

n 1

Si 1 elegimos
Si 1 elegimos

Teorema: Si limn. 1 -

Demostracin:

de modo que 1, y resulta el segundo teorema.

de modo que 1 , y resulta el primer teorema.

b
a .b
an
y limn. 1 - n limn. 1 - n n
a n -1
b n -1
a n -1 .bn 1

a
b
a n .bn
= n 1 n + n 1 n
n. 1 a n -1 .bn 1
a n 1
bn 1

b
a
n 1 n n. 1 - n
b
a
n 1 n -1

b
. 1 n
= + ; pues como
1
bn
0

bn
a n .bn
an
1 n
n
=
- n. 1

+
a
a n-1 bn 1 a n-1.bn 1
n 1

b
n 1 n
bn 1

1 n 0
bn 1 n

Reordenada de una Serie.

 An = a a a ....... a ...... y Bn = b b b ....... b ...... diremos que Bn es una

An , si en ella aparecen una y solo una vez los trminos de An . O sea bi an , esta correspondencia

Dadas las series:

reordenada de

i n i , es una funcin

f : N* N *

biyectiva.
Teorema de Dirichlet.

i n

Teorema: Sea

b
i 1

i n

una reordenada de la serie

i 1

i n

1) Si

ai converge a suma S
i 1
i n

2) Si

a
i 1

de trminos positivos

i n

b
i 1

converge a suma S

i n

diverge

b
i 1

diverge.

Demostracin:
1) Sea m = mx i 1 , i 2 , i 3 ,....., i n b1 b2 b3 ..... bn = ai1 a i 2 ai 3 ... a i n a1 a 2 a 3 ....... a m < S

i n

b
i 1

converge a suma S S. Razonando de igual modo se llega a S S S = S

i n

2) Si

i n

ai diverge

bi diverge, pues si
i 1

i 1

i n

bi fuese convergente, por la parte 1,

i 1

i n

a
i 1

debera ser convergente, lo

que contradice la hiptesis.

Series de trminos alternados.
Se llaman series de trminos alternados, a las de la forma: a1 a 2 a3 ....... a n ...... ., con a i > 0.
Criterio de Leibnitz.
i n

Teorema: Si a i > 0,

an 0, an montona 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 trmino despreciado.
Demostracin: Consideremos S 2 n 1 y S 2 n , que cumplen.

1) S 2 n 2 =

S 2 n a 2n 1 a 2n 2
> S 2n S 2n 2 > S 2n S 2n es estrictamente creciente.
0

S
a a
S 2n 1 = 2n 1 2n 2n1 < 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: S 2 n 1 S 2n = a 2 n 0.
i n

S / lmS 2n = lmS 2 n 1 = S

( 1)
i 1

i 1

a i 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 trmino despreciado.
Si tomamos como valor de S una reducida de orden impar, el error es por exceso y es menor que el primer trmino
despreciado: 0 S 2 n 1 S a2 n 2 .
Criterio de Darboux.
Teorema:

an
a
0 o n. 1 n 0
1) Si a i > 0 y n. 1
an 1
an 1

n
0
2) Si a i > 0 y n. 1
an 1

Demostracin:

i n

( 1)
i 1

i 1

i n

( 1)
i 1

ai converge

i 1

ai no converge.

n
0 o n. 1 n 0
1) Si n. 1
an 1
an 1

a n 1 an

n
0 1 n 0 1 n
n0 N* / n n0 n. 1
an 1
an 1
an 1

i n

an montona 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

n
0 n0 N* / n n0 n. 1 n 0 1 n 0 1
Si n. 1
a n 1 a n
an 1
a
an 1
an 1

n 1

montona decreciente.
Debemos probar que an 0.

an

an
1
) > n. 1 n
Sea / 0 < < y E E n0 N* / n n0 < an n.(1

a n 1
1
n

( n 1)

an
an
( n 1)
(n 1)

<

a n 1
a n 1
n
n

n0

n0 1

i n

( 1)
i 1

n 1

<

a n 1 n 2
<

an 2 n 1

a n n0
multiplicndolas miembro a miembro y simplificando:
<

a n0 n

i 1

a n 2 n 3
<

a n 3 n 2
no

1 an >

an 1

an0 1
a n0

<

0 a n a n0 .

ai converge
Serie de Euler. Constante de Euler.

1
3 1
4 1
5
1
n
1
ln
.... se llama de Euler.
Definicin: La serie: 1 ln 2 ln ln ln ......
2
2 3
3 4
4
n 1
n 1 n
Teorema: La serie de Euler cumple con la hiptesis del teorema de Leibnitz.
Demostracin:
1)

an 0, pues

1
0y
n

2) Como 1

n
1

> ln

n 1

ln

n
0.
n 1

< e < 1

n
1

ln

1
1

n 1 1
(n 1). ln 1
< 1 < n. ln 1
n 1
1
n
n

1
n

1
n 1

ln
n 1

n
1
>
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 nmero irracional.

1
, que tiene 2n 1 trminos: S 2 n 1 ( 2 n 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 armnica, se reduce a: H n - ln n = ( 2n 1) H n = ln n + ( 2n 1)
n
H
1

(Con ( 2 n 1) 0 , si n ). Dividiendo ambos miembros por ln n lm n 1 , es decir y ln

son
n 1
n
ln n
Consideremos la reducida hasta

infinitsimos equivalentes.

Suma de la serie armnica alternada.

1 1 1 1 1
1
1

..... se llama armnica alternada.

Definicin: La serie: 1 .........
2 3 4 5 6
2 n 1 2n

( 1) n 1
ln 2

n
i 1
i n

Teorema:

( 1) n 1
1 1
1
1 1 1
1
...) ( ...
.....)
= (1 .........

3 5
2n 1
2 4 6
2n
n
i 1
i n

Demostracin: Ordenndola:

Tomando nuevamente como H n la reducida de la serie armnica y aplicndole teorema anterior

1 1 1
1
...
=
2 4 6
2n

2n 1
1
1
.H n = . ln n
2
2
2
1
1
1

1 1
1
.H n = H 2 n K n = H 2 n - .H n = ln 2n . ln n + +
Luego sea K n = 1 .........
Kn +
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.
Definicin: Sea

an una

i n

sucesin de trminos cualquiera;

i 1

i n

es absolutamente convergente si la serie

a
i 1

es

convergente.
Si la serie es convergente, pero no absolutamente convergente se dice que es condicionalmente convergente.
i n

Teorema: Si una serie

ai es absolutamente convergente
i 1

Demostracin: Consideremos la sucesin

bn / b

an an

i n

a
i 1

es convergente

Si _ an 0 bn 0
.

Si _ an 0 bn an

i n

Entonces: 0 bn a n , luego si la serie

es de trminos no negativos y aplicando el criterio de comparacin deducimos

i 1

la convergencia de la serie

i n

i n

i 1

i 1

ai implica la de

i n

bi y tambin la de 2. bi .
i 1

i n

bi y

Ahora bien: an 2.bn an y dado que las series 2.

i 1

i n

i n

i 1

i 1

ai son convergentes tambin lo ser ai .

Reordenada de una serie de trminos cualesquiera.

i n

Si

a
i 1

i n

n1 , n 2 , n 3 ,..... sus trminos negativos, entonces

a
i 1

i m

absolutamente convergente

Demostracin: Supongamos que

son convergentes.

i m

i 1
i r

i 1

i 1

i 1

i 1
i r

n
i 1
i n

i 1

pi n i = ai -

i r

i 1

i m
i

i r

ai = pi i 1
i m

i n

Teorema: Si

p1 , p2 , p3 ,.... ,sus trminos positivos y por

es una serie de trminos cualesquiera, designemos por

sera divergente; lo que contradice la hiptesis.

, con n = m + r.

i m

i r

i n

i m

i 1

i 1

i 1

i 1

pi ni sera divergente ai =

i r

p y n
i 1

i 1

son convergentes.

i n

Teorema: Si

a
i 1

absolutamente convergente de suma S Cualquier reordenada de ella converge y su suma es S.

Demostracin: Es consecuencia del teorema anterior y el criterio de Dirichlet.