-
Strictly equivalent a~posteriori error estimators for quasi-optimal nonconforming methods
Authors:
Christian Kreuzer,
Matthias Rott,
Andreas Veeser,
Pietro Zanotti
Abstract:
We devise a posteriori error estimators for quasi-optimal nonconforming finite element methods approximating symmetric elliptic problems of second and fourth order. These estimators are defined for all source terms that are admissible to the underlying weak formulations. More importantly, they are equivalent to the error in a strict sense. In particular, their data oscillation part is bounded by t…
▽ More
We devise a posteriori error estimators for quasi-optimal nonconforming finite element methods approximating symmetric elliptic problems of second and fourth order. These estimators are defined for all source terms that are admissible to the underlying weak formulations. More importantly, they are equivalent to the error in a strict sense. In particular, their data oscillation part is bounded by the error and, furthermore, can be designed to be bounded by classical data oscillations. The estimators are computable, except for the data oscillation part. Since even the computation of some bound of the oscillation part is not possible in general, we advocate to handle it on a case-by-case basis. We illustrate the practical use of two estimators obtained for the Crouzeix-Raviart method applied to the Poisson problem with a source term that is not a function and its singular part with respect to the Lebesgues measure is not aligned with the mesh.
△ Less
Submitted 3 February, 2025;
originally announced February 2025.
-
Pressure robust finite element discretizations of the nonlinear Stokes equations
Authors:
Lars Diening,
Adrian Hirn,
Christian Kreuzer,
Pietro Zanotti
Abstract:
We present first-order nonconforming Crouzeix-Raviart discretizations for the nonlinear generalized Stokes equations with $(r,ε)$-structure. Thereby the velocity-errors are independent of the pressure-error; i.e., the method is pressure robust. This improves suboptimal rates previously experienced for non pressure robust methods.
We present first-order nonconforming Crouzeix-Raviart discretizations for the nonlinear generalized Stokes equations with $(r,ε)$-structure. Thereby the velocity-errors are independent of the pressure-error; i.e., the method is pressure robust. This improves suboptimal rates previously experienced for non pressure robust methods.
△ Less
Submitted 27 January, 2025;
originally announced January 2025.
-
Inf-sup stable discretization of the quasi-static Biot's equations in poroelasticity
Authors:
C. Kreuzer,
P. Zanotti
Abstract:
We propose a new full discretization of the Biot's equations in poroelasticity. The construction is driven by the inf-sup theory, which we recently developed. It builds upon the four-field formulation of the equations obtained by introducing the total pressure and the total fluid content. We discretize in space with Lagrange finite elements and in time with backward Euler. We establish inf-sup sta…
▽ More
We propose a new full discretization of the Biot's equations in poroelasticity. The construction is driven by the inf-sup theory, which we recently developed. It builds upon the four-field formulation of the equations obtained by introducing the total pressure and the total fluid content. We discretize in space with Lagrange finite elements and in time with backward Euler. We establish inf-sup stability and quasi-optimality of the proposed discretization, with robust constants with respect to all material parameters. We further construct an interpolant showing how the error decays for smooth solutions.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Inf-sup theory for the quasi-static Biot's equations in poroelasticity
Authors:
C. Kreuzer,
P. Zanotti
Abstract:
We analyze the two-field formulation of the quasi-static Biot's equations in bounded domains by means of the inf-sup theory. For this purpose, we exploit an equivalent four-field formulation of the equations, introducing the so-called total pressure and total fluid content as independent variables. We establish existence, uniqueness and stability of the solution. Our stability estimate is two-side…
▽ More
We analyze the two-field formulation of the quasi-static Biot's equations in bounded domains by means of the inf-sup theory. For this purpose, we exploit an equivalent four-field formulation of the equations, introducing the so-called total pressure and total fluid content as independent variables. We establish existence, uniqueness and stability of the solution. Our stability estimate is two-sided and robust, meaning that the regularity established for the solution matches the regularity requirements for the data and the involved constants are independent of all material parameters. We prove also that additional regularity in space of the data implies, in some cases, corresponding additional regularity in space of the solution. These results are instrumental to the design and the analysis of discretizations enjoying accurate stability and error estimates.
△ Less
Submitted 28 March, 2025; v1 submitted 3 July, 2024;
originally announced July 2024.
-
A nonsymmetric approach and a quasi-optimal and robust discretization for the Biot's model. Part I -- Theoretical aspects
Authors:
A. Khan,
P. Zanotti
Abstract:
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, irrespect…
▽ More
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.
△ Less
Submitted 12 August, 2020;
originally announced August 2020.
-
Quasi-optimal and pressure robust discretizations of the Stokes equations by moment- and divergence-preserving operators
Authors:
Christian Kreuzer,
Rüdiger Verfürth,
Pietro Zanotti
Abstract:
We approximate the solution of the Stokes equations by a new quasi-optimal and pressure robust discontinuous Galerkin discretization of arbitrary order. This means quasi-optimality of the velocity error independent of the pressure. Moreover, the discretization is well-defined for any load which is admissible for the continuous problem and it also provides classical quasi-optimal estimates for the…
▽ More
We approximate the solution of the Stokes equations by a new quasi-optimal and pressure robust discontinuous Galerkin discretization of arbitrary order. This means quasi-optimality of the velocity error independent of the pressure. Moreover, the discretization is well-defined for any load which is admissible for the continuous problem and it also provides classical quasi-optimal estimates for the sum of velocity and pressure errors. The key design principle is a careful discretization of the load involving a linear operator, which maps discontinuous Galerkin test functions onto conforming ones thereby preserving the discrete divergence and certain moment conditions on faces and elements.
△ Less
Submitted 26 February, 2020;
originally announced February 2020.
-
A quasi-optimal variant of the Hybrid High-Order method for elliptic PDEs with $H^{-1}$ loads
Authors:
Alexandre Ern,
Pietro Zanotti
Abstract:
Hybrid High-Order methods for elliptic diffusion problems have been originally formulated for loads in the Lebesgue space $L^2(Ω)$. In this paper we devise and analyze a variant thereof, which is defined for any load in the dual Sobolev space $H^{-1}(Ω)$. The main feature of the present variant is that its $H^1$-norm error can be bounded only in terms of the $H^1$-norm best error in a space of bro…
▽ More
Hybrid High-Order methods for elliptic diffusion problems have been originally formulated for loads in the Lebesgue space $L^2(Ω)$. In this paper we devise and analyze a variant thereof, which is defined for any load in the dual Sobolev space $H^{-1}(Ω)$. The main feature of the present variant is that its $H^1$-norm error can be bounded only in terms of the $H^1$-norm best error in a space of broken polynomials. We establish this estimate with the help of recent results on the quasi-optimality of nonconforming methods. We prove also an improved error bound in the $L^2$-norm by duality. Compared to previous works on quasi-optimal nonconforming methods, the main novelties are that Hybrid High-Order methods handle pairs of unknowns, and not a single function, and, more crucially, that these methods employ a reconstruction that is one polynomial degree higher than the discrete unknowns. The proposed modification affects only the formulation of the discrete right-hand side. This is obtained by properly mapping discrete test functions into $H^1_0(Ω)$.
△ Less
Submitted 30 April, 2019;
originally announced April 2019.
-
Quasi-optimal and pressure robust discretizations of the Stokes equations by new augmented Lagrangian formulations
Authors:
Christian Kreuzer,
Pietro Zanotti
Abstract:
We approximate the solution of the stationary Stokes equations with various conforming and nonconforming inf-sup stable pairs of finite element spaces on simplicial meshes. Based on each pair, we design a discretization that is quasi-optimal and pressure robust, in the sense that the velocity $H^1$-error is proportional to the best $H^1$-error to the analytical velocity. This shows that such a pro…
▽ More
We approximate the solution of the stationary Stokes equations with various conforming and nonconforming inf-sup stable pairs of finite element spaces on simplicial meshes. Based on each pair, we design a discretization that is quasi-optimal and pressure robust, in the sense that the velocity $H^1$-error is proportional to the best $H^1$-error to the analytical velocity. This shows that such a property can be achieved without using conforming and divergence-free pairs. We bound also the pressure $L^2$-error, only in terms of the best approximation errors to the analytical velocity and the analytical pressure. Our construction can be summarized as follows. First, a linear operator acts on discrete velocity test functions, before the application of the load functional, and maps the discrete kernel into the analytical one. Second, in order to enforce consistency, we employ a new augmented Lagrangian formulation, inspired by Discontinuous Galerkin methods.
△ Less
Submitted 8 February, 2019;
originally announced February 2019.
-
A Quasi-Optimal Crouzeix-Raviart Discretization of the Stokes Equations
Authors:
Rüdiger Verfürth,
Pietro Zanotti
Abstract:
We present a modification of the Crouzeix-Raviart discretization of the Stokes equations in arbitrary dimension which is quasi-optimal, in the sense that the error of the discrete velocity field in a broken $H^1$-norm is proportional to the error of the best approximation to the analytical velocity field. In particular, the velocity error is independent of the pressure error and the discrete veloc…
▽ More
We present a modification of the Crouzeix-Raviart discretization of the Stokes equations in arbitrary dimension which is quasi-optimal, in the sense that the error of the discrete velocity field in a broken $H^1$-norm is proportional to the error of the best approximation to the analytical velocity field. In particular, the velocity error is independent of the pressure error and the discrete velocity field is element-wise solenoidal. Moreover, the sum of the velocity error times the viscosity plus the pressure $L^2$-error is proportional to the sum of the respective best errors. All proportionality constants are bounded in terms of shape regularity and do not depend on the viscosity. For simply connected two-dimensional domains, the velocity and pressure can be computed separately. The modification only affects the right-hand side aka load vector. The cost for building the modified load vector is proportional to the cost for building the standard load vector. Some numerical experiments illustrate our theoretical results.
△ Less
Submitted 12 December, 2018;
originally announced December 2018.
-
Quasi-optimal nonconforming methods for symmetric elliptic problems. III -- DG and other interior penalty methods
Authors:
Andreas Veeser,
Pietro Zanotti
Abstract:
We devise new variants of the following nonconforming finite element methods: DG methods of fixed arbitrary order for the Poisson problem, the Crouzeix-Raviart interior penalty method for linear elasticity, and the quadratic $C^0$ interior penalty method for the biharmonic problem. Each variant differs from the original method only in the discretization of the right-hand side. Before applying the…
▽ More
We devise new variants of the following nonconforming finite element methods: DG methods of fixed arbitrary order for the Poisson problem, the Crouzeix-Raviart interior penalty method for linear elasticity, and the quadratic $C^0$ interior penalty method for the biharmonic problem. Each variant differs from the original method only in the discretization of the right-hand side. Before applying the load functional, a linear operator transforms nonconforming discrete test functions into conforming functions such that stability and consistency are improved. The new variants are thus quasi-optimal with respect to an extension of the energy norm. Furthermore, their quasi-optimality constants are uniformly bounded for shape regular meshes and tend to $1$ as the penalty parameter increases.
△ Less
Submitted 10 October, 2017;
originally announced October 2017.
-
Quasi-optimal nonconforming methods for symmetric elliptic problems. II -- Overconsistency and classical nonconforming elements
Authors:
Andreas Veeser,
Pietro Zanotti
Abstract:
We devise variants of classical nonconforming methods for symmetric elliptic problems. These variants differ from the original ones only by transforming discrete test functions into conforming functions before applying the load functional. We derive and discuss conditions on these transformations implying that the ensuing method is quasi-optimal and that its quasi-optimality constant coincides wit…
▽ More
We devise variants of classical nonconforming methods for symmetric elliptic problems. These variants differ from the original ones only by transforming discrete test functions into conforming functions before applying the load functional. We derive and discuss conditions on these transformations implying that the ensuing method is quasi-optimal and that its quasi-optimality constant coincides with its stability constant. As applications, we consider the approximation of the Poisson problem with Crouzeix-Raviart elements and higher order counterparts and the approximation of the biharmonic problem with Morley elements. In each case, we construct a computationally feasible transformation and obtain a quasi-optimal method with respect to the piecewise energy norm on a shape regular mesh.
△ Less
Submitted 10 October, 2017;
originally announced October 2017.
-
Quasi-optimal nonconforming methods for symmetric elliptic problems. I -- Abstract theory
Authors:
Andreas Veeser,
Pietro Zanotti
Abstract:
We consider nonconforming methods for symmetric elliptic problems and characterize their quasi-optimality in terms of suitable notions of stability and consistency. The quasi-optimality constant is determined and the possible impact of nonconformity on its size is quantified by means of two alternative consistency measures. Identifying the structure of quasi-optimal methods, we show that their con…
▽ More
We consider nonconforming methods for symmetric elliptic problems and characterize their quasi-optimality in terms of suitable notions of stability and consistency. The quasi-optimality constant is determined and the possible impact of nonconformity on its size is quantified by means of two alternative consistency measures. Identifying the structure of quasi-optimal methods, we show that their construction reduces to the choice of suitable linear operators mapping discrete functions to conforming ones. Such smoothing operators are devised in the forthcoming parts of this work for various finite element spaces.
△ Less
Submitted 9 October, 2017;
originally announced October 2017.