4.2 线性微分方程的基本理论.ppt

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