arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2610.18580math.NAcs.NA
收藏

适用于含不规则子区域的间断虚拟元方法的两级预条件子

A two-level preconditioner for discontinuous virtual element methods with irregular subdomains

Universidad de Costa Rica(哥斯达黎加大学);Purdue University(普渡大学)

Juan G. Calvo, César Herrera

AI总结:

该研究针对含不规则子区域的二阶椭圆问题间断虚拟元方法,提出两级重叠加性施瓦茨预条件子,证明其条件数界与子区域数量及系数对比度无关,数值实验验证了理论结果。

摘要:

我们针对二维一般多边形网格上虚拟元空间的间断伽辽金离散化,引入并分析了一种两级重叠加性施瓦茨预条件子,该离散化用于求解二阶椭圆问题,其系数在每个子区域上为常数,且在界面处可能存在大幅跳跃。该离散化采用加权对称内罚格式:平均值携带系数信息,罚项按每条边上系数的调和平均进行缩放,这保证了方法的一致性,并使分析常数与系数无关。粗空间由虚拟的连续单位分解构造,每个子区域顶点对应一个自由度,因此适用于图划分工具生成的不规则子区域;用于构建粗空间的离散调和延拓可替换为更廉价的低次多项式投影。我们证明,预条件系统的条件数有界为 $C(1+\log(H/h))(1+H/\delta)$,其中 $H$、$h$ 和 $\delta$ 分别表示子区域直径、网格尺寸和重叠度,且当系数为准单调时,$C$ 与子区域数量及系数对比度无关。该界与协调元情形的已知界一致,且分析允许悬挂节点。我们还通过一个显式例子表明,准单调性假设不可省略。对结构化三角形、六边形和沃罗诺伊网格,以及均匀划分和 METIS 生成的子区域开展的数值实验,均验证了该理论。

英文摘要:

We introduce and analyze a two-level overlapping additive Schwarz preconditioner for discontinuous Galerkin discretizations of virtual element spaces on general polygonal meshes in two dimensions, for a second-order elliptic problem whose coefficient is constant on each subdomain and may have large jumps across the interface. The discretization is a weighted symmetric interior penalty formulation: the averages carry the coefficient and the penalty is scaled by its harmonic mean across each edge, which keeps the method consistent and makes the constants of the analysis independent of the coefficient. The coarse space is obtained from a virtual, continuous partition of unity with a single degree of freedom per subdomain vertex, and is therefore applicable to the irregular subdomains produced by a graph partitioner; the discrete harmonic extension used to build it may be replaced by a cheaper projection onto polynomials of low degree. We prove that the condition number of the preconditioned system is bounded by $C(1+\log(H/h))(1+H/δ)$, where $H$, $h$ and $δ$ denote the subdomain diameter, the mesh size and the overlap, and where $C$ is independent of the number of subdomains and of the contrast of the coefficient, provided the latter is quasi-monotone. This is the same bound known for the conforming case and the analysis allows for hanging nodes. We also show, by an explicit example, that the quasi-monotonicity assumption cannot be dispensed with. Numerical experiments with structured triangular, hexagonal and Voronoi meshes, and with subdomains obtained both by uniform partitioning and by METIS, confirm the theory.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑