特征理论偏微分方程组

合集下载

用特征曲线法求解线性偏微分方程

用特征曲线法求解线性偏微分方程

相 应 地 ,(3)式 的 解 记 为 :
U (t ) = u ( x (t , ξ ,η ), y (t , ξ ,η ), z (t , ξ ,η )) (6)
不相交。 在整个区域 D 内, 所有的特征曲线 “平行” 地布满 D 。 此时方程(1)的未知函数的 v 一阶偏导数线性组合在各特征曲线 γ 上只随 换 t 的变化而变化,从而可转化为对 t 的导数。 句 话 说 , 将 ( x, y , z , u ) 所 在 区 域 ( D, u ) ⊂ R4 沿 v v 曲面 (γ , u ) (即 (ξ ,η ) 取定)剪开,在曲面 (γ , u ) 内未知函数是参数 t 的一元函数。 方程(1)在此 曲面上就是一常微分方程。
5x − 2 y − 2( x7+ y ) x+ y )e − 1) + C1 ( ,其 7 7 中 C1 为 任 意 的 一 阶 连 续 可 导 函 数 。 再用特征曲线法解方程: v = 7e
− x+ y 7
于 是 , 原 方 程 变 为 U t + L3U = G (t ) , 其 中 U = u(x(t,ω), y(t,ω)) , L3 = l3(x(t,ω), y(t,ω)) ,
学 术 论 坛
2010 NO.04 SCIENCE & TECHNOLOGY INFORMATION
科技资讯
用特征曲线法求解线性偏微分方程
王建鹏 1 林毅 2 李祯 3 ( 1 . 河海大学常州校区数理部 江苏常州 2 1 3 0 2 2 ; 2 .常州机电职业技术学院基础部 江苏常州 2 1 3 1 6 4 ; 3 . 陕西省杨凌区西北农林科技大学理学院应用数学系 陕西杨凌 7 1 2 1 0 0 ) 摘 要 : 特征曲线法是一种求解线性偏微分方程的基本方法. 但由于与几何背景相联系, 不易理解掌握. 本文总结了用特征曲线求解一 阶线性偏微分方程的思想方法,在此基础上,给出特征曲线法在一类二阶常系数线性偏微分方程求解问题上的推广。 关键词:偏微分方程 变量替换 特征曲线 方向导数 曲纹坐标 中图分类号:O172 文献标识码:A 文章编号 :1672-3791(2010)02(a)-0217-02

特征理论在偏微分方程中的应用

特征理论在偏微分方程中的应用
D , ( ) 一0 )
(*)
称 V
)一“

( ) 为 族 的 包 络 )
定理 1 设 对任 口 ∈A ,U ( .“ )是 ( ) 的 解 。 1 设 { ( “ ・,& ) 有 一 C。 络 ( , 则 V ( 也 是 ( ) 的 解 。 ) 包 ) ) 1 证 由 V一 “ ( , ( )知 : )
J I =

() 一 FP ( u s D ,“ ) , .则 由 上 式 得
P。0 ) : 一 F ( Du+ ,o) P ( ) 一 F ( r Du, “, )
F一

( , , ) P ,p- ( ,P2 … ,P , 一 ( . ? - Pl , ) 1 ,… , F )
f ( F Du , “, ) 一 0
) ,Dv F一 ( Fv .… ,FP ) ,D - ( ・ F- , l

求 问 :U ̄ 一 解 题 { gr 砷 l r
维普资讯
安 徽 农 业 大学 学 报 ,20 ,2 ( ) ∞ ~ 2 6 0 2 9 2 :2 0
J u n lo h i rc lu a Unv riy o r a fAn u Ag iut r l iest
特征 理 论在 偏 微 分 方 程 中 的应 用
汪 光 辉
( 肥 工业 大 学理 学 院 ,合 肥 2 0 0 ) 合 30 9

要 :本 文 从 几何 的观 点 辅 用特 枉 巍 法讨 论 了一 价 巍性 齐 班 、拟 践 性 越 蕊 奎 非 线 性 倍 微 分 方 程 解 的 求
浩 , 并 给 出 了 应 用 实 倒
ห้องสมุดไป่ตู้

偏微分方程基础与求解方法

偏微分方程基础与求解方法

偏微分方程基础与求解方法偏微分方程(Partial Differential Equations,简称PDE)是数学中重要的一个分支,它描述了自然和物理现象中的变化规律。

本文将介绍偏微分方程的基础知识以及一些常见的求解方法。

一、偏微分方程简介偏微分方程是包含未知函数的偏导数的方程。

它在数学物理、工程学、计算机科学等领域中具有广泛的应用。

偏微分方程可以分为线性和非线性两大类,其中线性偏微分方程具有特殊的重要性。

二、偏微分方程的分类根据方程中出现的未知函数的阶数、方程中出现的偏导数阶数以及方程的性质,偏微分方程可分为以下几类:1. 一阶偏微分方程:包含一阶导数的方程,如线性传热方程、波动方程等。

2. 二阶偏微分方程:包含二阶导数的方程,如拉普拉斯方程、扩散方程等。

3. 高阶偏微分方程:包含高于二阶导数的方程,如Schrodinger方程、Navier-Stokes方程等。

4. 椭圆型方程:二阶方程中的主对角项系数为常数,如拉普拉斯方程。

5. 抛物型方程:二阶方程中的主对角项系数只与一个自变量有关,如扩散方程。

6. 双曲型方程:二阶方程中的主对角项系数只与两个自变量有关,如波动方程。

三、常见的偏微分方程求解方法1. 分离变量法:适用于满足边界条件的简单情况,可将多变量的偏微分方程转化为多个单变量的常微分方程,从而解得原偏微分方程的解。

2. 特征线法:适用于一阶偏微分方程和某些二阶偏微分方程的求解,通过引入新的变量将原方程转化为常微分方程。

3. 变换法:通过适当的变换将原偏微分方程转化为常微分方程,再进行求解。

4. 矩阵法:适用于线性偏微分方程组的求解,将偏微分方程组转化为矩阵形式,利用线性代数的方法求解。

5. 数值方法:对于复杂的偏微分方程,往往无法找到解析解,可以通过数值方法进行近似求解,如有限差分法、有限元法、谱方法等。

四、偏微分方程的应用偏微分方程在科学研究和工程实践中有着广泛的应用。

例如:1. 物理学:波动方程用于描述声波、光波等传播过程;热传导方程用于描述物体内部的温度分布。

偏微分方程的分类与求解方法

偏微分方程的分类与求解方法

偏微分方程的分类与求解方法引言:偏微分方程(Partial Differential Equations,简称PDE)是数学中重要的研究对象之一,广泛应用于物理学、工程学、经济学等领域。

本文将探讨偏微分方程的分类与求解方法,以加深对这一领域的理解。

一、偏微分方程的分类偏微分方程可以根据方程中未知函数的个数、阶数以及系数的性质进行分类。

常见的分类包括:1. 偏微分方程的个数:- 单一偏微分方程:方程中只包含一个未知函数,如波动方程、热传导方程等;- 耦合偏微分方程:方程中包含多个未知函数,它们相互耦合,如Navier-Stokes方程、Maxwell方程等。

2. 偏微分方程的阶数:- 一阶偏微分方程:方程中包含一阶导数,如线性传热方程;- 二阶偏微分方程:方程中包含二阶导数,如波动方程、扩散方程等;- 更高阶的偏微分方程:方程中包含更高阶的导数,如椭圆型方程、双曲型方程等。

3. 偏微分方程的系数性质:- 线性偏微分方程:方程中的未知函数及其导数出现的系数是线性的,如线性传热方程;- 非线性偏微分方程:方程中的未知函数及其导数出现的系数是非线性的,如Burgers方程、Navier-Stokes方程等。

二、偏微分方程的求解方法解偏微分方程是数学中的重要课题,有许多不同的求解方法。

下面介绍几种常见的方法:1. 分离变量法:分离变量法是一种常用的求解偏微分方程的方法,适用于一些特殊的方程。

它的基本思想是将多元函数表示为各个变量的乘积,然后将方程分离为多个常微分方程,再通过求解常微分方程得到最终的解。

2. 特征线法:特征线法适用于一些特殊的偏微分方程,如一阶线性偏微分方程、双曲型方程等。

它的基本思想是通过引入新的变量,将偏微分方程转化为常微分方程,然后通过求解常微分方程得到原方程的解。

3. 变换法:变换法是一种通过变换将原方程转化为更简单的形式,从而求解的方法。

常见的变换包括拉普拉斯变换、傅里叶变换等。

这些变换可以将原方程转化为代数方程或常微分方程,进而求解得到解析解。

偏微分方程的基本理论与解法

偏微分方程的基本理论与解法

偏微分方程的基本理论与解法偏微分方程(Partial Differential Equations,简称PDE)是数学中非常重要的一个分支。

它描述了自然界中各种物理现象和工程问题中的变化和传播过程。

本文将介绍偏微分方程的基本理论和一些常见的解法。

一、偏微分方程的定义与分类偏微分方程是包含多个未知函数及其偏导数的方程。

它的一般形式可以表示为F(x1, x2, ..., xn, u, ∂u/∂x1, ∂u/∂x2, ..., ∂u/∂xn) = 0,其中u是未知函数,而∂u/∂xi表示对变量xi的偏导数。

根据方程中涉及的未知函数的个数以及偏导数的阶数,偏微分方程可以分为以下几类:1. 一阶偏微分方程:方程中包含一阶偏导数。

2. 二阶偏微分方程:方程中包含二阶偏导数。

3. 高阶偏微分方程:方程中包含高于二阶的偏导数。

4. 线性偏微分方程:方程中的未知函数及其偏导数之间的关系是线性的。

5. 非线性偏微分方程:方程中的未知函数及其偏导数之间的关系是非线性的。

二、偏微分方程的基本理论1. 解的存在性和唯一性:对于一些特定类型的偏微分方程,可以证明在一定的条件下,方程存在唯一的解。

这对于物理和工程问题的建模和求解非常重要。

2. 奇性理论:奇性现象是指当某些参数取特定值时,偏微分方程的解会发生突变。

奇性理论研究了这些特殊情况下方程解的行为。

3. 变分原理:变分原理是一种通过极小化能量泛函来求解偏微分方程的方法。

它是最优控制、计算物理等领域中的重要工具。

三、常见的偏微分方程解法1. 分离变量法:这是一种常见的求解线性偏微分方程的方法。

通过假设解可分离变量的形式,将方程转化为一系列常微分方程。

2. 特征线法:特征线法适用于一些特殊的偏微分方程,通过引入一组参数,将方程转化为关于参数的常微分方程组。

3. 变换法:变换法通过引入适当的变换,将原方程转化为简单形式的偏微分方程,进而求解。

总结:本文简单介绍了偏微分方程的基本理论与解法。

特征值及其在偏微分方程中的应用

特征值及其在偏微分方程中的应用

第37卷 第5期2018年5月绵阳师范学院学报JournalofMianyangTeachers'CollegeVol.37 No.5May.,2018收稿日期:2017-12-05作者简介:徐循(1986-),女,湖北宜城人,讲师,硕士,研究方向:偏微分方程DOI:10.16276/j.cnki.cn51-1670/g.2018.05.001特征值及其在偏微分方程中的应用徐 循(湖北工业大学工程技术学院公共课部,湖北武汉 430068)摘 要:本文应用特征值及特征函数解决了一类二阶自共轭椭圆偏微分方程的边值问题 先求出算子A的特征向量{φk}∞k=1,然后在空间W1,20(Ω)上的规范正交系{φk}mk=1构成的有限维子空间中构造出方程的近似解,并通过能量估计定理将近似解取极限得到弱解,最后证明弱解的存在唯一性,从而得出弱解即是方程的通解关键词:W1,20(Ω);近似解;能量估计;弱解中图分类号:O175 文献标志码:A 文章编号:1672 612X(2018)05 0001 030 引言偏微分方程边值问题的求解在当今的数学、物理及其在工业、航空等各方面的应用上都具有极其重要的意义,而一般来说它的求解都是复杂又繁琐的,本文要求解问题如下:Au=f 在Ω中u=0 在Ω{上其中 Au=- ni,j=1Di[aij(x)Dju]+c(x)u,(1)这里假定 aij(x)=aji(x)∈C1(Ω—), i,j=1,2,…,n,(2)c(x)∈c(Ω—),c(x) 0, 在Ω中,(3)满足一致椭圆型条件 ni,j=1aij(x)ξiξj |ξ|2, x∈Ω—,ξ∈Rn,α>0.(4)1 算子A的特征值1.1 空间HA与W1,20(Ω)的相关定义HA是C20(Ω)关于范数‖u‖2A=[u,u]=∫Ω[ ni,j=1aij(x)DiuDju+c(x)u2]dx的完备化空间,W1,20(Ω)是C20(Ω)关于范数‖u‖21,2=∫Ω|Du|2dx的完备化空间.按照变分法的常规思想,可以证明空间HA与W1,20(Ω)的等价性,只需在W1,20(Ω)中寻找方程的广义解.1.2 算子A的特征值,特征函数的求取1.2.1 寻找算子A最小特征值u∈W1,20(Ω),由条件(2)~(4)及Fiedrichs不等式,得出Q(u)=A(u,u)=∫Ω[ ni,j=1aij(x)DiuDju+c(x)u2]dx α∫Ω|Du|2dx=α‖u‖21,2c‖u‖22,c>0.(6)由此可知J(u)=Q(u)‖u‖22c>0, 0≠u∈W1,20(Ω).(7)此式说明,泛函J(u)有正的下界.因此,如果定义λ1=inf0≠u∈W1,20(Ω)J(u)inf0≠u∈W1,20(Ω)Q(u)‖u‖22=infu∈W1,20(Ω)‖u‖2=1Q(u),(8)则λ c>0,且λ1是算子A的最小特征值.1.2.2 求出算子A的所有特征值假设已经得到算子A的m-1个特征值λ1,…λm-1(m 2),且λ1 λ2 … λm-1,对应于λ1,λ2…λm-1的特征函数为u1,u2,…,um-1,且‖uk‖2=1,k=1,2,…m-1.该函数组的线性组合成L2(Ω)的一个线性子空间,记为Vm-1=span{u1,…um-1},以V⊥m-1表示Vm-1在L2(Ω)中的正交补空间.根据泛函J(u)的有界性(7),可以求出算子A的第m个特征值λm=inf0≠u∈W1,20(Ω)∩V⊥m-1J(u)inf0≠u∈W1,20(Ω)∩V⊥m-1‖u‖2=1Q(u)由于W1,20(Ω)是无限维空间,按照(8)得出算子A的特征值的无限序列0<λ1 λ2 … λm …,及其相应的特征函数序列u1,u2,…um,….2 应用特征函数解决开篇提出的椭圆方程的边值问题以下是在有限维空间中构造近似解,并通过能量估计定理的保证将近似解取极限得到弱解,最后证明了弱解的存在唯一性的思路来源于Lawrence.C.Evans编著的PartialDifferentialEquations(第349~358页)[1].设{φk}∞k=1是W1,20(Ω)中的规范正交系,(φi,φj)=0,i≠j现在就是想办法构造近似解um,使其在{φk}mk=1构成的有限维子空间上是方程的解令um= mk=1akφk, ( )并希望[um,φi]=A(um,φi)=(f,φi). ( )定理2.1 (近似解的建立) m,存在具有形式( )的um,满足( ).证明:假设存在um,使[um,φi]=(f,φi).则 mk=1ak[φi,φk]=(f,φi) i=1,2,…,m.由于系数行列式是非零的,故线性方程组有唯一一组解a1,a2,…am,并且 mk=1ak[φi,φk]=a1[φi,φ1]+…+ai[φi,φi]+…+am[φi,φm]=ai[φi,φi]=ai,所以ai=(f,φi),近似解 um= mk=1akφk= mk=1(f,φk)φk.参照Lawrence.C.Evans编著的PartialDifferentialEquations(第349~358页),现在需要证明相应的能量估绵阳师范学院学报(自然科学版) 计,从而才能将定理2.1求出的近似解um= mk=1(f,φk)φk取极限m∞,得出方程的弱解 定理2.2 (能量估计)存在系数C,使得‖um‖21,2 C‖f‖22证明:由Fiedrichs不等式[2]|(f,um)| ‖f‖2·‖um‖2ε2‖um‖22+12ε‖f‖22 ε>0 εC1‖um‖21,2+12ε‖f‖22 C1>0另一方面, ‖um‖2A=[um,um] C2‖um‖21,2, C2>0.综合可得, (C2-εC1)‖um‖21,2 12ε‖f‖22,只要取适当的ε,使C2-εC1>0即可满足‖um‖21,212ε(C2-εC1)‖f‖22, 令C=12ε(C2-εC1)即可.现在需要证明弱解的存在唯一性,才能说明弱解即是通解引理2.1[3]自反的Banach空间的有界序列有弱收敛子列.定理2.3(弱解的存在性)方程存在一个弱解.证明:{um}∞m=1在W1,20(Ω)中有界,则存在子序列{uml} {um},使uml→ 弱u在W1,20(Ω)中,固定N,令v= Nk=1akφk,则[um,v]=(f,v),取m=ml,有[uml,v]=(f,v),取弱极限,得到 [u,v]=(f,v).故 v∈W1,20(Ω),有[u,v]=(f,v)( ).定理3.4 弱解的唯一性.证明:只须证当f≡0时,u≡0即可.在( )式中,令v=u,得到[u,u]=[f,u]=[0,u]=0,则u≡0在Ω中,又u=0在 Ω上,故证得u≡0,弱解的唯一性得证.3 结论本文求解了偏微分方程边值问题Au=f 在Ω中u=0 在Ω{中在空间W1,20(Ω)上的通解即u= ∞k=1(f,φk)φk,其中{φk}∞k=1是算子A的特征向量,也是W1,20(Ω)的规范正交系 参考文献:[1] LawrenceC.Evans.PartialDifferentialEquations[M].GraduateStudiesinMathematics,19.NewYork:AmericanMathematicalSociety,Province,RI,1998:349-358.[2] 陈恕行.偏微分方程概论[M].北京:人民教育出版社,1981:17.[3] 陆文端.微分方程中的变分方法[M].四川:四川大学出版社,1996:65.(下转第27页) 徐 循:特征值及其在偏微分方程中的应用ThestudyofthetargetsystemofphysicsteachingabilityofhighschoolphysicsspecialtymiddleschoolLIUGuoyue(SchoolofMathematicsandPhysics,MianyangTeacher'sCollege,Mianyang,Sichuan 621000)Abstract:Withtheguidanceofstatisticaltheoryandmethodofsystemtheoryandbasedonthedevelopingtrendandteachingpracticeofphysicsinmiddleschool,accordingtoaseriesofquestionnaireinvestigation,thisarticleanalyzesthebasicstructureofphysicsteachers'teachingabilitiesinmiddleschoolandputsforwardasetofindexsystemofphysicsteachingabilitiesinmiddleschool.Itcontainsindexoffivecategoriesandtwenty-eightseconda ryindicatorswhicharereferstophysicsteachingcognitiveability,physicsteachingdesignability,physicsteachingorganizationandimplementingability,physicsteachingqualityevaluationandsupportability,physicsteachingqualityevaluationandsupportability.Allofthemaredirectlysignificanttodevelopthestudents'middleschoolphysicalteachingabilityinnormaluniversities.Keywords:Bachelordegreeofnormaluniversity,physicsspecialty,physicsofmiddleschool,teachingabili ty,trainingobjectives(责任编辑:陈桂芳)(上接第3页)EigenvalueanditsApplicationinPartialDifferentialEquationXUXun(DepartmentofGeneralCourse,HubeiUniversityofTechnologyEngineeringandTechnologyCollege,Wuhan,Hubei 430068)Abstract:Thispaperwillapplytheeigenvaluesandeigenfunctiontosolvetheboundaryvalueproblemsofaclassofsecond-orderself-conjugateellipticpartialdifferentialequation.First,itwillfigureouttheeigenvectors{φk}∞k=1oftheoperatorA.Then,theapproximatesolutionoftheequationisconstructedinthefinitedimensionalsubspaceformedbythecanonicalorthogonalsystem{φk}∞k=1ofthespaceofW1,20(Ω).Andthenitwillobtaintheapproximatesolutionbytheenergyestimationtheorem.Finally,theexistenceanduniquenessoftheweaksolutionareproved.Consequently,itwillgettheconclusionthatthegeneralsolutionoftheequationistheweaksolution.Keywords:thespaceofW1,20(Ω),approximatesolution,energyestimate,weaksolution(责任编辑:陈 英) 刘国跃:高师本科物理专业中学物理教学能力培养目标体系的研究。

《偏微分方程教程》第三章 特征理论与方程的分类

《偏微分方程教程》第三章 特征理论与方程的分类

对二阶线性常系数方程作了比较详细的讨论, 但对变系数方程(2.1)
同样是成立的. 这里要特别指出的是, 对变系数方程来说, 它的类
型与点的位置有关, 即可能在区域的某一部分点为这种类型而在另
一部分点上为另一种类型.
18
例如特里谷来(Tricomi)方程
u yy yuxx 0
(2.13)
就是如此, 其判别式 y ,对于 y 0 它是双曲型的; 对于

2 x
x x

2 x
2xy x y y x
2 x y

2 y
y y J 3 0

2 y
知 A(), B(), C() 不同时为零.
利用判别式的符号在可逆自变量变换下的不变性这一性质, 我 们来对方程(2.1)进行分类.
9
定义3.1 设 R2是一个区域,(x0 y0 ) (i) 若 (x0 y0 ) 0 ,则称方程(2.1)在点 (x0 y0 ) 处为双曲型 偏微分方程, 若在 内的每一点处, 方程(2.1)都是双曲型的,则 称(2.1)在 内为双曲型偏微分方程;
设在点 P(x0 y0 )的邻域内, 这时(2.1)的特征方程可写为
dy b dy b (2.2)
dx
a dx
a
其中 b2 ac 通常称为方程(2.1)的判别式,作自变量变换
4
(x y) (x y)
(2.3)
则方程(2.1)变为如下形式:
A 2u 2B 2u C 2u F (2.4)
2
2
在自变量变换(2.3)下,方程(2.1)的判别式 与(2.4)的判别式
B2 AC 之间有如下关系:

数学中的偏微分方程组

数学中的偏微分方程组

数学中的偏微分方程组偏微分方程组是数学领域中的一大研究方向,它描述了一组关于函数和其偏导数的方程。

在许多实际问题中,偏微分方程组可以被用来模拟自然现象的行为,比如机械构件的运动,电磁场的传播,甚至气候变化等。

因此,偏微分方程组的理论研究和应用具有重要的科学意义和现实意义。

一、偏微分方程组的概念偏微分方程组(Partial Differential Equation, PDE)是指依据一个或多个自变量,描述未知函数及其各个偏导数之间关系的方程式。

它通常包括一个或多个未知函数,在多个自变量的情况下,称为偏微分方程组。

偏微分方程组可以通过区分函数变量之间的依存关系来将情况处理得更加复杂。

如果函数只有一个变量,方程只有一阶偏微分方程。

如果有两个自变量,则方程有牛顿型和伦琴型两种分类。

进一步地,当有三个甚至更多个自变量时,则需要处理的方程便是偏微分方程组。

二、偏微分方程组的类型偏微分方程组可以由一组多项式和常见的函数组成,其中一些非线性,或者由一些非多项式成分组成,例如矢量场。

所以,在数学中,偏微分方程组通常被分为几个部分,包括偏微分方程的线性性,方程中包含的类型和形式,以及方程的解。

线性性是指方程中各项的线性组合中未知变量的阶数。

如果方程是线性的,则有关系的一下项具有线性加性结构和标量乘法结构。

因此,线性方程的一个主要特征是可以通过线性组合来得到解析的方法。

此外,非线性偏微分方程组也是重要的研究领域。

这种方程解析性很弱,需要找到一些近似数值方法,并且在研究中使用许多特殊的数学工具。

三、偏微分方程的经典问题在偏微分方程组研究中,经典问题是求解边值问题。

边值问题是指,在特定区域内定义的微分方程组,需要确定函数的值或者其导数在区域边界内的值。

因此,解边值问题就是找到能够满足方程和边界条件的函数,这个过程称为参数化问题。

然而,找到这个解并不总是容易的。

以三维空间中的拉普拉斯方程为例,它描述的是静态电势。

这个方程只有在特殊条件下,才能够找到闭合解。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

附注 1 该定理断言解析解的局部存在唯一性,并没有保证整体解的存在性。 附注 2 由证明知,若方程右端及Cauchy数据是各自变量的解析函数,则在初 始平面 上任意点的领域内都存在一个解析解。再由解的唯一性知,把 这些解粘合在一起,就得到 的一个领域中的解析解。 附注 3 C-K 定理不能保证解对初始数据的连续依赖性。另外,其证明本质上 依赖与解析性假设。
将狭义双曲型方程化为标准型的方法: 1.
求向量方程 2.
的解。
令,
用T 左乘(7.2.2)式得:
第7章 特征理论

偏微分方程组
3.
第7章 特征理论

偏微分方程组
7.3 双曲型方程组的Cauchy 问题
首先指出,并非对一切类型的方程组都可 以Cauchy问题,有例子表明,当特征方程 (7.2.6)有复根时,方程组(7.2.1)的Cauchy 问题的解是不稳定的。所以我们仅限于讨 论双曲型方程组的Cauchy问题。为便于理解 和叙述,这里仅讨论两个自变量的对角型 方程组的Cauchy问题。

偏微分方程组
方程特征曲面的例子
第7章 特征理论

偏微分方程组
7.2
方程组的特征理论
第7章 特征理论

偏微分方程组
7.2.1 弱间断解与特征线
第7章 特征理论
偏微分方程组
第7章 特征理论
偏微分方程组
第7章 特征理论

偏微分方程组
7.2.2 狭义双曲型方程组的标准型
第7章 特征理论

偏微分方程组
第7章 特征理论

偏微分方程组
7.1.1 弱间断解与弱间断面
第7章 特征理论

偏微分方程组
例子
考虑弦振动方程

不是古典解,但它是弱间断解。
第7章 特征理论

偏微分方程组
是方程(7.1.1)的弱间断面。 上处处成立。
7.1.2 特征方程与特征曲面
设光滑曲面 可以推出它应满足的条件为下式在
第7章 特征理论

第7章 特征理论

偏微分方程组
7.3.1 解的存在性和唯一性
第7章 特征理论
偏微分方程组
第7章 特征理论

偏微分方程组
7.3.2
解的稳定性
第7章 特征理论

偏微分方程组
7.4
定理
第7章 特征理论
偏微分方程组
第7章 特征理论

偏微分方程组
7.4.2
Cauchy 问题的化简
首先,把高阶非线性 C-K 型组 Cauchy 问题化为一个与其等价的一阶非 线性 C-K 型组的 Cauchy 问题。 其次,我们可以把一个一阶非线性 C-K 型组 Cauchy 问题化为一个与其 等价的一阶拟线性 C-K 型组的 Cauchy 问题。方法是将所有对空间变量的 微商取作新的未知函数,然后这些新的未知函数对时间变量求微商,并利用 已知方程式即得。 Cauchy问题(7.4.2)化为如下的一阶拟线性 C-K 型方程组的Cauchy问题:
第7章 特征理论
于是,C-K 定理 7.4.1可等价地叙述为
偏微分方程组
C-K型定理的证明用的是强函数的方法,即用一个明显可解出的问题与所 考虑的问题相比较,故须要介绍强函数的概念。
第7章 特征理论

偏微分方程组
7.4.3 强函数
第7章 特征理论

偏微分方程组
7.4.4 C-K 定理的证明
(1) 唯一性(幂级数解法)。 (2) 存在性(强函数方法)。
相关文档
最新文档