Teorema de Taylor

Ir a la navegaciónIr a la búsqueda

La función exponencial {\displaystyle y={\text{e}}^{x}}{\displaystyle

y={\text{e}}^{x}} (línea roja continua) y su aproximación mediante un polinomio de
Taylor alrededor del origen de coordenadas (línea verde discontinua)
En cálculo diferencial, el teorema de Taylor, recibe su nombre del matemático
británico, Brook Taylor, quien lo enunció con mayor generalidad en 1712, aunque
previamente James Gregory lo había descubierto en 1671.1 Este teorema permite
obtener aproximaciones polinómicas de una función en un entorno de cierto punto en
el que la función sea diferenciable. Además el teorema permite acotar el error
obtenido mediante dicha estimación.

Índice
1 Caso de una variable
1.1 Enunciado del teorema
1.2 Fórmulas explícitas para el resto
1.3 Acotación del resto
1.4 Ejemplo
1.5 Demostración
1.6 Obtención de la forma de valor medio del resto
1.7 Obtención de la forma integral del resto
2 Caso de varias variables
2.1 Demostración
3 Referencias
4 Bibliografía
Caso de una variable
Enunciado del teorema
La versión más básica del teorema es como sigue:

Teorema de Taylor.234 Sea k ≥ 1 un entero y sea f : R → R una función diferenciable

k veces en el punto a ∈ R. Entonces existe una función hk : R → R tal que

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

{f^{(k)}(a)}{k!}}(x-a)^{k}+h_{k}(x)(x-a)^{k},}{\displaystyle f(x)=f(a)+f'(a)(x-a)+
{\frac {f''(a)}{2!}}(x-a)^{2}+\cdots +{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}+h_{k}(x)(x-
a)^{k},}

con {\displaystyle \quad \lim _{x\to a}h_{k}(x)=0}{\displaystyle \quad \lim _{x\to

a}h_{k}(x)=0}. Esta es la llamada forma de Peano del resto.

El polinomio que aparece en el teorema de Taylor,

{\displaystyle P_{k}(x)=f(a)+f'(a)(x-a)+{\frac {f''(a)}{2!}}(x-a)^{2}+\cdots +

{\frac {f^{(k)}(a)}{k!}}(x-a)^{k},}{\displaystyle P_{k}(x)=f(a)+f'(a)(x-a)+{\frac
{f''(a)}{2!}}(x-a)^{2}+\cdots +{\frac {f^{(k)}(a)}{k!}}(x-a)^{k},}
se denomina polinomio de Taylor de orden k de la función f en el punto a. El
polinomio de Taylor es el único polinomio que «mejor aproxima la función en forma
asintótica», en el sentido de que si existe una función hk : R → R y un polinomio p
de orden k tal que

{\displaystyle f(x)=p(x)+h_{k}(x)(x-a)^{k},\quad \lim _{x\to a}h_{k}(x)=0,}

{\displaystyle f(x)=p(x)+h_{k}(x)(x-a)^{k},\quad \lim _{x\to a}h_{k}(x)=0,}
entonces p = Pk. El teorema de Taylor describe el comportamiento asintótico del
término del resto

{\displaystyle \ R_{k}(x)=f(x)-P_{k}(x),}{\displaystyle \ R_{k}(x)=f(x)-P_{k}(x),}

el cual es el error de aproximación cuando se aproxima f con su polinomio de
Taylor. Utilizando la notación o el teorema de Taylor se puede expresar de la
siguiente forma:

{\displaystyle R_{k}(x)=o(|x-a|^{k}),\quad x\to a.}{\displaystyle R_{k}(x)=o(|x-a|

^{k}),\quad x\to a.}
Fórmulas explícitas para el resto
Existen diferentes formas de expresar {\displaystyle R_{k}(x)}{\displaystyle R_{k}
(x)} que se mencionan a continuación:

Forma de valor medio del resto. Sea f : R → R, diferenciable k + 1 veces en el

intervalo abierto con f (k+1) continua en el intervalo cerrado entre a y x.
Entonces

(2a){\displaystyle R_{k}(x)={\frac {f^{(k+1)}(\xi _{L})}{(k+1)!}}(x-a)^{k+1}}

{\displaystyle R_{k}(x)={\frac {f^{(k+1)}(\xi _{L})}{(k+1)!}}(x-a)^{k+1}}

para algún número real ξL entre a y x. Esta es la forma de Lagrange5 del resto.
Similarmente,

(2b){\displaystyle R_{k}(x)={\frac {f^{(k+1)}(\xi _{C})}{k!}}(x-\xi _{C})^{k}(x-a)}

{\displaystyle R_{k}(x)={\frac {f^{(k+1)}(\xi _{C})}{k!}}(x-\xi _{C})^{k}(x-a)}

para algún número real ξC entre a y x. Esta es la forma de Cauchy6 del resto.

Usualmente, esta refinación del teorema de Taylor, se demuestra con el teorema del
valor medio, de ahí su nombre. También se pueden hallar expresiones similares. Por
ejemplo, si G(t) es continua en el intervalo cerrado y diferenciable con derivadas
no nulas en el intervalo abierto entre a y x, entonces

{\displaystyle R_{k}(x)={\frac {f^{(k+1)}(\xi )}{k!}}(x-\xi )^{k}{\frac {G(x)-G(a)}

{G'(\xi )}}}{\displaystyle R_{k}(x)={\frac {f^{(k+1)}(\xi )}{k!}}(x-\xi )^{k}{\frac
{G(x)-G(a)}{G'(\xi )}}}
para algún número ξ entre a y x. Esta versión generaliza las formas de Lagrange y
Cauchy del resto, que son tomadas como casos especiales, y se demuestran usando el
teorema del valor medio de Cauchy.

En el caso de la forma integral del resto, se requieren conceptos de la teoría

integral de Lebesgue para una generalidad completa. Sin embargo, se mantiene el
concepto que provee la integral de Riemann donde la derivada (k + 1)-ésima de f es
continua en el intervalo cerrado [a,x].

Forma integral del resto.7 Sea f (k), continua absolutamente en el intervalo

cerrado entre a y x. Entonces

(3){\displaystyle R_{k}(x)=\int _{a}^{x}{\frac {f^{(k+1)}(t)}{k!}}(x-t)^{k}\,dt.}

{\displaystyle R_{k}(x)=\int _{a}^{x}{\frac {f^{(k+1)}(t)}{k!}}(x-t)^{k}\,dt.}

Debido a la continuidad absoluta de f (k) en el intervalo cerrado entre a y x su

derivada f (k+1) existe como una función L1, y el resultado puede probarse con un
cálculo formal usando el teorema fundamental del cálculo e integración por partes.

Para algunas funciones {\displaystyle f(x)}f(x), se puede probar que el resto,

{\displaystyle R_{n}(f)}{\displaystyle R_{n}(f)}, se aproxima a cero cuando
{\displaystyle n}n se acerca al infinito; dichas funciones pueden ser expresadas
como series de Taylor en un entorno reducido alrededor de un punto {\displaystyle
a}a y son denominadas funciones analíticas.

El teorema de Taylor con {\displaystyle R_{n}(f)}{\displaystyle R_{n}(f)} expresado

de la segunda forma es también válido si la función {\displaystyle f}f tiene
números complejos o valores vectoriales. Además existe una variación del teorema de
Taylor para funciones con múltiples variables.

Acotación del resto

Suele ser muy útil en la práctica acotar el término del resto de la aproximación de
Taylor, en lugar de tener la fórmula exacta de este. Suponiendo que f es
continuamente diferenciable {\displaystyle k+1}{\displaystyle k+1} veces en un
intervalo {\displaystyle I}I que contiene a {\displaystyle a}a. Suponemos que hay
constantes {\displaystyle q}q y {\displaystyle Q}Q tal que

{\displaystyle q\leq f^{(k+1)}(x)\leq Q}{\displaystyle q\leq f^{(k+1)}(x)\leq Q}

en el intervalo {\displaystyle I}I. Entonces el término del resto satisface la
desigualdad8

{\displaystyle q{\frac {(x-a)^{k+1}}{(k+1)!}}\leq R_{k}(x)\leq Q{\frac {(x-

a)^{k+1}}{(k+1)!}}.}{\displaystyle q{\frac {(x-a)^{k+1}}{(k+1)!}}\leq R_{k}(x)\leq
Q{\frac {(x-a)^{k+1}}{(k+1)!}}.}
Si {\displaystyle x>a}{\displaystyle x>a}, y similarmente si {\displaystyle x<a}
{\displaystyle x<a}. Esta es una consecuencia simple de la forma de Lagrange del
resto. En particular, si

{\displaystyle |f^{(k+1)}(x)|\leq M}{\displaystyle |f^{(k+1)}(x)|\leq M}

sobre un intervalo {\displaystyle I=(a-r,a+r)}{\displaystyle I=(a-r,a+r)} con algún
{\displaystyle r>0}{\displaystyle r>0} , entonces

{\displaystyle |R_{k}(x)|\leq M{\frac {|x-a|^{k+1}}{(k+1)!}}\leq M{\frac {r^{k+1}}

{(k+1)!}}}{\displaystyle |R_{k}(x)|\leq M{\frac {|x-a|^{k+1}}{(k+1)!}}\leq M{\frac
{r^{k+1}}{(k+1)!}}}
para todo {\displaystyle x\in (a-r,a+r)}{\displaystyle x\in (a-r,a+r)}. A la
segunda desigualdad se la llama acotación uniforme, porque permanece uniformemente
para todo x sobre el intervalo {\displaystyle (a-r,a+r)}{\displaystyle (a-r,a+r)}.

Ejemplo

Aproximación de ex (azul) por su polinomio de Taylor Pk de orden k = 1, …, 7

centrado en x = 0 (rojo)
Suponiendo que se desea aproximar la función f (x) = ex en el intervalo [−1,1] con
un error no mayor a 10−5. Este ejemplo necesita que se conozcan las siguientes
propiedades de la función exponencial:

(*){\displaystyle \qquad e^{0}=1,\qquad {\frac {d}{dx}}e^{x}=e^{x},\qquad

e^{x}>0,\qquad x\in \mathbb {R} .}{\displaystyle \qquad e^{0}=1,\qquad {\frac {d}
{dx}}e^{x}=e^{x},\qquad e^{x}>0,\qquad x\in \mathbb {R} .}

De estas propiedades se tiene que f (k)(x) = ex para todo k, y en particular, f (k)

(0) = 1. Entonces el polinomio de Taylor de orden k de f en 0 y su resto bajo la
forma de Lagrange son:

{\displaystyle P_{k}(x)=1+x+{\frac {x^{2}}{2!}}+\cdots +{\frac {x^{k}}{k!}},\qquad

R_{k}(x)={\frac {e^{\xi }}{(k+1)!}}x^{k+1},}{\displaystyle P_{k}(x)=1+x+{\frac
{x^{2}}{2!}}+\cdots +{\frac {x^{k}}{k!}},\qquad R_{k}(x)={\frac {e^{\xi }}
{(k+1)!}}x^{k+1},}
donde ξ es algún número entre 0 y x. Ya que ex es creciente (*), podemos usar
simplemente que ex ≤ 1 para x ∈ [−1, 0] para acotar el resto sobre el subintervalo
[−1, 0]. Para obtener una cota superior para el resto en [0,1], usamos la propiedad
eξ < ex para 0<ξ<x para acotar

{\displaystyle e^{x}=1+x+{\frac {e^{\xi }}{2}}x^{2}<1+x+{\frac {e^{x}}

{2}}x^{2},\qquad 0<x\leq 1}{\displaystyle e^{x}=1+x+{\frac {e^{\xi }}{2}}x^{2}<1+x+
{\frac {e^{x}}{2}}x^{2},\qquad 0<x\leq 1}
usando la expansión de Taylor de segundo orden. Entonces resolvemos ex para deducir
que

{\displaystyle e^{x}\leq {\frac {1+x}{1-{\frac {x^{2}}{2}}}}=2{\frac {1+x}{2-

x^{2}}}\leq 4,\qquad 0\leq x\leq 1}{\displaystyle e^{x}\leq {\frac {1+x}{1-{\frac
{x^{2}}{2}}}}=2{\frac {1+x}{2-x^{2}}}\leq 4,\qquad 0\leq x\leq 1}
simplemente maximizando el numerador y minimizando el denominador. Combinando estas
acotaciones para ex vemos que

{\displaystyle |R_{k}(x)|\leq {\frac {4|x|^{k+1}}{(k+1)!}}\leq {\frac {4}

{(k+1)!}},\qquad -1\leq x\leq 1,}{\displaystyle |R_{k}(x)|\leq {\frac {4|x|^{k+1}}
{(k+1)!}}\leq {\frac {4}{(k+1)!}},\qquad -1\leq x\leq 1,}
así se alcanza la precisión requerida, donde

{\displaystyle {\frac {4}{(k+1)!}}<10^{-5}\quad \Longleftrightarrow \quad 4\cdot

10^{5}<(k+1)!\quad \Longleftrightarrow \quad k\geq 9.}{\displaystyle {\frac {4}
{(k+1)!}}<10^{-5}\quad \Longleftrightarrow \quad 4\cdot 10^{5}<(k+1)!\quad
\Longleftrightarrow \quad k\geq 9.}
(ver factorial o calcular manualmente los valores 9!=362 880 y 10!=3 628 800). Como
conclusión, el teorema de Taylor permite la aproximación

{\displaystyle e^{x}=1+x+{\frac {x^{2}}{2!}}+\cdots +{\frac {x^{9}}{9!}}+R_{9}

(x),\qquad |R_{9}(x)|<10^{-5},\qquad -1\leq x\leq 1.}{\displaystyle e^{x}=1+x+
{\frac {x^{2}}{2!}}+\cdots +{\frac {x^{9}}{9!}}+R_{9}(x),\qquad |R_{9}(x)|<10^{-
5},\qquad -1\leq x\leq 1.}
Luego, esta aproximación nos da la expresión decimal e ≈ 2,71828, correcta hasta
cinco dígitos decimales.

Demostración
Sea9

{\displaystyle h_{k}(x)={\begin{cases}{\frac {f(x)-P(x)}{(x-a)^{k}}}&x\not

=a\\0&x=a\end{cases}}}{\displaystyle h_{k}(x)={\begin{cases}{\frac {f(x)-P(x)}{(x-
a)^{k}}}&x\not =a\\0&x=a\end{cases}}}
donde, como dice en el enunciado del teorema de Taylor,

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

{f^{(k)}(a)}{k!}}(x-a)^{k}.}{\displaystyle P(x)=f(a)+f'(a)(x-a)+{\frac {f''(a)}
{2!}}(x-a)^{2}+\cdots +{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}.}
Es suficiente mostrar que

{\displaystyle \lim _{x\to a}h_{k}(x)=0.}{\displaystyle \lim _{x\to a}h_{k}(x)=0.}

La demostración de (1) se basa en la aplicación repetida de la regla de L'Hôpital.
Se observa que, para cada j = 0, 1, …, k−1, {\displaystyle f^{(j)}(a)=P^{(j)}(a)}
{\displaystyle f^{(j)}(a)=P^{(j)}(a)}. De aquí que cada una de los primeras k−1
derivadas del numerador en {\displaystyle h_{k}(x)}{\displaystyle h_{k}(x)} se
anula en {\displaystyle x=a}{\displaystyle x=a}, y lo mismo sucede con el
denominador. También, ya que la condición de que la función f sea k veces
diferenciable en un punto requiere diferenciabilidad de orden k−1 en un entorno de
dicho punto (esto es así, porque la diferenciabilidad requiere una función definida
en un entorno del punto), el numerador y sus k − 2 derivadas son diferenciables en
un entorno de a. Claramente, el denominador también satisface dicha condición, y
adicionalmente, no se anula a menos que x=a, por lo tanto se satisfacen todas las
condiciones para la regla de L'Hopital, y así se justifica su utilización. Por lo
tanto

{\displaystyle {\begin{aligned}\lim _{x\to a}{\frac {f(x)-P(x)}{(x-a)^{k}}}&=\lim

_{x\to a}{\frac {{\frac {d}{dx}}(f(x)-P(x))}{{\frac {d}{dx}}(x-a)^{k}}}=\cdots
=\lim _{x\to a}{\frac {{\frac {d^{k-1}}{dx^{k-1}}}(f(x)-P(x))}{{\frac {d^{k-1}}
{dx^{k-1}}}(x-a)^{k}}}\\&={\frac {1}{k!}}\lim _{x\to a}{\frac {f^{(k-1)}(x)-P^{(k-
1)}(x)}{x-a}}\\&={\frac {1}{k!}}(f^{(k)}(a)-f^{(k)}(a))=0\end{aligned}}}
{\displaystyle {\begin{aligned}\lim _{x\to a}{\frac {f(x)-P(x)}{(x-a)^{k}}}&=\lim
_{x\to a}{\frac {{\frac {d}{dx}}(f(x)-P(x))}{{\frac {d}{dx}}(x-a)^{k}}}=\cdots
=\lim _{x\to a}{\frac {{\frac {d^{k-1}}{dx^{k-1}}}(f(x)-P(x))}{{\frac {d^{k-1}}
{dx^{k-1}}}(x-a)^{k}}}\\&={\frac {1}{k!}}\lim _{x\to a}{\frac {f^{(k-1)}(x)-P^{(k-
1)}(x)}{x-a}}\\&={\frac {1}{k!}}(f^{(k)}(a)-f^{(k)}(a))=0\end{aligned}}}
donde queda la anteúltima igualdad por la definición de la derivada en x = a.

Obtención de la forma de valor medio del resto

Sea G una función real, continua sobre un intervalo cerrado entre a y x y
diferenciable con derivadas no nulas sobre el intervalo abierto entre a y x, y la
función que se define como

{\displaystyle F(t)=f(t)+f'(t)(x-t)+{\frac {f''(t)}{2!}}(x-t)^{2}+\cdots +{\frac

{f^{(k)}(t)}{k!}}(x-t)^{k}.}{\displaystyle F(t)=f(t)+f'(t)(x-t)+{\frac {f''(t)}
{2!}}(x-t)^{2}+\cdots +{\frac {f^{(k)}(t)}{k!}}(x-t)^{k}.}
Entonces, por el teorema del valor medio de Cauchy,

{\displaystyle (*)\quad {\frac {F'(\xi )}{G'(\xi )}}={\frac {F(x)-F(a)}{G(x)-

G(a)}}}{\displaystyle (*)\quad {\frac {F'(\xi )}{G'(\xi )}}={\frac {F(x)-F(a)}
{G(x)-G(a)}}}
para algún ξ sobre el intervalo abierto entre a y x. Se observa que el numerador
F(x) − F(a) = Rk(x) es exactamente el resto del polinomio de Taylor para f(x).
Calculando

{\displaystyle {\begin{aligned}F'(t)={}&f'(t)+{\big (}f''(t)(x-t)-f'(t){\big )}

+\left({\frac {f^{(3)}(t)}{2!}}(x-t)^{2}-{\frac {f^{(2)}(t)}{1!}}(x-t)\right)
+\cdots \\&\cdots +\left({\frac {f^{(k+1)}(t)}{k!}}(x-t)^{k}-{\frac {f^{(k)}(t)}
{(k-1)!}}(x-t)^{k-1}\right)={\frac {f^{(k+1)}(t)}{k!}}(x-t)^{k},\end{aligned}}}
{\displaystyle {\begin{aligned}F'(t)={}&f'(t)+{\big (}f''(t)(x-t)-f'(t){\big )}
+\left({\frac {f^{(3)}(t)}{2!}}(x-t)^{2}-{\frac {f^{(2)}(t)}{1!}}(x-t)\right)
+\cdots \\&\cdots +\left({\frac {f^{(k+1)}(t)}{k!}}(x-t)^{k}-{\frac {f^{(k)}(t)}
{(k-1)!}}(x-t)^{k-1}\right)={\frac {f^{(k+1)}(t)}{k!}}(x-t)^{k},\end{aligned}}}
reemplazando en (*) y reorganizando los términos para hallar que

{\displaystyle R_{k}(x)={\frac {f^{(k+1)}(\xi )}{k!}}(x-\xi )^{k}{\frac {G(x)-G(a)}

{G'(\xi )}}.}{\displaystyle R_{k}(x)={\frac {f^{(k+1)}(\xi )}{k!}}(x-\xi )^{k}
{\frac {G(x)-G(a)}{G'(\xi )}}.}
Esta es la forma del término que mencionamos como «resto», después enunciamos el
teorema de Taylor con el resto bajo la forma del valor medio. La forma de Lagrange
del resto puede obtenerse haciendo {\displaystyle G(t)=(t-x)^{k+1}}{\displaystyle
G(t)=(t-x)^{k+1}} y la forma de Cauchy haciendo {\displaystyle G(t)=t-a}
{\displaystyle G(t)=t-a}.

Observación. Usando este método también se puede recurrir a la forma integral del
resto haciendo

{\displaystyle G(t)=\int _{a}^{t}{\frac {f^{(k+1)}(s)}{k!}}(x-s)^{k}\,ds,}

{\displaystyle G(t)=\int _{a}^{t}{\frac {f^{(k+1)}(s)}{k!}}(x-s)^{k}\,ds,}
pero los requerimientos de f necesitados para usar el teorema del valor medio son
más fuertes, si se tiene el objetivo de probar el caso en que f (k) es únicamente
continua absolutamente. Sin embargo, si se usa la integral de Riemann en vez de la
integral de Lebesgue, los requerimientos no pueden ser tan débiles.

Obtención de la forma integral del resto

Debido a la continuidad absoluta de f (k) sobre el intervalo cerrado entre a y x su
derivada f (k+1) existe como una función L1, y se usa el teorema fundamental del
cálculo y la integración por partes. Esta misma demostración se aplica para la
integral de Riemann teniendo en cuenta que f (k) es continua sobre el intervalo
cerrado y diferenciable sobre el intervalo abierto entre a y x, y esto permite
llegar al mismo resultado que cuando se utilizó el teorema del valor medio.

El teorema fundamental del cálculo dice que

{\displaystyle f(x)=f(a)+\int _{a}^{x}\,f'(t)\,dt.}{\displaystyle f(x)=f(a)+\int

_{a}^{x}\,f'(t)\,dt.}
A partir de aquí se usa la integración por partes y se usa una vez más el teorema
fundamental del cálculo para ver que

{\displaystyle {\begin{aligned}f(x)&=f(a)+{\Big (}xf'(x)-af'(a){\Big )}-\int

_{a}^{x}tf''(t)\,dt\\&=f(a)+x\left(f'(a)+\int _{a}^{x}f''(t)\,dt\right)-af'(a)-\int
_{a}^{x}tf''(t)\,dt\\&=f(a)+(x-a)f'(a)+\int _{a}^{x}\,(x-
t)f''(t)\,dt,\end{aligned}}}{\displaystyle {\begin{aligned}f(x)&=f(a)+{\Big
(}xf'(x)-af'(a){\Big )}-\int _{a}^{x}tf''(t)\,dt\\&=f(a)+x\left(f'(a)+\int
_{a}^{x}f''(t)\,dt\right)-af'(a)-\int _{a}^{x}tf''(t)\,dt\\&=f(a)+(x-a)f'(a)+\int
_{a}^{x}\,(x-t)f''(t)\,dt,\end{aligned}}}
que es exactamente el teorema de Taylor con resto en la forma integral para el caso
k=1. La enunciación general se demuestra usando la inducción. Suponiendo que

{\displaystyle (*)\quad f(x)=f(a)+{\frac {f'(a)}{1!}}(x-a)+\cdots +{\frac {f^{(k)}

(a)}{k!}}(x-a)^{k}+\int _{a}^{x}{\frac {f^{(k+1)}(t)}{k!}}(x-t)^{k}\,dt.}
{\displaystyle (*)\quad f(x)=f(a)+{\frac {f'(a)}{1!}}(x-a)+\cdots +{\frac {f^{(k)}
(a)}{k!}}(x-a)^{k}+\int _{a}^{x}{\frac {f^{(k+1)}(t)}{k!}}(x-t)^{k}\,dt.}
Integrando el término del resto por partes se llega a que

{\displaystyle {\begin{aligned}\int _{a}^{x}{\frac {f^{(k+1)}(t)}{k!}}(x-

t)^{k}\,dt=&-\left[{\frac {f^{(k+1)}(t)}{(k+1)k!}}(x-t)^{k+1}\right]_{a}^{x}+\int
_{a}^{x}{\frac {f^{(k+2)}(t)}{(k+1)k!}}(x-t)^{k+1}\,dt\\=&\ {\frac {f^{(k+1)}(a)}
{(k+1)!}}(x-a)^{k+1}+\int _{a}^{x}{\frac {f^{(k+2)}(t)}{(k+1)!}}(x-
t)^{k+1}\,dt.\end{aligned}}}{\displaystyle {\begin{aligned}\int _{a}^{x}{\frac
{f^{(k+1)}(t)}{k!}}(x-t)^{k}\,dt=&-\left[{\frac {f^{(k+1)}(t)}{(k+1)k!}}(x-
t)^{k+1}\right]_{a}^{x}+\int _{a}^{x}{\frac {f^{(k+2)}(t)}{(k+1)k!}}(x-
t)^{k+1}\,dt\\=&\ {\frac {f^{(k+1)}(a)}{(k+1)!}}(x-a)^{k+1}+\int _{a}^{x}{\frac
{f^{(k+2)}(t)}{(k+1)!}}(x-t)^{k+1}\,dt.\end{aligned}}}
Substituyendo esto en la fórmula in (*) se muestra que si se tiene para el valork,
debe obtenerse también para el valor k + 1. Por lo tanto, ya que se tiene para k =
1, se tiene para cualquier valor entero positivo k.

Caso de varias variables

El teorema de Taylor anterior (1) puede generalizarse al caso de varias variables
como se explica a continuación. Sea B una bola en {\displaystyle \mathbb {R}
^{n}}\mathbb {R} ^{n} centrada en a, y f una función real definida sobre la
clausura {\displaystyle {\bar {B}}}{\displaystyle {\bar {B}}} cuyas derivadas
parciales hasta de orden n+1 son todas continuas en cada punto de la bola. El
teorema de Taylor establece que para cualquier {\displaystyle x\in B}{\displaystyle
x\in B}:

{\displaystyle f(x)=\sum _{|\alpha |=0}^{n}{\frac {1}{\alpha !}}{\frac {\partial

^{\alpha }f(a)}{\partial x^{\alpha }}}(x-a)^{\alpha }+\sum _{|\alpha |
=n+1}R_{\alpha }(x)(x-a)^{\alpha }}{\displaystyle f(x)=\sum _{|\alpha |=0}^{n}
{\frac {1}{\alpha !}}{\frac {\partial ^{\alpha }f(a)}{\partial x^{\alpha }}}(x-
a)^{\alpha }+\sum _{|\alpha |=n+1}R_{\alpha }(x)(x-a)^{\alpha }},

donde la suma se extiende sobre los multi-índices α (esta fórmula usa la notación
multi-índice). El resto satisface la desigualdad:
{\displaystyle |R_{\alpha }(x)|\leq \sup _{y\in {\bar {B}}}\left|{\frac {1}
{\alpha !}}{\frac {\partial ^{\alpha }f(y)}{\partial x^{\alpha }}}\right|}
{\displaystyle |R_{\alpha }(x)|\leq \sup _{y\in {\bar {B}}}\left|{\frac {1}
{\alpha !}}{\frac {\partial ^{\alpha }f(y)}{\partial x^{\alpha }}}\right|}

para todo α con |α|=n+1. Tal como sucede en el caso de una variable, el resto puede
expresarse explícitamente en términos de derivadas superiores (véase la
demostración para los detalles).

Demostración
Para demostrar el teorema de Taylor para el caso multidimensional, considérese un
función {\displaystyle f:\mathbb {R} ^{n}\to \mathbb {R} }{\displaystyle f:\mathbb
{R} ^{n}\to \mathbb {R} } o campo escalar, que suponemos continuo y, para
simplificar lo expuesto (aunque una generalización es trivial), de clase
{\displaystyle C^{\infty }}{\displaystyle C^{\infty }}. Sea {\displaystyle \mathbf
{r} (t)}{\displaystyle \mathbf {r} (t)} una función vectorial que va de
{\displaystyle \mathbb {R} \to \mathbb {R} ^{n}}{\displaystyle \mathbb {R} \to
\mathbb {R} ^{n}}, y definámosla como {\displaystyle \mathbf {r} (t)=\mathbf {a}
+\mathbf {u} t}{\displaystyle \mathbf {r} (t)=\mathbf {a} +\mathbf {u} t} (de ahora
en adelante, se omitirán las flechas de los vectores). Pongamos {\displaystyle
\mathbf {r} (t)=\mathbf {y} }{\displaystyle \mathbf {r} (t)=\mathbf {y} } Ahora
hagamos {\displaystyle g(t)=f[\mathbf {r} (t)]}{\displaystyle g(t)=f[\mathbf {r}
(t)]} y recordemos que {\displaystyle g^{\prime }(t)=\nabla f(\mathbf {y} )\mathbf
{r} ^{\prime }(t)}{\displaystyle g^{\prime }(t)=\nabla f(\mathbf {y} )\mathbf {r}
^{\prime }(t)}. Notemos ahora que:

{\displaystyle g^{\prime \prime }(t)=u_{1}[D_{11}f(\mathbf {y} )u_{1}+..

+D_{1n}f(\mathbf {y} )u_{n}]+\ldots +u_{n}[D_{n1}f(\mathbf {y} )u_{1}+..
+D_{nn}f(\mathbf {y} )u_{n}]=\sum _{j=1}^{n}\sum _{i=1}^{n}{\dfrac {\partial
^{2}f(\mathbf {y} )}{\partial x_{j}\partial x_{i}}}u_{j}u_{i}}{\displaystyle
g^{\prime \prime }(t)=u_{1}[D_{11}f(\mathbf {y} )u_{1}+..+D_{1n}f(\mathbf {y} )
u_{n}]+\ldots +u_{n}[D_{n1}f(\mathbf {y} )u_{1}+..+D_{nn}f(\mathbf {y} )u_{n}]=\sum
_{j=1}^{n}\sum _{i=1}^{n}{\dfrac {\partial ^{2}f(\mathbf {y} )}{\partial
x_{j}\partial x_{i}}}u_{j}u_{i}}

Ahora, derivando sucesivas veces, encontramos que podemos poner de forma muy
cómoda:

{\displaystyle g^{(n)}(t)=(\mathbf {u} \cdot \nabla )^{n}f(\mathbf {y} )}

{\displaystyle g^{(n)}(t)=(\mathbf {u} \cdot \nabla )^{n}f(\mathbf {y} )}

donde el producto escalar del vector {\displaystyle \mathbf {u} } \mathbf{u} con el
gradiente {\displaystyle \nabla }{\displaystyle \nabla }

{\displaystyle \mathbf {u} \cdot \nabla =u_{1}\partial _{1}+\cdots +u_{n}\partial

_{n}}{\displaystyle \mathbf {u} \cdot \nabla =u_{1}\partial _{1}+\cdots
+u_{n}\partial _{n}}

representa la derivada direccional, y el exponente {\displaystyle n} n sobre ella

es entendido como las sucesivas veces que la hacemos sobre la función; es decir,
hacemos la derivada direccional {\displaystyle n} n veces. Ahora, empleando el
teorema de Taylor para una variable real, expandimos {\displaystyle g(t)}
{\displaystyle g(t)} en su serie de McLaurin:

{\displaystyle g(t)=g(0)+g^{\prime }(0)t+{\dfrac {g^{\prime \prime }(0)}

{2!}}t^{2}\ldots =\sum _{k=0}^{\infty }{\dfrac {g^{(k)}(0)}{k!}}t^{k}}
{\displaystyle g(t)=g(0)+g^{\prime }(0)t+{\dfrac {g^{\prime \prime }(0)}
{2!}}t^{2}\ldots =\sum _{k=0}^{\infty }{\dfrac {g^{(k)}(0)}{k!}}t^{k}}
y haciendo t=1 y sustituyendo las derivadas por las expresiones antes hallada se
evidencia que:

{\displaystyle f(\mathbf {a} +\mathbf {u} )=f(\mathbf {a} )+(\mathbf {u} \cdot
\nabla )f(\mathbf {a} )+{\dfrac {(\mathbf {u} \cdot \nabla )^{2}f(\mathbf {a} )}
{2!}}+\dots =\sum _{k=0}^{\infty }{\dfrac {(\mathbf {u} \cdot \nabla )^{k}f(\mathbf
{a} )}{k!}}}{\displaystyle f(\mathbf {a} +\mathbf {u} )=f(\mathbf {a} )+(\mathbf
{u} \cdot \nabla )f(\mathbf {a} )+{\dfrac {(\mathbf {u} \cdot \nabla )^{2}f(\mathbf
{a} )}{2!}}+\dots =\sum _{k=0}^{\infty }{\dfrac {(\mathbf {u} \cdot \nabla )
^{k}f(\mathbf {a} )}{k!}}}

Obsérvese que el primer término aparece el gradiente y en el segundo la matriz

hessiana, pero escrito con esta notación particular que resulta más cómoda y
compacta. La expresión obtenida es equivalente a la expresada más arriba mediante
la notación multiíndice.

Referencias
Kline, 1972, pp. 442,464
Genocchi, Angelo; Peano, Giuseppe (1884), Calcolo differenziale e principii di
calcolo integrale (en italiano), (N. 67, pp. XVII–XIX): Fratelli Bocca ed..
Spivak, Michael (1994), Calculus (3rd edición), Houston, TX: Publish or Perish, p.
383, ISBN 978-0-914098-89-8.
Hazewinkel, Michiel, ed. (2001), «Taylor formula», Encyclopaedia of Mathematics
(en inglés), Springer, ISBN 978-1556080104.
Kline, 1998, §20.3; Apostol, 2005, §7.7.
Apostol, 2005, §7.7.
Apostol, 2005, §7.5.
Apostol, 2005, §7.6
Stromberg, 1981
Bibliografía
Bartle, R. G.; Sherbert, D. R. (1990). Introducción al Análisis Matemático de una
Variable. Limusa. ISBN 9681817257.
Apostol, Tom M. (2005). Cálculus. Cálculo con funciones de una variable, con una
introducción al álgebra lineal (Francisco Vélez Cantarell, trad.) 1. Reverté. ISBN
9788429150025. Resumen divulgativo.
Kline, Morris (1972). Mathematical thought from ancient to modern times, Volume 2
(en inglés). Oxford University Press.
Kline, Morris (1998). Calculus: An Intuitive and Physical Approach (en inglés).
Dover. ISBN 0-486-40453-6.
Stromberg, Karl (1981). Introduction to classical real analysis (en inglés).
Wadsworth. ISBN 978-0-534-98012-2.
Control de autoridades
Proyectos WikimediaWd Datos: Q1137206IdentificadoresGND: 4184549-3Microsoft
Academic: 192523876
Categorías: Teoremas de cálculoTeoremas epónimos de las matemáticas
Menú de navegación
No has accedido
Discusión
Contribuciones
Crear una cuenta
Acceder
ArtículoDiscusión
LeerEditarVer historial
Buscar
Buscar en Wikipedia
Portada
Portal de la comunidad
Actualidad
Cambios recientes
Páginas nuevas
Página aleatoria
Ayuda
Donaciones
Notificar un error
Herramientas
Lo que enlaza aquí
Cambios en enlazadas
Subir archivo
Páginas especiales
Enlace permanente
Información de la página
Citar esta página
Elemento de Wikidata
Imprimir/exportar
Crear un libro
Descargar como PDF
Versión para imprimir

En otros idiomas
‫العربية‬
Deutsch
English
Français
हिन्दी
Bahasa Indonesia
Português
Русский
中文
23 más
Editar enlaces
Esta página se editó por última vez el 9 oct 2021 a las 03:52.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir
Igual 3.0; pueden aplicarse cláusulas adicionales. Al usar este sitio, usted acepta
nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una
organización sin ánimo de lucro.
Política de privacidadAcerca de WikipediaLimitación de responsabilidadVersión para
móvilesDesarrolladoresEstadísticasDeclaración de cookiesWikimedia FoundationPowered
by MediaWiki

En matemáticas, una fracción, número fraccionario, es la expresión de una cantidad

dividida entre otra cantidad; es decir que representa un cociente no efectuado de
números. Por razones históricas también se les llama fracción común, fracción mixta
o fracción decimal. Las fracciones comunes se componen de: numerador, denominador y
línea divisora entre ambos. En una fracción común el denominador "b" expresa la
cantidad de partes iguales que representan la unidad, y el numerador "a" indica
cuántas de ellas se toman.