【精选习题】 第五章 线性微分方程组.docVIP

第五章 线性微分方程组 线性微分方程组 研究对象 一阶线性微分方程组 1 基本概念 1）一阶微分方程组的标准型 含有个未知函数及其一阶导数的微分方程组 （5.1） 称为一阶微分方程组的标准型，其中是定义在维空间的某区域内已知的连续函数，是自变量。 2）初值问题 求满足方程组（5.1）及初值条件的解的问题称为一阶微分方程组的初值问题（或柯西问题）。表示如下 及。 3）通解 方程组（5.1）含有个独立的任意常数的解 称为它的通解。 4) 高阶线性方程与一阶方程组等价 阶线性微分方程的初值问题 其中是区间上确定的函数，是确定的常数，它的解为。只要令，它可以化为下列一阶线性微分方程组的初值问题 ，， 其中，并且它的解为。 同时，给定其中一个初值问题的解，就可构造另一个初值问题的解，在这个意义下，称上面两个初值问题是等价的。 5）一阶线性微分方程组 若（5.1）中函数关于是线性的，即 （5.2） 则称（5.2）为一阶线性微分方程组，简称为线性方程组，其中在区间上连续。 6) 线性方程组的向量表示 方程组（5.2）的向量形式为 （5.3） 其中， ，，。 在方程组（5.3）中，若，则有 （5.4） 称（5.4）为线性齐次方程组，否则称（5.3）为线性非齐次方程组， 7) 向量函数组的线性相关和线性无关 定义在区间上的维向量函数，如果存在个不全为零的常数，使得在区间上成立，则称这个向量函数组在区间上线性相关，否则称线性无关。 8) 向量函数组的朗斯基行列式 设是个向量函数，以作为第列所构成的矩阵记为，将其行列式称为向量函数组的朗斯基行列式，记为 。 9）基本解组和基本解矩阵 若是线性齐次方程组（5.4）的个线性无关解，那么称是它的一个基本解组，并称矩阵为方程组（5.4）的基本解矩阵，简称基本解矩阵。 2 基本定理及性质 定理5.1 如果矩阵函数及向量函数在区间上连续，则对上任一点以及任意给定的，初值问题 在区间内存在唯一的解。 定理5.2（线性齐次方程组的叠加原理） 设是线性齐次方程组（5.4）的个解，则 也是（5.4）的解，其中是任意常数，即线性齐次方程组的任意有限个解的任意线性组合仍为该方程组的解。 定理5.3 如果向量函数组在区间上线性相关，则它们的朗斯基行列式在区间上恒等于零。 推论5.1 如果向量函数组的朗斯基行列式在区间上的某一点不等于零，即，则该向量函数组在区间上线性无关。 定理5.4 如果方程组（5.4）的个解在其定义区间上线性无关，则它们的朗斯基行列式在区间上处处不为零。 推论5.2 方程组（5.4）的个解在其定义区间上线性无关的充要条件是它们的朗斯基行列式在区间上处处不为零。 定理5.5 线性齐次方程组（5.4）存在并且至多存在个线性无关的解。 定理5.6（刘维尔公式） 若是线性齐次方程组（5.4）的个解，则这个解的伏朗斯基行列式与方程组（5.4）的系数有如下关系式 。 定理5.7 （线性齐次方程组通解结构）如果向量函数组是线性齐次方程组（5.4）的个线性无关解，则方程组（5.4）的任一解均可表示为 ， 这里是个相应的常数。 结论1（线性齐次方程组通解结构的矩阵表示）线性齐次方程组（5.4）的通解为，其中为（5.4）的基本解矩阵，为任意常向量。 性质5.1 如果是线性非齐次方程组（5.3）的解，而是其对应线性齐次 方程组（5.4）的解，那么是线性非齐次方程组（5.3）的解。 性质5.2 线性非齐次方程组（5.3）的任意两个解的差是其对应线性齐次方程组（5.4） 的解。 定理5.8（非齐次方程组通解结构）线性非齐次方程组（5.3）的通解等于其对应的齐 次线性方程组（5.4）的通解与其自身的一个特解之和，即若是线性非齐次方程组（5.3）的一个特解，是线性齐次方程组（5.4）的个线性无关的解，则 就是（5.3）的通解。 结论2（线性非齐次方程组通解结构的矩阵表示）线性非齐次方程组（5.3）的通解为 ，其中为（5.4）的基本解矩阵，为任意常向量，是非 齐次线性方程组（5.3）的一个特解。 结论3 （常数变易公式）如果是线性齐次方程组（5.4）的基本解矩阵，则线性 非齐次方程组（5.3）满足初始条件的特解由下面公式给出 其中表示矩阵的逆矩阵。 注意：利用常数变易法可求线性非齐次方程组（5.3）的一个特解。 定理5.9 给定常系数线性方程组，那么 a) 如果的特征值的实部都是负的，则方程组的任一解当时都趋于零。 b) 如果的特征值的实部都是非正的，且实部为零的特征值都是简单特征值，则方程组的任一解当时都保持有界。 c) 如果的特征值至少有一个具有正实部，则方程组至少有一解当时趋于