定义2.1 关系式中包含多元未知函数及其偏导数的方程称为偏微分方程。
考虑到二阶偏微分方程在数学、物理及工程技术中的广泛应用,接下来着重介绍二阶偏微分方程。根据空间微分算子的性质,二阶偏微分方程可分为双曲型、抛物型和椭圆型三类 [24] 。二阶二元线性偏微分方程及其特征方程 [74] 形式为
式中,
a
11
、
a
12
、
a
22
、
b
1
、
b
2
、
c
与
f
是关于自变量
x
和
t
的函数,方程(2.1.1)在平面(
x
,
t
)上的某一子区域上是连续可微的,且在点
Z
(
x
0
,
t
0
)的邻域内可以根据
的符号分为三类:
Δ
>0,方程(2.1.1)在点
Z
处为双曲型偏微分方程;
Δ
=0与
Δ
<0分别称为抛物型和椭圆型偏微分方程。为保证其解析解的存在性和唯一性,偏微分方程(2.1.1)不仅受限于初始条件,还受限于边界条件。
以一维空间( x ∈[0, L ])为例,偏微分方程的边界条件可分为狄利克雷(Dirichlet)、纽曼(Neumann)和混合(Robin)三类。具体而言,针对二阶偏微分方程
其边界条件通常有以下三种类型。
第一类狄利克雷边界条件:
式中,函数 y 1 ( t )和 y 2 ( t )分别表示状态 y ( x , t )在边界 x =0与 x = L 处的运动规律。
第二类纽曼边界条件:
式中,函数 y 1 ( t )和 y 2 ( t )分别表示状态 y ( x , t )在边界 x =0与 x = L 处外法线方向导数的运动规律。
第三类混合边界条件:
式中,函数
y
1
(
t
)和
y
2
(
t
)分别表示在边界
x
=0和
x
=
L
处状态
y
(
x
,
t
)和其外法线方向导数线性组合的运动规律;
与
为已知函数。
在上述三类边界条件中,若令 y 1 ( t )=0且 y 2 ( t )=0,则称上述边界条件为齐次边界条件,否则称为非齐次边界条件。