新生任务-3

一、为什么机器学习中需要矩阵求导

这是一个非常自然的过程. 算法中需要数据喂进去, 对于数据来说可以用向量或者是矩阵来表示.

机器学习就是对优化算法围绕讨论. 本质上就是一个方程, 使用向量或者矩阵能够使得运算速度更快. 例如在使用 numpy 库计算向量之间内积的时候能体现出和使用循环计算内积方式的速度差距.

求导是为了获取到损失函数的变换趋势, 以便于对算法优化过程进行迭代处理.

二、向量函数

1. 标量函数

$$f_1(x)=x^2\underset{x}{R}⟶\underset{x^2}{R}$$

函数 $f_1(x)$ 输入是 $x$, 输出是 $x^2$, 输入输出都是一个数.

$$f_2(x)=x_1^2+x_2^2\underset{\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]}{R}⟶\underset{x_1^2+x_2^2}{R}$$

函数 $f_2(x)$ 输入是 $\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]$ 这样一个向量, 输出是 $x_1^2+x_2^2$ 这样一个值.

所以把输出为标量的函数就叫做标量函数.

2. 向量函数

$$f(x)=\left[\begin{array}{c}{f}_1(x)=x\\ f_2(x)=x^2\end{array}\right]\underset{x}{R}⟶\underset{\left[\begin{array}{c}x\\ x^2\end{array}\right]}{R}$$

这样在函数中输入的是标量, 但是输出却为向量. 同样的还有这样的函数

$$f(x)=\left[\begin{array}{cc}{f}_{11}(x)=x_1+x_2& f_{12}(x)=x_1^2+x_2^2\\ f_{21}(x)=x_1^3+x_2^3& f_{22}(x)=x_1^4+x_2^4\end{array}\right]\underset{\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]}{R}⟶\underset{\left[\begin{array}{cc}{x}_1+x_2& x_1^2+x_2^2\\ x_1^3+x_2^3& x_1^4+x_2^4\end{array}\right]}{R}$$

输入是一个 2 维向量, 输出是 $2\times 2$ 的矩阵.

那么我们现在就有这样的东西

$$\begin{array}{r}\mathrm{I}\mathrm{n}\mathrm{p}\mathrm{u}\mathrm{t}⟶标量,向量\\ \mathrm{O}\mathrm{u}\mathrm{t}\mathrm{p}\mathrm{u}\mathrm{t}⟶标量,向量\end{array}$$

输入和输出的组合, 一共就有 4 种方式.

三、矩阵求导

1. 矩阵求导本质

现有矩阵 $A$ 和矩阵 $B$, 那么矩阵求导式子 $\frac{dA}{dB}$ 就是让矩阵 $A$ 中的每一个元素对矩阵 $B$ 中的每一个元素进行求导.

从求导后的个数就能有一个较为清晰的判断, 括号中为矩阵中元素个数

$$A(1\times 1)B(1\times 1)\frac{dA}{dB}(1\times 1)$$

$$A(1\times p)B(1\times n)\frac{dA}{dB}(p\times n)$$

$$A(1\times p)B(m\times n)\frac{dA}{dB}(p\times q\times m\times n)$$

2. 矩阵求导技巧

需要记住两点技巧, 一是标量不变, 向量拉伸; 二是前面横向拉, 后面纵向拉. 下面举几个例子来感受一下.

例 1 : $f(x)$ 为标量函数, $x=[x_1,x_2,\cdots ,x_n{]}^{\mathrm{T}}$ 为向量, 求 $f(x)$ 关于 $x$ 的导数.

$$f(x)=f(x_1,x_2,\cdots ,x_n)$$

那么就有

$$\frac{df(x)}{dx}=\left[\begin{array}{c}\frac{\partial f(x)}{\partial x_1}\\ \frac{\partial f(x)}{\partial x_2}\\ ⋮\\ \frac{\partial f(x)}{\partial x_n}\end{array}\right]$$

因为 $f(x)$ 是标量, 所以在求导中不变, 而 $x$ 是向量, 所以求导中要变, 但是 $x$ 是在后面, 所以就出现纵向拉伸, 换而言之拉伸的过程就是多元函数求导的过程.

例 2 : $f(x)=\left[\begin{array}{c}{f}_1(x)\\ f_2(x)\\ ⋮\\ f_n(x)\end{array}\right]$ 为向量函数, $x$ 为标量, 求 $f(x)$ 关于 $x$ 的导数.

$$\frac{df(x)}{dx}=[\frac{\partial f_1(x)}{\partial x},\frac{\partial f_2(x)}{\partial x},\cdots ,\frac{\partial f_n(x)}{\partial x}]$$

因为 $x$ 是标量, 所以在求导中不变, 而 $f(x)$ 是向量, 所以求导中要变, 但是 $f(x)$ 是在前面, 所以就出现横向拉伸, 换而言之拉伸的过程就是不同函数对同一变量求导的过程.

例 3 : $f(x)=\left[\begin{array}{c}{f}_1(x)\\ f_2(x)\\ ⋮\\ f_n(x)\end{array}\right]$ 为向量函数, $x=[x_1,x_2,\cdots ,x_n{]}^{\mathrm{T}}$ 为向量, 求 $f(x)$ 关于 $x$ 的导数.

这个就是前两个例子的结合, 出现了横向和纵向的拉伸.

$$\frac{df(x)}{dx}=\left[\begin{array}{cccc}\frac{\partial f_1(x)}{\partial x_1}& \frac{\partial f_2(x)}{\partial x_1}& \cdots & \frac{\partial f_n(x)}{\partial x_1}\\ \frac{\partial f_1(x)}{\partial x_2}& \frac{\partial f_2(x)}{\partial x_2}& \cdots & \frac{\partial f_n(x)}{\partial x_2}\\ \cdots & \cdots & \cdots & \cdots \\ \frac{\partial f_1(x)}{\partial x_n}& \frac{\partial f_2(x)}{\partial x_n}& \cdots & \frac{\partial f_n(x)}{\partial x_n}\end{array}\right]$$

3. 常见公式推导

例 1 : $f(x)=A^{\mathrm{T}}X$, 其中 $A=\left[\begin{array}{c}{a}_1\\ a_2\\ ⋮\\ a_n\end{array}\right]$, $X=\left[\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_n\end{array}\right]$, 求 $f(x)$ 关于 $x$ 的导数.

首先就是把 $f(x)$ 求出来, 这一看都知道 $f(x)$ 是个标量函数.

$$f(x)=A^{\mathrm{T}}X=\sum _{i=1}^n{a}_i{x}_i$$

那么就有

$$\frac{df(x)}{dx}=\left[\begin{array}{c}\frac{\partial f(x)}{\partial x_1}\\ \frac{\partial f(x)}{\partial x_2}\\ ⋮\\ \frac{\partial f(x)}{\partial x_n}\end{array}\right]$$

然后拿出 $\frac{\partial f(x)}{\partial x_1}$ 来看有

$$\frac{\partial (a_1{x}_1+a_2{x}_2+\cdots +a_n{x}_n)}{\partial x_1}=a_1$$

所以就有

$$\frac{df(x)}{dx}=\left[\begin{array}{c}{a}_1\\ a_n\\ ⋮\\ a_n\end{array}\right]=A$$

这里又不难得出 $A^{\mathrm{T}}X=X^{\mathrm{T}}A$, 故 $f(x)=A^{\mathrm{T}}X=X^{\mathrm{T}}A$, 所以就有

$$\frac{d{A}^{\mathrm{T}}X}{dx}=\frac{d{X}^{\mathrm{T}}A}{dx}=A$$

例 2 : $f(x)=X^{\mathrm{T}}AX$, 其中 $X=\left[\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_n\end{array}\right]$ $A=\left[\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& ⋮& \cdots & ⋮\\ a_{n1}& a_{n2}& \cdots & a_{nn}\end{array}\right]$, 求 $f(x)$ 关于 $x$ 的导数.

首先可以看出结果是一个标量, 展开来看有

$$f(x)=[x_1,x_2,\cdots ,x_n]\left[\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& ⋮& \cdots & ⋮\\ a_{n1}& a_{n2}& \cdots & a_{nn}\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_n\end{array}\right]$$

用表达式表示

$$f(x)=\sum _{i=1}^n\sum _{j=1}^n{a}_{ij}{x}_i{x}_j$$

那么就有

$$\begin{array}{rl}\frac{df(x)}{dx}& =\left[\begin{array}{c}\frac{\partial f(x)}{\partial x_1}\\ \frac{\partial f(x)}{\partial x_2}\\ ⋮\\ \frac{\partial f(x)}{\partial x_n}\end{array}\right]=\left[\begin{array}{c}{\sum }_{j=1}^n{a}_{1j}{x}_j+{\sum }_{i=1}^n{a}_{i1}{x}_i\\ {\sum }_{j=1}^n{a}_{2j}{x}_j+{\sum }_{i=1}^n{a}_{i2}{x}_i\\ ⋮\\ {\sum }_{j=1}^n{a}_{nj}{x}_j+{\sum }_{i=1}^n{a}_{in}{x}_i\end{array}\right]\\ & =\left[\begin{array}{c}{\sum }_{j=1}^n{a}_{1j}{x}_j\\ {\sum }_{j=1}^n{a}_{2j}{x}_j\\ ⋮\\ {\sum }_{j=1}^n{a}_{nj}{x}_j\end{array}\right]+\left[\begin{array}{c}{\sum }_{i=1}^n{a}_{i1}{x}_i\\ {\sum }_{i=1}^n{a}_{i2}{x}_i\\ ⋮\\ {\sum }_{i=1}^n{a}_{in}{x}_i\end{array}\right]\\ & =\left[\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& ⋮& \cdots & ⋮\\ a_{n1}& a_{n2}& \cdots & a_{nn}\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_n\end{array}\right]+\left[\begin{array}{cccc}{a}_{11}& a_{21}& \cdots & a_{n1}\\ a_{12}& a_{22}& \cdots & a_{n2}\\ ⋮& ⋮& \cdots & ⋮\\ a_{1n}& a_{2n}& \cdots & a_{nn}\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_n\end{array}\right]\\ & =AX+A^{\mathrm{T}}X\end{array}$$

所以就有

$$\frac{df(x)}{dx}=\frac{d{X}^{\mathrm{T}}AX}{dx}=(A+A^{\mathrm{T}})X$$

其实复杂程度也就如此, 了解了本质就知道如何正确求导.

更多公式推导参见知乎 : 矩阵求导公式的数学推导（矩阵求导——基础篇）