Stability, convergence, and pressure-robustness of numerical schemes for incompressible flows with hybrid velocity and pressure
Abstract
In this work we study the stability, convergence, and pressure-robustness of discretization methods for incompressible flows with hybrid velocity and pressure.
Specifically, focusing on the Stokes problem, we identify a set of assumptions that yield inf-sup stability as well as error estimates which distinguish the velocity- and pressure-related contributions to the error.
We additionally identify the key properties under which the pressure-related contributions vanish in the estimate of the velocity, thus leading to pressure-robustness.
Several examples of existing and new schemes that fit into the framework are provided, and extensive numerical validation of the theoretical properties is provided.
Key words: Hybrid approximation methods, Hybrid-High Order methods, Hybridizable Discontinuous Galerkin methods, Inf-sup stability, Presure-robustness
MSC 2010: 65N30, 65N12, 35Q30, 76D07
1 Introduction
In this paper we study the stability, convergence, and pressure-robustness of discretization methods for incompressible flows with hybrid velocity and pressure. Specifically, focusing on the Stokes problem, we identify a set of assumptions that yield (standard or generalized) inf-sup stability as well as error estimates which distinguish the velocity- and pressure-related contributions to the error. We additionally identify the key properties under which the pressure-related contributions vanish in the estimate of the velocity, thus leading to pressure-robustness in the sense of [Linke:14]. Several examples of existing and new schemes that fit into the framework are provided.
The use of hybrid approximations of the velocity and discontinuous approximations of the pressure in the context of finite element approximations of incompressible flows dates back to the seminal contribution of Crouzeix and Raviart [Crouzeix.Raviart:73]. Combined with ideas originating from Discontinuous Galerkin methods, this approach later gave rise to a variety of methods [Brenner:14], including Hybridizable Discontinuous Galerkin methods [Lehrenfeld.Schoberl:16, Cockburn.Gopalakrishnan:09, Cockburn.Gopalakrishnan.ea:11, Cesmelioglu.Cockburn.ea:17], Hybrid High-Order (HHO) methods [Aghili.Boyaval.ea:15, Di-Pietro.Ern.ea:16*1, Botti.Di-Pietro.ea:18, Di-Pietro.Droniou:23*2] and nonconforming Virtual Element methods [Ayuso-de-Dios.Lipnikov.ea:16, Zhao.Zhang.ea:20]. More recently, some authors have pointed out the interest of combining hybrid approximations of both the velocity and pressure [Rhebergen.Wells:18, Kirk.Rhebergen:19, Botti.Massa:22, Baier.Rhebergen.ea:21], as this can lead to methods that yield -conforming approximations of the velocity and possibly exhibit a better behaviour in the quasi-inviscid limit.
The goal of the present work is precisely to provide a rigorous framework of analysis for such methods focusing on the Stokes problem. To this purpose, we use as a starting point a fully discrete presentation closely inspired by HHO methods and the Third Strang Lemma of [Di-Pietro.Droniou:18]. The discrete pressure-velocity coupling hinges on local reconstructions of the velocity divergence and the pressure gradient obtained mimicking integration by parts formulas. The key to the discretization of the viscous term are, on the other hand, a velocity gradient and a stabilization bilinear form. The description of the scheme is completed by prescribing a velocity interpolator at elements. Starting from an abstract scheme based on the above ingredients, we identify inclusion relations of the local pressure spaces into the local velocity spaces that guarantee stability in the form of a generalized inf-sup condition. A standard inf-sup condition is recovered when the discrete velocity divergence and pressure gradient satisfy a global discrete integration by parts formula for interpolates of smooth velocity fields. Under proper choices of discrete spaces and operators, we derive error estimates that distinguish the velocity- and pressure-contributions to the error. Such error estimates turn out to be pressure-robust when standard inf-sup stability holds, as well as suitable inclusion relations between the local velocity and pressure spaces. This abstract framework is applied to derive new pressure-robust error estimates for the classical Botti–Massa scheme of [Botti.Massa:22]. A similar analysis of the Rhebergen–Wells method of [Rhebergen.Wells:18] is also carried out, providing alternative proofs of the findings of [Kirk.Rhebergen:19]. Finally, new schemes are also identified and analyzed, both on standard and polyhedral meshes, and extensive numerical validation of the theoretical properties is provided.
The importance of deriving velocity error estimates independent of the pressure has been pointed out in several works; see, e.g., [Linke.Merdon:16, Lederer.Linke.ea:17, Kreuzer.Zanotti:20]. A classical strategy for achieving pressure-robustness consists in using stable mixed methods with -conforming and divergence-free approximate velocities [John.Linke.ea:17]. This strategy has been, in particular, pursued in the context of Discontinuous Galerkin methods [Cockburn.Kanshat.ea:07, Wang.Ye:07, Kreuzer.Verfurth.ea:21]. Recently, it has also been suggested in [Kreuzer.Zanotti:20, Kreuzer.Verfurth.ea:21] that pressure-robust techniques can be used to remedy the suboptimal approximation results for non-Newtonian Stokes problems [Belenki.Berselli.ea:12, Botti.Castanon-Quiroz.ea:21]. Pressure-robust methods supporting general polyhedral meshes and based on local -conforming reconstructions on simplicial submeshes have been explored, e.g., in [Frerichs.Merdon:22, Castanon-Quiroz.Di-Pietro:24]. Recent works have also pointed out that pressure-robustness on polytopal meshes can be achieved without using a submesh when compatible approximation of the curl-curl formulation of the Navier–Stokes equations are used [Beirao-da-Veiga.Dassi.ea:22, Di-Pietro.Droniou.ea:24].
The rest of this paper is organized as follows. In Section 2 we set the stage of the paper by introducing hybrid spaces, interpolators, and reconstructions of quantities in terms of the hybrid unknowns. In Section 3 we state an abstract discretization method for the Stokes problem and prove (generalized) inf-sup stability of the pressure-velocity coupling. A full stability and convergence analysis of the scheme is provided in Section 4. Applications of the framework to existing and new schemes are considered in Section 5. Finally, a numerical assessment of the predicted convergence rates and pressure-robustness properties is provided in Section 6.
2 Hybrid spaces, interpolators, and reconstructions
2.1 Mesh and notation for inequalities
Let , , denote an open bounded polytopal domain. Denote by a mesh of the domain in the sense of [Di-Pietro.Droniou:20, Chapter 1], with collecting the mesh elements and the mesh faces. Notice that the term faces refers to (hyper-)planar portions of the element boundaries, i.e., faces when , edges when . Additional assumptions on the shape of the elements may be needed for specific methods in Section 5. The set of faces is partitioned into the sets of internal faces and of boundary faces. For each mesh element , we denote by the set of faces that lie on its boundary and, for any , we denote by the unit vector normal to pointing out of . For each internal face , we additionally fix once and for all an orientation through the unit normal vector . For boundary faces, we select pointing out of .
When stating convergence results, we assume that belongs to a sequence of refined meshes indexed by the mesh size . Inequalities that hold up to a multiplicative constant independent of are denoted with the sign, and we furthermore write in place of “ and ”.
2.2 Hybrid velocity and pressure spaces
We consider methods where the velocity and pressure are both approximated using hybrid spaces, i.e., spaces spanned by vectors of local functions attached to both element and faces:
where and for all with containing at least constant functions on , while and for all . Following standard conventions in the framework of fully discrete methods, we denote the restrictions of the above spaces and their elements to a mesh element by replacing the subscript with .
2.3 Interpolators and projectors
We denote by the interpolator onto and by the -orthogonal projector onto , and set, for all ,
Similarly, we denote by , , the -orthogonal projector onto and set, for all ,
Notice that, while , , and are all -orthogonal projectors, we leave more freedom for , as it will be needed in the analysis of certain methods in Section 5. Specifically, we only make the following continuity requirement: For all ,
(1) |
where the -like seminorm on is such that, for all ,
(2) |
The -orthogonal projector on a space different from the component spaces will be denoted by .
2.4 Discrete velocity divergence
Let the discrete velocity divergence be such that, for all ,
(3) |
Assumption 1.
For all , it holds
-
1.
and with -orthogonal projector onto ;
-
2.
for all .
Proposition 1 (Commutativity of ).
Under Assumption 1 we have, for all ,
(4) |
2.5 Discrete pressure gradient
We next define the pressure gradient such that, for all ,
(5) |
Assumption 2.
For all , it holds
-
1.
;
-
2.
for all .
The proof of the following result is analogous to that of Proposition 1.
Proposition 2 (Commutativity of ).
Under Assumption 2 we have, for all and all ,
(6) |
For future use we note the following formula, which establishes a link between the discrete velocity divergence and pressure gradient: For all ,
(7) | ||||
where the equality in the first line is obtained integrating by parts the right-hand side of (5).
3 Hybrid discretizations of the Stokes problem
In this section we formulate an abstract approximation scheme for the Stokes problem: Given , find and such that
(8) | ||||||
where denotes the kinematic viscosity. Throughout the rest of this work we assume and focus on the standard weak formulation of problem (8) with velocity and pressure . The velocity approximation will be sought in the following subspace of incorporating homogeneous Dirichlet boundary conditions:
To define the discrete space for the pressure, for all we let (not underlined) be such that for all and set
3.1 Pressure-velocity coupling
Let be such that, for all ,
with . | (9) |
Notice that, by (7), the following equivalent reformulation of holds:
(10) |
Let us now consider the stability of the pressure-velocity coupling. To this purpose, we define the boundary pressure seminorm such that, for all ,
with for all . | (11) |
Assumption 3.
For all , it holds
(12) |
Throughout the rest of the paper, we let
Notice that the quantity measures the failure to satisfy a global integration by parts formula, and therefore corresponds a conformity error in the usual finite element terminology.
Lemma 3 (Inf-sup and generalized inf-sup conditions).
Proof.
Let and, for the sake of brevity, denote by the supremum in the right-hand side of (13). Since , the continuous inf-sup condition yields the existence of
such that and . | (14) |
Let be such that for all and for all and notice that, by discrete inverse and trace inequalities,
(15) |
We have
where, in the first inequality, we have used the definition of supremum for the first and third terms and Cauchy–Schwarz inequalities along with the definitions (2) of and (11) of for the second term. Simplifying, the conclusion follows. ∎
3.2 Viscous terms
Let a local space be given. The discretization of the viscous terms is based on the velocity gradient such that, for all and all ,
(16a) | ||||
(16b) |
The space is typically selected in order for the following assumption to hold true.
Assumption 4.
The following holds:
-
1.
and ;
-
2.
for all .
The proof of the following result is analogous to that of Proposition 1.
Proposition 4 (Commutativity of ).
Under Assumption 4, it holds, for all ,
We let be such that, for all ,
with , | (17) |
where is a (possibly zero) symmetric positive semi-definite stabilization bilinear form.
Assumption 5.
Recalling (2), the following uniform norm equivalence holds:
3.3 An abstract hybrid scheme
We consider the following hybrid discretization of problem (8): Find such that
(18) | ||||||
where (not underlined) is such that for all and the bilinear form is such that
with for all . |
Defining the bilinear form such that, for all ,
(19) |
problem (18) can be equivalently reformulated as: Find such that
(20) |
4 Analysis
This section contains the stability and error analysis of the scheme (18). A summary of Assumptions 1–5 and of their respective roles in the analysis is provided in Table 1.
4.1 Stability
The norm used for the analysis is such that, for all ,
(21) |
This map defines a norm on when . We assume that this is also the case when . We note the following discrete Poincaré inequality on hybrid spaces, which can be proved reasoning as in [Di-Pietro.Droniou:20, Lemma 2.15]:
(22) |
Lemma 5 (Stability of the scheme).
Remark 6 (A priori estimate).
Following, e.g., [Castanon-Quiroz.Di-Pietro:20, Section 2.3], in the right-hand side of (24) we could replace with the irrotational part of the forcing term.
Proof of Lemma 5.
Let and denote by the supremum in the right-hand side of (23). Taking in (19) and using Assumption 5, we get
(25) |
By the (generalized) inf-sup condition (13) on we have, on the other hand,
(26) | ||||
where we have used Assumption 5 along with the symmetry of to write in order to pass to the third line. Squaring (26), using the fact that for all real numbers and to bound the right-hand side, and summing the resulting inequality to (25), we obtain
where the conclusion follows from the generalized Young’s inequality valid for all . Taking and simplifying, (23) follows.
4.2 Error estimate
Lemma 7 (Error estimate).
Remark 8 (Pressure robustness).
If Assumption 2 is verified, the first contribution in vanishes by (6). On the other hand, if Assumption 3 holds, which implies that the second contribution in is zero. Therefore, if both Assumptions 2 and 3 are met, recalling the definition (21) of , we infer the following error estimate for the velocity from (27):
The right-hand side of (27) does not depend on the viscosity nor on the pressure, showing that the method is pressure-robust.
Proof.
Denote by the norm adjoint to in . By [Di-Pietro.Droniou:18, Theorem 10], the inf-sup condition (23) yields the following basic estimate:
(29) |
where the consistency error linear form is such that, for all ,
(30) | ||||
where we have used the fact that almost everywhere in (cf. (8)) along with the definition (19) of to pass to the second line. We proceed to estimate the terms in the right-hand side. For the first term, reproducing the steps of the proof of [Di-Pietro.Droniou:20, Lemma 2.18(ii)], we obtain
(31) |
Expanding according to its definition (9), we can write for the second term:
(32) | ||||
where the insertion of in front of in the first line is possible since , while to pass to the second line we have used Cauchy–Schwarz inequalities on both the integrals and the sums.
For the third term, we have
(33) |
where the cancellation in the first line is a consequence of the commutation property (4) (valid since Assumption 1 holds).
Finally, for the fourth term we use Cauchy–Schwarz inequalities and again the definition (11) of to write
(34) |
5 Applications
In this section we apply the framework above to existing and new schemes.
5.1 Preliminaries
5.1.1 Local full polynomial spaces
For a given integer , we denote by the space of -variate polynomials of total degree , with the convention that . Given a mesh element or face , we denote by the space spanned by the restriction to of the functions in .
5.1.2 The Brezzi–Douglas–Marini space
Let an integer and a triangle/tetrahedron be given. We denote by a point inside which, when is an element of a mesh belonging to a refined sequence, we assume at a distance from the boundary. Let
where indicates a rotation of . For , the Nédélec space of the first type is
and we adopt the convention that .
For any , the Brezzi–Douglas–Marini space is equipped with the interpolator such that, for all ,
(35a) | ||||||||
(35b) |
Remark 9 (-orthogonal projections of the BDM interpolate onto full polynomial spaces).
Since , condition (35b) implies, in particular,
(36) |
We also notice that the interpolator preserves the average value, i.e., for all ,
For , this is a straightforward consequence of (36). For , we start by noticing that, for all and all ,
where the cancellation follows noticing that and recalling that has zero-average on . Since spans as spans , this concludes the proof of (36) for .
5.1.3 The Raviart–Thomas–Nédélec space
For any integer , let and define
For any , the Raviart–Thomas–Nédélec space is
furnished with the interpolator such that, for all ,
(37a) | ||||||||
(37b) |
It is clear from (37b) that
(38) |
Using the previous relation for , it is also clear that the Raviart–Thomas–Nédélec interpolator preserves the average value of the interpolated function on . This is not the case, however, for .
5.1.4 The rectangular Brezzi–Douglas–Fortin–Marini space
Let denote a rectangle (if ) or a rectangular parallelepiped (if ). For any , the Brezzi–Douglas–Fortin–Marini of space of [Brezzi.Douglas.ea:87] is
where, letting , the space is defined as
The space is endowed with the interpolator such that, for all ,
(39a) | ||||||||
(39b) |
It is clear from (39b) that .
5.1.5 Stabilization
Let a mesh element be fixed. In the context of HHO methods, the local stabilization bilinear form in (17) hinges on a velocity reconstruction , with , defined by
(40a) | |||
(40b) |
with denoting the Haussdorff measure.
Remark 10 (Preservation of the average value of affine functions).
Denote by the center of mass of . To check that the second condition in (40b) ensures that for all , we write
where we have used the linearity of in the second and third equalities and, for the latter, also the fact that with denoting the center of mass of .
One then obtains penalizing the following quantities:
and for all . | (41) |
The expression for the local stabilization bilinear form used in the numerical examples of Section 6 is: For all ,
(42) |
where the purpose of is to equilibrate the volumetric and boundary contributions; cf. [Di-Pietro.Droniou:23*2]. Many other choices for are possible, the only requirements being that the dependence on the arguments is via the difference operators and , , and that the scaling in is the same as that of (42). We refer to [Di-Pietro.Droniou:20, Chapter 2] for a more general discussion highlighting the key properties of HHO stabilizing bilinear forms and further examples.
5.2 The classical Botti–Massa method
We assume here that is a standard matching simplicial mesh that belongs to a regular sequence. The classical Botti–Massa method of [Botti.Massa:22] corresponds to the following choice of spaces for a given polynomial degree :
(43) |
along with the local stabilization (42) obtained reconstructing the velocity in . The space can be taken equal to or . Notice that the expression of is actually simpler in this case: observing that for all and that restricted to is the identity, we can simply write . This stabilization classically satisfies Assumption 5 as well as the other standard properties of HHO stabilizations; see [Di-Pietro.Droniou:20, Chapter 2]. For the polynomial consistency property, in particular, we use the fact that coincides (component-wise) with the elliptic projector of [Di-Pietro.Droniou:20, Definition 1.39].
Proof.
It suffices to show that, for all , implies . We start by noticing that classically implies (see, e.g., [Di-Pietro.Droniou:20, Corollary 2.16]) and that implies and for all . It only remains to prove that for all . To this purpose, we notice that, for all , accounting for the fact that ,
(44) |
Taking such that for all (possible by virtue of (35)) concludes the proof. ∎
Theorem 12 (Properties of the Botti–Massa method).
Proof.
Let us consider Assumption 1 for a generic mesh element . To check the first point, we start by noticing that and then apply to (36) with to write , notice that since is a subspace of , and recall that the composition is associative. The second point in Assumption 1 is straightforward noticing that .
Assumption 2 is trivial to check since we have, for all , and for all .
Let . To check Assumption 3, we notice that, by (35a) with , for all and all and write
where the cancellation of the projector in the first line is made possible by the fact that , while, in the third equality, we have denoted by the jump operator defined consistently with and used the fact that since faces are planar (hence is constant on ). The conclusion follows noticing that the jump vanishes since the quantity inside it is single-valued at interfaces for the first term, the fact that both and vanish on boundary faces for the second term, and the fact that, by definition of , is -orthogonal to for the last term.
The first point in Assumption 4 follows noticing that and invoking (36) with . The second point is straightforward observing that .
Finally, we have already noticed that Assumption 5 is verified.
Let us now move to the estimates of the error components. The fact that is a consequence of Remark 8. Concerning , we have
(45) |
By the approximation properties of , . To estimate the second term as , we can reproduce verbatim the argument of [Di-Pietro.Droniou:20, Proposition 2.14], which is not affected by the different choice of and . ∎
5.3 The Rhebergen–Wells method
Let be as in the previous section and an integer be fixed. The Rhebergen–Wells method of [Rhebergen.Wells:18] applied to the Stokes problem is based on the following spaces:
and we let for all . The choice for the space is not explicit in the original paper, but we can take or to fit the method into the abstract framework developed in the previous sections. For any , the original form of the local viscous bilinear form reads: For all ,
(46) | ||||
where is a stabilization parameter to be chosen large enough. Noticing that both and belong to , we can use the definition (16b) of with equal to and to express the second and third terms respectively as and . Substituting into (46) and rearranging, we get
This brings us to the expression (17) with
(47) |
The results stated in the following theorem are consistent with the analysis carried out in [Kirk.Rhebergen:19].
Theorem 13 (Properties of the Rhebergen–Wells method).
Let denote a conforming simplicial mesh. Then, assuming that with discrete trace inequality constant (cf., e.g., [Di-Pietro.Ern:12, Lemma 1.46]), the Rhebergen–Wells method verifies Assumptions 1–5. Moreover, assuming that solving the Stokes problem (8) satisfies the additional regularity for some and , it holds, for the error components defined by (28),
and . |
Proof.
The proof of Assumptions 1 and 2 is the same as in Theorem 12 provided we replace with (the only difference being that, this time, is strictly contained in instead of coinciding with this space).
To check Assumption 3, it suffices to notice that, for all , all , and all , , where the last passage uses the fact that is constant on .
The first point in Assumption 4 is proved as in Theorem 12 replacing with while, for the second point, we write .
Finally, Assumption 5 can be proved for starting from the form (46) and using standard techniques in the context of Discontinuous Galerkin methods; cf., e.g., [Di-Pietro.Ern:12, Lemma 4.12].
Let us now move to the estimates of the error components. The fact that is a consequence of Remark 8. Concerning , we start from a decomposition similar to (45). For the first term, we readily obtain the estimate . To estimate the term involving the stabilization bilinear form, we write
where, to pass to the second line, we have inserted and used a triangle inequality together with the fact that for the first term, and noticed that, since the trace on of is in , . The fact that is then a consequence of standard approximation results for (see, e.g., [Di-Pietro.Droniou:20, Theorem 1.45]) and (see [Boffi.Brezzi.ea:13, Proposition 2.5.1]). ∎
5.4 A new method with Raviart–Thomas–Nédélec velocities at elements
We assume again that is a standard matching simplicial mesh belonging to a regular sequence and consider a new method based on the following component spaces for a given polynomial degree :
with . The space can be taken equal to or . The stabilization is again given by (42) with velocity reconstruction in . Notice that, with this choice, we have, by (41), for all , i.e., the Raviart–Thomas–Nédélec interpolator replaces the -orthogonal projection usually present in HHO methods.
The fact that satisfies the standard assumptions of [Di-Pietro.Droniou:20, Chapter 2] on HHO stabilizations can be proved using standard techniques in the context of HHO methods. For the polynomial consistency property, in particular, we use the fact that, recalling Remark 10, is a modified elliptic projector in the spirit of [Di-Pietro.Droniou:20, Definition 5.4].
The fact that the map defined by (21) defines a norm on can be proved in the same way as for the Botti–Massa method, noticing that it is still possible to select in (44) such that .
Theorem 14 (Properties of the new method with Raviart–Thomas–Nédélec element velocity).
Remark 15 (Comparison with the Rhebergen–Wells method).
After static condensation of the element unknowns (with the possible exception of one pressure unknown per element), the method presented in this section yields linear systems with analogous size and pattern as the method of Rhebergen–Wells of Section 5.3. However, the present method converges in as opposed to . This results from two important differences: first, the fact that we use a slightly larger space for the element velocity ( as opposed to ); second, the fact that we use an HHO-type viscous stabilization, cf. [Cockburn.Di-Pietro.ea:16] on this subject.
Proof of Theorem 14.
The proof Assumption 1 for a given mesh element is obtained repeating the proof of the corresponding point in Theorem 12 with the following substitutions: and . Assumption 2 follows noticing that, for all , and, for all , . Assumption 3 immediately follows noticing that, for all , all all , and all , , where the second equality holds since is constant over . The proof of Assumption 4 is identical to the one given in Theorem 12 provided (36) is replaced by (38). The fact that Assumption 5 holds has already been observed right after the definition of . Finally, the estimates of the error components are essentially identical to the ones given in Theorem 12, the only difference being that the approximation properties of the modified elliptic projector stated in [Di-Pietro.Droniou:20, Theorem 5.7] have to be invoked when to estimate the term involving . This concludes the proof. ∎
Remark 16 (Brezzi–Douglas–Fortin–Marini velocities at elements for rectangular meshes).
When is a matching rectangular mesh, the previous analysis applies without modifications to the space choice
with polynomial degree and defined in (39), under the assumption that is a rectangular mesh belonging to a regular sequence. The velocity reconstruction for defining the stabilization (42) is again taken in , while the velocity gradient reconstruction can be taken in or .
Remark 17 (A variant with full polynomial velocities at elements).
A variant of the method with (still kee** if is a simplex and if is rectangular) is obtained using the following viscous stabilisation:
(48) |
The proof that Assumptions 1–5 are verified is analogous to the one in Theorem 14. In particular, the fact that, for all with , follows noticing that the boxed term in (48) vanishes when .
5.5 A new method on general polytopal meshes
To close this section, we consider a method on general polytopal meshes with spaces
and . For , we can take or . The stabilization is again (42), with velocity reconstruction in . This corresponds to the standard HHO discretization of viscous terms.
Theorem 18 (Properties of the polytopal method).
Let denote a general polytopal mesh belonging to a regular refined sequence, in the sense made precise in [Di-Pietro.Droniou:20, Chapter 1]. Then, the method described in this section verifies Assumptions 1, 2, 4, and 5. Moreover, assuming that the weak solution of the Stokes problem (8) satisfies the additional regularity and for some , it holds, for the error components defined by (28),
and . | (49) |
Proof.
The proof of Assumptions 1, 2, and 4 is trivial given the choice of spaces and the fact that is taken equal to the -orthogonal projector on . Assumption 3 is not verified in general, which requires a pressure stabilization term in the scheme. Assumption 5 is proved in [Di-Pietro.Droniou:20, Chapter 5].
Let us prove the estimate . The fact that the first two contributions in the right-hand side of (28a) are is completely standard in the context of HHO methods. Let us focus on the last contribution. Let . Carrying out the appropriate substitutions in (12), we have
where we have used the fact that to insert in front of the first parentheses and its linearity and idempotency to cancel it inside them in the second line, -Hölder inequalities followed by and the -continuity of in the third line, and the approximation properties of together with the definition (11) of to conclude. Thus, , which concludes the proof of the estimate of in (49). To estimate , it suffices to use the linearity and idempotency of followed by its -continuity as above to write
and conclude using the approximation properties of . This gives and concludes the proof. ∎
6 Numerical examples
We provide here a numerical validation of the properties of some of the methods described in Section 5. For , we consider the following manufactured analytical solution, originally proposed in [Lederer.Linke.ea:17]:
The momentum forcing term is inferred from the previous expressions and homogeneous Dirichlet boundary conditions are enforced. The average value of the pressure is enforced by means of the Lagrange multipliers method. For the Botti–Massa method of Section 5.2 and the new method with Raviart–Thomas–Nédélec velocities at elements of Section 5.4, we solve this problem on a sequence of triangular meshes obtained by uniform refinement of the one depicted in Figure 1. For the polygonal method of Section 5.5, we additionally consider the Cartesian, locally refined, and hexagonal meshes in Figure 1–1. We monitor the discrete error components , (with for all ), and (with again for all ). For the velocity, we additionally consider the errors between the exact solution and the global reconstruction such that for all . The results collected in Tables 3, 4, and 5 show that these error quantities converge at the expected rates, i.e., -like errors on the velocity and -like errors on the pressure as , and -like errors on the velocity as . A slight superconvergence of the -errors on the pressure (with a rate of instead of ) is observed for the lowest-order case for all the considered methods. Numerical results not reported here for the sake of brevity also show that -like errors on the pressure converge as (again with a slight superconvergence for ). For the methods of Sections 5.2 and 5.4, we check pressure-robustness by letting the viscosity vary across 9 orders of magnitude, from down to . As expected (cf. Remark 8), the results in Tables 3 and 4 show that the errors on the velocity are unaffected from the variations of the viscosity. Indeed, as remarked in [Lederer.Linke.ea:17], the irrotational and divergence-free part of the momentum forcing term dominates for and , respectively. Notice that, in order to achieve pressure robustness in the vanishing viscosity limit, we needed to increase the degree of exactness of quadrature rules employed for the numerical integration of the forcing term . We have also numerically tested the variant of Remark 17, which gives results that are essentially identical to those of Table 4, and are therefore not reported in detail for the sake of conciseness.
System size OCV OCV OCV OCV OCV 0.25 0 393 3.222194e-02 – 2.358650e-02 – 3.157105e-03 – 1.079341e-03 – 8.353185e-03 – 0.125 0 1569 1.568367e-02 1.04 1.176665e-02 1.00 8.130095e-04 1.96 3.173216e-04 1.77 3.715999e-03 1.17 0.0625 0 6273 7.890606e-03 0.99 5.860134e-03 1.01 2.087535e-04 1.96 9.097616e-05 1.80 1.359228e-03 1.45 0.03125 0 25089 3.978745e-03 0.99 2.918938e-03 1.01 5.300457e-05 1.98 2.430899e-05 1.90 4.747372e-04 1.52 0.015625 0 100353 1.999853e-03 0.99 1.456954e-03 1.00 1.335882e-05 1.99 6.269384e-06 1.96 1.753818e-04 1.44 0.25 1 637 1.261567e-02 – 4.381984e-03 – 4.005323e-04 – 1.423174e-04 – 2.270947e-03 – 0.125 1 2561 3.012656e-03 2.07 1.239913e-03 1.82 5.094272e-05 2.97 2.011596e-05 2.82 6.069516e-04 1.90 0.0625 1 10273 7.423158e-04 2.02 3.140934e-04 1.98 6.487856e-06 2.97 2.558775e-06 2.97 1.515679e-04 2.00 0.03125 1 41153 1.846133e-04 2.01 7.882465e-05 1.99 8.261358e-07 2.97 3.225663e-07 2.99 3.765641e-05 2.01 0.015625 1 164737 4.606087e-05 2.00 1.974435e-05 2.00 1.046304e-07 2.98 4.050395e-08 2.99 9.359506e-06 2.01 0.25 2 881 4.901561e-03 – 6.467589e-04 – 7.339555e-05 – 1.163225e-05 – 3.628231e-04 – 0.125 2 3553 5.784949e-04 3.08 8.006862e-05 3.01 4.193709e-06 4.13 7.971323e-07 3.87 4.640113e-05 2.97 0.0625 2 14273 6.973436e-05 3.05 9.896615e-06 3.02 2.512826e-07 4.06 5.200708e-08 3.94 5.795639e-06 3.00 0.03125 2 57217 8.605670e-06 3.02 1.246030e-06 2.99 1.554178e-08 4.02 3.388334e-09 3.94 7.286071e-07 2.99 0.015625 2 229121 1.070946e-06 3.01 1.570128e-07 2.99 9.699535e-10 4.00 2.175903e-10 3.96 9.142654e-08 2.99 0.25 0 393 3.222194e-02 – 2.358650e-02 – 3.157105e-03 – 1.079341e-03 – 8.353185e-06 – 0.125 0 1569 1.568367e-02 1.04 1.176665e-02 1.00 8.130095e-04 1.96 3.173216e-04 1.77 3.715999e-06 1.17 0.0625 0 6273 7.890606e-03 0.99 5.860134e-03 1.01 2.087535e-04 1.96 9.097616e-05 1.80 1.359228e-06 1.45 0.03125 0 25089 3.978745e-03 0.99 2.918938e-03 1.01 5.300457e-05 1.98 2.430899e-05 1.90 4.747372e-07 1.52 0.015625 0 100353 1.999853e-03 0.99 1.456954e-03 1.00 1.335882e-05 1.99 6.269384e-06 1.96 1.753818e-07 1.44 0.25 1 637 1.261567e-02 – 4.381984e-03 – 4.005323e-04 – 1.423174e-04 – 2.270947e-06 – 0.125 1 2561 3.012656e-03 2.07 1.239913e-03 1.82 5.094272e-05 2.97 2.011596e-05 2.82 6.069516e-07 1.90 0.0625 1 10273 7.423158e-04 2.02 3.140934e-04 1.98 6.487856e-06 2.97 2.558775e-06 2.97 1.515679e-07 2.00 0.03125 1 41153 1.846133e-04 2.01 7.882465e-05 1.99 8.261358e-07 2.97 3.225663e-07 2.99 3.765641e-08 2.01 0.015625 1 164737 4.606087e-05 2.00 1.974435e-05 2.00 1.046304e-07 2.98 4.050395e-08 2.99 9.359506e-09 2.01 0.25 2 881 4.901561e-03 – 6.467589e-04 – 7.339555e-05 – 1.163225e-05 – 3.628231e-07 – 0.125 2 3553 5.784949e-04 3.08 8.006862e-05 3.01 4.193709e-06 4.13 7.971323e-07 3.87 4.640113e-08 2.97 0.0625 2 14273 6.973436e-05 3.05 9.896615e-06 3.02 2.512826e-07 4.06 5.200708e-08 3.94 5.795639e-09 3.00 0.03125 2 57217 8.605670e-06 3.02 1.246030e-06 2.99 1.554178e-08 4.02 3.388334e-09 3.94 7.286071e-10 2.99 0.015625 2 229121 1.070946e-06 3.01 1.570128e-07 2.99 9.699535e-10 4.00 2.175903e-10 3.96 9.142654e-11 2.99 0.25 0 393 3.222194e-02 – 2.358650e-02 – 3.157105e-03 – 1.079341e-03 – 8.353185e-09 – 0.125 0 1569 1.568367e-02 1.04 1.176665e-02 1.00 8.130095e-04 1.96 3.173216e-04 1.77 3.715999e-09 1.17 0.0625 0 6273 7.890606e-03 0.99 5.860134e-03 1.01 2.087535e-04 1.96 9.097616e-05 1.80 1.359228e-09 1.45 0.03125 0 25089 3.978745e-03 0.99 2.918938e-03 1.01 5.300457e-05 1.98 2.430899e-05 1.90 4.747372e-10 1.52 0.015625 0 100353 1.999853e-03 0.99 1.456954e-03 1.00 1.335882e-05 1.99 6.269385e-06 1.96 1.753818e-10 1.44 0.25 1 637 1.261567e-02 – 4.381984e-03 – 4.005323e-04 – 1.423174e-04 – 2.270947e-09 – 0.125 1 2561 3.012656e-03 2.07 1.239913e-03 1.82 5.094272e-05 2.97 2.011596e-05 2.82 6.069516e-10 1.90 0.0625 1 10273 7.423158e-04 2.02 3.140934e-04 1.98 6.487856e-06 2.97 2.558775e-06 2.97 1.515679e-10 2.00 0.03125 1 41153 1.846133e-04 2.01 7.882465e-05 1.99 8.261358e-07 2.97 3.225663e-07 2.99 3.765642e-11 2.01 0.015625 1 164737 4.606087e-05 2.00 1.974435e-05 2.00 1.046304e-07 2.98 4.050395e-08 2.99 9.359491e-12 2.01 0.25 2 881 4.901561e-03 – 6.467589e-04 – 7.339556e-05 – 1.163225e-05 – 3.628230e-10 – 0.125 2 3553 5.784949e-04 3.08 8.006862e-05 3.01 4.193709e-06 4.13 7.971323e-07 3.87 4.640111e-11 2.97 0.0625 2 14273 6.973438e-05 3.05 9.896615e-06 3.02 2.512827e-07 4.06 5.200708e-08 3.94 5.795651e-12 3.00 0.03125 2 57217 8.605698e-06 3.02 1.246029e-06 2.99 1.554182e-08 4.02 3.388331e-09 3.94 7.285984e-13 2.99 0.015625 2 229121 1.072212e-06 3.00 1.570176e-07 2.99 9.707280e-10 4.00 2.176095e-10 3.96 9.160016e-14 2.99 0.25 0 393 3.222197e-02 – 2.358650e-02 – 3.157101e-03 – 1.079343e-03 – 8.353126e-12 – 0.125 0 1569 1.568351e-02 1.04 1.176655e-02 1.00 8.128663e-04 1.96 3.172635e-04 1.77 3.716196e-12 1.17 0.0625 0 6273 7.890564e-03 0.99 5.860114e-03 1.01 2.086862e-04 1.96 9.094945e-05 1.80 1.359335e-12 1.45 0.03125 0 25089 3.978735e-03 0.99 2.918933e-03 1.01 5.297332e-05 1.98 2.429646e-05 1.90 4.747921e-13 1.52 0.015625 0 100353 1.999850e-03 0.99 1.456953e-03 1.00 1.334166e-05 1.99 6.262585e-06 1.96 1.754138e-13 1.44 0.25 1 637 1.261571e-02 – 4.381978e-03 – 4.005307e-04 – 1.423153e-04 – 2.270990e-12 – 0.125 1 2561 3.012621e-03 2.07 1.239912e-03 1.82 5.093999e-05 2.98 2.011354e-05 2.82 6.069569e-13 1.90 0.0625 1 10273 7.422844e-04 2.02 3.140926e-04 1.98 6.486999e-06 2.97 2.558201e-06 2.97 1.515955e-13 2.00 0.03125 1 41153 1.849331e-04 2.00 7.882788e-05 1.99 8.264979e-07 2.97 3.225103e-07 2.99 3.774118e-14 2.01 0.015625 1 164737 4.819223e-05 1.94 1.975600e-05 2.00 1.062163e-07 2.96 4.051995e-08 2.99 9.917517e-15 1.93 0.25 2 881 4.901606e-03 – 6.467540e-04 – 7.339583e-05 – 1.163162e-05 – 3.628306e-13 – 0.125 2 3553 5.784848e-04 3.08 8.006882e-05 3.01 4.193606e-06 4.13 7.971120e-07 3.87 4.645136e-14 2.97 0.0625 2 14273 7.017755e-05 3.04 9.899016e-06 3.02 2.526041e-07 4.05 5.206829e-08 3.94 6.384613e-15 2.86 0.03125 2 57217 1.670814e-05 2.07 1.294704e-06 2.93 2.775679e-08 3.19 3.717234e-09 3.81 3.168766e-15 1.01 0.015625 2 229121 5.230319e-05 -1.65 1.214343e-06 0.09 3.896141e-08 -0.49 1.919767e-09 0.95 5.651455e-15 -0.83
System size OCV OCV OCV OCV OCV 0.25 0 301 5.091366e-02 – 3.763716e-02 – 5.452321e-03 – 2.192226e-03 – 1.057235e-02 – 0.125 0 1217 2.664248e-02 0.93 1.953002e-02 0.95 1.438660e-03 1.92 6.349527e-04 1.79 5.209898e-03 1.02 0.0625 0 4897 1.371812e-02 0.96 9.874165e-03 0.98 3.749484e-04 1.94 1.811691e-04 1.81 1.987649e-03 1.39 0.03125 0 19649 6.961800e-03 0.98 4.949384e-03 1.00 9.571999e-05 1.97 4.831682e-05 1.91 6.963471e-04 1.51 0.015625 0 78721 3.504377e-03 0.99 2.476364e-03 1.00 2.416339e-05 1.99 1.243355e-05 1.96 2.562386e-04 1.44 0.25 1 545 1.260873e-02 – 5.067568e-03 – 4.695794e-04 – 1.661224e-04 – 2.574142e-03 – 0.125 1 2209 3.495394e-03 1.85 1.437499e-03 1.82 6.391980e-05 2.88 2.394042e-05 2.79 7.023496e-04 1.87 0.0625 1 8897 9.150857e-04 1.93 3.657393e-04 1.97 8.347818e-06 2.94 3.061214e-06 2.97 1.747567e-04 2.01 0.03125 1 35713 2.353234e-04 1.96 9.211973e-05 1.99 1.076894e-06 2.95 3.867520e-07 2.98 4.309645e-05 2.02 0.015625 1 143105 5.983437e-05 1.98 2.312937e-05 1.99 1.373785e-07 2.97 4.860589e-08 2.99 1.063320e-05 2.02 0.25 2 789 1.989339e-03 – 7.215444e-04 – 4.092264e-05 – 1.437024e-05 – 5.024945e-04 – 0.125 2 3201 1.714420e-04 3.54 9.153136e-05 2.98 1.755080e-06 4.54 1.012735e-06 3.83 6.278277e-05 3.00 0.0625 2 12897 1.816462e-05 3.24 1.149733e-05 2.99 9.536951e-08 4.20 6.728081e-08 3.91 7.930655e-06 2.98 0.03125 2 51777 2.172452e-06 3.06 1.459545e-06 2.98 5.795572e-09 4.04 4.417584e-09 3.93 1.011191e-06 2.97 0.015625 2 207489 2.715882e-07 3.00 1.846122e-07 2.98 3.642384e-10 3.99 2.845126e-10 3.96 1.280167e-07 2.98 0.25 0 301 5.091366e-02 – 3.763716e-02 – 5.452321e-03 – 2.192226e-03 – 1.057235e-05 – 0.125 0 1217 2.664248e-02 0.93 1.953002e-02 0.95 1.438660e-03 1.92 6.349527e-04 1.79 5.209898e-06 1.02 0.0625 0 4897 1.371812e-02 0.96 9.874165e-03 0.98 3.749484e-04 1.94 1.811691e-04 1.81 1.987649e-06 1.39 0.03125 0 19649 6.961800e-03 0.98 4.949384e-03 1.00 9.571999e-05 1.97 4.831682e-05 1.91 6.963471e-07 1.51 0.015625 0 78721 3.504377e-03 0.99 2.476364e-03 1.00 2.416339e-05 1.99 1.243355e-05 1.96 2.562386e-07 1.44 0.25 1 545 1.260873e-02 – 5.067568e-03 – 4.695794e-04 – 1.661224e-04 – 2.574142e-06 – 0.125 1 2209 3.495394e-03 1.85 1.437499e-03 1.82 6.391980e-05 2.88 2.394042e-05 2.79 7.023496e-07 1.87 0.0625 1 8897 9.150857e-04 1.93 3.657393e-04 1.97 8.347818e-06 2.94 3.061214e-06 2.97 1.747567e-07 2.01 0.03125 1 35713 2.353234e-04 1.96 9.211973e-05 1.99 1.076894e-06 2.95 3.867520e-07 2.98 4.309645e-08 2.02 0.015625 1 143105 5.983437e-05 1.98 2.312937e-05 1.99 1.373785e-07 2.97 4.860589e-08 2.99 1.063320e-08 2.02 0.25 2 789 1.989339e-03 – 7.215444e-04 – 4.092264e-05 – 1.437024e-05 – 5.024945e-07 – 0.125 2 3201 1.714420e-04 3.54 9.153136e-05 2.98 1.755080e-06 4.54 1.012735e-06 3.83 6.278277e-08 3.00 0.0625 2 12897 1.816462e-05 3.24 1.149733e-05 2.99 9.536951e-08 4.20 6.728081e-08 3.91 7.930655e-09 2.98 0.03125 2 51777 2.172452e-06 3.06 1.459545e-06 2.98 5.795572e-09 4.04 4.417584e-09 3.93 1.011191e-09 2.97 0.015625 2 207489 2.715882e-07 3.00 1.846122e-07 2.98 3.642384e-10 3.99 2.845126e-10 3.96 1.280167e-10 2.98 0.25 0 301 5.091366e-02 – 3.763716e-02 – 5.452321e-03 – 2.192226e-03 – 1.057235e-08 – 0.125 0 1217 2.664248e-02 0.93 1.953002e-02 0.95 1.438660e-03 1.92 6.349527e-04 1.79 5.209898e-09 1.02 0.0625 0 4897 1.371812e-02 0.96 9.874165e-03 0.98 3.749484e-04 1.94 1.811691e-04 1.81 1.987649e-09 1.39 0.03125 0 19649 6.961800e-03 0.98 4.949384e-03 1.00 9.571999e-05 1.97 4.831682e-05 1.91 6.963471e-10 1.51 0.015625 0 78721 3.504377e-03 0.99 2.476364e-03 1.00 2.416339e-05 1.99 1.243355e-05 1.96 2.562386e-10 1.44 0.25 1 545 1.260873e-02 – 5.067568e-03 – 4.695794e-04 – 1.661224e-04 – 2.574142e-09 – 0.125 1 2209 3.495394e-03 1.85 1.437499e-03 1.82 6.391980e-05 2.88 2.394042e-05 2.79 7.023496e-10 1.87 0.0625 1 8897 9.150857e-04 1.93 3.657393e-04 1.97 8.347818e-06 2.94 3.061214e-06 2.97 1.747568e-10 2.01 0.03125 1 35713 2.353234e-04 1.96 9.211973e-05 1.99 1.076894e-06 2.95 3.867520e-07 2.98 4.309646e-11 2.02 0.015625 1 143105 5.983437e-05 1.98 2.312937e-05 1.99 1.373785e-07 2.97 4.860590e-08 2.99 1.063319e-11 2.02 0.25 2 789 1.989339e-03 – 7.215444e-04 – 4.092264e-05 – 1.437023e-05 – 5.024945e-10 – 0.125 2 3201 1.714420e-04 3.54 9.153136e-05 2.98 1.755080e-06 4.54 1.012735e-06 3.83 6.278276e-11 3.00 0.0625 2 12897 1.816462e-05 3.24 1.149733e-05 2.99 9.536949e-08 4.20 6.728081e-08 3.91 7.930667e-12 2.98 0.03125 2 51777 2.172451e-06 3.06 1.459544e-06 2.98 5.795567e-09 4.04 4.417579e-09 3.93 1.011182e-12 2.97 0.015625 2 207489 2.717105e-07 3.00 1.846151e-07 2.98 3.643416e-10 3.99 2.845273e-10 3.96 1.281173e-13 2.98 0.25 0 301 5.091363e-02 – 3.763719e-02 – 5.452310e-03 – 2.192225e-03 – 1.057255e-11 – 0.125 0 1217 2.664234e-02 0.93 1.952987e-02 0.95 1.438559e-03 1.92 6.348927e-04 1.79 5.210224e-12 1.02 0.0625 0 4897 1.371811e-02 0.96 9.874163e-03 0.98 3.749366e-04 1.94 1.811630e-04 1.81 1.987694e-12 1.39 0.03125 0 19649 6.961792e-03 0.98 4.949376e-03 1.00 9.569553e-05 1.97 4.830410e-05 1.91 6.963895e-13 1.51 0.015625 0 78721 3.504375e-03 0.99 2.476363e-03 1.00 2.415342e-05 1.99 1.242844e-05 1.96 2.562572e-13 1.44 0.25 1 545 1.260861e-02 – 5.067566e-03 – 4.695673e-04 – 1.661151e-04 – 2.574172e-12 – 0.125 1 2209 3.495056e-03 1.85 1.437494e-03 1.82 6.390885e-05 2.88 2.393561e-05 2.79 7.023477e-13 1.87 0.0625 1 8897 9.149967e-04 1.93 3.657387e-04 1.97 8.346386e-06 2.94 3.060646e-06 2.97 1.747808e-13 2.01 0.03125 1 35713 2.353216e-04 1.96 9.212023e-05 1.99 1.076851e-06 2.95 3.867169e-07 2.98 4.316424e-14 2.02 0.015625 1 143105 5.989604e-05 1.97 2.313613e-05 1.99 1.374942e-07 2.97 4.863242e-08 2.99 1.107310e-14 1.96 0.25 2 789 1.989319e-03 – 7.215433e-04 – 4.092234e-05 – 1.437001e-05 – 5.025068e-13 – 0.125 2 3201 1.714564e-04 3.54 9.153210e-05 2.98 1.755206e-06 4.54 1.012769e-06 3.83 6.282424e-14 3.00 0.0625 2 12897 1.826850e-05 3.23 1.149849e-05 2.99 9.575826e-08 4.20 6.730105e-08 3.91 8.367764e-15 2.91 0.03125 2 51777 3.348559e-06 2.45 1.494559e-06 2.94 8.286685e-09 3.53 4.796850e-09 3.81 3.193360e-15 1.39 0.015625 2 207489 8.084852e-06 -1.27 9.689466e-07 0.63 8.450114e-09 -0.03 2.358977e-09 1.02 5.357670e-15 -0.75
System size OCV OCV OCV OCV OCV “tri” mesh family 0.25 0 301 2.871509e-01 – 1.388025e-01 – 2.593695e-02 – 1.600589e-02 – 1.181657e-01 – 0.125 0 1217 1.777113e-01 0.69 8.032856e-02 0.79 8.742641e-03 1.57 6.711338e-03 1.25 7.136302e-02 0.73 0.0625 0 4897 1.056728e-01 0.75 4.066457e-02 0.98 2.754628e-03 1.67 2.345353e-03 1.52 3.546204e-02 1.01 0.03125 0 19649 5.919433e-02 0.84 1.909566e-02 1.09 7.961755e-04 1.79 7.104760e-04 1.72 1.499777e-02 1.24 0.015625 0 78721 3.155741e-02 0.91 8.815891e-03 1.12 2.154894e-04 1.89 1.964997e-04 1.85 5.693412e-03 1.40 0.25 1 545 1.094570e-01 – 1.442178e-02 – 3.566780e-03 – 5.455960e-04 – 9.971271e-03 – 0.125 1 2209 2.864697e-02 1.93 4.029509e-03 1.84 4.708069e-04 2.92 7.396471e-05 2.88 2.444760e-03 2.03 0.0625 1 8897 7.259557e-03 1.98 1.048116e-03 1.94 5.981108e-05 2.98 9.481457e-06 2.96 5.908448e-04 2.05 0.03125 1 35713 1.824671e-03 1.99 2.671313e-04 1.97 7.525256e-06 2.99 1.202422e-06 2.98 1.452048e-04 2.02 0.015625 1 143105 4.572920e-04 2.00 6.745664e-05 1.99 9.435208e-07 3.00 1.516119e-07 2.99 3.603847e-05 2.01 0.25 2 789 2.229905e-02 – 1.419633e-03 – 4.267495e-04 – 3.575930e-05 – 1.104445e-03 – 0.125 2 3201 2.913007e-03 2.94 2.057320e-04 2.79 2.782726e-05 3.94 2.784274e-06 3.68 1.603266e-04 2.78 0.0625 2 12897 3.697032e-04 2.98 2.803240e-05 2.88 1.766127e-06 3.98 1.983784e-07 3.81 2.182177e-05 2.88 0.03125 2 51777 4.652907e-05 2.99 3.679046e-06 2.93 1.112016e-07 3.99 1.332765e-08 3.90 2.855088e-06 2.93 0.015625 2 207489 5.835491e-06 3.00 4.719275e-07 2.96 6.976227e-09 3.99 8.650121e-10 3.95 3.653625e-07 2.97 “cart” mesh family 0.141421 0 681 7.431549e-02 – 5.434746e-02 – 8.757928e-03 – 6.594299e-03 – 6.380900e-02 – 0.0707107 0 2761 3.107123e-02 1.26 2.721935e-02 1.00 2.655586e-03 1.72 2.306187e-03 1.52 3.273492e-02 0.96 0.0353553 0 11121 1.241095e-02 1.32 1.190420e-02 1.19 7.555894e-04 1.81 7.039030e-04 1.71 1.413110e-02 1.21 0.0176777 0 44641 4.881669e-03 1.35 4.782175e-03 1.32 2.034841e-04 1.89 1.960254e-04 1.84 5.418242e-03 1.38 0.141421 1 1261 2.231652e-02 – 2.071433e-03 – 5.267229e-04 – 3.493709e-05 – 7.189385e-04 – 0.0707107 1 5121 5.649050e-03 1.98 4.834399e-04 2.10 6.658733e-05 2.98 3.655879e-06 3.26 9.922670e-05 2.86 0.0353553 1 20641 1.418751e-03 1.99 1.153138e-04 2.07 8.350360e-06 3.00 3.970154e-07 3.20 1.301183e-05 2.93 0.0176777 1 82881 3.553536e-04 2.00 2.813487e-05 2.04 1.044885e-06 3.00 4.589223e-08 3.11 1.674172e-06 2.96 0.141421 2 1841 2.306263e-03 – 2.086652e-04 – 2.840043e-05 – 2.186706e-06 – 1.069296e-04 – 0.0707107 2 7481 2.916838e-04 2.98 2.723758e-05 2.94 1.793080e-06 3.99 1.453602e-07 3.91 1.532567e-05 2.80 0.0353553 2 30161 3.672161e-05 2.99 3.453053e-06 2.98 1.127570e-07 3.99 9.301390e-09 3.97 2.018631e-06 2.92 0.0176777 2 121121 4.610043e-06 2.99 4.335188e-07 2.99 7.073963e-09 3.99 5.863440e-10 3.99 2.574813e-07 2.97 “locref” mesh family 0.176777 0 1121 9.662929e-02 – 6.562072e-02 – 1.260023e-02 – 8.866492e-03 – 7.575972e-02 – 0.0883883 0 4481 4.099609e-02 1.24 3.436386e-02 0.93 3.906079e-03 1.69 3.286328e-03 1.43 4.145393e-02 0.87 0.0441942 0 17921 1.652976e-02 1.31 1.560495e-02 1.14 1.135878e-03 1.78 1.043778e-03 1.65 1.880963e-02 1.14 0.0220971 0 71681 6.483533e-03 1.35 6.378802e-03 1.29 3.108131e-04 1.87 2.979813e-04 1.81 7.448419e-03 1.34 0.176777 1 2081 3.419560e-02 – 2.922194e-03 – 1.009461e-03 – 6.113120e-05 – 1.309813e-03 – 0.0883883 1 8321 8.705068e-03 1.97 6.775391e-04 2.11 1.285386e-04 2.97 6.530443e-06 3.23 1.873541e-04 2.81 0.0441942 1 33281 2.190150e-03 1.99 1.594929e-04 2.09 1.615289e-05 2.99 6.990477e-07 3.22 2.489209e-05 2.91 0.0220971 1 133121 5.489024e-04 2.00 3.859099e-05 2.05 2.022588e-06 3.00 7.936535e-08 3.14 3.227847e-06 2.95 0.176777 2 3041 4.385363e-03 – 3.551913e-04 – 6.724034e-05 – 4.645085e-06 – 1.904914e-04 – 0.0883883 2 12161 5.582283e-04 2.97 4.762003e-05 2.90 4.278387e-06 3.97 3.194758e-07 3.86 2.847426e-05 2.74 0.0441942 2 48641 7.038299e-05 2.99 6.108618e-06 2.96 2.695583e-07 3.99 2.082572e-08 3.94 3.835956e-06 2.89 0.0220971 2 194561 8.841014e-06 2.99 7.707985e-07 2.99 1.692408e-08 3.99 1.324258e-09 3.98 4.942612e-07 2.96 “hexa” mesh family 0.241412 0 1162 5.770683e-02 – 6.001934e-02 – 8.695028e-03 – 7.650827e-03 – 7.183858e-02 – 0.129713 0 4322 2.732537e-02 1.20 3.083595e-02 1.07 3.271674e-03 1.57 3.088796e-03 1.46 3.427624e-02 1.19 0.0657364 0 16642 1.135351e-02 1.29 1.347297e-02 1.22 1.012115e-03 1.73 9.847495e-04 1.68 1.426008e-02 1.29 0.0329799 0 65282 4.499879e-03 1.34 5.454410e-03 1.31 2.820949e-04 1.85 2.784537e-04 1.83 5.489740e-03 1.38 0.241412 1 2202 1.590592e-02 – 4.250048e-03 – 4.983831e-04 – 2.051919e-04 – 3.726391e-03 – 0.129713 1 8202 4.682540e-03 1.97 1.069133e-03 2.22 7.943574e-05 2.96 2.543882e-05 3.36 7.854022e-04 2.51 0.0657364 1 31602 1.239505e-03 1.96 2.457061e-04 2.16 1.069243e-05 2.95 2.458947e-06 3.44 1.487627e-04 2.45 0.0329799 1 124002 3.171237e-04 1.98 5.656809e-05 2.13 1.373283e-06 2.98 2.383934e-07 3.38 2.744157e-05 2.45 0.241412 2 3242 2.485494e-03 – 4.271783e-04 – 4.614337e-05 – 9.897321e-06 – 2.615419e-04 – 0.129713 2 12082 4.180162e-04 2.87 7.454427e-05 2.81 4.305935e-06 3.82 9.444987e-07 3.78 4.017522e-05 3.02 0.0657364 2 46562 5.918798e-05 2.88 1.066472e-05 2.86 3.168190e-07 3.84 7.066557e-08 3.81 5.338156e-06 2.97 0.0329799 2 182722 7.815297e-06 2.94 1.411474e-06 2.93 2.122297e-08 3.92 4.763964e-09 3.91 6.820794e-07 2.98
Acknowledgements
Funded by the European Union (ERC Synergy, NEMESIS, project number 101115663). Views and opinions expressed are however those of the authors only and do not necessarily reflect those of the European Union or the European Research Council Executive Agency. Neither the European Union nor the granting authority can be held responsible for them.