You are on page 1of 8

1

TEMA III. DERIVACIN DE FUNCIONES DE UNA VARIABLE


III.4 DESARROLLOS LIMITADOS Y FRMULA DE TAYLOR
(APROXIMACIN POLINMICA DE FUNCIONES
ELEMENTALES)
Desarrollos limitados y Frmula de Taylor (aproximacin polinmica de funciones
elementales)
Una funcin ( ) f x que sea n veces derivable en x a = se puede aproximar por
un cierto polinomio, ( )
n
P x en un entorno del puntoa .
Seaf una funcin real definida en un entorno deae, se dice que
( ) ( ) ( )
n n
f x P x R x = + es un desarrollo limitado de ordenne de f en a si:
1. ( )
n
P x es un polinomio de grado n
, 0 1
( ) ( ) ... ( )
n
n n
P x c c x a c x a = + + +
2.
( )
lim 0
( )
n
n
x a
R x
x a



- Polinomio de Taylor

Si ( ) f x esn veces derivable en x a =
,
el polinomio

)
2
( ) ( ) ( )
( ) ( ) ( ) ( ) ... ( )
1! 2! !
n
n
n
f a f a f a
P x f a x a x a x a
n
' ''
= + + + +
Se llama el n -simo polinomio de Taylor centrado en a
.


- Polinomio de MacLaurin

Los desarrollos limitados de Taylor en 0 a = se les conoce como desarrollos de
MacLaurin, es decir
)
2
(0) (0) (0)
( ) (0) ...
1! 2! !
n
n
n
f f f
P x f x x x
n
' ''
= + + + +

- Teorema de Taylor

Si ( ) f x una funcin real es derivable hasta el orden ( 1 n+ )en un intervalo I y
a I e , entonces para cada x I e existe un z entre x y a tal que
)
2
( ) ( ) ( )
( ) ( ) ( ) ( ) ... ( ) ( )
1! 2! !
n
n
n
f a f a f a
f x f a x a x a x a R x
n
' ''
= + + + + + , con
1)
1
( )
( ) ( )
( 1)!
n
n
n
f z
R x x a
n
+
+
=
+
, donde ( , ) z a x e

2

- Estimacin de errores: trmino complementario (forma de Lagrange)
Para medir la precisin al aproximar ( ) f x por el polinomio ( )
n
P x

se utiliza el
concepto de resto, ( )
n
R x definido por ( ) ( ) ( )
n n
R x f x P x = . Este trmino
expresado en la forma de Lagrange viene dado por
1)
1
( )
( ) ( )
( 1)!
n
n
n
f z
R x x a
n
+
+
=
+
donde
( ) , z a x e .
Se llama error de la aproximacin al valor absoluto de ( )
n
R x . Es decir
error ( ) ( ) ( )
n n
R x f x P x = =

- Clculo prctico de desarrollos limitados:
Si
1
( ) f x y
2
( ) f x admiten desarrollos limitados de orden n de MacLaurin
(
( )
1n
P x y
( )
2n
P x respectivamente), entonces tambin lo admiten las funciones:
-
1 1 2 2
( ) ( ) ( ) ( )
n
n n
h f x h f x p x R x + = + , donde
( )
n
p x es el polinomio
1 1 2 2
( ) ( )
n n
h p x h p x +
.
-
1 2
( ) ( ) ( ) ( )
n
n n
f x f x p x R x = + , donde ( )
n
p x es el polinomio que se
obtiene de prescindir de los polinomios de grado mayor que n en el
producto
-
1 2
( ) / ( ) ( ) ( )
n
n n
f x f x p x R x = + , donde ( )
n
p x es el cociente de dividir
hasta el trmino de grado 0 n >
Funcin compuesta.
Si ( ) g y y ( ) f x admiten desarrollos de orden n (
2
( ) p x y
1
( ) p x

) respectivamente

y (0) 0 f = , entonces
( ) ( ) ( ) ( )
n
n n
g f x p x R x = + , donde
( )
n
p x es el polinomio que se obtiene al prescindir en el
( )
2 1
( ) p p x de los
trminos de grado mayor que n .






3

- Ejemplos de desarrollos limitados.
2
1
1 ... ( )
1! 2! !
n
x n
n
x x x
e R x
n
+
= + + + + +
2 3
1 1
ln(1 ) ... ( 1) ( )
2 3
n
n n
n
x x x
x x R x
n
+
+ = + + + (para 1 x > )
3 5 2 1
1 2
... ( 1) ( )
3! 5! (2 1)!
n
n n
n
x x x
sen x x R x
n

= + + +

( xe)
2 4 2
2 1
cos 1 ... ( 1) ( )
2! 4! (2 )!
n
n n
n
x x x
x R x
n
+
= + + + ( xe)
2
1
1
0
(1 ) 1 ( 1) ... ( 1)...( 1) ( )
1! 2! !
( 1)...( 1)
1 ( )
!
n
n
n
n
k n
n
k
x x x
x n R x
n
k
x R x
k
o
o o o o o o
o o o
+
+
=
+ = + + + + + + =
+
= + +


3 5 2 1
2 2
senh ... ( )
3! 5! (2 1)!
n
n
n
x x x
x x R x
n
+
+
= + + + + +
+

2 4 2
2 1
cosh 1 ... ( )
2! 4! (2 )!
n
n
n
x x x
x R x
n
+
= + + + + +
3 2 1
2
... ( )
3! (2 1)!
n
n
n
x x
arc sen x x R x
n

= + + + +


3 5 2 1
2
... ( 1) ( )
3 5 (2 1)
n
n n
n
x x x
arc tg x x R x
n

= + + +





- EJ EMPL
Hallar lo
en 1 c = .
Solucin
f
f
f
f
f
Por tanto
0
( ) P x f =
1
( ) P x P =
2
( ) P x P =
3
( ) P x P =
4
( ) P x P =
La figur
grficas
LO 1
os polinomi
.
n:
'
''
'''
3
(4)
( ) ln
1
( )
1
( )
2!
( )
( )
f x x
f x
x
f x
x
f x
x
f x
=
=
=
=
=
o, los polino
(1) 0 f =
'
0
( ) (1) P x f +
''
1
(1
( )
2!
f
P x +
'''
2
(1
( )
3!
f
P x +
(4)
3
( )
4!
f
P x +
ra compara
son prctica
ios de Taylo
2
4
1
3!
x
omios de Ta
)( 1) ( x x =
2
)
( 1) ( x =
3
1)
( 1) x =
4
(1)
( 1)
!
x =
sus grfica
amente indi
4
or
0 1
, , P P P
'
''
'''
(4)
(1)
(1)
(1)
(1)
(
f
f
f
f
f
aylor pedido
1)
1
( 1) (
2
x x
1
( 1) (
2
x x
1
( 1)
2
x =
as con la d
istinguibles
2 3
, P P y
4
P
) 0
) 1
) 1
) 2
(1) 6
=
=
=
=
=

os son:
2
1) x
2
1
1) (
3
x x +
2
1
( 1)
3
x +
de f . Nte
.
para ( ) f x =
3
1) x
3
1
( 1) (
4
x
ese que cer
lnx = , cent
4
( 1) x
rca de x =
trados
1 las

5

- EJ EMPLO 2

Hallar los polinomios de MacLaurin
0 2 4
, , P P P y
6
P para ( ) cos f x x = . Usar
6
P
para aproximar el valor de cos(0,1) .
Solucin:
' '
'' ''
''' '''
( ) cos (0) 1
( ) sen (0) 0
( ) cos (0) 1
( ) sen (0) 0
f x x f
f x x f
f x x f
f x x f
= =
= =
= =
= =

Por derivaciones sucesivas se puede ver que el esquema 1, 0, 1, 0 se repite, de
modo que los polinomios de MacLaurin pedidos son:
0
( ) (0) 1 P x f = =
''
' 2 2
2 0
(0) 1
( ) ( ) (0) 1
2! 2!
f
P x P x f x x x = + + =
''' (4)
3 4 2 4
4 2
(0) (0) 1 1
( ) ( ) 1
3! 4! 2! 4!
f f
P x P x x x x x = + + = +
(5) (6)
5 6 2 4 6
6 4
(0) (0) 1 1 1
( ) ( ) 1
5! 6! 2! 4! 6!
f f
P x P x x x x x x = + + = +
Usando
6
(0.1) P obtenemos como aproximacin de cos(0,1) 0,995004165 ~ que
coincide con el valor que da la calculadora hasta el noveno decimal.

- EJ EMPLO 3
Hallar el tercer polinomio de Taylor para ( ) sen f x x = , centrado en / 6 c t = .
Solucin:
' '
'' ''
''' '''
1
( ) sen (0)
2
3
( ) cos (0)
2
1
( ) sen (0)
2
3
( ) cos (0)
2
f x x f
f x x f
f x x f
f x x f
= =
= =
= =
= =


6

As pues, el tercer polinomio de Taylor para ( ) sen f x x = , centrado en
/ 6 c t = , es
'' '''
2 3
'
3
2 3
6 6
( )
6 6 6 2! 6 3! 6
1 3 1 3
2 2 6 2 2! 6 2 3! 6
f f
P x f f x x x
x x x
t t
t t t t t
t t t
| | | |
| |
| | | || | | | | |
\ . \ .
= + + +
| | | | |
\ . \ .\ . \ . \ .
| | | | | |
= +
| | |

\ . \ . \ .

Para aproximar el valor de una funcin en un punto especfico se pueden usar
polinomios de Taylor o de MacLaurin.

- EJ EMPLO
Aproximar, usando el polinomio de grado cuatro de MacLaurin, el valor de
ln(1,1).
Solucin: Como 1,1 est ms cerca de 1 que de 0, se consideran polinomios de
MacLaurin para la funcin ( ) ln(1 ) g x x = +
' 1 '
'' 2 ''
''' 3 '''
(4) 4 '''
( ) ln(1 ) (0) 0
( ) (1 ) (0) 1
( ) (1 ) (0) 1
( ) 2(1 ) (0) 2
( ) 6(1 ) (0) 6
g x x g
g x x g
g x x g
g x x g
g x x g

= + =
= + =
= + =
= + =
= + =

Por tanto, el polinomio de grado cuatro de MacLaurin para ( ) ln(1 ) g x x = + es
'' ''' (4)
' 2 3 4
4
2 3 4
(0) (0) (0)
( ) (0) (0)
2! 3! 4!
1 1 1
2 3 4
g g g
P x g g x x x x
x x x x
= + + + +
= +

En consecuencia
4
2 3 4
ln (1,1) ln(1 0,1) (0,1)
1 1 1
(0,1) (0,1) (0,1) (0,1)
2 3 4
0,0953083.
P = + ~
= +
~

Se puede comprobar que el polinomio de grado cuatro de Taylor centrado en 1,
evaluado en 1,1 x = , da el mismo resultado.

7

- Demostracin del Teorema de Taylor
Si una funcin f es derivable hasta el orden ( 1) n + en un intervalo I
conteniendo a c , entonces para cada x de I existe un z entre x y c tal que
'' ( )
' 2
( ) ( )
( ) ( ) ( )( ) ( ) ... ( )
2! !
n
n
f c f c
f x f c f c x c x c R x
n
= + + + + +
donde
( 1)
1
( )
( ) ( )
( 1)!
n
n
n
f z
R x x c
n
+
+
=
+

Demostracin: Para hallar ( )
n
R x se fija x en ( ) I x c =
( ) ( ) ( )
n n
R x f x P x =
y se tiene en cuenta que donde ( )
n
P x es el n-simo polinomio de Taylor para
( ) f x . Sea
( ) 1
'
1
( ) ( )
( ) ( ) ( ) ( )( ) ... ( ) ( )
! ( )
n n
n
n n
f t x t
g t f x f t f t x t x t R x
n x c
+
+


La razn de definir esta g es que su derivada respecto de t tiene telescpico. De
hecho
' ' ' '' ''
( ) ( )( ) ( ) ( ) ( )( ) ( )( )
d
f t f t x t f t f t f t x t f t x t
dt
( = + =



De manera que la derivada ( ) g t ' se simplifica a
( 1)
1
( ) ( )
'( ) ( ) ( 1) ( )
! ( )
n n
n
n n
f t x t
g t x t n R x
n x c
+
+

= + +


para todo t entre c y x . Adems, para un x fijado,
| |
( ) ( ) ( ) ( ) ( ) ( ) 0
( ) ( ) ( ) 0 ... 0 ( ) ( ) 0
n n
g c f x P x R x f x f x
g x f x f x f x f x
= + = =
= = =

Por tanto, g satisface las condiciones del teorema de Rolle, y se sigue que existe
un nmero z entre c y x tal que '( ) 0 g z = . Sustituyendo z por la ecuacin de
( ) g t ' y despejando ( )
n
R x , se obtiene

8

( 1)
1
( 1)
1
( ) ( )
'( ) ( ) ( 1) ( )
! ( )
( )
( ) ( )
( 1)!
n n
n
n n
n
n
n
f z x z
g z x z n R x
n x c
f x
R x x c
n
+
+
+
+

= + +

=
+

Finalmente, como ( ) 0 g c = , se concluye que
( )
( )
( )
0 ( ) ( ) ( )( ) ... ( ) ( )
!
( )
( ) ( ) ( )( ) ... ( ) ( )
!
n
n
n
n
n
n
f c
f x f c f c x c x c R x
n
f c
f x f c f c x c x c R x
n
' =
' = + + + +

Nota: Al aplicar el teorema de Taylor, no se espera ser capaz de hallar el valor
exacto de z .( Si se pudiera lograr, no sera necesaria la aproximacin.) Ms bien se
intenta encontrar cotas para
( 1) n
f
+
que nos proporciona una idea de cmo de grande es
el resto ( )
n
R x