雅可比矩阵

在向量分析中，雅可比矩阵（也称作Jacobi矩陣，英語：）是函數的一阶偏导数以一定方式排列成的矩阵。

當其為方形矩阵時，其行列式称为雅可比行列式（Jacobi determinant）。

要注意的是，如果雅可比矩陣為方陣，那在英文中雅可比矩陣跟Jacobi行列式兩者都稱作 Jacobian。

其重要性在於，如果函數 $f : ℝ n \to ℝ m$ 在點 $x$ 可微的話，在點 $x$ 的雅可比矩陣即為該函數在該點的最佳線性逼近，也代表雅可比矩陣是單變數實數函數的微分在向量值多變數函數的推廣，在這種情況下，雅可比矩陣也被稱作函數 $f$ 在點 $x$ 的微分或者導數。

在代数几何中，代数曲线的雅可比行列式'表示雅可比簇：伴随该曲线的一个代數群，曲线可以嵌入其中。

它们全部都以普魯士数学家卡爾·雅可比命名。

雅可比矩阵

假設某函數從 $f : ℝ n \to ℝ m$ ，從 $x \in ℝ n$ 映射到向量 $f (x) \in ℝ m$ ，其雅可比矩陣是一 $m \times n$ 的矩陣，換句話講也就是從 $ℝ n$ 到 $ℝ m$ 的線性映射，其重要意義在于它表現了一个多變數向量函數的最佳线性逼近。因此，雅可比矩阵类似于單變數函数的导数。

此函數 $f$ 的雅可比矩陣 $J$ 為 $m \times n$ 的矩陣，一般由以下方式定義：

\mathbf {J} ={\begin{bmatrix}{\dfrac {\partial \mathbf {f} }{\partial x_{1}}}&\cdots &{\dfrac {\partial \mathbf {f} }{\partial x_{n}}}\end{bmatrix}}={\begin{bmatrix}{\dfrac {\partial f_{1}}{\partial x_{1}}}&\cdots &{\dfrac {\partial f_{1}}{\partial x_{n}}}\\\vdots &\ddots &\vdots \\{\dfrac {\partial f_{m}}{\partial x_{1}}}&\cdots &{\dfrac {\partial f_{m}}{\partial x_{n}}}\end{bmatrix}}

矩陣的分量可表示成：

\mathbf {J} _{ij}={\frac {\partial f_{i}}{\partial x_{j}}}

雅可比矩陣的其他常用符號還有：

Df

、

\mathrm {D} \mathbf {f}

、

\mathbf {J} _{\mathbf {f} }(x_{1},\ldots ,x_{n})

或者

{\frac {\partial (f_{1},\ldots ,f_{m})}{\partial (x_{1},\ldots ,x_{n})}}

此矩陣的第 $i$ 是由函數 $f_{i}$ 的梯度函数所表示的， $1\leq i\leq m$ 。

如果 $p$ 是 $\mathbb {R} ^{n}$ 中的一点， $f$ 在 $p$ 点可微分，根據數學分析， $\mathbf {J} _{\mathbf {f} }(p)$ 是在这点的导数。在此情况下， $\mathbf {J} _{\mathbf {f} }(p)$ 這個线性映射即 $f$ 在点 $p$ 附近的最优线性逼近，也就是說當 $x$ 足夠靠近點 $p$ 時，我們有

f(x)\approx f(p)+\mathbf {J} _{\mathbf {f} }(p)\cdot (x-p)

講更詳細點也就是：

\mathbf {f} (\mathbf {x} )=\mathbf {f} (\mathbf {p} )+\mathbf {J} _{\mathbf {f} }(\mathbf {p} )(\mathbf {x} -\mathbf {p} )+o(\|\mathbf {x} -\mathbf {p} \|)

其中， $o$ 代表小o符號， $‖ x - p ‖$ 為 $x$ 與 $p$ 之間的距離。

例子

例一

由球坐标系到直角坐标系的转化由 $F : ℝ + \times [0, π] \times [0, 2 π) \to ℝ 3$ 函数给出，其分量為：

{\displaystyle {\begin{aligned}x&=r\sin \theta \cos \varphi

此坐标变换的雅可比矩阵是

\mathbf {J} _{\mathbf {F} }(r,\theta ,\varphi )={\begin{bmatrix}{\dfrac {\partial x}{\partial r}}&{\dfrac {\partial x}{\partial \theta }}&{\dfrac {\partial x}{\partial \varphi }}\\[1em]{\dfrac {\partial y}{\partial r}}&{\dfrac {\partial y}{\partial \theta }}&{\dfrac {\partial y}{\partial \varphi }}\\[1em]{\dfrac {\partial z}{\partial r}}&{\dfrac {\partial z}{\partial \theta }}&{\dfrac {\partial z}{\partial \varphi }}\end{bmatrix}}={\begin{bmatrix}\sin \theta \cos \varphi &r\cos \theta \cos \varphi &-r\sin \theta \sin \varphi \\\sin \theta \sin \varphi &r\cos \theta \sin \varphi &r\sin \theta \cos \varphi \\\cos \theta &-r\sin \theta &0\end{bmatrix}}

其雅可比行列式為 $r 2 sin θ$ ，由於 $dV = dx dy dz$ ，如果做變數變換的話其體積元(Volume element)， $dV$ ，會變成： $dV = r 2 sin θ dr dθ dφ$ 。

例二

$F : ℝ 3 \to ℝ 4$ ，其各分量為

y_{1}=x_{1}\,

y_{2}=5x_{3}\,

y_{3}=4x_{2}^{2}-2x_{3}\,

y_{4}=x_{3}\sin x_{1}\,

其雅可比矩阵为:

J_{F}(x_{1},x_{2},x_{3})={\begin{bmatrix}{\frac {\partial y_{1}}{\partial x_{1}}}&{\frac {\partial y_{1}}{\partial x_{2}}}&{\frac {\partial y_{1}}{\partial x_{3}}}\\[3pt]{\frac {\partial y_{2}}{\partial x_{1}}}&{\frac {\partial y_{2}}{\partial x_{2}}}&{\frac {\partial y_{2}}{\partial x_{3}}}\\[3pt]{\frac {\partial y_{3}}{\partial x_{1}}}&{\frac {\partial y_{3}}{\partial x_{2}}}&{\frac {\partial y_{3}}{\partial x_{3}}}\\[3pt]{\frac {\partial y_{4}}{\partial x_{1}}}&{\frac {\partial y_{4}}{\partial x_{2}}}&{\frac {\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&\sin x_{1}\end{bmatrix}}

此例子说明雅可比矩阵不一定为方阵。

在动力系统中

考虑形为 $x^{\prime }=F(x)$ 的动力系统， $F:\mathbb {R} ^{n}\rightarrow \mathbb {R} ^{n}$ 。如果 $F(x_{0})=0$ ，那么 $x_{0}$ 是一个臨界點。系统接近臨界點时的行為跟 $J_{F}(x_{0})$ 的特征值相關。

雅可比行列式

如果 $m = n$ ，那么 $F$ 是从 $ℝ n$ 映射到 $ℝ n$ 的函数，且它的雅可比矩阵是一个方陣。于是我们可以取它的行列式，称为雅可比行列式。

在某个给定点的雅可比行列式提供了 $F$ 在接近该点时的表现的重要資訊。例如，如果连续可微函数 $F$ 在 $p$ 点的Jacobi行列式不等於零，那么它在该点附近有 $F$ 的反函数。这称为反函数定理。更进一步，如果 $p$ 点的Jacobi行列式是正数，则 $F$ 在 $p$ 点保持定向(preserves orientation)；如果是负数，则 $F$ 逆轉定向(reverses orientation)。而从Jacobi行列式的绝对值，就可以知道函数 $F$ 在 $p$ 點附近是放大或縮小體積；这就是它出现在换元积分法中的原因。

例子

设有函数 $F : ℝ 3 \to ℝ 3$ ，其分量为：

y_{1}=5x_{2}\,

y_{2}=4x_{1}^{2}-2\sin(x_{2}x_{3})\,

y_{3}=x_{2}x_{3}\,

则它的Jacobi行列式为：

{\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}}=-8x_{1}\cdot {\begin{vmatrix}5&0\\x_{3}&x_{2}\end{vmatrix}}=-40x_{1}x_{2}

从中我们可以看到，當 $x 1$ 和 $x 2$ 同号时， $F$ 逆轉定向；该函数处处具有反函数，除了在 $x 1 = 0$ 或 $x 2 = 0$ 的點。

逆矩陣

根據反函數定理，一個可逆函數（存在反函數的函數）的雅可比矩陣的逆矩陣即為該函數的反函數的雅可比矩陣。即，若函數 $F:\mathbb {R} ^{n}\rightarrow \mathbb {R} ^{n}$ 在點 $p\in \mathbb {R} ^{n}$ 的雅可比矩陣是連續且可逆的，則 $F$ 在點 $p$ 的某一鄰域內也是可逆的，且有

J_{F^{-1}}\circ f=J_{F}^{-1}

成立。相反，倘若雅可比行列式在某一個點不為零，那麽該函數在這個點的某一鄰域內可逆（存在反函數）。

一個多項式函數的可逆性與非經證明的雅可比猜想有關。其斷言，如果函數的雅可比行列式為一個非零實數（相當於其不存在複零點），則該函數可逆且其反函數也為一個多項式。

参看

参考资料

外部链接

Ian Craw的本科教学网页雅可比行列式的通俗解释
Mathworld 页面存档备份，存于更技术型的雅可比行列式的解释

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.