4.2.6. CLCULO DE INTEGRALES DE FUNCIONES EXPRESADAS COMO SERIE DE TAYLOR.

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

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

Funciones trigonomtricas

Donde Bs son los Nmeros de Bernoulli.

Funciones hiperblicas

PASOS PARA ENCONTRAR UNS SERIE DE TAYLOR 1.- derivar varias veces y evaluar cada derivada en c.

Intentar de reconocer un patrn en estos nmeros 2.- usar la sucesin desarrolla en el primer paso formar los coeficientes de Taylor y de terminar el intervalo de convergencia de la serie de potencia resultante.

3.- dentro de este intervalo de convergencia, determine si la serie converge o no a f(X)

La determinacin directa de los coeficientes de Taylor o de Maclaurin usando derivacin sucesiva pude ser difcil. CASO DE UNA VARIABLE Este teorema permite aproximar 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 pequeo si est prximo al punto mencionan a continuacin: es el resto, trmino que depende de y . Existen dos expresiones para que se

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

(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. 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).

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:

Obsrv ese 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.

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 diferenciable, por el teorema de Rolle se sigue que:

, y al ser esta funcin

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).