常微分方程--第四章 高阶微分方程(4.1节）.pptVIP

问题：如何应用朗斯基行列式判定函数相关性？ 如果 是齐次线性微分方程（4.2）的解，则有下述定理 作业 P131 1,2,3（1）（3）（5） * * 本章重点讲述： A 线性微分方程的基本理论； B 常系数线性方程的解法； C 某些高阶方程的降阶和二阶方程的幂级数解法。 对于二阶及二阶以上的微分方程的解包括基本理论和求解方法。这部分内容有两部分： 1、线性微分方程（组）：在第四、五章讨论 2、非线性微分方程（组）：在第六章简单介绍 §4. 1 线性微分方程的一般理论 第四章 高阶微分方程 一、引言 n阶线性微分方程一般形式: 称(4.2)为n阶齐次线性微分方程，简称齐次线性方程，而(4.1) 称为n阶非齐次线性微分方程，简称非齐次线性方程。把(4.2) 叫做对应于方程(4.1)的齐次线性微分方程。 其中 及 都是区间 上的连续函数 如果 ，则方程变为 其中 及 都是区间 上的连续函数 其中 及 都是区间 上的连续函数 如果 ，则方程变为 如果 ，则方程变为 定理1（方程(4.1)的解的存在唯一性定理） 如果 及 都是区间 上的连续函 数，则对于任一 及任意的 ，方程 (4.1)存在唯一解 ，定义于区间 上，且满足初 值条件 定理2（叠加原理） 如果 二、齐次线性微分方程的解的性质与结构 是方程(4.2)的k个解， 则它们的线性组合 也是方程（4.2）的解，这里 为任意常数。 特别地，当 时，即方程（4.2）有解 它含有 个任意常数，问题： 它是n阶齐次线性方程（4.2）的通解吗？ 线性相（无）关、朗斯基(Wronsky)行列式 线性相（无）关的定义 如果存在不全为零的常数 ，使得 定义在区间 上的函数 对于所有 都成立，则称这些函数是线性相关的，否则称这些函数在所给区间上线性无关。 例如 在任何区间上都是线性无关的； 在任何区间上都是线性相关的； 在任何区间上都是线性相关的。 朗斯基行列式的定义 称为这些函数的朗斯基行列式 定义k个k-1次可微的函数 所成的行列式 定理 3 若函数 证明: 由假设知，存在一组不全为零的常数 依次对t微分得到下面的方程组 在区间 上线 性相关，则在 上它们的朗斯基行列式 可以看成关于 的齐次线性代数方程组，它的 系数就是朗斯基行列式 要使此方程组存在非零解，则它的系数行列式必须 为零，即朗斯基行列式在区间[a,b]上为零。 注意：上述定理的逆命题不成立。例如： 设 在区间 上满足 ，但它们在此区间上却是线性无关的。因为，假设存在恒等式 ，则 当 时，得 ；当 时，又可推得 ，所以 线性无关。 定理4：如果 是齐次线性微分方程（4.2）的n个解，则它们在区间 上线性无关的充分必要条件是朗斯基行列式 在这个区间的任何点上都不等于零。 n阶齐次线性微分方程(4.2)的n个解构成的 朗斯基行列式或者恒为零，或者恒不为零； 2. 在是解的情况下，朗斯基行列式恒为零与 这n个解线性相关等价； 3. 在是解的情况下，朗斯基行列式恒不为零 与这n个解线性无关等价； 4.