Serie de Taylor

En matemátiques, una **serie de Taylor** ye un aproximamientu de funciones por aciu una serie de potencies o suma de potencies enteres de polinomios como ( x-a )^n llamaos términos de la serie, dicha suma calcular a partir de les derivaes de la función pa un determináu valor o puntu a abondo derivable sobre la función y una redolada sobre'l cual converxa la serie. A la serie centrada sobre'l puntu cero, a=0, denominar tamién **serie de McLaurin**.

Esti aproximamientu tien tres ventayes importantes:

* la derivación ya integración d'una d'estes series puede realizase términu a términu, que resulten operaciones triviales;
* puede utilizase pa calcular valores averaos de funciones;
* ye posible calcular la optimidad del aproximamientu.

Delles funciones non pueden escribise como serie de Taylor porque tienen dalguna singularidá. Nestos casos de normal puede consiguise un desenvolvimientu en serie utilizando potencies negatives de *x* (vease Serie de Laurent). Por casu *f*(*x*) = exp(−1/*x*²) puede desenvolvese como serie de Laurent.

## Definición
La serie de Taylor d'una función ''f'' real o complexa *ƒ*(*x*) infinitamente diferenciable nel redolada d'un númberu real o complexu *a* ye la siguiente serie de potencies:
:

que puede ser escritu d'una manera más compacta como la siguiente suma:

onde:
* *n!* ye'l factorial de *n*
* *f*&nbsp;(*n*)(*a*) denota la n-ésima derivada de *f* pal valor *a* de la variable respectu de la cual derívase.

La derivada d'orde cero de *f* ye definida como la mesma *f* y tantu  como 0! son dambos definíos como 1 (0! = 1). En casu de ser , como yá se mentó, la serie denominar tamién de McLaurin.

Hai de solliñar que nuna serie de Taylor de potencies centrada en *a* de la forma \sum^{}_{}a_n(x-a)^n siempres puede faese el cambéu de variable z=x-a (colo que x=z+a na función a desenvolver orixinal) pa espresala como \sum^{}_{}a_nz^n centrada en 0. Depués hai que desfaer el cambéu de variable.
Por casu, si quier desenvolvese la función f(x)=x\ln x alredor de *a* = 1 puede tomase z=x-1, de manera que se desenvolvería f(z+1)=(z+1)\ln(z+1) centrada en 0.

## Historia

El filósofu eleata Zenón d'Elea consideró'l problema de sumar una serie infinita pa llograr un resultáu finito, pero refugar por consideralo imposible: la resultancia fueron les paradoxes de Zenón. Darréu, Aristóteles propunxo una resolución filosóficu a la paradoxa, pero'l conteníu matemático d'esta nun quedó resueltu hasta que lo retomaron Demócrito y dempués Arquímedes. Foi al traviés del métodu refechu de Arquímedes qu'un númberu infinitu de subdivisiones xeométriques progresives podíen algamar un resultáu trigonométrica finito. Independientemente, Liu Hui utilizó un métodu similar cientos d'años dempués.

Nel sieglu XIV, los primeros exemplos del usu de series de Taylor y métodos similares fueron daos por Madhava de Sangamagrama. A pesar de qu'anguaño nengún rexistru del so trabayu sobrevivió a los años, escritos de matemáticos hindús posteriores suxeren qu'él atopó un númberu de casos especiales de la serie de Taylor, incluyíos aquellos pa les funciones trigonométriques del senu, cosenu, tanxente y arcotangente.

Nel sieglu XVII, James Gregory tamién trabayó nesta área y publicó delles series de Maclaurin. Pero en 1715 presentóse una forma xeneral pa construyir estes series pa toles funciones pa les qu'esiste y foi presentáu por Brook Taylor, de quién recibe'l so nome.

Les series de Maclaurin fueron nomaes asina por Colin Maclaurin, un profesor d'Edimburgu, quién publicó'l casu especial de les series de Taylor nel sieglu XVIII.

## Función analítica

Si una serie de Taylor converxe pa tou *x* perteneciente al intervalu (*a-r, a+r*) y la suma ye igual a *f*(*x*), entós la función *f*(*x*) llámase **analítica**. Pa comprobar si la serie converxe a *f*(*x*), suelse utilizar una estimación del restu del teorema de Taylor.

Suelse averar una función por aciu un númberu finito de términos de la so serie de Taylor. El Teorema de Taylor facilita la estimación cuantitativa del error de felicidá aproximamientu. Denominar polinomiu de Taylor al númberu finito de los términos iniciales de la serie de Taylor d'una función. La serie de Taylor d'una función ye, en casu d'esistir, el Llende d'una socesión llende del polinomiu de Taylor d'esa función. Una función puede nun ser igual a la serie de Taylor nin siquier converxendo tal serie pa cada puntu. Una función igual a la so serie de Taylor nun intervalu abiertu (o un discu nel planu complexu) denominar *[[función analítica]]*..

## Series de McLaurin notables

De siguío numbérense delles series de Taylor de funciones básiques. Tolos desarrollos son tamién válidos pa valores complexos de *x*.

### [[Función esponencial]] y [[llogaritmu 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{, pa } \left| x \right| 

### [[Serie xeométrica]]

:\frac{a}{1-x} = \sum^{\infin}_{n=0} ax^n\quad\mbox{ pa } \left| x \right| 

### [[Funciones trigonométriques]]

:\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{ pa } \left| x \right| 

::Onde *B<sub>s</sub>* son los Númberos de Bernoulli.

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

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

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

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

### [[Funciones hiperbóliques]]

:\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{, pa } \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{, pa } \left| x \right| 

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



### [[Función W de Lambert]]

:W_0(x) = \sum^{\infin}_{n=1} \frac{(-n)^{n-1}}{n!} x^n\quad\mbox{, pa } \left| x \right| 

Los númberos *B**k* qu'apaecen nos desarrollos de tan(*x*) y tanh(*x*) son Númberos de Bernoulli. Los valores C(α,*n*) del desenvolvimientu del binomiu son los coeficientes binomiales. Los *Y**k* del desenvolvimientu de sec(*x*) son Númberos de Euler.

## Delles variables

La serie de Taylor puede xeneralizase 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}, . 

onde {n \choose n_1 \cdots n_d} ye un coeficiente multinomial. Como exemplu, pa una función de 2 variables, *x* y *y*, la serie de Taylor de segundu orde nuna redolada del puntu (*a*, *b*) ye:

: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 polinomiu de Taylor de segundu grau puede ser escritu de manera compacta asina:

:
T(\mathbf{x}) = f(\mathbf{a}) + (\mathbf{x} - \mathbf{a})^T \nabla f(\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}) ye'l gradiente y \nabla^2 f(\mathbf{a}) ye la matriz hessiana. Otra forma:

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


## Aplicaciones

Amás de la obvia aplicación d'utilizar funciones polinómiques en llugar de funciones de mayor complexidá p'analizar el comportamientu local d'una función, les series de Taylor tienen munches otres aplicaciones.

Dalgunes d'elles son: analís de llendes y estudios paramétricos de los mesmos, estimación de númberos irracionales acutando'l so error, teorema de L'Hopital pal resolución de llendes indeterminaes, estudiu de puntos estacionarios en funciones (máximos o mínimos relativos o punto silla d'enclín puramente creciente o decreciente), estimación d'integrales, determinación de converxencia y suma de delles series importantes, estudiu d'orde y parámetru principal d'infinitésimos, etc.

## Ver tamién
* Serie matemática
* Serie de Laurent

## Referencies

## Enllaces esternos
* 
* 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