CALCULO INTEGRAL: 4.6 Representación de funciones mediante la serie de Taylor.

Definición

La serie de Taylor de una función f de números reales o complejos que es infinitamente diferenciable en un entorno de números reales o complejos a, es la serie de potencias:

que puede ser escrito de una manera más 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.

La función coseno.

Una aproximación de octavo orden de la función coseno en el plano de loscomplejos.

Las dos imágenes de arriba puestas juntas.

A continuación se enumeran algunas series de Taylor de funciones básicas. Todos los desarrollos son también válidos para valores complejos dex.

Función exponencial y logaritmo natural

Serie geométrica

$\frac{1}{1-x} = \sum^{\infin}_{n=0} x^n\quad\mbox{ para } \left| x \right| < 1$

Teorema del binomio

$(1+x)^\alpha = \sum^{\infin}_{n=0} \frac{\Gamma(\alpha+1)}{\Gamma(n+1)\Gamma(n-\alpha)} x^n\quad$ para |x|<1

y cualquier $\alpha\quad$ complejo

Funciones trigonométricas

$\sin x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n+1)!} x^{2n+1}\quad, \forall x$

$\cos x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n)!} x^{2n}\quad, \forall x$

$\tan x = \sum^{\infin}_{n=20} \frac{B_{2n} (-4)^n (1-4^n)}{(2n)!} x^{2n-1}\quad, \mbox{ para } \left| x \right| < \frac{\pi}{2}$

Donde B_s son los Números de Bernoulli.

$\sec x = \sum^{\infin}_{n=0} \frac{(-1)^n E_{2n}}{(2n)!} x^{2n}\quad\mbox{, para } \left| x \right| < \frac{\pi}{2}$

$\csc{x}=\sum_{n=1}^\infty{\frac{2(2^{2n-1}-1)B_{n}x^{2n-1}}{(2n)!}}\quad\mbox{, para } 0<\left |{x}\right |< \pi$

$\arcsin x = \sum^{\infin}_{n=0} \frac{(2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}\quad\mbox{, para } \left| x \right| < 1$

$\arctan x = \sum^{\infin}_{n=0} \frac{(-1)^n}{2n+1} x^{2n+1}\quad\mbox{, para } \left| x \right| < 1$

Funciones hiperbólicas

$\sinh x = \sum^{\infin}_{n=0} \frac{1}{(2n+1)!} x^{2n+1}\quad , \forall x$

$\cosh x = \sum^{\infin}_{n=0} \frac{1}{(2n)!} x^{2n}\quad , \forall x$

$\tanh x = \sum^{\infin}_{n=1} \frac{B_{2n} 4^n (4^n-1)}{(2n)!} x^{2n-1}\quad\mbox{, para } \left| x \right| < \frac{\pi}{2}$

$\sinh^{-1} x = \sum^{\infin}_{n=0} \frac{(-1)^n (2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}\quad\mbox{, para } \left| x \right| < 1$

$\tanh^{-1} x = \sum^{\infin}_{n=0} \frac{1}{2n+1} x^{2n+1}\quad\mbox{, para } \left| x \right| < 1$

Función W de Lambert

$W_0(x) = \sum^{\infin}_{n=1} \frac{(-n)^{n-1}}{n!} x^n\quad\mbox{, para } \left| x \right| < \frac{1}{e}$

Los números B_k que aparecen en los desarrollos de tan(x) y tanh(x) son Números de Bernoulli. Los valores C(α,n) del desarrollo del binomio son los coeficientes binomiales. Los E_k del desarrollo de sec(x) son Números de Euler.

Varias variables

La serie de Taylor se puede generalizar a funciones de

d

variables:

$\sum_{n_1=0}^{\infin} \cdots \sum_{n_d=0}^{\infin} \frac{\partial^{n_1}}{\partial x_1^{n_1}} \cdots \frac{\partial^{n_d}}{\partial x_d^{n_d}} \frac{f(a_1,\cdots,a_d)}{n_1!\cdots n_d!} (x_1-a_1)^{n_1}\cdots (x_d-a_d)^{n_d} =$

$\sum_{n=0}^{\infty} {1 \over n!} \sum_{n_1+\cdots+n_d=n} {n \choose n_1 \cdots n_d} {\partial^n f(a_1,\cdots,a_d) \over \partial x_1^{n_1} \cdots \partial x_d^{n_d}} (x_1-a_1)^{n_1}\cdots (x_d-a_d)^{n_d},$