第四章高阶线性方程.docVIP

第四章 高阶线性方程 教学目的：使学生理解高阶线性微分方程的一般理论；熟练掌握常数变易法、特征根法、比较系数法和Laplace变换；熟练掌握几种可降阶的高阶微分方程的解法；能够依据解的一般表示讨论解的一些属性． 教学内容： 1、线性微分方程的一般理论 高阶线性微分方程的一般理论、常数变易法． 2、常系数线性微分方程的解法、特征根法、比较系数法、Laplace变换． 3、高阶方程的降阶和幂级数解法 几种可降阶的高阶微分方程的解法、*幂级数解法． 教学重点：高阶线性微分方程的一般理论及解法 教学难点：比较系数法求特解 教学过程： §4.1 线性微分方程的一般理论 4.1.1 引言 本章主要讨论如下阶线性微分方程 　　　　　　　　　(4.1) 其中及均为区间上的连续函数． 若，则方程(4.1)变为 　　　　　　　　　　(4.2) 称之为阶齐线性微分方程，简称为齐线性方程，称(4.1)为阶非齐线性微分方程，简称为非齐线性方程，称(4.2)为对应于方程(4.1)的齐线性方程． 方程(4.1)的解的存在唯一性定理 定理１　若及均为区间上的连续函数，则对于任意及任意的，方程(4.1)存在唯一解，定义于区间上，且满足初始条件： 　　　　　　　　　　　　(4.3) 证明在下一章给出． 4.1.2齐线性方程的解的性质与结构 首先讨论齐线性方程(4.2)，易得齐线性方程的解的叠加原理． 定理２（叠加原理）　若是方程(4.2)的个解，则它们的线性组合也是(4.2)的解，其中是任意常数． 当时，方程(4.2)有解 　　　 (4.4) 在什么条件下，(4.4)能成为阶齐线性方程(4.2)的通解？ 考虑定义在区间上的函数，如果存在不全为零的常数，使得恒等式对于任意的均成立，则称这些函数线性相关，否则就称这些函数在所给区间上线性无关． 例（略） 由定义在区间上的个可微次的函数所成的行列式 　　　 称为这些函数的伏朗斯基行列式． 定理３　若函数在区间上线性相关，则在上它们的伏朗斯基行列式． 这个定理的逆命题一般不成立（例子见Ｐ105）． 定理４　若方程(4.2)的解在区间上线性无关，则在此区间的任何点上均不等于零，即． 定理５　阶齐线性方程(4.2)一定存在个线性无关解． 定理６（通解结构定理）　若是方程(4.2)的个线性无关解，则方程(4.2)的通解可表为 　　　　　 (4.11) 其中为任意常数．且通解(4.11)包括了方程(4.2)的所有解． 推论　方程(4.2)的线性无关解的最大个数等于．因此可得结论：阶齐线性方程的所有解构成一个维线性空间． 方程(4.2)的一组个线性无关解称为方程的一个基本解组，显然，基本解组不唯一． 非齐线性方程与常数变易法 考虑阶非齐线性方程 　　　　　　　　(4.1) 易见方程(4.2)是它的特殊情形． 性质１　若是方程(4.1)的解，而是方程(4.2)的解，则也是方程(4.1)的解． 性质２　方程(4.1)的任意两个解之差必为方程(4.2)的解． 定理７　设是方程(4.2)的基本解组，而是方程(4.1)的某个解，则方程(4.1)的通解可表为 　　　　 (4.14) 其中为任意常数．且通解(4.14)包括了方程(4.1)的所有解． 定理告诉我们，要解非齐线性方程，只需知道它的一个解和对应的齐线性方程的基本解组即可．事实上，只要知道对应的齐线性方程的基本解组就可以利用常数变易法求得非齐线性方程的解． 常数变易法　设是方程(4.2)的基本解组，因而 　　　　　　　　　　　　　　　　　(4.15) 为(4.2)的通解．把其中的任意常数看作的待定函数，(4.15)变为 　　　　　　　　　　(4.16) 将它代入方程(4.1)，就得到必须满足的一个方程，但待定函数有个，为了确定它们，还需再找出个限制条件，理论上，这些条件可任意给出。 如果已知对应的齐线性方程的基本解组，则非齐线性方程的任一解可由求积得到．因此，对于线性方程来说，关键是求出齐线性方程的基本解组． 例１（见课本P112例1） 例2（见课本P112例2） 作业 P113 (1、2、4、6、7、8、9) §4.2　常系数线性微分方程的解法 4.2.1 复值函数与复值解 如果对于区间中的每一实数，有复数，其中是在区间上定义的实函数， 是虚数单位，则称在区间给定了一个复值实函数． 如果当趋于时有极限，并且定义 　　　　　 如果，则称在连续． 显然在连续相当于在连续． 当在区间上每一点连续时，就称在区间连续． 如果极限存在，就称在有导数．且记此极限为或． 显然在有导数相当于在有导数，且 　　　　 如果在区间上每一点都