第四章高阶微分方程-西北大学建设网素材.doc

第四章 高阶微分方程 研究对象 高阶微分方程 4.1 1 基本概念 1）阶线性微分方程 在微分方程 4.1 中，若不恒为零时，则称 4.1 为阶线性非齐次微分方程，当时，方程 4.1 变为 （4.2） 为（4.1）所对应的阶线性齐次微分方程，其中及是区间上的连续函数。 2）函数的线性相关性和线性无关性 定义在区间上的函数，如果存在不全为零的常数 使得对所有恒等式成立，则称函数是线性相关的，否则称是线性无关的。 3）函数的朗斯基（Wronsky）行列式 定义在区间上的个可微次的函数所构成的行列式 称为这个函数的朗斯基行列式,有时简记为。 4）线性齐次方程的基本解组 线性齐次方程 4.2 的个线性无关的解称为它的一个基本解组。 5）线性方程的复值解 如果定义在区间上的实变量的复值函数 满足 则称为方程（4.1）的一个复值解。 6 欧拉 Euler 方程 形如的方程称为欧拉方程，其中为常数。 7）阶常系数齐次线性方程的特征方程与特征根 对于阶常系数线性齐次方程，其中为实常数，称下列代数方程 为此微分方程的特征方程，特征方程的根称为此微分方程的特征根。 2 基本定理与性质 定理 4.1 （阶线性微分方程的解的存在唯一性定理）如果及都是区间上的连续函数, 则对于任意的及任意的 线性方程（4.1）存在唯一解，定义于区间上，且满足初始条件： 。 定理4.2 （叠加原理）如果是线性齐次方程（4.2）的个解，则 它们的线性组合 也是（4.2）的解，这里是任意常数。 定理4.3 若函数在区间上线性相关，则在上它们的朗斯基行列式。 注意： 该定理的逆定理不一定成立， 即若函数在上的朗斯基行列式为零，它们可能是线性相关的，也有可能是线性无关的。 定理4.4 如果方程 4.2 的解在区间上线性无关，则 在这个区间的任何点上都不等于零，即。 推论1 方程 4.2 的任意 n 个解的朗斯基行列式满足 ， 这个关系式称为刘维尔（Liouville）公式。 推论2 方程 4.2 的解在区间上线性无关的充分必要条件是恒不为零。 定理4.5 阶线性齐次方程 4.2 一定存在个线性无关的解，且任意个解都线性相关，即阶线性齐次方程所有的解构成一个维线性空间。 定理4.6（线性齐次方程的通解结构） 如果是方程（4.2）的个线性无关的解，则方程（4.2）的通解可表示为，其中是任意常数，且通解包括方程（4.2）的所有解。 性质4.1 如果是方程（4.1）的解，而是方程（4.2）的解，则 也是方程（4.1）的解。 性质4.2 方程（4.1）的任意两个解之差必为方程（4.2）的解。 定理7（线性非齐次方程的通解结构） 设为方程（4.2）的基本解组，是方程（4.1）的某一解，则方程（4.1）的通解为 其中是任意常数，且通解包括方程（4.1）的所有解。 定理4.8 如果方程（4.2）中所有系数都是实值函数，而是方程的复值解，则的实部，虚部和共轭函数都是方程（4.2）的解,其中均为实值函数。 定理4.9 若方程 有复值解,这里及都是实函数，那么这个解的实部和虚部分别是方程 和 的解。 3 基本解题方法 1）常数变易法 若为方程（4.2）的基本解组，则方程（4.2）的通解为。 设为（4.1）的解， 式中是待定函数，满足以下代数方程组 这个方程组的系数行列式是基本解组的朗斯基行列式，所以由以上方程组唯一确定，通过求积分可得出。这种求解线性非齐次方程解的方法称为常数变易法。 2）常系数线性齐次方程解法 对于阶常系数线性齐次方程 4.3 其中为实常数。为了求方程 4.3 的通解，只需求出它的基本解组。 方程 4.3 特征方程为 4.4 结论 是方程 4.3 的解的充分必要条件是满足，即是特征根。 ）特征根为单根的情况 设为特征方程 4.4 的个互不相等的实根，则相应的方程（4.3）有如下个解，这个解在区间上线性无关，从而组成方程的基本解组。方程（4.3）的通解可表示为。 如果特征方程 4.4 有复根，则因方程的系数是实常数，复根将成对共轭出现。 设是方程 4.4 的一对复特征根，则方程（4.3）有下面的两个复值解 ，， 它们对应两个线性无关的实值解为。 特征根有重根的情况 设特征方程（4.4）的根为，它们的重数分别为， 对应方程 4.3 恰有个线性无关的解 ， 且构成了方程（4.3）的一个基本解组。 3 可化为常系数线性齐次方程的方程---欧拉方程的解法 对于欧拉方程 其中为常数。 引入自变量代换，欧拉方程可化为常系数线性方程 其中是常数，它的特征方程为 ， 此方程也称为欧拉方程的特征方程。 欧拉方程的解法 步骤1 写出欧拉方程的特征方程，并求出特征根； 步骤2 求出基本解组：先求出变换以后方程的基本解组，再由变换或求出原方程的基