arXiv subjects

Fadi Philo

Publications and source records attributed to Fadi Philo.

5 recordsLinked to original sources

arXiv2024

Analysis of a family of time-continuous strongly conservative space-time finite element methods for the dynamic Biot model

We consider the dynamic Biot model describing the interaction between fluid flow and solid deformation including wave propagation phenomena in both the liquid and solid phases of a saturated porous medium. The model couples a hyperbolic equation for momentum balance to a second-order in time dynamic Darcy law and a parabolic equation for the balance of mass and is here considered in three-field formulation with the displacement of the elastic matrix, the fluid velocity, and the fluid pressure being the physical fields of interest. A family of variational space-time finite element methods is proposed that combines a continuous-in-time Galerkin ansatz of arbitrary polynomial degree with inf-sup stable $H(\rm{div})$-conforming approximations of discontinuous Galerkin (DG) type in case of the displacement and a mixed approximation of the flux, its time derivative and the pressure field. We prove error estimates in a combined energy norm as well as $L^2$~error estimates in space for the individual fields for both maximum and $L^2$ norm in time which are optimal for the displacement and pressure approximations.

math.NA↗

arXiv2021

A new practical framework for the stability analysis of perturbed saddle-point problems and applications

In this paper we prove a new abstract stability result for perturbed saddle-point problems based on a norm fitting technique. We derive the stability condition according to Babuska's theory from a small inf-sup condition, similar to the famous Ladyzhenskaya-Babuska-Brezzi (LBB) condition, and the other standard assumptions in Brezzi's theory, in a combined abstract norm. The construction suggests to form the latter from individual fitted norms that are composed from proper seminorms. This abstract framework not only allows for simpler (shorter) proofs of many stability results but also guides the design of parameter-robust norm-equivalent preconditioners. These benefits are demonstrated on mixed variational formulations of generalized Poisson, Stokes, vector Laplace and Biot's equations.

math.NA↗

arXiv2020

On the stability of time-discrete dynamic multiple network poroelasticity systems arising from second-order implicit time-stepping schemes

The classical Biot's theory provides the foundation of a fully dynamic poroelasticity model describing the propagation of elastic waves in fluid-saturated media. Multiple network poroelastic theory (MPET) takes into account that the elastic matrix (solid) can be permeated by one or several ($n\ge1$) superimposed interacting single fluid networks of possibly different characteristics; hence the single network (classical Biot) model can be considered as a special case of the MPET model. We analyze the stability properties of the time-discrete systems arising from second-order implicit time stepping schemes applied to the variational formulation of the MPET model and prove an inf-sup condition with a constant that is independent of all model parameters. Moreover, we show that the fully discrete models obtained for a family of strongly conservative space discretizations are also uniformly stable with respect to the spatial discretization parameter. The norms in which these results hold are the basis for parameter-robust preconditioners.

math.NA↗

arXiv2019

Parameter-robust Uzawa-type iterative methods for double saddle point problems arising in Biot's consolidation and multiple-network poroelasticity models

This work is concerned with the iterative solution of systems of quasi-static multiple-network poroelasticity (MPET) equations describing flow in elastic porous media that is permeated by single or multiple fluid networks. Here, the focus is on a three-field formulation of the problem in which the displacement field of the elastic matrix and, additionally, one velocity field and one pressure field for each of the $n \ge 1$ fluid networks are the unknown physical quantities. Generalizing Biot's model of consolidation, which is obtained for $n=1$, the MPET equations for $n\ge1$ exhibit a double saddle point structure. The proposed approach is based on a framework of augmenting and splitting this three-by-three block system in such a way that the resulting block Gauss-Seidel preconditioner defines a fully decoupled iterative scheme for the flux-, pressure-, and displacement fields. In this manner, one obtains an augmented Lagrangian Uzawa-type method, the analysis of which is the main contribution of this work. The parameter-robust uniform linear convergence of this fixed-point iteration is proved by showing that its rate of contraction is strictly less than one independent of all physical and discretization parameters. The theoretical results are confirmed by a series of numerical tests that compare the new fully decoupled scheme to the very popular partially decoupled fixed-stress split iterative method, which decouples only flow--the flux and pressure fields remain coupled in this case--from the mechanics problem. We further test the performance of the block triangular preconditioner defining the new scheme when used to accelerate the GMRES algorithm.

math.NA↗

arXiv2018

Conservative discretizations and parameter-robust preconditioners for Biot and multiple-network flux-based poroelastic models

The parameters in the governing system of partial differential equations of multicompartmental poroelastic models typically vary over several orders of magnitude making its stable discretization and efficient solution a challenging task. In this paper, inspired by the approach recently presented by Hong and Kraus~[Parameter-robust stability of classical three-field formulation of Biot's consolidation model, ETNA (to appear)] for the Biot model, we prove the uniform stability, and design stable disretizations and parameter-robust preconditioners for flux-based formulations of multiple-network poroelastic systems. Novel parameter-matrix-dependent norms that provide the key for establishing uniform inf-sup stability of the continuous problem are introduced. As a result, the stability estimates presented here are uniform not only with respect to the Lam\'e parameter $\lambda$, but also with respect to all the other model parameters such as permeability coefficients $K_i$, storage coefficients $c_{p_i}$, network transfer coefficients $\beta_{ij}, i,j=1,\cdots,n$, the scale of the networks $n$ and the time step size $\tau$. Moreover, strongly mass conservative discretizations that meet the required conditions for parameter-robust stability are suggested and corresponding optimal error estimates proved. The transfer of the canonical (norm-equivalent) operator preconditioners from the continuous to the discrete level lays the foundation for optimal and fully robust iterative solution methods. The theoretical results are confirmed in numerical experiments that are motivated by practical applications.

math.NA↗