Introducción

Una intuición que se obtiene de un primer curso de cálculo diferencial e integral es que las funciones que tienen muchas derivadas «se parecen mucho a polinomios», en el sentido de que podemos aproximarlas apropiadamente con este tipo de expresiones. Esta intuición nos las da el teorema del polinomio de Taylor. En muchas aplicaciones, es conveniente estudiar polinomios en vez de funciones en general, así que sería ideal tener una versión de este mismo resultado para cálculo de varias variables. En esta entrada recordaremos un poco del caso unidimensional y luego enunciaremos la teoría correspondiente para el polinomio de Taylor.

Recordatorio de polinomio de Taylor en $\mathbb{R}$

Recordemos qué es lo que dice el teorema del polinomio de Taylor para el caso unidimensional. Esto nos ayudará pues lo usaremos posteriormente para enunciar una versión para varias variables.

Teorema. Sea $f:S\subseteq \mathbb{R}\to \mathbb{R}$ una función y $a\in int(S)$ de tal manera que existen $f^{\prime }(a),\dots ,f^{(k)}(a)$. Sea $$a_{\ell }=\frac{f^{(\ell )}(a)}{\ell !}$$ con $0\le \ell \le k$ y definamos a partir de esto $$T_{k,a}(x)=a_0+a_1(x-a)+\cdots +a_k(x-a{)}^k,$$

al que llamamos el polinomio de Taylor de $f$ de grado $k$ alrededor de $a$.

Entonces $$\underset{x\to a}{lim}\frac{f(x)-T_{k,a}(x)}{(x-a{)}^k}=0.$$

La demostración de este teorema la puedes encontrar en la entrada El Polinomio de Taylor (Parte 1) del curso de Cálculo I. Es recomendable que consultes esta entrada para recordar todo lo referente a este tema en una variable real.

Pidiendo un poco más de regularidad, se puede estudiar el residuo $$R_{k,a}(x):=f(x)-T_{k,a}(x).$$

Por ejemplo, se puede demostrar el siguiente teorema.

Teorema. Sea $f:S\subseteq \mathbb{R}\to \mathbb{R}$. Supongamos que $f^{\prime },\dots ,f^{(k+1)}$ están definidas sobre $[a,x]$. Entonces, se puede expresar el residuo del teorema de Taylor como

$$\begin{array}{}\text{(1)}& R_{k,a}(x)=\frac{f^{(k+1)}(\xi )}{(k+1)!}(x-a{)}^{k+1}.\end{array}$$

para algún $\xi \in [a,x]$.

Para la demostración de este teorema y otras expresiones del residuo (por ejemplo, una expresión en términos de integrales), puedes visitar el curso de Cálculo II, en particular la entrada Series de Taylor y de Maclaurin.

Pensemos de momento que $f$ tiene derivadas parciales de todos los órdenes (es decir, que es $C^{\mathrm{\infty }}$). En este caso, $f$ tiene polinomios de Taylor de todos los grados. De entrada, no tendría por qué suceder que $\underset{k\to \mathrm{\infty }}{lim}{T}_{k,a}(x)=f(x)$, y de hecho hay contraejemplos para ello. Pero si además tenemos que se tiene $\underset{k\to \mathrm{\infty }}{lim}{R}_{k,a}(x)=0$, entonces la igualdad anterior sí se cumple. En este caso, verdaderamente $f$ se puede expresar como un polinomio infinito (una serie de potencias) alrededor de $a$ de la siguiente manera:

$$\begin{array}{}\text{(2)}& f(x)=\sum _{i=0}^{\mathrm{\infty }}\frac{f^{(i)}(a)}{i!}(x-a{)}^i.\end{array}$$

Ejemplo. Calculemos en $0$ el polinomio de Taylor de $f(x)=e^x$. Para cada entero positivo $k$ se tiene:

$$\frac{f^{(k)}(0)}{k!}{x}^k=\frac{e^0}{k!}{x}^k=\frac{x^k}{k!}.$$

De aquí, por la forma que toma el residuo, existe $\xi \in [0,x]$ para el cual

$$R_{k,0}(x)=\frac{e^{\xi }}{(k+1)!}{x}^{k+1}.$$

aquí $e^{\xi }$ está acotado y el cociente $\frac{x^{k+1}}{(k+1)!}$ se va a cero conforme $k\to \mathrm{\infty }$. De este modo, tenemos la igualdad

$$e^x=1+\frac{x}{1}+\frac{x^2}{2!}+\frac{x^3}{3!}+\frac{x^4}{4!}+\frac{x^5}{5!}+\dots .$$

$\mathrm{△}$

Preliminares para polinomio de Taylor para campos escalares

La manera en la cual generalizaremos el teorema del polinomio de Taylor será a través de evaluar nuestro campo escalar sobre un segmento, muy parecido a como generalizamos el teorema del valor medio. Pongamos la situación en contexto.

Tomemos un abierto $S\subseteq {\mathbb{R}}^n$ y un campo escalar $f:S\to \mathbb{R}$. Tomemos vectores
$$\begin{array}{r}\overline{a}=(a_1,\dots ,a_n)\\ \overline{v}=(v_1,\dots ,v_n),\end{array}$$

y $t$ en el intervalo $[0,1]$. Supondremos además que para todo dicho $t$ se cumple $\overline{a}+t\overline{v}\in S$.

Podemos recorrer el segmento de $\overline{a}$ a $\overline{a}+\overline{v}$ mediante la trayectoria $\gamma :[0,1]\to {\mathbb{R}}^n$ dada por $\gamma (t)=\overline{a}+t\overline{v}$. Si componemos a esta trayectoria con la función $f$, obtenemos una función $G:[0,1]\to \mathbb{R}$ dada por $$G(t)=(f\circ \gamma )(t)=f(\overline{a}+t\overline{v}).$$

Por la hipótesis de diferenciabilidad de $f$, es una función derivable de una variable real. Por la regla de la cadena su derivada está dada por la siguiente expresión:

$$\begin{array}{rl}{G}^{\prime }(t)& =v_1\frac{\partial f}{\partial x_1}(\overline{a}+t\overline{v})+\cdots +v_n\frac{\partial f}{\partial x_n}(\overline{a}+t\overline{v})\end{array}$$

Vamos a introducir una notación muy usada y útil para el desarrollo que estamos haciendo. Definiremos un operador con la expresión anterior simplemente como

$$G^{\prime }(t)=(\overline{v}\cdot ▽)f(\overline{a}+t\overline{v}).$$

Esta expresión no se sigue de manera tan formal de cosas que hemos hecho antes, pero observa que tiene sentido. En la expresión $\overline{v}\cdot ▽$ estamos haciendo algo así como un «producto punto de operadores». En el fondo, este operador manda a cada función diferenciable $f$ a su derivada direccional en la dirección de $\overline{v}$.

Para poder hablar de Taylor, necesitamos derivar iteradamente. Podemos entonces tomar ahora $G^{\prime }$ y derivarla nuevamente, de donde obtendríamos

$$\begin{array}{rl}{G}^{\prime \prime }(t)& =(\overline{v}\cdot ▽)G^{\prime }(\overline{a}+t\overline{v})\\ & =(\overline{v}\cdot ▽)((\overline{v}\cdot ▽)f(\overline{a}+t\overline{v}))\\ & =((\overline{v}\cdot ▽)(\overline{v}\cdot ▽))f(\overline{a}+t\overline{v}).\end{array}$$

Es importante que medites en por qué se da la redistribución de paréntesis que hicimos en la última igualdad. Simplificaremos la expresión $(\overline{v}\cdot ▽)(\overline{v}\cdot ▽)$ como $(\overline{v}\cdot ▽{)}^2$, y de manera similar definimos $(\overline{v}\cdot ▽{)}^k$ como componer el operador $k$ veces. Continuando como arriba, bajo las hipótesis adecuadas de diferenciabilidad llegamos al siguiente resultado.

Proposición. Sea $k$ un entero positivo y $f:S\subseteq {\mathbb{R}}^n\to \mathbb{R}$ con $S$ abierto y derivadas parciales continuas de orden $1,2,\dots ,k$. Sea $\overline{a}\in S$, y $\overline{v}$ un vector tal que $\overline{a}+t\overline{v}\in S$ para todo $t\in [0,1]$. Entonces:

$$\begin{array}{}\text{(3)}& {\left(\frac{d}{dt}\right)}^{k}f(\overline{a}+t\overline{v})=(\overline{v}\cdot ▽{)}^{k}f(\overline{a}+t\overline{v}).\end{array}$$

Demostración. Queda como tarea moral. Se sugiere hacerlo por inducción.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Algo sorprendente y curioso que sucede con las expresiones del estilo $(\overline{v}\cdot \mathrm{△}{)}^k$ es que «se vale el binomio de Newton» para ellas, o en general, cualquier fórmula para elevar a la $k$-ésima potencia. Esto se ve muy claro en el caso de $f:S\subset {\mathbb{R}}^2\to \mathbb{R}$ y derivadas de orden $2$. Si tenemos $\overline{v}=(v_1,v_2)$, entonces $\overline{v}\cdot ▽=v_1\frac{\partial }{\partial x}+v_2\frac{\partial }{\partial y}$. Se puede demostrar, por ejemplo, que si las $k$-ésimas parciales son continuas entonces

$${(v_1\frac{\partial }{\partial x}+v_2\frac{\partial }{\partial y})}^k=\sum _{i=0}^k(\genfrac{}{}{0ex}{}{k}{i})v_1^i{v}_2^{k-i}\frac{{\partial }^i}{\partial x^i}\frac{{\partial }^{k-i}}{\partial y^{k-i}}.$$

Un caso particular sería el de $n=2$ y $k=2$, en el que se obtiene que:

$$\begin{array}{}\text{(4)}& {(v_1\frac{\partial }{\partial x}+v_2\frac{\partial }{\partial y})}^2=v_1^2\frac{{\partial }^2}{\partial x^2}+2v_1{v}_2\frac{{\partial }^2}{\partial x\partial y}+v_2^2\frac{{\partial }^2}{\partial y^2}.\end{array}$$

En la práctica esto nos permitirá encontrar las expresiones que necesitamos para el polinomio de Taylor para campos escalares. Observa que estas expresiones son también las que nos confirman que la expresión que obtendremos será un polinomio en $v_1,v_2$ (en general, en las entradas de $\overline{v}$), pues tras aplicar el operador en $f$ y evaluar en un punto, finalmente $\text{(4)}$ quedará escrito para ciertas constantes $A,B,C$ como $$A{v}_1^2+2B{v}_1{v}_2+C{v}_2^2,$$ lo cual en efecto es un polinomio (en este caso de grado $2$ y dos variables).

Polinomio de Taylor para campos escalares

Con la notación que hemos introducido, ahora sí podemos enunciar apropiadamente el polinomio de Taylor. Pensemos en que $f$ es $k+1$ veces diferenciable y que todas esas derivadas son continuas. En la sección anterior vimos que $G=f\circ \gamma$ también sería $k+1$ veces diferenciable y dimos fórmulas para sus derivadas en términos de la notación $\overline{v}\cdot ▽$.

Aplicando el teorema de Taylor con la versión de residuo dada en la ecuación $\text{(1)}$, para la función $G$, en los puntos $a=0$, $x=1$, tenemos que existe $\xi \in [0,1]$ tal que se satisface lo siguiente:

$$G(1)=G(0)+G^{\prime }(0)+\frac{G^{(2)}(0)}{2!}+\cdots +\frac{G^{(k)}(0)}{k!}+\frac{G^{(k+1)}(\xi )}{(k+1)!}.$$

Al usar las fórmulas dadas por la ecuación $\text{(3)}$, obtenemos que

$$\begin{array}{rlr}{G}^{(s)}(0)& =(\overline{v}\cdot ▽{)}^{s}f(\overline{a})& \text{para }s\le k\\ G^{(k+1)}(\xi )& =(\overline{v}\cdot ▽{)}^{k+1}f(\overline{a}+\xi \overline{v}).\end{array}$$

Así, reescribiendo todo en términos de $f$ obtenemos que:

$$\begin{array}{}\text{(5)}& f(\overline{a}+\overline{v})=f(\overline{a})+\frac{(\overline{v}\cdot ▽)f(\overline{a})}{1!}+\cdots +\frac{(\overline{v}\cdot ▽{)}^{k}f(\overline{a})}{k!}+\frac{(\overline{v}\cdot ▽{)}^{k+1}f(\overline{a}+\tau \overline{v})}{(k+1)!}.\end{array}$$

Si de esta expresión quitamos el último término (el correspondiente al residuo) y hacemos la sustitución $\overline{w}=\overline{a}+\overline{v}$, obtenemos la siguiente expresión:

$$\begin{array}{}\text{(6)}& T_{k,\overline{a}}(\overline{w}):=f(\overline{a})+\frac{((\overline{w}-\overline{a})\cdot ▽)f(\overline{a})}{1!}+\cdots +\frac{((\overline{w}-\overline{a})\cdot ▽{)}^{k}f(\overline{a})}{k!}\end{array}$$

le llamamos el polinomio de Taylor de $f$ de grado $k$ alrededor de $\overline{a}$ y converge a $f(\overline{a})$ conforme $\overline{w}\to \overline{a}$.

Ejemplo de polinomio de Taylor para campos escalares

Ejemplo. Determinemos el polinomio de Taylor de grado 3 de la expresión $f(x,y)=e^{5x+3y}$ alrededor del punto $(0,0)$. Para ello, usaremos la expresión de la fórmula $\text{(5)}$ quitando el residuo y fórmulas tipo «binomio de Newton» como la de la ecuación $\text{(4)}$.

Comencemos con el término de grado $1$. Está dado por el operador

$$(v_1\frac{\partial }{\partial x}+v_2\frac{\partial }{\partial y})$$

que aplicado a nuestra función es

$$((v_1,v_2)\cdot ▽)f(x,y)=5v_1{e}^{5x+3y}+3v_2{e}^{5x+3y}.$$

Necesitaremos su evaluación en $(x,y)=(0,0)$, que es $5v_1+3v_2$.

Para pasar al término de segundo grado, necesitamos

$${(v_1\frac{\partial }{\partial x}+v_2\frac{\partial }{\partial y})}^2=v_1^2\frac{{\partial }^2}{\partial x^2}+2v_1{v}_2\frac{{\partial }^2}{\partial x\partial y}+v_2^2\frac{{\partial }^2}{\partial y^2}.$$

Al aplicar este operador en nuestra $f$, se obtiene:

$$((v_1,v_2)\cdot ▽{)}^{2}f(x,y)=25v_1^2{e}^{5x+3y}+30v_1{v}_2{e}^{5x+3y}+9v_2^2{e}^{5x+3y}$$

Lo necesitaremos evaluado en $(0,0)$, que es $25v_1^2+30v_1{v}_2+9v_2^2$.

Finalmente, también requeriremos del término de orden $3$, para el cual es necesario calcular el siguiente operador

$${(v_1\frac{\partial }{\partial x}+v_2\frac{\partial }{\partial y})}^3=v_1^3\frac{\partial }{\partial x^3}+3v_1^2{v}_2\frac{\partial }{\partial x^2\partial y}+3v_1{v}_2^2\frac{\partial }{\partial x\partial y^2}+v_2^3\frac{\partial }{\partial y^3},$$

y aplicarlo a nuestra $f$ para obtener

$$((v_1,v_2)\cdot ▽{)}^{3}f(x,y)=125v_1^3{e}^{5x+3y}+225v_1^2{v}_2{e}^{5x+3y}+135v_1{v}_2^2{e}^{5x+3y}+27v_2^3{e}^{5x+3y}.$$

Una vez más, requerimos la evaluación en $(0,0)$, la cual es $125v_1^3+225v_1^2{v}_2+135v_1{v}_2^2+27v_2^3$.

Juntando todo esto, obtenemos que

$$\begin{array}{rl}f(v_1,v_2)& =f(0,0)+\frac{((x,y)\cdot ▽)f(0,0)}{1!}+\frac{((x,y)\cdot ▽{)}^{2}f(0,0)}{2!}+\frac{((x,y)\cdot ▽{)}^{3}f((0,0))}{3!}\\ & =1+5v_1+3v_2+\frac{25v_1^2+30v_1{v}_2+9v_2^2}{2}+\frac{125v_1^3+225v_1^2{v}_2+135v_1{v}_2^2+27v_2^3}{6}.\end{array}$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Observa que, en efecto, obtenemos un polinomio en dos variables y de grado tres.

Los casos especiales para grado $1$ y grado $2$

Las presentaciones más clásicas del polinomio de Taylor para campos escalares de varias variables son las versiones de primero y segundo grado. Para el polinomio de primer grado, tenemos la siguiente expresión:

$$T_{1,\overline{a}}(\overline{a}+\overline{v})=f(\overline{a})+\sum _{i=1}^n(v_i)\frac{\partial f}{\partial x_i}(\overline{a}).$$

En el caso de la presentación clásica para la fórmula de segundo orden tenemos

$$\frac{(\overline{v}\cdot ▽{)}^{2}f}{2!}(\overline{a})=\sum _{i=1}^n\sum _{j=1}^n{v}_i{v}_j\frac{{\partial }^{2}f}{\partial x_j\partial x_i}(\overline{a})$$

Donde

$$T_{2,\overline{a}}(\overline{a}+\overline{v})=f(\overline{a})+\sum _{i=1}^n{v}_i\frac{\partial f}{\partial x_i}(\overline{a})+\frac{1}{2}\sum _{i=1}^n\sum _{j=1}^n{v}_i{v}_j\frac{{\partial }^{2}f}{\partial x_j\partial x_i}(\overline{a}).$$

Esta suma tendrá utilidad especial hacia el final del curso, cuando hablemos de optimización. La expresión también puede ponerse en términos de otro objeto matemático que se llama la matriz Hessiana, la cual definiremos más adelante una vez que hayamos hecho un repaso de álgebra lineal, matrices y formas cuadráticas.

Mas adelante…

Con lo que hemos trabajado hasta ahora hemos desarrollado un muy buen entendimiento de las curvas y de los campos escalares, que respectivamente son funciones $f:\mathbb{R}\to {\mathbb{R}}^m$ y $f:{\mathbb{R}}^n\to \mathbb{R}$. Sin embargo, nos gustaría ahora poder hablar con mucha mayor generalidad y entender a las funciones del estilo $f:{\mathbb{R}}^n\to {\mathbb{R}}^m$. Ya entendimos un poco de cómo son en términos de continuidad, cuando hablamos de la topología de ${\mathbb{R}}^n$. Sin embargo, para poder hablar de su diferenciabilidad y de otros resultados teóricos será necesario hacer un repaso de algunos conceptos adicionales de álgebra lineal. Por esta razón, en la siguiente unidad hablaremos de temas como transformaciones lineales, matrices, sistemas de ecuaciones, formas lineales y bilineales.

Tarea moral

1. Encuentra el polinomio de Taylor de primer grado para las siguientes funciones:
   • $f(x,y)=e^{(}x+y)$
   • $f(x,y)=e^{sen(x+y)}$
   • $f(x,y)=x^2{y}^2+x+y$
2. Calcula el polinomio de Taylor de segundo grado para los siguientes campos escalares en el punto dado:
   • $f(x,y)=x^2+xy$ en el punto $(1,1)$.
   • $f(x,y,z)=xsen(yz)$ alrededor del punto $(\pi ,\pi ,\pi )$.
3. Demuestra por inducción la fórmula $${\left(\frac{d}{dt}\right)}^{k}f(\overline{a}+t\overline{v})=(\overline{v}\cdot ▽{)}^{k}f(\overline{a}+t\overline{v}).$$
4. Demuestra por inducción $${(x\frac{\partial }{\partial x}+y\frac{\partial }{\partial y})}^k=\sum _{i=1}^k(\genfrac{}{}{0ex}{}{k}{i})x^i{y}^{k-i}\frac{{\partial }^i}{\partial x^i}\frac{{\partial }^{k-i}}{\partial y^{k-i}}.$$
5. En esta entrada sólo discutimos con detalle lo que pasa con el polinomio de Taylor «hasta cierto grado $k$». Sin embargo, no dimos una versión que generalice el polinomio de Taylor para cuando usamos todos los términos posibles (como en la ecuación $\text{(2)}$). Observa que en el recordatorio de una variable real sí pusimos el resultado para la serie de Taylor. Enuncia y demuestra una versión para campos escalares.

Entradas relacionadas

• Ir a Cálculo Diferencial e Integral III
• Entrada anterior del curso: Derivadas parciales de orden superior
• Entrada siguiente del curso: Matrices