1. 引言
Steklov特征值问题在力学和工程科学中有许多应用。例如,在表面波 [1]、沉浸在粘性流体中的机械振子的稳定性、与不可压缩流体接触的结构的振动模式 [1] 的研究中发现了这样的谱问题。
为了解决文献 [2] 的Remark 3.11中关于Steklov特征值问题中后验误差估计研究的问题,本文针对该问题的间断有限元方法提出了一个后验误差估计子,并从理论和数值上证明了估计子的可靠性和有效性。间断有限元方法的主要特点是测试函数在网格中沿面(或边)不连续,具有局部质量守恒、易于与其他方法组合耦合、hp自适应、可在多边形网格上工作等优点。因此,间断有限元方法被用于解决许多问题,如 [3]。此外,DG方法还被用于求解各种特征值问题,如拉普拉斯特征值问题 [4]、经典自伴随Steklov特征值问题 [2]、双调和特征值问题 [5]、Maxwell特征值问题 [6] 等。
对于自共轭Steklov特征值问题,Zeng等人 [2] 首先研究了间断有限元方法并给出了它的先验误差估计。对于逆散射的Steklov特征值问题,李等人 [7] 研究了间断有限元方法的后验误差估计和自适应方法。在上述工作的基础上,本文进一步研究了间断有限元方法的后验误差估计子。我们利用提升算子的性质,证明了特征函数的后验误差估计子的可靠性和有效性,分析了有限元特征值后验误差估计子的可靠性。本文的分析方法可以推广至一般的二阶椭圆特征值问题。
我们在均匀网格和自适应加密网格上完成了数值实验。从数值结果可以看出,我们的方法对于简单特征值和多重特征值都能达到最优收敛阶。
本文的其余部分组织如下。在第2节和第3节中,我们提出模型问题并介绍一些初步内容及讨论了先验误差估计。在第4节中,我们讨论了后验误差并进行估计。最后,通过数值算例验证了理论分析的正确性。
2. 问题模型的弱形式及相应的离散格式
令
是有界域,其Lipshitz边界为
,设
是
的单位外法向。考虑Steklov特征值问题:求
和非平凡函数
,使得:
(2.1)
(2.2)
设
为
的形状规则网格,边e的直径用he表示,单元
的直径用
表示,并且
。单元格的一组边
,其中
表示内部边的集合,
表示边界上的集合。下面表示边e上v的均值和跳跃:
(2.3)
其中,
,
,
,
是
到
的单位外法向。
注意,当
时
(2.4)
(2.1)的弱形式为
(2.5)
其中
,
,双线性形式
。
任取分片多项式v,
,有
(2.6)
定义间断有限元空间:
,
,
是关于
的m次多项式空间。
定义
(2.7)
其中
是大于零的待定参数。
问题(2.5)的离散形式为
(2.8)
3. 与特征值相关的源问题的误差估计
问题(2.5)的源问题是:求
,使得
(3.1)
问题(3.1)的间断有限元逼近是求
,使得
(3.2)
引入间断有限元范数的求和空间
,
(3.3)
和定义空间
上的其它范数如下:
(3.4)
注意,在空间
上
等价于
。
参考文献 [7] 的命题3.3和运用格林公式,得到间断有限元的一致性,即:设w是(3.1)的解,
,有
(3.5)
从(3.2)可以得到误差公式:
(3.6)
很容易知道下面的稳定性成立:
(3.7)
(3.8)
引理3.1 (文献 [7] 中引理2.2):设
和
,有下列迹不等式成立:
(3.9)
引理3.2 (文献 [7] 中定理3.1):假设
,有
(3.10)
(3.11)
(3.12)
其中
是(2.8)的特征函数,
是(2.5)的特征函数,
是(2.5)的特征值。
4. 特征值问题的后验误差估计
4.1. 特征函数的估计子及其可靠性
设
是(2.8)的特征对。在每个单元
和每个边
上,有下面的元素残差和面残差。
单元上的局部误差估计定义为:
(4.1)
全局误差估计子如下:
(4.2)
后文将证明误差估计子是可靠的且有效的。
引入具有稳定性的提升算子
(4.3)
(4.4)
同时定义一个辅助双线性形式
(4.5)
易知在
上
,在
上
,也满足
引理4.1 (文献 [7] 中引理4.1):对任意
,存在改进算子
,使得
(4.6)
从Scott-zhang插值,可以得到以下引理。
引理4.2 (文献 [7] 中引理4.2):用
表示线性有限元空间,对于任意
,有一个分段的线性插值
满足
(4.7)
(4.8)
其中
是与
共享一个节点的所有单元的并集,
是与e共享一个节点的所有单元的并集。
定理4.1:设
和
分别是(2.5),(2.8)的特征对,
对任意
,
有下列不等式成立。
(4.9)
证明:注意在
上
。设
,从(2.5)中我们可以推导出
(4.10)
因此
(4.11)
由三角不等式推导出
(4.12)
由w的任意性,就可以得到估计式(4.9)。
定理4.2:在定理4.1的条件下,有下列不等式成立:
(4.13)
证明:对于(4.12)的右端第二项,使用(3.3)和(4.6),注意到
,我们有
见上式和 [7] 中引理4.3带入的(4.13)。证毕。
由定理4.1可知,
和
的高阶项是比
小的高阶量,同时由定理4.2知
是能量范数误差的上界之一。因此,误差估计子是可靠的。
4.2. 特征函数的估计子的有效性
为了保证估计子在实际的自适应细化中是有效的,我们下证局部误差估计子
为邻域
上的误差并提供了局部下界。
为标准单元泡泡函数,
为边泡泡函数,其中
是两个单元
和
共享e的集合,由参考文献 [7],引入以下知识。
引理4.4 (文献 [7] 中引理4.4):对于所有多项式函数
,
,有
(4.15)
(4.16)
和对每一个
,存在一个延拓
满足
,
且
(4.17)
根据上面的引理,使用标准参数,可证下面局部上界。
引理4.5 (文献 [7] 中引理4.5):设
和
分别是(2.5)和(2.8)的特征对。有下面局部上界:
(i) 对任意
(4.18)
(ii) 设
是相邻单元
和
的内部边
(4.19)
其中
。
(iii) 对于每一个边界边
且
,有
(4.20)
(iv) 对任意边
(4.21)
定理4.3:在定理4.1的条件下有下列不等式成立:
(4.22)
(4.23)
证明:由
的定义和引理4.5推出(4.21)
对上式整理就可以得到(4.21),对(4.21)两边的
求和并利用
的定义,得到(4.22)。
定理4.3表明误差估计子
是有效的。
4.3. 特征函数的估计子的可靠性
引理4.6 (文献 [7] 中引理4.6):设
和
分别是(2.5)和(2.8)的特征对,且
,则有
(4.24)
由定理4.2和定理4.3可知,特征函数
的估计子
在数据振荡前是可靠和高效的,因此基于该估计子的自适应算法可以生成良好的分级网格,即近似特征函数在
内达到最优收敛速度
。同时,根据 [7] 有
,即
。因此,我们认为
可以看作是
的误差估计(注意
表示自由度)。
第5节的数值实验表明
作为
的误差估计是可靠和有效的。
5. 数值实验
在这部分,我们将会针对问题(2.1)使用间断有限元自适应方法进行数值实验去验证方法的有效性。程序是在IFEM包下编译的,计算得出的特征值采用降序排列。
我们考虑了两个区域:L型
和有四个顶点的方形(
):顶点为
,计算了二维一次元,并且在计算的时候两个区域惩罚参数都取固定的数
。
由于准确的特征值未知,我们分别取了参考值,这些参考特征值都是通过自适应计算得到的,尽可能的准确。
![](Images/Table_Tmp.jpg)
Table 1. The adaptive results by using the P1 element with initial meshes h = 1/8
表1. 采用初始网格
一次元自适应结果
![](//html.hanspub.org/file/12-2622874x179_hanspub.png?20140201012250708)
Figure 1. Adaptive refifined mesh and the error curves on
with initial mesh
using the P1 element
图1.
采用初始网格
一次元自适应网格与误差曲线图
![](//html.hanspub.org/file/12-2622874x185_hanspub.png?20140201012250708)
Figure 2. Adaptive refifined mesh and the error curves on
with initial mesh
using the P1 element
图2.
采用初始网格
一次元自适应网格与误差曲线图
表1列出了自适应计算的结果,图1、图2描述了自适应网格与误差曲线,可以看出线性不连续单元(一次元)的误差曲线近似平行于斜率为−1的直线。这表明自适应算法能达到最优收敛,从误差曲线上也可以看出在相同自由度下,自适应算法得到的近似比均匀网格上的近似更准确。
6. 总结
由于自共轭Steklov特征值问题中特征值的后验误差估计的可靠性和有效性的间断有限元问题至今做的人很少,所以为了解决这个问题,本文采用了间断有限元法,先写出了选取的问题模型的变分形式和间断有限元离散形式,在L型区域和方形区域上计算了后验误差估计的可靠性和有效性,在数值实验部分本文对其进行编程,实现了二维一次元的算法的有效实现,得到了我想要的结果,但是我认为这并不是最理想的结果,后期的工作是二维二次元算法的有效实现,甚至更高维和其他区域的有效实现。
基金项目
贵州师范大学学术新苗基金(黔师新苗[2021]A01)。