Polinomio de Taylor

Los polinomios son funciones adecuadas para trabajar en clculos numricos, porque el clculo de sus valores se reduce a operaciones de multiplicacin y adicin. Cualquier funcin que pueda aproximarse por polinomios facilita su estudio, entre ellas las funciones logartmicas, exponenciales y trigonomtricas las cuales no pueden evaluarse tan fcilmente.

Polinomio de Taylor
Sea f ( x) una funcin de n veces derivable en x a P( x) un polinomio, con aproximacin local de orden n de f ( x) cerca de x a P( x) se llama Polinomio de Taylor de grado n de f ( x) siendo P( x) :
n (a) (a ) (a) f f f f (a ) 2 3 n P( x) f (a ) ( x a) ( x a) ( x a) ... ( x a) 1! 2! 3! n!

Recordemos que P( x) es prximo a f ( x) es decir: f ( x) P( x) 0 Designemos por Rn ( x) la diferencia entre los valores de la funcin dada, f ( x) , y del polinomio calculado.
Rn ( x) f ( x) P( x) f ( x) P( x) Rn ( x)

Desarrollando obtendremos:
f (a) f (a) f n (a ) f ( x) f (a ) ( x a) ( x a) ... ( x a) Rn ( x) 1! 2! n!

El trmino Rn ( x) se conoce con el nombre de trmino complementario o resto

y
f(x)=e^x P(x)=1+x+x^2/2
8

P(x)=1+x
6

P(x)=x

-9

-8

-7

-6

-5

-4

-3

-2

-1

-2

-4

-6

-8

f n 1 (c) Rn ( x) ( x a ) n 1 y Donde (n 1)!

c es un punto que se encuentra entre x y a .

El teorema del valor medio es un caso particular del Teorema de Taylor, ya que para n 0 se tiene:
f ( x) f (a ) R0 ( x)
f 1 (c ) R0 ( x) ( x a )1 1!

para c entre

, es decir,

f ( x) f (a) f (c)( x a)
Con c entre x y a , o bien la conocida expresin para el Teorema del Valor medio:

f ( x) f (a) f (c) xa
A la expresin:
f (a) f (a) f n (a ) f ( x) f (a ) ( x a) ( x a) 2 ... ( x a) Rn ( x) 1! 2! n!

le llamaremos Frmula de Taylor de

f en a .

Y en el caso particular de a 0
f (0) 2 f n (0) n f ( x) f (0) f (0) x x ... x Rn 2! n!

le llamaremos Frmula de Mac Laurin de f

Ejercicios: Encontrar la frmula de Mac Laurin para las siguientes funciones:
1. f ( x) sen( x) 2. f ( x) cos( x)

Solucin para f ( x) sen( x) Procederemos a calcular las respectivas derivadas de la funcin.

f ( x) sen( x) f ( x) cos( x) f ( x) sen( x) f ( x) cos( x) f iv ( x) sen( x) f v ( x) cos( x) f (0) 0 f 0) 1 f (0) 0 f (0) 1 f iv (0) 0 f v (0) 1

Podemos observar que las derivadas de orden par, evaluados en cero se anulan y las impares valen alternadamente 1 y -1 Luego la Frmula de Mac Laurin para f ( x) sen( x) es:
x3 x5 x 7 x 2 n 1 sen( x) x ... (1) n 1 R2 n 1 3! 5! 7! (2n 1)!

Que en notacin sumatoria es:

x 2 k 1 k 1 sen( x ) ( 1) R2 n 1 (2k 1)! k 1

n

f ( x) sen( x)
-9 -8 -7 -6 -5 -4 -3 -2 -1

x
1 2 3 4 5 6 7 8 9

-2

-4

-6

-8

f ( x) x

x
-9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9

-2

-4

-6

-8

x3 f ( x) x 3!

x
-9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9

-2

-4

-6

-8

x3 x5 f ( x) x 3! 5!

x
-9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9

-2

-4

-6

-8

x3 x5 x 7 f ( x) x 3! 5! 7!

x
-9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9

-2

-4

-6

-8

x3 x5 x 7 x9 f ( x) x 3! 5! 7! 9!
-9 -8 -7 -6 -5 -4 -3 -2 -1

x
1 2 3 4 5 6 7 8 9

-2

-4

-6

-8

x3 x5 x 7 x11 f ( x) x 3! 5! 7! 11!
x

-9

-8

-7

-6

-5

-4

-3

-2

-1

-2

-4

-6

-8

x3 x5 x7 x9 x11 x13 x15 x17 x19 x 21 f ( x) x 3! 5! 7! 9! 11! 13! 15! 17! 19! 21!
-9 -8 -7 -6 -5 -4 -3 -2 -1

x
1 2 3 4 5 6 7 8 9

-2

-4

-6

-8

Solucin para f ( x) cos( x) Procederemos a calcular las respectivas derivadas de la funcin.

f ( x) cos( x) f ( x) sen( x) f (0) 1 f ( x) cos( x) f ( x) sen( x) f iv ( x) cos( x) f v ( x) sen( x) f vi ( x) cos( x) f (0) 0 f (0) 1 f (0) 0 f iv (0) 1 f v (0) 0 f vi (0) 1

Ahora observamos que las derivadas de orden impar, evaluados en cero se anulan y las pares valen alternadamente 1 y -1 Luego la Frmula de Mac Laurin para f ( x) cos( x) es:
x2 x4 x6 x2n cos( x) 1 ... (1) n R2 n 2! 4! 6! (2n)!

Que en notacin sumatoria es:

x2k k cos( x) ( 1) R2 n (2k )! k 0

n

f ( x) cos( x)

x
-9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9

-2

-4

-6

-8

f ( x) 1
2

x
-9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9

-2

-4

-6

-8

x
-9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9

-2

-4

x2 f ( x) 1 2!

-6

-8

x2 x4 f ( x) 1 2! 4!

x
-9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9

-2

-4

-6

-8

x
-9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9

-2

x2 x4 x6 f ( x) 1 2! 4! 6!

-4

-6

-8

x 2 x 4 x 6 x8 f ( x) 1 2! 4! 6! 8!

x
-9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9

-2

-4

-6

-8

x
-9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9

-2

-4

x 2 x 4 x 6 x8 x10 f ( x) 1 2! 4! 6! 8! 10!

-6

-8

y
x 2 x 4 x 6 x8 x10 x12 x14 x16 x18 x 20 2! 4! 6! 8! 10! 12! 14! 16! 18! 20!

f ( x) 1

x
-9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9

-2

-4

-6

-8

Para saber algo mas.

Brook Taylor (1685-1731) no invent las series de Taylor, y las series de Mac Laurin no fueron desarrolladas por Colin Mac Laurin (1698-1746). James Gregory ya trabajaba con las series de Taylor cuando ste era un nio; l public las series de Mac Laurin para tan(x), sec(x), arctan(x) y arcsec(x), diez aos antes de que Mac Laurin naciera. Nicolaus Mercator descubri la serie de Mac Laurin para Ln(1+x) casi en la misma poca. Taylor no conoca el trabajo de Gregory al publicar en 1715 su libro Methodus Incrementorum Directa et Inversa, que contena lo que se llama ahora la serie de Taylor. En 1742 Mac Laurin cit el trabajo de Taylor en un libro de clculo, el cual populariz las representaciones de las funciones mediante series, y aunque Mac Laurin nunca afirm haberlas descubierto, las series de Taylor con centro en x=0 se han conocido como series de Mac Laurin. La historia nivel despus las cosas. Mac Laurin, un brillante matemtico, descubri originalmente la regla para resolver sistemas de ecuaciones que llamamos Regla de Cramer.