TEOREMA DE TAYLOR

Caso de una variable

Este teorema permite una funcin derivable en el entorno reducido alrededor de un
punto a: E (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,
y :2

a los enteros y es un nmero real entre

(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

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.

[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 multindice). 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
. Sear(t) una funcin
vectorial que va de
, y definamosla cmo
(de ahora en
adelante,vse omitirn las flechas de los vectores).Pongamos r(t) = y Ahora hagamos g(t)
= f[r(t)] 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 cmo 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 g(t) en su serie de McLaurin:

y haciendo t=1 y
sustituyendo las derivadas por las expresiones antes hallada se evidencia que:
Obs
rvese que el primer trmino aparece el gradiente y en el segundo la matriz hessiana,
pero escrito con esta notacin particular que resulta ms cmodo y compacto. La
expresin obtenida es equivalente a la expresada ms arriba mediante la notacin
multindice.

[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 la derivada de esta funcin cumple que:

Se define ahora la funcin G como:

Es evidente que esta funcin cumple

por el teorema de Rolle se sigue que:

Y como:

Se obtiene finalmente que:

, y al ser esta funcin diferenciable,

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

(1a) con la forma del resto (2a).

SERIE DE TAYLOR
En matemticas, la serie de Taylor de una funcin f(x) infinitamente derivable (real o
compleja) definida en un intervalo abierto (a-r, a+r) se define como la siguiente suma:

Aqu, n! es el factorial de n y f (n)(a) indica la n-sima derivada de f en el punto a.

Si esta serie converge para todo x perteneciente al intervalo (a-r, a+r) y la suma es igual
a f(x), entonces la funcin f(x) se llama analtica. Para comprobar si la serie converge a
f(x), se suele utilizar una estimacin del resto del teorema de Taylor. Una funcin es
analtica si y solo si se puede representar con una serie de potencias; los coeficientes de
esa serie son necesariamente los determinados en la frmula de la serie de Taylor.

Si a = 0, a la serie se le llama serie de Maclaurin.

Esta representacin tiene tres ventajas importantes:

La derivacin e integracin de una de estas series se puede realizar trmino a

trmino, que resultan operaciones triviales.
Se puede utilizar para calcular valores aproximados de la funcin.
Es posible demostrar que, si es viable la transformacin de una funcin a una
serie de Taylor, es la ptima aproximacin posible.

Algunas funciones no se pueden escribir como serie de Taylor porque tienen alguna
singularidad. En estos casos normalmente se puede conseguir un desarrollo en serie
utilizando potencias negativas de x (vase Serie de Laurent. Por ejemplo f(x) =
exp(1/x) se puede

Definicin
La serie de Taylor de una funcin f de nmeros reales o complejos que es infinitamente
diferenciable en un entorno de nmeros reales o complejos a, es la serie de potencias:

que puede ser escrito de una manera ms compacta como

donde n! es el factorial de n y f (n)(a) denota la n-sima derivada de f en el punto a; la

derivada cero de f es definida como la propia f y (x a)0 y 0! son ambos definidos como
uno.

Series de Maclaurin (Taylor alrededor de 0) notables

A continuacin se enumeran algunas series de Taylor de funciones importantes. Todos
los desarrollos son tambin vlidos para valores complejos de x.

[editar] Funcin exponencial y logaritmo natural

[editar] Serie geomtrica

[editar] Teorema del binomio

para
y cualquier

complejo

[editar] Funciones trigonomtricas

Donde Bs son los Nmeros de Bernoulli.

[editar] Funciones hiperblicas

[editar] Funcin W de Lambert

Los nmeros Bk que aparecen en los desarrollos de tan(x) y tanh(x) son Nmeros de
Bernoulli. Los valores C(,n) del desarrollo del binomio son los coeficientes
binomiales. Los Ek del desarrollo de sec(x) son Nmeros de Euler.

Varias variables
La serie de Taylor se puede generalizar a funciones de d variables:

donde
es un coeficiente multinomial. Como ejemplo, para una funcin de
2 variables, x e y, la serie de Taylor de segundo orden en un entorno del punto (a, b) es:

Un polinomio de Taylor de segundo grado puede ser escrito de manera compacta as:

donde

es el gradiente y

es la matriz hessiana. Otra forma: