[忘记高数]Jacobi矩阵与Jacobi行列式

更新：5 JUN 2016

【向量值函数】\(Y=\textbf{f}(X): \Omega\subset\mathbb{R}^n\rightarrow\mathbb{R}^m\)

可以看作m个分量函数

\(y_1=f_1(x_1,x_2,\cdots,x_n)\)

\(y_2=f_2(x_1,x_2,\cdots,x_n)\)

……

\(y_m=f_m(x_1,x_2,\cdots,x_n)\)

 

【Jacobi矩阵】

\(J\textbf{f}(X)=\begin{bmatrix} \dfrac{\partial f_1}{\partial x_1} & \dfrac{\partial f_1}{\partial x_2} & \cdots &\dfrac{\partial f_1}{\partial x_n} \\ \dfrac{\partial f_2}{\partial x_1} & \dfrac{\partial f_2}{\partial x_2} &\cdots& \dfrac{\partial f_2}{\partial x_n} \\ \vdots& & & \vdots \\ \dfrac{\partial f_m}{\partial x_1} &\dfrac{\partial f_m}{\partial x_2} & \cdots &\dfrac{\partial f_m}{\partial x_n}  \end{bmatrix} \)   记作  \(J\textbf{f}(X)=\dfrac{\partial(f_1,f_2,\cdots,f_m)}{\partial(x_1,x_2,\cdots,x_n)}\)

每行中自变量的下标递增；每列中分量函数的下标递增。是一个m行n列\(m\times n\)的矩阵。

Jacobi矩阵中每一行看作一个n维向量的话，是该行分量函数的梯度函数。

Jacobi矩阵是向量值函数\(f\)在\(X\)点的导数：\(\Delta Y=\textbf{f}(X_0+\Delta X)-\textbf{f}(X_0)=A\Delta X+\textbf{o}(\Delta X),\qquad A=J\textbf{f}(X_0)\)

 

【Jacobi行列式】

若向量值函数\(m=n\)，则其Jacobi矩阵的行列式为Jacobi行列式，记作\(\dfrac{D(f_1,f_2,\cdots,f_m)}{D(x_1,x_2,\cdots,x_n)}\)

如果连续可微函数f在P点的Jacobi行列式不是零，那么它在该点附近具有反函数。