Searcharxiv⌕ Search

arXiv subjects

Ruchi Guo

Publications and source records attributed to Ruchi Guo.

27 records · Page 2Linked to original sources

Error Analysis of Symmetric Linear/Bilinear Partially Penalized Immersed Finite Element Methods for Helmholtz Interface Problems

This article presents an error analysis of the symmetric linear/bilinear partially penalized immersed finite element (PPIFE) methods for interface problems of Helmholtz equations. Under the assumption that the exact solution possesses a usual piecewise $H^2$ regularity, the optimal error bounds for the PPIFE solutions are derived in an energy norm and the usual $L^2$ norm provided that the mesh size is sufficiently small. A numerical example is conducted to validate the theoretical conclusions.

math.NA↗

Solving Parabolic Moving Interface Problems with Dynamical Immersed Spaces on Unfitted Meshes: Fully Discrete Analysis

Immersed finite element (IFE) methods are a group of long-existing numerical methods for solving interface problems on unfitted meshes. A core argument of the methods is to avoid mesh regeneration procedure when solving moving interface problems. Despite the various applications in moving interface problems, a complete theoretical study on the convergence behavior is still missing. This research is devoted to close the gap between numerical experiments and theory. We present the first fully discrete analysis including the stability and optimal error estimates for a backward Euler IFE method for solving parabolic moving interface problems. Numerical results are also presented to validate the analysis.

math.NA↗

An Enriched Immersed Finite Element Method for Interface Problems with Nonhomogeneous Jump Conditions

This article presents and analyzes a $p^{th}$-degree immersed finite element (IFE) method for elliptic interface problems with nonhomogeneous jump conditions. In this method, jump conditions are approximated optimally by basic IFE and enrichment IFE piecewise polynomial functions constructed by solving local Cauchy problems on interface elements. The proposed IFE method is based on a discontinuous Galerkin formulation on interface elements and a continuous Galerkin formulation on non-interface elements. This $p^{th}$-degree IFE method is proved to converge optimally under mesh refinement. In addition, this article addresses the stability of this IFE method and has established upper bounds for its condition numbers which are optimal with respect to the mesh size but suboptimal with respect to the contrast of the discontinuous coefficient.

math.NA↗

Solving Three-Dimensional Interface Problems with Immersed Finite Elements: A-Priori Error Analysis

In this paper, we develop and analyze a trilinear immersed finite element method for solving three-dimensional elliptic interface problems. The proposed method can be utilized on interface-unfitted meshes such as Cartesian grids consisting of cuboids. We establish the trace and inverse inequalities for trilinear IFE functions for interface elements with arbitrary interface-cutting configuration. Optimal a priori error estimates are rigorously proved in both energy and L2 norms. Numerical examples are provided not only to verify our theoretical results but also to demonstrate the applicability of this IFE method in tackling some real-world 3D interface models.

math.NA↗

A Trilinear Immersed Finite Element Method for Solving Elliptic Interface Problems

This article presents an immersed finite element (IFE) method for solving the typical three-dimensional second order elliptic interface problem with an interface-independent Cartesian mesh. The local IFE space on each interface element consists of piecewise trilinear polynomials which are constructed by extending polynomials from one subelement to the whole element according to the jump conditions of the interface problem. In this space, the IFE shape functions with the Lagrange degrees of freedom can always be constructed regardless of interface location and discontinuous coefficients. The proposed IFE space is proven to have the optimal approximation capabilities to the functions satisfying the jump conditions. A group of numerical examples with representative interface geometries are presented to demonstrate features of the proposed IFE method.

math.NA↗

A Fixed Mesh Method With Immersed Finite Elements for Solving Interface Inverse Problems

We present a new fixed mesh algorithm for solving a class of interface inverse problems for the typical elliptic interface problems. These interface inverse problems are formulated as shape optimization prob- lems whose objective functionals depend on the shape of the interface. Regardless of the location of the interface, both the governing partial differential equations and the objective functional are discretized optimally, with respect to the involved polynomial space, by an immersed finite element (IFE) method on a fixed mesh. Furthermore, the formula for the gradient of the descritized objective function is de- rived within the IFE framework that can be computed accurately and efficiently through the discretized adjoint procedure. Features of this proposed IFE method based on a fixed mesh are demonstrated by its applications to three representative interface inverse problems: the interface inverse problem with an internal measurement on a sub-domain, a Dirichlet-Neumann type inverse problem whose data is given on the boundary, and a heat dissipation design problem.

math.NA↗

Approximation Capabilities of Immersed Finite Element Spaces for Elasticity Interface Problems

We construct and analyze a group of immersed finite element (IFE) spaces formed by linear, bilinear and rotated Q1 polynomials for solving planar elasticity equation involving interface. The shape functions in these IFE spaces are constructed through a group of approximate jump conditions such that the unisolvence of the bilinear and rotated Q1 IFE shape functions are always guaranteed regardless of the Lamè parameters and the interface location. The boundedness property and a group of identities of the proposed IFE shape functions are established. A multi-point Taylor expansion is utilized to show the optimal approximation capabilities for the proposed IFE spaces through the Lagrange type interpolation operators.

math.NA↗

A Group of Immersed Finite Element Spaces For Elliptic Interface Problems

We present a unified framework for developing and analysing immersed finite element (IFE) spaces for solving typical elliptic interface problems with interface independent meshes. This framework allows us to construct a group of new IFE spaces with either linear, or bilinear, or the rotated-Q1 polynomials. Functions in these IFE spaces are locally piecewise polynomials defined according to the sub-elements formed by the interface itself instead of its line approximation. We show that the unisolvence for these IFE spaces follows from the invertibility of the Sherman-Morrison matrix. A group of estimates and identities are established for the interface geometry and shape functions that are applicable to all of these IFE spaces. Most importantly, these fundamental preparations enable us to develop a unified multipoint Taylor expansion procedure for proving that these IFE spaces have the expected optimal approximation capability according to the involved polynomials.

math.NA↗

Nonconforming Immersed Finite Element Spaces For Elliptic Interface Problems

In this paper, we use a unified framework introduced in [3] to study two classes of nonconforming immersed finite element (IFE) spaces with integral value degrees of freedom. The shape functions on interface elements are piecewise polynomials defined on sub-elements separated either by the actual interface or its line approximation. In this unified framework, we use the invertibility of the well known Sherman-Morison systems to prove the existence and uniqueness of shape functions on each interface element in either rectangular or triangular mesh. Furthermore, we develop a multi-edge expansion for piecewise functions and a group of identities for nonconforming IFE functions which enable us to show that these IFE spaces have the optimal approximation capability.

math.NA↗