Abstract Finite element methods developed for unfitted meshes have been widely applied to various interface problems. However, many of them resort to non-conforming spaces for approximation, which is a critical obstacle for the extension to $$\textbf{H}(\text{curl})$$ equations. This essential issue stems from the underlying Sobolev space $$\textbf{H}^s(\text{curl};\,\Omega)$$ , and even the widely used penalty methodology may not yield the optimal convergence rate. One promising approach to circumvent this issue is to use a conforming test function space, which motivates us to develop a Petrov–Galerkin immersed finite element (PG-IFE) method for $$\textbf{H}(\text{curl})$$ -elliptic interface problems. We establish the Nédélec-type IFE spaces and develop some important properties including their edge degrees of freedom, an exact sequence relating to the $H^1$ IFE space and optimal approximation capabilities. We analyse the inf-sup condition under certain assumptions and show the optimal convergence rate, which is also validated by numerical experiments.
more »
« less
Immersed virtual element methods for electromagnetic interface problems in three dimensions
Finite element methods for electromagnetic problems modeled by Maxwell-type equations are highly sensitive to the conformity of approximation spaces, and non-conforming methods may cause loss of convergence. This fact leads to an essential obstacle for almost all the interface-unfitted mesh methods in the literature regarding the application to electromagnetic interface problems, as they are based on non-conforming spaces. In this work, a novel immersed virtual element method for solving a three-dimensional (3D) H(curl) interface problem is developed, and the motivation is to combine the conformity of virtual element spaces and robust approximation capabilities of immersed finite element spaces. The proposed method is able to achieve optimal convergence. To develop a systematic framework, the [Formula: see text], H(curl) and H(div) interface problems and their corresponding problem-orientated immersed virtual element spaces are considered all together. In addition, the de Rham complex will be established based on which the Hiptmair–Xu (HX) preconditioner can be used to develop a fast solver for the H(curl) interface problem.
more »
« less
- PAR ID:
- 10423062
- Date Published:
- Journal Name:
- Mathematical Models and Methods in Applied Sciences
- Volume:
- 33
- Issue:
- 03
- ISSN:
- 0218-2025
- Page Range / eLocation ID:
- 455 to 503
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
It has been extensively studied in the literature that solving Maxwell equations is very sensitive to mesh structures, space conformity and solution regularity. Roughly speaking, for almost all the methods in the literature, optimal convergence for low-regularity solutions heavily relies on conforming spaces and highly regular simplicial meshes. This can be a significant limitation for many popular methods based on broken spaces and non-conforming or polytopal meshes often used for inhomogeneous media, as the discontinuity of electromagnetic parameters can lead to quite low regularity of solutions near media interfaces. This very issue can be potentially worsened by geometric singularities, making those methods particularly challenging to apply. In this paper, we present a lowest-order virtual element method for solving an indefinite time-harmonic Maxwell equation in 2D inhomogeneous media with quite arbitrary polytopal meshes, and the media interface is allowed to have geometric singularity to cause low regularity. We employ the “virtual mesh” technique originally invented in [S. Cao, L. Chen and R. Guo, A virtual finite element method for two-dimensional Maxwell interface problems with a background unfitted mesh, Math. Models Methods Appl. Sci. 31 (2021) 2907–2936] for error analysis. This work admits three key novelties: (i) the proposed method is theoretically guaranteed to achieve robust optimal convergence for solutions with merely [Formula: see text] regularity, [Formula: see text]; (ii) the polytopal element shape can be highly anisotropic and shrinking, and an explicit formula is established to describe the relationship between the shape regularity and solution regularity; (iii) we show that the stabilization term is needed to produce optimal convergent solutions for indefinite problems. Extensive numerical experiments will be given to demonstrate the effectiveness of the proposed method.more » « less
-
Abstract We propose stress formulation of the Stokes equations. The velocity $$u$$ is approximated with $$H(\operatorname{div})$$-conforming finite elements providing exact mass conservation. While many standard methods use $H^1$-conforming spaces for the discrete velocity $$H(\operatorname{div})$$-conformity fits the considered variational formulation in this work. A new stress-like variable $$\sigma $$ equalling the gradient of the velocity is set within a new function space $$H(\operatorname{curl} \operatorname{div})$$. New matrix-valued finite elements having continuous ‘normal-tangential’ components are constructed to approximate functions in $$H(\operatorname{curl} \operatorname{div})$$. An error analysis concludes with optimal rates of convergence for errors in $$u$$ (measured in a discrete $H^1$-norm), errors in $$\sigma $$ (measured in $L^2$) and the pressure $$p$$ (also measured in $L^2$). The exact mass conservation property is directly related to another structure-preservation property called pressure robustness, as shown by pressure-independent velocity error estimates. The computational cost measured in terms of interface degrees of freedom is comparable to old and new Stokes discretizations.more » « less
-
Abstract Trace finite element methods have become a popular option for solving surface partial differential equations, especially in problems where surface and bulk effects are coupled. In such methods a surface mesh is formed by approximately intersecting the continuous surface on which the PDE is posed with a three-dimensional (bulk) tetrahedral mesh. InH1-conforming trace methods, the surface finite element space is obtained by restricting a bulk finite element space to the surface mesh. It is not clear how to carry out a similar procedure in order to obtain other important types of finite element spaces such asH(div)-conforming spaces. Following previous work of Olshanskii, Reusken, and Xu onH1-conforming methods, we develop a “quasi-trace” mixed method for the Laplace–Beltrami problem. The finite element mesh is taken to be the intersection of the surface with a regular tetrahedral bulk mesh as previously described, resulting in a surface triangulation that is highly unstructured and anisotropic but satisfies a classical maximum angle condition. The mixed method is then employed on this mesh. Optimal error estimates with respect to the bulk mesh size are proved along with superconvergent estimates for the projection of the scalar error and a postprocessed scalar approximation. Higher-order surface approximations are also considered.more » « less
-
A virtual element method (VEM) with the first order optimal convergence order is developed for solving two dimensional Maxwell interface problems on a special class of polygonal meshes that are cut by the interface from a background unfitted mesh. A novel virtual space is introduced on a virtual triangulation of the polygonal mesh satisfying a maximum angle condition, which shares exactly the same degrees of freedom as the usual H(curl)-conforming virtual space. This new virtual space serves as the key to prove that the optimal error bounds of the VEM are independent of high aspect ratio of the possible anisotropic polygonal mesh near the interface.more » « less
An official website of the United States government

