查看“︁雅可比矩阵”︁的源代码

{{微积分学}}
在[[向量分析]]中，'''雅可比矩阵'''（也称作'''Jacobi矩陣'''，{{lang-en|'''Jacobian matrix'''}}）是[[函數]]的一阶[[偏导数]]以一定方式排列成的[[矩阵]]。

當其為方形矩阵時，其[[行列式]]称为'''雅可比行列式'''（Jacobi determinant）。要注意的是，在英文中雅可比矩陣跟雅可比行列式都可稱作'''Jacobian'''。<ref>{{cite web|url=http://mathworld.wolfram.com/Jacobian.html|title=Jacobian|first=Weisstein, Eric|last=W.|website=mathworld.wolfram.com|access-date=2 May 2018|url-status=live|archive-url=https://web.archive.org/web/20171103144419/http://mathworld.wolfram.com/Jacobian.html|archive-date=3 November 2017}}</ref>

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

在[[代数几何]]中，[[代数曲线]]的雅可比行列式表示{{le|雅可比簇|Jacobian variety}}：伴随该曲线的一个[[代數群]]，曲线可以嵌入其中。

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

==雅可比矩阵==
假設某函數從 {{math|'''f''' : ℝ<sup>''n''</sup> → ℝ<sup>''m''</sup>}}， 從 {{math|'''x''' ∈ ℝ<sup>''n''</sup>}} 映射到 向量 {{math|'''f'''('''x''') ∈ ℝ<sup>''m''</sup>}}， 其雅可比矩陣是一 {{math|''m''×''n''}} 的矩陣，換句話講也就是從 {{math|ℝ<sup>''n''</sup>}} 到 {{math|ℝ<sup>''m''</sup>}} 的線性映射，其重要意義在于它表現了一个多變數向量函數的最佳线性逼近。因此，雅可比矩阵类似于單變數函数的导数。

此函數 {{math|'''f'''}} 的雅可比矩陣 {{math|'''J'''}}  為 {{math|''m''×''n''}} 的矩陣，一般由以下方式定義：

:<math>\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}</math>

矩陣的分量可表示成：

:<math>\mathbf J_{ij} = \frac{\partial f_i}{\partial x_j} </math>

雅可比矩陣的其他常用符號還有：
:<math>Df</math>、 <math>\mathrm{D}\mathbf{f}</math>、<math>\mathbf J_{\mathbf f}(x_1,\ldots,x_n)</math> 或者 <math>\frac{\partial(f_1,\ldots,f_m)}{\partial(x_1,\ldots,x_n)} </math>

此矩陣的第 <math>i</math>-{zh-cn:行; zh-tw:列;}-是由函數 <math>f_i</math> 的梯度函数所表示的，<math>1\le i\le m </math> 。 
 
如果 <math>p</math>是<math>\mathbb{R}^n</math> 中的一点，<math>f</math>在 <math>p</math>点可微分，根據[[數學分析]]， <math>\mathbf J_{\mathbf f}(p)</math>是在这点的[[导数]]。在此情况下，<math>\mathbf J_{\mathbf f}(p)</math>這個线性映射即 <math>f</math> 在点  <math>p</math>附近的最优线性逼近，也就是說當 <math>x</math>足夠靠近點  <math>p</math>時，我們有
:<math>f(x) \approx f(p) + \mathbf J_{\mathbf f}(p)\cdot (x-p)</math>
講更詳細點也就是：

:<math>\mathbf f(\mathbf x) = \mathbf f(\mathbf p) + \mathbf J_{\mathbf f}(\mathbf p)(\mathbf x - \mathbf p) + o(\|\mathbf x - \mathbf p\|)</math>

其中，{{math|''o''}} 代表[[大O符号|小o符號]]，{{math|‖'''x''' − '''p'''‖}} 為 {{math|'''x'''}} 與 {{math|'''p'''}} 之間的距離。

==例子==
===例一===
由[[球坐标系]]到直角坐标系的转化由 {{math|'''F''': ℝ<sup>+</sup> × [0, ''π'') × [0, 2''π'') → ℝ<sup>3</sup>}} 函数给出，其分量為：

:<math>\begin{align}
x &= r \sin \theta \cos \varphi ; \\
y &= r \sin \theta \sin \varphi ; \\
z &= r \cos \theta  
\end{align}</math>

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

:<math>\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} </math>

其雅可比行列式為 {{math|''r''<sup>2</sup> sin ''θ''}}。以體積元變換爲例，由於 {{math|d''V'' {{=}} d''x'' d''y'' d''z''}}，如果做變數變換，則其體積元（Volume element，{{math|d''V''}}），會變成：{{math|d''V'' {{=}} ''r''<sup>2</sup> sin ''θ'' d''r'' d''θ'' d''φ''}}。

===例二===
{{math|'''F''' : ℝ<sup>3</sup> → ℝ<sup>4</sup>}}，其各分量為

:<math> y_1 = x_1 \, </math>
:<math> y_2 = 5x_3 \, </math>
:<math> y_3 = 4x_2^2 - 2x_3 \, </math>
:<math> y_4 = x_3 \sin x_1 \, </math>

其雅可比矩阵为:
:<math>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} </math>
此例子说明雅可比矩阵不一定为方阵。

==在动力系统中==

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

== 雅可比行列式 ==
如果 {{math|1=''m'' = ''n''}}，那么 {{math|''F''}} 是从 {{math|ℝ<sup>''n''</sup>}} 映射到 {{math|ℝ<sup>''n''</sup>}} 的函数，且它的雅可比矩阵是一个[[方块矩阵|方陣]]。于是我们可以取它的行列式，称为'''雅可比行列式'''。

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

===例子一===
设有函数 {{math|''F'' : ℝ<sup>3</sup> → ℝ<sup>3</sup>}}，其分量为：
:<math> y_1 = 5x_2 \, </math>
:<math> y_2 = 4x_1^2 - 2 \sin (x_2x_3) \,</math>
:<math> y_3 = x_2 x_3 \, </math>

则它的Jacobi行列式为：

:<math>\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 </math>

从中我们可以看到，當 {{math|''x''<sub>1</sub>}} 和 {{math|''x''<sub>2</sub>}} 同号时，{{math|''F''}} 逆轉定向；该函数处处具有反函数，除了在 {{math|''x''<sub>1</sub> {{=}} 0}} 或 {{math|''x''<sub>2</sub> {{=}} 0}}  的點。

===例子二===

这是一个与[[巴塞尔问题]]<math>\sum_{n=1}^\infty\frac1{n^2}=\frac{\pi^2}6</math>较为相似的[[级数]]<math>\sum_{n=0}^\infty\frac1{(2n+1)^2}=\frac{\pi^2}8</math>的求解方法，首先可以转化为[[二重积分]]（在这里 ''D''<sub>1</sub> 指 ''x'' 与 ''y'' 皆为从 0 到 1 的正方形区域）：
:<math>\sum_{n=0}^\infty\frac1{(2n+1)^2}=\iint\limits_{D_1}\sum_{n=1}^\infty(xy)^{2n}\mathrm dx\mathrm dy=\iint\limits_{D_1}\frac{\mathrm dx\mathrm dy}{1-x^2y^2}</math>
此时定义映射 {{math|''F'' : ℝ<sup>2</sup> → ℝ<sup>2</sup>}}，满足：
:<math>\begin{cases}u=\arctan\left(x\sqrt{\dfrac{1-y^2}{1-x^2}}\right)\\v=\arctan\left(y\sqrt{\dfrac{1-x^2}{1-y^2}}\right)\end{cases}\iff\begin{cases}x=\dfrac{\sin u}{\cos v}\\y=\dfrac{\sin v}{\cos u}\end{cases}</math>
于是有相应的雅可比行列式：
:<math>\begin{vmatrix}\dfrac{\partial x}{\partial u}&\dfrac{\partial x}{\partial v}\\\dfrac{\partial y}{\partial u}&\dfrac{\partial y}{\partial v}\end{vmatrix}=\begin{vmatrix}\dfrac{\cos u}{\cos v}&\dfrac{\sin u\sin v}{\cos^2v}\\\dfrac{\sin u\sin v}{\cos^2u}&\dfrac{\cos v}{\cos u}\end{vmatrix}=1-\frac{\sin^2u\sin^2v}{\cos^2u\cos^2v}=1-x^2y^2</math>
因此<math>\mathrm dx\mathrm dy=(1-x^2y^2)\mathrm du\mathrm dv</math>，并且将正方形 ''D''<sub>1</sub> 映射成 ''u''>0、''v''>0、''u''+''v''<π/2 的等腰直角三角形，记为 ''D''<sub>2</sub>，得到：
:<math>\iint\limits_{D_1}\frac{\mathrm dx\mathrm dy}{1-x^2y^2}=\iint\limits_{D_2}\mathrm du\mathrm dv=\int_0^\frac\pi2\left(\int_0^{\frac\pi2-v}\mathrm du\right)\mathrm dv=\frac{\pi^2}8</math>

==逆矩陣==
根據[[反函數定理]]，一個可逆函數（存在[[反函數]]的函數）的[[雅可比矩陣]]的[[逆矩陣]]即為該函數的[[反函數]]的[[雅可比矩陣]]。即，若函數 <math>F: \mathbb{R}^n\rightarrow\mathbb{R}^n</math>在點  <math>p\in\mathbb{R}^n</math>的雅可比矩陣是連續且可逆的，則 <math>F</math>在點 <math>p</math>的某一[[鄰域]]內也是可逆的，且有
:<math>J_{F^{-1}}\circ f=J^{-1}_{F}</math>
成立。相反，倘若雅可比行列式在某一個點'''不為'''零，那麽該函數在這個點的某一鄰域內可逆（存在[[反函數]]）。

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

==参看==
* [[前推 (微分)|前推]]
* [[黑塞矩阵]]

== 参考资料 ==
{{Reflist}}

==外部链接==
* [https://web.archive.org/web/20060421002832/http://www.maths.abdn.ac.uk/~igc/tch/ma2001/notes/node77.html  Ian Craw的本科教学网页] 雅可比行列式的通俗解释
* [http://mathworld.wolfram.com/Jacobian.html Mathworld] {{Wayback|url=http://mathworld.wolfram.com/Jacobian.html |date=20171103144419 }} 更技术型的雅可比行列式的解释

{{DEFAULTSORT:Jacobian matrix and determinant}}
[[Category:多变量微积分]]
[[Category:行列式]]
[[Category:矩阵]]
[[Category:导数的推广]]