Serie de Taylor

miniatura|sin(x) e aproximacións de Taylor centradas en 0, con polinomios de grao 1, 3, 5, 7, 9, 11 e 13.

Nas matemáticas, unha **serie de Taylor** dunha función *f(x)* infinitamente derivable (real ou complexa) definida nun intervalo aberto (*a-r, a+r*) defínese do seguinte xeito:

dereita|miniatura|A función exponencial (en azul), e a suma dos primeiros *n*+1 termos da súa serie de Taylor arredor de cero (en vermello).

: f(x) = \sum_{n=0}^{\infin} \frac{f^{(n)}(a)}{n!} (x-a)^{n}. 

Onde *n!* é o factorial de *n* e *f*&nbsp;(*n*)(*a*) indica a n-ésima derivada de *f* no punto *a*.

Se esta serie converxe para todo *x* pertencente ao intervalo (*a-r, a+r*) e a suma é igual a *f*(*x*), entón a función *f*(*x*) denomínase **analítica**. Para comprobar se a serie converxe en *f*(*x*), acostúmase empregar unha estimación do resto do teorema de Taylor. Unha función é analítica se e só se se pode representar cunha serie de potencias; os coeficientes desta serie son necesariamente os determinados na fórmula da serie de Taylor.

Se *a* = 0, a serie denomínase **serie de Maclaurin**.

Esta representación ten tres vantaxes importantes:

* A derivación e integración dunha destas series pódese realizar termo a termo, que resultan operacións triviais.
* Pódese utilizar para calcular valores aproximados da función.
* É posible demostrar que, se é viable a transformación dunha función nunha serie de Taylor, é a óptima aproximación posible.

Algunhas funcións non se poden escribir como serie de Taylor porque teñen algunha singularidade. Nestes casos normalmente pódese conseguir un desenvolvemento en serie utilizando potencias negativas de *x*. Por exemplo *f*(*x*) = exp(−1/*x*²) pódese desenvolver como serie de Laurent.

## Definición 
A serie de Taylor dunha función *f* de números reais ou complexos que é infinitamente diferenciable nunha contorna de números reais ou complexos *a*, é a serie de potencias:
:
f(x) = f(a)+\frac{f'(a)}{1!}(x-a)+\frac{f*(a)}{2!}(x-a)^2+\frac{f^{(3)}(a)}{3!}(x-a)^3+\cdots

que pode ser escrito dunha maneira máis compacta como
:
f(x) = \sum_{n=0}^{\infin} \frac{f^{(n)}(a)}{n!} (x-a)^{n}\,,

onde *n!* é o factorial de *n* e *f*&nbsp;(*n*)(*a*) denota a enésima derivada de *f* no punto *a*; a derivada cero de *f* é definida como a propia *f* e (x-a)^0 e 0! son ambos definidos como un.

## Historia 
O filósofo eleata Zenón de Elea estudou o problema de sumar unha serie infinita para lograr un resultado finito, pero descartouno por consideralo imposible: o resultado foron os paradoxos de Zenón. Posteriormente, Aristóteles propuxo unha resolución filosófica ao paradoxo, aínda que o contido matemático deste ficou resolto cando retomaron a cuestión Demócrito e despois Arquimedes. Foi a través do método exhaustivo de Arquimedes que un número infinito de subdivisións xeométricas progresivas podían alcanzar un resultado trigonométrico finito. Independentemente, Liu Hui utilizou un método similar centos de anos despois.

No século XIV, os primeiros exemplos do uso de series de Taylor e métodos similares foron dados por Madhava de Sangamagrama. A pesar de que ningún rexistro do seu traballo chegou aos nosos días, escritos de matemáticos hindús posteriores suxiren que el encontrou un número de casos especiais da serie de Taylor, incluídos aqueles para as funcións trigonométricas do seno, coseno, tanxente e arcotanxente.

No século XVII, James Gregory tamén traballou nesta área e publicou varias series de Maclaurin. Pero en 1715 presentouse unha forma xeral para construír estas series para calquera función e foi presentado por Brook Taylor, de quen recibe o seu nome.

As series de Maclaurin foron chamadas así por Colin Maclaurin, un profesor de Edimburgo, quen publicou o caso especial das series de Taylor no século XVIII.

## Series de Maclaurin (Taylor arredor de 0) notables 
200px|miniatura|A función coseno.
[200px|miniatura|Unha aproximación de oitava orde da función coseno no plano dos [Números complexos|complexos.]]
200px|miniatura|As dúas imaxes de arriba postas xuntas.
A continuación enuméranse algunhas series de Taylor de funcións básicas. Todos os desenvolvementos son tamén válidos para valores complexos de *x*.

### Función exponencial e logaritmo natural 
:e^{x} = \sum^{\infin}_{n=0} \frac{x^n}{n!}\quad, \forall x; n \in \mathbb{N}_0.

:\ln(1+x) = \sum^{\infin}_{n=1} \frac{(-1)^{n+1}}n x^n\quad\mbox{, para } \left| x \right| .

### Serie xeométrica 
:\frac{1}{1-x} = \sum^{\infin}_{n=0} x^n\quad\mbox{ para } \left| x \right| 

### Teorema do binomio 
:(1+x)^\alpha = \sum^{\infin}_{n=0} \frac{\Gamma(\alpha+1)}{\Gamma(n+1)\Gamma(n-\alpha)}
x^n\quad para \left| x \right| 

### Funcións 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=1} \frac{B_{2n} (-4)^n (1-4^n)}{(2n)!} x^{2n-1}\quad, \mbox{ para } \left| x \right| 

::*Bs* son os Números de Bernoulli.

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

:\csc{x}=\sum_{n=1}^\infty{\frac{2(2^{2n-1}-1)B_{n}x^{2n-1}}{(2n)!}}\quad\mbox{, para } 0

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

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

### Funcións 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| 

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

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

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

Os números *B**k* que aparecen nas fórmulas de tan(*x*) e tanh(*x*) son Números de Bernoulli. Os valores C(α,*n*) da fórmula do binomio son os coeficientes binomiais. Os *E**k* da fórmula de sec(*x*) son Números de Euler.

## Varias variables 
A serie de Taylor pódese xeneralizar a funcións 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}, 

onde {n \choose n_1 \cdots n_d} é un coeficiente multinomial. Como exemplo, para unha función de dúas variables, *x* e *y*, a serie de Taylor de segunda orde nun contorno do punto (*a*, *b'') é:

:f(x,y) \,
::\approx f(a,b) + f_x(a,b)(x-a) + f_y(a,b)(y-b) \,
:::+ \frac{1}{2}\left( f_{xx}(a,b)(x-a)^2 + 2f_{xy}(a,b)(x-a)(y-b) + f_{yy}(a,b)(y-b)^2 \right). 

Un polinomio de Taylor de segundo grao pode ser escrito de maneira compacta así:

:
T(\mathbf{x}) = f(\mathbf{a}) + \nabla f(\mathbf{a})^T (\mathbf{x} - \mathbf{a}) + \frac{1}{2} (\mathbf{x} - \mathbf{a})^T \nabla^2 f(\mathbf{a}) (\mathbf{x} - \mathbf{a}) + \cdots

onde \nabla f(\mathbf{a}) é o gradiente e \nabla^2 f(\mathbf{a}) é a matriz hessiana. Outra forma:

:
T(\mathbf{x}) = \sum_{|\alpha| \ge 0}^{}{\frac{\mathrm{D}^{\alpha}f(\mathbf{a})}{\alpha !}(\mathbf{x}-\mathbf{a})^{\alpha}}

## Aplicacións 
Ademais de para ter funcións polinómicas en lugar de funcións de maior complexidade e poder analizar facilmente o comportamento local dunha función, tamén se pode utilizar para resolver outros problemas como son: a análise de límites e estudos paramétricos dos mesmos, a estimación de números irracionais limitando o seu erro, o teorema de L'Hopital para a resolución de límites indeterminados, o estudo de puntos estacionarios de funcións (máximos ou mínimos relativos ou puntos cadeira de tendencia estritamente crecente ou decrecente), a estimación de integrais, determinación de converxencia e suma dalgunhas series importantes, o estudo da orde e parámetro principal de infinitésimos etc.

## Notas 
## Véxase tamén 
### Outros artigos 
* Serie matemática
* Serie de Laurent
### Ligazóns externas 
* Weisstein, Eric W., «Serie de Taylor» (en inglés), MathWorld, Wolfram Research
* Madhava of Sangamagramma 
* Taylor Series Representation Module by John H. Mathews
* "Discussion of the Parker-Sochacki Method "
* Another Taylor visualisation - where you can choose the point of the approximation and the number of derivatives
* Taylor series revisited for numerical methods at Numerical Methods for the STEM Undergraduate
* Cinderella 2: Taylor expansion 
* Taylor series
* Inverse trigonometric functions Taylor series