场论与数理方程第五章
3.椭圆型偏微分方程
椭圆型偏微分方程的判别式 一组共轭复变函数族.其特征方程的解为 ,所以特征曲线是
(7) 若令
8)
作自变量变换,则偏微分方程变为
(9) 上式称为椭圆型偏微分方程的标准形式.
线性偏微分方程解的特征
含有两个自变量的线性偏微分方程的一般形式也可以写成下 面的形式: 其中 L 是二阶线性偏微分算符,G是x,y的函数. 线性偏微分算符有以下两个基本特征:
(4)
或者进一步作变换
于是有
所以
又可以进一步将方程(1)化为
这种类型的方程称为双曲型方程.我们前面建立的波动方 程就属于此类型. 2.当判别式 时:这时方程
(10.2.10)一定有重根
因而只能求得一个解,例如,
,特征线为
一条实特征线.作变换
就可以使
,故可推出
这样就可以任意选取另一个变换,
只要它和
写方便,通常记
(2)方程的阶 偏微分方程中未知函数偏导数的最高阶数称为方
程的阶.
(3)方程的次数 偏微分方程中最高阶偏导数的幂次数称为偏微
分方程的次数.
(4)线性方程 一个偏微分方程对未知函数和未知函数的所
有(组合)偏导数的幂次数都是一次的,就称为线性方程, 高于一次以上的方程称为非线性方程.
(5)准线性方程 一个偏微分方程,如果仅对方程中所有最
(4) 上式称为双曲型偏微分方程的第二种形式.
注:上式中的“*”号不代表共轭,仅说明是另外的函数。如
与
是两个不同的函数。
2.抛物型偏微分方程
因为抛物型偏微分方程的判别式 线是一族实函数曲线. 其特征方程的解为
,所以特分方程变为
(6)
上式称为抛物型偏微分方程的标准形式.
加原理,即若
是方程
(其中 L 是二阶线性偏微分算符)的解.如果级数
收敛,且二阶偏导数存在(其中
为任意常数),则 的解(当然要假定这个方
一定是方程 程右端的级数是收敛的).
程的通解含有n个任意函数.
数学物理方程的分类
我们在解析几何中知道对于二次实曲线
其中 则当
为常数,且设 时,上述二次曲线分别为双
曲线、抛物线和椭圆.受此启发,下面我们来对二阶线性偏
微分方程进行分类.
下面主要以含两个自变量的二阶线性偏微分方程为例,进行 理论分析.而对于更多个自变量的情形尽管要复杂一些,但讨 论的基本方法是一样的. 两个自变量(x, y)的二阶线性偏微分方程所具有的普遍形式为
高阶偏导数是线性的,则称方程为准线性方程.
(6)自由项 在偏微分方程中,不含有未知函数及其偏导数的
项称为自由项.
例如 : 方程的通解和特解概念
二阶线性非齐次偏微分方程 的通解为
其中
是两个独立的任意函数.因为方程为 指定为
二阶的,所以是两个任意的函数.若给函数 特殊的
,则得到的解
称为方程的特解.
n阶常微分方程的通解含有n个任意常数,而n阶偏微分方
二阶线性偏微分方程的分类
本章将介绍二阶线性偏微分方程的基本概念、分类方
法和偏微分方程的标准化. 特别对于常系数的二阶线性偏
微分方程的化简方法也进行了详细讨论,这对后面的偏微
分方程求解是十分有用的.
基本概念
(1) 偏微分方程 含有未知多元函数及其偏导数的方程,如
其中
是未知多元函数,而
是未知变量;
为
的偏导数. 有时为了书
所以
方程(1)又可以进一步化为
这种类型的方程称为椭圆型方程.拉普拉斯(Laplace)方程、
泊松(Poisson)方程和Helmholtz 方程都属于这种类型. 综上所述,要判断二阶线性偏微分方程属于何种类型,只
需讨论判别式 即可.
二阶线性偏微分方程标准化
对于二阶线性偏微分方程
(1) 若判别式为 线性偏微分方程分为三类: ,则二阶
时,方程称为双曲型;
时,方程称为抛物型; 时,方程称为椭圆型;
1.双曲型偏微分方程
因为双曲型方程对应的判别式
所以特征曲线是两族不同的实函数曲线,
设特征方程的解为
令
(2)
进行自变量变换,则原偏微分方程变为下列形式
(3) 上式称为双曲型偏微分方程的第一种标准形式,再作变量 代换,令
或
则偏微分方程又变为
(1) 其中 为 的已知函数.
定理1 如果
是方程 (2)
的一般积分,则
是方程
(3)
的一个特解.
在具体求解方程(2)时,需要分三种情况讨论判别式
1. 当判别式 以求得两个实函数解
时,从方程(2)可
也就是说,偏微分方程(1)有两条实的特征线.于是,令
即可使得
.同时,可以断定
.所以,方程(1) 即为
其中
均为常数.进一步有如下结论:
1.齐次的线性偏微分方程的解有以下特性:
(1).当 (2)若 也是方程的解; 2.非齐次的线性偏微分方程的解具有如下特性: 为方程的解时,则 为方程的解,则 也为方程的解;
(1)若
为非齐次方程的特解, 为非齐次方程的通解;
为齐次方程的通解,则
(2) 若
则
3.线性偏微分方程的叠加原理 需要指出:线性偏微分方程具有一个非常重要的特性,称为叠
彼此独立,即雅可俾式
即可.这样,方程(1)就化为
此类方程称为抛物型方程.热传导(扩散)方程就属于 这种类型.
3. 当判别式
时:这时,可以重复上
和
面的讨论,只不过得到的
是一
对共轭的复函数,或者说,偏微分方程(1)的两条特征线是
一对共轭复函数族.于是
是一对共轭的复变量.进一步引进两个新的实变量
于是