1、 本章将介绍二阶线性偏微分方程的基本概念、分类方本章将介绍二阶线性偏微分方程的基本概念、分类方法和偏微分方程的标准化法和偏微分方程的标准化.特别对于常系数的二阶线性偏特别对于常系数的二阶线性偏微分方程的化简方法也进行了详细讨论,这对后面的偏微微分方程的化简方法也进行了详细讨论,这对后面的偏微分方程求解是十分有用的分方程求解是十分有用的.10.1 基本概念基本概念(1)偏微分方程偏微分方程 含有未知多元函数及其偏导数的方程,如含有未知多元函数及其偏导数的方程,如22222(,)0uuuuuF x yuxyxyx y 其中其中(,)u x y 是未知多元函数,是未知多元函数,而而,x y 是未知变
2、量;是未知变量;,uuxy为为u的偏导数的偏导数.有时为了书有时为了书写方便,通常记写方便,通常记22,xyxxuuuuuuxyx(2)方程的阶方程的阶 偏微分方程中未知函数偏导数的最高阶数称为方偏微分方程中未知函数偏导数的最高阶数称为方程的程的阶阶(3)方程的次数方程的次数 偏微分方程中最高阶偏导数的幂次数称为偏微偏微分方程中最高阶偏导数的幂次数称为偏微分方程的分方程的次数次数(4)线性方程线性方程 一个偏微分方程对未知函数和未知函数的所一个偏微分方程对未知函数和未知函数的所有(组合)偏导数的有(组合)偏导数的幂次数幂次数都是一次的,就称为线性方程,都是一次的,就称为线性方程,高于一次以上的
3、方程称为非线性方程高于一次以上的方程称为非线性方程(5)准线性方程准线性方程 一个偏微分方程,如果仅对方程中所有最一个偏微分方程,如果仅对方程中所有最高阶偏导数是线性的,则称方程为准线性方程高阶偏导数是线性的,则称方程为准线性方程(6)自由项自由项 在偏微分方程中,不含有未知函数及其偏导数的在偏微分方程中,不含有未知函数及其偏导数的项称为自由项项称为自由项例如例如:方程的通解和特解概念方程的通解和特解概念二阶线性非齐次偏微分方程二阶线性非齐次偏微分方程 2xyuyx的的通解通解为为221(,)()()2u x yxyx yF xG y其中其中(),()F x G y是两个独立的任意函数因为方程
4、为是两个独立的任意函数因为方程为二阶的,所以是两个任意的函数若给函数二阶的,所以是两个任意的函数若给函数(),()F x G y指定为指定为 特殊的特殊的 4()25,()2sinF xxG yy,则得到的解,则得到的解2241(,)252sin2u x yxyx yxy称为方程的称为方程的特解特解 n阶常微分方程的通解含有阶常微分方程的通解含有n个任意常数,而个任意常数,而n阶偏微分方阶偏微分方程的通解含有程的通解含有n个任意函数个任意函数10.2 数学物理方程的分类数学物理方程的分类 在数学物理方程的建立过程中,我们主要讨论了三种类型的在数学物理方程的建立过程中,我们主要讨论了三种类型的偏
5、微分方程:偏微分方程:波动方程;热传导方程;稳定场方程波动方程;热传导方程;稳定场方程这三类方这三类方程描写了不同物理现象及其过程,后面我们将会看到它们的解程描写了不同物理现象及其过程,后面我们将会看到它们的解也表现出各自不同的特点也表现出各自不同的特点我们在解析几何中知道对于二次实曲线我们在解析几何中知道对于二次实曲线220axbxycydxeyf其中其中,a b c d e f为常数,且设为常数,且设 24bac则当则当0,0,0 时,上述二次曲线分别为双时,上述二次曲线分别为双曲线、抛物线和椭圆受此启发,下面我们来对二阶线性偏曲线、抛物线和椭圆受此启发,下面我们来对二阶线性偏微分方程进行
6、分类微分方程进行分类.下面主要以含下面主要以含两个自变量的二阶线性偏微分方程两个自变量的二阶线性偏微分方程为例,进行为例,进行理论分析而对于更多个自变量的情形尽管要复杂一些,但讨理论分析而对于更多个自变量的情形尽管要复杂一些,但讨论的基本方法是一样的论的基本方法是一样的两个自变量两个自变量(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的已知
7、函数的已知函数 定理定理10.2.1 如果如果 0(,)=x yC是方程是方程22(d)d d+(d)0AyB y x Cx(10.2.2)的一般积分,则的一般积分,则(,)x y是方程是方程22()+()0ABCxxyy(10.2.3)的一个特解的一个特解在具体求解方程在具体求解方程(10.2.10)时,需要分三种情况讨论判别式时,需要分三种情况讨论判别式 24BAC 1.当判别式当判别式 240BAC 以求得两个以求得两个实函数解实函数解 时,从方程时,从方程(10.2.10)可可12(,)(,)x yCx yC及也就是说,偏微分方程也就是说,偏微分方程(10.2.1)有有两条实的特征线两
8、条实的特征线于是,令于是,令(,),(,)x yx y即可使得即可使得 0ac同时,根据同时,根据(10.2.4)式,就可以断定式,就可以断定 0b 所以,方程所以,方程(10.2.6)即为即为 2(,)0uuuu (10.2.4)或者进一步作变换或者进一步作变换,=于是有于是有,所以所以22222 uuu 又可以进一步将方程又可以进一步将方程(10.2.11)化为化为22122(,)0uuuuu 这种类型的方程称为这种类型的方程称为双曲型方程双曲型方程我们前面建立的波动方我们前面建立的波动方程就属于此类型程就属于此类型2当判别式当判别式 240BAC 时:这时方程时:这时方程(10.2.10
9、)一定有重根一定有重根dd2yBxA因而只能求得一个解,例如,因而只能求得一个解,例如,0(,)x yC,特征线为特征线为 一条实特征线一条实特征线作变换作变换(,)x y就可以使就可以使 0a 由由(10.2.4)式可以得出,一定有式可以得出,一定有 240bac,故可推出,故可推出 0b 这样就可以任意选取另一个变换,这样就可以任意选取另一个变换,(,)x y只要它和只要它和(,)x y彼此独立,即雅可俾式彼此独立,即雅可俾式(,)0(,)xy即可这样,方程即可这样,方程(10.2.6)就化为就化为22(,)0uuuu 此类方程称为此类方程称为抛物型方程抛物型方程热传导(扩散)方程就属于热
10、传导(扩散)方程就属于这种类型这种类型3.当判别式当判别式 240BAC 面的讨论,只不过得到的面的讨论,只不过得到的 时:这时,可以重复上时:这时,可以重复上(,)x y和和(,)x y是一是一对共轭的复函数,或者说,偏微分方程对共轭的复函数,或者说,偏微分方程(10.2.1)的的两条特征线是两条特征线是一对共轭复函数族一对共轭复函数族于是于是(,),(,)x yx y是一对共轭的复变量进一步引进两个新的实变量是一对共轭的复变量进一步引进两个新的实变量,=i()于是于是i,i所以所以 22222 uuu 方程方程(10.2.11)又可以进一步化为又可以进一步化为22222(,)0uuuuu
11、这种类型的方程称为这种类型的方程称为椭圆型方程椭圆型方程拉普拉斯拉普拉斯(Laplace)方程、方程、泊松泊松(Poisson)方程和方程和Helmholtz 方程都属于这种类型方程都属于这种类型 综上所述,要判断二阶线性偏微分方程属于何种类型,只综上所述,要判断二阶线性偏微分方程属于何种类型,只需讨论判别式需讨论判别式 24BAC 即可即可.10.3 二阶线性偏微分方程标准化二阶线性偏微分方程标准化对于二阶线性偏微分方程对于二阶线性偏微分方程 22222(,)(,)(,)(,)(,)(,)(,)uuuuuAx yB x yC x yDx yE x yF x y u G x yxx yyxy(
12、10.3.1)若判别式为若判别式为 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.3.
13、2)进行自变量变换,则原偏微分方程变为下列形式进行自变量变换,则原偏微分方程变为下列形式21111(,)(,)(,)(,)uDuEuFuG (10.3.3)上式称为上式称为双曲型偏微分方程的第一种标准形式双曲型偏微分方程的第一种标准形式,再作变量,再作变量代换,令代换,令,或或,22则偏微分方程又变为则偏微分方程又变为22*111122(,)(,)(,)(,)uuDuEuFuG (10.3.4)上式称为双曲型偏微分方程的第二种形式上式称为双曲型偏微分方程的第二种形式 注:上式中的注:上式中的“*”号不代表共轭,仅说明是另外的函数。如号不代表共轭,仅说明是另外的函数。如*1D1D与与是两个不同的
14、函数。是两个不同的函数。2抛物型偏微分方程抛物型偏微分方程因为抛物型偏微分方程的判别式因为抛物型偏微分方程的判别式 0 线是线是一族实函数曲线一族实函数曲线,所以特征曲,所以特征曲其其特征方程的解特征方程的解为为(,)x yc (10.3.5)因此令因此令(,),x yy进行自变量变换,则原偏微分方程变为进行自变量变换,则原偏微分方程变为222222(,)(,)(,)(,)uDuEuFuG (10.3.6)上式称为抛物型偏微分方程的标准形式上式称为抛物型偏微分方程的标准形式3.椭圆型偏微分方程椭圆型偏微分方程椭圆型偏微分方程的判别式椭圆型偏微分方程的判别式 0,所以特征曲线是,所以特征曲线是一
15、组共轭复变函数族其一组共轭复变函数族其特征方程的解为特征方程的解为12(,)i(,);(,)i(,)x yx ycx yx yc(10.3.7)若令若令(,),(,)x yx y(10.3.8)作自变量变换,则偏微分方程变为作自变量变换,则偏微分方程变为22333322(,)(,)(,)(,)uuDuEuFuG (10.3.9)上式称为上式称为椭圆型偏微分方程的标准形式椭圆型偏微分方程的标准形式10.4 二阶线性常系数偏微分方程的进一步二阶线性常系数偏微分方程的进一步化简化简 如果二阶偏微分方程的系数是常数,则标准形式的方程还如果二阶偏微分方程的系数是常数,则标准形式的方程还可以进一步化简下面
16、按三种类型分别介绍化简的方法可以进一步化简下面按三种类型分别介绍化简的方法1.双曲型双曲型 对于下列含常系数的第一种标准形式的双曲型标准方程还对于下列含常系数的第一种标准形式的双曲型标准方程还可进一步化简可进一步化简21111(,)uuudef uG 111,d e f1(,)G 11(,)(,)edue v注:上式中用小写字母注:上式中用小写字母代表常系数,以便与代表常系数,以便与我们不妨令我们不妨令 大写字母代表某函数区别开来大写字母代表某函数区别开来,例如例如为了化简,为了化简,从而有从而有211(,)hJ vv(10.4.2)其中其中 11()11 1111,(,)(,)edhd ef
17、JGe 由第二种标准形式的双曲型偏微分方程(含常系数)可以进由第二种标准形式的双曲型偏微分方程(含常系数)可以进一步化简一步化简 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,(,)(,)edhfededJGe对于对于含常系数的抛物型偏微分标准方程含常系数的抛物型偏微分标准方程(含常系数)(含常系数)222222(,)uuudef uG(10.4.6)还可以进一步化简上式中小
18、写字母还可以进一步化简上式中小写字母 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
19、)其中其中 33()2333333(),(,)(,)edhfedJGe 含有两个自变量的线性偏微分方程的一般形式也可以写成下含有两个自变量的线性偏微分方程的一般形式也可以写成下面的形式:面的形式:(,)L uG x y其中其中 L 是二阶线性偏微分算符,是二阶线性偏微分算符,G是是x,y的函数的函数线性偏微分算符有以下两个基本特征:线性偏微分算符有以下两个基本特征:1 1221122;L cucL uL cuc uc L uc L u10.5 线性偏微分方程解的特征线性偏微分方程解的特征其中其中 12,c c c均为常数进一步有如下结论:均为常数进一步有如下结论:1.齐次的线性偏微分方程的解有
20、以下特性:齐次的线性偏微分方程的解有以下特性:ucu为方程的解时,则为方程的解时,则也为方程的解;也为方程的解;(1).当当12,u u1 122cuc u为方程的解,则为方程的解,则也是方程的解;也是方程的解;(2)若若2.非齐次的线性偏微分方程的解具有如下特性:非齐次的线性偏微分方程的解具有如下特性:IuIIuIIIuu为非齐次方程的特解,为非齐次方程的特解,为齐次方程的通解,则为齐次方程的通解,则为非齐次方程的通解;为非齐次方程的通解;(1)若若(2)若若 1122(,),(,),L uHx y L uHx y则则1212(,)(,)L uuHx yHx y3线性偏微分方程的叠加原理线性偏微分方程的叠加原理需要指出需要指出:线性偏微分方程具有一个非常重要的特性,称为叠线性偏微分方程具有一个非常重要的特性,称为叠 ku (1,2,)kL ufk加原理,即若加原理,即若是方程是方程(其中(其中 L 是二阶线性偏微分算符)的解是二阶线性偏微分算符)的解.如果级数如果级数 1kkkuc u收敛,且二阶偏导数存在(其中收敛,且二阶偏导数存在(其中(1,2,)kc k 为任意常数),则为任意常数),则 1kkkuc u一定是方程一定是方程 1 kkkL uc f的解的解 程右端的级数是收敛的)程右端的级数是收敛的)(当然要假定这个方(当然要假定这个方