Serie de Taylor

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:

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:
y y y

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.

Historia
El filsofo eleata Zenn de Elea consider el problema de sumar una serie infinita para lograr un resultado finito, pero lo descart por considerarlo imposible: el resultado fueron las paradojas de Zenn. Posteriormente, Aristteles propuso una resolucin filosfica a la paradoja, pero el contenido matemtico de esta no qued resuelto hasta que lo retomaron Demcrito y despus Arqu medes. Fue a travs del mtodo exhaustivo de Arqu medes que un nmero infinito de subdivisiones geomtricas progresivas pod an alcanzar un resultado trigonomtrico finito.1 Independientemente, Liu Hui utiliz un mtodo similar cientos de aos despus.2 En el siglo XIV, los primeros ejemplos del uso de series de Taylor y mtodos similares fueron dados por Madhava of Sangamagrama.3 A pesar de que hoy en da ningn registro de su trabajo ha sobrevivido a los aos, escritos de matemticos hindes posteriores sugieren que l encontr un nmero de casos especiales de la serie de Taylor, incluidos aquellos para las funciones trigonomtricas del seno, coseno, tangente y arcotangente. En el siglo XVII, James Gregory tambin trabaj en esta rea y public varias series de Maclaurin. Pero recin en 1715 se present una forma general para construir estas series para todas las funciones para las que existe y fue presentado por Brook Taylor, de quin recibe su nombre. Las series de Maclaurin fueron nombradas as por Colin Maclaurin, un profesor de Edinburgo, quin public el caso especial de las series de Taylor en el siglo XVIII.

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.

Funcin exponencial y logaritmo natural

Serie geomtrica

Teorema del binomio

para y cualquier complejo

[editar] Funciones trigonomtricas

Donde Bs son los Nmeros de Bernoulli.

Funciones hiperblicas

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:

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.