Serie de Taylor y Maclaurin

Ing. Antonio Crivillero

Serie de Taylor y Maclaurin
Qu funciones tienen representacin
en serie de potencias?
Cmo podemos encontrar esas
representaciones?
Suponiendo que f es cualquier funcin representable mediante una serie de
potencias:
x f = ) (
Serie de Taylor y Maclaurin
0
) ( c a f =
+ ) (
1
a x c
+
0
c
+
2
2
) ( a x c +
3
3
) ( a x c ... ) (
4
4
+ a x c
R a x <
x f = ) ( '
1
) ( ' c a f =
+ ) ( 2
2
a x c +
1
c +
2
3
) ( 3 a x c ... ) ( 4
3
4
+ a x c R a x <
x f = ) ( ' '
2
2 ) ( ' ' c a f =
R a x <
+
2
2c
+ ) ( 3 2
3
a x c ... ) ( 4 3
2
4
+ a x c
x f = ) ( ' ' '
3 3
! 3 3 2 ) ( ' ' ' c c a f = =
R a x <
!
) (
) (
n
a f
c
n
n
=
n n
n
c n nc a f ! ... 4 3 2 ) (
) (
= =
+
3
3 2 c + ) ( 4 3 2
4
a x c ... ) ( 5 4 3
2
5
+ a x c
Serie de Taylor y Maclaurin
Serie de Taylor y Maclaurin
!
) (
) (
n
a f
c
n
n
=
R a x <

=
=
0
) ( ) (
n
n
n
a x c x f
Teorema: Si f tiene una representacin (desarrollo) en forma de serie de
potencias en a, esto es, si
Los coeficientes estn expresados por la frmula
Serie de Taylor y Maclaurin
+ = ) (a f

=
=
0
) (
) (
!
) (
) (
n
n
n
a x
n
a f
x f
+ ) (
! 1
) ( '
a x
a f
+
2
) (
! 2
) ( ' '
a x
a f
... ) (
! 3
) ( ' ' '
3
+ a x
a f
+ ) 0 ( f

=
= =
0
) (
!
) 0 (
) (
n
n
n
x
n
f
x f
+ x
f
! 1
) 0 ( '
...
! 2
) 0 ( ' '
2
+ x
f
Serie de Taylor y Maclaurin
EJ EMPLO 1 Determina la serie de Maclaurin de la funcin f(x) =e
x
y su
radio de convergencia
1 ) 0 (
0
= = e f
n
SOLUCI N Si f(x) = e
x
, de modo que para toda n.
En consecuencia, la serie de Taylor de f en 0 (esto es, la serie de Maclaurin) es

=
=
0
) (
!
) 0 (
n
n
n
x
n
f
...
! 3 ! 2 ! 1
1
3 2
+ + + +
x x x

=
=
0
!
n
n
n
x
Para hallar el radio de convergencia, sea . Entonces
1 0
1
!
)! 1 (
1
1
<
+
=
+
=
+
+
n
x
x
n
n
x
a
a
n
n
n
n
! / n x a
n
n
=
De modo que, de acuerdo con la prueba de la razn, la serie converge
para toda x y el radio de convergencia = R
Serie de Taylor y Maclaurin
La conclusin a la que llegamos con el teorema 5 y el ejemplo 1 es que en
caso de que e
x
tenga un desarrollo como serie potencias en 0, entonces

=
=
0
!
n
n
x
n
x
e
As pues, cmo determinar si acaso e
x
posee una representacin en forma de
serie de potencias?
Investigaremos la pregunta ms general: en qu circunstancias una
funcin es igual a la suma de su serie de Taylor? En otras palabras,
si f tiene derivadas de todos los rdenes, cundo se cumple?

=
=
0
) (
) (
!
) (
) (
n
n
n
a x
n
a f
x f
Serie de Taylor y Maclaurin
Al igual que con cualquier serie convergente, esto significa que f(x) es el lmite de
la sucesin de sumas parciales. En el caso de las series de Taylor, tenemos que
las sumas son

=
=
n
i
i
i
n
a x
i
a f
x T
0
) (
) (
!
) (
) (
+ = ) (a f
+ ) (
! 1
) ( '
a x
a f
+
2
) (
! 2
) ( ' '
a x
a f
n
n
a x
n
a f
) (
!
) (
... +
Observar que T
n
es un polinomio de grado n llamado polinomio de Taylor
de grado n-simo, de f en a. Por ejemplo, la funcin exponencial f(x)= e
x
,
resultado del ejemplo 1, indica que sus primeros tres polinomios de Taylor en 0
(o sus polinomios de Maclaurin) con n = 1,2 y 3 son
Serie de Taylor y Maclaurin
x x T + =1 ) (
1
! 3 ! 2
1 ) (
3 2
3
x x
x x T + + + =
! 2
1 ) (
2
2
x
x x T + + =
) (
1
x T y =
) (
2
x T y =
) (
3
x T y =
x
e y =
Serie de Taylor y Maclaurin
En la figura 1 se trazan las grficas de la funcin exponencial y de estos tres
polinomios de Taylor.
) ( ) ( x T Lim x f
n
n
=
En general, f(x) es la suma de la serie de Taylor si
) ( ) ( ) ( x T x f x R
n n
=
Si ponemos
) ( ) ( ) ( x R x T x f
n n
+ =
y
0 ) ( =

x R Lim
n
n
entonces se llama residuo de la serie de Taylor. Si pudiramos
demostrar que entonces se desprendera
) (x R
n
=

) ( x T Lim
n
n
) ( ) ( ) ( x f x R Lim x f
n
n
=

| |=

) ( ) ( x R x f Lim
n
n
Serie de Taylor y Maclaurin
Hemos demostrado el teorema que sigue.
R a x < Cuando , entonces f es igual a la suma de su serie de
Taylor en el intervalo
Teorema: Si f (x) = T
n
(x) + R
n
(x), donde T
n
es el polinomio de Taylor de
n-simo grado de f en a y
0 ) ( =

x R Lim
n
n
. R a x <
Desigualdad de Taylor: Si para , entonces el
residuo R
n
(x) de la serie de Taylor satisface la desigualdad
d a x s
1
)! 1 (
) (
+

+
s
n
n
a x
n
M
x R
M x f
n
s
+
) (
) 1 (
d a x s para
Serie de Taylor y Maclaurin
Demostracin
M x f
n
s ) (
Para ver por qu es verdadero lo anterior en el n = 1, suponemos que .
En particular se tiene , de manera que para tenemos d x x a + s s
} }
s
x
a
x
a
n
dt M dt t f ) (
M x f s ) ( ' '
Una antiderivada de f es f , de manera que en virtud de la parte 2 del teorema
fundamental del clculo, tenemos
) ( ) ( ' ) ( ' a x M a f x f s ) ( ) ( ' ) ( ' a x M a f x f + s o
| |
} }
+ s
x
a
x
a
dt a t M a f dt t f ) ( ) ( ' ) ( ' Luego
Serie de Taylor y Maclaurin
2
) (
) )( ( ' ) ( ) (
2
a x
M a x a f a f x f

+ s
2
) (
2
) )( ( ' ) ( ) ( a x
M
a x a f a f x f s
que As ). )( ( ' ) ( ) ( ) ( ) ( ) ( Pero
1 1
a x a f a f x f x T x f x R = =
2
1
) (
2
) ( a x
M
x R s
Por un razonamiento semejante con , se obtiene
M x f > ) ( ' '
Luego
2
1
) (
2
) ( a x
M
x R >
2
1
2
) ( a x
M
x R s
Serie de Taylor y Maclaurin
EJ EMPLO 2 Escriba la serie de Maclaurin de sen x y demuestre que
representa sen x para toda x.
SOLUCI N Ordenamos nuestros clculos en dos columnas:
x sen x f ) ( =
x sen x f ) ( ' ' =
x x f cos ) ( ' =
0 ) 0 ( = f
x x f cos ) ( ' ' ' =
x sen x f ) (
) 4 (
=
0 ) 0 ( ' ' = f
1 ) 0 ( ' = f
1 ) 0 ( ' ' ' = f
0 ) 0 (
) 4 (
= f
Serie de Taylor y Maclaurin
En vista de que las derivadas se repiten en ciclos de cuatro, podemos escribir la
serie de Maclaurin de esta manera:
+ ) 0 ( f
+ x
f
! 1
) 0 ( '
+
2
! 2
) 0 ( ' '
x
f
...
! 3
) 0 ( ' ' '
3
+ x
f
)! 1 2 (
) 1 (
1 2
0
+
=
+

n
x
n
n
n
...
! 7 ! 5 ! 3
7 5 3
= + + =
x x x
x
Ya que ,sabemos que para toda x.
De modo que podemos tomar M = 1 en la desigualdad de Taylor:
s ) (x R
n
=
+
+1
)! 1 (
n
x
n
M
)! 1 (
1
+
+
n
x
n
x x sen x f
n
cos o es ) (
) 1 (

+
1 ) (
) 1 (
s
+
x f
n
Serie de Taylor y Maclaurin
Por la ecuacin 10 el lado derecho de esta desigualdad se acerca a 0 cuando
n, de manera que |R
n
(x)| 0 por el teorema del emparedado, se sigue
que R
n
(x) 0 cuando n, de modo que sen x es igual a la suma de su
serie de Maclaurin, por el teorema 8.
Para referencias futuras enunciamos el resultado del ejemplo 4.
x
n
x
n
n
n
toda para
)! 1 2 (
) 1 (
1 2
0
+
=
+

...
! 7 ! 5 ! 3
7 5 3
+ + =
x x x
x x sen
Serie de Taylor y Maclaurin
EJ EMPLO 3 (a) Cul es el mximo error posible al emplear la
aproximacin
SOLUCI N a) Observar que la serie de Maclaurin
...
! 7 ! 5 ! 3
7 5 3
+ + + =
x x x
x x sen
3 . 0 3 . 0 s s x
Cuando ? Use esta aproximacin a fin de calcular sen 12,
con seis decimales
(b) Para qu valores de x esta aproximacin tiene una exactitud de 0.00005?
! 5 ! 3
5 3
x x
x x sen + ~
Es alternante para todos los valores de x, distintos de cero, de modo que podemos
aplicar el teorema de estimacin de series alternantes. El error cometido al
aproximar sen x mediante los tres primeros trminos de la serie de Maclaurin
es, cuando mucho
Serie de Taylor y Maclaurin
3 . 0 3 . 0 s s x
Si , entonces , modo que el error es menor que
5040 ! 7
7
7
x
x
+
3 . 0 s x
8
7
10 3 . 4
5040
) 3 . 0 (

~
Para calcular sen 12, primero convertirnos a radiantes:
|
.
|

\
|
=
|
.
|

\
|
=
15 180
12
12
t t
sen sen sen
20791169 . 0 ~
! 5
1
15 ! 3
1
15 15
5 3
|
.
|

\
|
+
|
.
|

\
|
~
t t t
Serie de Taylor y Maclaurin
Por consiguiente, , con cinco decimales.
00005 . 0
5040
7
<
x
(b) El error ser menor que 0.00005 si
207912 . 0 12 ~ sen
821 . 0 ) 252 . 0 ( o 252 . 0
7 / 1
7
~ < < x x
Al despejar x, de esta desigualdad, obtenemos
De suerte que la aproximacin dada posee una precisin de 0.00005
cuando |x| < 0.82 .
Serie de Taylor y Maclaurin
Y si hubiramos empleado la desigualdad de Taylor para resolver el ejemplo 3?
Dado que f
(7)
(x)= -cos x, tenemos y luego 1 ) (
) 7 (
s x f
De modo que se obtienen las mismas estimaciones que con el teorema de
estimacin de series alternantes.
7
6
! 7
1
) ( x x R s
Y si recurrimos a mtodos grficos? En la figura 4 se exhibe la grfica de
|
.
|

\
|
+ =
5 3
6
120
1
6
1
) ( x x x x sen x R
Y ah se muestra que cuando . Es la misma estimacin que
obtuvimos en el ejemplo 3. Para la parte (b) deseamos que , de
modo que graficamos y (figura 5) . Al poner el cursor en la
interseccin de la derecha, la desigualdad se satisface cuando . Es la misma
estimacin obtenida en la solucin del ejemplo 3.
Serie de Taylor y Maclaurin
3 . 0 s x
8
6
10 3 . 4 ) (

< x R
) (
6
x R y =
00005 . 0 ) (
6
< x R
82 . 0 < x
00005 . 0 = y
8
10 3 . 4

) (
6
x R y =
3 . 0
3 . 0
0
00006 . 0
) (
6
x R y =
1 1
0
00005 . 0 = y
Serie de Taylor y Maclaurin
Si en el ejemplo 3 se nos hubiera pedido aproximar sen 72 en lugar de sen 12,
habra sido ms adecuado usar los polinomios de Taylor en en lugar de
, ya que son mejores aproximaciones a los valores de sen x cuando x est
prxima a . Observe que 72 es prximo a 60, o radianes, y que es
fcil calcular las derivadas de sen x en .
3 / t = a
0 = a
3 / t 3 / t
3 / t
Serie de Taylor y Maclaurin
La Figura 6 representa la grficas de las aproximaciones con polinomios de Taylor
A la senoide. Puede
ver que, al aumentar
n, T
n
(x) es buena
aproximacin a
sen x en un intervalo
cada vez mayor.
! 7 ! 5 ! 3
) (
7 5 3
7
x x x
x x T + =
x x T = ) (
1
! 3
) (
3
3
x
x x T =
! 5 ! 3
) (
5 3
5
x x
x x T + =
) (x sen y =
1
T
3
T
5
T
7
T
Serie de Taylor y Maclaurin
Uno de los empleos de este tipo de clculos, como los de los ejemplos anteriores,
se presenta en las calculadoras y computadoras; por ejemplo, cuando se oprime
la tecla sen o e
x
en la calculadora, o cuando un programador emplea una
subrutina para definir una funcin trigonomtrica, exponencial o de Bessel, el
clculo en muchas mquinas es una aproximacin polinomial. A menudo, se trata
de un polinomio de Taylor modificado para repartir el error con ms uniformidad
en un intervalo.
Serie de Taylor y Maclaurin
EJ EMPLO 4 En la teora especial de la relatividad de Einstein, la masa de
un objeto se mueve a la velocidad v es
En donde m
0
es la masa del objeto cuando est en reposo y c es la velocidad de
la luz. La energa cintica del objeto es la diferencia entre su energa total y
su energa en reposo:
2 2
0
/ 1 c v
m
m

=
2
0
2
c m mc K =
2
0
) 2 / 1 ( v m K =
(a) Demuestre que cuando v es muy pequea, en comparacin con c, la ecuacin
para calcular K concuerda con la que se obtiene en la fsica clsica
newtoniana:
(b) Emplee la desigualdad de Taylor a fin de estimar la diferencia entre estas
expresiones para calcular K cuando |v| 100 m/s.
SOLUCI N (a) Con las expresiones dadas para K y m, obtenemos
2
0
2 2
2
0
2
0
2
/ 1
c m
c v
c m
c m mc K

= =
Serie de Taylor y Maclaurin
(
(

|
|
.
|

\
|
=

1 1
2 / 1
2
2
2
0
c
v
c m
Con , la serie de Maclaurin de (1+x)
1/2
se calcula con ms facilidad
como una serie binomial con k= -1/2. (Mientras que |x|<1 porque v < c.) Por
consiguiente
2 2
/ c v x =
...
! 3
) 2 / 5 )( 3 / 2 )( 2 / 1 (
! 2
) 3 / 2 )( 2 / 1 (
) 2 / 1 ( 1 ) 1 (
3 2 2 / 1
+

+

+ = +

x x x x
... ) 16 / 5 ( ) 8 / 3 ( ) 2 / 1 ( 1
3 2
+ + = x x x
Serie de Taylor y Maclaurin
Si v es mucho menor que c, todos los trminos despus del primero son muy
pequeo en comparacin con el primero. Si los omitimos, llegamos a
(

|
|
.
|

\
|
+ + + + = 1 ...
16
5
8
3
2
1
1 y
6
6
4
4
2
2
2
0
c
v
c
v
c
v
c m K
|
|
.
|

\
|
+ + + = ...
16
5
8
3
2
1
6
6
4
4
2
2
2
0
c
v
c
v
c
v
c m
2
0
2
2
2
0
) 2 / 1 (
2
1
v m
c
v
c m K =
|
|
.
|

\
|
~
(b) Si , y M es un nmero tal que
, entonces por la desigualdad de Taylor podemos escribir
( ) | | 1 1 ) ( , /
2 / 1
2
0
2 2
+ = =

x c m x f c v x
M x f s ) ( ' '
2
1
! 2
) ( x
M
x R s
Serie de Taylor y Maclaurin
Como y se tiene , tenemos m/s 100 s v
2 / 5 2
0
) 1 (
4
3
) ( ' '

+ = x c m x f
) (
) / 100 1 ( 4
3
) / 1 ( 4
3
) ( ' '
2 / 5 2 2
2
0
2 / 5 2 2
2
0
M
c
c m
c v
c m
x f =

=
Ahora, con , / 10 3
8
s m c =
( )
0
10
4
4
2 / 5 2 2
2
0
1
10 17 . 4
100
) / 100 1 ( 4
3
2
1
) ( m
c c
c m
x R

<

s
( ) . 10 2 . 4
0
10
m

As cuando , la magnitud del error cometido al usar la expresin

de Newton para la energa cintica es, cuando mucho
s m c / 10 3
8
=