Serie de Taylor

sin(x) y aproximaciones de Taylor centradas en 0, con polinomios de grado 1, 3, 5, 7, 9, 11 y 13. En matemticas, una 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:

La funcin exponencial (en azul), y la suma de los primeros n+1 trminos de su serie de Taylor en torno a cero (en rojo).

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 desarrollar como serie de Laurent.

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

La funcin coseno.

Una aproximacin de octavo orden de la funcin coseno en el plano de los complejos.

Las dos imgenes de arriba puestas juntas. A continuacin se enumeran algunas series de Taylor de funciones bsicas. 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.

[editar] 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:

[editar] Aplicaciones
Adems de la obvia aplicacin de utilizar funciones polinmicas en lugar de funciones de mayor complejidad para analizar el comportamiento local de una funcin, las series de Taylor tienen muchas otras aplicaciones. Algunas de ellas son: anlisis de lmites y estudios paramtricos de los mismos, estimacin de nmeros irracionales acotando su error, teorema de L'Hopital para la resolucin de lmites indeterminados, estudio de puntos estacionarios en funciones (mximos o mnimos relativos o puntos sillas de tendencia estrictamente creciente o decreciente), estimacin de integrales, determinacin de convergencia y suma de algunas series importantes, estudio de orden y parmetro principal de infinitsimos, etc.