高阶线性微分方程的一般理论.pptxVIP

会计学 1 高阶线性微分方程的一般理论 2  理解高阶齐次线性方程解的性质和解的结构  理解高阶非齐次线性方程解的性质和解的结构 本节要求/Requirements/ 第1页/共28页 3 n 阶线性微分方程一般形式： 其中 是区间 上的连续函数。 称它为 n 阶齐次线性微分方程，而方程（4.1）为 n 阶非 齐次线性微分方程。 4.1.1 引言 /Introducation/ n 阶微分方程一般形式： 第2页/共28页 4 方程（4.1）的解的存在唯一性定理: 第3页/共28页 5 4.1.2 齐线性方程解的性质与结构 定理2 （叠加原理）如果 则它们的线性组合 的解，这里 是任意常数。 是方程（4.2） 也是（4.2） 的k个解， 例 有解 第4页/共28页 6 证明 第5页/共28页 7 问题： 时，若 能否成为方程（4.2）的通解？ 不一定 不包含解 要使 为方程（4.2）的通解 还需满足一定的条件。? 当 是齐线性方程的解， 如在上例中 第6页/共28页 8 函数线性无关和相关 定义在 上的函数 ，如果存在 使得恒等式 不全为零的常数 对所有 成立， 称这些函数是线性相关的，否则称是线性无关的。 如 上线性无关 上线性相关 上线性无关 要使得 则 第7页/共28页 9 定义在 区间上的 k个可微 k-1次的函数 所作成的行列式 称为这些函数的伏朗斯基行列式。 伏朗斯基行列式 第8页/共28页 10 定理3 在区间 上线性相关， 上它们的伏朗斯基行列式 。 则在 证明 由假设，即知存在一组不全为零的常数 （4.6） （4.7） 使得 依次对 t 微分此恒等式，得到 若函数 的齐次线性代数方程组， 关于 第9页/共28页 11 它的系数行列式 方程存在非零解的充要条件是系数行列式必须为零，即 由线性代数理论 证毕 其逆定理是否成立？ 例如： 即由其构成的伏朗斯基行列式为零，但它们也可能是线性无关的。 不一定 第10页/共28页 12 故 是线性无关的。 第11页/共28页 13 如果方程(4.2)的解 在区间 上线性无关，则 任何点上都不等于零，即 在这个区间的 定理4 设有某个 ，使得 考虑关于 的齐次线性代数方程组 证明 反证法 （4.9） 第12页/共28页 14 其系数行列式 ，故（4.9）有非零解 构造函数 根据叠加原理， 是方程（4.2）的解，且满足初始条件 由解的唯一性知 ，即 因为 不全为0，与 的假设矛盾。 （4.10） 另 也是方程(4.2)的解， 线性无关 证毕 也满足初始条件（4.10） 第13页/共28页 15 定理5 n 阶齐线性方程(4.2)一定存在 n 个线性无关的解， 线性相关 定理4 定理3 重要结论 方程(4.2)的解 在区间 上线性无关 的充分必要条件是 且任意 n+1个解都线性相关。 证明 在 上连续，取 则满足条件 存在唯一。 第14页/共28页 16 线性无关。 即齐线性方程(4.2)一定存在 n 个线性无关的解。 任取方程(4.2)的n+ 1个解， 第15页/共28页 17 任意 n+1个解都线性相关。 第16页/共28页 18 定理6（通解结构） 其中 是任意常数，且通解（4.11） 是方程（4.2）的n个线性 无关的解，则方程（4.2）的通解可表为 （4.11） 包括方程（4.2）的所有解。 方程(4.2)的一组n个线性无关解称为它的一个基本解组。 如果 n 阶齐线性方程的所有解构成一个 n 维线性空间。 作业： 第17页/共28页 19 4.1.3 非齐线性方程与常数变易法 性质1 如果 是方程（4.1）的解，而 （4.2）的解，则 性质2 方程（4.1）的任意两个解之差必为方程（4.2）的解。 是方程 也是方程（4.1）的解。 第18页/共28页 20 是任意常数，且通解（4.14）包括 定理7 为方程（4.2）的基本解组， 是方程（4.1）的某一解，则方程（4.1）的通解为 其中 （4.14） 设 方程（4.1）的所有解。 证明 1)（4.14）一定是方程（4.1）的解，且含有n个独立 的任意常数，是通解。 2) 是方程（4.1）的任一个解，则 是方程（4.2）的解 证毕 第19页/共28页 21 设 为方程（4.2）的基本解组， 为（4.2）的通解。 （4.15） （4.16） 非齐线性方程 齐线性方程 非齐线性方程通解 特解 基解组 表示 关键 常数变易法 为（4.1）的解。 第20页/共28页 22 令 第21页/共28页 23 （4.16） 代入方程（4.1） 第22页/共28页 24 方程组有唯一的解，设为 （4.16） 第23