一类拟线性抛物与双曲方程广义有限元方法渐近展式和超收敛-asymptotic expansion and superconvergence of generalized finite element method for a class of quasilinear parabolic and hyperbolic equations.docxVIP

引言1、问题提出的背景和意义 广义有限元方法，作为解决实际的有力工具，在不断地发展。1994 年，Babushka 等人在文献[1]中首次应用单位分解法(PUM)解决了一类带非光滑系数 的二阶椭圆方程，当时称之为特殊有限方法，实际上只是广义有限元方法的另一 种称呼而已。2000 年 Babushka 和 Osborn 在文献[2]首次将 PUM 和经典有限元 方法相结合，并用来成功地解决了一类包括多角城多裂缝等复杂区域的 Lapatace 方程。2004 年 Babushka 等人详细总结了广义有限元方法的重要思想，主要结论 和这一方法的发展前景。总之，广义有限元方法在解决具有复杂几何域的问题时，较经典有限元有明 显的优势，见文献[3、4、5]。一方面，它的本质边界条件比较好提；另一方面， 计算过程中数值积分的精度能够有效地控制。同时，实际计算证明，当方程的系 数具有激烈振动性（受小尺度ε的控制）且光滑性很差，方程的解的光滑性也不 太好，但通量函数的解却具有好的光滑性的情况下，使用广义有限元方法，能用 较快的速度较少的计算量，达到较好的精度。论文的主题拟线性抛物与双曲方程广义有限元的渐近展式和超收敛，早在 1970 年后，人们就发现有限元解或导数在某些点上有特别好的精度，并称之为 超收敛。以后不断提出多种方法和理论，得到丰硕的成果。1996 年 7 月芬兰召 开有限元国际会议，babuska 称超收敛是有限元的十大进展之一。对一般非线性 问题，在一定条件下，已经证明，非线性有限元具有线性有限元相同的超收敛性。 对一类较特殊但应用很广泛的拟线性问题，在广义有限元空间中，结合插值系数 有限元与经典有限元，比较它们的渐近展式和超收敛性质是有意义的。在广义有限元的理论分析中，因为方程解的正则性估计通常与小尺度 ε 有 关，所以经典的有限元分析有一定的困难。我们将利用正交级数展开理论，给出 一般 n 阶广义有限元空间插值函数的渐近展式，从而获得一类一维二阶拟线性方 程广义有限元解的渐近展式和超收敛结果。2、本文的主要工作 本文主要讨论了一维二阶拟线性双曲与抛物方程广义有限元方法的渐近展式和超收敛，全文共分三章。在第一章中，我们对拟线性方程广义有限元方法的渐近展式和超收敛的一些 基本概念和相关知识作了一个简单的介绍。在第二章中，我们研究了如下二阶拟线性抛物方程?ut ? (au′)′ =f (x, t, u)(x, t) ∈ (0,1) × (0,T ]??u = 0??u t =0 = ?x = 0或1, t ∈ (0,T )x ∈ (0,1)其中，函数 a 与 f (x, t, u) 适当光滑，且满足：O r0 ≤ min a ， fu (x, t, u) ≤ 0讨论了该方程在广义有限元空间n{1}Sh =vn ∈ H0 (I ) : Lε vh ∈ Pn?2 (Ii ), i = 1(1)N中有限元解的渐近展式和超收敛性质，（其中 Lε u = (au′)′ ）在第三章中，我们研究了二阶拟线性双曲方程?utt ? (au′)′ =f (x, t, u)(x, t) ∈ (0,1) × (0,T ]??u = 0x = 0或1, t ∈ (0,T )u= ? , u= ???t =00t t =01讨论了该方程在广义有限元空间x ∈ (0,1)n{1}Sh =vn ∈ H0 (I ) : Lε vh ∈ Pn?2 (Ii ), i = 1(1)N中有限元解的渐进展式和超收敛性质。第一章常见记号与预备知识§1.1 常见记号首先引入文[6]中的记号： 和 = 即x1 y1, x2 = y2%%表示存在常数， C1，C2 与 C3，使得x1 ≤ C1 y1 , C2 y2 ≤ x2 ≤ C3 y3再用 Pk 表示所有次数不超过 K 的代数多项式集合。m关于有限元方法和 sobolev 空间理论，主要参考文[7，8]其中的记号，例如 用（ ?,? ）表示 L2 内积，A（ ?,? ）表示能量内积， ?表示 Sobolev 空间W m,2 (Ω)的范数等。§1.2 若干预备知识为了本文的分析需要，我们采用标准 Sobolev 空间wk , p (Ω) = {u ?α u ∈ LP (Ω), ? α≤ k}并赋予范数uk , p,Ω= (∫Ω∑ ?α uα ≤k1P) P ,1 ≤ P ∞uk ,∞,Ω {= max ess sup ?α α ≤kx∈Ωu(x) }若 P=2，则将 wk ,2 (Ω) 简记为 H k (Ω) ， uk , p,Ω简记为 uk ,Ω易见上述定义中的 k ≥ 0 ，当 k 0 时，我们引入如下负范数表达式：( f ,φ)f= sup, S ≥ 0s? s,Ωφ∈Ho (Ω)φs,