实值标量函数一阶微分和Jacobian矩阵辨识

发表于 2019-05-14 更新于 2021-03-31 分类于数学/math 阅读次数：79

本文字数： 2.2k 阅读时长 ≈ 4 分钟

神经网络的反向传播可以通过对损失函数进行微分得到各层权重矩阵的梯度

其中对损失函数求梯度是实值标量函数一阶微分，其中关键的部分是得到Jacobian矩阵，从而转置获取梯度矩阵

一阶实矩阵微分

矩阵微分用符号 $d X$ 表示，定义为 $d X = [d X_{i j}]_{i = 1, j = 1}^{m, n}$

实矩阵微分具有两个基本性质

转置。矩阵转置的微分等于矩阵微分的转置，既有 $d (X^{T}) = (d X)^{T}$
线性。 $d (α X + β Y) = α d X + β d Y$

常用计算公式

常数矩阵的微分矩阵为零矩阵，即 $d A = O$
常数 $α$ 与矩阵 $X$ 的乘积的微分矩阵 $d (α X) = α d X$
矩阵转置的微分矩阵等于原矩阵的微分矩阵的转置，即 $d (X^{T}) = (d X)^{T}$
两个矩阵函数的和（差）的微分矩阵为 $d (U \pm V) = d U \pm d V$
常数矩阵与矩阵乘积的微分矩阵为 $d (A X B) = A (d X) B$
矩阵函数 $U = F (X), V = G (X), W = H (X)$ 乘积的微分矩阵为 $d (U V) = (d U) V + U (d V) d (U V W) = (d U) V W + U (d V) W + U V (d W)$
矩阵 $X$ 的迹的矩阵微分 $d (t r (X))$ 等于矩阵微分 $d X$ 的迹 $t r (d X)$ ，即 $d (t r (X)) = t r (d X)$ 7.1 从而可推导出矩阵函数 $F (X)$ 的迹的矩阵微分为 $d (t r (F (X))) = t r (d (F (X)))$
行列式的微分为 $d | X | = | X | t r (X^{- 1} d X)$ 8.1 从而可推导出矩阵函数 $F (X)$ 的行列式的微分为 $d (| F (X) |) = | F (X) | t r (F^{- 1} (X) d (F (X)))$
矩阵函数的Kronecker积的微分矩阵为 $d (U ⨂ V) = (d U) ⨂ V + U ⨂ d V$
矩阵函数的Hadamard积的微分矩阵为 $d (U * V) = (d U) * V + U * d V$
向量化函数 $v e c (X)$ 的微分矩阵等于 $X$ 的微分矩阵的向量化函数，即 $d (v e c (X)) = v e c (d X)$
矩阵对数的微分矩阵为 $d \log X = X^{- 1} d X$ 12.1 从而可推导出矩阵函数 $F (X)$ 的对数的微分矩阵为 $d (\log F (X)) = F^{- 1} (X) d (F (X))$
逆矩阵的微分矩阵为 $d (X^{- 1}) = - X^{- 1} (d X) X^{- 1}$

标量函数的Jacobian矩阵辨识

多变量函数 $f (x_{1}, . . ., x_{m})$ 在点 $(x_{1}, . . ., x_{m})$ 可微分的充分条件是偏导数 $\frac{\partial f}{\partial x_{1}}, . . ., \frac{\partial f}{\partial x_{m}}$ 均存在，且连续。全微分公式如下：

$d f (x_{1}, . . ., x_{m}) = \frac{\partial f}{\partial x_{1}} d x_{1} + . . . + \frac{\partial f}{\partial x_{m}} d x_{m}$

若矩阵的标量函数 $f (x)$ 在 $m \times n$ 矩阵点 $X$ 可微分，则 $J a c o b i a n$ 矩阵可直接通过以下公式辨识：

$d f (x) = t r (A d x) \Leftrightarrow D_{x} f (x) = A d f (X) = t r (A d X) \Leftrightarrow D_{X} f (X) = A$

要点如下：

标量函数 $f (X)$ 总可以写成迹函数的形式，因为 $f (X) = t r (f (X))$
无论 $d X$ 出现在迹函数内的任何位置，总可以通过迹函数的性质 $t r [A (d X) B] = t r (B A d X)$ ，将 $d X$ 写到迹函数的最右端，从而得到迹函数微分矩阵的规范形式
对于 $(d X)^{T}$ ，总可以通过迹函数的性质 $t r [A (d X)^{T} B] = t r (A^{T} B^{T} d X)$ ，写成迹函数微分矩阵的规范形式

计算标量函数 $f (x) = x^{T} A x$ ， $A$ 是正方常数矩阵，求梯度矩阵

$d f (x) = d (t r (x^{T} A x)) = t r [(d x)^{T} A x + x^{T} A d x] = t r ([(d x)^{T} A x]^{T} + x^{T} A d x) = t r (x^{T} A^{T} d x + x^{T} A d x) = t r (x^{T} (A + A^{T}) d x)$

所以 $J a c o b i a n$ 矩阵为 $x^{T} (A + A^{T})$ ，梯度矩阵为 $(A + A^{T}) x$

计算 $t r (X^{T} X)$ 的梯度矩阵

$d t r (X^{T} X) = t r (d [X^{T} X]) = t r ((d X)^{T} X + X^{T} d X) = t r ((d X)^{T} X) + t r (X^{T} d X) = t r (X^{T} d X) + t r (X^{T} d X) = t r (2 X^{T} d X)$

所以 $J a c o b i a n$ 矩阵为 $2 X^{T}$ ，梯度矩阵为 $2 X$

常用的迹函数的微分矩阵及其 $J a c o b i a n$ 矩阵参考《矩阵分析与应用》第3.2章表3.2.1

大海

实值标量函数一阶微分和Jacobian矩阵辨识

一阶实矩阵微分

常用计算公式

标量函数的Jacobian矩阵辨识

相关阅读