[数学]52线性微分方程组的一般理论.pptVIP

作业 P216 2 P217 6,8,10(3) 从而 因此,(5.24)变为 定理8 (1) 向量函数 (2) 方程组(5.14)的通解为 注1: 注2: 公式(5.26)或(5.27)称为方程(5.14)的常数变易公式. 解 由例4知 是对应齐次方程的基解矩阵, 由(5.26)得方程的特解为 例5 的解. 解 由例3知 例6 试求初值问题 是对应齐次方程的基解矩阵, (2) n阶线性微分方程的常数变易公式 则方程组(5.7)对应齐次方程的基本解组为 从而其基解矩阵为 * * §5.2 线性微分方程组的一般理论 一阶线性微分方程组 称(5.15)为一阶齐线性微分方程组. 非齐线性微分方程组. 5.2.1 齐次线性微分方程组 1 叠加原理 定理2 证明 则有 所以 2 函数向量组线性相关与无关 证明 例1 证明 函数向量组 在任何区间都是线性相关的. 证明 要使 例2 证明 函数向量组 则需 因为 所以 故 线性无关. 3 函数向量组线性相关与无关的判别准则 (1) Wronsky行列式 由这n个向量函数所构成的行列式 称为这n个向量函数所构成的Wronsky行列式 定理3 证明 定理4 证明 “反证法” 则 现在考虑函数向量 由定理2(叠加原理)知, 由(5.17)知, 因此,由解的存在唯一性定理知, 即有 矛盾! 注1: 注2: 定理5 (5.15)一定存在n个线性无关的解. 证明 由解的存在唯一性定理知, (5.15)一定存在满足初始条件 且 4 通解结构及基本解组 定理6 证明 由已知条件, 又因为 从而可知 即它们构成n维线性空间的基, 由上面确定的常数，现在考虑函数向量 由定理2知, 由(5.20)知, 因此,由解的存在唯一性定理,应有 即 由n阶线性微分方程的初值问题(5.6)与线性微分方组的初值问题(5.7)的等价性描述,本节所有定理都可平行推论到n阶线性微分方程去. 推论1 (5.15)的线性无关解的最大个数等于n. 基本解组 注1: (5.15)的基本解组不唯一. 注2: (5.15)所有解的集合构成一个n维线性空间. 注3: 首先有 线性相关. 证明 即有 即向量组(*)是线性相关的. 反之, 如果向量组(*)是线性相关, 当然有 从而,从4.1.2中Wronsky行列式的概念可看出,从本节定理3,4,5立即分别推出第四章定理3,4,5. 从本节定理6立即得到 推论2 5 解矩阵与基解矩阵及性质 定义 则称这个矩阵为(5.15)的解矩阵. 则称该解矩阵为(5.15)的基解矩阵. 基解矩阵---- 以基本解组为列构成的矩阵. 由定理5,6得 由定理3,4得 注1: 行列式恒等于零的矩阵列向量未必线性相关. 如矩阵 注2: 例3 验证 是方程组 的基解矩阵. 解 由于 又由于 证明 证明 于是有 由此可得 即有 例4 验证 是方程组 基解矩阵,并求其通解. 解 又由于 其通解为 5.2.2 非齐次线性微分方程组 1 非齐线性微分方程组解的性质 性质1 性质2 性质3 2 通解结构定理 定理7 这里C是确定的常数列向量. 证明 由性质2知, 即 这里C是确定的常数列向量. 3 常数变易公式 则(5.15)的通解为 其中C是任意的常数列向量, 下面寻求(5.14)形如 的解, 把(5.24)代入(5.14),得 (1) 一阶线性微分方程组的常数变易公式 * * * *