第四章-4.1线性微分方程的一般理论详解.pptVIP

* * 因而方程组的解可唯一确定, 设由上面方程求得 积分得 * * 例3 解: 利用常数变易法,令 解得 因此 故通解为 * 例4 解: 对应的齐线性方程为: 将该齐次方程改写成: 积分得: 所以 故方程有基本解组: 将原方程改写成: * 解得 因此 故原方程的通解为 * * * 在前面的讨论中, 我们看到，在实际问题中除了已经讨论过的一阶微分方程外，还将会遇到高阶微分方程，也就是二阶及二阶以上的微分方程。对于高阶微分方程的基本理论（包括存在唯一性定理）和求解方法，本教材分两步来处理：对于线性微分方程（组）在本章和下一章讨论；而非线性微分方程（组）在第六章讨论。 第四章 高阶微分方程 * 在微分方程的理论中，线性微分方程是非常值得重视的一部分内容，这不仅因为线性微分方程的一般理论已被研究得十分清楚，而且还因为线性微分方程是研究非线性微分方程的基础，同时它在物理、力学和工程技术中也有着广泛的应用。所以，本章着重讨论线性微分方程的基本理论和常系数线性微分方程的解法，对于高阶微分方程的降阶问题和二阶变系数线性微分方程的幂级数解法也作适当地介绍。 * 主要内容 线性微分方程的一般理论 常系数线性微分方程的解法 高阶微分方程的降阶和幂级数解法 重点 线性微分方程的基本理论 常系数线性微分方程的解法 * §4.1 线性微分方程的一般理论 * 一、解的存在唯一性定理 1 n阶线性微分方程 定义1 * * 2 解的存在唯一性定理 定理1 * 二、齐线性方程的解的性质和结构 定理2 1 叠加原理 容易看出，齐次线性方程恒有零解。 * 证明: 故有 * 例1 的解. 解: * 2、函数的线性相关性 考虑定义在区间 上的函数 ，如果存在不全为零的常数 ，使得恒等式 对于所有 都成立，则称这些函数是线性相关的，否则就称这些函数在区间[a,b]上是线性无关的。 问题： 在什么样的条件下，表达式（4.4）能够构成为n阶齐次线性方程（4.2）的通解？ * 例2 考虑函数组的线性相关性 解： * 例3 函数组 线性无关。 此恒等式如果成立，也就是[a,b]中的每一个t 都是这个方程的根，因此有无穷多个根。另一 方面，如果有一个系数不为0，则是一个不超过n次的代数方程，最多有n个根。 分析：我们假设存在 * 定义2 3 伏朗斯基(Wronsky)行列式 * 4 函数的线性相关性与其Wronsky行列式的关系 (1)定理3 证明: 使得 * 由线性代数理论知 要使方程组存在非零解, 则它的系数行列式必为零, * 注 定理3的逆不成立. 如函数 事实上,若有恒等式 则 * 推论 (2)定理4 证明: “反证” * 现以这组常数构造函数, 由定理2知, 又因为 * 由解的唯一性定理知 * 注释：根据定理3和定理4知道，由n 阶齐次线性方程（4.2）的n个解构成的伏朗斯基行列式，或恒等于零，或在方程的系数为连续的区间内处处不等于零。并根据定理1，构造一组初始条件： 满足这组初始条件的解 一定存在， 且又因为 , 由定理3知道， 这n个解一定是线性无关的。于是有 5、通解结构定理 * 定理5 n阶齐次线性方程（4.2）一定存在n个线性无关的解。 定理6（通解结构定理） 如果 是方程（4.2）的n个线性无关的解，则方程（4.2）的通解可表为 （4.11） 其中 是任意常数。且通解（4.11）包括了方程（4.2）的所有解。 * 推论：方程（4.2）的线性无关解的最大个数等于n。n阶齐次线性微分方程的所有解构成一个n维线性空间。 定义 把方程（4.2）的一组n个线性无关解称为方程的一个基本解组。显然,基本解组不唯一。 特别地，当 时称其为标准基本解组。 例1 已知方程 ，证明cost及sin