41线性微分方程的一般理论.pptVIP

* （4.16） 代入方程（4.1），得到 * 方程组有唯一的解，设为 （4.16） * 特解 通解 非齐线性方程的通解等于对应齐次方程的 结构: 通解与自身的一个特解之和。 * 例1 求方程 基本解组为 ， 的通解，已知它对应齐次线性方程的 解 解得 原方程的通解为 令 * 例2 求方程 于域 解 对应的齐次线性微分方程为 上的所有解。 得 易见有基本解组 这里 A、B 为任意常数。 设 为方程的解 故得原方程的通解 （ 为任意常数) * 作业：P.131，第3，6题 练习题 ，并求方程 的基本解组为 1 验证 的通解。 2 求方程 方程的基本解组为 ， 的通解，已知它对应齐线性 思考题 常数变易法中待定函数的条件如何选择？ * * * 第四章 高阶微分方程 Higher-Order Linear ODE * § 4.1 线性微分方程的一般理论 § 4.2 常系数线性微分方程的解法 § 4.3 高阶微分方程的降阶和幂级数解法 本章内容/Main Contents/ * ? 理解高阶线性微分方程解的性质和解的结构 ? 熟练掌握常系数线性微分方程的解法 本章要求/Requirements/ ? 掌握高阶微分方程的一般解法 * General Theory of Linear ODE § 4.1 线性微分方程的一般理论 * ? 理解高阶齐次线性微分方程解的性质和解的结构 ? 理解高阶非齐次线性微分方程解的性质和解的结构 本节要求/Requirements/ * n 阶线性微分方程一般形式： 其中 是区间 上的连续函数。 称它为 n 阶齐次线性微分方程，而方程（4.1）为 n 阶非 齐次线性微分方程。 方程（4.2）叫做对应于方程（4.1）的齐次线性微分方程。 4.1.1 引言 n 阶微分方程一般形式： * 方程（4.1）的解的存在唯一性定理: 上，且满足初值条件： 定理1 及 都是区间 则对于任一 及任意的 方程（4.1）存在 ，定义于区间 上的连续函数, 唯一解 如果 * 4.1.2 齐次线性微分方程解的性质与结构 如果 则它们的线性组合 的解，这里 是任意常数。 是方程（4.2） 也是（4.2） 的k个解， 例 有解 定理2 （叠加原理） * 证明 * 问题： 时，若 能否成为方程（4.2）的通解？ 不一定 不是方程的通解 要使 为方程（4.2）的通解 还需满足一定的条件。? 当 是齐次线性微分方程的解， 如在上例中 * 函数线性无关和线性相关 定义在 上的函数 ，如果存在 使得恒等式 不全为零的常数 对所有 成立， 称这些函数是线性相关的， 否则称这些函数在所给区间上线性无关。 如 在任何区间上都线性无关 在任何区间上都线性相关 上线性无关 要使得 则 * 定义在 区间上的 k个可微 k-1次的函数 所作成的行列式 称为这些函数的朗斯基行列式。 朗斯基（Wronsky）行列式 * 定理3 在区间 上线性相关， 上它们的朗斯基行列式 。 则在 证明 由假设，即知存在一组不全为零的常数 （4.6） （4.7） 使得 依次对 t 微分此恒等式，得到 若函数 的齐次线性代数方程组， 把（4.6）和（4.7）看成关于 * 它的系数行列式 方程存在非零解的充要条件是系数行列式必须为零，即 由线性代数理论 证毕 其逆定理是否成立？ 例如： 即由其构成的朗斯基行列式恒为零，但它们也可能是线性无关的。 不一定 * 故 是线性无关的。 * 定理3 在区间 上线性相关， 上它们的朗斯基行列式 。 则在 若函数 其逆定理不一定成立？ 即由其构成的朗斯基行列式恒为零，但它们也可能是线性无关的。 * 如果方程(4.2)的解 在区间 上线性无关，则 任何点上都不等于零，即 在这个区间的 定理4 设有某个 ，使得 考虑关于 的齐次线性代数方程组 证明 反证法 （4.9） * 其系数行列式 ，故（4.9）有非零解 构造函数 根据叠加原理， 是方程（4.2）的解，且满足初始条件 由解的唯一性知 ，即 因为 不全为0，与 的假设矛盾。 （4.10） 另 也是方程(4.2)的解， 线性无关 证毕 也满足初始条件（4.10） * 如果方程(4.2)的解 在区间 上线性无关，则 任何点上都不等于零，即 在这个区间的 定理4 定理3 若函数 在区间 上线性相关， 则在 上它们的朗斯基行列式 。 其逆定理不一定成立？ 即由其构成的朗斯基行列式恒为零，但它们也可能是线性无关的。 * 定理5 n 阶齐次线性方程(4.2)一定存在 n 个线性无关的解。 重要结论 在区间 上线性相关 的充分必要条件是 证明 在 上连续