En cálculo vectorial, la matriz jacobiana de una función vectorial de varias variables es la matriz cuyos elementos son las derivadas parciales de primer orden de dicha función. Si esta matriz es cuadrada, su determinante se llama el determinante jacobiano.
Tanto la matriz jacobiana como el determinante jacobiano reciben su nombre en honor al matemático Carl Gustav Jacobi.
Definición
- Cuando
, la matriz Jacobiana es cuadrada. Su determinante es conocido como el determinante Jacobiano de
. - Cuando
, esto es, cuando
es un campo escalar, la matriz Jacobiana se reduce a un vector fila. Este vector fila con todas las derivadas parciales de primer orden es el gradiente de
, es decir,
. - Cuando
, esto es, cuando
es una función una variable, la matriz Jacobiana sólo tiene una entrada: la derivada de la función
en el punto.
Propiamente deberíamos hablar más que de matriz jacobiana, de diferencial jacobiana o aplicación lineal jacobiana ya que la forma de la matriz dependerá de la base o coordenadas elegidas. Es decir, dadas dos bases diferentes la aplicación lineal jacobiana tendrá componentes diferentes aún tratándose del mismo objeto matemático. La propiedad básica de la "matriz" jacobiana es la siguiente, dada una aplicación cualquiera
continua, es decir
se dirá que es diferenciable si existe una aplicación lineal
tal que:
![{\displaystyle \lim _{\|\mathbf {x} -\mathbf {y} \|\to 0}{\frac {\|(\mathbf {F} (\mathbf {x} )-\mathbf {F} (\mathbf {y} ))-{\boldsymbol {\lambda }}(\mathbf {x} -\mathbf {y} )\|}{\|\mathbf {x} -\mathbf {y} \|}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec3e50c1ce12b491a2a3e2f4457f627120c8f1cc)
Si
es un punto en
y
es diferenciable en
entonces su diferencial está dada por JF(p). En este caso, la aplicación lineal descrita por JF(p) es la mejor aproximación lineal de
cerca del punto
, de esta manera:
![{\displaystyle \mathbf {F} (\mathbf {x} )\approx \mathbf {F} (\mathbf {p} )+J_{\mathbf {F} }(\mathbf {p} )(\mathbf {x} -\mathbf {p} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0e2cfcc5570e0569e24386e29c8b2b0f7c53904)
para
cerca de
. O con mayor precisión:
![{\displaystyle \lim _{\|\mathbf {x} -\mathbf {p} \|\to 0}{\frac {\|\mathbf {F} (\mathbf {x} )-\mathbf {F} (\mathbf {p} )-J_{\mathbf {F} }(\mathbf {p} )(\mathbf {x} -\mathbf {p} )\|}{\|\mathbf {x} -\mathbf {p} \|}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6191e389ff863189b8286e3883e09ab8eec6e2b3)
En ciertos espacios vectoriales de dimensión no finita, formados por funciones, puede generalizarse el concepto de matriz jacobiana definiendo una aplicación lineal jacobiana.
Determinante jacobiano
Si
entonces
es una función que va de
a
y en este caso la matriz jacobiana es una matriz cuadrada, por lo que podemos calcular su determinante, este es conocido como el determinante jacobiano. El determinante jacobiano en ocasiones es conocido simplemente como “el Jacobiano”.
El determinante jacobiano en un punto dado nos da información importante sobre el comportamiento de
cerca de ese punto. Una función continuamente diferenciable
es invertible cerca del punto
si el determinante jacobiano en
es no nulo. Este es el teorema de la función inversa. Más aún, el valor absoluto del determinante en
nos da el factor con el cual
expande o contrae su volumen cerca de
.
Inversa
De acuerdo al teorema de la función inversa, la matriz inversa de la matriz Jacobiana de una función invertible es la matriz Jacobiana de la función inversa. Esto es, si el Jacobiano de una función
es continua y no singular en el punto
entonces
es invertible cuando se restringe a un entorno de
y
![{\displaystyle \mathbf {J} _{\mathbf {F} ^{-1}}\circ \mathbf {F} =\mathbf {J} _{\mathbf {F} }^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/096441e669e253a560a3872e4e90dc9c1757caab)
Si el determinante jacobiano es diferente de cero en un punto entonces la función es localmente invertible cerca de este punto, esto es, existe un entorno de este punto en el que la función es invertible.
Puntos críticos
Si
es una función diferenciable, un punto crítico de
es un punto en el que el rango de la matriz jacobiana es no maximal.
En el caso en que
, un punto es crítico si el determinante jacobiano es cero.
Aplicaciones de la matriz jacobiana
La matriz Jacobiana establece una relación entre dos sistemas de referencia (espacios vectoriales), de manera que mediante una transformación (el jacobiano o matriz jacobiana), se pueda expresar un vector de un primer sistema, a otro sistema. Algo así como un traductor de un espacio vectorial a otro.
En Robótica de Manipuladores, se usa para deducir posibles puntos de una configuración que traerán dificultades para el movimiento, llamados puntos singulares o singularidades.
En el análisis dinámico, los “jacobianos del eslabón”, que permiten relacionar posición de cada eslabón con su movimiento de translación y de rotación.
Ejemplos
Ejemplo 1
La matriz jacobiana de la función
dada por
![{\displaystyle \mathbf {F} (x_{1},x_{2},x_{3})=(x_{1},5x_{3},4x_{2}^{2}-2x_{3})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc0943c133339530ec7f528cad6322ab161fd985)
cuyas funciones componentes son
![{\displaystyle {\begin{aligned}f_{1}&=x_{1}\\f_{2}&=5x_{3}\\f_{3}&=4x_{2}^{2}-2x_{3}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dee83d5aeb1c3a26c72ee3d8af4375b3f84eb5a)
es
![{\displaystyle \mathbf {J} _{\mathbf {F} }(x_{1},x_{2},x_{3})={\begin{bmatrix}{\cfrac {\partial f_{1}}{\partial x_{1}}}&{\cfrac {\partial f_{1}}{\partial x_{2}}}&{\cfrac {\partial f_{1}}{\partial x_{3}}}\\{\cfrac {\partial f_{2}}{\partial x_{1}}}&{\cfrac {\partial f_{2}}{\partial x_{2}}}&{\cfrac {\partial f_{2}}{\partial x_{3}}}\\{\cfrac {\partial f_{3}}{\partial x_{1}}}&{\cfrac {\partial f_{3}}{\partial x_{2}}}&{\cfrac {\partial f_{3}}{\partial x_{3}}}\end{bmatrix}}={\begin{bmatrix}1&0&0\\0&0&5\\0&8x_{2}&-2\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1520dcc922bd937e6b1d49c7c25c1880d808c805)
La matriz jacobiana NO siempre es cuadrada. Véase el siguiente ejemplo.
Ejemplo 2
Supóngase la función
, cuyas funciones componentes son:
![{\displaystyle y_{1}=x_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5edde7259181e44b2ae97b23acbd537c48f997cb)
![{\displaystyle y_{2}=5x_{3}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d498e10016f6b52729a2ea3cee4dadc70a839a2)
![{\displaystyle y_{3}=4x_{2}^{2}-2x_{3}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6301612fb299c9efc6227e8cc1fe3d4952cb845)
![{\displaystyle y_{4}=x_{3}\operatorname {sen}(x_{1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d77ae76db10bd007534ec83a94fc886065691a7)
tiene asociada como matriz jacobiana
![{\displaystyle \mathbf {J} _{\mathbf {F} }(x_{1},x_{2},x_{3})={\begin{bmatrix}{\dfrac {\partial y_{1}}{\partial x_{1}}}&{\dfrac {\partial y_{1}}{\partial x_{2}}}&{\dfrac {\partial y_{1}}{\partial x_{3}}}\\[3pt]{\dfrac {\partial y_{2}}{\partial x_{1}}}&{\dfrac {\partial y_{2}}{\partial x_{2}}}&{\dfrac {\partial y_{2}}{\partial x_{3}}}\\[3pt]{\dfrac {\partial y_{3}}{\partial x_{1}}}&{\dfrac {\partial y_{3}}{\partial x_{2}}}&{\dfrac {\partial y_{3}}{\partial x_{3}}}\\[3pt]{\dfrac {\partial y_{4}}{\partial x_{1}}}&{\dfrac {\partial y_{4}}{\partial x_{2}}}&{\dfrac {\partial y_{4}}{\partial x_{3}}}\\\end{bmatrix}}={\begin{bmatrix}1&0&0\\0&0&5\\0&8x_{2}&-2\\x_{3}\cos x_{1}&0&\operatorname {sen} x_{1}\end{bmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f24f309b1cae2abf9de1f09ed0ca28c744ea7f4f)
La transformación de coordenadas polares
a coordenadas cartesianas
está dada por la función
.
La matriz jacobiana de
está dada por:
![{\displaystyle {\text{J}}_{F}(r,\theta )={\begin{pmatrix}\cos(\theta )&-r\operatorname {sen}(\theta )\\\operatorname {sen}(\theta )&r\cos(\theta )\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/352d975bd0c0c9387bcff162a2feafef0dc36a1a)
y su determinante, o el jacobiano, es pues:
![{\displaystyle {\begin{aligned}\det({\text{J}}_{F}(r,\theta ))&=r\cos ^{2}(\theta )+r\operatorname {sen} ^{2}(\theta )\\&=r[\cos ^{2}(\theta )+\operatorname {sen} ^{2}(\theta )]\\&=r\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b2a9f654b66530c040b9c4f7ee986cc79f2dc7c)
y esto puede ser utilizado para transformar integrales entre dos sistemas de coordenadas:
![{\displaystyle \iint _{F(A)}f(x,y)dxdy=\iint _{A}f(r\cos \theta ,r\operatorname {sen} \theta )|J_{F}|=\iint _{A}f(r\cos \theta ,r\operatorname {sen} \theta )|r|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe76ddfaf924f69d86fcac6e0541caf076effc2b)
Pero al cogerse siempre
con las coordenadas cartesianas, tenemos que
Ejemplo 4
El determinante jacobiano de la función
dada por:
![{\displaystyle \mathbf {F} (x_{1},x_{2},x_{3})=(5x_{2},4x_{1}^{2}-2\operatorname {sen}(x_{2}x_{3}),x_{2}x_{3})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d383c2b1830bc8ecbd4407401a7d6030c57ff0c2)
es:
![{\displaystyle {\begin{aligned}\det(\mathbf {J} _{\mathbf {F} }(x_{1},x_{2},x_{3}))&={\begin{vmatrix}0&5&0\\8x_{1}&-2x_{3}\cos(x_{2}x_{3})&-2x_{2}\cos(x_{2}x_{3})\\0&x_{3}&x_{2}\end{vmatrix}}\\&=-5\cdot {\begin{vmatrix}8x_{1}&-2x_{2}\cos(x_{2}&x_{3})\\0&x_{2}\end{vmatrix}}\\&=-40x_{1}x_{2}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40429ec459302c69baecc94de6490347f767e6f3)
El teorema de la función inversa garantiza que la función es localmente invertible en todo el dominio excepto quizá donde
o
(es decir, los valores para los que el determinante se hace cero). Si imaginamos un objeto pequeño centrado en el punto (1,1,1) y le aplicamos F, tendremos un objeto aproximadamente 40 veces más voluminoso que el original.
Ejemplo 5
Cambiando un poco la función anterior por ésta:
![{\displaystyle \mathbf {F} (x_{1},x_{2},x_{3})=(5x_{2},4x_{1}^{2}-2\operatorname {sen}(x_{2}x_{3}),x_{1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b108e8290ffedf9f2d63e7d495523e43e72fa93)
El determinante jacobiano quedará:
![{\displaystyle \det(\mathbf {J} _{\mathbf {F} }(x_{1},x_{2},x_{3}))={\begin{vmatrix}0&5&0\\8x_{1}&-2x_{3}\cos(x_{2}x_{3})&-2x_{2}\cos(x_{2}x_{3})\\1&0&0\end{vmatrix}}=-5\cdot {\begin{vmatrix}8x_{1}&-2x_{2}\cos(x_{2}&x_{3})\\1&0\end{vmatrix}}=-10x_{2}\cos(x_{2}x_{3}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5fcc11db009bfe9ea9f0a08f88a1379ba6d57ac0)
En este caso existen más valores que anulan al determinante. Por un lado
, y por otro:
con ![{\displaystyle k=0,1,2,\dots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/40e06b69a163e607d10bcd0874c092df7b3a5de2)
Véase también
Enlaces externos
Datos: Q506041