w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Series de potencias
Proyecto e-Math 3
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
CONCEPTOS FUNDAMENTALES ______________________________


Las series de potencias

Una serie del tipo:

K K + + + + + +
n
n
x a x a x a x a a
3
3
2
2 1 0



ordenada por potencias enteras crecientes de la variable x y con coeficientes . , , , , ,
2 1 0
K K
n
a a a a
constantes, independientes de x , recibe el nombre de serie de potencias.


A menudo consideramos la serie de potencias en una forma ms general:

( ) ( ) ( ) ( ) K K + + + + + +
n
n
a x a a x a a x a a x a a
3
3
2
2 1 0



donde a es otra constante. De hecho, por el Mathboch de Aplicaciones de las derivadas sabemos
que este tipo de series reciben el nombre de series de MacLaurin y de Taylor, respectivamente. Una
serie de Taylor puede ser reducida a una de MacLaurin mediante el siguiente cambio de variable:

' x a x =


En lo que concierne a la convergencia de series, trataremos slo las series de MacLaurin puesto que
las de Taylor se reducen a las primeras mediante un simple cambio de variable.


Convergencia de una serie de potencias

Investiguemos la convergencia de una serie de potencias de MacLaurin cualquiera. Asignando un
valor numrico particular a la variable x , se obtiene una serie que convergir o divergir
dependiendo del valor de la x .

Vamos a demostrar que para cualquier serie de potencias existe un nmero finito o infinito r llamado
radio de convergencia de la serie tal que si 0 > r , entonces para r x < la serie converge y para
r x > , la serie diverge. Para r x = , es decir, para r x = y r x = , la serie converge o diverge. El
intervalo abierto | | r r, recibe el nombre de intervalo o crculo de convergencia de la serie de
potencias considerada. Si = r , el intervalo de convergencia es toda la recta real. Por el contrario,
si 0 = r , la serie de potencias converge slo en el punto 0 = x y, hablando rigurosamente, no hay
intervalo de convergencia.


En muchos casos podemos determinar el intervalo de convergencia de una serie de potencias con la
ayuda del criterio de convergencia de dAlembert. A dicho efecto, construimos en primer lugar
la serie compuesta por los valores absolutos de los trminos de la serie, que ser una serie de
nmeros reales positivos:

K K + + + + + +
n
n
x a x a x a x a a
3
3
2
2 1 0



w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Series de potencias
Proyecto e-Math 4
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Como mostramos en el Mathblock de Series de nmeros reales, si la serie que acabamos de escribir
converge, entonces la serie original ser absolutamente convergente. Llamemos al (n+1)-simo
trmino de la serie
n
s . ste y el siguiente son iguales, respectivamente, a:


n
n n
x a s =
1
1 1
+
+ +
=
n
n n
x a s


Formemos, ahora, la razn entre ambos con el fin de aplicar el criterio de dAlembert:

x
a
a
s
s
n
n
n
n
1
1
+
+
=


Supongamos que el lmite cuando n de esta razn existe y vale l . Es decir que:

l
a
a
n
n
n
=
+

1
lim


Luego, tenemos que:

x l
s
s
n
n
n
=
+

1
lim


Obviamente, si
l
x
1
< , entonces 1 < x l y la serie convergir. En consecuencia, la serie original (sin
los valores absolutos, tambin ser convergente y adems ser absolutamente convergente. Por el
contrario, si
l
x
1
> , entonces 1 > x l y tanto la serie de valores absolutos como la original,
divergirn.


Por tanto, 0
1
=
l
r es el radio de convergencia de una serie de potencias y tenemos que:


1
lim
+

=
n
n
n
a
a
r


Queda una pregunta sin resolver en el caso que 0 > r : Qu sucede en los puntos de frontera dell
intervalo de convergencia? Es decir, qu sucede cuando r x = o r x = ? Para analizar la
convergencia o divergencia en estos puntos, analizaremos las dos series de nmeros reales
separadamente.

Ilustremos este particular con un ejemplo sencillo. Tomemos la siguiente serie de potencias:

K K + + + + +
n
x x x x
n
3 2 1
3 2


w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Series de potencias
Proyecto e-Math 5
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

Aqu los coeficientes n-simo y (n+1)-simo son:


n
a
n
1
= y
1
1
1
+
=
+
n
a
n



Luego podemos determinar el radio de convergencia calculando el siguiente lmite:

1
1
1 lim
1
lim
1
1
1
lim =
|
.
|

\
|
+ =
+
=
+
=

n n
n
n
n
r
n n n


As pues, la serie en cuestin, converge para valores de la variable x en el intervalo | | 1 , 1 . Veamos
ahora qu sucede en los puntos extremos, es decir, en 1 = x y en 1 = x .

En 1 = x , obtenemos la serie armnica:

K K + + + + +
n
1
3
1
2
1
1


que sabemos, por el Mathblock Series de nmeros reales que diverge. Por el contrario, cuando
1 = x , la serie que obtenemos es alternada y converge:


( )
K K +

+ + +
n
n
1
3
1
2
1
1


En virtud del criterio de convergencia de Leibniz para series alternadas, sabemos que esta serie
converge. Basta con darse cuenta que el lmite del valor absoluto del trmino general tiende a cero:

0
1
lim =

n
n



Utilizaremos este mismo ejemplo para ilustrar el procedimiento de clculo de la suma de una serie
infinita de nmeros reales (en este caso, alternada) a partir de integracin y derivacin de series de
potencias.


Derivacin e integracin de series de potencias [3]

Si una funcin est representada por una serie de potencias

( )

=
=
0
) (
j
j
j
a x a x f


w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Series de potencias
Proyecto e-Math 6
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
en un intervalo abierto ( ) r a r a + , , se puede demostrar que dicha funcin es continua en ese
intervalo, y su integral en cualquier subintervalo cerrado puede calcularse integrando la serie trmino
a trmino. En particular para todo x de ( ) r a r a + , , tenemos:

( ) ( )



=

=
+

+
= =
0 0
1
1
) (
j j
j j
x
a
j
j
x
a
a x
j
a
dt a t a dt t f


Se puede demostrar que el radio de convergencia de las serie integrada es igual al de la serie
original.

Recprocamente, se demuestra que para toda funcin ( )

=
=
0
) (
j
j
j
a x a x f de intevalo de
convergencia ( ) r a r a + , , entonces tenemos que:


1. la funcin derivada de dicha serie existe y es igual a:

( )

= =
1
1
) ( '
) (
j
j
j
a x ja x f
dx
x df


2. su radio de convergencia, r , es idntico al de la serie ) (x f .


En el punto anterior vimos como la serie de nmeros reales alternada:


( )
K K +

+ + +
n
n
1
3
1
2
1
1


converge. Vamos ahora a determinar su valor numrico. Empecemos considerando la siguiente serie
de potencias

K K + + + + + +
n
x x x x
3 2
1


Esta serie corresponde a una serie formada a partir de la progresin geomtrica de razn x , que
converge para 1 < x , siendo su suma igual a
x 1
1
. As, dentro del intervalo de convergencia,
podemos escribir:

K K + + + + + + =

n
x x x x
x
3 2
1
1
1



Esta igualdad puede ser considerada como la expansin de la funcin
x 1
1
en serie de potencias.
Vamos ahora a reemplazar la variable x por z con lo que la expresin se convierte en:

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Series de potencias
Proyecto e-Math 7
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
( ) K K + + + + =
+
n
n
z z z z
z
1 1
1
1
3 2



Si tomamos 1 0 < x z la igualdad que acabamos de escribir puede ser integrada respecto a z
entre 0 y x , siguiendo las expresiones dadas al principio de este punto. Con ello podemos escribir:

( ) K K + + + + =
+

dz z dz z dz z dz z dz dz
z
x
n n
x x x x x
0 0
3
0
2
0 0 0
1 1
1
1



Integrando, obtenemos:

( ) ( ) K K +
+
+ + + = +
+
x
n
n
x x x
x
x
n
z z z z z
z
0
1
0
4
0
3
0
2
0
0
1
1
4 3 2 1
1 ln


y finalmente:

( ) ( ) K K +
+
+ + + = +
+
1
1
4 3 2 1
1 ln
1 4 3 2
n
x x x x x
x
n
n



Esta expresin es vlida siempre que 1 < x y tambin para 1 = x puesto que hemos demostrado
antes que la serie numrica asociada, converge. As pues:

( )
( )
K K +

+ =
n
n
1
3
1
2
1
1 2 ln


Y la serie que nos ocupaba tiene por suma:


( )
) 2 ln(
1
3
1
2
1
1 = +

+ + + K K
n
n




CASOS PRCTICOS CON SOFTWARE___________________________________


Determinacin del radio de convergencia de una serie de potencias [5]

Con el propsito de ilustrar las posibilidades de Mathcad a la hora de determinar el intervalo de
convergencia y la suma de series de nmeros reales, vamos a estudiar la siguiente serie de potencias
de Taylor:

( )

1
3 4
3
n
n
n
n
x



w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Series de potencias
Proyecto e-Math 8
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
En primer lugar vamos a calcular el radio de convergencia r .
l
r
1
= con
n
n
n
a
a
l
1
lim
+

= :

( )
3
1
1
lim
3
1
3 4
1
3 1 4
1
lim
1
=
+
=
+
=

+

n
n
n
n
l
n
n
n
n


Por tanto, 3 = r , y la serie ser convergente para valores de la variable x tales que 3 3 < x , es
decir, valores entre 0 y 6 ( 6 0 < < x ).



Comprobemos estos resultados con
Mathcad.

Para ello barremos el intervalo de
la recta real entre 2 y 8 donde
debera encontrarse el intervalo de
convergencia. En lugar de calcular
la suma de infinitos trminos, basta
con sumar los 50 y los 100
primeros para ver que fuera del
intervalo de convergencia el valor
numrico se dispara.

En efecto, para valores dentro del
intervalo ]0,6[ la serie converge.

g x ( )
1
50
n
x 3 ( )
n
4n3
n

=
:= h x ( )
1
100
n
x 3 ( )
n
4n3
n

=
:=
2 0 2 4 6 8
0
500
1000
g x ( )
h x ( )
0 6
x



Estudiemos ahora el comportamiento en los puntos de frontera. En 0 = x tenemos la serie de
potencias se convierte en la siguiente serie numrica:

( )

1
4
1
n
n
n


que es convergente puesto que es la serie armnica alternada con un factor multiplicativo
4
1
.

Por el contrario, en 6 = x tenemos la serie de potencias se convierte en la siguiente serie numrica:

=1
4
1
n
n


que es divergente puesto que es la serie armnica con un factor multiplicativo
4
1
. Entonces el
intervalo de convergencia de la serie es | | 6 , 0 .
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Series de potencias
Proyecto e-Math 9
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)


Determinacin de la suma de una serie nmerica mediante derivacin e
integracin de series de potencias

Para ilustrar las posibilidades que existen para sumar una serie numrica infinita a partir de una serie
de potencias, demostraremos que la expresin siguiente es cireta mediante la construccin de una
serie de potencias adecuada:

1 2
1 2
ln
32 9
2
16 7
2
8 5
2
4 3
2
2 1
2

+
= +

K


Para demostrar esta igualdad basta con desarrollar el trmino de la izquierda para obtener el de la
derecha. Empecemos simplificando cada uno de los trminos de la expresin a la izquierda:

= +

K
32 9
2
16 7
2
8 5
2
4 3
2
2 1
2


= +

= K
2 16 9
1
2 8 7
1
2 4 5
1
2 2 3
1
2 1
1


K +

=
2 9 2 7 2 5 2 3 2 1
2 9
1
2 7
1
2 5
1
2 3
1
2 1
1



Esta serie numrica puede considerarse como la serie de potencias de x:

K + + + + + =
9 7 5 3 1
) (
9 7 5 3
x x x x x
x s


evaluada en 2 1 = x . Si derivamos esta serie numrica, vamos a poder efectuar la suma de sus
infinitos trminos. Derivando, obtenemos la serie de potencias:

K + + + + + =
8 6 4 2
1
) (
x x x x
dx
x ds



cuya suma, dentro del radio de convergencia de valor 1, R=1, es, al tratarse de una serie geomtrica
de razn x
2
:

2
8 6 4 2
1
1
1
) (
x
x x x x
dx
x ds

= + + + + + = K


Como 2 1 = x est dentro del radio de convergencia alrededor de x=0, esta suma sirve para
solucionar la serie numrica que nos ocupa.

Integrando la ltima ecuacin diferencial, obtenemos:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Series de potencias
Proyecto e-Math 10
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

=
|
.
|

\
|
+
+

=

dx
x x
dx
x
x s
1
2 1
1
2 1
1
1
) (
2


( ) ( ) C x x + + + = 1 ln
2
1
1 ln
2
1



Determinamos el valor de la constante C sustituyendo la variable x por 0 en esta expresin y
comparando con el valor que toma s(x) antes de la derivacin, suma e integracin, es decir:

( ) ( ) C C s = + + + = 0 1 ln
2
1
0 1 ln
2
1
) 0 (

0
9 7 5 3 1
) (
0
9 7 5 3
0
= + + + + + =
=
=
x
x
x x x x x
x s K


Por lo tanto la constante C tiene que ser igual a cero. Con esto hemos llegado a la expresin de la
suma de la serie de potencias introducida:

( ) ( ) ( ) x x
x x x x x
x s + = + + + + + = 1 ln 1 ln
2
1
9 7 5 3 1
) (
9 7 5 3
K


Utilizando las propiedades de los logaritmos, podemos reescribirla como:

( ) ( ) ( )
|
.
|

\
|

+
= + =
x
x
x x x s
1
1
ln
2
1
1 ln 1 ln
2
1
) (


o como:

( )
( )
|
|
.
|

\
|
+
+
=
|
.
|

\
|

+
=
x
x
x
x
x s
1
1
ln
2
1
1
1
ln
2
1
) (




Verifiquemos este resultado analtico con Mathcad utilizando la instruccin de
simplificacin Symbolic Evaluation.

A diferencia del resultado que nosotros hemos obtenido, Mathcad nos proporciona una
expresin que tanto sirve para valores negativos como positivos. Para recuperar la
expresin que hemos obtenido nosotros, utilizamos la instruccin Assume que podemos
introducir mediante el men al final de View > Toolbars > Symbolic.

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Series de potencias
Proyecto e-Math 11
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
1

n
x
2n 1
2 n 1

=
1
2
x
x
2
( )
1
2
ln
1 x
2
( )
1
2
+

(
(
(

1 x
2
( )
1
2

(
(
(

(
(
(
(
(
(

simplify
1
2
csgnx ( ) ln
1 csgnx ( ) x + ( )
1 csgnx ( ) x + ( )

(
(

assumex 0 > ,
1
2
ln
1 x + ( )
1 x + ( )

(
(

Queda solamente sustituir 2 1 = x para conocer el valor de la suma de los infinitos trminos de la
serie numrica de partida:


2 1 1
2 1 1
ln
2
1
32 9
2
16 7
2
8 5
2
4 3
2
2 1
2

+
= |
.
|

\
|
= +

s K


Simplificando, obtenemos la igualdad a probar:

1 2
1 2
ln
32 9
2
16 7
2
8 5
2
4 3
2
2 1
2

+
= +

K




Verifiquemos este resultado
numrico con Mathcad utilizando
la instruccin de simplificacin
Symbolic Evaluation
1

n
2
2n 1 ( )2
n

=
1
2
ln
1
1
2
2
1
2
+
|

\
|
|
|
.
1
1
2
2
1
2

|

\
|
|
|
.

(
(
(
(
(
(
(

CONCLUSIONES ___________________________________


Toda serie de potencias viene caracterizada por su radio de convergencia. Para valores de la variable
dentro de dicho radio de convergencia, la serie converge, es decir, la suma de sus infinitos trminos
converge a un valor finito. Determinar el radio de convergencia es fundamental para poder manipular
la serie de potencias como una funcin dentro de su dominio de existencia. Fuera del intervalo o
crculo de convergencia determinado a partir del radio de convergencia, la funcin diverge y, por
tanto, su utilizacin matemtica es puramente formal, en principio.

Derivar e integrar una funcin definida como la suma infinita de potencias de la variable slo puede
realizarse en el interior del intervalo de convergencia. Es all donde somos capaces como hemos
visto de sumar dicha serie o su derivada/integral a fin de poder indirectamente determinar el valor
de la suma de una serie de nmeros reales. En este campo de las matemticas, donde la
comprobacin de resultados no es fcil, Mathcad nos proporciona una inestimable ayuda.