一维有限元空间中逆估计式的常数界定.pdfVIP

第 30卷 第4期 湘潭师范学院学报 (自然科学版) VoI．3ONo．4 2008年 12月 JournalofXiangtanNormalU^ivers (NaluralScienceEdition) Dec．2O()8 一 维有限元空间中逆估计式的常数界定 谭 佼 ，何文明 (州大学数学与信息科学学院，浙江 温州 325035) 摘 要：讨论 了一维 ，z(r,／C--N)次有限元空间中逆估计不等式中右端常数因子的界定问题，利用Lagrange提出的求条 件极值的方法与工具Matlab，给出了n( ∈N)次有限元空间中逆估计式中常数四子的下确界的一种通用求法，最后我们 得到一些结果：c1= ，c2= 7．7460，C3 13．0432，，C4 19．4996。 关键词：有限元空间；逆估计不等式；条件极值 中图分类号：0242．21 文献标识码：A 文章编号：1671—0231(2008)04—0001—03 1 有限元逆估计式 有限元方法是求解偏微分方程的一种行之有效的数值计算方法，它的原理是从变分原理或加权残数 法出发，通过区域剖分和分片插值(通常是分片多项式插值)，把偏微分方程的求解转化为线性方程组的求 解。在有限元理论中，有这样一个非常重要的估计式—— 有限元逆估计式，它提供了对有限元函数用低阶 范数控制高阶范数的可能性与具体的数学表达式，其具体的表达形式如下。 定理 1：(逆估计不等式[ ])设 n为给定区域，具有边界a力，Th为n上的均匀剖分 ，h是 中单元e 的尺寸。 上的有限元空间： = {： }e∈P(e)，Ve∈Th}，其中 为某一类次数不超过k的多项式 空间，则对有限元空间上的函数 U ∈Vh，存在与 h无关的常数 C满足： ll fIl0≤Ch I_‰ flo (1) 这是一个经典的有限元估计式，但在以往的学术研究中，人们通常是通过泛函分析的技巧及索伯列夫 空问嵌入定理从理论上断言出常数因子 C的存在性和有界性，并没有给出不等式右端常数因子 C的确切 的界的估计，这给实际的数值计算及实际的误差估计带来了麻烦。于是人们关心这样的一个问题：我们能 否求出常数因子 c的下确界。如果我t,-J~E给出常数因子 c的一个具体的下确界，就可确定剖分直径 h，以 满足用 Z／^来控制 “^的精度要求。陈焕祯等在文献[4]中讨论了这个问题并给出了如下结论： 定理 2：若 为一维线性有限元空间，则当 C。：~／12时，有如下不等式成立 ： ll lf0≤C0h IlhlIo (2) 并且对任意的CCo，都存在 U ∈Vh使得(2)不成立。 在文献[4]的基础上，本文主要讨论了一维n(n∈N)次有限元空间中逆估计式中右端常数因子的估 计问题，并利用Lagrange提出的求条件极值的方法与Matlab软件，给出了n(n∈Iv)次有限元空间中逆估 计式中常数因子下确界的一种通用求法，并对逆估计式中的C值进行计算，这将为有限元单元剖分提供 有力的依据。 2 一种针对一维n(凡∈Ⅳ)次有限元空间中的逆估计式中常数因子 C的下确 界的通用求法 在给出一维 l,／(n∈N)次有限元空间中逆估计式中常数因子 c的下确界的求法之前，我们先来讨论 几个引理。 设一维空间中，给定区问 ，= [n，b]被均匀剖分成 m个单元 [0，1]，…，[ 一l， ]，记 o：a， = b，剖分细度 h= — = (i=1，…，m)。记 S为相应的 (n∈Ⅳ)次有限元空I-．i，而 C为 满足 llVUhll0≤Ch—lI‰ llo(Vu^∈S)的常数 c的下确界，则我们得到： 收稿 日期：2008—09—30 作者简介：谭 佼 (1984一)，女，湖北成宁人，硕士生，研究方向：有限元方法。 … (蓥f} 2{2d ×z『 C II Mf jio×h t