一个奇异双曲型方程整体光滑解的存在性

考虑了在x=0处具有奇性的拟线性双曲型方程ut (1/2u^2)x=-u^2/x（1）的初边值问题整体光滑解的存在性，利用一个函数变换，将（1）转化成一个没有奇性的双曲型方程，然后应用文献[4],[5]建立的关于一阶拟线性双典型方程组的极值原理的结果，获得相应问题解的C^1-模估计，从而得到了初边值问题整体光滑解的存在性。     

二自变量的一阶拟线性双曲型方程组的某些存在定理(Ⅲ):一般边值问题及不定边界问题

在前面的工作[1]、[2]中,我们已考察了拟线性双曲型方程组的典型边值问题及不定边界问题,其特点是在两边界曲线间不包含过顶点的特征方向,从而在应用上有一定的局限性,例如对既有初始条件又有边值条件的混合问题一般就不能归结为这样的情形来处理。在本文中,为了消除上述的局限性,考虑在两边界曲线间可能包含过顶点的特征方向的一般的边值问题及不定边界问题,给出其可解条件,同时指出一些简单的应用。所用的方法是通过有关的自变数变换,把这些问题化为类似于在[2]中考虑过的边界切于特征的泛函形式的超定边值问题来处理。但为了适应于本文中所考察的问题的要求,我们还必须把[2]中的有关结果加以一些改造,这我们在一开始就加以叙述。     

非线性抛物型方程的差分方法

§1.引言 [1]曾利用差分方法证明了在矩形区域:0≤x≤x,0≤t≤T内,线性与非线性抛物型方程: α~2u/αx~2=A(x,t)αu/αt+B(x,t)αu/αx+C(x,t)u+F(x,t), α~2u/αx~2=A(x,t,u)αu/αt+B(x,t,u)αu/αx+F(x,t,u) 第一边值问题解的存在性和唯一性。[2]也得到了哥西问题解的存在性和唯一性,并指出这个证明方法可以推广到多维空间变量酌情形。近来李立康和吴昌熾[3]利用上述证明方法研究了非线性抛物型方程     

具有单一符号特征值的一阶拟线性双曲型方程组的精确边界能控性

基于具有单一符号特征值的一阶拟线性双曲型方程组混合初-边值问题半整体C~1解的存在唯一性,得到了具有单一符号特征值的一阶拟线性双曲型方程组的精确边界能控性。     

中立型时滞抛物方程初边值问题的差分方法

给出了求解中立型时滞抛物方程初边值问题t[u(x ,t) -λu(x ,t-τ) ] =2x2 u(x ,t) +f(x ,t) ,　　　 (x ,t)∈ ( 0 ,l)× ( 0 ,T]u(x ,t) =φ(x ,t) ,　　　 (x ,t)∈ ( 0 ,l)× [-τ ,0 ]u( 0 ,t) =u(l ,t) =0 ,　　　t∈ [-τ,T]的差分方法 ,并获得了该差分格式的收敛性     

拟线性抛物型方程边值问题差分方程解的存在与惟一

数值求解拟线性抛物型偏微分方程边值问题通常可归结为解非线性方程组,非线性方程组解的存在与惟一性是解方程组的前提．为此,用差分方法建立了数值求解一类拟线性抛物型方程边值问题的非线性方程,根据同胚理论得到了该方程组解存在与惟一的结果,并通过具体例子给予了说明．     

四维抛物型方程的高精度显式差分格式

文献[1]构造了一类对任意维抛物型方程都适用的绝对稳定的显式差分格式,但精度不高,截断误差阶仅为O(Δt2+Δx2),文献[2]构造了一族解四维抛物型方程的高精度显式差分格式,截断误差阶达O(Δt2+Δx4),但稳定性条件r<1/6又较为苛刻.我们对四维抛物型方程的初边值问题(区域和定解条件略) u t=a( 2u x2+ 2u y2+ 2u z2+ 2u w2),a>0使用待定参数法,构造了一个高精度的显式差分格式格式当1/8=r=aΔt/Δx2<1/2时稳定且收敛,截断误差阶为O(Δt2+Δx4).联合使用格式(1)、(2)则对任r<1/2就构成了一个稳定且收敛的截断误差阶为O(Δt2+Δx4)的显式差分…     

一类非齐次拟线性双曲型方程组混合初边值问题的整体经典解

考虑半无界区域{(t,x)|t≥0,x≥0}上的一类拟线性双曲型方程组的混合初边值问题.假设正特征弱线性退化,方程右端项满足匹配条件,可以得到慢衰减小初值问题C1解的整体存在性和唯一性.     

关于半线性双曲方程解的爆破问题

本文讨论半线性双曲方程u_(tt)-sum from n=(i,j=1) to n(a_(ij)(x,t)u_(x_i))_(x_j)=f(x,u)的爆破问题,并给出其初边值问题的解在有限时间内爆破的充分条件,这个结果不同于文献[1]、[2]的结果.     

n阶线性微分方程和线性方程组边值问题的一个求解公式

本文利用n阶非齐次线性微分方程和方程组解的表达式,导出了一个非齐次线性微分方程和方程组边值问题的求解公式.此公式比借助格林函数求解边值问题来得简便,所得结果是文献[1]的推广.     

n阶线性微分方程和线性方程组边值问题的一个求解公式

本文利用n阶非齐次线性微分方程和方程组解的表达式，导出了一个非齐次线性微分方程和方程组边值问题的求解公式。此公式比借助格林函数求解边值问题来得简便，所得结果是文献[1]的推广。     

插值法解时间分数阶扩散方程

针对一类时间分数阶扩散方程提出了一种新的隐式差分格式,空间导数直接采用中心差分格式离散,为了近似Caputo型时间分数阶导数,在小区间[t_(n-1),t_n](2≤n≤N)上使用三点u(x,t_(n-2))、u(x,t_(n-1))、u(x,t_n)二次插值近似u(x,t)的值,在小区间[t_0,t_1]上使用线性插值近似u(x,t)的值,并利用能量范数证明该格式的无条件稳定性和收敛性,最后通过数值实验验证该格式的有效性。     

三维抛物型方程两层显式差分格式的研究

近年来 ,对三维抛物型方程的数值解法的研究逐渐增多 ,出现了一些粗度高、稳定性好的差分格式。但它们或是三层隐式格式[1] ,或是三层显式格式[2 ,3 ,4 ] ,隐格式常因计算量和存储量太大而难以使用 ;三层显格式虽是显式计算 ,但却不能计算第一层上的网格函数值 ,需用其他方法先行启动 ,在实际使用上是不方便的 ,因此 ,构造精度高、稳定性好的两层显式差分格式便具有十分明显的理论意义和实用价值。作者对求解区域 D:{0≤ x,y,z≤ L ,0≤ t≤ T}上的三维抛物型方程初边值问题 u t= 2 u x2 + 2 y y2 + 2 y z2u| t=0 =φ( x,y,z) ,u| x=0 =…     

拟线性双曲型方程组边值问题的局部可解性

本文在充分光滑的函数类中研究了二自变数拟线性双曲型方程组在角状区域上的各种边值问题,包括不定边界问题.所得到的局部可解性条件可略述为:在角状区域的顶点依据方程和边值条件能够唯一地决定各阶导数.它不具有压缩特性.文中还给出了这个结果对于一维空气动力学问题的应用.     

带粘性的拟线性非齐次双曲型方程组的最大模估计

讨论了如下的带粘性的拟线性非齐次双曲型方程组:{ut+λ1(u,v)ux=εuxx+f1(u,v),vt+λ2(u,v)vx=εvxx+f2(u,v)的极值问题.当函数λi(u,v)和fi(u,v)(i=1,2)满足一定的条件时,通过构造闸函数u(x,t),v(x,t),获得了方程组的光滑解u(x,t),v(x,t)的最大模估计,从而证明了Cauchy问题整体光滑解的存在性.     

可压缩流体方程组初边值问题

一般讲,拟线性双曲型方程组初边值问题是不适定的.但对于一些具有非特征边界的特殊拟线性双曲型方程组的初边值问题在t≥0上存在C1解.考虑在Lagrange坐标下一维非等熵流体力学方程组的具耗散边界和非特征边界的初边值问题,利用特征线法证明了其C1解整体存在性.同时证明了如果初始时刻不存在真空状态,那么当t＞0时永远不出现真空态.     

一类二阶差分方程组Dirichlet边值问题的正解

用非负上凸函数的Jensen不等式和不动点指数理论讨论一类非线性差分方程组边值问题正解的存在性,得到了二阶差分方程组Dirichlet边值问题■正解存在的充分条件,其中[1,T]_?∶={1,2,…,T},T≥2是一个整数;Δu(t)=u(t+1)-u(t)为前向差分算子;f,g:[1,T]_?×[0,∞)×[0,∞)→[0,∞)连续.     

两个拟线性退化抛物型方程柯西问题弱解存在性的同一种求解方法

先构造一个压缩算子半群,后用此压缩算子半群分别去求解如下两个齐次与非齐次的拟线性退化抛物型方程的柯西问题的弱解存在性:{?u/?t-ΔΦ(u)=0(x,t)∈R~n×R~+ u(x,0)=u_0(x)x∈R ~n{?u/?t-ΔΦ(u)=f(x,t)(x,t)∈R~n×R~+ u(x,0)=0 x∈R~n其中:Δ为拉普拉斯算子,Φ(s)∈C~2(R),Φ(0)=0,Φ′(s)≥0,且集合{s∈R|Φ′(s)=0}不含有内点.     

解双曲型偏微分方程初边值问题的分裂格式

本文对双曲型偏微分方程 ~2u/ t~2=A(x,t)( ~2u/?x~2) C(y,t)( ~2u/ y~2) 2D(x,t)( u/ x 2E(y,t)( u/ y) 2F(t)u γ(x,y,t)在空间方向用Hermit方法,在时间方向用差商代替微商构造了两种分裂差分格、并讨论了它们的稳定性和精度分析。最后给出了一个数值例子结果表明这二种格式都比Lees格式好。     

二自变量高阶双曲型方程的边值问题

§1 引言.预备知识本文讨论二自变数的高阶线性双曲型方程某些边值问题的可解性。利用引进新的未知函数,把高阶线性双曲型方程的柯西问题及混合问题化为等价的一阶双曲方程组的相应问题来处理,已为一些作者所解决。而对其它各种边值问题,目前还只有一些很特殊的结果。近年来,两自变敦的一阶双曲组的各种边值问题解的存