微分方程及其分类-文档资料

1、一、一、 微分方程的概念微分方程的概念二、二阶线性偏微分方程的分类二、二阶线性偏微分方程的分类 函数是研究客观事物运动规律的一个重要工具函数是研究客观事物运动规律的一个重要工具，因此寻求客观事物运动变化过程中的函数关系是，因此寻求客观事物运动变化过程中的函数关系是十分重要的，然而，在许多问题中，往往不能直接十分重要的，然而，在许多问题中，往往不能直接找出所需的函数关系。但根据问题所给的条件，有找出所需的函数关系。但根据问题所给的条件，有时可以列出含有要找的函数及其导数的关系式，这时可以列出含有要找的函数及其导数的关系式，这样的关系式就是所谓的微分方程。样的关系式就是所谓的微分方程。解解。则有。

2、则有设所求曲线为设所求曲线为)(xyy xy2 Cxy 2. 1 C则则.xy1 2 所所求求曲曲线线方方程程为为21 xy即即满满足足例例1 1 一曲线通过点一曲线通过点，且在该曲线上任一点且在该曲线上任一点切线的斜率为切线的斜率为，求这曲线的方程求这曲线的方程。)2, 1()(yx,Mx2对上式两边积分有对上式两边积分有由于所求曲线通过点由于所求曲线通过点)2, 1(一、微分方程的概念一、微分方程的概念1.1.微分方程的定义微分方程的定义凡含有未知函数以及未知函数的导数（或微分）的方凡含有未知函数以及未知函数的导数（或微分）的方程叫微分方程。程叫微分方程。,xyy ,32xeyyy . 0

3、)(2 xdxdtxt例例2.2.微分方程的分类微分方程的分类 微微分分方方程程。未未知知函函数数是是多多元元函函数数的的偏偏微微分分方方程程：微微分分方方程程。未未知知函函数数是是一一元元函函数数的的：常常微微分分方方程程 3.3.微分方程的阶微分方程的阶微分方程中所出现的未知函数的最高阶导数的阶数。微分方程中所出现的未知函数的最高阶导数的阶数。例例2 判断下列方程是否为微分方程？若是，是几阶判断下列方程是否为微分方程？若是，是几阶 的微分方程？的微分方程？xyxysin(1)2 0)1()2(2 dyxxydx0)3( yy1)()5(22 xyx13)4( xyy423)6(3 xyy解

4、解（1）是，）是，1阶；阶；（2）是，）是，1阶；阶；（3）是，）是，2阶；阶；（4）是，）是，3阶；阶；（5）是，）是，1阶；阶；（6）不是。）不是。4.4.微分方程的解微分方程的解 任何代入微分方程后使微分方程恒成立的函数。任何代入微分方程后使微分方程恒成立的函数。 （1）微分方）微分方 程的通解程的通解 如果在微分方程的解中，所含的独立的常数的个数与如果在微分方程的解中，所含的独立的常数的个数与微分方程的阶数相同，这样的解就叫微分方程的通解微分方程的阶数相同，这样的解就叫微分方程的通解（2）微分方程的特解）微分方程的特解当微分方程的通解中各任意常数都取定值时所得的解当微分方程的通解中各任

5、意常数都取定值时所得的解（3） 微分方程的初始条件微分方程的初始条件确定通解中的任意常数的附加条件。确定通解中的任意常数的附加条件。5.5.微分方程解的几何意义微分方程解的几何意义通解的图象通解的图象: :积分曲线族积分曲线族. .特解的图象特解的图象: :微分方程的积分曲线微分方程的积分曲线. .例例3 3解解x,CxCdxdy2sin22cos221 xCxCdxyd2cos42sin42122 ，有有代代入入原原方方程程 . 02cos42sin42cos42sin42121 xCxCxCxC是原方程的解。是原方程的解。故函数故函数x,CxCy2cos2sin21 又因为这个解中含有两个

6、独立的任意常数又因为这个解中含有两个独立的任意常数 ，而方程为二阶微分方程，所以而方程为二阶微分方程，所以21,CC是是原原方方程程的的通通解解。函函数数x,CxCy2cos2sin21 xxy2cos2sin21 因此方程满足初始条件的特解为因此方程满足初始条件的特解为12 C,211 C得得代代入入把把条条件件x,CxCyyx2cos2sin0210 得得代入代入把条件把条件x,CxCyyx2sin22cos21210 本章将介绍二阶线性偏微分方程的基本概念、分类方本章将介绍二阶线性偏微分方程的基本概念、分类方法和偏微分方程的标准化法和偏微分方程的标准化. 特别对于常系数的二阶线性偏特别对

7、于常系数的二阶线性偏微分方程的化简方法也进行了详细讨论，这对后面的偏微微分方程的化简方法也进行了详细讨论，这对后面的偏微分方程求解是十分有用的分方程求解是十分有用的. 在数学物理方程的建立过程中，我们主要讨论了三种类型的在数学物理方程的建立过程中，我们主要讨论了三种类型的偏微分方程：偏微分方程：波动方程；热传导方程；稳定场方程波动方程；热传导方程；稳定场方程这三类方这三类方程描写了不同物理现象及其过程，后面我们将会看到它们的解程描写了不同物理现象及其过程，后面我们将会看到它们的解也表现出各自不同的特点也表现出各自不同的特点我们在解析几何中知道对于二次实曲线我们在解析几何中知道对于二次实曲线22

8、0axbxycydxeyf其中其中 , , , , ,a b c d e f为常数，且设为常数，且设 24bac10.2 数学物理方程的分类数学物理方程的分类则当则当0,0,0 时，上述二次曲线分别为双时，上述二次曲线分别为双曲线、抛物线和椭圆受此启发，下面我们来对二阶线性偏曲线、抛物线和椭圆受此启发，下面我们来对二阶线性偏微分方程进行分类微分方程进行分类. 下面主要以含下面主要以含两个自变量的二阶线性偏微分方程两个自变量的二阶线性偏微分方程为例，进行为例，进行理论分析而对于更多个自变量的情形尽管要复杂一些，但讨论理论分析而对于更多个自变量的情形尽管要复杂一些，但讨论的基本方法是一样的的基本方

9、法是一样的两个自变量两个自变量(x, y)的二阶线性偏微分方程所具有的的二阶线性偏微分方程所具有的普遍形式为普遍形式为22222( , )( , )( , )( , )( , )( , )( , )uuuuuA x yB x yC x yD x yE x yF x y uG x yxx yyxy （10.2.1） 其中其中 , ,A B C D E F G为为( , )x y的已知函数的已知函数 定理定理10.2.1 如果如果 0( , ) = x yC是方程是方程22(d )d d + (d )0AyB y x Cx(10.2.2)的一般积分，则的一般积分，则 ( , )x y是方程是方程2

10、2()+ ()0ABCxxyy (10.2.3)的一个特解的一个特解在具体求解方程在具体求解方程(10.2.10)时，需要分三种情况讨论判别式时，需要分三种情况讨论判别式 24BAC 1. 当判别式当判别式 240BAC 以求得两个以求得两个实函数解实函数解 时，从方程时，从方程(10.2.10)可可12( , ) ( , ) x yCx yC及也就是说，偏微分方程也就是说，偏微分方程(10.2.1)有有两条实的特征线两条实的特征线于是，令于是，令( , ), ( , )x yx y即可使得即可使得 0ac同时，根据同时，根据(10.2.4)式，就可以断定式，就可以断定 0b 所以，方程所以，

11、方程(10.2.6) 即为即为 2( , , ,)0uuuu (10.2.4)或者进一步作变换或者进一步作变换, = 于是有于是有, 所以所以22222 uuu 又可以进一步将方程又可以进一步将方程(10.2.11)化为化为22122( , , ,)0uuuuu 这种类型的方程称为这种类型的方程称为双曲型方程双曲型方程我们前面建立的波动方我们前面建立的波动方程就属于此类型程就属于此类型2当判别式当判别式 240BAC 时：这时方程时：这时方程(10.2.10)一定有重根一定有重根dd2yBxA因而只能求得一个解，例如，因而只能求得一个解，例如， 0( , )x yC，特征线为特征线为 一条实特

12、征线一条实特征线作变换作变换 ( , )x y就可以使就可以使 0a 由由(10.2.4)式可以得出，一定有式可以得出，一定有 240bac，故可推出，故可推出 0b 这样就可以任意选取另一个变换，这样就可以任意选取另一个变换， ( , )x y只要它和只要它和 ( , )x y彼此独立，即雅可俾式彼此独立，即雅可俾式(,)0(,)xy即可这样，方程即可这样，方程(10.2.6)就化为就化为22( , , ,)0uuuu 此类方程称为此类方程称为抛物型方程抛物型方程热传导（扩散）方程就属于热传导（扩散）方程就属于这种类型这种类型3. 当判别式当判别式 240BAC 面的讨论，只不过得到的面的讨

13、论，只不过得到的 时：这时，可以重复上时：这时，可以重复上( , )x y和和 ( , )x y是一是一对共轭的复函数，或者说，偏微分方程对共轭的复函数，或者说，偏微分方程(10.2.1)的的两条特征线是两条特征线是一对共轭复函数族一对共轭复函数族于是于是( , ), ( , )x yx y是一对共轭的复变量进一步引进两个新的实变量是一对共轭的复变量进一步引进两个新的实变量, =i()于是于是i, i所以所以 22222 uuu 方程方程(10.2.11)又可以进一步化为又可以进一步化为22222( , , ,)0uuuuu 这种类型的方程称为这种类型的方程称为椭圆型方程椭圆型方程拉普拉斯拉普

14、拉斯(Laplace)方程、方程、泊松泊松(Poisson)方程和方程和Helmholtz 方程都属于这种类型方程都属于这种类型 综上所述，要判断二阶线性偏微分方程属于何种类型，只综上所述，要判断二阶线性偏微分方程属于何种类型，只需讨论判别式需讨论判别式 24BAC 即可即可. 10.3 二阶线性偏微分方程标准化二阶线性偏微分方程标准化对于二阶线性偏微分方程对于二阶线性偏微分方程 22222( , )( , )( , )( , )( , )( , )( , )uuuuuAx yB x yC x yDx yE x yF x y u G x yxx yyxy (10.3.1)若判别式为若判别式为

15、2( , )4 ( , ) ( , )B x yA x y C x y ，则二阶，则二阶线性偏微分方程分为三类：线性偏微分方程分为三类：0 时，方程称为双曲型时，方程称为双曲型;0 时，方程称为抛物型时，方程称为抛物型; 0 时，方程称为椭圆型时，方程称为椭圆型; 1.双曲型偏微分方程双曲型偏微分方程 因为双曲型方程对应的判别式因为双曲型方程对应的判别式 240BAC 所以特征曲线是两族不同的实函数曲线，所以特征曲线是两族不同的实函数曲线，2dd()0ddyyABCxx设设特征方程的解特征方程的解为为 12( , ), ( , )x ycx yc令令 ( , ),( , )x yx y (10

16、.3.2)进行自变量变换，则原偏微分方程变为下列形式进行自变量变换，则原偏微分方程变为下列形式21111( , )( , )( , )( , )uDuEuFuG (10.3.3) 上式称为上式称为双曲型偏微分方程的第一种标准形式双曲型偏微分方程的第一种标准形式，再作变量，再作变量代换，令代换，令, 或或 ,22则偏微分方程又变为则偏微分方程又变为22*111122( , )( , )( , )( , )uuDuEuFuG (10.3.4)上式称为双曲型偏微分方程的第二种形式上式称为双曲型偏微分方程的第二种形式 注：上式中的注：上式中的“*”号不代表共轭，仅说明是另外的函数。如号不代表共轭，仅说

17、明是另外的函数。如 *1D1D与与是两个不同的函数。是两个不同的函数。 2抛物型偏微分方程抛物型偏微分方程因为抛物型偏微分方程的判别式因为抛物型偏微分方程的判别式 0 线是线是一族实函数曲线一族实函数曲线 ，所以特征曲，所以特征曲其其特征方程的解特征方程的解为为( , )x yc (10.3.5)因此令因此令 ( , ), x yy进行自变量变换，则原偏微分方程变为进行自变量变换，则原偏微分方程变为222222( , )( , )( , )( , )uDuEuFuG (10.3.6)上式称为抛物型偏微分方程的标准形式上式称为抛物型偏微分方程的标准形式3.椭圆型偏微分方程椭圆型偏微分方程椭圆型偏

18、微分方程的判别式椭圆型偏微分方程的判别式 0 ，所以特征曲线是，所以特征曲线是一组共轭复变函数族其一组共轭复变函数族其特征方程的解为特征方程的解为12( , ) i ( , ); ( , ) i ( , )x yx ycx yx yc (10.3.7)若令若令 ( , ), ( , )x yx y(10.3.8) 作自变量变换，则偏微分方程变为作自变量变换，则偏微分方程变为22333322( , )( , )( , )( , )uuDuEuFuG (10.3.9)上式称为上式称为椭圆型偏微分方程的标准形式椭圆型偏微分方程的标准形式10.4 二阶线性常系数偏微分方程的进一步二阶线性常系数偏微分方

19、程的进一步化简化简 如果二阶偏微分方程的系数是常数，则标准形式的方程还如果二阶偏微分方程的系数是常数，则标准形式的方程还可以进一步化简下面按三种类型分别介绍化简的方法可以进一步化简下面按三种类型分别介绍化简的方法1.双曲型双曲型 对于下列含常系数的第一种标准形式的双曲型标准方程还对于下列含常系数的第一种标准形式的双曲型标准方程还可进一步化简可进一步化简21111( , )uuudef uG 111, ,d e f1( , )G 11( , )( , )edue v注：上式中用小写字母注：上式中用小写字母代表常系数，以便与代表常系数，以便与我们不妨令我们不妨令 大写字母代表某函数区别开来大写字母

20、代表某函数区别开来, 例如例如为了化简，为了化简，从而有从而有211( ,)hJ vv(10.4.2)其中其中 11()11 1111, ( , )( , )edhd efJGe 由第二种标准形式的双曲型偏微分方程（含常系数）可以进由第二种标准形式的双曲型偏微分方程（含常系数）可以进一步化简一步化简 22*111122( , )uuuudef u G (10.4.3) 式中式中 *111,def均为常系数若令均为常系数若令*11( , )( , )edue v 则有则有(10.4.4)22*1122( , )hJ vvv (10.4.5)其中其中 *11()*2*2* *11111 1112,

21、 ( , )( , )edhfededJGe对于对于含常系数的抛物型偏微分标准方程含常系数的抛物型偏微分标准方程（含常系数）（含常系数）222222( , )uuudef uG （10.4.6） 还可以进一步化简上式中小写字母还可以进一步化简上式中小写字母 222,d ef均为常系数均为常系数 为了化简，不妨令为了化简，不妨令 22( , )( , )edue v从而有从而有2222(,)hJ vv (10.4.7)2.抛物型抛物型3.椭圆型椭圆型 对于下列第一种标准形式的椭圆型标准方程对于下列第一种标准形式的椭圆型标准方程(含常系数含常系数) 22333322( , )uuuudef uG (10.4.8)还可以进一步进行化简上式中小写字母的还可以进一步进行化简上式中小写字母的 333,d ef为常系数为常系数为了化简，不妨令为了化简，不妨令 33( , )( , )edue v从而有从而有233( , )hJ vv (10.4.9)其中其中 33()2333333() , ( , )( , )edhfedJGe 含有两个自变量的线性偏微分方程的一般形式也可以写成下含有两个自变量的线性偏微分方程的一般形式也可以写成下面的形式：面的形式： ( , )L uG x y其中其中 L 是二阶线性偏微分算符，是二阶线性偏微分算符，G是是x,y的函数的函数线性偏微分算符有以下两个基本特