常微分方程讲稿.docVIP

线性微分方程的一般理论 考虑线性微分方程 其中以及均为上的连续函数。 若，则方程（1）退化为 方程（1）与（2），分别称为阶非齐次（齐次）线性微分方程。 与一阶线性微分方程的解的存在唯一性定理类似：若以及均为上的连续，则微分方程（1）在上存在唯一的解，满足： （）。 齐次线性微分方程的解的性质与结构 （叠加原理）如果都是微分方程（2）的解，则他们的线性组合 也是（2）的解，其中是任意常数。 由叠加原理，当时 为微分方程（2）的解。接下来，讨论（3）式何种条件下可以成为方程（2）的通解。 定义：设是一组定义在区间上的函数，如果存在不全为零的常数，使得 则称在上线性相关。否则，称函数在上线性无关。即：若从  中，可以推出，则在上线性无关。 定义：设是一组定义在区间上的次可微函数，则称 为的朗斯基行列式，记为。 例 设是齐次线性方程（2）的任意个解，它们所构成的朗斯基行列式记为。证明满足一阶线性方程，因而有 。 补充：若的每一个元素都是可微函数，则也是可微函数，且 ＝＋ ＋ ＝ 解： 将行列式的弟行的倍加到最后一行后，有： ＝ 定理：若函数在区间上线性相关，则在上它们构成的朗斯基行列式。 证明：因为在区间上线性相关，所以，存在一组不全为零的常数，使得 上式两边同时对求1次，2次直至次导之后，得方程组 因为，都有上述代数方程组有非零解，所以，方程组的系数矩阵的行列式满足： 。 注1：若存在一点，使得，则在区间上线性无关。 注2：函数在区间上线性相关，仅仅是在上函数构成的朗斯基行列式的充分非必要条件。 例：， 定理：微分方程（2）的解在区间上线性无关，则在上，函数构成的朗斯基行列式恒不等于零（都有成立）。 证明：若存在，使得。构造代数方程组如下 因为方程组的系数矩阵的行列式，所以上述代数方程组有非零解，设为其中一组非零解。令，则是方程（2）的满足初值条件 的解，而也是方程（2）的满足同一个初值条件的解，由解的唯一性定理，有：，则在区间上线性相关，矛盾。故命题得证。 注1：微分方程（2）的解，构成的朗斯基行列式 ，要么在区间上恒等于零，要么恒不等于零。 注2：微分方程（2）的解在区间上线性无关（相关）的充分必要条件是：函数所构成的朗斯基行列式在区间上恒不等于零（恒等于零）。 用分别表示微分方程（2）分别满足初值条件 的解，则它们构成的朗斯基行列式满足：，因而，线性无关。 定理：齐次线性微分方程（2）一定存在个线性无关的解，称为（2）的一组基本解组。 注：齐次线性方程的基本解组不是唯一的。 定理：设是方程（2）的一组基本解组，则（2）的通解为 其中是任意常数，且通解包含了方程的所有的解。 证明：由叠加原理，有： 是方程（2）的解，且 故，相互独立，因而 是方程的通解。 设是方程（2）满足初值条件：的解。令 其中是待定的常数。构造方程组如下： 由于方程组的系数矩阵行列式，从而，方程组有唯一解，即 ，故，通解包含了方程的所有的解。 推论：阶齐次线性微分方程的线性无关的解最多有个，所有解构成了一个维线性空间，基本解组是空间的一个基底。 例 假设是二阶齐次线性微分方程的解，其中是区间上的连续函数。证明： （1）是方程的解的充分必要条件是：； （2）方程的通解为： 其中是任意常数。 证明：（1）必要性是显然的。若已有成立，即 因而，是原方程的解。 （2）设为原方程的解，由（1）的结论有 由上一题结论，有： 则：， 其中， 即： 由常数变易法解得：。易证其为方程通解。 非线性微分方程与常数变易法 性质1：如果是非齐次方程（1）的解，而是齐次方程（2）的解，则是（1）的解； 性质2：（1）的任意两个解之差必为（2）的解。 （非齐次线性微分方程的通解结构定理）：设是齐次方程（2）的一个基本解组，是非齐次方程（1）的某一个解，则（1）的通解可以表示为： 其中是任意常数，且通解包含了（1）的所有的解。 常数变易法：设是齐次方程（2）的一个基本解组，则（2）的通解为： 。 假设方程（1）有形如的解。 若令： 则有： 若再令： 则有： 如此继续下去，若令 则有 上式两边同时对求导后，有 将带回原非齐次方程（1）后，有： 从而： 将构成了一个方程组。 例 求方程的通解。 常系数线性微分方程的解法 一 复值函数与复值解 定义1：设与是两个定义在区间上的实值函数，则对于区间中的每一个实数，唯一的对应了一个复数，从而在区间上定义了一个复值函数。若时，与的极限同时存在，则称复值函数，当时，有极限，且定义：。 定义2：如果，则称在点是连续的。 在点是连续 与同在点连续。 当在区间上每一点都连续，则称为上的连续函数。 定义3：如果极限存在，则称在点有导数，且记次极限为或。 因为，，所以：在点有导数的充分必