矩阵变量的矩阵值函数微分公式 （原创）

微分公式

设： $\mathbf{X}_{s \times t} = {(x_{uv})}_{s \times t}, \mathbf{Y}_{m \times n} = { \left (y_{ij} \left (\mathbf{X} \right ) \right )}_{m \times n}, s, t, m, n \in\mathbb N ^+,$
记 $\mathbf{A} _{uv} = {\left (a_{ijuv} \left (\mathbf{X} \right ) \right )}_{m \times n}, \forall u, v \in\mathbb N, 1 \le u \le s, 1 \le v \le t,$
则： $\mathrm{d} y_{ij} = \sum_{u = 1}^{s} \sum_{v = 1}^{t} a_{ijuv} \mathrm{d} x_{uv}, \forall i, j \in\mathbb N, 1 \le i \le m, 1 \le j \le n,$
$\Leftrightarrow \mathrm{d} \mathbf{Y} = \sum_{u = 1}^{s} \sum_{v = 1}^{t} \mathbf{A} _{uv} \mathrm{d} x_{uv}$
注：
记 $\dfrac {\partial \mathbf{Y} }{\partial x_{uv} } = \mathbf{A} _{uv} , \forall u, v \in\mathbb N, 1 \le u \le s, 1 \le v \le t,$
则等式可写为：
$\mathrm{d} \mathbf{Y} = \sum_{u = 1}^{s} \sum_{v = 1}^{t} \dfrac {\partial \mathbf{Y} }{\partial x_{uv} } \mathrm{d} x_{uv}$

证明：

记 $\mathbf{\Delta X} = (\Delta x_{uv})_{s \times t}, \mathbf{\Delta Y}_{m \times n} = {(\Delta y_{ij})}_{m \times n}, r = \sqrt{ \sum_{k=1}^{s} \sum_{l=1}^{t} { {\Delta x_{uv}} ^2} }，$ 则：
$\mathrm{d} y_{ij} = \sum_{u = 1}^{s} \sum_{v = 1}^{t} a_{ijuv} \mathrm{d} x_{uv}, \forall i, j \in\mathbb N, 1 \le i \le m, 1 \le j \le n,$
$\Leftrightarrow \Delta y_{ij} = \sum_{u = 1}^{s} \sum_{v = 1}^{t} a_{ijuv} \Delta x_{uv} + r \cdot \alpha_{ij}, \lim \limits_{ \mathbf {\Delta X} \to \mathbf {0}} {\alpha_{ij}} = 0$
⇔ΔY=