Ejercicios de Anlisis Matemtico

Algunas series cuya suma puede calcularse de forma exacta

Debes tener ya claro que una cosa es estudiar la convergencia de una serie y otra es calcular su
suma. Son relativamente pocas las series convergentes cuya suma se puede calcular de forma exacta.
Aqu vamos a ver algunas de ellas. No debes esforzarte por memorizar frmulas para sumar series, sino
en comprender y en aplicar los mtodos que permiten calcularlas.
Series geomtricas. Las series de la forma

n>0
x
n
donde R y [x[ < 1, cuya suma viene dada por
1

nD0
x
n
=

1 x
.
Series aritmtico - geomtricas. Son series de la forma

n>0
p(n)x
n
donde p es una funcin polinmica
de grad0 m > 1. Aplicando el criterio del cociente se obtiene fcilmente que estas series convergen
absolutamente si [x[ < 1. Es claro que no convergen si [x[ >1 pues entonces {p(n)x
n
] es una sucesin
no acotada y, por tanto, no converge a 0. Supongamos que [x[ < 1 y pongamos:
S =
1

kD0
p(k)x
k
= lm
n!1
n

kD0
p(k)x
k
Denamos las diferencias de primer orden de p, que notaremos,
_
^
1
p
_
, como el polinomio dado para
todo k N por
_
^
1
p
_
(k) = p(k 1) p(k). Observa que ^
1
p es un polinomio de grado m 1.
Tenemos:
S xS =(1 x)S = lm
n!1
_
n

kD0
p(k)x
k

kD0
p(k)x
kC1
_
=
= lm
n!1
_
n1

kD0
_
p(k 1) p(k)
_
x
kC1
p(0) p(n)x
nC1
_
=p(0) x
1

kD0
_
^
1
p
_
(k)x
k
.
Pongamos S
1
=

1
kD0
_
^
1
p
_
(k)x
k
. La igualdad anterior nos dice que (1 x)S =p(0) xS
1
. Este
procedimiento puede volver a aplicarse a la serie

k>0
_
^
1
p)(k)x
k
. De la misma forma obtenemos
ahora (1 x)S
1
=
_
^
1
p)(0) xS
2
, donde S
2
=

1
kD0
_
^
2
p
_
(k)x
k
y
_
^
2
p
_
son las diferencias de
segundo orden de p denidas para todo k N por:
_
^
2
p
_
(k) =
_
^
1
p
_
(k 1)
_
^
1
p
_
(k).
Observa que
_
^
2
p
_
es un polinomio de grado m 2.
Repitiendo este proceso m veces llegaremos a obtener nalmente
S
m
=
1

kD0
_
^
m
p
_
(k)x
k
=

1 x
porque las diferencias de orden m, (^
m
p
_
, de un polinomio de grado m son constantes, (^
m
p
_
(k) =
para todo k N. Conocido S
m
calculamos S
m1
a partir de la igualdad (1 x)S
m1
=
_
^
m1
p
_
(0)
xS
m
. A partir de S
m1
podemos calcular S
m2
, etctera, hasta llegar a obtener nalmente el valor de
S.
Series hipergeomtricas. Consideremos una serie

a
n
de trminos positivos tal que para todo nN
es:
a
nC1
a
n
=
n
n ;
. ( > 0. . ; R).
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 2
Escribiendo esta igualdad para n =k en la forma:
ka
kC1
;a
kC1
=ka
k
a
k
y sumando desde k =1 hasta k =n se obtiene:
na
nC1
;(a
nC1
S
n
a
1
) =S
n
S
n
. (1)
Donde S
n
=
n

kD1
a
k
. Supuesto que la serie sea convergente y que su suma es S =lm{S
n
], se deduce
de la igualdad anterior que la sucesin {na
nC1
] tambin converge y necesariamente su lmite debe ser
cero (si fuera na
nC1
z > 0 se tendra que a
n
~

n
lo que implicara que la serie diverge).
Aplicando el criterio de Raabe se obtiene fcilmente que la serie converge si ; > y diverge
si ; < . Tambin diverge si ; = porque en tal caso se deduce de la igualdad 1 que:
na
nC1
;a
nC1
;a
1
=0 = a
nC1
=
;a
1
n ;
y, por comparacin con la serie armnica, se sigue que la serie diverge.
Supuesto que, ; > , y tomando lmites en la igualdad 1 deducimos que:
;S ;a
1
=S S = S =
;a
1
;
.
Series cuyo trmino general es una funcin racional. Se trata de series de la forma

P(n)
Q(n)
don-
de P y Q son funciones polinmicas. A partir de un cierto trmino en adelante, dichas series tie-
nen todos sus trminos positivos o todos negativos (segn que lm
x!C1
P(x)Q(x) = o o que
lm
x!C1
P(x)Q(x) = o). Estas series convergen absolutamente cuando el grado del denomina-
dor es al menos dos unidades mayor que el grado del numerador. Cuando esta condicin se cumple y,
adems, las races del polinomio Q son todas reales y simples es posible calcular la suma de la serie
descomponiendo la funcin racional
P(x)
Q(x)
en fracciones simples, Se tendr una descomposicin de la
forma:
P(x)
Q(x)
=
A
1
x
1

A
2
x
2

A
m
x
m
donde
1
.
2
. . . . .
m
son las races de Q. Sustituyendo en la igualdad anterior x =k y sumando desde
k =1 hasta k =n resulta:
n

kD1
P(k)
Q(k)
=
n

kD1
_
A
1
k
1

A
2
k
2

A
m
k
m
_
Ahora hay que hacer todas las simplicaciones posibles hasta que nalmente nos quede una sucesin
que sea convergente. Observa que las series de la forma

A
n
son divergentes (por comparacin
con la serie armnica) pero la suma de todas las que hay en el parntesis anterior tiene que ser, en
las hiptesis hechas, una serie convergente. Lo usual es que los coecientes A
k
sean unos positivos y
otros negativos y que las races
k
sean nmeros enteros, de manera que se produzcan cancelaciones
que nalmente permitan calcular la suma de la serie. Es frecuente que en los clculos aparezca la serie
armnica alternada.
Series de diferencias o telescpicas. Se llaman as las series

a
n
cuyo trmino general puede escri-
birse en la forma a
n
=b
nC1
b
n
. Puesto que, en tal caso, se verica la igualdad
n

kD1
a
k
=b
nC1
b
1
.
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 3
la serie converge si, y slo si, la sucesin {b
n
] converge, en cuyo caso
1

nD1
a
n
=lm{b
n
] b
1
.
Series relacionadas con la exponencial. Sea xR un nmero real distinto de 0, jo en lo que sigue y
sea nN. Aplicando el teorema de Taylor a la funcin exponencial con a =0, tenemos que hay algn
punto c comprendido entre 0 y x tal que:
e
x
=1
n

kD1
1
k!
x
k

e
c
(n 1)!
x
nC1
.
La serie

n>0
x
n
n!
es absolutamente convergente porque, poniendo a
n
=
jxj
n
n!
, tenemos:
a
nC1
a
n
=
[x[
n 1
0.
En particular, se verica que lm
n!1
_
[x[
n
n!
_
=0. Como 0 < [c[ < [x[, tenemos que:

e
x

kD0
1
k!
x
k

e
c
(n 1)!
x
nC1

6e
jxj
[x[
nC1
(n 1)!
.
de donde deducimos que:
lm
n!1

e
x

kD0
1
k!
x
k

=0 e
x
=
1

nD0
x
n
n!
.
Como x=0 es un nmero real cualquiera y la igualdad anterior es trivialmente cierta para x=0, hemos
probado que para todo nmero real x se verica la igualdad:
e
x
=
1

nD0
x
n
n!
= lm
n!1
_
1
x
1!

x
2
2!

x
3
3!

x
n
n!
_
(2)
En particular, para x =1, resulta que:
e =
1

nD0
1
n!
= lm
n!1
_
1
1
1!

1
2!

1
3!

1
n!
_
. (3)
Con ayuda de esta serie podemos calcular la suma de series de la forma

n>0
p(n)
n!
donde p es una
funcin polinmica de grado m>1. Dichas series son (absolutamente) convergentes como se comprueba
fcilmente con el criterio del cociente. Para calcular su suma expresamos el polinomio p(x) en la forma:
p(x) =a
0
a
1
x a
2
x(x 1) a
3
x(x 1)(x 2) a
m
x(x 1)(x 2) (x m1).
Los nmeros a
k
pueden calcularse fcilmente:
a
0
=p(0). a
1
=p(1) a
0
. 2a
2
=p(2) a
0
2a
1
. . . .
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 4
Con ello tenemos que:
1

nD0
p(n)
n!
=
1

nD0
_
_
a
0
n!

jD1
a
j
n(n 1) (n j 1)
n!
_
_
=
=a
0
e
m

jD1
_
1

nD0
a
j
n(n 1) (n j 1)
n!
_
=
=a
0
e
m

jD1
_
_
1

nDj
a
j
n(n 1) (n j 1)
n!
_
_
=
=a
0
e
m

jD1
_
_
1

nDj
a
j
(n j )!
_
_
=a
0
e
m

jD1
_
1

nD0
a
j
n!
_
=
=(a
0
a
1
a
2
a
m
) e .
Naturalmente, si la serie no empieza a sumar desde n =0 hay que hacer los ajustes necesarios.
El mismo procedimiento puede aplicarse para series del tipo

n>0
p(n)
n!
x
n
.
De la igualdad (3) se deduce fcilmente que el nmero e es irracional. En efecto, para todo n N
tenemos que:
0 < e
n

kD1
1
k!
=
1

kDnC1
1
k!
=
1
n!
1

kD1
1
(n 1)(n 2) (n k)
<
1
n!
1

kD1
_
1
n 1
_
k
=
1
n!
1
n
Si e fuera racional, e =
p
q
con p. q N, multiplicando por q! la desigualdad:
0 < e
q

kD1
1
k!
<
1
q!
1
q
se tiene que:
0 < (q 1)!p q!
q

kD1
1
k!
<
1
q
61.
Pero el nmero (q 1)!p q!
q

kD1
1
k!
es un nmero entero y por tanto es imposible que sea mayor que
0 y menor que 1. Esta contradiccin muestra que e es irracional.
Dpto. de Anlisis Matemtico Universidad de Granada