-
A posteriori error analysis of a robust virtual element method for stress-assisted diffusion problems
Authors:
Franco Dassi,
Rekha Khot,
Andres E. Rubiano,
Ricardo Ruiz-Baier
Abstract:
We develop and analyse residual-based a posteriori error estimates for the virtual element discretisation of a nonlinear stress-assisted diffusion problem in two and three dimensions. The model problem involves a two-way coupling between elasticity and diffusion equations in perturbed saddle-point form. A robust global inf-sup condition and Helmholtz decomposition for…
▽ More
We develop and analyse residual-based a posteriori error estimates for the virtual element discretisation of a nonlinear stress-assisted diffusion problem in two and three dimensions. The model problem involves a two-way coupling between elasticity and diffusion equations in perturbed saddle-point form. A robust global inf-sup condition and Helmholtz decomposition for $\mathbf{H}(\mathrm{div}, Ω)$ lead to a reliable and efficient error estimator based on appropriately weighted norms that ensure parameter robustness. The a posteriori error analysis uses quasi-interpolation operators for Stokes and edge virtual element spaces, and we include the proofs of such operators with estimates in 3D for completeness. Finally, we present numerical experiments in both 2D and 3D to demonstrate the optimal performance of the proposed error estimator.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
Hybrid high-order methods for elasto-acoustic wave propagation in the time domain
Authors:
Romain Mottier,
Alexandre Ern,
Rekha Khot,
Laurent Guillot
Abstract:
We devise a Hybrid High-Order (HHO) method for the coupling between the acoustic and elastic wave equations in the time domain. A first-order formulation in time is considered. The HHO method can use equal-order and mixed-order settings, as well as O(1)- and O(1/h)-stabilizations. An energy-error estimate is established in the time-continuous case. A numerical spectral analysis is performed, showi…
▽ More
We devise a Hybrid High-Order (HHO) method for the coupling between the acoustic and elastic wave equations in the time domain. A first-order formulation in time is considered. The HHO method can use equal-order and mixed-order settings, as well as O(1)- and O(1/h)-stabilizations. An energy-error estimate is established in the time-continuous case. A numerical spectral analysis is performed, showing that O(1)-stabilization is required to avoid excessive CFL limitations for explicit time discretizations. Moreover, the spectral radius of the stiffness matrix is fairly independent of the geometry of the mesh cells. For analytical solutions on general meshes, optimal convergence rates of order (k+1) are shown in both equal- and mixed-order settings using O(1)-stabilization, whereas order (k+2) is achieved in the mixed-order setting using O(1/h)-stabilization. Test cases with a Ricker wavelet as an initial condition showcase the relevance of the proposed method for the simulation of elasto-acoustic wave propagation across media with contrasted material properties.
△ Less
Submitted 15 February, 2025;
originally announced February 2025.
-
Robust virtual element methods for coupled stress-assisted diffusion problems
Authors:
Rekha Khot,
Andres E. Rubiano,
Ricardo Ruiz-Baier
Abstract:
This paper aims first to perform robust continuous analysis of a mixed nonlinear formulation for stress-assisted diffusion of a solute that interacts with an elastic material, and second to propose and analyse a virtual element formulation of the model problem. The two-way coupling mechanisms between the Herrmann formulation for linear elasticity and the reaction-diffusion equation (written in mix…
▽ More
This paper aims first to perform robust continuous analysis of a mixed nonlinear formulation for stress-assisted diffusion of a solute that interacts with an elastic material, and second to propose and analyse a virtual element formulation of the model problem. The two-way coupling mechanisms between the Herrmann formulation for linear elasticity and the reaction-diffusion equation (written in mixed form) consist of diffusion-induced active stress and stress-dependent diffusion. The two sub-problems are analysed using the extended Babuška--Brezzi--Braess theory for perturbed saddle-point problems. The well-posedness of the nonlinearly coupled system is established using a Banach fixed-point strategy under the smallness assumption on data. The virtual element formulations for the uncoupled sub-problems are proven uniquely solvable by a fixed-point argument in conjunction with appropriate projection operators. We derive the a priori error estimates, and test the accuracy and performance of the proposed method through computational simulations.
△ Less
Submitted 2 August, 2024; v1 submitted 17 January, 2024;
originally announced January 2024.
-
Virtual element methods for Biot-Kirchhoff poroelasticity
Authors:
Rekha Khot,
David Mora,
Ricardo Ruiz-Baier
Abstract:
This paper analyses conforming and nonconforming virtual element formulations of arbitrary polynomial degrees on general polygonal meshes for the coupling of solid and fluid phases in deformable porous plates. The governing equations consist of one fourth-order equation for the transverse displacement of the middle surface coupled with a second-order equation for the pressure head relative to the…
▽ More
This paper analyses conforming and nonconforming virtual element formulations of arbitrary polynomial degrees on general polygonal meshes for the coupling of solid and fluid phases in deformable porous plates. The governing equations consist of one fourth-order equation for the transverse displacement of the middle surface coupled with a second-order equation for the pressure head relative to the solid with mixed boundary conditions. We propose novel enrichment operators that connect nonconforming virtual element spaces of general degree to continuous Sobolev spaces. These operators satisfy additional orthogonal and best-approximation properties (referred to as a conforming companion operator in the context of finite element methods), which play an important role in the nonconforming methods. This paper proves a priori error estimates in the best-approximation form, and derives residual--based reliable and efficient a posteriori error estimates in appropriate norms, and shows that these error bounds are robust with respect to the main model parameters. The computational examples illustrate the numerical behaviour of the suggested virtual element discretisations and confirm the theoretical findings on different polygonal meshes with mixed boundary conditions.
△ Less
Submitted 30 April, 2024; v1 submitted 24 June, 2023;
originally announced June 2023.
-
Conforming VEM for general second-order elliptic problems with rough data on polygonal meshes and its application to a Poisson inverse source problem
Authors:
Rekha Khot,
Neela Nataraj,
Nitesh Verma
Abstract:
This paper focuses on the analysis of conforming virtual element methods for general second-order linear elliptic problems with rough source terms and applies it to a Poisson inverse source problem with rough measurements. For the forward problem, when the source term belongs to $H^{-1}(Ω)$, the right-hand side for the discrete approximation defined through polynomial projections is not meaningful…
▽ More
This paper focuses on the analysis of conforming virtual element methods for general second-order linear elliptic problems with rough source terms and applies it to a Poisson inverse source problem with rough measurements. For the forward problem, when the source term belongs to $H^{-1}(Ω)$, the right-hand side for the discrete approximation defined through polynomial projections is not meaningful even for standard conforming virtual element method. The modified discrete scheme in this paper introduces a novel companion operator in the context of conforming virtual element method and allows data in $H^{-1}(Ω)$. This paper has {\it three} main contributions. The {\it first} contribution is the design of a conforming companion operator $J$ from the {\it conforming virtual element space} to the Sobolev space $V:=H^1_0(Ω)$, a modified virtual element scheme, and the \textit{a priori} error estimate for the Poisson problem in the best-approximation form without data oscillations. The {\it second} contribution is the extension of the \textit{a priori} analysis to general second-order elliptic problems with source term in $V^*$. The {\it third} contribution is an application of the companion operator in a Poisson inverse source problem when the measurements belong to $V^*$. The Tikhonov's regularization technique regularizes the ill-posed inverse problem, and the conforming virtual element method approximates the regularized problem given a finite measurement data. The inverse problem is also discretised using the conforming virtual element method and error estimates are established. Numerical tests on different polygonal meshes for general second-order problems, and for a Poisson inverse source problem with finite measurement data verify the theoretical results.
△ Less
Submitted 17 February, 2023;
originally announced February 2023.
-
Nonconforming virtual elements for the biharmonic equation with Morley degrees of freedom on polygonal meshes
Authors:
Carsten Carstensen,
Rekha Khot,
Amiya K. Pani
Abstract:
The lowest-order nonconforming virtual element extends the Morley triangular element to polygons for the approximation of the weak solution $u\in V:=H^2_0(Ω)$ to the biharmonic equation. The abstract framework allows (even a mixture of) two examples of the local discrete spaces $V_h(P)$ and a smoother allows rough source terms $F\in V^*=H^{-2}(Ω)$. The a priori and a posteriori error analysis in t…
▽ More
The lowest-order nonconforming virtual element extends the Morley triangular element to polygons for the approximation of the weak solution $u\in V:=H^2_0(Ω)$ to the biharmonic equation. The abstract framework allows (even a mixture of) two examples of the local discrete spaces $V_h(P)$ and a smoother allows rough source terms $F\in V^*=H^{-2}(Ω)$. The a priori and a posteriori error analysis in this paper circumvents any trace of second derivatives by some computable conforming companion operator $J:V_h\to V$ from the nonconforming virtual element space $V_h$. The operator $J$ is a right-inverse of the interpolation operator and leads to optimal error estimates in piecewise Sobolev norms without any additional regularity assumptions on $u\in V$. As a smoother the companion operator modifies the discrete right-hand side and then allows a quasi-best approximation. An explicit residual-based a posteriori error estimator is reliable and efficient up to data oscillations. Numerical examples display the predicted empirical convergence rates for uniform and optimal convergence rates for adaptive mesh-refinement.
△ Less
Submitted 18 May, 2022;
originally announced May 2022.
-
A priori and a posteriori error analysis of the lowest-order NCVEM for second-order linear indefinite elliptic problems
Authors:
Carsten Carstensen,
Rekha Khot,
Amiya K. Pani
Abstract:
The nonconforming virtual element method (NCVEM) for the approximation of the weak solution to a general linear second-order non-selfadjoint indefinite elliptic PDE in a polygonal domain is analyzed under reduced elliptic regularity. The main tool in the a priori error analysis is the connection between the nonconforming virtual element space and the Sobolev space $H^1_0(Ω)$ by a right-inverse…
▽ More
The nonconforming virtual element method (NCVEM) for the approximation of the weak solution to a general linear second-order non-selfadjoint indefinite elliptic PDE in a polygonal domain is analyzed under reduced elliptic regularity. The main tool in the a priori error analysis is the connection between the nonconforming virtual element space and the Sobolev space $H^1_0(Ω)$ by a right-inverse $J$ of the interpolation operator $I_h$. The stability of the discrete solution allows for the proof of existence of a unique discrete solution, of a discrete inf-sup estimate and, consequently, for optimal error estimates in the $H^1$ and $L^2$ norms. The explicit residual-based a posteriori error estimate for the NCVEM is reliable and efficient up to the stabilization and oscillation terms. Numerical experiments on different types of polygonal meshes illustrate the robustness of an error estimator and support the improved convergence rate of an adaptive mesh-refinement in comparison to the uniform mesh-refinement.
△ Less
Submitted 13 March, 2022; v1 submitted 21 January, 2021;
originally announced January 2021.
