Series de potencias

Introduccin
Las series de potencias cumplen un papel importante en el anlisis matemtico ya que
son un caso particular de las series de funciones. Estn estrechamente vinculadas con las
series numricas (podran tratarse como series numricas dependientes de un parmetro).
Tienen importantes vinculaciones con otros temas del curso como suma de series
convergentes (permite encontrar sumas de series que ya sabamos que convergen pero no
conocamos a cunto) y desarrollo de Taylor. Permiten calcular integrales de algunas
funciones sin primitiva elemental y posibilitan la bsqueda de soluciones de algunas
ecuaciones diferenciales.
Como temas en general se tratar el concepto de convergencia de series y el de
convergencia absoluta, continuidad, derivabilidad e integrabilidad, as como su relacin
con los desarrollos de Taylor.

Definicin:
Son series generadas por sucesiones cuyo trmino general es de la forma
n
a n x x0 , n N .
Donde a n es una sucesin de nmeros reales o sea a n y x0 son nmeros reales y x es
una variable real
Es decir sus trminos son productos de coeficientes numricos por potencias sucesivas de
la variable real menos x0 .

a n se llama coeficiente numrico de la serie de potencias.

Notacin:

an x x0 n

Para simplificar el estudio de estas series se ver para el caso x0 0 , pues si x0 0 se

puede realizar un cambio de variable x x0 z y su estudio se reducira a ste.
Por lo tanto de ahora en ms trabajaremos con

an x n .

Ejemplo:
En la serie de potencias

a n : a n

xn
n 3 , la sucesin a la que hace referencia la definicin es

1
.
n3

xn
1
1 3 1 4
x
x
Una suma parcial de dicha serie de potencias es: 3 x x 2
8
27
64
n 1 n
4

Grficos de algunas sumas parciales de

xn
n3

Observaciones

Las series de potencias para cada x real no son nada ms que una serie numrica,
por lo tanto puede tratarse de una serie convergente divergente u oscilante.

Las sumas parciales son polinomios (de ah que puedan tratarse como casos
particulares de las series de funciones).

Queremos estudiar la convergencia de

an x n , es decir para que valores de

x es convergente y para qu valores no lo es.

Ejemplos:
1) En la serie geomtrica

xn

con x R (caso particular de serie de potencias)

ya sabemos que:

Si x 1 , es convergente.

Si x 1 , no es convergente.

x
2) La serie de potencias
n
de la raz a la serie

x
n

es convergente x R pues aplicando el criterio

resulta que

lim n

x
n

lim

x
0 1 x R , dicho
n

x
criterio asegura la convergencia absoluta de para cualquier x R
n
3) La serie de potencias

nx n

solo converge para x 0 pues nx no tiende a

n

cero, cualquiera sea x 0 .

En estos ejemplos observamos que las series

an x n

son:

convergentes absolutamente en un intervalo centrado en 0. Los intervalos

son respectivamente 1, y 0.
no convergen para todo x exterior a dicho intervalo.

Esto acontece para todas las series de potencias (veremos tambin que en los
extremos del intervalo no hay regla previa). Es decir: ellas convergen absolutamente
en un cierto intervalo r ,r y fuera de l no.
Es de destacar que como

an x n

para todo x R tal que x r ,r es una serie

convergente le podemos asociar a cada x R , x r , r , la suma de la serie que es

tambin un real.
Por lo que tenemos una funcin f : R R / f x

an x n

n 0

Por ejemplo en el caso de la serie de potencias

f : 1, 1 R / f x x n
n p

xn

la funcin f es:

xp
, para cada p N (verifquelo).
1 x

As entonces

x2
n
2
3
4
para todo x 1
x

x
n2

Radio de convergencia
Toda serie de potencias tiene asociado un radio de convergencia (que puede ser 0, un
real positivo o infinito).
Pasaremos a demostrar 2 teoremas cuya consecuencia ser la existencia del radio de
convergencia.
LEMA PREVIO
Dada una serie de potencias

an x n :

1) Si converge en xo 0 , entonces es absolutamente convergente x x 0

2) Si no converge en x1 0 , entonces no converge x x1

Demostracin:
1) Si converge en xo 0 tomemos un x tal que x x0

an x

an x

x0 n

x0 n

a n x0

Como por hiptesis

x
x
a n x 0 n
x0
x0

a n x0 n

converge, por condicin necesaria de convergencia de

convergencia an x0 n 0 .

Por lo tanto an x0

est acotada, o sea existe H 0 , tal que n N ,

Con lo cual tenemos a n x a n x 0

n

Como

x
x0

x
x
H
x0
x0

x
de donde an x H
x0

converge por ser una serie geomtrica de razn

H x

Entonces por linealidad

an x0 H
(*)

x
1 por ser x x0 .
x0

converge

Consecuentemente de (*)

ax

converge por comparacin, de donde

a x

converge absolutamente.

Existencia del radio de convergencia

Dada una serie de potencias an x n , entonces se cumple uno y solo uno de los
siguientes 3 casos:
1) an x n converge slo para x 0 . Se dicen entonces que el radio es 0.
2)
3)

an x n

converge para todo x R . Se dice entonces que el radio es .

an x n

converge absolutamente para todo x r ,r , con r 0 y no

converge para todo x r y x r . Se dice entonces que el radio es r.

Demostracin:

Sea el conjunto A x 0 / an x n converge absolutamente

Se pueden dar dos situaciones:
a) A 0
En este caso demostraremos que

an x n

converge slo para x 0 .

Suponemos por el absurdo que no fuera as. O sea que existe x0 0 , tal que

a n x0 n

converge. Por lo tanto

an x n

por lema, converge absolutamente para

todo x x0 . Lo cual es falso pues A 0 .

b) A 0 . En este segundo caso podra ocurrir que:

i) A no est acotado superiormente. En este caso veremos que

para todo x R

an x n

converge

Sea x R* . Como A no est acotado superiormente existe x j A tal que

x xj.
Como x j A resulta que

an x n

an x j n

es convergente. Entonces por lema

converge absolutamente para todo x R

ii) A est acotado superiormente, entonces queremos demostrar que

an x n

converge absolutamente para todo x r ,r , con r 0 y no converge para

todo x r y x r
Como A acotado superiormente y no vaco, existe r sup A (el supremo de
A) siendo r 0 por ser A 0 .

Sea x r ,r . Por propiedad del supremo, existe un x j A tal que

x xj r .
Como x j A resulta que

an x n

an x j n

es convergente. Entonces por lema

converge absolutamente para todo x r

Sea x tal que x r y x r . Consideramos x j R y

suponemos por el absurdo que
Por lema entonces

an x n

an x j n

r xj

converge.

es absolutamente convergente para todo x tal

que x x j pero existen x tal que r x x j (por ejemplo x

r xj

2
lo cual es absurdo pues r era el supremo de A y r < x (no puede haber
elementos de A que sean mayores que r)

Observaciones

Vale la pena notar que los valores para los cuales la serie converge absolutamente
y los valores para los cuales converge, son casi los mismos. Podran diferir, en el
peor de los casos en los extremos de un intervalo. Por eso es que para calcular el
radio de convergencia puede usarse por ejemplo el mtodo de Cauchy o el
mtodo de DAlembert a

an x n

por tratarse de series de trminos positivos.

Nada se puede asegurar de la convergencia de una serie de potencias en los

extremos de su intervalo de convergencia o sea en x r y en x r , con r > 0.

Las series an r n y an r n pueden ser ambas convergentes, una sola de

ellas ser convergente o ninguna.

Ejemplos:
xn
xn
y 2
n
n
Aplicando el criterio de Cauchy obtenemos que las tres tienen radio de convergencia 1.
En x n : lim n 1 1
Sean

xn ,

1
xn
n : lim n n 1
xn
1
En 2 : lim n 2 1
n
n
Pero en los extremos del radio de convergencia se tiene que:
x n no converge ni en 1 ni en -1 (geomtrica)
En

xn
n no converge en 1 (por armnica de exponente 1), pero s converge en -1 por
Leibnitz
xn
n 2 converge en 1, por ser la armnica de exponente 2 y en -1 pues en valor absoluto
converge.
Ejercicios: primera parte

Radios de convergencia de las series derivada y primitiva

Se llaman series derivada y primitiva, de una serie de potencias
series nan x n 1 y

an x n ,

a las

n n 1 x n 1

Teorema
Una serie de potencias y su derivada y primitiva tiene el mismo radio de convergencia

Demostracin
Supongamos que an x n tiene radio de convergencia r y que
convergencia r. Vamos a demostrar que son iguales.
1) Sea x tal que x r'

Queremos probar que

x r' , r'

an x n

nan x n 1 tiene radio de

converge absolutamente para todo x tal que

Para ello elegimos x 0 / x x 0 r '

x x0

an x an
n

Como

xn
x0 n

x0

x x
n x
x
a n x0 n 1 -r
x0 na n x0 n 1 0 r

n x0
n x0
x0

nan x0n 1

converge, por condicin necesaria nan x0 n 1 0 y

x0
0 cualquiera sea el x0
n
x
x0

Sabemos que

comparacin

an x n

De donde

an x n

converge por geomtrica de razn <1. Entonces por

converge.

converge absolutamente para todo |x| < r

Por lo tanto r r'

2) Sea x tal que x r

Queremos probar que

que x r , r

nan x n 1 converge absolutamente para todo x tal

Para ello elegimos x0 / x x0 r

0
-r

x x0
r
7

na n x

n 1

x n x0 n
n x
n x

na n
a n x0 n
n

x x0
x x0
x x0
0

n x
Si aplicamos el criterio de la raz para clasificar
x x0

x
Llegamos a que el lmite es
1 con lo cual
x0
Por lo tanto por comparacin
De donde

nan x n 1

n x
x x
0

converge

converge.

nan x n 1 converge absolutamente para todo x tal que |x| r

Por lo tanto r' r

Conclusin r' r
Entonces como los radios convergencia de una serie y la de su serie derivada son iguales,
a
los de an x n y n x n 1 son iguales por ser sta la serie primitiva de la primera.
n 1

Continuidad, derivada e integral de una serie de potencias

Sea

an x n

una serie de potencias que tiene radio de convergencia r 0 , para

cada x de su campo de convergencia, llamamos f : f x

an x n

a la suma de

n 0

la serie.
1) f es continua para todo x r ,r
2) f es derivable para todo x r ,r y su derivada es f ' x

nan x n 1

n 1

o sea a n x n ' a n x n 1 ' na n x n 1

n 1
n 0
n 1
3) f es integrable en [0, x] incluido en su campo de convergencia y su integral es
x

f t dt

n n 1 x n 1

n 0

a
n
o sea a n t dt a n t n dt n x n 1 para todo x perteneciente al

n 0 0

0 n 0
n 0n 1
campo de convergencia

Demostracin: No ser realizada en este curso

Ejemplo:
Sabemos que

x n tiene radio de convergencia 1 y

xn 1 x

x 1

n 0

A partir de ella podemos obtener nuevas series y nuevas sumas

1
Derivando tenemos que nx n 1
x 1
2

x
n 1

x n 1
Integrando tenemos que
L1 x x 1
n 0 n 1

Sustituyendo la x por .-x se obtiene

1n x n 1 x
1

x 1

n 0

Sustituyendo en la anterior por x resulta

1n x 2n 1 x 2
1

x 1

n 0

Integrando en la anterior se obtiene

2 n 1

n 0

2n 1

x
1n

arctg x x 1

Observacin:
x 2 n 1
Podemos demostrar que la ltima serie: 1
es convergente en 1 por Leibnitz.
2n 1
n

Y si le damos x, el valor 1, obtenemos

1n 2n 1 arctg 1 4
1

n 0

Observacin:
La serie

xn

n!

converge para todo x. Pues aplicando el criterio de DAlembert:

n!
1

0
n 1! n 1
La serie derivada de

n
x
xn

f
x

coincide
con
ella
misma,
luego
si
n!
n! para todo x,
n 0

n
x n 1
x

y f x f ' x para todo x. La funcin e x tiene la
n 1 n 1! n 0 n!
misma propiedad y es positiva
Escribiendo f x e x qx , resulta f ' x e x qx e x q' x e x qx por lo tanto

entonces f ' x

q' x 0 de donde qx c R . Entonces la funcin f es de la forma, f x ce x y

como f 0 1 resulta que c = 1 y f x e x
Concluimos que e x

xn

n 0 n!

Otro ejemplo:
Clasificar

n
2
2n n

y
hallar
f
x

x
n xn
n
n 1

Como lim n

2n
2 de donde
n

2n n
1
n x tiene radio de convergencia 2 y no converge

1
1
1
para x
y converge para x , pues D y
2
2
n
n
n 1
n

2 x 2 x L1 2 x
2
f x x n

n 1 n
n 1 n
n 0 n 1

1n converge
n

aplicamos al final frmula encontrada anteriormente (pues 2 x 1 o sea x

1
).
2

Ejercicios: radio de convergencia y funcin suma.

10

Similitud de los ejemplos con los desarrollos de Taylor en 0:

Si f : f x

an x n entonces

n 0

f x

an x n a0 x 0 a1x1 a2 x 2 a3 x 3 a4 x 4

n0

f 0 a0
Si derivamos trmino a trmino

f ' x na n x n1 1a1 x 0 2a 2 x1 3a3 x 2 4a 4 x 3

n 1

f ' 0 1.a1 de donde a1

entonces

f ' 0
1

Volviendo a derivar

f ' ' x nn 1a n x n2 2.1a 2 x 0 3.2a3 x1 4.3a 4 x 2 entonces

n2

f ' ' 0 f ' ' x

2.1
2!
f
Y as sucesivamente encontraramos que a n
f ' ' 0 2.1a2 de donde a 2

Por lo tanto f x
n 0

0x n

n!

f 0

n!

f ' 0
f n 0 n
x
x
1!
n!

Esto es similar a los desarrollos de Taylor que vimos en primero. En lugar del resto de
Taylor tenemos puntos suspensivos, o sea se puede continuar indefinidamente.
Si una funcin est definida mediante una serie de potencias los coeficientes de la serie
coinciden con los de Taylor de la funcin
Por ejemplo sabemos por lo visto anteriormente que f x
O sea:

L1 x x

x 2 x3
xn

2
3
n

x n 1
n 1 L1 x x 1
n0

x 1

x 2 x3
xn

rn x
Y por Taylor: L1 x x
2
3
n

x 1

Adems es fcil demostrar a unicidad del desarrollo en serie de potencias.

Queremos ahora saber cuando una
potencias
.

funcin

est definida por una serie de

11

Funciones Desarrollables en serie de potencias

Se dice que una funcin, que tiene derivadas de todos los rdenes en r, r , r

r R , es desarrollable en serie de potencias en ese intervalo si existe una serie

de la forma

an x n tal que f ( x) an x n para todo x r, r

0

Sabemos que la funcin tiene derivadas de todos los rdenes en un intervalo centrado en

el origen, y queremos ver si existe una serie de potencias cuya suma sea f ( x) a n x n
0

Condicin necesaria y suficiente para que una funcin sea desarrollable en serie de
potencias
Sea es una funcin que tiene derivadas de todos los rdenes en r, r y rn x es
su resto de Taylor de orden n, entonces:
f es desarrollable en serie de potencias en r, r y solo si para todo x r , r el
lim rn x 0
n

i n

Esto es evidente pues por Taylor sabemos que

f x
i 0

x r , r
Pasando a lmites

f i 0 i
x rn x
i!

i n f i 0 i

lim f x lim
x rn x entonces

n
n i 0 i!

f i 0 i
x lim rn x

n i 0 i!
n

in

lim f x lim

(como f x no depende de x)

f 0 i
f 0 n
x
x
i!
n!
i 0
n0
n
f 0 n
x x r , r lim rn x 0
Por lo tanto f x
n
n!
n0
f x lim

in

12

Ejemplos:

Ya vimos en Taylor que

n 1
1
n x
1

x 2

1
x
1

Px
f x

rn x

x n 1
0 x 1
n 1 x
Entonces
lim

1
xn
1
x n0

para todo x 1

f x

x 2 x3
x n e c x n 1
e 1 x

2! 3!
n! n 1!
f x

Px

rn x

e c x n 1
xn 1
0 x
0 admitimos que

1
!
n

1
!
n
lim

ex

xn
n!
n0

sin x x

x R
x3
x 2n 1
x 2n 2
1n
1n 1 sin c
2n 2!
3!
2n 1

lim 1n 1 sin c

sin x

1n

n 1

x 2n 2
0
2n 2!

x 2n 1
2n 1!

x R

Ejercicios
Demuestre que cosx

1n

n0

x 2n
2n!

x R

Observacin:
Hay funciones que no son desarrollables en serie de potencias. Por ejemplo:
2

e 1 x si x 0
f : f x
que puede demostrarse que es derivable y que todas sus

si x 0
0
derivadas vale 0 en 0, por lo tanto el polinomio de Taylor es el nulo y el resto
13

2
coincide con la funcin: lim rn x e 1 x 0 en cualquier intervalo que

contenga el 0.
Ejercicios: sumas de series numricas
Prxima Seccin: Integrales mltiples
Volver al inicio

14