常微分线性微分方程一般理论.ppt
《常微分线性微分方程一般理论.ppt》由会员分享,可在线阅读,更多相关《常微分线性微分方程一般理论.ppt(123页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、关于常微分 线性微分方程的一般理论第一张,PPT共一百二十三页,创作于2022年6月n 阶线性微分方程一般形式:阶线性微分方程一般形式:其中其中是区间是区间上的连续函数。上的连续函数。称它为称它为 n 阶齐次线性微分方程阶齐次线性微分方程,而方程(,而方程(4.14.1)为)为 n 阶非阶非齐次线性微分方程齐次线性微分方程。4.1.1 引言引言 n 阶微分方程一般形式:阶微分方程一般形式:第二张,PPT共一百二十三页,创作于2022年6月方程(方程(4.1)的解的存在唯一性定理)的解的存在唯一性定理:上,且满足初始条件:上,且满足初始条件:定理定理1 1及及都是区间都是区间则对于任一则对于任一
2、及任意的及任意的方程(方程(4.14.1)存在)存在,定义于区间,定义于区间上的连续函数上的连续函数,唯一解唯一解如果如果第三张,PPT共一百二十三页,创作于2022年6月4.1.2 4.1.2 齐线性方程解的性质与结构齐线性方程解的性质与结构 定理定理2 2 (叠加原理)(叠加原理)如果如果则它们的线性组合则它们的线性组合 的的解,这里解,这里是任意常数。是任意常数。是方程(是方程(4.2)也是(也是(4.2)的的k个解,个解,例例有解有解第四张,PPT共一百二十三页,创作于2022年6月证明证明第五张,PPT共一百二十三页,创作于2022年6月问题问题:时,若时,若能否成为方程(能否成为方
3、程(4.2)的通解?)的通解?不一定不一定不包含解不包含解要使要使为方程(为方程(4.2)的通解)的通解还需满足一定的条件。还需满足一定的条件。当当是齐线性方程的解,是齐线性方程的解,如在上例中如在上例中第六张,PPT共一百二十三页,创作于2022年6月函数线性无关和相关函数线性无关和相关定义在定义在上的函数上的函数,如果存在,如果存在使得恒等式使得恒等式不不全为零的常数全为零的常数 对所有对所有成立,成立,称这些函数是称这些函数是线性相关线性相关的,否则称是的,否则称是线性无关线性无关的。的。如如上线性无关上线性无关上线性相关上线性相关上线性无关上线性无关要使得要使得则则第七张,PPT共一百
4、二十三页,创作于2022年6月定义在定义在区间上的区间上的 k个可微个可微 k-1次的函数次的函数所作成的行列式所作成的行列式称为这些函数的称为这些函数的伏朗斯基行列式。伏朗斯基行列式。伏朗斯基行列式伏朗斯基行列式第八张,PPT共一百二十三页,创作于2022年6月 定理定理3 3在区间在区间上线性相关,上线性相关,上它们的伏朗斯基行列式上它们的伏朗斯基行列式。则在则在证明证明 由假设,即知存在一组不全为零的常数由假设,即知存在一组不全为零的常数 (4.64.6)(4.74.7)使得使得依次对依次对 t 微分此恒等式,得到微分此恒等式,得到若函数若函数的齐次线性代数方程组,的齐次线性代数方程组,
5、关于关于第九张,PPT共一百二十三页,创作于2022年6月它它的系数行列式的系数行列式方程方程存在非零解的充要条件是系数行列式必须为零,即存在非零解的充要条件是系数行列式必须为零,即由线性代数理论由线性代数理论证毕证毕其逆定理是否成立?其逆定理是否成立?例如:例如:即由其构成的伏朗斯基行列式为零,但它们也可能是线性无关的。即由其构成的伏朗斯基行列式为零,但它们也可能是线性无关的。不一定不一定第十张,PPT共一百二十三页,创作于2022年6月故故是线性无关的。是线性无关的。第十一张,PPT共一百二十三页,创作于2022年6月如果方程如果方程(4.2)(4.2)的解的解在区间在区间上线性无关,则上
6、线性无关,则任何点上都不等于零,即任何点上都不等于零,即在这个区间的在这个区间的定理定理4设有某个设有某个,使得,使得考虑关于考虑关于的齐次线性代数方程组的齐次线性代数方程组证明证明 反证法反证法(4.94.9)第十二张,PPT共一百二十三页,创作于2022年6月其系数行列式其系数行列式,故(,故(4.94.9)有非零解)有非零解构造函数构造函数 根据叠加原理,根据叠加原理,是方程(是方程(4.2)的解,且满足初始条件)的解,且满足初始条件由解的唯一性知由解的唯一性知,即,即 因为因为不全为不全为0 0,与,与的假设矛盾。的假设矛盾。(4.104.10)另另 也是方程也是方程(4.2)(4.2
7、)的解,的解,线性无关线性无关证毕证毕也满足初始条件(也满足初始条件(4.10)第十三张,PPT共一百二十三页,创作于2022年6月定理定理5 5 n 阶齐线性方程阶齐线性方程(4.2)(4.2)一定存在一定存在 n 个线性无关的解,个线性无关的解,线性相关线性相关定理定理4定理定理3重要结论重要结论方程方程(4.2)(4.2)的解的解在区间在区间上线性无关上线性无关的充分必要条件是的充分必要条件是且任意且任意 n+1个解都线性相关。个解都线性相关。证明证明在在 上连续,取上连续,取则满足条件则满足条件存在唯一。存在唯一。第十四张,PPT共一百二十三页,创作于2022年6月线性无关。线性无关。
8、即齐线性方程即齐线性方程(4.2)一定存在一定存在 n 个线性无关的解。个线性无关的解。任取方程任取方程(4.2)的的n+1个解,个解,第十五张,PPT共一百二十三页,创作于2022年6月任意任意 n+1个解都线性相关。个解都线性相关。第十六张,PPT共一百二十三页,创作于2022年6月引理引理 方程(4.2)的解组在 上是线性无关(相关)的,当且仅当由它们构造的向量函数组在 上是线性无关(相关)第十七张,PPT共一百二十三页,创作于2022年6月 定理定理6 6(通解结构通解结构)其中其中是任意常数,是任意常数,且通解(且通解(4.11)是方程(是方程(4.24.2)的)的n个线性个线性无关
9、的解,则方程(无关的解,则方程(4.24.2)的通解可表为)的通解可表为(4.114.11)包括包括方程(方程(4.24.2)的所有解。)的所有解。方程方程(4.2)(4.2)的一组的一组n n个线性无关解称为它的一个个线性无关解称为它的一个基本解组基本解组。如果如果n 阶齐线性方程的所有解构成一个阶齐线性方程的所有解构成一个 n 维线性空间。维线性空间。第十八张,PPT共一百二十三页,创作于2022年6月例例 已知方程已知方程 ,求它的基本解组?并写,求它的基本解组?并写出它的通解。出它的通解。分析:试探方法求其基本解组分析:试探方法求其基本解组。则原方程的通解为则原方程的通解为则原方程的通
10、解为则原方程的通解为第十九张,PPT共一百二十三页,创作于2022年6月 4.1.3 非齐线性方程与常数变易法 性质性质1 1 如果如果是方程(是方程(4.14.1)的解,而)的解,而(4.24.2)的解,则)的解,则性质性质2 2 方程(方程(4.14.1)的任意两个解之差必为方程()的任意两个解之差必为方程(4.24.2)的解。)的解。是方程是方程也是方程(也是方程(4.14.1)的解。)的解。第二十张,PPT共一百二十三页,创作于2022年6月是任意常数,且通解(是任意常数,且通解(4.144.14)包括)包括定理定理7 7为方程(为方程(4.24.2)的基本解组,)的基本解组,是方程(
11、是方程(4.14.1)的某一解,则方程()的某一解,则方程(4.14.1)的通解为)的通解为其中其中(4.144.14)设设方程(方程(4.1)的所有解。)的所有解。证明证明1)(4.14)一定是方程()一定是方程(4.1)的解,且含有)的解,且含有n个独立个独立的任意常数,是通解。的任意常数,是通解。2)是方程(是方程(4.14.1)的任一个解,则)的任一个解,则是方程是方程(4.2)的解)的解证毕证毕第二十一张,PPT共一百二十三页,创作于2022年6月 由定理可知:要求解非齐线性方程,只需要知道它的一个解和对应的齐线性方程的基本解由定理可知:要求解非齐线性方程,只需要知道它的一个解和对应
12、的齐线性方程的基本解组。只要知道对应的齐线性方程的基本解组就可以利用组。只要知道对应的齐线性方程的基本解组就可以利用常数变易法常数变易法求得非齐线性方程的解。求得非齐线性方程的解。一阶非齐线性微分方程求解中常数变易法的精神实质是什么?一阶非齐线性微分方程求解中常数变易法的精神实质是什么?提问提问:为了寻找为了寻找 ,只要再找,只要再找n-1个限制条件即可,个限制条件即可,而这些条件在理论上是任意取的,当然以运算上而这些条件在理论上是任意取的,当然以运算上“方便方便”为前为前提。提。适当选取方法适当选取方法,就可得到一关于,就可得到一关于 的线的线性方程组,进而利用求解线性方程组的方法可求得性方
13、程组,进而利用求解线性方程组的方法可求得 。第二十二张,PPT共一百二十三页,创作于2022年6月设设为方程(为方程(4.24.2)的基本解组,)的基本解组,为(为(4.24.2)的通解。)的通解。(4.154.15)(4.164.16)非齐线性方程非齐线性方程齐线性方程齐线性方程非齐线性方程通解非齐线性方程通解特解特解基解组基解组表示表示关键关键常数变易法常数变易法为(为(4.1)的解。)的解。第二十三张,PPT共一百二十三页,创作于2022年6月令令第二十四张,PPT共一百二十三页,创作于2022年6月(4.16)代入方程(4.1)第二十五张,PPT共一百二十三页,创作于2022年6月方程
14、组有唯一的解,设为方程组有唯一的解,设为(4.16)第二十六张,PPT共一百二十三页,创作于2022年6月特解特解通解通解非齐线性方程的通解等于对应齐次方程的非齐线性方程的通解等于对应齐次方程的结构结构:通解与自身的一个特解之和。通解与自身的一个特解之和。第二十七张,PPT共一百二十三页,创作于2022年6月3、非齐线性方程的求解步骤、非齐线性方程的求解步骤求对应齐线性方程的一个基本解组;求对应齐线性方程的一个基本解组;用常数变易法求非齐线性方程的通解。用常数变易法求非齐线性方程的通解。方方方方法法法法一一一一求非齐线性方程的一个特解;求非齐线性方程的一个特解;求对应的齐线性方程的一个基本解组
15、;求对应的齐线性方程的一个基本解组;写出非齐线性方程的通解。写出非齐线性方程的通解。方方方方法法法法二二二二常数变易方法:常数变易方法:常数变易方法:常数变易方法:把对应齐线性方程的通解中任意常数看成待定函数,给出把对应齐线性方程的通解中任意常数看成待定函数,给出n个限制条件即可求解。个限制条件即可求解。第二十八张,PPT共一百二十三页,创作于2022年6月例例1 1 求方程求方程基本解组为基本解组为,的通解,已知它对应齐线性方程的的通解,已知它对应齐线性方程的解解解得解得原方程的通解为原方程的通解为 令令第二十九张,PPT共一百二十三页,创作于2022年6月第三十张,PPT共一百二十三页,创
16、作于2022年6月例例2 2 求方程求方程于域于域解解 对应的齐线性方程为对应的齐线性方程为上的所有解。上的所有解。得得 易见有基本解组易见有基本解组这里这里 A、B 为任意常数。为任意常数。设设 为方程的解为方程的解 故得原方程的通解故得原方程的通解(为任意常数为任意常数)第三十一张,PPT共一百二十三页,创作于2022年6月作业作业:P.131,第,第1,2,3(3,5),),4,5,6,7题题练习题练习题,并求方程,并求方程的的基本解组为基本解组为1 1 验证验证的通解。的通解。2 2 求方程求方程方程的方程的基本解组为基本解组为,的通解,已知它对应齐的通解,已知它对应齐线性线性思考题思
17、考题常数变易法中待定函数的条件如何选择?常数变易法中待定函数的条件如何选择?第三十二张,PPT共一百二十三页,创作于2022年6月 关于线性微分方程的通解结构问题,从理论上说,已经解决了,但关于线性微分方程的通解结构问题,从理论上说,已经解决了,但是,求方程通解的方法还没有具体给出。事实上,对于一般的线性微分是,求方程通解的方法还没有具体给出。事实上,对于一般的线性微分方程是方程是没有普遍解法的没有普遍解法的。但通过寻求一些特殊类型方程的解法对求解。但通过寻求一些特殊类型方程的解法对求解一般方程的解还是有帮助和启发的。所以,介绍求解问题能够彻底一般方程的解还是有帮助和启发的。所以,介绍求解问题
18、能够彻底解决的一类方程解决的一类方程常系数线性微分方程及可以化为这一类型的方程;常系数线性微分方程及可以化为这一类型的方程;同时将看到,为了求得常系数齐次线性微分方程的通解,只须解一同时将看到,为了求得常系数齐次线性微分方程的通解,只须解一个代数方程而不必通过积分运算。对于某些特殊的非齐线性微分方个代数方程而不必通过积分运算。对于某些特殊的非齐线性微分方程也可以通过代数运算和微分运算求得它的通解。程也可以通过代数运算和微分运算求得它的通解。以及注意到物理问题提供微分方程很直观的物理背景,而微分方程为以及注意到物理问题提供微分方程很直观的物理背景,而微分方程为更深刻地理解物理现象提供有力的工具。
19、更深刻地理解物理现象提供有力的工具。4.2 常系数线性微分方程的解法常系数线性微分方程的解法第三十三张,PPT共一百二十三页,创作于2022年6月具体内容具体内容复值函数与复值解复值函数与复值解常系数齐次线性微分方程和欧拉方程常系数齐次线性微分方程和欧拉方程非齐次线性微分方程的解法:非齐次线性微分方程的解法:比较系数法和拉普拉斯变换法比较系数法和拉普拉斯变换法应用分析:应用分析:质点振动质点振动第三十四张,PPT共一百二十三页,创作于2022年6月4.2.1 引子引子:复值函数和复值解复值函数和复值解1、复数及其相等的定义。、复数及其相等的定义。2、有关定义有关定义:复值函数的连续、可导性等。
20、:复值函数的连续、可导性等。第三十五张,PPT共一百二十三页,创作于2022年6月1、复值函数在点连续的定义、复值函数在点连续的定义如果如果 ,就称,就称 在在 连续连续。如果对于区间如果对于区间 中的每一实数中的每一实数t,有复数,有复数 与它对应,其中与它对应,其中 和和 是在区间是在区间 上定义的实函数,上定义的实函数,i是虚单位,就说在区间是虚单位,就说在区间 上给定了一个复值函数上给定了一个复值函数 。如果。如果实函数实函数 ,,当当t趋于趋于 时有极限时有极限,就称复值函数就称复值函数 当当t趋于趋于 时有极限,并且定义时有极限,并且定义第三十六张,PPT共一百二十三页,创作于20
21、22年6月复值函数在区间上连续的定义:复值函数在区间上连续的定义:即表示在区间上每一点都即表示在区间上每一点都连续。连续。注:注:复值函数在点连续意为着对应的两个实函数也在该点复值函数在点连续意为着对应的两个实函数也在该点连续。连续。第三十七张,PPT共一百二十三页,创作于2022年6月2、复值函数在点有导数的定义、复值函数在点有导数的定义、复值函数在点有导数的定义、复值函数在点有导数的定义如果如果 极限存在,就称极限存在,就称z(t)在在 点有导数(可微)点有导数(可微),且记此极限为且记此极限为 或者或者 。显然显然 在在 处有导数相当于处有导数相当于 ,在在 处有导数,且处有导数,且 第
22、三十八张,PPT共一百二十三页,创作于2022年6月3 3、复值函数的微分运算性质、复值函数的微分运算性质注意注意注意注意:同实值函数的微分运算法则一样。:同实值函数的微分运算法则一样。:同实值函数的微分运算法则一样。:同实值函数的微分运算法则一样。线性性线性性乘积性乘积性第三十九张,PPT共一百二十三页,创作于2022年6月4 4、复指数函数的运算性质、复指数函数的运算性质设设 是任意一复数,这里是任意一复数,这里 是实数,而是实数,而 为实变量为实变量。基本性质基本性质重要性质重要性质第四十张,PPT共一百二十三页,创作于2022年6月5、复值解的定义复值解的定义定义于定义于 区间上的实变
23、量复值函数区间上的实变量复值函数 称为方称为方程(程(4.1)的复值解。如果)的复值解。如果对于对于 恒成立恒成立。第四十一张,PPT共一百二十三页,创作于2022年6月定理定理8:方程(方程(4.2)的复值解的实部和虚部也是对应方程()的复值解的实部和虚部也是对应方程(4.2)的解)的解。定理定理9:复方程的复值解的实部和虚部也是方程对应的实方程和虚方程的解复方程的复值解的实部和虚部也是方程对应的实方程和虚方程的解。6、两个重要定理两个重要定理第四十二张,PPT共一百二十三页,创作于2022年6月问题问题:常系数线性微分方程的求解常系数线性微分方程的求解常系数齐线性微分方程的求解常系数齐线性
24、微分方程的求解-如果如果?常数变易法常数变易法(至少至少)比较系数法比较系数法Laplace变换法变换法有无其它方法?有无其它方法??欧拉指数法欧拉指数法第四十三张,PPT共一百二十三页,创作于2022年6月4.2.2 常系数齐线性方程和欧拉方程常系数齐线性方程和欧拉方程常系数齐线性方程常系数齐线性方程欧拉(欧拉(Euler)待定指数函数法)待定指数函数法 特征根是单根的情形特征根是单根的情形 有复根的情形有复根的情形 特征根是重根的情形特征根是重根的情形 应用应用欧拉方程欧拉方程1、框架、框架第四十四张,PPT共一百二十三页,创作于2022年6月2、常系数齐线性方程、常系数齐线性方程其中其中
25、 是常数。此时,称(是常数。此时,称(4.19)为)为n阶常系数齐线性方程。阶常系数齐线性方程。若齐线性方程(若齐线性方程(4.2)的所有系数都是常数,即原方程可以写为如下形)的所有系数都是常数,即原方程可以写为如下形式式:第四十五张,PPT共一百二十三页,创作于2022年6月3、欧拉(、欧拉(Euler)待定指数函数法)待定指数函数法引子:一阶微分方程解形式的启示引子:一阶微分方程解形式的启示有指数形式的解:有指数形式的解:对于对于n阶齐线性方程(阶齐线性方程(4.19)是否也有类似形式的解?下面用试探法进)是否也有类似形式的解?下面用试探法进行讨论行讨论。提问提问第四十六张,PPT共一百二
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 微分 线性 微分方程 一般 理论
限制150内