二阶线性偏微分方程的分类与小结
- 格式:doc
- 大小:200.50 KB
- 文档页数:6
第十三章二阶线性偏微分方程的分类本章将介绍二阶线性偏微分方程的基本概念、分类方法和偏微分方程的标准化. 特别对于常系数的二阶线性偏微分方程的化简方法也进行了详细讨论,这对后面的偏微分方程求解是十分有用的.13.1 基本概念(1)偏微分方程含有未知多元函数及其偏导数的方程,如22222(,,,,,,,,,,)0u u u u u F x y u x y x y x y∂∂∂∂∂⋅⋅⋅⋅⋅⋅⋅⋅⋅=∂∂∂∂∂∂其中(,,)u x y ⋅⋅⋅是未知多元函数,而,,x y ⋅⋅⋅是未知变量;,,u u x y ∂∂⋅⋅⋅∂∂为u 的偏导数. 有时为了书写方便,通常记22,,,,x y xx u u u u u u x y x∂∂∂==⋅⋅⋅=⋅⋅⋅∂∂∂(2)方程的阶偏微分方程中未知函数偏导数的最高阶数称为方程的阶.(3)方程的次数偏微分方程中最高阶偏导数的幂次数称为偏微分方程的次数.(4)线性方程一个偏微分方程对未知函数和未知函数的所有偏导数的幂次数都是一次的,就称为线性方程,高于一次以上的方程称为非线性方程.(5)准线性方程一个偏微分方程,如果仅对方程中所有最高阶偏导数是线性的,则称方程为准线性方程.(6)自由项在偏微分方程中,不含有未知函数及其偏导数的项称为自由项.例13.1.2:方程的通解和特解概念二阶线性非齐次偏微分方程2xy u y x =−的通解为221(,)()()2u x y xy x y F x G y =−++其中(),()F x G y 是两个独立的任意函数.因为方程为例13.1.1:偏微分方程的分类(具体见课本P268)2241(,)252sin 2u x y xy x y x y =−+−+称为方程的特解.n 阶常微分方程的通解含有n 个任意常数,而n 阶偏微分方程的通解含有n 个任意函数.二阶的,所以是两个任意的函数.若给函数(),()F x G y 指定为特殊的4()25,()2sin F x x G y y =−=,则得到的解在数学物理方程的建立过程中,我们主要讨论了三种类型的偏微分方程:波动方程;热传导方程;稳定场方程.这三类方程描写了不同物理现象及其过程,后面我们将会看到它们的解也表现出各自不同的特点.我们在解析几何中知道对于二次实曲线22ax bxy cy dx ey f +++++=其中,,,,,a b c d e f 为常数,且设24b ac δ=−13.2二阶线性偏微分方程的分类上述二次曲线分别为双曲线、抛物线和椭圆.受此启发,下面我们来对二阶线性偏微分方程进行分类.下面主要以含两个自变量的二阶线性偏微分方程为例,进行理论分析.而对于更多个自变量的情形尽管要复杂一些,但讨论的基本方法是一样的.两个自变量(x, y )的二阶线性偏微分方程所具有的普遍形式为0,0,0δ>=<则当时,22222(,)(,)(,)(,)(,)(,)(,)u u u u u A x y B x y C x y D x y E x y F x y u G x y x x y y x y ∂∂∂∂∂+++++=∂∂∂∂∂∂(13.2.1)其中,,,,,,A B C D E F G 为(,)x y 的已知函数.定义为方程13.2.1的特征方程22(d )d d +(d )0A yB y xC x −=(13.2.3)它所对应的积分曲线族称为特征曲线族在具体求解方程(13.2.3)时,需要分三种情况讨论判别式24B AC ∆=−当判别式240B AC ∆=−>时,从方程(13.2.3)可以求得两个实函数解12(,) (,) x y C x y C φψ==及也就是说,偏微分方程(13.2.1)有两条实的特征线.于是,令13.2.1双曲型偏微分方程作变换并代入原方程原偏微分方程(13.2.1)变为:此变换是可逆的(,), (,)x y x y ξφηψ==2(,,,,)0u u u u ξηξηξη∂∂∂+Φ=∂∂∂∂21111((,)(,13.2.)(,)(,)4)u D u E u F u G ξηξηξηξηξηξη∂=+∂∂++或表示为此方程称为双曲线偏微分方程的第一种标准形式偏微分方程(13.2.4)变为:111122**22**(,(13.2)(,)(,)(.5),)u u D u E u F u G αβαβαβαβαβαβ∂∂−=+∂∂++2222(,,,,)u u u u u αβαβαβ∂∂∂∂−=Φ∂∂∂∂或表示为此方程称为双曲型偏微分方程的第二种标准形式2(,)tt xx u a u f x t =+波动方程即为双曲型偏微分方程或者进一步作变换,αξηβξη=+=−,22αβαβξη+−==或例13.2.1 原偏微分方程为:板书讲解解:△补充例题:学生自己先做,再演示答案222222y x 0x yu u ∂∂−=∂∂试将方程 化为标准方程。
二阶线性偏微分方程的分类与小结第六章二阶线性偏微分方程的分类与小结一两个自变量的二阶线性方程1 方程变换与特征方程两个自变量的二阶线性偏微分方程总表示成«Skip Record If...»①它关于未知函数«Skip Record If...»及其一、二阶偏导数都是线性的,其中«Skip Record If...»都是自变量«Skip Record If...»的已知函数,假设它们的一阶偏导数在某平面区域«Skip Record If...»内都连续,而且«Skip Record If...»不全为0 。
设«Skip Record If...»是«Skip Record If...»内给定的一点,考虑在«Skip Record If...»的领域内对方程进行简化。
取自变量变换«Skip Record If...»,«Skip Record If...»其中它们具有二连续偏导数,而且在«Skip Record If...»处的雅可比行列式。
«Skip Record If...»«Skip Record If...»=«SkipRecord If...»根据隐函数存在定理,在«Skip Record If...»领域内存在逆变换,«Skip Record If...»,«Skip Record If...»因为«Skip Record If...»,«Skip Record If...»«Skip Record If...»«Skip Record If...»«Skip Record If...»将代入①使其变为«Skip Record If...»经过变换后,方程的阶数不会升高,由变换的可逆性,方程的阶数也不会降低,所以«Skip Record If...»不全为0。
第六章 二阶线性偏微分方程的分类与小结一 两个自变量的二阶线性方程 1 方程变换与特征方程两个自变量的二阶线性偏微分方程总表示成f cu u b u b u a u a u a y x yy xy xx =+++++212212112 ①它关于未知函数u 及其一、二阶偏导数都是线性的,其中f u c b b a a a ,,,,,,,21221211都是自变量y x ,的已知函数,假设它们的一阶偏 导数在某平面区域D 内都连续,而且221211a a a ,,不全为0 。
设),(000y x M 是D 内给定的一点,考虑在0M 的领域内对方程进行简化。
取自变量变换),(y x ξξ=,),(y x ηη=其中它们具有二连续偏导数,而且在0M 处的雅可比行列式。
=∂∂),(),(y x ηξyx yx ηηξξ =x y y x ηξηξ- 根据隐函数存在定理,在0M 领域内存在逆变换,),(ηξx x =,),(ηξy y =因为x x x u u u ηξξξ+=,y y y u u u ηξξξ+=xx xx x x x x xx u u u u u u ηξηηξξηξηηξηξξ++++=222 yy yy y y y y yy u u u u u u ηξηηξξηξηηξηξξ++++=222 xy xy y x x y y x x x xy u u u u u u ηξηηηξηξξξηξηηξηξξ+++++=)(将代入①使其变为F Cu u B u B u A u A u A =+++++ηξηηξηξξ212212112经过变换后,方程的阶数不会升高,由变换的可逆性,方程的阶数也不会降低,所以221211,,A A A 不全为0。
并可验证222112122211212))((x y y x a a a A A A ηξηξ--=-这表明,在可逆变换下22211212A A A -与2211212a a a -保持相同的正负号。
二阶偏微分方程分类二阶偏微分方程是指含有两个独立变量的二阶偏导数的方程。
在数学中,它是一个重要的研究对象,具有广泛的应用领域,如物理学、工程学、生物学等。
本文将对二阶偏微分方程进行分类和介绍。
一、常系数二阶线性偏微分方程常系数二阶线性偏微分方程是指系数不随自变量变化而保持不变的二阶线性偏微分方程。
它们可以写成以下形式:$$\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} + a\frac{\partial u}{\partial x} + b\frac{\partial u}{\partial y} + cu = f(x,y)$$其中$a$、$b$、$c$为常数,$f(x,y)$为已知函数。
这类方程可以通过特征方程法求解。
二、非齐次线性偏微分方程非齐次线性偏微分方程是指右端项不为零的线性偏微分方程。
它们可以写成以下形式:$$\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = f(x,y)$$其中$f(x,y)$为已知函数。
这类方程可以通过格林函数法求解。
三、椭圆型偏微分方程椭圆型偏微分方程是指二阶偏微分方程中的系数满足$b^2 - 4ac < 0$,即判别式小于零的方程。
它们可以写成以下形式:$$a\frac{\partial^2 u}{\partial x^2} + 2b\frac{\partial^2 u}{\partial x \partial y} + c\frac{\partial^2 u}{\partial y^2} = f(x,y)$$其中$a$、$b$、$c$为常数,$f(x,y)$为已知函数。
这类方程在物理学中有广泛的应用,如热传导方程和电场方程等。
四、双曲型偏微分方程双曲型偏微分方程是指二阶偏微分方程中的系数满足$b^2 - 4ac > 0$,即判别式大于零的方程。
第四章 二阶线性偏微分方程的分类与总结§1 二阶方程的分类1. 证明两个自变量的二阶线性方程经过可逆变换后它的类型不会改变,也就是说,经可逆变换后2211212a a a -=∆的符号不变。
证:因两个自变量的二阶线性方程一般形式为fcu u b u b u a u a u a y x yy xy xx =+++++212212112经可逆变换 ⎩⎨⎧==),(),(y x y x ηηξξ 0),(),(≠y x D D ηξ化为 f u c u b u a u a u a =++++ηηηξηξξ22212112其中 ⎪⎪⎩⎪⎪⎨⎧++=+++=++=22212211222212111222212211112)(2y y x x y y x y y x x x yy x x a a a a a a a a a a a a ηηηηηξηξηξηξξξξξ所以 y x y x y x y x x y y x a a a a a a a ηηξξηηξξηξηξ2211112222122221112222)(+-+=-=∆22221112222222211),(),())(()(⎥⎦⎤⎢⎣⎡∆=--=+-y x D D a a a a a x y y x y x y x ηξηξηξηξξη因0),(),(2>⎥⎦⎤⎢⎣⎡y x D D ηξ,故∆与∆同号,即类型不变。
2. 判定下述方程的类型(1)022=-yy xx u y u x (2)0)(2=++yy xx u y x u (3)0=+yy xx xyu u(4))010001(sgn 0sgn 2sgn ⎪⎩⎪⎨⎧<-=>==++x x x x xu u yu yyxy xx(5) 0424=+++-zz yy xz xy xx u u u u u 解:(1)022=-yy xx u y u x因 022>=∆y x 当0,0≠≠y x 时0,0=>∆x 或0=y 时0=∆。
目的:从数学上表示出二阶线性偏微分方程的共性与差异.1一、二阶线性偏微分方程的分类二、两个自变量的二阶方程的化简三、两个自变量二阶常系数方程的化简设为自变量,二阶线性偏微分方程的形状:111222122xx xy yy x ya u a u a u bub u cu f +++++=(),x y 其中是关于在区域Ω上的实值函数,且连续可微。
11122212,,,,,,a a a b b c f ,x y12211220,a a a Δ≡−>若在区域Ω上某点()00,x y 则称111222122xx xy yy x y a u a u a u bu b u cu f+++++=在点为双曲型的。
()00,x y12211220,a a a Δ≡−=若在区域Ω上某点()00,x y 则称111222122xx xy yy x y a u a u a u bu b u cu f+++++=在点为抛物型的。
()00,x y12211220,a a a Δ≡−<若在区域Ω上某点()00,x y 则称111222122xx xy yy x y a u a u a u bu b u cu f+++++=在点为椭圆型的。
()00,x y12211220,a a a Δ≡−>若在区域Ω上每一点有()00,x y 则称111222122xx xy yy x y a u a u a u bu b u cu f+++++=在内为双曲型的。
Ω12211220,a a a Δ≡−=若在区域Ω上每一点有()00,x y 则称111222122xx xy yy x y a u a u a u bu b u cu f+++++=在内为抛物型的。
Ω12211220,a a a Δ≡−<若在区域Ω上每一点有()00,x y 则称111222122xx xy yy x y a u a u a u bu b u cu f+++++=在内为椭圆型的。
第四章 二阶线性偏微分方程的分类与总结§1 二阶方程的分类1. 证明两个自变量的二阶线性方程经过可逆变换后它的类型不会改变,也就是说,经可逆变换后2211212a a a -=∆的符号不变。
证:因两个自变量的二阶线性方程一般形式为fcu u b u b u a u a u a y x yy xy xx =+++++212212112经可逆变换 ⎩⎨⎧==),(),(y x y x ηηξξ0),(),(≠y x D D ηξ 化为 f u c u b u a u a u a =++++ηηηξηξξ22212112其中 ⎪⎪⎩⎪⎪⎨⎧++=+++=++=22212211222212111222212211112)(2y y x x y y x y y x x x yy x x a a a a a a a a a a a a ηηηηηξηξηξηξξξξξ所以 y x y x y x y x x y y xa a a a a a a ηηξξηηξξηξηξ2211112222122221112222)(+-+=-=∆22221112222222211),(),())(()(⎥⎦⎤⎢⎣⎡∆=--=+-y x D D a a a a a x y y x y x y x ηξηξηξηξξη因0),(),(2>⎥⎦⎤⎢⎣⎡y x D D ηξ,故∆与∆同号,即类型不变。
2. 判定下述方程的类型(1)022=-yy xx u y u x (2)0)(2=++yy xx u y x u (3)0=+yy xx xyu u(4))010001(sgn 0sgn 2sgn ⎪⎩⎪⎨⎧<-=>==++x x x x xu u yu yyxy xx(5) 0424=+++-zz yy xz xy xx u u u u u 解:(1)022=-yy xx u y u x因 022>=∆y x 当0,0≠≠y x 时0,0=>∆x 或0=y 时0=∆。
第六章 二阶线性偏微分方程的分类与小结一 两个自变量的二阶线性方程 1 方程变换与特征方程两个自变量的二阶线性偏微分方程总表示成fcu u b u b u a u a u a y x yy xy xx =+++++212212112 ①它关于未知函数u 及其一、二阶偏导数都是线性的,其中fu c b b a a a ,,,,,,,21221211都是自变量y x ,的已知函数,假设它们的一阶偏 导数在某平面区域D 内都连续,而且221211a a a ,,不全为0 。
设),(000y x M 是D 内给定的一点,考虑在0M 的领域内对方程进行简化。
取自变量变换),(y x ξξ=,),(y x ηη=其中它们具有二连续偏导数,而且在0M 处的雅可比行列式。
=∂∂),(),(y x ηξyx yx ηηξξ =x y y x ηξηξ- 根据隐函数存在定理,在0M 领域内存在逆变换,),(ηξx x =,),(ηξy y =因为x x x u u u ηξξξ+=,y y y u u u ηξξξ+= xx xx x x x x xx u u u u u u ηξηηξξηξηηξηξξ++++=222yy yy y y y y yy u u u u u u ηξηηξξηξηηξηξξ++++=222 xy xy y x x y y x x x xy u u u u u u ηξηηηξηξξξηξηηξηξξ+++++=)(将代入①使其变为F Cu u B u B u A u A u A =+++++ηξηηξηξξ212212112经过变换后,方程的阶数不会升高,由变换的可逆性,方程的阶数也不会降低,所以221211,,A A A 不全为0。
并可验证222112122211212))((x y y x a a a A A A ηξηξ--=-这表明,在可逆变换下22211212A A A -与2211212a a a -保持相同的正负号。
第六章 二阶线性偏微分方程的分类与小结
一 两个自变量的二阶线性方程 1 方程变换与特征方程
两个自变量的二阶线性偏微分方程总表示成
f cu u b u b u a u a u a y x yy xy xx =+++++212212112 ①
它关于未知函数u 及其一、二阶偏导数都是线性的,其中f u c b b a a a ,,,,,,,21221211都是自变量y x ,的已知函数,假设它们的一阶偏 导数在某平面区域D 内都连续,而且221211a a a ,,不全为0 。
设),(000y x M 是D 内给定的一点,考虑在0M 的领域内对方程进行简化。
取自变量变换
),(y x ξξ=,),(y x ηη=
其中它们具有二连续偏导数,而且在0M 处的雅可比行列式。
=
∂∂),(),(y x ηξy
x y
x ηηξξ =x y y x ηξηξ- 根据隐函数存在定理,在0M 领域内存在逆变换,
),(ηξx x =,),(ηξy y =
因为
x x x u u u ηξξξ+=,y y y u u u ηξξξ+=
xx xx x x x x xx u u u u u u ηξηηξξηξηηξηξξ++++=222 yy yy y y y y yy u u u u u u ηξηηξξηξηηξηξξ++++=222 xy xy y x x y y x x x xy u u u u u u ηξηηηξηξξξηξηηξηξξ+++++=)(
将代入①使其变为
F Cu u B u B u A u A u A =+++++ηξηηξηξξ212212112
经过变换后,方程的阶数不会升高,由变换的可逆性,方程的阶数也不会降低,所以221211,,A A A 不全为0。
并可验证
222112122211212))((x y y x a a a A A A ηξηξ--=-
这表明,在可逆变换下2
22112
12A A A -与22112
12
a a a -保持相同的正负号。
定理 在0M 的领域内,不为常数的函数),(y x ϕ是偏微分方程022*******=++y y x x a a a ϕϕϕϕ之解的充分必要条件是:
C y x ≡),(ϕ是常微分方程的
0)(2)(22212211=++dx a dxdy a dy a
通解。
2 方程的类型及其标准形式
根据以上结论简化方程的问题归结为寻求其特征曲线。
为此将特征方程分解成两个方程:
11
22
11
2
12
12
a a a a a dx dy -+=,11
22
11
2
12
12
a
a
a a a dz dy --=
(1) 若在0M 的邻域内022112
12>-a a a 时,方程可以化为
=-ββααu u _
__2_1F u C u B u B +++βα,该式称为双曲线方
程的标准形式,其中_
_
_
2_
1,,,F C B B 是自变量βα、的已知函数。
(2) 若0M 的邻域内022112
12=-a a a 时,可将方程简化成
F Cu u B u B u A =+++ηξηη2122,该式称为抛物型方程
的标准形式,其中F C B B A ,,,,2122是自变量ηξ、的已知函数。
(3) 若0M 的邻域内022112
12<-a a a 时,可将方程简化成
F Cu u B u B u u A =++++ηξηηξξ2111)(,该式称为椭圆
型方程的标准形式,其中F C B B A ,,,,2111是自变量
ηξ、的已知函数。
总之,根据22112
12a a a -的正负号能将
yy xy xx u a u a u a 2212112++ f cu u b u b y x =+++21简化成三种标准
形式。
定义 若在区域D 中),(000y x M 点处满足022112
12>-a a a (或
是=0,或是<0),则称方程
yy xy xx u a u a u a 2212112++f cu u b u b y x =+++21在该点0M 处是
双曲线的(或是抛物型的,或是椭圆型的)。
二 n 个自变量的二阶线性方程 1 方程的分类
n 个自变量的二阶线性偏微分方程一般可以表示成
f cu u b u u a n
i x i
n j i x x ij
i
j
i
=++∑∑==1
1
, ①
其中ij a ,i b ,c ,f 都是自变量n x x ,...,1的已知函数,假设它们在n 维空间中某一区域Ω内连续,而且不全为0。
在区域Ω内某点),...,(0010n x x M 处,由二阶导数项的系数可构成相应的二次型
),...,(1n q λλ=∑=n
j i x x ij j
i
a 1
,λλ=λλ)(ij T a ②
其中T n ),...,(1λλλ=,而)(ij a 是n 阶对称矩阵。
定义2 如果在点0M 的二次型②为非退化且是不定的,即它恰有n 个非零特征值,而且特征值的符号不全相同,则称方程①在点0M 是双曲线型。
如果其中1-n 个非零特征值同号,只有一个非零特征值与它们异号,则称方程在点0M 是狭义双曲线型的。
如果其中不只一个非零特征值是异号的,则称方程在点0M 是超双曲线型的。
定义3 如果在点0M 的二次型②为非退化的,即它至少有一个零特征值,则称方程①在点0M 是抛物型。
如果只有一个零特征值,而另外1-n 个非零特征值同号,则称方程在点
0M 是狭义抛物型的。
如果是其它有零特征值的情形,则称
方程在点0M 是广义抛物型的。
定义4 如果在点0M 的二次型②为正定或负定的,即它恰有
n 个同号的非零特征值,则称方程在0M 点是椭圆型的。
2 方程的简化
当方程①中二阶偏导数项的系数ij a 全是常数时,相应的二次型②是常系数实二次型。
根据线性代数的理论,运用配方法或者正交变换法,总可找到一个可逆线性变换
μλ)(ij
p =,即
∑==n
i k
ik
p 1
μλ n i , (1)
其中)(ij p 是可逆矩阵,将二次型),...,(1n q λλ化成标准形
),...,(1n Q μμ,即
),...,(1n q λλ=λλ)(ij T a =μμ))(()(ij ij T ij T p a p =
=2211...n n u εμε++=),...,(1n Q μμ
其中))(()(ij ij T
ij p a p =⎥⎥⎥⎦
⎤⎢⎢⎢⎣⎡n εε . 1,而且i ε=1或-1或0。
可取转置矩阵T ij p )(构造自变量可逆线性变换x p T ij )(=ξ,
即
∑==n
k k
ki
i
x p 1
ξ,n i , (1)
就能将在区域Ω内方程①简化为
∑∑==+n
i i
n i i
i
i
i B 1
1
ξεξμμε+F Cu =。
三 小结
前面各章的各种定解问题具有的一个共同的特点――偏微分方程与定解条件关于未知函数及其导数都是线性的,称这些业解问题都是线性问题。
线性问题普遍成立有叠加原理。
叠加原理是前面各章介绍的各种方法的基础。
另一方面,二阶偏微分方程可以分成双曲线型、抛物型和椭圆型,由于它们描述了物理与工程技术中不同的自然现象,所以,它们不仅在二阶偏导数项系数的代数方面有差异,而且在定解条件与性态方程有本质区别。
常系数齐次波动方程、热传导方程和拉普拉斯方程分别是三类方程的典型代表。
为了使定解问题能反映实际现象的客观规律,而且符合数学上适定性的要求,对于不同类型的偏 微分方程,需要给予足够、恰当的定解条件。
另外,定解条件是否保证定解问题是适定的,还与解的含义有关。