雅可比矩阵

Template:微积分学 在向量分析中，雅可比矩阵（也称作Jacobi矩陣，Template:Lang-en）是函數的一阶偏导数以一定方式排列成的矩阵。

當其為方形矩阵時，其行列式称为雅可比行列式（Jacobi determinant）。要注意的是，在英文中雅可比矩陣跟雅可比行列式都可稱作Jacobian。

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

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

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

雅可比矩阵

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

此函數 Template:Math 的雅可比矩陣 Template:Math 為 Template:Math 的矩陣，一般由以下方式定義：

$𝐉=\left[\begin{array}{ccc}\frac{\partial 𝐟}{\partial x_1}& \cdots & \frac{\partial 𝐟}{\partial x_n}\end{array}\right]=\left[\begin{array}{ccc}\frac{\partial f_1}{\partial x_1}& \cdots & \frac{\partial f_1}{\partial x_n}\\ ⋮& \ddots & ⋮\\ \frac{\partial f_m}{\partial x_1}& \cdots & \frac{\partial f_m}{\partial x_n}\end{array}\right]$

矩陣的分量可表示成：

${𝐉}_{ij}=\frac{\partial f_i}{\partial x_j}$

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

$Df$、 $\mathrm{D}𝐟$、${𝐉}_{𝐟}(x_1,\dots ,x_n)$ 或者 $\frac{\partial (f_1,\dots ,f_m)}{\partial (x_1,\dots ,x_n)}$

此矩陣的第 $i$-{zh-cn:行; zh-tw:列;}-是由函數 $f_i$ 的梯度函数所表示的，$1\le i\le m$ 。

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

$f(x)\approx f(p)+{𝐉}_{𝐟}(p)\cdot (x-p)$

講更詳細點也就是：

$𝐟(𝐱)=𝐟(𝐩)+{𝐉}_{𝐟}(𝐩)(𝐱-𝐩)+o(\Vert 𝐱-𝐩\Vert )$

其中，Template:Math 代表小o符號，Template:Math 為 Template:Math 與 Template:Math 之間的距離。

例子

例一

由球坐标系到直角坐标系的转化由 Template:Math 函数给出，其分量為：

$\begin{array}{cc}x& =r\sin \theta \cos \phi ;\\ y& =r\sin \theta \sin \phi ;\\ z& =r\cos \theta \end{array}$

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

${𝐉}_{𝐅}(r,\theta ,\phi )=\left[\begin{array}{ccc}\frac{\partial x}{\partial r}& \frac{\partial x}{\partial \theta }& \frac{\partial x}{\partial \phi }\\ \frac{\partial y}{\partial r}& \frac{\partial y}{\partial \theta }& \frac{\partial y}{\partial \phi }\\ \frac{\partial z}{\partial r}& \frac{\partial z}{\partial \theta }& \frac{\partial z}{\partial \phi }\end{array}\right]=\left[\begin{array}{ccc}\sin \theta \cos \phi & r\cos \theta \cos \phi & -r\sin \theta \sin \phi \\ \sin \theta \sin \phi & r\cos \theta \sin \phi & r\sin \theta \cos \phi \\ \cos \theta & -r\sin \theta & 0\end{array}\right]$

其雅可比行列式為 Template:Math。以體積元變換爲例，由於 Template:Math，如果做變數變換，則其體積元（Volume element，Template:Math），會變成：Template:Math。

例二

Template:Math，其各分量為

$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)=\left[\begin{array}{ccc}\frac{\partial y_1}{\partial x_1}& \frac{\partial y_1}{\partial x_2}& \frac{\partial y_1}{\partial x_3}\\ \frac{\partial y_2}{\partial x_1}& \frac{\partial y_2}{\partial x_2}& \frac{\partial y_2}{\partial x_3}\\ \frac{\partial y_3}{\partial x_1}& \frac{\partial y_3}{\partial x_2}& \frac{\partial y_3}{\partial x_3}\\ \frac{\partial y_4}{\partial x_1}& \frac{\partial y_4}{\partial x_2}& \frac{\partial y_4}{\partial x_3}\end{array}\right]=\left[\begin{array}{ccc}1& 0& 0\\ 0& 0& 5\\ 0& 8x_2& -2\\ x_3\cos x_1& 0& \sin x_1\end{array}\right]$

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

在动力系统中

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

雅可比行列式

如果 Template:Math，那么 Template:Math 是从 Template:Math 映射到 Template:Math 的函数，且它的雅可比矩阵是一个方陣。于是我们可以取它的行列式，称为雅可比行列式。

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

例子一

设有函数 Template:Math，其分量为：

$y_1=5x_2$

$y_2=4x_1^2-2\sin (x_2{x}_3)$

$y_3=x_2{x}_3$

则它的Jacobi行列式为：

$\left|\begin{array}{ccc}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{array}\right|=-8x_1\cdot \left|\begin{array}{cc}5& 0\\ x_3& x_2\end{array}\right|=-40x_1{x}_2$

从中我们可以看到，當 Template:Math 和 Template:Math 同号时，Template:Math 逆轉定向；该函数处处具有反函数，除了在 Template:Math 或 Template:Math 的點。

例子二

这是一个与巴塞尔问题$\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^2}=\frac{{\pi }^2}{6}$较为相似的级数$\sum _{n=0}^{\mathrm{\infty }}\frac{1}{(2n+1{)}^2}=\frac{{\pi }^2}{8}$的求解方法，首先可以转化为二重积分（在这里 D₁ 指 x 与 y 皆为从 0 到 1 的正方形区域）：

$\sum _{n=0}^{\mathrm{\infty }}\frac{1}{(2n+1{)}^2}=\underset{D_1}{\iint }\sum _{n=1}^{\mathrm{\infty }}(xy{)}^{2n}\mathrm{d}x\mathrm{d}y=\underset{D_1}{\iint }\frac{\mathrm{d}x\mathrm{d}y}{1-x^2{y}^2}$

此时定义映射 Template:Math，满足：

$\{\begin{array}{c}u=\arctan \left(x\sqrt{\frac{1-y^2}{1-x^2}}\right)\\ v=\arctan \left(y\sqrt{\frac{1-x^2}{1-y^2}}\right)\end{array}⟺\{\begin{array}{c}x=\frac{\sin u}{\cos v}\\ y=\frac{\sin v}{\cos u}\end{array}$

于是有相应的雅可比行列式：

$\left|\begin{array}{cc}\frac{\partial x}{\partial u}& \frac{\partial x}{\partial v}\\ \frac{\partial y}{\partial u}& \frac{\partial y}{\partial v}\end{array}\right|=\left|\begin{array}{cc}\frac{\cos u}{\cos v}& \frac{\sin u\sin v}{{\cos }^{2}v}\\ \frac{\sin u\sin v}{{\cos }^{2}u}& \frac{\cos v}{\cos u}\end{array}\right|=1-\frac{{\sin }^{2}u{\sin }^{2}v}{{\cos }^{2}u{\cos }^{2}v}=1-x^2{y}^2$

因此$\mathrm{d}x\mathrm{d}y=(1-x^2{y}^2)\mathrm{d}u\mathrm{d}v$，并且将正方形 D₁ 映射成 u>0、v>0、u+v<π/2 的等腰直角三角形，记为 D₂，得到：

$\underset{D_1}{\iint }\frac{\mathrm{d}x\mathrm{d}y}{1-x^2{y}^2}=\underset{D_2}{\iint }\mathrm{d}u\mathrm{d}v=\underset{0}{\overset{\frac{\pi }{2}}{\int }}\left(\underset{0}{\overset{\frac{\pi }{2}-v}{\int }}\mathrm{d}u\right)\mathrm{d}v=\frac{{\pi }^2}{8}$

逆矩陣

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

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

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

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

参看

• 前推
• 黑塞矩阵

外部链接

• Ian Craw的本科教学网页 雅可比行列式的通俗解释
• Mathworld Template:Wayback 更技术型的雅可比行列式的解释