齐线性方程解的性质与结构.ppt

线性微分方程的基本理论 * * 一、概念 二、齐次线性方程解的性质和结构 三、非齐次线性方程解的结构 一、概念 n 阶微分方程一般形式： n 阶线性微分方程一般形式： 0 ) t ( 阶齐次线性微分方程； 时，称为 当 n f o 阶非齐次线性微分方程； 时，称为 n t ) ( 当 f 0 o i 通常称（4.2）为（4.1）对应的齐次线性方程。 例： 二阶线性微分方程的一般形式为 通常称 ( 2 ) 为 ( 1 ) 的相对应的齐次线性微分方程。 : 0 ) ( 时，方程变为 当 o x f 回忆：一阶微分方程存在唯一性定理 定理 考虑初值问题 : ) , ( R y x f 在矩形区域 其中 , 上连续 : 条件 满足 并且对 Lipschitz y 都成立 使对所有 即存在 R y x y x L ? ) , ( ), , ( , 0 2 1 ) 1 . 3 ( 0 上的解存在且唯一 在区间 则初值问题 h x x ￡ - 定理1 则对于任一 及任意的 上的连续函数, 上，且满足初始条件： 定义于区间 方程（4.1）存在 唯一解 及 都是区间 如果 可将一阶微分方程存在唯一性定理推广至高阶线性微 分方程的存在唯一性定理。 线性微分算子 定义 例如 取 方程（4.1）可写成 方程（4.2）可写成 性质1 性质2 由性质1,2得 二、齐线性方程解的性质与结构 定理2 叠加原理 的解，则它们的线性组合 也是方程 ( 4.2 ) 的解。 其中 是任意常数。 阶齐线性微分方程 如果 是 n 证明： 特别： (3) 问题： 是（4.2）的解，则 若 时， 当 回顾通解定义：含有n个独立的任意常数 的解称为方程的通解 还需要 独立。 也是方程（4.2）的解。 (3)是不是方程（4.2）的通解？ 因此(3)不一定是方程（4.2）的通解， 而 独立即满足雅可比行列式 这个行列式定义为朗斯基行列式 定义在 区间上的 k个可微 k-1次的函数 所作成的行列式 称为这些函数的朗斯基行列式。 朗斯基行列式 问题： 因此 是通解 （1） 是通解？ 满足什么条件时 即 （2） 满足什么条件时这通解 表示所有解？ 定义： 有 任给方程（4.2）的解 若 存在 则称 是方程（4.2）的基本解组。 问题（2）即为讨论 满足什么条件时为基本解组？ 下面引进函数线性无关和相关的概念 定义在 上的函数 如果存在 使得恒等式 不全为零的常数 对所有 成立， 称这些函数是线性相关的，否则称是线性无关的。 因为若 则 定义 例如 上线性无关 ) , ( ￥ + -￥ 在区间 上线性相关 ) , ( ￥ + -￥ 在区间 上线性无关 ) , ( ￥ + -￥ 在区间 注： （1）对于两个函数 无关 常数 相关 常数 （2）函数的线性相关与线性无关都是依赖于 所取区间。 例如： 在 线性无关， 在 线性相关， 定理3 上它们的朗斯基行列式 则在 证明 由假设，即知存在一组不全为零的常数 使得 依次对t求导，得到 在区间 上线性相关， 若函数 的齐次线性代数方程组， 这是关于 下面给出解线性无关和相关与朗斯基行列式的关系。 它的系数行列式为朗斯基行列式 方程存在非零解的充要条件是 由线性代数理论， 定理3的逆定理是否成立？ 即由其构成的朗斯基行列式为零，但它们也可能是线性无关的。 不一定 系数行列式必须为零，即 推论 上某点 线性无关。 的朗斯基行列式在区间 处不等于零，则该函数组 若函数组 故 是线性无关的。 例如： 定理4 设有某个 ，使得 考虑关于 的齐次线性代数方程组 证明：反证法 如果方程(4.2)的解 在区间 上线性无关，则 任何点上都不等于零，即 在这个区间的 其系数行列式 ，故有非零解 构造函数 根据叠加原理， 由解的唯一性知 ，即 另 也是方程(4.2)的解， 也满足初始条件。 始条件 是方程（4.2）的解，且满足初 因为 不全为0，与 线性无关的假设矛盾。 重要结论 推论 线性相关 定理4 定理3 线性相关。 若存在 使 则 设方程(4.2)的解 从上述结论可得:对方程（4.2）的解，有 方程(4.2)的解 在区间 线性无关 的充分必要条件是 上 问题： 方程(4.2)是否存在 n 个线性无关的解？ 证明： 在 上连续，取 则满足条件