常微分高阶线性微分方程.ppt

* 第四章 高阶线性微分方程 /Higher-Order Linear ODE/ * § 4.1 高阶线性微分方程的一般理论 § 4.2 常系数高阶线性方程的解法 § 4.3 高阶方程的降阶和幂级数解法 本章主要内容/Main Contents/ CH.4 Higher-Order Linear ODE * ? 理解高阶线性方程解的性质和解的结构 ? 熟练掌握常系数高阶线性方程的解法 本章要求/Requirements/ ? 掌握高阶方程的一般解法 CH.4 Higher-Order Linear ODE * § 4.1 高阶线性微分方程的一般理论 /General Theory of Higher-Order Linear ODE/ ? 理解高阶齐次线性方程解的性质和解的结构 ? 理解高阶非齐次线性方程解的性质和解的结构 本节要求/Requirements/ * n 阶线性微分方程一般形式： 其中 是区间 上的连续函数。 称它为 n 阶齐次线性微分方程，而方程（4.1）为 n 阶非 齐次线性微分方程。 一、定义 n 阶微分方程一般形式： § 4.1General Theory of Higher-Order Linear ODE * 方程（4.1）的解的存在唯一性定理: 上，且满足初始条件： 定理1 及 都是区间 则对于任一 及任意的 方程（4.1）存在 ，定义于区间 上的连续函数, 唯一解 如果 § 4.1General Theory of Higher-Order Linear ODE * 二、解的性质 定理 （叠加原理）如果 则它们的线性组合 的解，这里 是任意常数。 是方程（4.2） 也是（4.2） 的k个解， § 4.1General Theory of Higher-Order Linear ODE 注意：几个关于线性微分方程解的性质 * 三、函数线性无关和相关 定义在 上的函数 ，如果存在 使得恒等式 不全为零的常数 对所有 成立， 称这些函数是线性相关的，否则称是线性无关的。 如 上线性无关 上线性相关 上线性无关 要使得 则 § 4.1General Theory of Higher-Order Linear ODE * 定义在 区间上的 k个可微 k-1次的函数 所作成的行列式 称为这些函数的朗斯基行列式。 朗斯基行列式 § 4.1General Theory of Higher-Order Linear ODE * 结论1 在区间 上线性相关， 上它们的朗斯基行列式 。 则在 若函数 § 4.1General Theory of Higher-Order Linear ODE 四、主要结论---解的结构 在区间 上线性无关 上 。 则在 若函数 结论2 * 如果方程(4.2)的解 在区间 结论 3 设有某个 ，使得 考虑关于 的齐次线性代数方程组 （4.9） § 4.1General Theory of Higher-Order Linear ODE 在区间 ，则函数 上线性相关。 * 如果方程(4.2)的解 在区间 上线性无关，则 任何点上都不等于零，即 在这个区间的 结论 4 § 4.1General Theory of Higher-Order Linear ODE 方程(4.2)的解 在区间 上线性无关 的充分必要条件是 结论 5 结论6 n 阶齐线性方程(4.2)一定存在 n 个线性无关的解。 * 线性无关。 即齐线性方程(4.2)一定存在 n 个线性无关的解。 § 4.1General Theory of Higher-Order Linear ODE * 结论7（通解结构） 其中 是任意常数，且通解（4.11） 是方程（4.2）的n个线性 无关的解，则方程（4.2）的通解可表为 （4.11） 包括方程（4.2）的所有解。 方程(4.2)的一组n个线性无关解称为它的一个基本解组。 如果 n 阶齐线性方程的所有解构成一个 n 维线性空间。 § 4.1General Theory of Higher-Order Linear ODE * 是任意常数，且通解（4.14）包括 结论8 为方程（4.2）的基本解组， 是方程（4.3）的某一解，则方程（4.3）的通解为 其中 （4.14） 设 方程（4.1）的所有解。 § 4.1General Theory of Higher-Order Linear ODE * 设 为方程（4.2）的基本解组， 为（4.2）的通解。 （4.15） （4.16） 非齐线性方程 齐线性方程 非齐线性方程通解 特解 基解组 表示 关键 常数变易法 为（4.1）的解。 § 4.1General Th