|  |
| --- |
| 系列條目 |
| 微积分学 |
|  |
| 
* 函数
* 极限论
* 微分学
* 积分

* 微积分基本定理
* 微积分发现权之争（英语：）

 |
| 基础概念（含极限论和级数论）

| 
實數性質 |
| --- |
| 函数 · 单调性 · 初等函数 · 數列 · 极限 · 实数的构造（1=0.999…） · 无穷（銜尾蛇） · 無窮小量 · ε-δ語言 · 实无穷（英语：） · 大O符号 · 最小上界 · 收敛数列 · 芝诺悖论 · 柯西序列 · 单调收敛定理 · 夹挤定理 · 波尔查诺-魏尔斯特拉斯定理 · 斯托尔兹-切萨罗定理 · 上极限和下极限 · 函數極限 · 渐近线 · 邻域 · 连续 · 連續函數 · 不连续点 · 狄利克雷函数 · 稠密集 · 一致连续 ·  · 海涅-博雷尔定理 · 支撑集 · 欧几里得空间 · 点积 · 外积 · 三重积 · 拉格朗日恒等式 · 等价范数 · 坐標系 · 多元函数 · 凸集 · 巴拿赫不动点定理 · 级数 · 收敛级数（英语：） · 几何级数 · 调和级数 · 項測試 · 格兰迪级数 · 收敛半径 · 审敛法 · 柯西乘积 · 黎曼级数重排定理 · 函数项级数（英语：） · 一致收斂 · 迪尼定理 |
| 
數列與級數 |
| 
連續 |
| 
函數 |

 |
| 一元微分

|  |
| --- |
| 差分 · 均差 · 微分 · 微分的线性（英语：） · 导数（流数法 · 二阶导数 · 光滑函数 · 高阶微分 · 莱布尼兹记号（英语：） · 幽灵似的消失量） · 介值定理 · 中值定理（罗尔定理 · 拉格朗日中值定理 · 柯西中值定理） · 泰勒公式 · 求导法则（乘积法则 · 广义莱布尼茨定则（英语：） · 除法定则 · 倒数定则 · 链式法则） · 洛必达法则 · 反函数的微分 · Faà di Bruno公式（英语：） · 对数微分法 · 导数列表 · 导数的函数应用（单调性 · 切线 · 极值 · 驻点 · 拐点 · 求导检测（英语：） · 凸函數 · 凹函數 · 簡森不等式 · 曲线的曲率 · 埃尔米特插值） · 达布定理 · 魏尔施特拉斯函数 |

 |
| 一元积分

|  |
| --- |
| * 积分表
 |
| 
定义 |
| * 不定积分
* 定积分
* 黎曼积分
* 达布积分
* 勒贝格积分
* 积分的线性
 |
| 
求积分的技巧（换元积分法 · 三角换元法 · 分部积分法 · 部分分式积分法 · 降次积分法） 微元法 · 积分第一中值定理 · 积分第二中值定理 · **微积分基本定理** · 反常積分 · 柯西主值 · 積分函數（Β函数 · Γ函数 · 古德曼函数 · 椭圆积分） · 數值積分（矩形法 · 梯形公式 · 辛普森積分法 · 牛顿-寇次公式） · 积分判别法 · 傅里叶级数（狄利克雷定理 · 周期延拓） · 魏尔施特拉斯逼近定理 · 帕塞瓦尔定理 · 刘维尔定理 |

 |
| 多元微积分

|  |
| --- |
| 偏导数 · 隐函数 · 全微分（微分的形式不变性） · 二阶导数的对称性 · 全微分 · 方向導數 · 标量场 · 向量場 · 梯度（Nabla算子） · 多元泰勒公式 · 拉格朗日乘数 · 黑塞矩陣 · 鞍點 · 多重积分（逐次积分（英语：） · 积分顺序（英语：）） · 积分估值定理 · 旋转体 · 帕普斯-古尔丁中心化旋转定理 · 祖暅-卡瓦列里原理 · 托里拆利小号 · 雅可比矩阵 · 广义多重积分（高斯积分） · 若尔当曲线 · 曲线积分 · 曲面积分（施瓦茨的靴（俄语：）） · 散度 · 旋度 · 通量 · 可定向性 · **格林公式** · **高斯散度定理** · **斯托克斯定理**及其外微分形式 · 若尔当测度 · 隐函数定理 · 皮亚诺-希尔伯特曲线 · 积分变换 · 卷积定理 · 积分符号内取微分 (莱布尼茨积分定则（英语：）) · 多变量原函数的存在性（全微分方程） · 外微分的映射原像存在性（恰当形式） · 向量值函数 · 向量空间内的导数推广（英语：）（加托导数 · 弗雷歇导数（英语：） · 矩阵的微积分（英语：）） · 弱微分 |

 |
| 微分方程

|  |
| --- |
| 常微分方程 · 柯西-利普希茨定理 · 皮亚诺存在性定理 · 分离变数法 · 级数展开法 · 积分因子 · 拉普拉斯算子 · 欧拉方法 · 柯西-欧拉方程 · 伯努利微分方程 · 克莱罗方程 · 全微分方程 · 线性微分方程 · 叠加原理 · 特徵方程式 · 朗斯基行列式 · 微分算子法 · 差分方程 · 拉普拉斯变换 · 偏微分方程（拉普拉斯方程 · 泊松方程） · 施图姆-刘维尔理论 · N体问题 · 积分方程 |

 |
| 相关数学家
牛顿 · 莱布尼兹 · 柯西 · 魏尔斯特拉斯  · 黎曼 · 拉格朗日 · 欧拉 · 帕斯卡 · 海涅 · 巴罗 · 波尔查诺 · 狄利克雷 · 格林 · 斯托克斯 · 若尔当 · 达布 · 傅里叶 · 拉普拉斯 · 雅各布·伯努利 · 約翰·白努利 · 阿达马 · 麦克劳林 · 迪尼 · 沃利斯 · 费马 · 达朗贝尔 · 黑维塞 · 吉布斯 · 奥斯特罗格拉德斯基 · 刘维尔 · 棣莫弗 · 格雷果里 · 玛达瓦（英语：） · 婆什迦羅第二 · 阿涅西 · 阿基米德
 |
| 历史名作
从无穷小量分析来理解曲线（英语：） · 分析学教程（英语：） · 无穷小分析引论 · 用无穷级数做数学分析（英语：） · 流形上的微积分（英语：） · 微积分学教程 · 纯数学教程（英语：） · 机械原理方法论（英语：）
 |
| 分支学科

|  |
| --- |
| 实变函数论 · 複分析 · 傅里叶分析 · 变分法 · 特殊函数 · 动力系统 · 微分几何 · 微分代数 · 向量分析 · 分数微积分 · 玛里亚温微积分（英语：） · 随机分析 · 最优化 · 非标准分析 |

 |
| * 
* 论
* 编
 |

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

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

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

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

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

雅可比矩阵
-----

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

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

{\displaystyle \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}}}
矩陣的分量可表示成：

{\displaystyle \mathbf {J} \_{ij}={\frac {\partial f\_{i}}{\partial x\_{j}}}}
雅可比矩陣的其他常用符號還有：

{\displaystyle Df}、 {\displaystyle \mathrm {D} \mathbf {f} }、{\displaystyle \mathbf {J} \_{\mathbf {f} }(x\_{1},\ldots ,x\_{n})} 或者 {\displaystyle {\frac {\partial (f\_{1},\ldots ,f\_{m})}{\partial (x\_{1},\ldots ,x\_{n})}}}
此矩陣的第 i是由函數 f\_{i} 的梯度函数所表示的，{\displaystyle 1\leq i\leq m} 。 

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

{\displaystyle f(x)\approx f(p)+\mathbf {J} \_{\mathbf {f} }(p)\cdot (x-p)}
講更詳細點也就是：

{\displaystyle \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**: ℝ+ × [0, *π*) × [0, 2*π*) → ℝ3 函数给出，其分量為：

{\displaystyle {\begin{aligned}x&=r\sin \theta \cos \varphi ;\\y&=r\sin \theta \sin \varphi ;\\z&=r\cos \theta \end{aligned}}}
此坐标变换的雅可比矩阵是

{\displaystyle \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 *θ*。以體積元變換爲例，由於 d*V* = d*x* d*y* d*z*，如果做變數變換，則其體積元（Volume element，d*V*），會變成：d*V* = *r*2 sin *θ* d*r* d*θ* d*φ*。

### 例二

**F** : ℝ3 → ℝ4，其各分量為

y\_{1}=x\_{1}\,
y\_{2}=5x\_{3}\,
y\_{3}=4x\_{2}^{2}-2x\_{3}\,
{\displaystyle y\_{4}=x\_{3}\sin x\_{1}\,}
其雅可比矩阵为:

{\displaystyle 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}}}
此例子说明雅可比矩阵不一定为方阵。

在动力系统中
------

考虑形为 {\displaystyle x^{\prime }=F(x)}的动力系统，{\displaystyle F:\mathbb {R} ^{n}\rightarrow \mathbb {R} ^{n}}。如果 {\displaystyle F(x\_{0})=0}，那么 x\_{0}是一个臨界點。系统接近臨界點时的行為跟 {\displaystyle 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 → ℝ3，其分量为：

y\_{1}=5x\_{2}\,
y\_{2}=4x\_{1}^{2}-2\sin(x\_{2}x\_{3})\,
y\_{3}=x\_{2}x\_{3}\,
则它的Jacobi行列式为：

{\displaystyle {\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 的點。

### 例子二

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

{\displaystyle \sum \_{n=0}^{\infty }{\frac {1}{(2n+1)^{2}}}=\iint \limits \_{D\_{1}}\sum \_{n=1}^{\infty }(xy)^{2n}\mathrm {d} x\mathrm {d} y=\iint \limits \_{D\_{1}}{\frac {\mathrm {d} x\mathrm {d} y}{1-x^{2}y^{2}}}}
此时定义映射 *F* : ℝ2 → ℝ2，满足：

{\displaystyle {\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}}}
于是有相应的雅可比行列式：

{\displaystyle {\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 ^{2}v}}\\{\dfrac {\sin u\sin v}{\cos ^{2}u}}&{\dfrac {\cos v}{\cos u}}\end{vmatrix}}=1-{\frac {\sin ^{2}u\sin ^{2}v}{\cos ^{2}u\cos ^{2}v}}=1-x^{2}y^{2}}
因此{\displaystyle \mathrm {d} x\mathrm {d} y=(1-x^{2}y^{2})\mathrm {d} u\mathrm {d} v}，并且将正方形 *D*1 映射成 *u*>0、*v*>0、*u*+*v*<π/2 的等腰直角三角形，记为 *D*2，得到：

{\displaystyle \iint \limits \_{D\_{1}}{\frac {\mathrm {d} x\mathrm {d} y}{1-x^{2}y^{2}}}=\iint \limits \_{D\_{2}}\mathrm {d} u\mathrm {d} v=\int \_{0}^{\frac {\pi }{2}}\left(\int \_{0}^{{\frac {\pi }{2}}-v}\mathrm {d} u\right)\mathrm {d} v={\frac {\pi ^{2}}{8}}}

逆矩陣
---

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

{\displaystyle J\_{F^{-1}}\circ f=J\_{F}^{-1}}
成立。相反，倘若雅可比行列式在某一個點**不為**零，那麽該函數在這個點的某一鄰域內*可逆*（存在反函數）。

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

参看
--

* 前推
* 黑塞矩阵

参考资料
----

1. ↑  W. Weisstein, Eric.. mathworld.wolfram.com.  [2 May 2018]. （原始内容存档于3 November 2017）.

外部链接
----

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