写这个的动机出自这篇,平时经常接触的需要解特征根的其实还有求解线性递推式,可以简单的用同样的方法从线性代数来理解。
1. 定义算子
在连续函数空间中定义算子 Txn = Txn+1,xn 为函数 x 在 n 点的值,所以数列递推式 xn+2 = 3 * xn+1+10 * xn 可以写作 T2x = 3 * Tx + 10 * x,易证算子是线性算子,由于 Tcan = an+c = ac * an,所以 xn = an 为算子 Tc 的本征向量,本征值为 ac 。
2. 解线性递推方程
接上面那个例子,(T2 - 3 * T - 10) x = 0,由于线性算子的线性组合仍然是线性算子,所以 L = (T2 - 3 * T - 10) 为线性算子,原方程等价于解 L 的零空间,(T - 5I)*(T + 2I) x = 0,解出 T 的本征值为 5 与 -2,本征向量为 5n 与 ( -2 )n,所以解为 A1 * 5n + A2 * ( -2 )n 。
3. 选择 ax 作为基底
关于为什么 ax 作为基底的张成能构成整个连续函数空间 ( 实际上张成的闭包才是整个连续函数空间 ) 可以参见相当有趣的 Stone-Weierstrass 定理。
PS: 感谢小西大大!
PS2: 统一微分方程线性递推方程和线性代数这困扰我许久的问题终于解决了…