- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
常微分方程考研义高阶微分方程
第四章 高阶微分方程
[教学目标]
1. 理解高阶线性微分方程的一般理论,n阶齐次(非齐次)线性微分方程解的性质与结构,熟练掌握n阶常系数齐次线性微分方程的待定指数函数解法。
2. 掌握n阶非齐次线性微分方程的常数变易法,理解n阶常系数非齐次线性微分方程特解的待定系数法和Laplce变换法。
3. 熟练欧拉方程与高阶方程的降阶法和幂级数解法。
4. 掌握高阶方程的应用。
[教学重难点] 重点是线性微分方程解的性质与结构,高阶方程的各种解法。难点是待定系数法求特解。
[教学方法] 讲授,实践。
[教学时间] 16学时
[教学内容] 线性微分方程的一般理论,齐次(非齐次)线性微分方程解的性质与结构,非齐次线性微分方程的常数变量易法;常系数线性方程与欧拉方程的解法,非齐线性方程的比较系数法与拉氏变换法;高阶方程的降阶法和幂级数解法及高阶方程的应用。 [考核目标]
1.理解高阶线性微分方程的一般理论,能够求解高阶常系数线性微分方程。
2.掌握n阶非齐次线性微分方程的常数变易法。
3.n阶常系数非齐次线性微分方程特解的待定系数法和Laplce变换法。
4.熟练高阶方程的降阶法和幂级数解法及高阶方程的应用。
§4.1线性微分方程的一般理论
4.1.1引言
讨论阶线性微分方程
(4.1)
其中及都是区间上的连续函数
如果,则方程(4.1)变为:
(4.2)
称它为阶齐线性微分方程,而称一般的方程(4.1)为阶非齐线性微分方程,并且通常把方程(4.2)叫对应于方程(4.1)的齐线性方程。
定理1 如果及都是区间上的连续函数,则对于任一 ,方程(4.1)存在唯一解,定义于区间上,且满足初始条件:
(4.3)
从这个定理可以看出,初始条件唯一地确定了方程(4.1)的解,而且这个解在所有及连续的整个区间上有定义。
4.1.2 齐线性方程的解的性质与结构
讨论齐线性方程
(4.2)
定理2(叠加原理)如果是方程(4.2)的个解,则它们的线性组合也是(4.2)的解,这里是任意常数。
特别地,当时,即方程(4.2)有解
(4.4)
它含有个任意常数。在什么条件下,表达式(4.4)能够成为阶齐线性方程(4.2)的通解?为了讨论的需要,引进函数线性相关与线性无关及伏朗斯基行列式等概念。
设是定义在区间上的函数,如果存在不全为零的常数,使得恒等式
对于所有都成立,称这些函数是线性相关的,否则称这些函数在所给区间上线性无关,即当且仅当时,上述恒等式才成立, 称这些函数在所给区间上线性无关。
由此定义不难推出如下的两个结论:
1)在函数组中如果有一个函数为零,则在上线性相关.
2)如果两个函数之比在有定义,则它们在上线性无关等价于比式在上不恒等于常数.
例1函数组在任意区间上都是线性无关的.
解 比式=不恒等于常数在任意区间上成立:
例2函数组在区间上线性相关.
解 若取则故已知函数组在上线性相关.
设函数在区间上均有阶导数,行列式
称为这些函数的伏朗斯基行列式。
定理3 若函数在区间上线性相关,则在上它们的伏朗斯基行列式。
证明:由假设,即知存在一组不全为零的常数,使得
(4.6)
依次对微分此恒等式,得到
(4.7)
把(4.6)和(4.7)看成关于的齐次线性代数方程组,它的系数行列式就是,由线性代数的理论知道,要此方程组存在非零解,则它的系数行列式必须为零,即 。
反之,其逆定理一般不成立。
例如函数
和
在区间上,,但在此区间上却是线性无关的。因为,假设存在恒等式
(4.8)
则当时,可知;当时,可知.即当且仅当时,(4.8)式对一切成立.故是线性无关的.
推论1 如果函数组的朗斯基行列式在区间上某一点处不等于零,即,则该函数组在上线性无关.
但是,如果是齐线性方程(4.2)的解,那么就有下面的定理:
定理4 如果方程(4.2)的解在区间上线性无关,则在这个区间的任何点上都不等于零,即 。
证明:采用反证法。设有某个
文档评论(0)