雅可比矩阵

简介

在向量分析中，雅可比矩阵是函数的一阶偏导数以一定方式排列成的矩阵。
当其为方形矩阵时，其行列式称为雅可比行列式。

其重要性在于，如果函数 $\mathbf{f}:{\mathbb{R}}^n\to {\mathbb{R}}^m$ 在点 $x$ 可微，在点 $x$ 的雅可比矩阵即为该函数在该点的最佳线性逼近。因此，雅可比矩阵是单变量实数函数的微分在向量值多变量函数上的推广。

定义

假设某函数 $\mathbf{f}:{\mathbb{R}}^n\to {\mathbb{R}}^m$， 从 $x\in {\mathbb{R}}^n$ 映射到向量 $\mathbf{f}(x)\in {\mathbb{R}}^m$。

此函数 $\mathbf{f}$ 的雅可比矩阵 $J$ 为一个 $m\times n$ 的矩阵，其第 $i$ 行 ($i=1,\dots ,m$) 由其第 $i$ 个分量函数 $f_i$ (这是一个标量函数) 的**梯度** $\nabla f_i$ 构成：

$$J=\left[\begin{array}{ccc}\frac{\partial \mathbf{f}}{\partial x_1}& \cdots & \frac{\partial \mathbf{f}}{\partial x_n}\end{array}\right]=\left[\begin{array}{c}\nabla f_1\\ \nabla f_2\\ ⋮\\ \nabla f_m\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]$$

矩阵的分量可表示成：

$$J_{ij}=\frac{\partial f_i}{\partial x_j}$$

性质

雅可比矩阵反映了函数在某点处线性近似的局部性质。
在隐函数定理中，雅可比矩阵的非奇异性是保证隐函数存在及可微的关键条件之一。

特例

• 当 $m=1$ 时, 向量函数 $\mathbf{f}:{\mathbb{R}}^n\to \mathbb{R}$ 退化为标量函数 $f$. 此时 $m\times n$ 的雅可比矩阵 $J$ 退化为 $1\times n$ 矩阵, 即 $f$ 的梯度 (的转置, 取决于定义习惯).
• 当 $n=1$ 且 $m=1$ 时, 雅可比矩阵退化为 $1\times 1$ 矩阵, 即普通一元函数导数 $f^{\prime }(x)$.