-
Stability, convergence, and pressure-robustness of numerical schemes for incompressible flows with hybrid velocity and pressure
Authors:
Lorenzo Botti,
Michele Botti,
Daniele Antonio Di Pietro,
Francesco Carlo Massa
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…
▽ More
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.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
BR2 discontinuous Galerkin methods for finite hyperelastic deformations
Authors:
Lorenzo Botti,
Luca Verzeroli
Abstract:
In this work we introduce a dG framework for nonlinear elasticity based on a Bassi-Rebay (BR2) formulation. The framework encompasses compressible and incompressible hyperelastic materials and is capable of dealing with large deformations. In order to achieve stability, we combine higher-order lifting operators for the BR2 stabilization term with an adaptive stabilization strategy which relies on…
▽ More
In this work we introduce a dG framework for nonlinear elasticity based on a Bassi-Rebay (BR2) formulation. The framework encompasses compressible and incompressible hyperelastic materials and is capable of dealing with large deformations. In order to achieve stability, we combine higher-order lifting operators for the BR2 stabilization term with an adaptive stabilization strategy which relies on the BR2 Laplace operator stabilization and a penalty parameter based on the spectrum of the fourth-order elasticity tensor. Dirichlet boundary conditions for the displacement can be imposed by means of Lagrange multipliers and Nitsche method. Efficiency of the solution strategy is achieved by means of state-of-the-art agglomeration based $h$-multigrid preconditioners and the code implementation supports distributed memory execution on modern parallel architectures. Several benchmark test cases are proposed in order to investigate some relevant computational aspects, namely the performance of the $h$-multigrid iterative solver varying the stabilization parameters and the influence of Dirichlet boundary conditions on Newton's method globalisation strategy.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
HHO methods for the incompressible Navier-Stokes and the incompressible Euler equations
Authors:
Lorenzo Botti,
Francesco Carlo Massa
Abstract:
We propose two Hybrid High-Order (HHO) methods for the incompressible Navier-Stokes equations and investigate their robustness with respect to the Reynolds number. While both methods rely on a HHO formulation of the viscous term, the pressure-velocity coupling is fundamentally different, up to the point that the two approaches can be considered antithetical. The first method is kinetic energy pres…
▽ More
We propose two Hybrid High-Order (HHO) methods for the incompressible Navier-Stokes equations and investigate their robustness with respect to the Reynolds number. While both methods rely on a HHO formulation of the viscous term, the pressure-velocity coupling is fundamentally different, up to the point that the two approaches can be considered antithetical. The first method is kinetic energy preserving, meaning that the skew-symmetric discretization of the convective term is guaranteed not to alter the kinetic energy balance. The approximated velocity fields exactly satisfy the divergence free constraint and continuity of the normal component of the velocity is weakly enforced on the mesh skeleton, leading to H-div conformity. The second scheme relies on Godunov fluxes for pressure-velocity coupling: a Harten, Lax and van Leer (HLL) approximated Riemann Solver designed for cell centered formulations is adapted to hybrid face centered formulations. The resulting numerical scheme is robust up to the inviscid limit, meaning that it can be applied for seeking approximate solutions of the incompressible Euler equations. The schemes are numerically validated performing steady and unsteady two dimensional test cases and evaluating the convergence rates on h-refined mesh sequences. In addition to standard benchmark flow problems, specifically conceived test cases are conducted for studying the error behaviour when approaching the inviscid limit.
△ Less
Submitted 17 December, 2021;
originally announced December 2021.
-
$p$-Multilevel preconditioners for HHO discretizations of the Stokes equations with static condensation
Authors:
Lorenzo Botti,
Daniele Antonio Di Pietro
Abstract:
We propose a $p$-multilevel preconditioner for Hybrid High-Order discretizations (HHO) of the Stokes equation, numerically assess its performance on two variants of the method, and compare with a classical Discontinuous Galerkin scheme. We specifically investigate how the combination of $p$-coarsening and static condensation influences the performance of the $V$-cycle iteration for HHO. Two differ…
▽ More
We propose a $p$-multilevel preconditioner for Hybrid High-Order discretizations (HHO) of the Stokes equation, numerically assess its performance on two variants of the method, and compare with a classical Discontinuous Galerkin scheme. We specifically investigate how the combination of $p$-coarsening and static condensation influences the performance of the $V$-cycle iteration for HHO. Two different static condensation procedures are considered, resulting in global linear systems with a different number of unknowns and non-zero elements. An efficient implementation is proposed where coarse level operators are inherited using $L^2$-orthogonal projections defined over mesh faces and the restriction of the fine grid operators is performed recursively and matrix-free. The various resolution strategies are thoroughly validated on two- and three-dimensional problems.
△ Less
Submitted 29 September, 2020;
originally announced September 2020.
-
An abstract analysis framework for monolithic discretisations of poroelasticity with application to Hybrid High-Order methods
Authors:
Lorenzo Botti,
Michele Botti,
Daniele A. Di Pietro
Abstract:
In this work, we introduce a novel abstract framework for the stability and convergence analysis of fully coupled discretisations of the poroelasticity problem and apply it to the analysis of Hybrid High-Order (HHO) schemes. A relevant feature of the proposed framework is that it rests on mild time regularity assumptions that can be derived from an appropriate weak formulation of the continuous pr…
▽ More
In this work, we introduce a novel abstract framework for the stability and convergence analysis of fully coupled discretisations of the poroelasticity problem and apply it to the analysis of Hybrid High-Order (HHO) schemes. A relevant feature of the proposed framework is that it rests on mild time regularity assumptions that can be derived from an appropriate weak formulation of the continuous problem. To the best of our knowledge, these regularity results for the Biot problem are new. A novel family of HHO discretisation schemes is proposed and analysed, and their performance numerically evaluated.
△ Less
Submitted 8 December, 2019;
originally announced December 2019.
-
p-Multigrid matrix-free discontinuous Galerkin solution strategies for the under-resolved simulation of incompressible turbulent flows
Authors:
Matteo Franciolini,
Lorenzo Botti,
Alessandro Colombo,
Andrea Crivellini
Abstract:
In recent years several research efforts focused on the development of high-order discontinuous Galerkin (dG) methods for scale resolving simulations of turbulent flows. Nevertheless, in the context of incompressible flow computations, the computational expense of solving large scale equation systems characterized by indefinite Jacobian matrices has often prevented from dealing with industrially-r…
▽ More
In recent years several research efforts focused on the development of high-order discontinuous Galerkin (dG) methods for scale resolving simulations of turbulent flows. Nevertheless, in the context of incompressible flow computations, the computational expense of solving large scale equation systems characterized by indefinite Jacobian matrices has often prevented from dealing with industrially-relevant computations. In this work we seek to improve the efficiency of Rosenbrock-type linearly-implicit Runge-Kutta methods by devising robust, scalable and memory-lean solution strategies. In particular, we introduce memory saving p-multigrid preconditioners coupling matrix-free and matrix-based Krylov iterative smoothers. The p-multigrid preconditioner relies on cheap block-diagonal smoother's preconditioners on the fine space to reduce assembly costs and memory allocation, and ensures an adequate resolution of the coarsest space of the multigrid iteration using Additive Schwarz precondioned smoothers to obtain satisfactory convergence rates and optimal parallel efficiency of the method. Extensive numerical validation is performed. The Rosenbrock formulation is applied to test cases of growing complexity: the laminar unsteady flow around a two-dimensional cylinder at Re=200 and around a sphere at Re=300, the transitional flow problem of the ERCOFTAC T3L test case suite with different levels of free-stream turbulence. As proof of concept, the numerical solution of the Boeing Rudimentary Landing Gear test case at Re=10^6 is reported. A good agreement of the solutions with experimental data is documented, as well as strong memory savings and execution time gains with respect to state-of-the art solution strategies.
△ Less
Submitted 11 May, 2019; v1 submitted 4 September, 2018;
originally announced September 2018.
-
A Hybrid High-Order method for the incompressible Navier--Stokes equations based on Temam's device
Authors:
Lorenzo Botti,
Daniele Di Pietro,
Jérôme Droniou
Abstract:
In this work we propose a novel Hybrid High-Order method for the incompressible Navier--Stokes equations based on a formulation of the convective term including Temam's device for stability. The proposed method has several advantageous features: it supports arbitrary approximation orders on general meshes including polyhedral elements and non-matching interfaces; it is inf-sup stable; it is locall…
▽ More
In this work we propose a novel Hybrid High-Order method for the incompressible Navier--Stokes equations based on a formulation of the convective term including Temam's device for stability. The proposed method has several advantageous features: it supports arbitrary approximation orders on general meshes including polyhedral elements and non-matching interfaces; it is inf-sup stable; it is locally conservative; it supports both the weak and strong enforcement of velocity boundary conditions; it is amenable to efficient computer implementations where a large subset of the unknowns is eliminated by solving local problems inside each element. Particular care is devoted to the design of the convective trilinear form, which mimicks at the discrete level the non-dissipation property of the continuous one. The possibility to add a convective stabilisation term is also contemplated, and a formulation covering various classical options is discussed. The proposed method is theoretically analysed, and an energy error estimate in $h^{k+1}$ (with $h$ denoting the meshsize) is proved under the usual data smallness assumption. A thorough numerical validation on two and three-dimensional test cases is provided both to confirm the theoretical convergence rates and to assess the method in more physical configurations (including, in particular, the well-known two- and three-dimensional lid-driven cavity problems).
△ Less
Submitted 10 October, 2018; v1 submitted 19 July, 2018;
originally announced July 2018.
-
A Hybrid High-Order discretisation of the Brinkman problem robust in the Darcy and Stokes limits
Authors:
Lorenzo Botti,
Daniele A. Di Pietro,
Jérôme Droniou
Abstract:
In this work, we develop and analyse a novel Hybrid High-Order discretisation of the Brinkman problem. The method hinges on hybrid discrete velocity unknowns at faces and elements and on discontinuous pressures. Based on the discrete unknowns, we reconstruct inside each element a Stokes velocity one degree higher than face unknowns, and a Darcy velocity in the Raviart-Thomas-Nédélec space. These r…
▽ More
In this work, we develop and analyse a novel Hybrid High-Order discretisation of the Brinkman problem. The method hinges on hybrid discrete velocity unknowns at faces and elements and on discontinuous pressures. Based on the discrete unknowns, we reconstruct inside each element a Stokes velocity one degree higher than face unknowns, and a Darcy velocity in the Raviart-Thomas-Nédélec space. These reconstructed velocities are respectively used to formulate the discrete versions of the Stokes and Darcy terms in the momentum equation, along with suitably designed penalty contributions. The proposed construction is tailored to yield optimal error estimates that are robust throughout the entire spectrum of local (Stokes- or Darcy-dominated) regimes, as identified by a dimensionless number which can be interpreted as a friction coefficient. The singular limit corresponding to the Darcy equation is also fully supported by the method. Numerical examples corroborate the theoretical results. This paper also contains two contributions whose interest goes beyond the specific method and application treated in this work: an investigation of the dependence of the constant in the second Korn inequality on star-shaped domains and its application to the study of the approximation properties of the strain projector in general Sobolev seminorms.
△ Less
Submitted 23 July, 2018; v1 submitted 29 March, 2018;
originally announced March 2018.