MIT_线性代数笔记：第 24 讲 马尔可夫矩阵；傅里叶级数

本讲学习马尔可夫矩阵和傅里叶级数，两者是关于特征值和投影矩阵的应用。

马尔可夫矩阵 Markov matrices

$$A=\left[\begin{array}{ccc}0.1& 0.01& 0.3\\ 0.2& 0.99& 0.3\\ 0.7& 0& 0.4\end{array}\right]$$
形如矩阵 A，任何元素非负，且每列的元素加和为 1 的矩阵被称为马尔可夫矩阵。马尔可夫矩阵主要应用在概率领域。将一个马尔可夫矩阵进行方幂运算得到的仍旧是马尔可夫矩阵。

当处理一个微分方程问题时，特征值 0 意味着得到一个稳态。当进行矩阵的方幂运算时，特征值给出稳态的条件包括：

1. ${\lambda }_1$=1 是特征值之一。
2. 其它特征值的绝对值都比 1 小， $\left|\begin{array}{c}{\lambda }_i\end{array}\right|$ <1。

如我们所知，如果矩阵具有 n 个线性无关的特征向量，则有：
$$U_k=A^k{U}_0=c_1{\lambda }_1^k{X}_1+c_2{\lambda }_2^k{X}_2+......+c_n{\lambda }_n^k{X}_n$$

如果${\lambda }_1$=1 并且其他的特征值都小于 1，则系统在 k 增大过程中趋近于 $u_0$的分量 $c_1{x}_1$，即给出了一个稳态状况。这里特征向量 $x_1$的每一分量都是正的，因此若初始值为正，则最终的稳态也是正的。

Markov 矩阵每一列的元素加和为 1 这个条件，保证了矩阵具有 1 这个特征值。
$$A?I=\left[\begin{array}{ccc}?0.9& 0.01& 0.3\\ 0.2& ?0.09& 0.3\\ 0.7& 0& ?0.6\end{array}\right]$$
从每一列减去 1，则每列的加和都从 1 变为 0。这时候行向量相加的结构就是 0向量，因此行向量线性相关，矩阵为奇异矩阵。矩阵 A 有特征向量在 A-I 的零空间中，其对应的特征值为 1。回带计算可得$x_1$ =$\left[\begin{array}{c}0.6\\ 33\\ 0.7\end{array}\right]$

我们用马尔可夫矩阵来研究人口流动问题。
$${\left[\begin{array}{c}{u}_{cal}\\ u_{mass}\end{array}\right]}_{t=k+1}=\left[\begin{array}{cc}0.9& 0.2\\ 0.1& 0.8\end{array}\right]{\left[\begin{array}{c}{u}_{cal}\\ u_{mass}\end{array}\right]}_{t=k}$$

方程中 u 的分量分别代表加利福尼亚州和马萨诸塞州的人口，矩阵中的每一列中元素代表着人口去留比例，比如第一列 0.9 表示留在加州的人口占加州人口的90%，而 10%进入麻省，第二列中由麻省进入加州的人口占麻省的 20%，而 80%选择留在麻省。可以看到列向量分量的加和为 1 保证了整体人数不会变化，而在这种问题中矩阵也不会出现负的元素。

如果取初值${\left[\begin{array}{c}{u}_{cal}\\ u_{mass}\end{array}\right]}_0$ =$\left[\begin{array}{c}0\\ 1000\end{array}\right]$

则经过一次迁徙${\left[\begin{array}{c}{u}_{cal}\\ u_{mass}\end{array}\right]}_1$ = $\left[\begin{array}{cc}0.9& 0.2\\ 0.1& 0.8\end{array}\right]$ $\left[\begin{array}{c}0\\ 1000\end{array}\right]$ =$\left[\begin{array}{c}200\\ 800\end{array}\right]$

为了获取长时间后的人口分布，我们需要了解矩阵的特征值和特征向量。因为这是马尔可夫矩阵，所以有一个特征值 1，则另一个特征值为

0.9+0.8-1=0.7。可以求得 x1= $\left[\begin{array}{c}2\\ 1\end{array}\right]$，x2= $\left[\begin{array}{c}1\\ ?1\end{array}\right]$。从 $\left[\begin{array}{c}2\\ 1\end{array}\right]$，可知最后的稳态为加州人口 2/3,麻省人口 1/3。

通解为：$u_k=c_1\left[\begin{array}{c}2\\ 1\end{array}\right]+c_2(0.7{)}^k\left[\begin{array}{c}?1\\ 1\end{array}\right]$ ，可以从 u0解得 c1=1000/3,c2=2000/3。

傅里叶级数 Fourier series

如果有一组标准正交基 $q_1，q_2\dots \dots q_n$为则任意向量 v 可以写成：

$$v=x_1{q}_1+x_2{q}_2\dots \dots x_n{q}_n$$
因为当 i，j 不相等时有 $q_i^T{q}_j$=0。因此有 $q_i^{T}v=x_1{q}_i^T{q}_1+x_2{q}_i^T{q}_2\dots \dots x_n{q}_i^T{q}_n=x_i$。
我们得到了分量 xi的公式：$x_i=q_i^{T}v$。
因为$v=\left[\begin{array}{ccc}{q}_1& ...& q_n\end{array}\right]\left[\begin{array}{c}{x}_1\\ ...\\ x_n\end{array}\right]$,即$v=Qx$,所以$x=Q^{?1}v$

因为 Q 为正交矩阵，所以有 $Q^{?1}=Q^T$。$x=Q^{T}v$，这与我们之前得到的 $x_i=q_i^{T}v$ 完全相同。这里给出了求分量的思路就是用空间的一组标准正交基去点乘目标向量，利用其标准正交的性质得到所求。

标准正交是此处的核心概念。而傅里叶级数也是在这个概念上构建的。我们可以对任意函数做傅里叶展开，得到表达式：
$$f(x)=a_0+a_{1}cosx+b_{1}sinx+a_{2}cos2x+b_{2}sin2x+...$$

与之前的有限个标准正交向量组成的正交矩阵不同，这个空间是无限维，它的一组基是 1，cosx，sinx，cos2x，sin2x……
此处的正交概念与 Rn空间不同，点积的概念也不同。
$$向量V^{T}W=v_1{w}_1+v_2{w}_2+...+v_n{w}_n$$
$$函数f^{T}g={\int }_0^{2\pi }f(x)g(x)\mathrm{d}x$$