第3节 二阶线性偏微分方程的化简与分类

㈠ 两个自变量的二阶线性偏微分方程的化简与分类
设x , y为自变量，u  u  x , y  为未知函数。两个自变量的二阶线性偏微分方程
的一般形式为： 偏微分方程的主部
a11 uxx  2a12 uxy  a22 u yy  a1 ux  b1 u y  cu  f  x , y   0,
其中系数a11 , a12 , a22 , a1 , b1 , c都是变量  x , y   的已知连续可微函数，且a ij
 i , j  1, 2  不全为零，  R 2为某一区域。
方法：通过适当的自变量代换与未知函数的变换，使上面的方程化简，并在
此基础上对方程进行分类。
想法：将方程利用自变量的非奇异变换简化二阶导数项，并利用方程类型在
这样变换下保持不变的性质对方程进行分类。
下面，对方程在区域中某点  x0 , y0 的附近进行简化。

    x , y 
作自变量的非奇异变换  , 其中 ,二次连续可微。
    x , y 
目录 上页 下页 返回 结束
计算u关于x, y的各阶导，代入方程，以便得到新变量 ,的方程。
ux  u  x  u x , u y  u  y  u y , u  x , y   u  ,  

uxx 

 u  x  u x    u     u     u  
 x  x 
 u  xx 
 
 u
 u xx
x x
x x x x x

  
 u  x  u x  x  u  xx  u  x  u x  x  u xx 
 u  x   2u  x x  u  x   u  xx  u xx ,
2 2

类似地，
 
uxy  u  x y  u  x y   x y  u x y  u  xy  u xy ,

   
2 2
u yy  u  y  2u  y y  u y  u  yy  u yy .
将这些偏导数代入原方程，化简整理，有
A11 u  2 A12 u  A22 u  A1 u  B1 u  Cu  F  ,   0,
其中
A1  a11 xx  2a12 xy  a22 yy  a1 x  b1 y , C  c  x   ,   , y  ,    .
B1  a11 xx  2a12 xy  a22 yy  a1 x  b1 y , F  f  x  ,   , y  ,    .

目录 上页 下页 返回 结束
  ,
2
A11  a11  x   2a12 x y  a22  y
2
①
A12  a11    a        a  
x x 12 x y y x 22 y y , ②
   2a    a   ,
2 2
A22  a11 x 12 x y 22 y ③
注意：由式①和③知，A11与A22的形式完全相同，只是所用的记号 与不同。
于是，只要找到一阶偏微分方程
 
2
a11  z x   2a12 z x z y  a22 z y
2
0 ④
的两个函数无关解：z  z1  x , y  , z  z2  x , y ，只需取
  z1  x , y  ,  z2  x , y ，
则A11 =0，A22 =0。方程就可化简。 注意到，方程④可改写为
2
 zx   zx 
a11    2a12    a22  0
 zy   zy 
   
沿着曲线 z  x , y   c  把它作为定义隐函数y  x 的方程  有
dy zx
d z  x , y   z x dx  z y d y  0   
dx zy
目录 上页 下页 返回 结束
上面的偏微分方程正是如下一阶常微分方程
2
 dy   dy 
   
2 2
a11    2a12    a 22  0，或者 a11 d y  2a12 d xd y  a22 d x 0
 dx   dx 
于是，求解一阶偏微分方程可转化为求解常微分方程。 19 世纪，杜 . 布
常微分方程称为偏微分方程的特征方程。 瓦 . 雷蒙（ Du
Bois-Reymod,
特征方程的积分曲线称为偏微分方程的特征线。P.D.G ）提出把
求特征方程的积分曲线，将特征方程分解为两个方程： 二阶线性 PDE
分为三种类型
 a12   a11a22  a12   a11a22
2 2
dy a12  dy a12 
 ； 
dx a11 dx a11
两个自变量的二阶线性偏微分方程，依据判别式的符号可分成三种类型：
双曲型 若  0
记判别式为   a12   a11a22 ,
2
方程的分类 抛物型 若  0
其中a11 , a12 , a22是x , y的函数。 椭圆型 若  0

目录 上页 下页 返回 结束
几点说明：
双曲型
① 如果方程在一个区域 Ω 内的每点处均 抛物型 ，则称方程在区
为 双曲型的 椭圆型
域 Ω 中是 抛物型的
。
椭圆型的
② 有些方程在某一部分区域内是双曲型的，另一部分内是椭圆型的，而
在它们的分界线上是抛物型的（或无定义），故称之为混合型的。
例如：特里科米（ Tricomi ，意大利）方程
 2u  2u 在研究空气动力学的跨音
y 2  2 0
x y 速流问题时会遇到
在上半平面y  0是椭圆型的，而在下半平面y  0是双曲型的。
在包含x轴上的点的任一区域内，它是混合型的。
注意：由系数的连续性知：若方程在某点处是双曲型的（或椭圆型的
），则在该点的某个小邻域内类型不变。但对抛物型的，不一
定存在该点的小邻域，使得它是抛物型的！
③ 退化方程（三种类型）。

目录 上页 下页 返回 结束
具体化简的方法
情形I ：  0
此时，可求得两族不同的实特征线：  x , y   c1 ,   x , y   c2 .
选取特征变换 :     x , y  ,     x , y  . 自变量变换是可逆的！
其中变换的Jacobi矩阵J 满足
x  y x  y  x  x 
det  J  
x  y

x y
  x y   y x   y y  
    0
 y y 

由  x , y   c1，  x , y   c2，利用隐函数求导法则，分别得到
 a12 
2
dy  a   a11a22
d  x , y   0   x d x   y d y  0    x  12 ,
dx y a11

 a12   a11a22
2
dy  a12 
d  x , y   0   x dx   y dy  0   x  ,
dx y a11
因此，化简后的方程可写成如下形式： 注意：A11  A22  0
2 A12 u  A1 u  B1 u  Cu  F  ,   0, A12  0

目录 上页 下页 返回 结束
或者
1
u  
2 A12
A1 u  B1u  Cu  F  ,  
这种方程形式称为双曲型方程的第一标准型形式。
式双
曲
若对上述方程再作自变量代换： 型
 1 方
  2     程
 ，
   1     的
 2 标
则方程化为 准
形
u  u  A1 u  B1 u  Cu  F  ,  

这种方程形式称为双曲型方程的第二标准型形式。
练习1：通过自变量的可逆代换，化如下方程为标准型。
yuxx  2  x  y  uxy  4 xu yy  0，其中x  y  0.
1 2 
提示：代换：  x 2 - y ，  2 x  y，标准型为u  u。
2 
2 2  
目录 上页 下页 返回 结束
情形I I ：  0
此时，可求得一族实特征线：  x , y   c1 .
选取特征变换 :     x , y  ,     x , y  . 自变量变换是可逆的！
其中任选    x , y ，且与  x , y  线性无关.
注：若 x  0，可取  y；若 y  0，可取  x .
由于
 
A12  a11 x x  a12  x y   y x  a22 y y
注意： 理代
dy  入
d  d  x , y   0   x d x   y d y  0   x 整
dx y
 a12   a11a22
2
x a12   x a12 a
      x   12  y
y a11  y a11 a11
a12  a12 
A12   a11 y x  a12    y y   y x   a22 y y
a11  a11 

 a12 
2
a11a22   a12 
2


a11
 y y  a22 y y 
a11
 y y 0
目录 上页 下页 返回 结束
因此，化简后的方程可写成如下形式： 注意：A11  A12  0
A22 u  A1 u  B1 u  Cu  F  ,   0, A22  0
或者
1
u  
A22
A1u  B1 u  Cu  F  ,  
这种方程形式称为抛物型方程的标准型形式。

练习2：通过自变量的可逆代换，化如下方程为标准型。
x 2 uxx  2 xyuxy  y 2 u yy  0
y
提示：代换：  ，  y  任选 ，标准型为y 2 u  0  y  0  .
x

目录 上页 下页 返回 结束
情形I I I ：  0
此时，特征方程无实的特征线。可求得一对复特征线：
  x , y   c1，  x , y   c2，
其中   x , y  ,   x , y  是共轭复值函数。记  x , y     x , y   i   x , y ，其
中  x , y ，  x , y  都是实函数。 自变量变换是可逆的！
为了避免引入复数，选取特征变换 :     x , y  ;     x , y  .

显然，  x , y     x , y   i   x , y  满足方程，即 注意：A11，A22  0

A12  0?
 
2
a11  z x   2a12 z x z y  a22 z y
2
0
也就是，
 
2
a11  x   2a12 x y  a22  y
2
0
或者
   
2
a11  x  i  x   2a12  x  i  x   y  i  y  a22  y  i  y
2
0

化简，分开实部和虚部得

目录 上页 下页 返回 结束
 a  2  2a    a 
     a   2  2a    a 
  
2 2

 11 x 12 x y 22 y   11 x 12 x y 22 y

 
2i  a11 x  x  a12  x  y   y  x  a22 y  y   0

由实部和虚部分别为零，得
 a  2  2a    a 
     a   2  2a    a 
  
2 2

 11 x 12 x y 22 y   11 x 12 x y 22 y

A11 A22
A12   
 a11 x  x  a12  x  y   y  x  a22 y  y   0
 
注意：A11  A22   0 
因此，化简后的方程可写成如下形式：
A12  0
A11u  A22 u  A1u  B1 u  Cu  F  ,   0,
或者
1
u  u  
A11

A1 u  B1 u  Cu  F  ,  
这种方程形式称为椭圆型方程的标准型形式。

目录 上页 下页 返回 结束
练习3：通过自变量的可逆代换，化如下方程为标准型。
x 2 uxx  2 xyuxy   x 2  y 2  u yy  0  x, y  0
解： 此时，   a12   a11a22  x 2 y 2  x 2  x 2  y 2    x 4  0，特征方程为
2

x 2  dy   2 xydxdy   x 2  y 2   dx   0
2 2

2
 dy  dy
或 2
x    2 xy   x2  y2   0 xy 
x2
ic
 dx  dx 2
即
dy  xy  x 2 i  y  xi
 
dx x2 x  x2 
d  xy  i  0
注意：上面的一阶常微分方程可改写成  2 
xdy    y  xi  dx  0
dx 2
 xdy  ydx  ixdx  0  d  xy   i0
2
x2  1
提示：代换：  xy，  ，标准型为u  u  2 u  u .
2 2 2

目录 上页 下页 返回 结束
㈡ 多个自变量的二阶线性偏微分方程的化简与分类
多个自变量的二阶线性偏微分方程的一般形式为：
n
 2u n
u n
u
 aij   ai   bi  cu  f  x , y   0
i , j 1  x i  x j i 1  x i i 1  yi

其中aij , ai , bi , c及f 是空间R n中某区域上的适当光滑的函数，且aij  a ji。

略！参考其他教材。

目录 上页 下页 返回 结束