Searcharxiv⌕ Search

arXiv subjects

Daniele Antonio Di Pietro

Publications and source records attributed to Daniele Antonio Di Pietro.

9 recordsLinked to original sources

Key challenges and bridges among convergence analysis techniques for polytopal methods

Polytopal methods provide a flexible framework for the numerical approximation of partial differential equations on general meshes. Their convergence analysis raises specific challenges due to their inherently non-conforming nature and, in many cases, the fully discrete nature of their solution. Two main techniques are considered: the virtual-function approach, used, e.g., in the context of Virtual Element Methods, and the fully discrete approach, which underlies, e.g., the Discrete de Rham method. We introduce here a novel framework based on the notion of conforming liftings, namely bounded and consistent mappings from the discrete space into the continuous space. This approach bridges the virtual and fully discrete viewpoints, clarifies the role of norm equivalence for virtual functions, and leads to a decomposition of the consistency error usable for polytopal methods. The three approaches are demonstrated on a model problem, which provides the opportunity to discuss relevant technical points. Bridges with the convergence properties of discrete differential complexes are also built.

math.NA↗

Hybrid High-Order formulations with turbulence modelling capabilities for incompressible flow problems

We propose a Hybrid High-Order (HHO) formulation of the incompressible Navier--Stokes equations, that is well suited to be employed for the simulation of turbulent flows. The spatial discretization relies on hybrid velocity and pressure spaces and the temporal discretization is based on Explicit Singly Diagonal Implicit Runge-Kutta (ESDIRK) methods. The formulation possesses some attractive features that can be fruitfully exploited when high-fidelity computations are required, namely: pressure-robustness, conservation of mass enforced cell-by-cell up to machine precision, robustness in the inviscid limit, implicit high-order accurate time stepping with local time step adaptation, reduced memory footprint thanks to static condensation of both velocity and pressure, possibility to exploit inherited $p$-multilevel solution strategies to improve performance of iterative solvers. After demonstrating the relevant properties of the scheme in practice, performing challenging 2D and 3D test cases, we consider the simulation of the Taylor--Green Vortex flow problem at Reynolds 1600.

physics.flu-dyn↗

Stability, convergence, and pressure-robustness of numerical schemes for incompressible flows with hybrid velocity and pressure

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.

math.NA↗

Improved error estimates for Hybrid High-Order discretizations of Leray-Lions problems

We derive novel error estimates for Hybrid High-Order (HHO) discretizations of Leray-Lions problems set in W^(1,p) with p in (1,2]. Specifically, we prove that, depending on the degeneracy of the problem, the convergence rate may vary between (k+1)(p-1) and (k+1), with k denoting the degree of the HHO approximation. These regime-dependent error estimates are illustrated by a complete panel of numerical experiments.

math.NA↗

A Hybrid High-Order method for incompressible flows of non-Newtonian fluids with power-like convective behaviour

In this work, we design and analyze a Hybrid High-Order (HHO) discretization method for incompressible flows of non-Newtonian fluids with power-like convective behaviour. We work under general assumptions on the viscosity and convection laws, that are associated with possibly different Sobolev exponents r > 1 and s > 1. After providing a novel weak formulation of the continuous problem, we study its well-posedness highlighting how a subtle interplay between the exponents r and s determines the existence and uniqueness of a solution. We next design an HHO scheme based on this weak formulation and perform a comprehensive stability and convergence analysis, including convergence for general data and error estimates for shear-thinning fluids and small data. The HHO scheme is validated on a complete panel of model problems.

math.NA↗

An arbitrary-order discrete de Rham complex on polyhedral meshes: Exactness, Poincaré inequalities, and consistency

In this paper we present a novel arbitrary-order discrete de Rham (DDR) complex on general polyhedral meshes based on the decomposition of polynomial spaces into ranges of vector calculus operators and complements linked to the spaces in the Koszul complex. The DDR complex is fully discrete, meaning that both the spaces and discrete calculus operators are replaced by discrete counterparts, and satisfies suitable exactness properties depending on the topology of the domain. In conjunction with bespoke discrete counterparts of $L^2$-products, it can be used to design schemes for partial differential equations that benefit from the exactness of the sequence but, unlike classical (e.g., Raviart--Thomas--Nédélec) finite elements, are nonconforming. We prove a complete panel of results for the analysis of such schemes: exactness properties, uniform Poincaré inequalities, as well as primal and adjoint consistency. We also show how this DDR complex enables the design of a numerical scheme for a magnetostatics problem, and use the aforementioned results to prove stability and optimal error estimates for this scheme.

math.NA↗

A posteriori error estimates via equilibrated stress reconstructions for contact problems approximated by Nitsche's method

We present an a posteriori error estimate based on equilibrated stress reconstructions for the finite element approximation of a unilateral contact problem with weak enforcement of the contact conditions. We start by proving a guaranteed upper bound for the dual norm of the residual. This norm is shown to control the natural energy norm up to a boundary term, which can be removed under a saturation assumption. The basic estimate is then refined to distinguish the different components of the error, and is used as a starting point to design an algorithm including adaptive stopping criteria for the nonlinear solver and automatic tuning of a regularization parameter. We then discuss an actual way of computing the stress reconstruction based on the Arnold-Falk-Winther finite elements. Finally, after briefly discussing the efficiency of our estimators, we showcase their performance on a panel of numerical tests.

math.NA↗

An arbitrary-order discrete de Rham complex on polyhedral meshes. Part II: Consistency

In this paper we prove a complete panel of consistency results for the discrete de Rham (DDR) complex introduced in the companion paper [D. A. Di Pietro and J. Droniou, An arbitrary-order discrete de Rham complex on polyhedral meshes. Part I: Exactness and Poincaré inequalities, 2021, submitted], including primal and adjoint consistency for the discrete vector calculus operators, and consistency of the corresponding potentials. The theoretical results are showcased by performing a full convergence analysis for a DDR approximation of a magnetostatics model. Numerical results on three-dimensional polyhedral meshes complete the exposition.

math.NA↗

$p$-Multilevel preconditioners for HHO discretizations of the Stokes equations with static condensation

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.

math.NA↗