Teorema de Taylor

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 las derivadas 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, a los enteros y es un nmero real
entre y :
2

(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 delTeorema
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 comoseries
de Taylor en un entorno reducido alrededor de un punto y son
denominadas funciones analticas.
El teorema de Taylor con expresado de la segunda forma es tambin vlido si
la funcin tiene nmeros complejos o valores vectoriales. Adems existe una
variacin del teorema de Taylor para funciones con mltiples variables.
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).

Caso de una variable
El teorema de Taylor anterior (1) puede generalizarse al caso de varias variables como
se explica a continuacin. Sea B una bola en R
N
centrada en el punto a, y funa
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).
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 una
funcin vectorial que va de , y definmosla como (de
ahora en adelante, se omitirn las flechas de los vectores). Pongamos
Ahora hagamos y recordemos que .
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.