学习常微分方程组本理论.pptVIP

4.3 线性微分方程组的基本理论 非齐次线性微分方程组 先考虑对应的齐次线性微分方程组 解的结构问题. 一、线性齐次方程组解的结构 证明: Th4.5 设 是齐次线性方程组的解, 则它们的线性组合 也是齐解。 是齐次线性方程组的解. 线性相关及线性无关 则称此组函数向量在 上线性相关, 否则称为线性无关. 有 成立， 设 为 上的函数向量, 若有一组不全为零的数 例4.3.1 证明 在任何区间I上都是线性相关的. 证明: 取 则 故 在I上是线性相关的. 例4.3.2 证明 在 上线性无关. 只需 证明:要使 成立, 线性无关. 朗斯基判别准则: 设有n个函数向量 为这些函数向量组的朗斯基行列式. 称 Th4.6 齐次线性方程组的解组 在 线性相关的充要条件是它们的朗斯基行列式 由 的任意性有 均线性相关. 则 所以 证明:充分性. 在 上线性相关, 设 则 线性相关， 必要性.若 ,取 ,有 考虑 Th4.6 齐次线性方程组的解组 在 线性相关 的数 ,使得 即存在不全为零 由解的叠加原理 知 是齐线性方程组的解,且 由解的存在唯一性定理知