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.
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
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
in in
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.
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.
in
1 i1 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
in
1 i1 ai converge
in
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 n1 n.a n a n1 k .a n1 a n 1
n
a n 1
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 in i n in
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 in
Teorema: Si limn.1 - 1 ai diverge
a n -1 i 1
1 nada _ puede _ asegurarse
a a
Demostración: Si límn1 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
= n1 n + n1 n - n.1 - n n n n = n1 a +
a b
Demostración: n.1 -
a n -1 .bn 1 a n 1 bn 1 a n-1 bn1 a n-1.bn 1
n 1
b a b
n1 n n.1 - n .1 n b b
b - a b 1 = + ; pues como n1 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
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
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 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: 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 n2
an2 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:
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
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.