线性微分方程组的基本理论.pptVIP

目录 上页 下页 返回 结束 * 考虑非齐次线性微分方程组 (5.14) 解的结构问题. 5.2 线性微分方程组的基本理论 先考虑(5.14) 对应的齐次线性微分方程组 (5.15) 解的结构问题. 一、线性齐次方程组解的结构 定理2 设 是齐次线性方程组 (5.15)的 m 个解,则它们的线性组合 也是(5.15)的解。 证明: 因 是方程(5.15) 的解, 则有 所以 说明 是方程组(5.15)的解. 线性相关及线性无关的定义 设 为 上的函数向量, 若有一组不全为0的数 , 有 成立，则称此组函数向量在 上线性相关, 否则称为线性无关. 例1 证明 在任何区间I上都是线性相关的. 证明:取 则 故 在I上是线性相关的. 练习2 证明 在 上线性无关. 证明:要使 成立,显然只需下面方程成立 因为 所以 所以有 线性无关. 朗斯基判别准则: 设有n个函数向量 为这些函数向量组的朗斯基行列式. 称 定理3 方程组(5.15)的解组 在 线性相关的充要条件是它们的朗斯基行列式 证明:必要性.设 在 由 的任意性有 . 均线性相关.所以 上线性相关,则 则 线性相关，即存在不全为零 由解的存在唯一性定理知, ,即有 故解组线性相关. 的数 ,使得 充分性.若 ,取 ,有 考虑到 ,由解的叠加原理 知 是(5.15)的解,且满足 定理4 方程组(5.15)的解组 在 线性无关，则它们的朗斯基行列式 推论 方程组（5.15）的任一解组 的 在 上或恒不为零，或恒为零. 定理5 线性齐次微分方程组（5.15）一定存在 个线性无关解. 证明: 由解的存在唯一性定理, 方程组(5.15) 一定存在满足初始条件 的解 且以该组作出的Wronsky 行列式在 处有 在 上线性无关. , 因此 n个线性无关解，则方程组（5.15）的任一解 均可表示为 的线性组合. 定理6 设 是方程组（5.15）的 因为 是n个线性无关解， 可知 线性无关，即它们 设 是方程组（5.15）任一解，并满足 证明： 构成n维线性空间的基，故对向量 一定 存在唯一确定的一组常数 满足 ,因此由解的唯一性，有 考虑 由解的叠加原理知它为方程组的解，并满足 即 推论1 方程组(5.15)的线性无关解的最大个数为n. 推论2 如果已知(5.15)的k个线性无关解，则(5.15)可 以降低为含n-k个未知函数的线性微分方程组。 特别地，如果已知(5.15)的n-1个线性无关解，则(5.15) 的通解即可得到. 其中 是任意常数. 是方程组（5.15）的通解， n个线性无关解，则 推论3 设 是方程组（5.15）的 基本解组: 称方程组(5.15)的n个线性无关解 为一个基本解组. 基解矩阵: 由基本解组组成的矩阵为基解矩阵. 定理1* 方程组(5.15)一定存在一个基解矩阵 并若 为其任一解,则 解矩阵: 如果 矩阵的每一列都是(5.15) 的解, 称这个矩阵为 (5.15) 的解矩阵. 其中c是确定的n维常数向量. 定理2* 方程组(5.15)的一个解矩阵 为 基解矩阵 在 上某点 有 推论1* 若 是(4.3.2)在 上的基解矩阵, 方程组(5.15)在区间 上的基解矩阵. C是非奇异 常数矩阵,则 也是 推论2* 若 是(5.15)两个基解矩阵,则存 在非奇异常数矩阵C,使得 练习3 验证 是方程组 的基本解矩阵, 并写出其通解. 解: 首先验证 是解矩阵, 令 表示 的第一列, 因为 故 因此, 是方程的一个解. 同理, 令 表示 的第二列, 可知 也是 方程 的解, 因此 是方程组 的解矩阵, 另外因 故 是方程组 的基本解组. 所以其通解为: 二、非齐次线性微分方程组解的结构 （5.14） （5.15） 解的一些简单性质: 性质1 如果 是 (5.14) 的解, 是 (5.14) 是 (5.14) 的解. 对应的齐次线性方程组 (5.15) 的解, 则