An $hp$ version of interface penalty finite element method ($hp$-IPFEM) is proposed for elliptic interface problems in two and three dimensions on unfitted meshes. Error estimates in broken $H^1$ norm, which are optimal with respect to $h$ and suboptimal with respect to $p$ by half an order of $p$, are derived. Both symmetric and non-symmetric IPFEM are considered. Error estimates in $L^2$ norm are proved by the duality argument.
We propose an unfitted finite element method for numerically solving the time-harmonic Maxwell equations on a smooth domain. The model problem involves a Lagrangian multiplier to relax the divergence constraint of the vector unknown. The embedded boundary of the domain is allowed to cut through the background mesh arbitrarily. The unfitted scheme is based on a mixed interior penalty formulation, where Nitsche penalty method is applied to enforce the boundary condition in a weak sense, and a penalty stabilization technique is adopted based on a local direct extension operator to ensure the stab…
In this work, we analyse the links between ghost penalty stabilisation and aggregation-based discrete extension operators for the numerical approximation of elliptic partial differential equations on unfitted meshes. We explore the behavior of ghost penalty methods in the limit as the penalty parameter goes to infinity, which returns a strong version of these methods. We observe that these methods suffer locking in that limit. On the contrary, aggregated finite element spaces are locking-free because they can be expressed as an extension operator from well-posed to ill-posed degrees of freedom…
This paper proposes a deep unfitted Nitsche method for computing elliptic interface problems with high contrasts in high dimensions. To capture discontinuities of the solution caused by interfaces, we reformulate the problem as an energy minimization involving two weakly coupled components. This enables us to train two deep neural networks to represent two components of the solution in high-dimensional. The curse of dimensionality is alleviated by using the Monte-Carlo method to discretize the unfitted Nitsche energy function. We present several numerical examples to show the performance of th…
This paper presents a lowest-order immersed Raviart-Thomas mixed triangular finite element method for solving elliptic interface problems on unfitted meshes independent of the interface. In order to achieve the optimal convergence rates on unfitted meshes, an immersed finite element finite (IFE) is constructed by modifying the traditional Raviart-Thomas element. Some important properties are derived including the unisolvence of IFE basis functions, the optimal approximation capabilities of the IFE space and the corresponding commuting digram. Optimal error estimates are rigorously proved for t…
An arbitrarily high order unfitted finite element method for elliptic interface problems with automatic mesh generation, Part II. Piecewise-smooth interfaces
Nitsche's method is a popular approach to implement Dirichlet-type boundary conditions in situations where a strong imposition is either inconvenient or simply not feasible. The method is widely applied in the context of unfitted finite element methods. From the classical (symmetric) Nitsche's method it is well-known that the stabilization parameter in the method has to be chosen sufficiently large to obtain unique solvability of discrete systems. In this short note we discuss an often used strategy to set the stabilization parameter and describe a possible problem that can arise from this. We…
We design an adaptive unfitted finite element method on the Cartesian mesh with hanging nodes. We derive an hp-reliable and efficient residual type a posteriori error estimate on K-meshes. A key ingredient is a novel hp-domain inverse estimate which allows us to prove the stability of the finite element method under practical interface resolving mesh conditions and also prove the lower bound of the hp a posteriori error estimate. Numerical examples are included.
We propose a discontinuous Galerkin(DG) method to approximate the elliptic interface problem on unfitted mesh using a new approximation space. The approximation space is constructed by patch reconstruction with one degree of freedom per element. The optimal error estimates in both L2 norm and DG energy norm are obtained, without the typical constraints for DG method on how the interface intersects to the elements in the mesh. Other than enjoying the advantages of DG method, our method may achieve even better efficiency than the conforming finite element method, as illustrated by numerical exam…
We propose and analyze an unfitted finite element method for solving elliptic problems on domains with curved boundaries and interfaces. The approximation space on the whole domain is obtained by the direct extension of the finite element space defined on interior elements, in the sense that there is no degree of freedom locating in boundary/interface elements. The boundary/jump conditions are imposed in a weak sense in the scheme. The method is shown to be stable without any mesh adjustment or any special stabilization. Optimal convergence rates under the $L^2$ norm and the energy norm are de…
We study Hibridizable Discontinuous Galerkin (HDG) discretizations for a class of non-linear interior elliptic boundary value problems posed in curved domains where both the source term and the diffusion coefficient are non-linear. We consider the cases where the non-linear diffusion coefficient depends on the solution and on the gradient of the solution. To sidestep the need for curved elements, the discrete solution is computed on a polygonal subdomain that is not assumed to interpolate the true boundary, giving rise to an unfitted computational mesh. We show that, under mild assumptions on …
We present a priori and a posteriori error analysis of a high order hybridizable discontinuous Galerkin (HDG) method applied to a semi-linear elliptic problem posed on a piecewise curved, non polygonal domain. We approximate $Ω$ by a polygonal subdomain $Ω_h$ and propose an HDG discretization, which is shown to be optimal under mild assumptions related to the non-linear source term and the distance between the boundaries of the polygonal subdomain $Ω_h$ and the true domain $Ω$. Moreover, a local non-linear post-processing of the scalar unknown is proposed and shown to provide an additional ord…
In this article, we develop and analyze a finite element method with the first family Nédélec elements of the lowest degree for solving a Maxwell interface problem modeled by a $\mathbf{H}(\text{curl})$-elliptic equation on unfitted meshes. To capture the jump conditions optimally, we construct and use $\mathbf{H}(\text{curl})$ immersed finite element (IFE) functions on interface elements while keep using the standard Nédélec functions on all the non-interface elements. We establish a few important properties for the IFE functions including the unisolvence according to the edge degrees of free…
Preconditioned Reconstructed Discontinuous Approximation For Elliptic Interface Problem on Unfitted Mesh
Peking University（北京大学）；Hangzhou International Innovation Institute of Beihang University（北京航空航天大学杭州创新研究院）；Sichuan University（四川大学）；Institute of Applied Physics and Computational Mathematics（应用物理与计算数学研究所）
Radial basis function generated finite difference (RBF-FD) methods for PDEs require a set of interpolation points which conform to the computational domain $Ω$. One of the requirements leading to approximation robustness is to place the interpolation points with a locally uniform distance around the boundary of $Ω$. However generating interpolation points with such properties is a cumbersome problem. Instead, the interpolation points can be extended over the boundary and as such completely decoupled from the shape of $Ω$. In this paper we present a modification to the least-squares RBF-FD meth…
We develop a stabilized cut discontinuous Galerkin framework for the numerical solution of el- liptic boundary value and interface problems on complicated domains. The domain of interest is embedded in a structured, unfitted background mesh in R d , so that the boundary or interface can cut through it in an arbitrary fashion. The method is based on an unfitted variant of the classical symmetric interior penalty method using piecewise discontinuous polynomials defined on the back- ground mesh. Instead of the cell agglomeration technique commonly used in previously introduced unfitted discontinu…
This work introduces a novel, fully robust and highly-scalable, $h$-adaptive aggregated unfitted finite element method for large-scale interface elliptic problems. The new method is based on a recent distributed-memory implementation of the aggregated finite element method atop a highly-scalable Cartesian forest-of-trees mesh engine. It follows the classical approach of weakly coupling nonmatching discretisations at the interface to model internal discontinuities at the interface. We propose a natural extension of a single-domain parallel cell aggregation scheme to problems with a finite numbe…
Divergence-free unfitted finite element discretisations for the Darcy problem
Monash University（莫纳什大学）；The Australian National University（澳大利亚国立大学）；KTH Royal Institute of Technology（瑞典皇家理工学院）；Universidad Adventista de Chile（智利基督复临安息日会大学）
In this paper, we propose a novel high order unfitted finite element method on Cartesian meshes for solving the acoustic wave equation with discontinuous coefficients having complex interface geometry. The unfitted finite element method does not require any penalty to achieve optimal convergence. We also introduce a new explicit time discretization method for the ODE system resulting from the spatial discretization of the wave equation. The strong stability and optimal $hp$-version error estimates both in time and space are established. Numerical examples confirm our theoretical results.
The paper develops an unfitted finite element method for solving the Darcy system of equations posed in a network of fractures embedded in a porous matrix. The approach builds on the Hughes--Masud stabilized formulation of the Darcy problem and the trace finite element method. The system of fractures is allowed to cut through the background mesh in an arbitrary way. Moreover, the fractures are not triangulated in the common sense and the junctions of fractures are not fitted by the mesh. To couple the flow variables at multiple fracture junctions, we extend the Hughes--Masud formulation by inc…
In this work, we investigate the performance CutFEM as a high fidelity solver as well as we construct a competent and economical reduced order solver for PDE-constrained optimization problems in parametrized domains that live in a fixed background geometry and mesh. Its effectiveness and reliability will be assessed through its application for the numerical solution of quadratic optimization problems with elliptic equations as constraints, examining an archetypal case. The reduction strategy will be via Proper Orthogonal Decomposition of suitable FE snapshots, using an aggregated state and adj…
University of Science and Technology of China（中国科学技术大学）；The Hong Kong Polytechnic University（香港理工大学）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）
We explore a new way to handle flux boundary conditions imposed on level sets. The proposed approach is a diffuse interface version of the shifted boundary method (SBM) for continuous Galerkin discretizations of conservation laws in embedded domains. We impose the interface conditions weakly and approximate surface integrals by volume integrals. The discretized weak form of the governing equation has the structure of an immersed boundary finite element method. That is, integration is performed over a fixed fictitious domain. Source terms are included to account for interface conditions and ext…
