5.2.1高等数学.pptVIP

§ 5.2 线性微分方程组的一般理论  * * ? 掌握线性齐次微分方程组的解的性质及 代数结构。 ? 掌握线性非齐次微分方程组的解的代数 结构，理解常数变易法的基本思想。 本节要求 (5.14) 则(5.14)称为非齐次线性的。 则方程 (5.15）称为齐次线性的。 如果 (5.15) 若 为常数矩阵，则称为常系数线性方程组。 如果 5.2.1 齐线性微分方程组 定理2（叠加原理） 如果 u(t)和 v(t)是(5.15)的解， 也是(5.15)的解。 则它们的线性组合 (5.15) 证明： 如果 是(5.15)的解，则 也是(5.15)的解。 可验证 是方程组 的解，则 也是方程组的解。 成立；否则， 为线性无关的。 基本概念 定义在区间 上的向量函数 是线性相关的，如果存在不全为零的常数 使得等式 例 线性无关。 设有 n 个定义在区间 上的向量函数 由这n个向量函数构成的行列式， 称为这些向量函数的伏朗斯基行列式。 如果向量函数 上线性相关，则它们的伏朗斯基行列式 定理3 在区间 由假设，存在不全为零的常数 使得 (5.16) 证明 其系数行列式恰是 证毕 线性无关，那么，它们的伏朗斯基行列式 设有某一个 使得 考虑下面的齐次线性代数方程组： (5.17) 定理4 如果(5.15)的解 证明 用反证法。 它的系数行列式 ，所以(5.17)有非零解 以这个非零解作向量函数 (5.18) 满足初始条件(5.19)的解。 (5.19) 易知 x(t) 是(5.15)的解，且满足初始条件 而在 上恒等于零的向量函数 0 也是(5.15)的 因为 不全为零，这就与 线性无关矛盾。 由解的唯一性，知道 即 定理得证。 结论 斯基行列式W ( t ) 或者恒等于零，或者恒不等于零。 由(5.15) 的解 作成的伏朗 定理5 (5.15)一定存在 n 个线性无关的解。 线性无关 定理得证。 是 (5.15) n 个线性无关 这里 的解，则(5.15)的任一解 x ( t ) 均可表示为 定理6 如果 是相应的确定常数。 任取(5.15)的任一解 ，它满足 令 上式看作是以 为未知量的线性代数方程组， 证明 (5.20) 系数行列式就是 它显然是(5.15)的解，且满足条件 线性无关，则 ，(5.20)有唯一解 作向量函数 初始条件，因此由解的存在唯一性条件可知 证毕 使得 与 具有相同的 (5.15) (5.16) 推论1 (5.15)的线性无关解的最大个数等于n. 基本解组: 为(5.15)的一个基本解组. 注1: (5.15)的基本解组不唯一. 注2: (5.15)所有解的集合构成一个n维线性空间. 注3: 由n阶线性微分方程的初值问题(5.6)与线性微分方组的初值问题(5.7)的等价性描述,本节所有定理都可平行推论到n阶线性微分方程去. 线性相关. 证明: 即有 即向量组(*)是线性相关的. 反之, 如果向量组(*)是线性相关, 当然有 从而,从4.1.2中Wronsky行列式的概念可看出,从本节定理3,4,5立即分别推出第四章定理3,4,5. 从本节定理6立即得到 解矩阵与基解矩阵及性质 (1)定义 则称这个矩阵为(5.15)的解矩阵. 则称该解矩阵为(5.15)的基解矩阵. 标准基解矩阵----