Breve introduccin a las series de potencias

Lisandro Curia - Mnica Prez

Facultad de Ingeniera
Universidad Nacional del Comahue

1 Este

apunte constituye slo una gua para abordar el tema. Para el estudio completo de estos

contenidos, el alumno deber remitirse a la bibliografa de referencia que cite la ctedra.

Polinomios de Taylor y Maclaurin.

.
.
Dado que los polinomios son funciones sencillas de representar, en ocasiones se los emplea para
expresar otras funciones. Para calcular el error que surge durante esta sustitucin y tener una idea
del grado de aproximacin logrado, se busca la diferencia entre la funcin y el polinomio.
Inicialmente, se plantea el problema de obtener una aproximacin de la funcin

y = f (x)

(1)

mediante un sucesin de polinomios pn (x) de la forma

pn (x) = a0 + a1 x + a2 x2 + ... + an xn .

(2)

En particular, puesto que se van a considerar valores de n cada vez mayores, interesar que la
aproximacin sea aceptable para valores pequeos de x, ya que se desea que sean despreciables los
trminos correspondientes a valores grandes de n. De aqu que se deba prestar especial atencin al
arco de la curva dada por (2) en el entorno del punto A(0, f (0)) de la gura 1.

Figura 1: Aproximacin de f (x) mediante polinomios

Suponiendo que la funcin (2) tiene todas las derivadas hasta el orden (n + 1) inclusive, en cierto
intervalo que contiene al punto x = 0, surgen las siguientes preguntas:
1. Qu polinomio de grado cero, y = p0 (x) proporciona la mejor aproximacin a la curva dada
en el entorno del punto A? La respuesta es tomar la recta a0 que pasa por A; Por ello hacemos

a0 = f (0), que es el valor de la funcin dada para x = 0.

2. Qu polinomio de primer grado y = a0 + a1 x, facilita la mejor aproximacin a la curva dada
en el entorno del punto A? La respuesta es la recta tangente, ya que queremos una recta que
pase por A y que tenga igual pendiente que la curva, lo cual signica que debemos elegir

a0 = f (0) y a1 = f 0 (0).
2

3. En general Qu polinomio de grado n, y = a0 + a1 x + a2 x2 + ... + an xn , constituye la mejor

aproximacin a la curva en el entorno del punto A?
Respuesta: tomar aquella curva que pase por A y que tiene el contacto de mayor orden posible
con la curva en dicho punto, en el sentido que sus derivadas de rdenes 1o , 2o , 3o , ..., n-simo son
iguales a las derivadas de la funcin en el punto.
De este modo si se escribe el polinomio y = pn (x) de grado no superior a n cuyo valor en el punto

x = 0 sea igual al de la funcin f (x) en el punto, y los valores de sus derivadas hasta el n simo
orden sean iguales en el punto x = 0 a los valores de las derivadas correspondientes de la funcin

f (x) en este punto, resulta:

pn (0) = f (0), p0n (0) = f 0 (0), p00n (0) = f 00 (0) ... pnn (0) = f n (0)
por lo tanto

f (0) = a0 ,

f 00 (0)
f n (0)
f 0 (0)
= a1 ,
= a2 ...
= an
1!
2!
n!

de donde

Denicin 1. Si f

tiene n derivadas en x0 el polinomio

p(x) = f (x0 ) +

f n (x0 )(x x0 )n
f 0 (x0 )(x x0 ) f 00 (x0 )(x x0 )2
+
+ ... +
1!
2!
n!

(3)

Se llama n-simo polinomio de Taylor para f en x0

Si x0 = 0, entonces

p(x) = f (0) +

f 0 (0)x f 00 (0)x2
f n (0)xn
+
+ ... +
1!
2!
n!

(4)

se llama n-simo polinomio de Maclaurin para f

Ejemplo: Encontrar los polinomios sucesivos que aproximan la funcin f (x) = sen(x).
En este caso las derivadas de sen(x) son : cos(x), sen(x), cos(x), .... cuyos valores para x = 0
x3
son: 1, 0, 1, 0, ..... De donde resultan los polinomios x, x .
3!

Figura 2: Aproximacin def (x) = sen(x) mediante polinomiosen torno a x = 0

3

La gura 2 representa la aproximacin de la funcin f (x) = sen(x) por medio de estos polinomios
sucesivos. Por ejemplo, si limitamos de desarrollo de Maclaurin en el trmino de segundo grado,
resulta sen(x) x.

Ejercicio:

Aplicar el procedimiento del ejemplo anterior a la funcin f (x) = Log(x + 1). En este

caso los polinomios sucesivos estn representados en la gura 3.

Figura 3: Aproximacin de f (x) = Log(x + 1) mediante polinomios en torno a x = 0

Frmulas de Taylor y Maclaurin

Supongamos que la funcin f (x) es derivable hasta el orden n + 1 inclusive, en un intervalo I

que contiene al punto x0 . Si designamos por Rn (x) la diferencia entre los valores de la funcin
dada f (x) y del polinomio calculado Pn (x) resulta Rn (x) = f (x) Pn (x) de donde se obtiene

f (x) = Pn (x) + Rn (x) o en forma desarrollada

f (x) = f (x0 ) +

f 0 (x0 )
f 00 (x0 )
f n (x0 )
(x x0 ) +
(x x0 )2 + ... +
(x x0 )n + Rn .
1!
2!
n!

El trmino Rn (x) se conoce como trmino complementario y se puede demostrar que la frmula
de Lagrange del mismo es

Rn (x) =

f n+1 ()
(x x0 )n+1 donde est entre x0 y x.
(n + 1)!

La frmula

f (x) = f (x0 ) +

f 0 (x0 )
f 00 (x0 )
f n (x0 )
f n+1 ()
(x x0 ) +
(x x0 )2 + ... +
(x x0 )n +
(x x0 )n+1 .
1!
2!
n!
(n + 1)!

se denomina frmula de Taylor de la funcin f (x). Haciendo x0 = 0, resulta la frmula de Maclaurin

f (x) = f (0) +

f 00 (0) 2
f n (0) n f n+1 () n+1
f 0 (0)
x+
x + ... +
x +
x
.
1!
2!
n!
(n + 1)!

donde est entre x0 y x.

4

Demostracin
Primero deniremos la funcin Rn (x) en I de la forma

Rn (x) = f (x) f (x0 ) +

f 00 (x0 )
f 0 (x0 )
f n (x0 )
(x x0 ) +
(x x0 )2 + ... +
(x x0 )n
1!
2!
n!

Ahora pensamos a x y x0 como constantes y denimos una nueva funcin g(t) en I como

g(t) = f (x) f (t)

f 0 (t)
f 00 (t)
f n (t)
(x t)n+1
(x t)
(x t)2 ...
(x t)n Rn (x)
1!
2!
n!
(x x0 )n+1

vemos que g(x) = 0, adems

g(x0 ) = [f (x)f (x0 )

f 0 (x0 )
f 00 (x0 )
f n (x0 )
(x x0 )n+1
=0
(x x0 )
(xx0 )2 ...
(xx0 )]Rn (x)
1!
2!
n!
(x x0 )n+1

ya que de se concluye que la parte entre corchetes es Rn (x)

Como x y x0 son puntos en I donde g(x) = 0 y g(x0 ) = 0, es posible aplicar el teorema de Rolle.
Por lo tanto existe un punto entre x y x0 tal que g 0 () = 0. Derivando g(t) resulta

g 0 (t) = 0 f 0 (t) [

f 0 (t) f 00 (t)
f 00 (t)
f 000 (x0 )
+
(x t) 2
(x t) +
(x x0 )2 ...
1!
1!
2!
2!

f n+1 (t)
(x t)n
f n (t)
(x t)n1 +
(x t)n ] + (n + 1)Rn (x)
n!
n!
(x x0 )n+1

Simplicando se obtiene

g 0 (t) =

(x t)n
f n+1 (t)
(x t)n + (n + 1)Rn (x)
n!
(x x0 )n+1

y nalmente, haciendo g 0 () = 0 resulta

g 0 () =

f n+1 ()
n+1
+ Rn (x)
=0
n!
(x x0 )n+1

f n+1 ()
(x x0 )n+1 .
(n + 1)!
Este teorema nos indica el error al aproximar una funcin con un nmero nito de trminos de su
de donde Rn (x) =

serie de Taylor, el ejemplo que sigue ilustra el procedimiento.

Ejemplo: Error en la aproximacin de una funcin empleando un polinomio de Maclaurin.

Hallar el polinomio de grado 5 de la funcin f (x) = ex y usar dicho polinomio para calcular una
aproximacin del nmero e.

ex = 1 + x +
5

x2
+ ...
2!

P5 (x) = 1 + x +

x2
x3
x4 x5
+
+ +
2!
3!
4! 5!

Al que consideramos una aproximacin de ex .

Para determinar la presicin utilizamos el teorema de Taylor

e1+1+

1 1
1
1
+ + +
+ R5 (1)
2 6 20 120

e 2, 716 + R5 (1)
El resto est dado por la expresin

R5 (1) =

e
(1)5+1 ; donde 0 < < 1
(5 + 1)!

R5 (1) <

3
e
<
0, 0041 ya que e < 3
6!
6!

de modo que 2, 7125 < R5 (1) < 2, 7208.

Si hubiesemos considerado una cota de 2, 73 en lugar de 3 nuestra precisin para calcular e hubiese
mejorado?

Series de Potencias

La idea de series numricas

cn se puede ampliar al permitir que sus trminos, en lugar de ser

n=0

nmeros reales, sean funcin de alguna variable , esto es cn = cn (x). Esta extensin del concepto
de serie, trae como consecuencia que ahora las sumas parciales dependen de x. Entonces, el comportamiento de las series tambin depender de la variable, y por lo tanto, la convergencia de la
serie podr ser posible para algunos valores de x y no para otros.
Utilizando los criterios de convergencia para series de nmeros reales positivos o alternados, vamos
a ocuparnos de investigar el comportamiento de un tipo particular de serie de funciones: las series
de potencias. Tambin veremos como estas series representan a una gran variedad de funciones.

Denicin 2. Se llama serie de potencias de x con coecientes a0 , a1 , ..., an , ... a cualquier

serie de la forma

an xn = a0 + a1 x + a2 x2 + ... + an xn + ...

(5)

n=0

Ahora se estudiar la convergencia de una serie de potencias cualquiera.

Se dice que la serie de potencias (5) converge en el punto x = c si la serie innita (de nmeros

P
reales)
an cn converge. En caso contrario se dice que (5) diverge.
n=0

Por lo tanto, la convergencia o divergencia de la serie depende del valor de x . Ahora bien, cmo
se puede obtener el conjunto de nmeros reales x para los que una serie de potencias converge?
Para ello se establece la siguiente denicin.
6

Denicin 3. Se llama dominio de convergencia de la serie de potencias al conjunto de valores

reales que, sustitudos en la serie, originan una serie numrica convergente.

Una serie de potencias

an xn es una funcin que est denida en su dominio de convergencia.

n=0

El valor 0 siempre pertenece al dominio de convergencia. Por qu?

P
De esta forma resulta: Dada una serie de potencias
an xn se verica una y slo una de las
n=0

siguientes proposiciones:
1. La serie converge para todo x.
2. La serie converge solamente para x = 0.

3. La serie converge absolutamente para x perteneciente al intervalo abierto (R, R) y no es

convergente para |x| > R. En los extremos del intervalo hay que estudiar la serie en cada una
de ellos, pues puede ocurrir cualquier cosa.

Ejemplo:
El dominio de convergencia de la serie

xn = 1 + x + x2 + ... + xn + ... es (1, 1) y adems para

n=0

1
.
1x
n=0

P
1
Es decir: en (1, 1) la serie
xn dene la funcin
.
1x
n=0
cualquier x en ese intervalo se verica que

xn =

Proposicin:
Sea R

el radio de convergencia de una serie de potencias

an xn . Entonces la serie es:

n=0

absolutamente convergente para x (R, R).

divergente para los x tales que |x| > R.
El intervalo (R, R) es el intervalo de convergencia de la serie.

Observaciones:
1. La proposicin nada arma sobre la convergencia de la serie en los extremos del intervalo de
convergencia.
2. El intervalo de convergencia de una serie de potencias de x es siempre un intervalo centrado
en 0.
3. El intervalo de convergencia es el mayor intervalo abierto en el que la serie es convergente.

Teorema 1: Intervalo de convergencia de una serie de potencias.

Dada

an xn una serie de potencias, sea

n=0



 an+1 
 0L
L = lm 
n
an 

(6)

Entonces se verica:
1. Si L = , la serie de potencias converge slo en x = 0.
2. Si L = 0, la serie de potencias converge para todo nmero real x.

1
la serie de potencias converge absolutamente para |x| < R (o en
L
R < x < R) y no converge para |x| > R.

3. Si 0 < L < y R =

Los extremos del intervalo, es decir en x = R , requieren un anlisis por separado .

Ejemplo: Convergencia de la serie en toda la recta real.

Demostrar que la serie

xn
P
es convergente para todo x.
n=0 n!

Si x = 0 la serie tiene una solo trmino, 1, y es convergente

por

 tanto.


1


 (n + 1)! 

 = lm 1 = 0.
Si x 6= 0 se utiliza el criterio del cociente L = lm 
 n n + 1
1
n


 n! 
Como L = 0 (R = ), la serie converge para todo x.

Ejemplo: Convergencia slo en x = 0.



 (n + 1)! 

 = lm (n + 1) = .
La serie
n! x converge para x = 0. En efecto, L = lm 
n
n!  n
n=0

Por lo tanto la serie converge slo para x = 0 .

Ejercicio:
El intervalo de convergencia de la serie de potencias
en los extremos el intervalo?

Denicin 4.

Una



2n xn
P
1 1
es ,
. Por qu? Qu ocurre
2 2
n=1 n

serie de potencias de (x x0 ) es una serie de la forma

an (x x0 )n = a0 + a1 (x x0 ) + a2 (x x0 )2 + ... + an (x x0 )n + ...

n=0

donde x0 es un nmero real jo.

Como se ha visto, si x0 = 0 se tiene una serie de potencias de x.
8

(7)

Los resultados vistos hasta el momento para series de potencias de x, peueden extenderse, sin
dicultad, para series de potencias de x x0 .

P
Luego, vemos que la serie de potencias
an (x x0 )n
n=0

1. Es absolutamente convergente para |x x0 | < R , es decir en (x0 R , x0 + R).

2. La serie es divergente para |x x0 | > R.
Es necesario estudiar por separado lo que ocurre con la convergencia en los extremos del intervalo.

Ejemplo:

Hallar el intervalo de convergencia de la serie

(x 1)n
P
n
n=0



 1 




L = lm  n + 1  = 1
1 
n 


n
Si |x 1| < 1, entonces la serie converge absolutamente si x (0, 2) y diverge si |x 1| > 1
Se analiza ahora, que sucede en los extremos del intervalo.
(1)n
P
Si x = 0, la serie que se obtiene es
que es convergente.
n
n=0
n
(1)
P
Si x = 2, la serie que corresponde es
, que es divergente .
n=0 n
xn
P
Luego la serie
converge en [0, 2)
n=0 n

Observacin:
El intervalo de convergencia de una serie de potencias de (x x0 ) es siempre un intervalo centrado
en x0 .

Derivacin e Integracin de Series de Potencias.

Consideremos la funcin f (x) denida por la serie de potencias

an (x x0 )n en su intervalo de

n=0

convergencia (x0 R , x0 + R) con R > 0, sta dene una funcin en el intervalo de convergencia

(x0 R , x0 + R). Se puede pensar en calcular la derivada f 0 (x), derivando la serie trmino a
trmino. Este procedimiento se puede continuar tantas veces como se quiera, y cada una de estas
series converge en el mismo intervalo (x0 R , x0 + R). Tambin debe notarse que una serie de
potencias puede integrarse trmino a trmino. Estos resultados se resumen en el siguiente teorema.

Teorema 2.

Si la serie f (x) =

an (x x0 )n tiene un

n=0

radio de convergancia positivo

R,

entonces f es derivable en el intervalo |x x0 | < R y al derivar trmino a trmino se obtiene la

serie de potencias de la derivada f 0 :

f 0 (x) =

an n(x x0 )n1 = a1 + 2a2 (x x0 ) + ... + an n(x x0 )n1 + ... para |x x0 | < R.

n=1

Adems, al integrar trmino a trmino se obtiene la serie de potencias para la integral de f :

f (x)dx =

an (x x0 )n dx =

an

n=0

n=0

(x x0 )n+1
+ C para |x x0 | < R.
n+1

Ejemplo:
xn
P
para todo x, de nuevo x0 = 0 y el radio de convergencia es R = .
n=0 n!
Probemos que f (x) = f 0 (x) para todo x y deduzcamos de esto que f (x) = ex .

Sea f (x) =

Como L = 0 la serie converge para todo x. De modo que la proposicin anterior nos asegura que
la funcin es derivable para todo x.


x2
x3
2x 3x2
x2
d
0
1+x+
+ ... = 0 + 1 +
+
+ ... = 1 + x +
+ ... = f (x)
f (x) =
dx
2!
3!
2!
3!
2!
Vimos que la ecuacin diferencial f 0 (x) = f (x) tiene solucin general f (x) = Cex , como f (0) = 1
resulta C = 1 y f (x) = ex .

Ejemplo:

1
, y sabiendo que el intervalo de convergencia de
1x
1
dicha serie es |x| < 1 , determinar una serie de potencias para la funcin
2 .
(1 x)
1
1
Como
2 es la derivada de la funcin f (x) = 1 x , derivamos dicha serie trmino a trmino
(1 x)
para obtener:
Partiendo de la serie geomtrica

xn para

n=0

f 0 (x) =

1
2

(1 x)

= 1 + 2x + 3x2 + 4x3 + ... + nxn1 + ... , |x| < 1

Ejemplo:
xn+1
P
= ln(1x) , para 1 < x < 1 integrando la serie de potencias adecuada.
n=0 n + 1

P
1
Si integramos trmino a trmino la serie geomtrica
xn =
en (1, 1) obtenemos
1x
n=0

Demostrar que

1
du =
1u

un du =

n=0

X


x2
x3
xn+1
1 + u + u2 + u3 + ... du = x +
+
+ ... =
2
3
n+1
n=0
para 1 < x < 1

Por otra parte tenemos que

10

1
du = ln(1 x)
1u

por lo tanto

ln(1 x) =
0

xn+1
P
1
du =
1u
n=0 n + 1

Ejercicio:
Demostrar que ln(x + 1) =

(1)

n=0

xn+1
en (1, 1).
n+1

No todas las funciones se pueden expresar como serie de potencias; aquellas funciones que cumplen
esta restriccin se llaman analticas.

Denicin 5.

Una funcin f es

analtica en el punto x0

de su dominio si f es la suma de una

serie de potencias de x x0 en algn entorno de x0 .

P
an (x x0 )n x (x0 , x + ).
Esto signica que existe algn > 0 / f (x) =
n=0

Ejemplos:
1. Todo polinomio es una funcin analtica, ya que P (x) = a0 + a1 x + a2 x2 + ... + an xn
2. La funcin f (x) =

X
1
1
es analtica en x = 0, pues ya se prob que f (x) =
=
xn .
1x
1 x n=0

3. Descomponiendo en fracciones simples, no es difcil probar que toda funcin racional es

analtica en su dominio de denicin.
4. Las funciones ex , sen(x) y cos(x), son analticas en todo punto.

Series de Taylor y Maclaurin

Ahora, en lugar de considerar hasta el n-simo trmino del polinomio de Taylor, dado por la
expresin (3), se desarrolar la funcin f por una serie de potencias.

P
Se dice que la serie de potencias
an (x x0 )n representa a la funcin f en un intervalo I si:
n=0

f (x) =

an (x x0 )n x I.

(8)

n=0

Surgen dos preguntas:

1. Existencia: Bajo qu condiciones una funcin dada tiene una representacin en serie de
potencias?
11

2. Unicidad: Si f tiene una representacin en serie de potencias, es sta nica?Cmo hallarla?

Teorema 3.

Unicidad de la representacin en serie de potencias.

Sea f una funcin innitamente derivable que tiene una representacin en serie de potencias que
converge con un radio de convergencia positivo

f (x) =

(9)

an (x x0 )n en I = (x0 R, x0 + R)

n=0

Entonces esta representacin es nica y los coecientes estn determinados por la relacin

an =

f n (x0 )
n!

para

(10)

n = 0, 1, 2, ...

Demostracin:
Dado que

f (x) = a0 + a1 (x x0 ) + a2 (x x0 )2 + ... + an (x x0 )n + ...

; f (x0 ) = a0

por el teorema de derivavin de series de potencias, las derivadas tiene representacin en series de
potencias convergentes

f 0 (x) = 1.a1 + 2a2 (x x0 ) + ... + nan (x x0 )n1 + ...

f 00 (x) = 1,2a2 + ... + n(n 1)an (x x0 )n2 + ...

f 000 (x) = 1,2,3a3 + ... + n(n 1)(n 2)an (x x0 )n3 + ...

; f 0 (x0 ) = 1.a1

; f 00 (x0 ) = 1,2.a2

; f 000 (x0 ) = 1,2,3.a3

.
.
.
Esto signica que an =
resulta

f (x) = f (x0 ) +

f (n) (x0 )
, de aqu se obtienen los coecientes de la serie de potencias y
n!

f 0 (x0 )
f 00 (x0 )
f n (x0 )
(x x0 ) +
(x x0 )2 + ... +
(x x0 )n + ...
1!
2!
n!

La forma que adoptan los coecientes de la serie de potencias, recuerda a la frmula de Taylor y
por eso esta representacin se denomina serie de Taylor de la funcin f . Este teorema muestra que
12

tal representacin en serie de potencias es nica, es decir si f tiene un representacin en serie de

potencias, sta debe coincidir con la serie de Taylor de la funcin.

Denicin 6.

Sea f una funcin innitamente derivable en un intervalo I que contiene al punto

x 0 R.
Se llama

Serie de Taylor

X
f (n) (x0 )
n=0

n!

de f en el punto x0 a la serie de potencias

(x x0 )n = f (x0 ) +

Denicin 7.

Se llama

f 0 (x0 )(x x0 ) f 00 (x0 )(x x0 )2

f (n) (x0 )(x x0 )n
+
+ ... +
+ ...
1!
2!
n!
(11)

Serie de Maclaurin

de f a la serie de Taylor en el punto x0 = 0 , es

decir:

X
f (n) (0)
n=0

n!

xn = f (0) +

f 0 (0)
f 00 (0) 2
f (n) (0) n
x+
x + ... +
x + ...
1!
2!
n!

(12)

Para estudiar la existencia, esto es, bajo que condiciones existe el desarrollo en serie de potencias
de una funcin, se considerar la funcin resto de Taylor: Rn (x) = f (x) Pn (x) donde Pn (x) es el
polinomio de Taylor de grado jo n. El desarrollo en serie de taylor existe si y slo si lm Rn (x) =
n

0 x I . El teorema siguiente expresa la relacin entre f (x), su polinomio de Taylor Pn (x) y el

trmino complementario Rn (x).

Teorema 4. Teorema de Taylor.

Sea f una funcin innitamente derivable en un intervalo

(x0 R, x0 + R). Una condicin necesaria y suciente para que la serie de Taylor

f (x) = f (x0 ) +

f 00 (x0 )
f n (x0 )
f 0 (x0 )
(x x0 ) +
(x x0 )2 + ... +
(x x0 )n + ...
1!
2!
n!

(13)

represente la funcin f en ese intervalo es que

lm Rn (x) = 0

donde Rn (x) =

f n+1 ()
(x x0 )n+1 y comprendido entre x0 y x.
(n + 1)!

Demostracin:
Slo es necesario recordar la frmula de Taylor y considerar que lm Rn (x) = 0. Entonces pasando
n

la frmula f (x) = Pn (x) + Rn (x) al lmite, cuando n ,se obtiene a la derecha la serie de Taylor
13

de la funcin f (x). Cuando se aplica el teorema anterior, no hay que esperar hallar el valor de .
Si se pudiera calcular no sera necesaria la aproximacin de f por su serie de Taylor. En muchos
casos se puede determinar una cota superior para |Rn (x)| en un intervalo abierto.
Hay varias posibilidades:
1. La serie de Taylor puede converger hacia f en el intervalo R < x x0 < R.
2. La serie de Taylor puede converger hacia f solamente en x = x0 , en cuyo caso no representa
a f en un entorno de x0 .
3. La serie de Taylor de f puede tener un radio de convergencia positivo, pero puede converger
a una funcin g dsitinta de f en el intervalo R < x x0 < R.

Ejemplo:
Pruebe que la serie de MacLaurin para f (x) = sen(x) representa a f (x) x. Dado que:

f (x) = sen(x) ;

f (0) = 0

f (x) = cos(x) ;
f 00 (x) = sen(x) ;

f 0 (0) = 1
f 00 (0) = 0

f 000 (x) = cos(x) ; f 000 (0) = 1; y as sucesivamente, se tiene:

f n+1 () n+1
x3 x5
(x)
=
sen(x) = x + ..., que resulta vlido si podemos demostrar que lm Rn (x) = lm
n
n (n + 1)!
3! 5!
0, con comprendido entre 0 y x.
 n+1 
 n+1 
 n+1 
 x





.
Como f
() = |cos()| o f
() = |sen()|, resulta |Rn (x)| 
(n + 1)! 
xn+1
Y dado que lm
= 0, por tratarse del lmite del trmino general de la serie convergente
n (n + 1)!
n
x
P
, resulta lm Rn (x) = 0.
n
n=0 n!

Ejemplo: Serie de Maclaurin que representa a la funcin en un nico punto.

Sea f innitamante derivable en x = 0 y f (n) (0) = 0 , n.
Luego el desarrollo de Maclaurin es

0
0
0
0 + x + x2 + x3 + ... = 0
1
2!
3!
Esta serie converge a la funcin f (x) = 0, x y as representa a f (x) solamente en x = 0.

Ejemplo:

El hecho de que sea posible escribir la serie de Taylor de una funcin en un punto no

garantiza que la funcin sea la suma de esa serie en el intervalo de convergencia de esta.

e x12
x 6= 0
La funcin f (x) =
es innitamente derivable en R {0}.
0
x=0
Se puede mostrar que las derivadas de cualquier orden en x = 0 existen y son nulas.
La serie de Maclaurin de esta funcin se anula pero la funcin slo se anula en x = 0 y por lo
tanto no es igual a la suma de su serie de Maclaurin en una vecindad de x = 0. Esto demuestra
14

que puede existir una serie de Maclaurin y que an as sta no represente a la funcin dada. En
este caso, el trmino complementario Rn (x) no tiende a 0 cuando n .

Ejercicio: Comprobar que los siguientes desarrollos son vlidos

sen(x) = x

2n+1

P
x3
x5
(1)n 2n+1
n x
+
+ ... + (1)
+ ... =
x
, converge para todo x
3!
5!
(2n + 1)!
n=0 (2n + 1)!

cos(x) = 1
ex = 1 + x +

2n
(1)n
P
x2
x4
n x
+
+ ... + (1)
+ ... =
x2n , converge para todo x
2!
4!
(2n)!
(2n)!
n=0

xn
P
x2 x3
x4
xn
+ +
+ ... +
+ ... =
, converge para todo x. En particular resulta:
2! 3!
4!
n!
n=0 n!
1
P
e=
n=0 n!

Ejemplo:

P
1
en una serie de Maclaurin es
xn = 1 + x + x2 + ... + xn + ..., x
1x
n=0
(1, 1) . De esta frmula y aplicando el teorema de derivacin trmino a trmino de una serie de
1
potencias, halle una representacin en serie para f (x) =
.
(1 x)2

El desarrollo de f (x) =

Ejemplo:
Desarrollo de f (x) = ln(x + 1) en una serie de Maclaurin es

n+1

(1)n xn+1 , x (1, 1). Por

n=0

integracin de la funcin del ejemplo anterior y aplicando el teorema de integracin de una serie
de potencias, se puede determinar la serie para ln(1 x), luego permutar x por x y obtener el
desarrollo de ln(x + 1). Complete estas ideas.

Ejemplo:
xn
P
x2 x3
x4
xn
+ +
+ ... +
+ ... =
, converge para todo x. Aplique
2! 3!
4!
n!
n=0 n!
xn
el criterio del cociente para obtener el intervalo de convergencia. De aqu se deduce que lm
=0
n n!
, ya que se trata del limite del trmino n-simo de una serie convergente.

El desarrollo de ex = 1 + x +

Ejemplo:
La serie de Maclaurin de f (x) = sen(x) es

sen(x) = x

2n+1

P
x3
x5
(1)n 2n+1
n x
+
+ ... + (1)
+ ... =
x
, converge para todo x
3!
5!
(2n + 1)!
n=0 (2n + 1)!

Mostrar que representa a la funcin para toda x.

f n+1 ()
(x x0 )n+1 .
n (n + 1)!

Se debe mostrar que tiene que lm Rn (x) = lm

n

Ahora bien, | f n+1 (x) |=| cos(x) | o | f n+1 (x) |=| sen(x) | y por lo tanto | Rn (x) |

xn
= 0. Concluimos que lm Rn (x) = 0.
n n!
n
15

del ejercicio anterior lm

| x |n+1
, pero
(n + 1)!

Aplicacin de las series de potencias al clculo de primitivas.

Muchas funciones son primitivas pero no pueden calcularse mediante operaciones inmediatas, por
partes o sustitucin.
Se dice que la funcin f es elemental si puede obtenerse mediante un nmero nito de operaciones
de adicin, sustraccin, divisin y composicin, a partir de funciones polinmicas, exponenciales,
logartmicas y trigonomtricas, directas o inversas.
2

La funcin ex es una funcin elemental.

Se puede probar que su primitiva no es elemental, pero que no puede obtenerse por los mtodos
citados, a partir de funciones elementales.
Recurriendo al clculo de primitivas de series de potencias y usando el desarrollo en serie ex =
n
P
x , se concluye que:
n!
n=0

ex dx =

2n+1
(1)n x
+C
(2n+1)n!
n=0

Ejemplo:

y 0 = ex2
Resolver
, empleando la integral denida y el desarrollo en serie de potencias de una
y(1) = 1
funcin.

x2

Separando variables obtenemos dy = e dx, e integrando entre x = 1 y x, resulta

x=1

Empleando el desarrollo en serie de potencias de e , obtenemos e

x

y nalmente integrando se obtiene

t2

et dt.

dy =
x=1

t4
t2 t3
= 1 + t + + + + ...
2! 3! 4!


t4
t2 t3
+ + + ... dt ;
2! 3! 4!
x=1

x 
t2 t3
t4
y(x) =
1 + t + + + + ... dt 1.
2! 3! 4!
x=1

y(x) y(1) =

1+t+

Bibliografa.
1. Piskunov, N. Clculo Diferencial e Integral. Tomo I y Tomo II. Limusa. 1982.
2. Nagle, k.  Sa, E.  Snider, A. Fundamentos de las Ecuaciones Diferenciales. Addison Wesley.
2008.
3. Edwards, C.  Penney, D. Dierential Equations and Boundary Value Problems, Computing
and Modeling. Prentice Hall. 2007.
4. Purcell , E. - Varberg, D. Clculo con Geometra Analtica, Prentice Hall. 2006.

16