常微分方程4.1.1.pptVIP

* * * * * * 常数变易法求特解 为求（4.1) 的一个特解, 将(4.8) 中的 常数看成 关于t 的函数, 此时(4.8) 式变为 是方程（4.2）的n个线性 设 无关的解， 因而 (4.2) 的通解为 (4.9) (4.10) 将 (4.10) 代入 (4.1) 得到一个 所满足的关系式. 在理论上这些条件是任意给出的,为了运算的方便, 我们按下面的方法来给出这 n-1 个条件. 对 (4.10) 式两边对t 求导得 令 得到 我们还需要另外 n-1个条件来求出 对上式两边继续对t 求导, 并象上面的方法一样, 我们得到 继续上面的做法, 直到获得第 n-1 个条件 最后, 将上式两边对t 求导得 将上面得到的 代入 (4.1), 得到 n 个未知函数 满足的方程组 该方程组的系数行列式恰好是 (4.2) 的n 个线性 无关解的 Wronskian 行列式, 故它不等于零, 因而 该方程组有惟一解. 由上面方程组求得 积分得 其中 为任意常数。 得 (4.1)的通解为 将所得 的表达式代入（4.10） 为得一个解，只需给常数 以确定的值。 取 得解 解：利用常数变易法，令 例1 求方程 的通解，已知它的对应 齐次线性方程的两个解为 将它带入方程，可得关于 的方程 解得 于是原方程的通解为 则 其中 为任意常数。 2 1 , g g 解：利用常数变易法，令 例2 求方程 的通解，已知它的对应 齐次线性方程的两个解为 将它带入方程，可得关于 的方程 解得 于是原方程的通解为 则 其中 为任意常数。 2 1 , g g 1.求方程 的通解，已知它的对应齐次线性 方程的两个解为 2.求方程 的通解，已知它的对应 齐次线性方程的两个解为 P131 1,3(1)(3),5 * * * * * * * * * * * * * * * * * * * * 齐线性方程的解的 性质与结构 常微分方程 4.1 线性微分方程的一般理论 线性微分方程是常微分方程中一类很重要的方程，它的理论发展十分完善，本节将介绍它的基本理论. 一、基本概念 它的一般形式为: 及其各阶 均为一次的n阶微分方程， n阶线性微分方程: 我们将未知函数 导数 称为n阶线性微分方程. （4.1） 则(4.1)变为 我们称以上方程为n阶线性齐次微分方程，简称齐线性方程,（4.1）称非齐线性方程。 式中 上的连续函数。 及 是区间 n阶线性齐次微分方程: 如果（4.1）式中的 （4.2） 定理1：如果 方程（4.1）存在惟一的解 上，满足下列 及 都是区间 上的连续函数，则对于任一 及任意的 定义于区间 （4.3） 初始条件 二、齐次线性方程解的性质和结构 定理2 (叠加原理) 如果 是方程（4.2）的k个解， 则它的线性组合 也是方程（4.2）的解，这里 是常数. 特别地，当k=n时，方程（4.2）有解 （4.4） 代入方程, 得 所以为方程的解. 例1 验证 是方程 的解. 解: 分别将 线性相关: 对定义在区间(a, b)上的函数组 如果存在不全为0的常数 ，使得 在(a,b)上恒成立,称这些函数在所给的区间上线 性相关，不然称这些函数线性无关. 例2 函数 因为如果 在任何区间上都是线性无关的 (1) 只有当所有的 时才成立. 事实上, 如果至少有一个 则 (1) 式的左端是一个不高于n次的多项式，它最多可有n个不同的根 . 因此, 它在所考虑的区间上不能有多于n个零点, 更不可能恒为零. 注1：在函数 中有一个函数等于 零, 则函数 在 上线性相关。 注2：考虑到两个函数构成的函数组 如果 或 上线性无关的充要条件为 或 在 上不恒为常数. 在 上有定义,则在 例3 在任何区间上都线性无关. 在任何区间上都线性相关. 注3：函数组的线性相关与线性无关是依赖于所取 的区间。 例4 函数 上是线性 无关, 而在 上是线性相关的. 和 事实上 在区间 上不是常数, 分别在区间 和 上是常数. 伏朗斯基行列式: 由定义在区间 上的k个 k-1次可微函数 所作成的行列式 称为这些函数的Wronskian行列式,通常记做 证明: 依次将此恒等式对t微分, 得到n个恒等式 由假设知存在一组不全为零的常数 使得