-
Advances on the finite element discretization of fluid-structure interaction problems
Authors:
Najwa Alshehri,
Daniele Boffi,
Fabio Credali,
Lucia Gastaldi
Abstract:
We review the main features of an unfitted finite element method for interface and fluid-structure interaction problems based on a distributed Lagrange multiplier in the spirit of the fictitious domain approach. We recall our theoretical findings concerning well-posedeness, stability, and convergence of the numerical schemes, and discuss the related computational challenges. In the case of ellipti…
▽ More
We review the main features of an unfitted finite element method for interface and fluid-structure interaction problems based on a distributed Lagrange multiplier in the spirit of the fictitious domain approach. We recall our theoretical findings concerning well-posedeness, stability, and convergence of the numerical schemes, and discuss the related computational challenges. In the case of elliptic interface problems, we also present a posteriori error estimates.
△ Less
Submitted 5 May, 2025;
originally announced May 2025.
-
Multigrid Preconditioning for FD-DLM Method in Elliptic Interface Problems
Authors:
Najwa Alshehri,
Daniele Boffi,
Chayapol Chaoveeraprasit
Abstract:
We investigate the performance of multigrid preconditioners for solving linear systems arising from finite element discretizations of elliptic interface problems using the Fictitious Domain with Distributed Lagrange Multipliers (FD-DLM) formulation. Numerical experiments are conducted using continuous and discontinuous finite element spaces for the Lagrange multiplier. Results indicate that multig…
▽ More
We investigate the performance of multigrid preconditioners for solving linear systems arising from finite element discretizations of elliptic interface problems using the Fictitious Domain with Distributed Lagrange Multipliers (FD-DLM) formulation. Numerical experiments are conducted using continuous and discontinuous finite element spaces for the Lagrange multiplier. Results indicate that multigrid is a promising preconditioner for problems in the FD-DLM formulation.
△ Less
Submitted 28 February, 2025;
originally announced March 2025.
-
A posteriori error estimator for elliptic interface problems in the fictitious formulation
Authors:
Najwa Alshehri,
Daniele Boffi,
Lucia Gastaldi
Abstract:
A posteriori error estimator is derived for an elliptic interface problem in the fictitious domain formulation with distributed Lagrange multiplier considering a discontinuous Lagrange multiplier finite element space. A posteriori error estimation plays a pivotal role in assessing the accuracy and reliability of computational solutions across various domains of science and engineering. This study…
▽ More
A posteriori error estimator is derived for an elliptic interface problem in the fictitious domain formulation with distributed Lagrange multiplier considering a discontinuous Lagrange multiplier finite element space. A posteriori error estimation plays a pivotal role in assessing the accuracy and reliability of computational solutions across various domains of science and engineering. This study delves into the theoretical underpinnings and computational considerations of a residual-based estimator.
Theoretically, the estimator is studied for cases with constant coefficients which jump across an interface as well as generalized scenarios with smooth coefficients that jump across an interface. Theoretical findings demonstrate the reliability and efficiency of the proposed estimators under all considered cases.
Numerical experiments are conducted to validate the theoretical results, incorporating various immersed geometries and instances of high coefficients jumps at the interface. Leveraging an adaptive algorithm, the estimator identifies regions with singularities and applies refinement accordingly. Results substantiate the theoretical findings, highlighting the reliability and efficiency of the estimators. Furthermore, numerical solutions exhibit optimal convergence properties, demonstrating resilience against geometric singularities or coefficients jumps.
△ Less
Submitted 30 June, 2024;
originally announced July 2024.
-
Unfitted mixed finite element methods for elliptic interface problems
Authors:
Najwa Alshehri,
Daniele Boffi,
Lucia Gastaldi
Abstract:
In this paper, new unfitted mixed finite elements are presented for elliptic interface problems with jump coefficients. Our model is based on a fictitious domain formulation with distributed Lagrange multiplier. The relevance of our investigations is better seen when applied to the framework of fluid structure interaction problems. Two finite elements schemes with piecewise constant Lagrange multi…
▽ More
In this paper, new unfitted mixed finite elements are presented for elliptic interface problems with jump coefficients. Our model is based on a fictitious domain formulation with distributed Lagrange multiplier. The relevance of our investigations is better seen when applied to the framework of fluid structure interaction problems. Two finite elements schemes with piecewise constant Lagrange multiplier are proposed and their stability is proved theoretically. Numerical results compare the performance of those elements, confirming the theoretical proofs and verifying that the schemes converge with optimal rate.
△ Less
Submitted 14 September, 2023; v1 submitted 7 November, 2022;
originally announced November 2022.
-
A Schwarz lemma for the pentablock
Authors:
Nujood M. Alshehri,
Zinaida A. Lykova
Abstract:
In this paper we prove a Schwarz lemma for the pentablock. The set \[ \mathcal{P}=\{(a_{21}, \text{tr} \ A, \det A) : A=[a_{ij}]_{i,j=1}^2 \in \mathbb{B}^{2\times 2}\} \] where $\mathbb{B}^{2\times 2}$ denotes the open unit ball in the space of $2\times 2$ complex matrices, is called the pentablock. The pentablock is a bounded nonconvex domain in $\Bbb{C}^3$ which arises naturally in connection wi…
▽ More
In this paper we prove a Schwarz lemma for the pentablock. The set \[ \mathcal{P}=\{(a_{21}, \text{tr} \ A, \det A) : A=[a_{ij}]_{i,j=1}^2 \in \mathbb{B}^{2\times 2}\} \] where $\mathbb{B}^{2\times 2}$ denotes the open unit ball in the space of $2\times 2$ complex matrices, is called the pentablock. The pentablock is a bounded nonconvex domain in $\Bbb{C}^3$ which arises naturally in connection with a certain problem of $μ$-synthesis. We develop a concrete structure theory for the rational maps from the unit disc $\Bbb{D}$ to the closed pentablock $\overline{\mathcal{P}}$ that map the unit circle ${\mathbb{T}}$ to the distinguished boundary $b\overline{\mathcal{P}}$ of $\overline{\mathcal{P}}$. Such maps are called rational ${\overline{\mathcal{P}}}$-inner functions. We give relations between penta-inner functions and inner functions from $\Bbb{D}$ to the symmetrized bidisc. We describe the construction of rational penta-inner functions $x = (a, s, p) : \Bbb{D} \rightarrow \overline{\mathcal{P}}$ of prescribed degree from the zeroes of $a, s$ and $s^2-4p$. The proof of this theorem is constructive: it gives an algorithm for the construction of a family of such functions $x$ subject to the computation of Fejér-Riesz factorizations of certain non-negative trigonometric functions on the circle. We use properties and the construction of rational ${\overline{\mathcal{P}}}$-inner functions to prove a Schwarz lemma for the pentablock.
△ Less
Submitted 26 November, 2022; v1 submitted 15 May, 2022;
originally announced May 2022.
