非协调有限元解的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_∞估计,并且得到     

一维非线性二阶双曲型方程组有限元方法的L_∞估计

本文讨论一维非线性二阶双曲型方程组初边值问题有限元方法的L_∞估计。对于一维一个未知函数线性双曲型方程有限元方法的L_∞估计,已有[1]、[2]。本文对非线性双曲型方程组的情况,提出一类有限元格式,并讨论了它的L_∞估计。这对于非线性     

非线性抛物型方程的全离散有限元方法

§1.引言关于非线性抛物型方程有限元方法的研究已有许多工作.但所讨论的方程关于梯度是线性的,仅得到全离散有限元逼近的L_2误差估计及较弱意义下(两层平均)的H~1误差估计.本文讨论关于梯度亦是非线性的抛物型方程.得到了最佳L_2、H~1(较强意义下)、L.及时间导数的误差估计. 考虑下述抛物型方程的混合问题:     

Cahn-Hilliard方程的有限元分析

建立了求解非线性发展型Cahn-Hilliard方程的有限元方法,借助于一个双调和问题的有限元投影逼近,给出了最优阶L_2模误差估计。特别对于3次Hermite型有限元,导出了L_∞模和W_∞~1模的最优阶误差估计和导数逼近的超收敛结果。     

半线性抛物型积分微分方程的间断时空有限元方法

本文讨论了一类半线性抛物型积分微分方程的间断时空有限元方法．利用有限元和有限差分方法相结合的技巧,在时间离散区间内,利用Radau点处Lagrange插值多项式的特性,去掉间断时空有限元的传统证明过程中对时空网格的限制条件,并给出了时间最大模、空间L_2模,即L_∞(L_2)模的误差估计．     

非线附曲型方程数值积分的有限元逼近

众所周知,解偏微分方程的有限元方法最终归结为求解线性代数方程组,其系数的计算心须求助于数值积分。本文讨论非线性二阶双曲型方程带数值积分的有限元方法,导出了最佳L_2,L_∞误差估计。具有第一类齐次边界条件双曲型方程混合问题的弱形式是求u(x,t)∈H~1(Ω),0≤t≤T,使得     

常曲率黎曼流形中的一类超曲面

设M~n是n+1维常由率黎曼流形S~(n+1)中的超曲面,其二个主曲率的重数L_1,L_2(L_1+L_2=n)保持为常数。本文证得:1.若L_1,L_2≥2则局部地至少有一个主曲率为常数。2.若L_1,L_2≥2,且M~n是常平均由率的单连通完备超曲面,则M~n=S~(L_1)×S~(L_2)。3.若L_1=1,L_2=n-1且M~n为常数量曲率和常平均曲率的单连通完备超曲面,则M~n=S~1×S~(n-1)。4.若M~n为单连通完备的S-流形,则 M~n=S~(L_1)×S~(L_2)。     

二阶非线性偶合问题的有限元方法

本文讨论出现于热弹性问题中的一类二阶非线性双曲-抛物偶合问题的有限元方法。在这方面已有刘经伦的工作。我们在较弱的假定下,对更广泛的一类强偶合非线性方程进行了理论分析。不仅得到了L_2、H~1和L_∞误差估计,而且得到关于时间导数的误差     

Characterizations of product Hardy space associated to Schr?dinger operators

Let L_1 and L_2 be the Schr?dinger operators on R~n and R~m, respectively. By using different maximal functions and Littlewood-Paley g function on distinct variables, in this paper,some characterizations for functions in the product Hardy space H_(L_1,L_2)~1(R~n×R~m) associated to operators L_1 and L_2 are obtained.     

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阶).这样,采用低次有限元可获得高阶精度,从而大大节省了计算量.     

由生成函数构成的梯度投影法

本文利用生成函数给出一个梯度投影算法模型,统一处理了一类梯度投影算法的收敛性问题.考虑非线性规划问题(P),其中M={x∈R~n|a_j~Tx=b_j,j∈L_1;a_j~Tx≤b_j,j∈L_2},a_j∈R~n,b_j∈R,j∈L=L_1∪L_2.f:R~n→R,f∈C~1.对于     

Stokes问题的混合有限元分析

在问题(ST)中,u=(u_1,u_2)~T是流体速度,p是压力. 设X_h及M_h分别为(H_0~1(Ω))~2及L_0~2(Ω)的有限元离散空间。且X_h(H_0~1(Ω))~2,M_h?     

一个非协调板元的误差估计

关于非协调板元的L_2—估计,文[1]曾进行了系统的研究,但对于Morely元和二个Fraeijs de Veubeke元(以下简称F.V.1元和F.V.2元)所得的结果并不是最优的。文[2]对Morely元又作了进一步的讨论,得到了最优的L_2估计及渐近最优的L_∞估计。本文将研究F.V.2元,得到了与[2]相仿的最优L_2-估计。但是,关于L_∞-估计,由于插值多     

关于伽略金方法收敛阶的估计

§1.引言设H是可分的Hilbert空间,内积为(·,·),范数为||·||.v是H的稠密子空间.于V定义另一内积[·,·]和相应的范数|·|,使v关于[·,·]具有Hilbert空间结构。假定v往H的嵌入:v|→H连续,即存在常数a>0,使 ||u||≤a|u|,uv. (1) 设L_1,L_2是由v到H的线性算子,其定义域D_(L_1),D_(L_2)是v的线性稠密子集,且D_(L_1)D_(L_2).令A=L_1+L_2(显然A的定义域D_A=D_(L_ I))。对H,我们考虑算子方程     

正线性时滞系统的L_1(l_1)-增益性能分析及正控制器设计

讨论连续(离散)时间正线性时滞系统的L_1(l_1)-增益性能分析及正控制器设计问题.由于正系统的非负特性,自然地可利用L_1(l_1)-增益来估计系统的性能.首先,给出了正线性时滞系统渐近内稳定且满足给定的L_1(l_1)-增益指标的充要条件.然后,基于上述条件,针对单输入系统,利用奇异值分解(SVD)方法给出了正L_1(l_1)-控制器存在的充要条件,此条件可表示为非线性规划(NLP)问题.并将所给的方法推广到多输入情形,得到了具有特殊形式的L_1(l_1)-控制器的存在条件.最后,给出数值算例来验证理论结果的有效性.     

具有两个方差分量的线性模型的比较

考虑线性模型(?)其中 X 为已知 n×p 矩阵,V 是已知或未知的 n 阶非负定阵,β=(β_1,…,β_p)′∈R~p 是参向量.记具有结构(1.1)的模型为 L=(Y,Xβ,V).设有两个模型 L_1(Y_1,X_1β,V_1),L_2=(Y_2,X_2β,V_2),当 V_1,V_2已知,Ehrenfeld定义了 L_1优于 L_2的概念,并证明了当 V_1,V_2非奇异时,L_1优于 L_2当且仅当 X′_1V_1~(-1)X_1-X′_2V_2~(-1)X_2≥0(非负定);Stepniak,Wang and Wu 继续研究了 V_1,V_2奇异的情形;Stepniak and Torgersen 又定义了当 V_1,V_2具有形式 σ~2V(σ~2未知,V 已知)时,L_1优于 L_2的概念;而且 Stepniak 证明了 L_1优于 L_2当且仅当 X′_1(V_1+X_1X′_1)-X_1-X′_2(V_2+X_2X′_2)-X_2≥0.但是,我们知道,在许多统计问题中,可观察的随机向量 Y 的协方差阵 V却有这样的形式 V=∑θ_iV_i,这里θ_i 为未知参数.事实上,在求方差分量的估计时,由均值-方差对应法导出的新模型其新的协方差阵往往不具有 σ~2V 这么简洁的形式(参见[5]).本文考虑的模型是 L_i=(Y_i,X_i,σ_1~2U_i+σ_2~2V_i),这里 U_i,V_i 均为已知非负定阵;σ_1~2,σ_2~2为未知参数.我们将给出 L_1优于 L_2(记为 L_1(?)L_2)的定义及判定准则。     

Symmetric-line problems

In analytic geometry, senior students usually run into some“Symmetric-line problems”. Here, I will introduce you some ingenious(巧妙的) sol- ving processes about them. Question 1: line L_1 and L_2 are symmetri- cal about line:y=3, and the equation of L_1 is known as:x y-6=0, so the equation of L_2     

Modular Lie Superalgebras of H-type

In this article the Z-graded transitive modular Lie superalgebra -1 Li,whose repre-sentation of L_0 in L_(-1) is isomorphic to the natural representation of osp(L_(-1)),is determined.     

算子代数的性质∏_σ和张量积

本文引入算子代数的性质Ⅱ_σ这一概念,证明了任一von Neumann代数中的套子代数和有限宽度CSL子代数都具有性质Ⅱ_σ.最后得到张量积公式alg_ML_1■alg_NL_2= alg_(M■N)(L_1L_2)成立,这里L_1和L_2分别是von Neumann代数M和N中的有限宽度CSL.     

一类二阶与四阶微分算子积的自伴性

利用矩阵运算及算子的基本理论,讨论了由微分算式L_1=D~((2))+q_1(t)和L_2=D~((4))+q_2(t)其中(D=d/dx,t∈I=[a,b])生成的两个微分算子L_i(i=1,2)积L_1L_2的自伴性问题,并在常型情形下,获得了积算子自伴的充分必要条件.