数理方程第13讲二阶线性偏微分方程的分类

1、 本章将介绍二阶线性偏微分方程的基本概念、分类方本章将介绍二阶线性偏微分方程的基本概念、分类方法和偏微分方程的标准化法和偏微分方程的标准化. 特别对于常系数的二阶线性偏特别对于常系数的二阶线性偏微分方程的化简方法也进行了详细讨论，这对后面的偏微微分方程的化简方法也进行了详细讨论，这对后面的偏微分方程求解是十分有用的分方程求解是十分有用的. 在数学物理方程的建立过程中，我们主要讨论了三种类型的在数学物理方程的建立过程中，我们主要讨论了三种类型的偏微分方程：偏微分方程：波动方程；热传导方程；稳定场方程波动方程；热传导方程；稳定场方程这三类方这三类方程描写了不同物理现象及其过程，后面我们将会看到它们

2、的解程描写了不同物理现象及其过程，后面我们将会看到它们的解也表现出各自不同的特点也表现出各自不同的特点我们在解析几何中知道对于二次实曲线我们在解析几何中知道对于二次实曲线220axbxycydxeyf其中其中 , , , , ,a b c d e f为常数，且设为常数，且设 24bac7.1 数学物理方程的分类数学物理方程的分类则当则当0,0,0 时，上述二次曲线分别为双时，上述二次曲线分别为双曲线、抛物线和椭圆受此启发，下面我们来对二阶线性偏曲线、抛物线和椭圆受此启发，下面我们来对二阶线性偏微分方程进行分类微分方程进行分类. 下面主要以含下面主要以含两个自变量的二阶线性偏微分方程两个自变量的

3、二阶线性偏微分方程为例，进行为例，进行理论分析而对于更多个自变量的情形尽管要复杂一些，但讨理论分析而对于更多个自变量的情形尽管要复杂一些，但讨论的基本方法是一样的论的基本方法是一样的两个自变量两个自变量(x, y)的二阶线性偏微分方程所具有的的二阶线性偏微分方程所具有的普遍形式为普遍形式为22222( , )( , )( , )( , )( , )( , )( , )uuuuuA x yB x yC x yD x yE x yF x y uG x yxx yyxy （1.1） 作坐标变换( , )( , )x yx yuuuuuuxxxyyy则2222222222222222222222222

4、222222()2()()2()()uuuuuuxxxxxxxuuuuuuyyyyyyyuuuux yxyxyxy 222uuxyx yx y 定理定理2.1 如果如果 0( , ) = x yC是方程是方程22(d )d d + (d )0AyB y x Cx(2.2)的一般积分，则的一般积分，则 ( , )x y是方程是方程2222*22222*(2.1) ()() ()() uuABCBxxyyxxuABCxxyyuuDEF uG 代入得到22()+ ()0ABCxxyy (2.3)的一个特解的一个特解在具体求解方程在具体求解方程(2.1)时，需要分三种情况讨论判别式时，需要分三种情况讨

5、论判别式 24BAC 1. 当判别式当判别式 240BAC 以求得两个以求得两个实函数解实函数解 时，从方程时，从方程(2.1)可可12( , ) ( , ) x yCx yC及也就是说，偏微分方程也就是说，偏微分方程(2.1)有有两条实的特征线两条实的特征线于是，令于是，令( , ), ( , )x yx y即可使得即可使得 0ac同时，根据同时，根据(2.2)式，就可以断定式，就可以断定 0b 所以，方程所以，方程(2.1) 即为即为 2( , , ,)0uuuu (2.4)或者进一步作变换或者进一步作变换, = 于是有于是有, 所以所以22222 uuu 又可以进一步将方程又可以进一步将

6、方程(2.4)化为化为22122( , , ,)0uuuuu 这种类型的方程称为这种类型的方程称为双曲型方程双曲型方程我们前面建立的波动方我们前面建立的波动方程就属于此类型程就属于此类型2当判别式当判别式 240BAC 时：这时方程时：这时方程(2.2)一定有重根一定有重根dd2yBxA因而只能求得一个解，例如，因而只能求得一个解，例如， 0( , )x yC，特征线为特征线为 一条实特征线一条实特征线作变换作变换 ( , )x y就可以使就可以使 0a 由由(2.2)式可以得出，一定有式可以得出，一定有 240bac，故可推出，故可推出 0b 这样就可以任意选取另一个变换，这样就可以任意选取

7、另一个变换， ( , )x y只要它和只要它和 ( , )x y彼此独立，即雅可比行列式彼此独立，即雅可比行列式(,)0(,)xy即可这样，方程即可这样，方程(2.1)就化为就化为22( , , ,)0uuuu 此类方程称为此类方程称为抛物型方程抛物型方程热传导（扩散）方程就属于热传导（扩散）方程就属于这种类型这种类型3. 当判别式当判别式 240BAC 面的讨论，只不过得到的面的讨论，只不过得到的 时：这时，可以重复上时：这时，可以重复上( , )x y和和 ( , )x y是一是一对共轭的复函数，或者说，偏微分方程对共轭的复函数，或者说，偏微分方程(2.1)的的两条特征线是两条特征线是一对

8、共轭复函数族一对共轭复函数族于是于是( , ), ( , )x yx y是一对共轭的复变量进一步引进两个新的实变量是一对共轭的复变量进一步引进两个新的实变量, =i()于是于是i, i所以所以 22222 uuu 方程方程(2.1)又可以进一步化为又可以进一步化为22222( , , ,)0uuuuu 这种类型的方程称为这种类型的方程称为椭圆型方程椭圆型方程拉普拉斯拉普拉斯(Laplace)方程、方程、泊松泊松(Poisson)方程和方程和Helmholtz 方程都属于这种类型方程都属于这种类型 综上所述，要判断二阶线性偏微分方程属于何种类型，只综上所述，要判断二阶线性偏微分方程属于何种类型，

9、只需讨论判别式需讨论判别式 24BAC 即可即可. 7.2 二阶线性偏微分方程标准化二阶线性偏微分方程标准化对于二阶线性偏微分方程对于二阶线性偏微分方程 22222( , )( , )( , )( , )( , )( , )( , )uuuuuAx yB x yC x yDx yE x yF x y u G x yxx yyxy ( 2.1)若判别式为若判别式为 2( , )4 ( , ) ( , )B x yA x y C x y ，则二阶，则二阶线性偏微分方程分为三类：线性偏微分方程分为三类：0 时，方程称为双曲型时，方程称为双曲型;0 时，方程称为抛物型时，方程称为抛物型; 0 时，方程

10、称为椭圆型时，方程称为椭圆型; 1.双曲型偏微分方程双曲型偏微分方程 因为双曲型方程对应的判别式因为双曲型方程对应的判别式 240BAC 所以特征曲线是两族不同的实函数曲线，所以特征曲线是两族不同的实函数曲线，2dd()0ddyyABCxx设设特征方程的解特征方程的解为为 12( , ), ( , )x ycx yc令令 ( , ),( , )x yx y (2.2)进行自变量变换，则原偏微分方程变为下列形式进行自变量变换，则原偏微分方程变为下列形式242dyBBACdxA221244,22BBACBBACyxcyxcAA21111( , )( , )( , )( , )uDuEuFuG (2

11、.3) 上式称为上式称为双曲型偏微分方程的第一种标准形式双曲型偏微分方程的第一种标准形式，再作变量，再作变量代换，令代换，令, 或或 ,22则偏微分方程又变为则偏微分方程又变为22*111122( , )( , )( , )( , )uuDuEuFuG (2.4)上式称为双曲型偏微分方程的第二种形式上式称为双曲型偏微分方程的第二种形式 注：上式中的注：上式中的“*”号不代表共轭，仅说明是另外的函数。如号不代表共轭，仅说明是另外的函数。如 *1D1D与与是两个不同的函数。是两个不同的函数。 因为抛物型偏微分方程的判别式因为抛物型偏微分方程的判别式 0 线是线是一族实函数曲线一族实函数曲线 ，所以

12、特征曲，所以特征曲其其特征方程的解特征方程的解为为( , )x yc (2.5)因此令因此令 ( , ), x yy进行自变量变换，则原偏微分方程变为进行自变量变换，则原偏微分方程变为222222( , )( , )( , )( , )uDuEuFuG (2.6) 2抛物型偏微分方程抛物型偏微分方程2ByxcA上式称为抛物型偏微分方程的标准形式上式称为抛物型偏微分方程的标准形式3.椭圆型偏微分方程椭圆型偏微分方程椭圆型偏微分方程的判别式椭圆型偏微分方程的判别式 0 ，所以特征曲线是，所以特征曲线是一组共轭复变函数族其一组共轭复变函数族其特征方程的解为特征方程的解为12( , ) i ( , )

13、; ( , ) i ( , )x yx ycx yx yc (2.7)221244,2222BACBBACByxxicyxxicAAAA( , ), ( , )x yx y(2.8) 作自变量变换，则偏微分方程变为作自变量变换，则偏微分方程变为22333322( , )( , )( , )( , )uuDuEuFuG (2.9)上式称为上式称为椭圆型偏微分方程的标准形式椭圆型偏微分方程的标准形式若令若令 7.3 二阶线性常系数偏微分方程的二阶线性常系数偏微分方程的 进一步化简进一步化简 如果二阶偏微分方程的系数是常数，则标准形式的方程还如果二阶偏微分方程的系数是常数，则标准形式的方程还可以进一

14、步化简下面按三种类型分别介绍化简的方法可以进一步化简下面按三种类型分别介绍化简的方法1.双曲型双曲型 对于下列含常系数的第一种标准形式的双曲型标准方程还对于下列含常系数的第一种标准形式的双曲型标准方程还可进一步化简可进一步化简21111( , )uuudef uG 111, ,d e f1( , )G 11( , )( , )edue v注：上式中用小写字母注：上式中用小写字母代表常系数，以便与代表常系数，以便与我们不妨令我们不妨令 大写字母代表某函数区别开来大写字母代表某函数区别开来, 例如例如为了化简，为了化简，从而有从而有211( ,)hJ vv(3.1)(3.2)其中其中 11()11

15、 1111, ( , )( , )edhd efJGe 由第二种标准形式的双曲型偏微分方程（含常系数）可以进由第二种标准形式的双曲型偏微分方程（含常系数）可以进一步化简一步化简 22*111122( , )uuuudef u G (3.3) 式中式中 *111,def均为常系数若令均为常系数若令*11( , )( , )edue v 则有则有(3.4)22*1122( , )hJ vvv (3.5)其中其中 *11()*2*2* *11111 1112, ( , )( , )edhfededJGe对于对于含常系数的抛物型偏微分标准方程含常系数的抛物型偏微分标准方程（含常系数）（含常系数）222222( , )uuudef uG （3.6） 还可以进一步化简上式中小写字母还可以进一步化简上式中小写字母 222,d ef均为常系数均为常系数 为了化简，不妨令为了化简，不妨令 22( , )( , )edue v从而有从而有2222(,)hJ vv (3.7)2.抛物