三维L_p和L_∞模的离散Sobolev不等式

离散的Sobolev不等式在差分方法理论中特别是在证明差分格式稳定性和收敛性时是重要的工具.在[1—3]中,讨论了一维离散的不等式和插值公式;[4]证明了一些L_p模的离散不等式.为了研究非线性偏微分方程解法,需要多维L_∞模的离散Sobolev不等式.本文在L_ρ模不等式的基础上证明了三维L_∞模Sobolev不等式.     

抛物型问题半离散Galerkin近似解的L_∞估计

考察典型的抛物型问题:其中Ω为平面有界区域.设S_h?H_1~0(Ω)是在正规剖分上由分片m-1次多项式构成的有限元空间,其半离散Galerkin逼近可由下式确定:     

非线性积分微分方程有限元逼近的L_∞-模误差界

在气体扩散、热传导等众多物理问题中,经常出现如下非线性抛物型积分-微分方程:     

关于半离散Galerkin近似解的L_∞估计的一个注记

在《计算数学》和《高等学校计算数学学报》上最近发表的文章[1]和[2]中,分别讨论了抛物和二阶双曲方程半离散Galerkin近似解(分片线性函数情形)的L_∞估计。文章作者采用正则Green函数方法证明了阶为h~2ln(1/h)的误差估计式。值得指出,[1]和[2]中所给出的估计式的一个不足之处就是它们所需要的精确解的正则性过于强。在这个注记里,我们将说明如下事实,利用熟知的半离散Galerkin近似解的超收敛估计和有限元函数空间的一个弱嵌入性质,可以证明得到阶也是h~2ln(1/h)的误差估计式,然而对解的正则性的要求则较[1]和[2]中估计式所需要的弱得多。 先讨论抛物问题,文[1]讨论的是热传导问题     

二阶双曲型方程半离散Galerkin近似解的L_∞估计

讨论下列双曲型问题: 其中Ω为R~2内的有界区域.设S_h为W_2~1(Ω)的有限维子空间,其剖分Ⅱ(△_i)正规,且由分片k—1次多项式构成。(1)的半离散Galerkin近似解u_h:[0,T]→S_h可由下式确定:     

对称型的对数Sobolev不等式

使用新型Cheeger常数 ,给出了关于一般对称型的对数Sobolev常数的一些估计 .这些估计在某种意义上是精确的     

最佳L_∞逼近的存在性

令V_n=span{_1,_2,…,_n},设函数f∈L_p[E,μ],1≤p<∞,在点p 处定义一个最佳L_p 逼近算子τ∫(p)。记N_f(p)=∥f-τ∫(p)∥_p=inf/Q∈V_n∥f-Q∥_(po)本文证明了N_f(p)/[μ(E)]l/p 是p 的单调增加且有界的函数。如果f∈L_∞[E,μ],则存在τ∫(∞)∈V_n,使得∥f-τ∫(∞)∥_∞=inf/Q∈V_n∥f-Q∥∞,并且给出了最佳逼近值。     

若干有关欧阳不等式的非线性积分不等式和离散不等式

获得几个非线性的积分不等式及离散不等式．它们和近期Ｐａｃｈｐａｔｅ［１］中欧阳亮不等式［２］的推广有关．作为特殊情形还导出了一些具有幂非线性的新不等式．为说明结果的有用性，讨论了某个非线性差分方程解的有界性．     

非协调有限元解的L_∞估计

对于平面有界区域上的二阶线性椭圆型边值问题,Scott,Nitsche,Frehse-Rann-acher等研究了协调有限元解的L_∞估计,得到 ||u-u_h||_∞≤ch~2|lnh|~?||?~2u||∞,其中:当 r=2时?=1;当r≥3时?=0.Goldestein在[1]的基础上讨论了非协调一次元的L_∞估计,不过对于一般的非协调元情形(包括高于一次的非协调元),[1],[3]中关于Green函数有限元近似解的W_1~1估计(见[3]中定理2.1)未必成立.本文以实用的Wilson矩形元为例,在原有L_2估计的基础上.利用正则Green函数及其权模估计方法,研究了相应非协调有限元解的L_∞估计,并且得到     

球面上的次临界最佳Sobolev不等式

本文在球面SN上建立了一类最佳Sobolev不等式:‖f‖2Lq(SN)≤(q-2)Γ(N-d)2+1/dΓ(N+d/2))(∫SNf(ξ)Adf(ξ)dξ-Γ(N+d/2)Γ/(N-d/2)∫SN |f丨2dξ)+∫SN丨f丨2dξ,其中Ad(0＜d＜N)是SN上的高阶保形算子,dξ是SN的归一化曲面测度,2≤q＜2...     

Sobolev空间中的几个不等式的推广

本文将Sobolev空间中的Clarkson不等式的几个引理作了适当的推广,并给出了证明.     

Kuramoto-Sivashinsky方程的线性化L_∞-差分方法

利用有限差分方法研究Kuramoto-Sivashinsky方程初边值问题的数值解.首先,给出了二阶线性化隐式差分格式,该格式在每一时间层均为线性方程组.其次,给出差分格式的守恒性和数值解的有界性.第三,证明差分格式在最大模意义下的收敛性.最后,通过数值算例验证差分格式的收敛阶,并数值模拟方程的混沌解.     

关于L_p球的几个新不等式和性质(英文)

本文研究了L_p球的相关问题.利用对偶混合体积、球面Radon变换和Fourier变换的方法,获得了关于L_p球的几个新不等式和性质,其中一个不等式与著名的最大切片猜想有关.     

L_p混合截面体的一些几何不等式（英文）

Haberl and Ludwig defined the notions of L_p intersection bodies. In this paper,we introduce the L_p mixed intersection bodies, and establish some geometric inequalities for L_p mixed intersection bodies. Furthermore, the Busemann-Petty type problem for L_p mixed intersection bodies are shown.     

非时齐马氏过程的对数Sobolev不等式

本文将时齐马氏过程的经典对数Sobolev不等式推广到非时齐马氏过程,建立了非时齐马氏过程的转移半群与对数Sobolev不等式之间的关系.     

Sobolev方程的CN全离散化有限元格式

首先给出Sobolev方程关于时间二阶精度的Crank-Nicolson(CN)时间半离散格式,然后直接从时间二阶精度的CN时间半离散格式出发,构造CN全离散化的有限元格式,并给出这种时间二阶精度的CN全离散化有限元解的误差估计.本文研究方法使得理论证明变得更简便, 也是处理Sobolev方程的一种新的尝试.     

曲线族的模不等式

研究了曲线族的模 ,得到了 :1 )设Γ是 Rn 中连结不相交的曲线α1 与α2 的曲线族 ,若d(α1 ,α2 )≥ r,minj=1 ,2 dia(αj)≤ s,则 M(Γ )≤ 1 +srnΩn. 2 )设Γ是连结 Rn 中的闭连集 F1 与 F2 的曲线族 ,若minj=1 ,2 dia( Fj)≥ ad( F1 ,F2 ) ,则 M( Γ)≥ C( n,a) . 3 )设 R=R( C,C0 )是 R2 中的环 ,D表示 R2 \C中含 R的一个分支 ,α,β是 C上两条不相交的子曲线 .若 ΓR,ΓD 分别是 R与 D中连结 α和 β的曲线族 ,则 M( ΓR)≤ M( ΓD)≤φ( mod R) M(ΓR)     

圈上Moebius测度的Sobolev不等式（英文）

本文考虑单位圈上的Moebius测度的问题.利用文献[1]和[2]中的方法,把圈上的Moebius测度的估计转化为对一维扩散过程的相关估计上,得到了单位圈上的Moebius测度的Poincar不等式,对数Sobolev不等式和Sobolev不等式的最佳常数的双边估计.     

半线性次椭圆型方程和满足Hormander条件的向量场的Sobolev不等式

本文研究以Ｈｏｒｍａｎｄｅｒ平方和算子为主部的半线性次椭圆型方程的Ｄｉｒｉｃｈｌｅｔ问题的解的存在性和正则性，问题来源于所谓次椭圆几何学理论．与此同时，对于满足Ｈｏｒｍａｎｄｅｒ条件的一组向量场，我们证明了相应的Ｓｏｂｏｌｅｖ不等式．这一结果进一步的完善了Ｈｏｒｍａｎｄｅｒ平方和算子与Ｌａｐｌａｃｅ算子的类比研究工作．