Teorema de Taylor

La funcin exponencial
(lnea roja continua) y su aproximacin
mediante un polinomio de Taylor alrededor del origen de coordenadas (lnea
verde discontinua).
En clculo, el teorema de Taylor, recibe su nombre
del matemtico britnico Brook Taylor, quien lo enunci con mayor generalidad
en 1712, aunque previamente James Gregory lo haba descubierto en 1671.
Este teorema permite obtener aproximaciones polinmicas de una funcin en
un entorno de cierto punto en que la funcin sea diferenciable. Adems el
teorema permite acotar el error obtenido mediante dicha estimacin.
ndice
[ocultar]

1 Caso de una variable

o

2 Caso de varias variables

o

1.1 Demostracin

2.1 Demostracin

3 Referencia
o

3.1 Bibliografa

[editar]Caso de una variable

Este teorema permite aproximar una funcin derivable en el entorno

reducido alrededor de un punto a: (a, d) mediante un polinomio cuyos
coeficientes dependen de lasderivadas de la funcin en ese punto. Ms
formalmente, si 0 es un entero y una funcin que es derivable veces
en el intervalo cerrado [ , ] y +1 veces en el intervalo abierto ( , ),
entonces se cumple que:1
(1a)

O en forma compacta

(1b)
Donde
denota el factorial de , y
es el resto, trmino que depende
de y es pequeo si est prximo al punto . Existen dos expresiones
para
que se mencionan a continuacin:

(2a)
donde y , pertenecen a los nmeros reales,
nmero real entre y :2

a los enteros y

es un

(2b)
Si
es expresado de la primera forma, se lo denomina Trmino
complementario de Lagrange, dado que el Teorema de Taylor se expone como
una generalizacin del Teorema del valor medio o Teorema de Lagrange,
mientras que la segunda expresin de R muestra al teorema como una
generalizacin del Teorema fundamental del clculo integral.
Para algunas funciones
, se puede probar que el resto,
, se
aproxima a cero cuando se acerca al ; dichas funciones pueden ser
expresadas como series de Taylor en un entorno reducido alrededor de un
punto y son denominadas funciones analticas.
El teorema de Taylor con
vlido si la funcin

expresado de la segunda forma es tambin

tiene nmeros complejos o valores vectoriales. Adems

existe una variacin del teorema de Taylor para funciones con mltiples
variables.
[editar]Demostracin
La demostracin de la frmula (1a), con el resto de la forma (2a), se sigue
trivialmente del teorema de Rolle aplicado a la funcin:

Un clculo rutinario permite ver que la derivada de esta funcin cumple que:

Se define ahora la funcin G como:

Es evidente que esta funcin cumple

, y al ser esta funcin
diferenciable, por el teorema de Rolle se sigue que:

Y como:

Se obtiene finalmente que:

Y substituyendo en esta frmula la definicin de F(a), queda precisamente la

frmula (1a) con la forma del resto (2a).
[editar]Caso de varias variables
El teorema de Taylor anterior (1) puede generalizarse al caso de varias
variables como se explica a continuacin. Sea B una bola en RN centrada en el
punto a, y f una funcin real definida sobre la clausura
cuyas derivadas
parciales de orden n+1 son todas continuas en cada punto de la bola. El
teorema de Taylor establece que para cualquier
:

Donde la suma se extiende sobre los multi-ndices (esta frmula usa

la notacin multi-ndice). El resto satisface la desigualdad:

para todo con ||=n+1. Tal como sucede en el caso de una variable, el resto
puede expresarse explcitamente en trminos de derivadas superiores (vase
la demostracin para los detalles).
[editar]Demostracin
Para demostrar el teorema de Taylor para el caso multidimensional,
considrese un funcin
o campo escalar, que suponemos
continuo y, para simplificar lo expuesto (aunque una generalizacin es trivial),
de clase

. Sea

como
vectores). Pongamos
que

una funcin vectorial que va de

, y definmosla

(de ahora en adelante, se omitirn las flechas de los

Ahora hagamos

y recordemos

. Notemos ahora que:

Ahora, derivando sucesivas veces, encontramos que podemos poner de forma

muy cmoda:

donde el exponente sobre el gradiente es entendido como las sucesivas veces

que hacemos el gradiente; es decir, hacemos el producto escalar que est
dentro del parntesis, luego volvemos a derivar otra vez la funcin, obteniendo
otro producto escalar, y as "n" veces. Ahora, empleando el teorema de Taylor
para una variable real, expandimos

en su serie de McLaurin:

y haciendo t=1 y sustituyendo las derivadas por las expresiones antes hallada
se evidencia que:

Obsrvese que el primer trmino aparece el gradiente y en el segundo la

matriz hessiana, pero escrito con esta notacin particular que resulta ms
cmoda y compacta. La expresin obtenida es equivalente a la expresada ms
arriba mediante la notacin multindice.
[editar]Referencia
1. Bartle & Sherbert, p. 238-239
2. Bartle & Sherbert, p. 290-291
[editar]Bibliografa

R. G. Bartle & D. R. Sherbert: Introduccin al An