Serie de Taylor

Ir a la navegaci�nIr a la b�squeda

A medida que aumenta el grado del polinomio de MacLaurin, se aproxima a la funci�n.

Se ilustran las aproximaciones de MacLaurin a sen(x), centradas en 0, de grados 1,
3, 5, 7, 9, 11 y 13.

La gr�fica de la funci�n exponencial (en azul), y la suma de los primeros n+1

t�rminos de su serie de Taylor en torno a cero (en rojo).
En matem�ticas, una serie de Taylor es una aproximaci�n de funciones mediante una
serie de potencias o suma de potencias enteras de polinomios como {\displaystyle
(x-a)^{n}} ( x-a )^n llamados t�rminos de la serie, dicha suma se calcula a partir
de las derivadas de la funci�n para un determinado valor o punto {\displaystyle a}
a suficientemente derivable sobre la funci�n y un entorno sobre el cual converja la
serie. A la serie centrada sobre el punto cero, {\displaystyle a=0} a=0, se le
denomina tambi�n serie de MacLaurin.

Esta aproximaci�n tiene tres ventajas importantes:

la derivaci�n e integraci�n de una de estas series se puede realizar t�rmino a

t�rmino, que resultan operaciones triviales;
se puede utilizar para calcular valores aproximados de funciones;
es posible calcular la optimidad de la aproximaci�n.
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 (v�ase Serie de Laurent). Por ejemplo f(x) =
exp(-1/x�) se puede desarrollar como serie de Laurent.

�ndice
1 Definici�n
2 Historia
3 Funci�n anal�tica
4 Series de McLaurin notables
4.1 Funci�n exponencial y logaritmo natural
4.2 Serie geom�trica
4.3 Funciones trigonom�tricas
4.4 Funciones hiperb�licas
4.5 Funci�n W de Lambert
5 Varias variables
6 Aplicaciones
7 V�ase tambi�n
8 Referencias
9 Enlaces externos
Definici�n
La serie de Taylor de una funci�n f real o compleja �(x) infinitamente
diferenciable en el entorno de un n�mero real o complejo a es la siguiente serie de
potencias:

{\displaystyle f(a)+{\frac {f'(a)}{1!}}(x-a)+{\frac {f''(a)}{2!}}(x-a)^{2}+{\frac

{f^{(3)}(a)}{3!}}(x-a)^{3}+\cdots } 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 puede ser escrito de una manera m�s compacta como la siguiente suma:

{\displaystyle \sum _{n=0}^{\infty }{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}\,}

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

donde:
n! es el factorial de n
f (n)(a) denota la n-�sima derivada de f para el valor a de la variable respecto de
la cual se deriva.
La derivada de orden cero de f es definida como la propia f y tanto (x - a)0 como
{\displaystyle 0!} 0! son ambos definidos como 1 ( {\displaystyle 0!} 0! = 1). En
caso de ser a = 0, como ya se mencion�, la serie se denomina tambi�n de McLaurin.

Cabe destacar que en una serie de Taylor de potencias centrada en a de la forma

{\displaystyle \sum _{}^{}a_{n}(x-a)^{n}} \sum^{}_{}a_n(x-a)^n siempre se puede
hacer el cambio de variable {\displaystyle z=x-a} z=x-a (con lo que {\displaystyle
x=z+a} x=z+a en la funci�n a desarrollar original) para expresarla como
{\displaystyle \sum _{}^{}a_{n}z^{n}} \sum^{}_{}a_nz^n centrada en 0. Luego hay que
deshacer el cambio de variable. Por ejemplo, si se quiere desarrollar la funci�n
{\displaystyle f(x)=x\ln x} f(x)=x\ln x alrededor de a = 1 se puede tomar
{\displaystyle z=x-1} z=x-1, de manera que se desarrollar�a {\displaystyle
f(z+1)=(z+1)\ln(z+1)} f(z+1)=(z+1)\ln(z+1) centrada en 0.

Historia
El fil�sofo eleata Zen�n 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 Zen�n. Posteriormente, Arist�teles propuso una
resoluci�n filos�fica a la paradoja, pero el contenido matem�tico de esta no qued�
resuelto hasta que lo retomaron Dem�crito y despu�s Arqu�medes. Fue a trav�s del
m�todo exhaustivo de Arqu�medes que un n�mero infinito de subdivisiones geom�tricas
progresivas pod�an alcanzar un resultado trigonom�trico finito.1?
Independientemente, Liu Hui utiliz� un m�todo similar cientos de a�os despu�s.2?

En el siglo XIV, los primeros ejemplos del uso de series de Taylor y m�todos
similares fueron dados por Madhava de Sangamagrama.3? A pesar de que hoy en d�a
ning�n registro de su trabajo ha sobrevivido a los a�os, escritos de matem�ticos
hind�es posteriores sugieren que �l encontr� un n�mero de casos especiales de la
serie de Taylor, incluidos aquellos para las funciones trigonom�tricas del seno,
coseno, tangente y arcotangente.

En el siglo XVII, James Gregory tambi�n trabaj� en esta �rea y public� varias
series de Maclaurin. Pero 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 qui�n recibe su nombre.

Las series de Maclaurin fueron nombradas as� por Colin Maclaurin, un profesor de
Edimburgo, quien public� el caso especial de las series de Taylor en el siglo
XVIII.

Funci�n anal�tica
Si una serie de Taylor converge para todo x perteneciente al intervalo (a-r, a+r) y
la suma es igual a f(x), entonces la funci�n f(x) se llama anal�tica. Para
comprobar si la serie converge a f(x), se suele utilizar una estimaci�n del resto
del teorema de Taylor.

Una funci�n es anal�tica si y solo si se puede representar con una serie de

potencias; los coeficientes de esa serie son necesariamente los determinados en la
f�rmula de la serie de Taylor.

Se suele aproximar una funci�n mediante un n�mero finito de t�rminos de su serie de

Taylor. El Teorema de Taylor facilita la estimaci�n cuantitativa del error de dicha
aproximaci�n. Se denomina polinomio de Taylor al n�mero finito de los t�rminos
iniciales de la serie de Taylor de una funci�n. La serie de Taylor de una funci�n
es, en caso de existir, el l�mite del polinomio de Taylor de esa funci�n. Una
funci�n puede no ser igual a la serie de Taylor ni siquiera convergiendo tal serie
para cada punto. Una funci�n igual a su serie de Taylor en un intervalo abierto (o
un disco en el plano complejo) se denomina funci�n anal�tica..

Series de McLaurin notables

La funci�n coseno.

Una aproximaci�n de octavo orden de la funci�n coseno en el plano de los complejos.

Las dos im�genes superiores unidas.

A continuaci�n se enumeran algunas series de Taylor de funciones b�sicas. Todos los
desarrollos son tambi�n v�lidos para valores complejos de x.

Funci�n exponencial y logaritmo natural

{\displaystyle e^{x}=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}\quad ,\forall
x;n\in \mathbb {N} _{0}} e^{x} = \sum^{\infin}_{n=0} \frac{x^n}{n!}\quad, \forall
x; n \in \mathbb{N}_0
{\displaystyle \ln(1+x)=\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}x^{n}\quad
{\mbox{, para }}\left|x\right|<1} {\displaystyle \ln(1+x)=\sum _{n=1}^{\infty }
{\frac {(-1)^{n+1}}{n}}x^{n}\quad {\mbox{, para }}\left|x\right|<1}
{\displaystyle \ln(x)=2\sum _{n=0}^{\infty }{\frac {1}{2n+1}}\left({\frac {x-1}
{x+1}}\right)^{2n+1}} {\displaystyle \ln(x)=2\sum _{n=0}^{\infty }{\frac {1}
{2n+1}}\left({\frac {x-1}{x+1}}\right)^{2n+1}}
Serie geom�trica
{\displaystyle {\frac {a}{1-x}}=\sum _{n=0}^{\infty }ax^{n}\quad
{\mbox{ para }}\left|x\right|<1} \frac{a}{1-x} = \sum^{\infin}_{n=0}
ax^n\quad\mbox{ para } \left| x \right| < 1
Funciones trigonom�tricas
{\displaystyle \sin x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)!}}x^{2n+1}\quad
,\forall x} \sin x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n+1)!} x^{2n+1}\quad,
\forall x
{\displaystyle \cos x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}x^{2n}\quad
,\forall x} \cos x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n)!} x^{2n}\quad, \forall
x
{\displaystyle \tan x=\sum _{n=1}^{\infty }{\frac {B_{2n}(-4)^{n}(1-4^{n})}
{(2n)!}}x^{2n-1}\quad ,{\mbox{ para }}\left|x\right|<{\frac {\pi }{2}}} \tan x =
\sum^{\infin}_{n=1} \frac{B_{2n} (-4)^n (1-4^n)}{(2n)!} x^{2n-1}\quad,
\mbox{ para } \left| x \right| < \frac{\pi}{2}
Donde Bs son los N�meros de Bernoulli.
{\displaystyle \sec x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}E_{2n}}
{(2n)!}}x^{2n}\quad {\mbox{, para }}\left|x\right|<{\frac {\pi }{2}}} \sec x =
\sum^{\infin}_{n=0} \frac{(-1)^n E_{2n}}{(2n)!} x^{2n}\quad\mbox{, para } \left|
x \right| < \frac{\pi}{2}
{\displaystyle \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 }
\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
{\displaystyle \arcsin x=\sum ^{\infty }{\frac {(2n)!}{4^{n}(n!)^{2}
(2n+1)}}x^{2n+1}\quad {\mbox{, para }}\left|x\right|<1} \arcsin x =
\sum^{\infin} \frac{(2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}\quad\mbox{, para } \left|
x \right| < 1
{\displaystyle \arctan x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{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
{\displaystyle \sinh x=\sum _{n=0}^{\infty }{\frac {1}{(2n+1)!}}x^{2n+1}\quad
,\forall x} \sinh x = \sum^{\infin}_{n=0} \frac{1}{(2n+1)!} x^{2n+1}\quad , \forall
x
{\displaystyle \cosh x=\sum _{n=0}^{\infty }{\frac {1}{(2n)!}}x^{2n}\quad ,\forall
x} \cosh x = \sum^{\infin}_{n=0} \frac{1}{(2n)!} x^{2n}\quad , \forall x
{\displaystyle \tanh x=\sum _{n=1}^{\infty }{\frac {B_{2n}4^{n}(4^{n}-1)}
{(2n)!}}x^{2n-1}\quad {\mbox{, para }}\left|x\right|<{\frac {\pi }{2}}} \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}
{\displaystyle \sinh ^{-1}x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}(2n)!}{4^{n}
(n!)^{2}(2n+1)}}x^{2n+1}\quad {\mbox{, para }}\left|x\right|<1} \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
{\displaystyle \tanh ^{-1}x=\sum _{n=0}^{\infty }{\frac {1}{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
{\displaystyle W_{0}(x)=\sum _{n=1}^{\infty }{\frac {(-n)^{n-1}}{n!}}x^{n}\quad
{\mbox{, para }}\left|x\right|<{\frac {1}{e}}} 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 Bk que aparecen en los desarrollos de tan(x) y tanh(x) son N�meros de
Bernoulli. Los valores C(a,n) del desarrollo del binomio son los coeficientes
binomiales. Los Ek del desarrollo de sec(x) son N�meros de Euler.

Varias variables
La serie de Taylor se puede generalizar a funciones de {\displaystyle d} d
variables:

{\displaystyle \sum _{n_{1}=0}^{\infty }\cdots \sum _{n_{d}=0}^{\infty }{\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_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} =
{\displaystyle \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}},}
\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},
donde {\displaystyle {n \choose n_{1}\cdots n_{d}}} {n \choose n_1 \cdots n_d} es
un coeficiente multinomial. Como ejemplo, para una funci�n de 2 variables, x e y,
la serie de Taylor de segundo orden en un entorno del punto (a, b) es:

{\displaystyle f(x,y)\,} f(x,y) \,

{\displaystyle \approx f(a,b)+f_{x}(a,b)(x-a)+f_{y}(a,b)(y-b)\,} \approx f(a,b) +
f_x(a,b)(x-a) + f_y(a,b)(y-b) \,
{\displaystyle +{\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).} + \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 grado puede ser escrito de manera compacta as�:

{\displaystyle 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 }
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
donde {\displaystyle \nabla f(\mathbf {a} )} \nabla f(\mathbf{a}) es el gradiente y
{\displaystyle \nabla ^{2}f(\mathbf {a} )} \nabla^2 f(\mathbf{a}) es la matriz
hessiana. Otra forma:

{\displaystyle T(\mathbf {x} )=\sum _{|\alpha |\geq 0}^{}{{\frac {\mathrm {D}

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