Search arXivSearch

arXiv · 2510.22796

HoSGFEM: High-order stable generalized finite element method for elliptic interface problem

Abstract

The Generalized Finite Element Method (GFEM) is an effective unfitted numerical method for handling interface problems. By augmenting the standard FEM space with an appropriate enrichment space, GFEM can accurately capture C^0 solutions across the interfaces. While numerous GFEMs for interface problems have been studied, establishing a stable high-order GFEM with optimal convergence rates and robust system conditioning remains a challenge. The highest known order of two was established by Zhang and Babuška (SGFEM2, Comput. Methods Appl. Mech. Engrg. 363 (2020), 112889). In this paper, we propose a unified enrichment space construction and establish arbitrary high-order stable GFEMs (HoSGFEM) for elliptic interface problems. The main idea distinguishes itself from Zhang and Babuška's SGFEM2 substantially and it is twofold: a) we construct dimensionality-reduced auxiliary locally supported piecewise polynomials that satisfy the partition of unity property for elements containing interfaces; b) we construct the enrichment scheme based on d{1,(x-x_c^e),...,(y-y_c^e)^{p-1}} (d is the distance function; (x_c^e, y_c^e) is the center of the element containing interface, thus element-based) for arbitrary p-th order elements instead of d, d{1,x,y} or d{1,x,y,x^2,xy,y^2} (global functions) for p=1,2 in the literature. This idea results in an enrichment space that has a large angle with the standard FEM space, leading to the stability of the method with system condition number growing in order O(h^{-2}). We establish optimal convergence rates for HoSGFEM solutions under the proposed construction. Various numerical experiments with both straight and curved interfaces demonstrate the optimal convergence, FEM-comparable system condition number with O(h^{-2}) growth, and robustness as element boundaries approach interfaces.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bingying Zhao, Yin Song, Quanling Deng, Xin Li. 2025-10-26. HoSGFEM: High-order stable generalized finite element method for elliptic interface problem. https://arxiv.org/abs/2510.22796

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Fully spectral scheme for the linear BGK equation on the whole space

In this article, we design a fully spectral method in both space and velocity for a linear inhomogeneous kinetic equation with mass, momentum and energy conservation. We focus on the linear BGK equation with a confinement potential $Φ$, even if the method could be applied to different collision operators. It is based upon the projection on Hermite polynomials in velocity and orthonormal polynomials with respect to the weight $e^{-$Φ$}$ in space. The potential $Φ$ is assumed to be a polynomial. It is, to the author's knowledge, the first scheme which preserves hypocoercive behavior in addition to the conservation laws. These different properties are illustrated numerically on both quadratic and double well potential.

math.NA

Inverse inequalities for kernel-based approximation on bounded domains and Riemannian manifolds

This paper establishes inverse inequalities for kernel-based approximation spaces defined on bounded Lipschitz domains in $\mathbb{R}^d$ and compact Riemannian manifolds. While inverse inequalities are well-studied for polynomial spaces, their extension to kernel-based trial spaces poses significant challenges. For bounded Lipschitz domains, we extend prior Bernstein inequalities, which only apply to a limited range of Sobolev orders, to the full range of lower and upper orders, and derive Nikolskii inequalities that bound $L_\infty$ norms by $L_2$ norms. For compact Riemannian manifolds, we focus on restricted kernels, which are defined as the restriction of positive definite kernels from the ambient Euclidean space to the manifold, and prove their counterparts.

math.NA

Error Estimates for Hyperbolic Scaling Limits of Linear Kinetic Models on Networks

This paper studies linear discrete kinetic models on networks and their asymptotic behavior in the small Knudsen number limit. For coupling conditions at an n-edge junction under a symmetric formulation, we introduce a change of variables that reformulates the system into n independent initial-boundary value problems. The asymptotic expansions are then constructed and rigorously justified by deriving an error estimate based on the energy method.

math.NA