We consider the system of partial differential equations stemming from the time discretization of the two-field formulation of the Biot's model with the backward Euler scheme. A typical difficulty encountered in the space discretization of this problem is the robustness with respect to various material parameters. We deal with this issue by observing that the problem is uniformly stable, irrespective of all parameters, in a suitable nonsymmetric variational setting. Guided by this result, we design a novel nonconforming discretization, which employs Crouzeix-Raviart and discontinuous elements. We prove that the proposed discretization is quasi-optimal and robust in a parameter-dependent norm and discuss the consequences of this result.
In this manuscript we focus on the question: what is the correct notion of Stokes-Biot stability? Stokes-Biot stable discretizations have been introduced, independently by several authors, as a means of discretizing Biot's equations of poroelasticity; such schemes retain their stability and convergence properties, with respect to appropriately defined norms, in the context of a vanishing storage coefficient and a vanishing hydraulic conductivity. The basic premise of a Stokes-Biot stable discretization is: one part Stokes stability and one part mixed Darcy stability. In this manuscript we rema…
We develop robust solvers for a class of perturbed saddle-point problems arising in the study of a second-order elliptic equation in mixed form (in terms of flux and potential), and of the four-field formulation of Biot's consolidation problem for linear poroelasticity (using displacement, filtration flux, total pressure and fluid pressure). The stability of the continuous variational mixed problems, which hinges upon using adequately weighted spaces, is addressed in detail; and the efficacy of the proposed preconditioners, as well as their robustness with respect to relevant material properti…
Penalty-scaling effects in nonsymmetric interior-penalty DG discretizations of viscous rotating shallow-water equations
College of Science, National University of Defense Technology（国防科技大学理学院）；College of Meteorology and Oceanography, National University of Defense Technology（国防科技大学气象海洋学院）
We develop non-overlapping domain decomposition methods for the Biot system of poroelasticity in a mixed form. The solid deformation is modeled with a mixed three-field formulation with weak stress symmetry. The fluid flow is modeled with a mixed Darcy formulation. We introduce displacement and pressure Lagrange multipliers on the subdomain interfaces to impose weakly continuity of normal stress and normal velocity, respectively. The global problem is reduced to an interface problem for the Lagrange multipliers, which is solved by a Krylov space iterative method. We study both monolithic and s…
This paper concentrates on a priori error estimates of two fully discrete coupled schemes for Biot's consolidation model based on the three-field formulation introduced by Oyarzua et al. (SIAM Journal on Numerical Analysis, 2016). The spatial discretizations are based on the Taylor-Hood finite elements combined with Lagrange elements for the three primary variables. For time discretization, we consider two methods. One uses the backward Euler method, and the other applies a combination of the backward Euler and Crank-Nicolson methods. A priori error estimates show that the two schemes are unco…
We consider the quasi-static Biot's consolidation model in a three-field formulation with the three unknown physical quantities of interest being the displacement $\boldsymbol{u}$ of the solid matrix, the seepage velocity $\boldsymbol{v}$ of the fluid and the pore pressure $p$. As conservation of fluid mass is a leading physical principle in poromechanics, we preserve this property using an $\boldsymbol{H}(\operatorname{div})$-conforming ansatz for $\boldsymbol{u}$ and $\boldsymbol{v}$ together with an appropriate pressure space. This results in Stokes and Darcy stability and exact, that is, p…
Additive Schwarz preconditioner for the general finite volume element discretization of symmetric elliptic problems
University of Warsaw（华沙大学）；Bergen University College（卑尔根大学学院）；University of Bergen（卑尔根大学）；University of South Bohemia（南波希米亚大学）；Institute of Information Theory and Automation of the ASCR（捷克科学院信息论与自动化研究所）
Weakly imposed symmetry and robust preconditioners for Biot's consolidation model
University of Oslo（奥斯陆大学）；The Institute for Computational and Engineering Sciences, University of Texas Austin（德克萨斯大学奥斯汀分校计算与工程科学研究所）；Simula Research Laboratory（西幕拉研究实验室）
In this paper, a new iterative two-level algorithm is presented for solving the finite element discretization for nonsymmetric or indefinite elliptic problems. The iterative two-level algorithm uses the same coarse space as the traditional two-grid algorithm, but its ``fine space'' uses the higher oder finite element space under the coarse grid. Therefore, the iterative two-level algorithm only needs one grid, and the computational cost is much lower than the traditional iterative two-grid algorithm. Finally, compared with the traditional two-grid algorithm, numerical experiments show that the…
The generalized Biot-Brinkman equations describe the displacement, pressures and fluxes in an elastic medium permeated by multiple viscous fluid networks and can be used to study complex poromechanical interactions in geophysics, biophysics and other engineering sciences. These equations extend on the Biot and multiple-network poroelasticity equations on the one hand and Brinkman flow models on the other hand, and as such embody a range of singular perturbation problems in realistic parameter regimes. In this paper, we introduce, theoretically analyze and numerically investigate a class of thr…
We present an embedded-hybridizable discontinuous Galerkin finite element method for the total pressure formulation of the quasi-static poroelasticity model. Although the displacement and the Darcy velocity are approximated by discontinuous piece-wise polynomials, $H(\text{div})$-conformity of these unknowns is enforced by Lagrange multipliers. The semi-discrete problem is shown to be stable and the fully discrete problem is shown to be well-posed. Additionally, space-time a priori error estimates are derived, and confirmed by numerical examples, that show that the proposed discretization is f…
Biot's equations of poroelasticity contain a parabolic system for the evolution of the pressure, which is coupled with a quasi-stationary equation for the stress tensor. Thus, it is natural to extend the existing work on isogeometric space-time methods to this more advanced framework of a partial differential-algebraic equation (PDAE). A space-time approach based on finite elements has already been introduced. But we present a new weak formulation in space and time that is appropriate for an isogeometric discretization and analyze the convergence properties. Our approach is based on a single v…
The paper is concerned with guaranteed a posteriori error estimates for a class of evolutionary problems related to poroelastic media governed by the quasi-static linear Biot equations. The system is decoupled employing the fixed-stress split scheme, which leads to a semi-discrete system solved iteratively. The error bounds are derived by combining a posteriori estimates for contractive mappings with those of the functional type for elliptic partial differential equations. The estimates are applicable for any approximation in the admissible functional space and are independent of the discretiz…
In this paper we study the linear systems arising from discretized poroelasticity problems. We formulate one block preconditioner for the two-filed Biot model and several preconditioners for the classical three-filed Biot model under the unified relationship framework between well-posedness and preconditioners. By the unified theory, we show all the considered preconditioners are uniformly optimal with respect to material and discretization parameters. Numerical tests demonstrate the robustness of these preconditioners.
In this work, we consider a hybrid mixed finite element method for Biot's model. The hybrid P1-RT0-P0 discretization of the displacement-pressure-Darcy's velocity system of Biot's model presented in \cite{C. Niu} is not uniformly stable with respect to the physical parameters, resulting in some issues in numerical simulations. To alleviate such problems, following \cite{V. Girault}, we stabilize the hybrid scheme with face bubble functions and show the well-posedness with respect to physical and discretization parameters, which provide optimal error estimates of the stabilized method. We intro…
A posteriori error estimates are constructed for the three-field variational formulation of the Biot problem involving the displacements, the total pressure and the fluid pressure. The discretization under focus is the H1(Ω)-conforming Taylor-Hood finite element combination, consisting of polynomial degrees k + 1 for the displacements and the fluid pressure and k for the total pressure. An a posteriori error estimator is derived on the basis of H(div)-conforming reconstructions of the stress and flux approximations. The symmetry of the reconstructed stress is allowed to be satisfied only weakl…
The balancing domain decomposition methods (BDDC) are originally introduced for symmetric positive definite systems and have been extended to the nonsymmetric positive definite system from the linear finite element discretization of advection-diffusion equations. In this paper, the convergence of the GMRES method is analyzed for the BDDC preconditioned linear system from advection-diffusion equations with the hybridizable discontinuous Galerkin (HDG) discretization. Compared to the finite element discretizations, several additional norms for the numerical trace have to be used and the equivale…
The Scheduled Relaxation Jacobi (SRJ) method is a linear solver algorithm which greatly improves the convergence of the Jacobi iteration through the use of judiciously chosen relaxation factors (an SRJ scheme) which attenuate the solution error. Until now, the method has primarily been used to accelerate the solution of elliptic PDEs (e.g. Laplace, Poisson's equation) as the currently available schemes are restricted to solving this class of problems. The goal of this paper is to present a methodology for constructing SRJ schemes which are suitable for solving non-elliptic PDEs (or equivalent,…
A nonoverlapping spectral additive Schwarz method for interior penalty discontinuous Galerkin discretizations of Anisotropic Elliptic Problems
Massachusetts Institute of Technology（麻省理工学院）；University of Wisconsin-Madison（威斯康星大学麦迪逊分校）；State University of New York Polytechnic Institute（纽约州立理工大学）；Worcester Polytechnic Institute（伍斯特理工学院）
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 stepp…
