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

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

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

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

一类推广的离散分数阶Gronwall不等式

离散不等式,特别是离散的Gronwall不等式已被广泛应用于差分方程的研究.近年来,分数阶微分方程引起很多学者的关注.因此,利用一种新的分数阶和分的定义和不等式的方法,讨论一类更一般的离散分数阶Gronwall不等式.     

Orlicz空间中加权光滑模与K-泛函的等价性及其应用

首先介绍了由Young函数生成的Orlicz空间L_Φ~*[0,∞),然后利用归纳假设和分解方法证明了r阶加权光滑模与加权K-泛函的等价性,最后作为光滑模的应用给出了Gamma算子在L_Φ~*[0,∞)空间内加权同时逼近的B-型强逆不等式.     

基于Choquet积分的H(o)lder不等式及其应用

基于Sugeno积分的不等式已被许多学者所研究.然而,基于Choquet积分不等式的研究却很少.最近,在集函数μ满足次模性质的假设之下王瑞省研究了基于Choquet积分的H(o)lder不等式以及其它几个不等式.本文的主要结果是用被积函数f,g的共同单调性来代替μ的次模性质,在此基础上证明了H(o)lder不等式.作为应用,我们还得到了Minkowski不等式和Lyapunov不等式.     

关于李普希兹规划的L_1-精确罚函数

文[1]讨论了只有不等式约束问题的L_(1-)精确罚函数,给出了原问题的局部极小和L_(1-)精确罚函数局部极小之间的关系。其中有关的函数皆为局部李普希兹函数。本文讨论既有不等式约束又有等式约束问题的L_(1-)精确罚函数,得到与[1]的类似结论。     

Lipschitz规划的L1精确罚函数

本文考虑带不等式及等式约束的Lipschitz规划,在较弱的条件下讨论其L_1精确罚函数弱极点与K-T型条件的等价性,修正了[1]的结果.     

用Householder变换实现从L2到L∞空间的最佳逼近

本文用数值代数中常用的Householder变换法不仅求得超定线性方程组的L_2解,同时利用其保存信息,通过定向扰动(DP算法)还可求出其L_∞解,其算法稳定、简便,而且可以得出L_2解与L_∞解之差的精确表达式。这对于数值函数的线性模空间中的最佳逼近的比较,以及用之于实际的曲线(面)拟合有较大的实用意义。§1详细列出用H变换实现DP算法的步骤及有关的理论结果;§2给出了一般意义下的DP算法的几何解释;§3给出了L_2解和L_∞解之差的精确表达式和数值例子。     

优化Sobolev体及其仿射性质

Sobolev不等式是联系分析和几何的基础不等式之一,而优化Sobolev体是优化Sobolev范数的临界几何核.首先,证明优化Sobolev体的一些仿射性质.然后,运用Barthe的优化迁移方法研究了凸体的特征函数和多胞形仿射函数的优化Sobolev体.     

一类半线性抛物型方程的紧差分格式

本文构造了一类半线性抛物方程初边值问题的紧差分格式．利用离散能量估计证明了差分格式解的存在唯一性、收敛性和无条件稳定性，并给出了在离散L^∞模意义下收敛阶数为O（h^4＋τ^2）．数值例子验证了理论分析结果。     

样条共轭插值与L_p模误差估计

[1—5]讨论了各种类型插值样条的L_∞模最优误差估计。本文利用共轭插值样条,给出一些插值样条类的L_1模最优误差界,然后用插值空间理论导出L_p模估计的上界。 一、样条共轭插值 设n≥1并给定[0,1]上的两个分划:     

直线上函数的Banach空间的Poincaré型不等式的变分公式

基于研究对数Sobolev,Nash和其它泛函不等式的需要,将Poincare不等式 的变分公式拓广到一大类直线上函数的Banach(Orlicz)空间.给出了这些不等式成立 与否的显式判准和显式估计. 作为典型应用,仔细考察了对数Sobolev常数.     

各向异性Heisenberg群上一类Hardy-Sobolev型不等式

采用Badiale和Tarantello在R~n上建立Hardy-Sobolev不等式的思想,首先建立各向异性Heisenberg群上的函数表示公式,给出一类Hardy型不等式;然后利用Hlder不等式和Sobolev不等式,通过插值给出各向异性Heisenberg群上的Hardy-Sobolev型不等式.结合Lions的集中列紧原理的思想,得到Hardy-Sobolev型不等式极值函数的存在性.     

某些新解析不等式和不等式常数改进的实际用处

本文建立一般不等式,推广了Hardy-Littlewood、Polya和Mitrinovic-Adamovic不等式,文中给出在抛射体(导弹)和火箭上的二个实际用处.Bellman说:“存在研究不等式的三个理由;实际的理论的和美学的.”我们构造抛射体(导弹)在真空中的弹着点(或水平射程)不等式.改进这不等式常数对战争的胜利有所帮助.在书[2][3]中证明了:     

Sobolev型方程有限元的后处理方法

1 引言 考虑下述Sobolev型方程的混合问题 (a) (b) (c) 其中Ω为R~2中具有边界的矩形域,a,b,f,u_o。为适当光滑且有界的已知函数,a(x,t)有正下界a_*. Sobolev型方程是重要的数学物理方程之一,文[1]导出了问题(1.1)标准有限元方法的最优L_2(2≤P<∞)估计.本文研究矩形剖分上的双k次有限元方法,用插值算子对近似解进行后处理,仅增加极少工作量,使整体收敛性提高一阶.本文证明了误差及任意阶时间导 进行后处理,仅增加极少工作量,使整体收敛性提高一阶.本文证明了误差及任意阶时间导数的H~1,W~(1,∞),L_p和L_∞的超收敛估计.若采用文[2]的预处理方法构造最优剖分,可将本文结果推广到一般区域(仍超收敛1/2阶).这样,采用低次有限元可获得高阶精度,从而大大节省了计算量.     

关于矩阵迹的不等式

讨论了满足条件R[A,B]≤1的矩阵和的平方的迹的不等式,并利用经典的H(o|¨)lder不等式和Minkowski不等式,证明了半正定Hermiter矩阵迹的H(o|¨)lder不等式和矩阵迹的Minkowski不等式的推广不等式.     

关于局部诺伊曼等周常数（英文）

本文引入流形中一个相对区域上的相对等周不等式,并说明它等价于相对Sobolev不等式.在倍体积假设条件下,推出了度量球上的经典等周不等式.最后,讨论了该不等式在一些曲率条件下的应用和凯勒—里奇流中的应用.     

高次有限元外推的进一步研究

对高次矩形元,我们给出了一个外推算法.利用离散格林函数权模估计和渐进不等式展开,证明了外推算法可以提高泊松方程有限元逼近解的精度.     

具有线性等式和不等式约束的非线性规划的一个算法

§1.引言既约梯度法是求解非线性规划的一类方法.我们目前只看到约束为线性等式或非线性等式的既约梯度法,对于线性不等式或非线性不等式约束的情形还没有相应的既约梯度法.如果通过松驰变量把线性不等式约束化成线性等式的情形处理,则要增加变量的维数,而这是与既约梯度法的思想背道而驰的.在本文中,我们结合既约梯度法与 Ritter在文献[3]中的思想,对具有线性等式和不等式约束的非线性规划问题给出了一种算法,它保留了既约梯度法降低维数的优点,又简化了 Ritter 在[3]中给出的算法.另外,我们还证明了算法的收敛性.     

一个不等式猜想的证明及推广之注记

在最近的文章[一个不等式猜想的证明及推广.大学数学,2018,34(3):99-102]中,作者给出了三个定理并利用Jensen不等式证明了两个等价不等式及其推广形式.本注记说明作者的证明过程有误,并指出作者文章给出的三个定理中有两个定理是不成立的.