1. 引言
虚拟元方法 [1] 作为有限元方法的推广,具有网格剖分的灵活性,可以使用多边形或多面体剖分,很大程度上降低了网格生成的难度,受到研究者的普遍关注。目前已被应用于求解多种问题,比如线弹性问题 [2]、膜壳问题 [3] 和Steklov特征值问题 [4] 等。本文研究应用虚拟元方法求解线弹性问题。
线弹性问题是弹性力学领域一个重要的研究课题,已有多种数值求解方法,比如,有限元方法 [5]、弱有限元方法 [6]、虚拟元方法 [7] 等。在线弹性问题中,准确地计算应力往往比计算位移更有用。在标准公式中,应力可以通过位移后处理计算,由弹性力学方程可知,这个计算需要位移的微分,从数值的角度来看,微分会使解的精确度损失,进而考虑混合形式线弹性问题,将应力张量与位移张量同时作为主要变量,但应力张量的对称性使原问题的离散化变得更加困难,为解决这一困难,可以弱化应力张量的对称性。弱化应力张量的对称性有多种方法,本文研究引入一个新的变量—旋转张量,进而对原问题进行虚拟元离散。文献 [8] 中在齐次Dirichlet边界条件下讨论混合弱对称形式线弹性问题,本文将边界条件推广为Dirichlet和Neumann混合边界条件,在该边界条件下对二维混合弱对称形式线弹性问题进行研究。
本文将使用如下符号。
表示定义在
上的平方可积的可测函数构成的空间,
是
上的内积,
是
上的范数。
为
上次数不超过k (k为非负整数)的多项式空间。
。定义标量积
。定义
。
本文第二节给出弹性力学在静力学、几何学和物理学方面的基本方程,并给出二维混合形式线弹性问题,将其限制在Dirichlet和Neumann混合边界条件下。第三节给出虚拟元方法的解决,首先根据变分原理得到混合弱对称形式线弹性问题的变分形式,根据文献 [9] 证明了变分形式的解的存在唯一性。其次构造虚拟元空间,然后根据虚拟元空间得到变分形式的离散格式,最后对该方法的收敛性进行分析证明,并给出误差估计。第五节通过悬臂梁问题验证理论分析的收敛性。
2. 问题模型
弹性力学的基本方程为,在静力学方面建立平衡方程
。在几何学方面,建立几何方程
。在物理学方面建立本构方程
。其中
为应力张量,
为位移张量,
为
应变张量,
是外力,
为正定、有界、对称的矩阵。
本文考虑的混合形式线弹性问题是线性各向同性的,找到
,使得
(1)
其中
为
上的有界凸多边形区域,设
为
的边界,且边界
的两个子集
满足
,
。
为边界
的单位外法向量。
,这里
是张量的迹,I是恒等张量,Lamé常数
定义如下
,
其中E为弹性模量,
为泊松比。
3. 虚拟元方法
3.1. 变分形式
构造容许函数空间
,
,
。
引入一个新的变量
,根据变分原理,求得线弹性问题(1)的变分形式为:找到
,使得
(2)
其中
,
,
。
据文献 [9] 知变分形式是适定的,则问题(2)的解存在且唯一。
3.2. 构造虚拟元空间
假设
是区域
的一个满足如下正则性条件的剖分,对任意的剖分单元
,
表示每个多边形T的直径,那么令
。用
表示
的边的集合。其中
为正常数,
A1. 对于所有的边
,有
,
A2. T相对于半径大于等于
的球呈星形。
根据文献 [10] 构造虚拟元空间。为了构造虚拟元空间,首先分别在剖分单元
上和边界
上定义刚体运动空间
和
,
,
其中若
,则
。
,
其中
是边e的单位外法向量,
是边e的单位切向量,方向与e一致。
下面定义局部应力空间为
,
全局应力空间为
。
定义局部位移空间为
,
全局位移空间为
。
定义局部旋转张量空间为
,
全局旋转张量空间为
。
3.3. 虚拟元离散
基于上述剖分以及空间的定义,首先将双线性形式进行离散,
问题(2)的离散形式为,找到
,使得
(3)
其中
。
根据文献 [9] 可知,离散形式是适定的,则离散形式(3)的解存在且唯一。
3.4. 收敛性分析和误差估计
首先讨论离散形式(3)的收敛性,重点在于处理双线性形式
和
之间的关系,为了证明收敛性,首先给出以下引理。
引理1 [9] 存在一个与
有关的常数
,使得对所有的
,有
,
其中
。
引理2 [9]
。
引理3 [9] 存在一个常数
,使得
。
定理1令
是变分形式(2)的解,
是离散形式(3)的解,对于
的每一个分段多项式近似
,
的每一个分段多项式近似
,
的每一个分段多项式近似
,以及对于
的每一个近似
,有
,
其中
为依赖于
的常数。
为分段多项式空间。
证明:为了简便,取
。
先构造
。
设
,
,则
。根据引理1,引理2以及问题(2),(3)可得
根据Cauchy-Schwarz不等式有,
利用三角不等式可得,
(4)
根据引理3可知,存在
,满足
,
使得
。 (5)
令
,则有
,
其中
,故可得
。
由式(5)和三角不等式可知
。 (6)
将式(6)代回式(4)可得
(7)
下面分析
。根据问题(2)和问题(3)可得
由引理3可得
。 (8)
最后,联立式(7)和式(8),结论得证。
接下来,给出误差估计,位移、应力和旋转张量的精确解与数值解之间的误差估计如下。
定理2 [8] 问题(3)有唯一解
,则有
误差估计,
。
4. 数值实验
考虑端部受抛物线载荷作用的悬臂梁问题。在本问题中,取梁的长度为
,高度为
,抛物
线载荷为
,I为梁的横截面惯性矩,对于单位厚度的矩形截面
。考虑本文的线弹性问
题,给出相应的材料参数,弹性模量为
,泊松比为
。其精确解见文献 [11],其中应力的精确解为
位移的精确解为
接下来对区域
进行剖分,网格剖分依照文献 [12] 完成,图1分别是网格剖分数N为100、200、400、1600的多边形剖分图。
Figure 1. The division diagram corresponding to different mesh numbers
图1. 不同网格数对应的剖分图
图2是网格剖分数N为100、200、400、1600下位移与应力的数值解图,其中
,
为位移的数值解,
为应力的数值解。
为了验证方法的收敛性,需要考虑不同剖分下位移和应力的相对误差。
表1给出了网格剖分数N为100、200、400、1600下的应力以及位移的相对误差,其中
表示
范数下位移的相对误差,即
,其中
为位移的精确解,
为位移的数值解。
表示
范数下应力的相对误差,即
,其中
表示应力的精确解,
表示应力的数值解。
Table 1. Relative error of displacement and stress corresponding to different mesh number
表1. 不同网格数对应的位移与应力的相对误差
根据表1所给出的不同网格剖分数下的误差数据可以明显看出,随着剖分数的增加,应力以及位移的相对误差都呈现逐渐减小的趋势,则可以看出本文所讨论的方法收敛性较好,同时也验证了误差估计的有效性。
5. 总结
虚拟元方法可以看作是有限元方法对一般多边形和多面体单元的扩展。本文研究应用虚拟元方法求解具有Dirichlet和Neumann混合边界条件的线弹性问题,文中所考虑的线弹性问题是二维混合弱对称形式的线弹性问题。从给定弹性力学方程和二维连续问题出发,通过变分原理得到连续问题的变分形式,然后根据定义局部刚体运动空间构造位移、应力和旋转张量的虚拟元空间,通过构造的虚拟元空间得到变分形式的离散格式,通过引理以及三角不等式和Cauchy-Schwarz不等式证明方法的收敛性,并给出理论分析的误差估计。最后以悬臂梁问题验证方法的收敛性与误差估计的有效性为结尾。
NOTES
*通讯作者。