Def 线性相关
一组不完全为0的数 称 线性相关,否则
线性无关
Def Wronsky行列式
在 上 次可微,称 为Wronsky行列式
Th 线性相关
在 线性相关,则
证明
不完全为0 (逆不成立)
Th liouville公式
是方程 在 上的解,则
证明
Th liouville定理
是(2)在 上的两解,则 在 上线性无关 在 上
Th 通解定理(?)
若 和 是齐次方程(2)的两个线性无关解,则齐次方程(2)的解为
其中 是任意常数
证明
设
在 上线性无关,则 ,任取(2)的解 (非零),则
有唯一一组非零解
令 ,则 是(2)的解,满足 , 和 是同一个问题的解