Vous êtes sur la page 1sur 7

C�lculo vectorial

Ir a la navegaci�nIr a la b�squeda
El c�lculo vectorial, an�lisis vectorial o c�lculo multivariable es un campo de las
matem�ticas referidas al an�lisis real multivariable de vectores en 2 o m�s
dimensiones. Es un enfoque de la geometr�a diferencial como conjunto de f�rmulas y
t�cnicas para solucionar problemas muy �tiles para la ingenier�a y la f�sica.

Consideramos los campos vectoriales, que asocian un vector a cada punto en el


espacio, y campos escalares, que asocian un escalar a cada punto en el espacio. Por
ejemplo, la temperatura de una piscina es un campo escalar: a cada punto asociamos
un valor escalar de temperatura. El flujo del agua en la misma piscina es un campo
vectorial: a cada punto asociamos un vector de velocidad.

Cuatro operaciones son importantes en el c�lculo vectorial:

Gradiente: mide la tasa y la direcci�n del cambio en un campo escalar; el gradiente


de un campo escalar es un campo vectorial.
Rotor o rotacional: mide la tendencia de un campo vectorial a rotar alrededor de un
punto; el rotor de un campo vectorial es otro campo vectorial.
Divergencia: mide la tendencia de un campo vectorial a originarse o converger hacia
ciertos puntos; la divergencia de un campo vectorial es un campo escalar.
Laplaciano: relaciona el "promedio" de una propiedad en un punto del espacio con
otra magnitud, es un operador diferencial de segundo orden.
La mayor�a de los resultados anal�ticos se entienden m�s f�cilmente usando la
maquinaria de la geometr�a diferencial, de la cual el c�lculo vectorial forma un
subconjunto.

�ndice
1 Historia
2 C�lculo diferencial en campos escalares y vectoriales
2.1 Funciones de Rn en Rm. Campos escalares y vectoriales
2.2 L�mites y continuidad
2.3 Derivadas direccionales
2.3.1 Derivada de un campo escalar respecto a un vector
2.3.2 Derivadas parciales
2.4 La diferencial
2.4.1 Definici�n de campo escalar diferenciable
2.4.2 Teorema de unicidad de la diferencial
2.4.3 Regla de la cadena
2.4.4 Diferencial de un campo vectorial
2.4.5 Diferenciabilidad implica continuidad
2.4.6 Regla de la cadena para diferenciales de campos vectoriales
2.5 Condici�n suficiente para la igualdad de las derivadas parciales mixtas
3 Aplicaciones del c�lculo diferencial
3.1 C�lculo de m�ximos, m�nimos y puntos de ensilladura para campos escalares
4 V�ase tambi�n
5 Referencias
6 Enlaces externos
Historia
El estudio de los vectores se origina con la invenci�n de los cuaterniones de
Hamilton, quien junto a otros los desarrollaron como herramienta matem�ticas para
la exploraci�n del espacio f�sico. Pero los resultados fueron desilusionantes,
porque vieron que los cuaterniones eran demasiado complicados para entenderlos con
rapidez y aplicarlos f�cilmente.

Los cuaterniones conten�an una parte escalar y una parte vectorial, y las
dificultades surg�an cuando estas partes se manejaban al mismo tiempo. Los
cient�ficos se dieron cuenta de que muchos problemas se pod�an manejar considerando
la parte vectorial por separado y as� comenz� el An�lisis Vectorial.

Este trabajo se debe principalmente al f�sico estadounidense Josiah Willard Gibbs


(1839-1903) y al f�sico matem�tico ingles Oliver Heaviside1?(1850-1925).

C�lculo diferencial en campos escalares y vectoriales


Funciones de Rn en Rm. Campos escalares y vectoriales
Formularemos las definiciones para campos vectoriales. Tambi�n ser�n v�lidas para
campos escalares. Sea

{\displaystyle \mathbf {f} :V\longrightarrow W} {\displaystyle \mathbf {f}


:V\longrightarrow W}
un campo vectorial que hace corresponder a todo punto P definido biun�vocamente por
su vector posici�n un vector {\displaystyle \mathbf {f} {\big (}\mathbf {OP}
{\big )}} {\displaystyle \mathbf {f} {\big (}\mathbf {OP} {\big )}} donde el punto
O es nuestro origen de coordenadas.

{\displaystyle V\subseteq \mathbb {R} ^{n},W\subseteq \mathbb {R} ^{m},}


{\displaystyle V\subseteq \mathbb {R} ^{n},W\subseteq \mathbb {R} ^{m},} con
{\displaystyle n>1} n>1 y {\displaystyle m\geqslant 1} {\displaystyle m\geqslant
1}. Cuando {\displaystyle m=1} m=1 tenemos un campo escalar. Para {\displaystyle
m>1} {\displaystyle m>1} tenemos un campo vectorial. Utilizaremos la norma eucl�dea
para hallar la magnitud de los vectores.
L�mites y continuidad
Sean {\displaystyle \mathbf {a} \in \mathbb {R} ^{n}} {\displaystyle \mathbf {a}
\in \mathbb {R} ^{n}} y {\displaystyle \mathbf {b} \in \mathbb {R} ^{m}.}
{\displaystyle \mathbf {b} \in \mathbb {R} ^{m}.} Escribimos:

{\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }\mathbf {f} {\big (}\mathbf {x}
{\big )}=\mathbf {b} } {\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }\mathbf
{f} {\big (}\mathbf {x} {\big )}=\mathbf {b} },
o bien,
{\displaystyle \mathbf {f} (\mathbf {x} )\rightarrow \mathbf {b} }
{\displaystyle \mathbf {f} (\mathbf {x} )\rightarrow \mathbf {b} } cuando
{\displaystyle \mathbf {x} \rightarrow \mathbf {a} } {\displaystyle \mathbf {x}
\rightarrow \mathbf {a} }
para expresar lo siguiente:
{\displaystyle \lim _{{\big \|}\mathbf {x-a} {\big \|}\to 0}{\big \|}\mathbf {f}
{\big (}\mathbf {x} {\big )}-\mathbf {b} {\big \|}=0} {\displaystyle \lim
_{{\big \|}\mathbf {x-a} {\big \|}\to 0}{\big \|}\mathbf {f} {\big (}\mathbf {x}
{\big )}-\mathbf {b} {\big \|}=0}
donde {\displaystyle {\big \|}\mathbf {x} {\big \|}} {\displaystyle
{\big \|}\mathbf {x} {\big \|}} es la norma eucl�dea de {\displaystyle \mathbf
{x} } {\mathbf {x}}. Expres�ndolo en funci�n de las componentes de
{\displaystyle \mathbf {x} ={\big (}x_{1},\ldots ,x_{n}{\big )},\mathbf {a} ={\big
(}a_{1},\ldots ,a_{n}{\big )},} {\displaystyle \mathbf {x} ={\big (}x_{1},\ldots
,x_{n}{\big )},\mathbf {a} ={\big (}a_{1},\ldots ,a_{n}{\big )},}

{\displaystyle \lim _{{\big (}x_{1},\ldots ,x_{n}{\big )}\to {\big


(}a_{1},\ldots ,a_{n}{\big )}}\mathbf {f} {\big (}x_{1},\ldots ,x_{n}
{\big )}=\mathbf {b} } {\displaystyle \lim _{{\big (}x_{1},\ldots ,x_{n}{\big )}\to
{\big (}a_{1},\ldots ,a_{n}{\big )}}\mathbf {f} {\big (}x_{1},\ldots ,x_{n}
{\big )}=\mathbf {b} }
o, de forma equivalente,

{\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }\mathbf {f} {\big (}\mathbf {x}
{\big )}=\mathbf {b} } {\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }\mathbf
{f} {\big (}\mathbf {x} {\big )}=\mathbf {b} }
Decimos que una funci�n {\displaystyle \mathbf {f} } {\displaystyle \mathbf {f} }
es continua en {\displaystyle \mathbf {a} \Leftrightarrow \lim _{\mathbf {x} \to
\mathbf {a} }\mathbf {f} {\big (}\mathbf {x} {\big )}=\mathbf {f} {\big (}\mathbf
{a} {\big )}} {\displaystyle \mathbf {a} \Leftrightarrow \lim _{\mathbf {x} \to
\mathbf {a} }\mathbf {f} {\big (}\mathbf {x} {\big )}=\mathbf {f} {\big (}\mathbf
{a} {\big )}}

{\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }\mathbf {f} {\big (}\mathbf {x}
{\big )}=\mathbf {b} ,\lim _{\mathbf {x} \to \mathbf {a} }\mathbf {g} {\big
(}\mathbf {x} {\big )}=\mathbf {c} \Rightarrow } {\displaystyle \lim _{\mathbf
{x} \to \mathbf {a} }\mathbf {f} {\big (}\mathbf {x} {\big )}=\mathbf {b} ,\lim
_{\mathbf {x} \to \mathbf {a} }\mathbf {g} {\big (}\mathbf {x} {\big )}=\mathbf {c}
\Rightarrow }

a) {\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }{\big [}\mathbf {f} +\mathbf
{g} {\big ]}{\big (}\mathbf {x} {\big )}=\mathbf {b} +\mathbf {c} }
{\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }{\big [}\mathbf {f} +\mathbf {g}
{\big ]}{\big (}\mathbf {x} {\big )}=\mathbf {b} +\mathbf {c} }
b) {\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }\lambda \mathbf {f} {\big
(}\mathbf {x} {\big )}=\lambda \mathbf {b} \quad \forall \lambda \in \mathbb {R} }
{\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }\lambda \mathbf {f} {\big
(}\mathbf {x} {\big )}=\lambda \mathbf {b} \quad \forall \lambda \in \mathbb {R} }
c) {\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }{\big (}\mathbf {f} \cdot
\mathbf {g} {\big )}{\big (}\mathbf {x} {\big )}=\mathbf {b} \cdot \mathbf {c} }
{\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }{\big (}\mathbf {f} \cdot
\mathbf {g} {\big )}{\big (}\mathbf {x} {\big )}=\mathbf {b} \cdot \mathbf {c} }
(producto escalar de {\displaystyle \mathbf {b} } {\mathbf {b}} con {\displaystyle
\mathbf {c} } {\displaystyle \mathbf {c} }).
d) {\displaystyle \lim _{\mathbf {x} \to \mathbf {a} }{\Big \|}\mathbf {f} {\big
(}\mathbf {x} {\big )}{\Big \|}={\big \|}\mathbf {b} {\big \|}} {\displaystyle \lim
_{\mathbf {x} \to \mathbf {a} }{\Big \|}\mathbf {f} {\big (}\mathbf {x} {\big )}
{\Big \|}={\big \|}\mathbf {b} {\big \|}}
Demostraci�n
Sean {\displaystyle \mathbf {f} } {\displaystyle \mathbf {f} } y {\displaystyle
\mathbf {g} } {\displaystyle \mathbf {g} } dos funciones tales que la funci�n
compuesta {\displaystyle \mathbf {f} \circ \mathbf {g} } {\displaystyle \mathbf {f}
\circ \mathbf {g} } est� definida en {\displaystyle \mathbf {a} } {\mathbf {a}},
siendo

{\displaystyle {\big (}\mathbf {f} \circ \mathbf {g} {\big )}{\big (}\mathbf {x}
{\big )}=\mathbf {f} {\Big [}\mathbf {g} {\big (}\mathbf {x} {\big )}{\Big ]}}
{\displaystyle {\big (}\mathbf {f} \circ \mathbf {g} {\big )}{\big (}\mathbf {x}
{\big )}=\mathbf {f} {\Big [}\mathbf {g} {\big (}\mathbf {x} {\big )}{\Big ]}}
{\displaystyle \mathbf {g} } {\displaystyle \mathbf {g} } es continua en
{\displaystyle \mathbf {a} } {\mathbf {a}} y {\displaystyle \mathbf {f} }
{\displaystyle \mathbf {f} } es continua en {\displaystyle \mathbf {g} {\big
(}\mathbf {a} {\big )}\Rightarrow {\big (}\mathbf {f} \circ \mathbf {g} {\big )}}
{\displaystyle \mathbf {g} {\big (}\mathbf {a} {\big )}\Rightarrow {\big (}\mathbf
{f} \circ \mathbf {g} {\big )}} es continua en {\displaystyle \mathbf {a} }
{\mathbf {a}}.
Demostraci�n
Derivadas direccionales
Derivada de un campo escalar respecto a un vector
Derivada vectorial2.PNG
Sea {\displaystyle f:S\subseteq \mathbb {R} ^{n}\longrightarrow \mathbb {R} }
{\displaystyle f:S\subseteq \mathbb {R} ^{n}\longrightarrow \mathbb {R} }. Sea
{\displaystyle \mathbf {x} } {\mathbf {x}} un vector cuyo origen es el origen de
coordenadas y cuyo extremo {\displaystyle \in S,} {\displaystyle \in S,} e
{\displaystyle \mathbf {y} } {\mathbf {y}} un vector arbitrario de
{\displaystyle \mathbb {R} ^{n}} \mathbb {R} ^{n}. Definimos la derivada de f en
{\displaystyle \mathbf {x} } {\mathbf {x}} respecto a {\displaystyle \mathbf {y} }
{\mathbf {y}} como

{\displaystyle f'{\big (}\mathbf {x} ;\mathbf {y} {\big )}=\lim _{h\to 0}{\cfrac
{f{\big (}\mathbf {x} +h\mathbf {y} {\big )}-f{\big (}\mathbf {x} {\big )}}{h}}}
{\displaystyle f'{\big (}\mathbf {x} ;\mathbf {y} {\big )}=\lim _{h\to 0}{\cfrac
{f{\big (}\mathbf {x} +h\mathbf {y} {\big )}-f{\big (}\mathbf {x} {\big )}}{h}}}
Derivadas parciales
{\displaystyle {\cfrac {\partial f}{\partial x_{k}}}=\lim _{h\to 0}{\cfrac {f{\big
(}x_{1},\ldots ,x_{k}+h,\ldots ,x_{n}{\big )}-f{\big (}x_{1},\ldots
,x_{k},\ldots ,x_{n}{\big )}}{h}}} {\displaystyle {\cfrac {\partial f}{\partial
x_{k}}}=\lim _{h\to 0}{\cfrac {f{\big (}x_{1},\ldots ,x_{k}+h,\ldots ,x_{n}
{\big )}-f{\big (}x_{1},\ldots ,x_{k},\ldots ,x_{n}{\big )}}{h}}}

Si derivamos la expresi�n anterior respecto a una segunda variable, {\displaystyle


x_{j}} x_{j}, tendremos {\displaystyle {\cfrac {\partial ^{2}f}{\partial
x_{j}\partial x_{k}}}} {\displaystyle {\cfrac {\partial ^{2}f}{\partial
x_{j}\partial x_{k}}}}. En la pr�ctica, calcularemos {\displaystyle {\cfrac
{\partial f}{\partial x_{k}}}} {\displaystyle {\cfrac {\partial f}{\partial
x_{k}}}} derivando respecto a {\displaystyle x_{k}} {\displaystyle x_{k}} y
suponiendo {\displaystyle x_{j},\quad \forall j\neq k} {\displaystyle
x_{j},\quad \forall j\neq k} constante.
La diferencial
Definici�n de campo escalar diferenciable
Decimos que f es diferenciable en {\displaystyle \mathbf {a} \Leftrightarrow }
{\displaystyle \mathbf {a} \Leftrightarrow }

{\displaystyle \exists f_{L}:\mathbb {R} ^{n}\longrightarrow \mathbb {R} {\Big


|}\lim _{{\big \|}\mathbf {v} {\big \|}\to \mathbf {0} }f{\big (}\mathbf {a}
+\mathbf {v} {\big )}=f{\big (}\mathbf {a} {\big )}+f_{L}{\big (}\mathbf {v}
{\big )}} {\displaystyle \exists f_{L}:\mathbb {R} ^{n}\longrightarrow \mathbb {R}
{\Big |}\lim _{{\big \|}\mathbf {v} {\big \|}\to \mathbf {0} }f{\big (}\mathbf {a}
+\mathbf {v} {\big )}=f{\big (}\mathbf {a} {\big )}+f_{L}{\big (}\mathbf {v}
{\big )}}.
{\displaystyle f_{L}} {\displaystyle f_{L}} ha de ser una aplicaci�n lineal, que
definimos como la diferencial de f en a.
La anterior ecuaci�n es la f�rmula de Taylor de primer orden para {\displaystyle
f{\big (}\mathbf {a} +\mathbf {v} {\big )}} {\displaystyle f{\big (}\mathbf {a}
+\mathbf {v} {\big )}}.
Teorema de unicidad de la diferencial
{\displaystyle f} f es diferenciable en {\displaystyle \mathbf {x} } {\mathbf {x}}
con diferencial {\displaystyle f_{L}{\big (}\mathbf {y} {\big )}\Rightarrow }
{\displaystyle f_{L}{\big (}\mathbf {y} {\big )}\Rightarrow }

a) {\displaystyle \exists f'{\big (}\mathbf {x} ;\mathbf {y} {\big )}\quad


\forall \mathbf {y} \in \mathbb {R} ^{n}} {\displaystyle \exists f'{\big (}\mathbf
{x} ;\mathbf {y} {\big )}\quad \forall \mathbf {y} \in \mathbb {R} ^{n}}
b) {\displaystyle f'{\big (}\mathbf {x} ;\mathbf {y} {\big )}=\sum _{k=1}^{n}y_{k}
{\cfrac {\partial f}{\partial x_{k}}}} {\displaystyle f'{\big (}\mathbf {x}
;\mathbf {y} {\big )}=\sum _{k=1}^{n}y_{k}{\cfrac {\partial f}{\partial x_{k}}}}
Demostraci�n
Regla de la cadena
Sea {\displaystyle f:S\subset \mathbb {R} ^{n}\longrightarrow \mathbb {R} }
{\displaystyle f:S\subset \mathbb {R} ^{n}\longrightarrow \mathbb {R} } un campo
escalar y {\displaystyle \mathbf {x} :J\subset \mathbb {R} \longrightarrow S}
{\displaystyle \mathbf {x} :J\subset \mathbb {R} \longrightarrow S}. Definimos la
funci�n compuesta {\displaystyle g=f\circ \mathbf {x} } {\displaystyle g=f\circ
\mathbf {x} } como {\displaystyle g(t)=f{\Big [}\mathbf {x} {\big (}t{\big )}
{\Big ]}} {\displaystyle g(t)=f{\Big [}\mathbf {x} {\big (}t{\big )}{\Big ]}},
entonces {\displaystyle \quad g'{\big (}t{\big )}=\sum _{k=1}^{n}{\cfrac {\partial
f}{\partial x_{k}}}\cdot {\cfrac {dx_{k}}{dt}}} {\displaystyle \quad g'{\big
(}t{\big )}=\sum _{k=1}^{n}{\cfrac {\partial f}{\partial x_{k}}}\cdot {\cfrac
{dx_{k}}{dt}}}

Diferencial de un campo vectorial


Sea {\displaystyle \mathbf {f} :S\subseteq \mathbb {R} ^{n}\longrightarrow \mathbb
{R} ^{m}} {\displaystyle \mathbf {f} :S\subseteq \mathbb {R} ^{n}\longrightarrow
\mathbb {R} ^{m}} un campo vectorial. Sea {\displaystyle \mathbf {x} \in S}
{\displaystyle \mathbf {x} \in S} e {\displaystyle \mathbf {y} } {\mathbf {y}} un
vector cualquiera. Definimos la derivada

{\displaystyle \mathbf {f'} {\big (}\mathbf {x} ;\mathbf {y} {\big )}=\lim _{h\to
0}{\cfrac {\mathbf {f} {\big (}\mathbf {x} +h\mathbf {y} {\big )}-\mathbf {f} {\big
(}\mathbf {x} {\big )}}{h}}} {\displaystyle \mathbf {f'} {\big (}\mathbf {x}
;\mathbf {y} {\big )}=\lim _{h\to 0}{\cfrac {\mathbf {f} {\big (}\mathbf {x}
+h\mathbf {y} {\big )}-\mathbf {f} {\big (}\mathbf {x} {\big )}}{h}}}
Expresando {\displaystyle \mathbf {f'} {\big (}\mathbf {x} ;\mathbf {y} {\big )}}
{\displaystyle \mathbf {f'} {\big (}\mathbf {x} ;\mathbf {y} {\big )}} en funci�n
de sus componentes, tenemos {\displaystyle \mathbf {f'} {\big (}\mathbf {x}
;\mathbf {y} {\big )}={\Big [}f'_{1}{\big (}\mathbf {x} ;\mathbf {y}
{\big )},\ldots ,f'_{m}{\big (}\mathbf {x} ;\mathbf {y} {\big )}{\Big ]}}
{\displaystyle \mathbf {f'} {\big (}\mathbf {x} ;\mathbf {y} {\big )}={\Big
[}f'_{1}{\big (}\mathbf {x} ;\mathbf {y} {\big )},\ldots ,f'_{m}{\big (}\mathbf {x}
;\mathbf {y} {\big )}{\Big ]}}

Decimos que {\displaystyle \mathbf {f} } {\displaystyle \mathbf {f} } es


diferenciable {\displaystyle \Leftrightarrow \exists \mathbf {f} _{L}:\mathbb {R}
^{n}\longrightarrow \mathbb {R} ^{m}} {\displaystyle \Leftrightarrow \exists
\mathbf {f} _{L}:\mathbb {R} ^{n}\longrightarrow \mathbb {R} ^{m}}, aplicaci�n
lineal que verifica:

{\displaystyle \lim _{{\big \|}\mathbf {v} {\big \|}\to 0}\mathbf {f} {\big
(}\mathbf {x} +\mathbf {v} {\big )}=\mathbf {f} {\big (}\mathbf {x} {\big )}
+\mathbf {f} _{L}{\big (}\mathbf {v} {\big )}} {\displaystyle \lim
_{{\big \|}\mathbf {v} {\big \|}\to 0}\mathbf {f} {\big (}\mathbf {x} +\mathbf {v}
{\big )}=\mathbf {f} {\big (}\mathbf {x} {\big )}+\mathbf {f} _{L}{\big (}\mathbf
{v} {\big )}}.
Esta es la f�rmula de Taylor de primer orden para {\displaystyle \mathbf {f} .\quad
\mathbf {f} _{L}{\big (}\mathbf {v} {\big )}=\mathbf {f} '{\big (}\mathbf {x}
;\mathbf {v} {\big )}} {\displaystyle \mathbf {f} .\quad \mathbf {f} _{L}{\big
(}\mathbf {v} {\big )}=\mathbf {f} '{\big (}\mathbf {x} ;\mathbf {v} {\big )}}.
La matriz de {\displaystyle \mathbf {f} '} {\displaystyle \mathbf {f} '} es su
matriz jacobiana.

Diferenciabilidad implica continuidad


Si un campo vectorial {\displaystyle \mathbf {f} } {\displaystyle \mathbf {f} } es
diferenciable en {\displaystyle \mathbf {x} \Rightarrow } {\displaystyle \mathbf
{x} \Rightarrow } es continuo en {\displaystyle \mathbf {x} } {\mathbf {x}}.

Se deduce f�cilmente de la f�rmula de Taylor de primer orden ya vista.


Regla de la cadena para diferenciales de campos vectoriales
Sea {\displaystyle \mathbf {h} {\big (}\mathbf {x} {\big )}={\big (}\mathbf {f}
\circ \mathbf {g} {\big )}{\big (}\mathbf {x} {\big )}} {\displaystyle \mathbf {h}
{\big (}\mathbf {x} {\big )}={\big (}\mathbf {f} \circ \mathbf {g} {\big )}{\big
(}\mathbf {x} {\big )}} un campo vectorial definido y diferenciable en
{\displaystyle \mathbf {x} } {\mathbf {x}}. Su diferencial {\displaystyle \mathbf
{h} '{\big (}\mathbf {x} {\big )}} {\displaystyle \mathbf {h} '{\big (}\mathbf {x}
{\big )}} resulta ser
{\displaystyle \mathbf {h} '{\big (}\mathbf {x} {\big )}=\mathbf {f} '{\Big
[}\mathbf {g} {\big (}\mathbf {x} {\big )}{\Big ]}\circ \mathbf {g} '{\big
(}\mathbf {x} {\big )}} {\displaystyle \mathbf {h} '{\big (}\mathbf {x}
{\big )}=\mathbf {f} '{\Big [}\mathbf {g} {\big (}\mathbf {x} {\big )}{\Big ]}\circ
\mathbf {g} '{\big (}\mathbf {x} {\big )}}
Condici�n suficiente para la igualdad de las derivadas parciales mixtas
{\displaystyle {\cfrac {\partial ^{2}f}{\partial x_{i}\partial x_{j}}}={\cfrac
{\partial ^{2}f}{\partial x_{j}\partial x_{i}}}\quad \forall i\neq j\Leftrightarrow
} {\displaystyle {\cfrac {\partial ^{2}f}{\partial x_{i}\partial x_{j}}}={\cfrac
{\partial ^{2}f}{\partial x_{j}\partial x_{i}}}\quad \forall i\neq j\Leftrightarrow
} ambas derivadas parciales existen y son continuas en {\displaystyle \mathbf {x} }
{\mathbf {x}}.

Aplicaciones del c�lculo diferencial


C�lculo de m�ximos, m�nimos y puntos de ensilladura para campos escalares
Un campo escalar tiene un m�ximo en {\displaystyle \mathbf {x} =\mathbf {a}
\Leftrightarrow } {\displaystyle \mathbf {x} =\mathbf {a} \Leftrightarrow } existe
una n-bola {\displaystyle B{\big (}\mathbf {a} {\big )}{\Big |}\forall \mathbf
{x} \in B{\big (}\mathbf {a} {\big )}\quad f{\big (}\mathbf {x} {\big )}\leqslant
f{\big (}\mathbf {a} {\big )}} {\displaystyle B{\big (}\mathbf {a} {\big )}{\Big
|}\forall \mathbf {x} \in B{\big (}\mathbf {a} {\big )}\quad f{\big (}\mathbf {x}
{\big )}\leqslant f{\big (}\mathbf {a} {\big )}}

Un campo escalar tiene un m�nimo en {\displaystyle \mathbf {x} =\mathbf {a}


\Leftrightarrow } {\displaystyle \mathbf {x} =\mathbf {a} \Leftrightarrow } existe
una n-bola {\displaystyle B{\big (}\mathbf {a} {\big )}{\Big |}\forall \mathbf
{x} \in B{\big (}\mathbf {a} {\big )}\quad f{\big (}\mathbf {x} {\big )}\geqslant
f{\big (}\mathbf {a} {\big )}} {\displaystyle B{\big (}\mathbf {a} {\big )}{\Big
|}\forall \mathbf {x} \in B{\big (}\mathbf {a} {\big )}\quad f{\big (}\mathbf {x}
{\big )}\geqslant f{\big (}\mathbf {a} {\big )}}

Un campo escalar tiene un punto de ensilladura {\displaystyle \Leftrightarrow }


\Leftrightarrow

{\displaystyle \forall B{\big (}\mathbf {a} {\big )}\quad \exists \mathbf {x} {\big
|}f{\big (}\mathbf {x} {\big )}\leqslant f{\big (}\mathbf {a} {\big )}\land \exists
\mathbf {x} {\big |}f{\big (}\mathbf {x} {\big )}\geqslant f{\big (}\mathbf {a}
{\big )}} {\displaystyle \forall B{\big (}\mathbf {a} {\big )}\quad \exists \mathbf
{x} {\big |}f{\big (}\mathbf {x} {\big )}\leqslant f{\big (}\mathbf {a}
{\big )}\land \exists \mathbf {x} {\big |}f{\big (}\mathbf {x} {\big )}\geqslant
f{\big (}\mathbf {a} {\big )}}.

Funci�n con un punto de ensilladura


Para saber si es uno de los casos anteriores:

Obtenemos {\displaystyle \mathbf {x} {\Big |}{\cfrac {\partial f}{\partial


x_{k}}}=0\qquad \forall k{\Big |}1\leqslant k\leqslant n} {\displaystyle \mathbf
{x} {\Big |}{\cfrac {\partial f}{\partial x_{k}}}=0\qquad \forall k{\Big
|}1\leqslant k\leqslant n}
Obtenemos la matriz hessiana de f. Sea esta {\displaystyle \mathbf {F} {\big
(}\mathbf {x} {\big )}} {\displaystyle \mathbf {F} {\big (}\mathbf {x} {\big )}}.
{\displaystyle \mathbf {F} {\big (}\mathbf {x} {\big )}} {\displaystyle \mathbf {F}
{\big (}\mathbf {x} {\big )}} es definida positiva {\displaystyle \Rightarrow f}
{\displaystyle \Rightarrow f} tiene un m�nimo local (m�nimo relativo) en
{\displaystyle \mathbf {x} } {\mathbf {x}}.
{\displaystyle \mathbf {F} {\big (}\mathbf {x} {\big )}} {\displaystyle \mathbf {F}
{\big (}\mathbf {x} {\big )}} es definida negativa {\displaystyle \Rightarrow f}
{\displaystyle \Rightarrow f} tiene un m�ximo local (m�ximo relativo) en
{\displaystyle \mathbf {x} } {\mathbf {x}}.
{\displaystyle \mathbf {F} {\big (}\mathbf {x} {\big )}} {\displaystyle \mathbf {F}
{\big (}\mathbf {x} {\big )}} es indefinida {\displaystyle \Rightarrow f}
{\displaystyle \Rightarrow f} tiene un punto de ensilladura en {\displaystyle
\mathbf {x} } {\mathbf {x}}.
En lo anteriormente expuesto, hemos supuesto que {\displaystyle {\cfrac {\partial
^{2}f}{\partial x_{i}\partial x_{j}}}} {\displaystyle {\cfrac {\partial ^{2}f}
{\partial x_{i}\partial x_{j}}}} es continua