3.2线性微分方程组的基本理论分析.ppt

(4.3.11) 另一方面, 因为 这里 是 中元素 的代数余子式, 且 (4.3.12) (4.3.13) 把(4.3.13) 代入 (4.3.12) 得 再由 (4.3.11) 即可以得到上式右端为零. 目录 上页 下页 返回 结束 考虑非齐次线性微分方程组 (4.3.1) 解的结构问题. (4.3.2) 3.2 线性微分方程组的基本理论 先考虑(4.3.1) 对应的齐次线性微分方程组 解的结构问题. 一、线性齐次方程组解的结构 Th1 设 是齐次线性方程组 (4.3.2)的 m 个解,则它们的线性组合 也是(4.3.2)的解。 证明: 因 是方程(4.3.2) 的解, 则有 所以 说明 是方程组(4.3.2)的解. 线性相关及线性无关的定义 设 为 上的函数向量, 若有一组不全为0的数 , 有 成立，则称此组函数向量在 上线性相关, 否则称为线性无关. 例4.3.1 证明 在任何区间I上都是线性相关的. 证明:取 则 故 在I上是线性相关的. 例1 证明 在 上线性无关. 证明:要使 成立,显然只需下面方程成立 因为 所以 所以有 线性无关. 朗斯基判别准则: 设有n个函数向量 为这些函数向量组的朗斯基行列式. 称 2 方程组(4.3.2)的解组 在 线性相关的充要条件是它们的朗斯基行列式 证明:必要性.设 在 由 的任意性有 . 均线性相关.所以 上线性相关,则 则 线性相关，即存在不全为零 ,由解的存在唯一性定理知, ,即有 故解组线性相关. 的数 ,使得 充分性.若 ,取 ,有 考虑到 ,由解的叠加原理 知 是(4.3.2)的解,且由(4.3.3)知 满足 可以表示为 3 设 是方程组（4.3.2) 的任意n个解,则它们的朗斯基行列式 其中 为方程组(4.3.2)对应的系数矩阵 A(t)的对角线元素,称上式为刘维尔公式 证明 :由行列式的求导法则可得 因为 是解,故有 所以 这里 表示矩阵 的迹. 解得 在 上线性无关 在 上某点 处， 推论1 方程组（4.3.2）的任一解组 的 在 上或恒不为零，或恒为零. 推论2 方程组（4.3.2）的解组 有 . 4 线性齐次微分方程组（4.3.2）一定存在 个线性无关解. 证明: 由解的存在惟一性定理, 方程组(4.3.2) 一定存在满足初始条件 的解 且以该组作出的Wronsky 行列式在 处有 在 上线性无关. , 因此 （4.3.2）的n个线性无关解，则 （1） 是方程组（4.3.2）的 通解，其中 是任意常数. （2）方程组（4.3.2）的任一解 均可表示为 的线性组合. 5（通解结构定理）设 是方程组 证明：（1）由解的叠加原理知 是方程组（4.3.2）的解，又因为 故 彼此独立，所以 是通解. （2）设 是方程组（4.3.2）任一解，并满足 因为 是n个线性无关解， 构成n维线性空间的基，故对向量 一定 存在唯一确定的一组常数 满足 可知 线性无关，即它们 ,因此由解的唯一性，有 考虑 由解的叠加原理知它为方程组的解，并满足 即 推论3 方程组(4.3.2)的线性无关解的最大个数为n. 基本解组: 称方程组(4.3.2)的n个线性无关解 为一个基本解组. 基解矩阵: 由基本解组组成的矩阵为基解矩阵. Th4.10 方程组(4.3.2)一定存在一个基解矩阵 并若 为其任一解,则 . 解矩阵: 如果 矩阵的每一列都是(4.3.2) 的解, 称这个矩阵为 (4.3.2) 的解矩阵. 其中c是确定的n维常数向量. Th4.11 方程组(4.3.2)的一个解矩阵 为 基解矩阵 在 上某点 有 证明: 若 是 (4.3.2) 的基解矩阵, 则有 故有 即 又因为 是基解矩阵, 所以 反之, 设 满足(4.3.8), 且存在 使 则 满足(4.3.9), 于是 的 n 个列向量 均满足方程组 (4.3.2), 即 是(4.