Search arXiv⌕ Search

arXiv subjects

Mario Ricchiuto

Publications and source records attributed to Mario Ricchiuto.

At least 19 recordsLinked to original sources

High-order in-cell discontinuous reconstruction path-conservative methods for conservative systems in primitive variables

We present a path-conservative methodology for the numerical approximation of conservative systems formulated exclusively in primitive variables, the most physically relevant set of variables. The approach is designed to preserve the correct weak solution while avoiding the spurious oscillations near contact discontinuities that may arise in conservative formulations. Nonconservative products are treated through the selection of a suitable family of paths combined with an in-cell discontinuous reconstruction strategy, which is locally activated near shocks. To choose the path we introduce a compatibility condition between the Rankine-Hugoniot conditions of the non-conservative form, with the exact ones, assumed to be known. In smooth regions and across contact discontinuities, a standard path-conservative scheme is employed. The method is further extended to achieve high-order accuracy. Numerical results for the Euler multimaterial and shear interface model demonstrates correct shock-capturing property, suppression of spurious oscillations due to contact discontinuities, and convergence without using hybrid formulations.

math.NA↗

Arbitrary order stationarity preserving stabilized finite elements for multidimensional nonlinear hyperbolic problems. Application to the Euler equations with gravity

We develop arbitrarily high-order, stationarity-preserving stabilized finite element methods for multidimensional nonlinear hyperbolic balance laws on Cartesian grids. We aim at approximating all the steady states of the problem at hand, including non-trivial genuinely multidimensional equilibria, with a level of accuracy higher than the nominal one of the underlying scheme. We formalize more precisely the meaning of stationarity preservation, providing some technical conditions for its realizability. We then recast the multidimensional global-flux quadrature of Barsukow et al. (Num. Meth. PDEs, 2025) as a local preprocessing of the physical fluxes that maps continuous polynomial vector fields to a local space with Raviart--Thomas-type structure. Both the Galerkin and SUPG formulations are recast in this setting. The resulting methods extend the stationarity-preserving finite-volume approach of Barsukow et al. (J. Comput. Phys., 2026) to high-order continuous finite elements and Barsukow et al. (Num. Meth. PDEs, 2025) to nonlinear balance laws. We analyze key properties of the proposed schemes, including local conservation and nodal superconvergence of the discrete steady kernel, and we discuss their relation to low-Mach-compliant discretizations. We apply the framework to the compressible Euler equations with gravity. A simple source-term reformulation yields machine-precision preservation of isothermal hydrostatic equilibria. Extensive numerical benchmarks, including moving equilibrium, near-equilibrium, and instability-dominated regimes, demonstrate clear improvements in robustness and accuracy over standard SUPG and reference finite-volume methods.

math.NA↗

On the involution preserving properties of semi-discrete Active Flux methods on simplex

We study the involution-preserving properties of the Active Flux method on unstructured triangular meshes. Two model problems are considered: the two-dimensional linear acoustic system, which satisfies a curl involution on the velocity field, and the two-dimensional Maxwell equations with an in-plane magnetic field, which satisfy a divergence involution. Both systems can be written in conservative form. The question we address is how a single discretization can satisfy the conservative form and the involution at the same time. Within a discrete Active Flux framework on simplices, we derive explicit formulas for a discrete curl operator that is exactly preserved by the scheme for acoustics, and for a discrete divergence operator preserved for the Maxwell system. The analysis applies to general simplex meshes and to any polynomial degree, including extensions of the method beyond third order. Numerical experiments with the third-order scheme confirm the theoretical results. Highlights: 1-Active Flux on unstructured triangular meshes preserves discrete involutions, 2-Explicit discrete curl operator preserved by the scheme for linear acoustics, 3- Explicit discrete divergence operator preserved for 2D Maxwell equations, 4- Results hold on general simplex meshes,% and for any polynomial degree 5- Third-order numerical experiments confirm the theoretical results. \end{itemize}

math.NA↗

A high-order polynomial-corrected shifted boundary method for simulating fully nonlinear water waves

We present a novel unfitted computational framework for simulating fully nonlinear potential flow-based water waves. Focusing on wave propagation, we describe the core methodology, which involves a high-order polynomial-corrected shifted-boundary approximation on unfitted spectral elements. This approach allows for the simulation of a curved, highly time-dependent (moving and deforming) free surface affected by bathymetric changes. All that on a simple Cartesian background mesh without re-meshing or further approximations of non-affine geometric features. In addition, we highlight the importance of proper gradient recovery using a polynomial-preserving technique to accurately capture the vertical free-surface velocity. Ultimately, the goal is to develop a high-order convergent numerical scheme capable of simulating highly nonlinear waves over long periods. This is achieved through an arbitrary-order finite-difference approximation of the free surface combined with added hyperviscosity for numerical stability. We present verification and validation test cases for wave propagation in both periodic and finite domains. Emphasis is placed on convergence studies, the justification for using high-order approximations, the importance of optimal gradient recovery, long-time simulation of highly nonlinear waves, and nonlinear wave interactions with both affine and curved bathymetry changes, as well as with vertical walls, for highly nonlinear stream function waves and high-amplitude solitons. The novel computational model offers a comprehensive, all-in-one framework for simulating ocean waves and their interactions with offshore structures. It provides significant geometric flexibility, enabling boundaries such as the free surface to move and deform over time without the need to re-mesh a boundary-fitted mesh.

physics.flu-dyn↗

GPU-Accelerated Energy-Conserving Methods for the Two-Dimensional Hyperbolized Serre-Green-Naghdi Equations

We develop energy-conserving numerical methods for a two-dimensional hyperbolic approximation of the Serre-Green-Naghdi equations with variable bathymetry and either periodic or reflecting boundary conditions. The hyperbolic formulation avoids the costly inversion of an elliptic operator present in the classical model. Our schemes combine split forms with summation-by-parts (SBP) operators to construct semi-discretizations that conserve the total water mass and the total energy. We provide analytical proofs of these conservation properties and also verify them numerically. While the framework is general, our implementation focuses on second-order finite-difference SBP operators. The methods are implemented in Julia for CPU and GPU architectures (AMD and NVIDIA) and achieve substantial speedups on modern accelerators. We validate the approach through convergence studies based on solitary-wave and manufactured-solution tests, and by comparisons to analytical, experimental, and existing numerical results. All source code to reproduce our results is available online.

math.NA↗

Structure-preserving approximations of the Serre-Green-Naghdi equations in standard and hyperbolic form

We develop structure-preserving numerical methods for the Serre-Green-Naghdi equations, a model for weakly dispersive free-surface waves. We consider both the classical form, requiring the inversion of a non-linear elliptic operator, and a hyperbolic approximation of the equations, allowing fully explicit time stepping. Systems for both flat and variable topography are studied. Our novel numerical methods conserve both the total water mass and the total energy. In addition, the methods for the original Serre-Green-Naghdi equations conserve the total momentum for flat bathymetry. For variable topography, all the methods proposed are well-balanced for the lake-at-rest state. We provide a theoretical setting allowing us to construct schemes of any kind (finite difference, finite element, discontinuous Galerkin, spectral, etc.) as long as summation-by-parts operators are available in the chosen setting. Energy-stable variants are proposed by adding a consistent high-order artificial viscosity term. The proposed methods are validated through a large set of benchmarks to verify all the theoretical properties. Whenever possible, comparisons with exact, reference numerical, or experimental data are carried out. The impressive advantage of structure preservation, and in particular energy preservation, to resolve accurately dispersive wave propagation on very coarse meshes is demonstrated by several of the tests.

math.NA↗

On general and complete multidimensional Riemann solvers for nonlinear systems of hyperbolic conservation laws

In this work, we introduce a framework to design multidimensional Riemann solvers for nonlinear systems of hyperbolic conservation laws on general unstructured polygonal Voronoi-like tessellations. In this framework we propose two simple but complete solvers. The first method is a direct extension of the Osher-Solomon Riemann solver to multiple space dimensions. Here, the multidimensional numerical dissipation is obtained by integrating the absolute value of the flux Jacobians over a dual triangular mesh around each node of the primal polygonal grid. The required nodal gradient is then evaluated on a local computational simplex involving the d+1 neighbors meeting at each corner. The second method is a genuinely multidimensional upwind flux. By introducing a fluctuation form of finite volume methods with corner fluxes, we show an equivalence with residual distribution schemes (RD). This naturally allows to construct genuinely multidimensional upwind corner fluxes starting from existing and well-known RD fluctuations. In particular, we explore the use of corner fluxes obtained from the so-called N scheme, i.e. the Roe's original optimal multidimensional upwind advection scheme. Both methods use the full eigenstructure of the underlying hyperbolic system and are therefore complete by construction. A simple higher order extension up to fourth order in space and time is then introduced at the aid of a CWENO reconstruction in space and an ADER approach in time, leading to a family of high order accurate fully-discrete one-step schemes based on genuinely multidimensional Riemann solvers. We present applications of our new numerical schemes to several test problems for the compressible Euler equations of gas-dyanamics. In particular, we show that the proposed schemes are at the same time carbuncle-free and preserve certain stationary shear waves exactly.

math.NA↗

Genuinely multi-dimensional stationarity preserving Finite Volume formulation for nonlinear hyperbolic PDEs

Classical Finite Volume methods for multi-dimensional problems include stabilization (e.g.\ via a Riemann solver), that is derived by considering several one-dimensional problems in different directions. Such methods therefore ignore a possibly existing balance of contributions coming from different directions, such as the one characterizing multi-dimensional stationary states. Instead of being preserved, they are usually diffused away by such methods. Stationarity preserving methods use a better suited stabilization term that vanishes at the stationary state, allowing the method to preserve it. This work presents a general approach to stationarity preserving Finite Volume methods for nonlinear conservation/balance laws. It is based on a multi-dimensional stationarity preserving quadrature strategy that allows to naturally introduce genuinely multi-dimensional numerical fluxes. The new methods are shown to significantly outperform existing ones even if the latter are of higher order of accuracy and even on non-stationary solutions.

math.NA↗

Positivity-preserving Well-balanced PAMPA Schemes with Global Flux quadrature for One-dimensional Shallow Water Models

We present a novel hydrostatic and non-hydrostatic equilibria preserving Point-Average-Moment PolynomiAl-interpreted (PAMPA) method for solving the one-dimensional hyperbolic balance laws, with applications to the shallow water models including the Saint--Venant system with the Manning friction term and rotating shallow water equations. The idea is based on a global flux quadrature formulation, in which the discretization of the source terms is obtained from the derivative of and additional flux function computed via high order quadrature of the source term. The reformulated system is quasi-conservative with global integral terms computed using Gauss--Lobatto quadrature nodes. The resulting method is capable of preserving a large family of smooth moving equilibria: supercritical and subcritical flows, in a super-convergent manner. We also show that, by an appropriate quadrature strategy for the source, we can exactly preserve the still water states. Moreover, to guarantee the positivity of water depth and eliminate the spurious oscillations near shocks, we blend the high-order PAMPA schemes with the first order local Lax--Friedrichs schemes using the method developed in [R. Abgrall, M. Jiao, Y. Liu, and K. Wu, arXiv preprint arXiv:2410.14292, 2024]. The first-order schemes are designed to preserve the still water equilibria and positivity of water height, as well as to deal with wet-dry fronts. Extensive numerical experiments are tested to validate the advantages and robustness of the proposed scheme.

math.NA↗

Embedding General Conservation Constraints in Discretizations of Hyperbolic Systems on Arbitrary Meshes: A Multidimensional Framework

The purpose of this review is to discuss the notion of conservation in hyperbolic systems and how one can formulate it at the discrete level depending on the solution representation of the solution. A general theory is difficult. We discuss several possibilities: if the solution is represented by average in volumes; if the mesh is staggerred; if the solution is solely represented by point values and an example where all the previous options are mixed. We show how each configuration can provide, or not, enough flexibility. The discussion could be adapted to any hyperbolic system endowed with an entropy, but we focus on compressible fluid mechanics, in its Eulerian and Lagrangian formulations. The unifying element is that we systematically express the update of conserved variables as $u^{n+1}=u^n- Δt\; δu$, where the functional $δu$ depends on the value of $u$ in the stencil of the scheme. Then, one can naturally define a graph connecting the states defining $δu$. The notion of local conservation can be defined from this graph. We are aware of only two possible situations: either the graph is constructed from the faces of the mesh elements (or the dual mesh), or it is defined from the mesh itself. Two notions of local conservation then emerge: either we define a numerical flux, or we define a "residual" attached to elements and the degrees of freedom within the element. We show that this two notions are in a way equivalent, but the one with residual allows much more flexibility, especially if additional algebraic constraints must be satisfied. Examples of specific additional conservation constraints are provided to illustrate this. We also show that this notion of conservation gives a very clear framework for the design of scheme in the Lagrangian framework. We end by providing a number of ongoing research questions, and highlight some open questions.

math.NA↗

Semi-implicit strategies for the Serre-Green-Naghdi equations in hyperbolic form. Is hyperbolic relaxation really a good idea?

The Serre-Green-Naghdi (SGN) equations provide a valuable framework for modelling fully nonlinear and weakly dispersive shallow-water flows. However, their elliptic formulation can considerably increase the computational cost compared to the Saint-Venant equations. To overcome this difficulty, hyperbolic models (hSGN) have been proposed that replace the elliptic operators with first-order hyperbolic formulations augmented by relaxation terms, which recover the original elliptic formulation in the stiff limit. Yet, as the relaxation parameter λincreases, explicit schemes face restrictive stability constraints that may offset these advantages. To mitigate this limitation, we introduce a semi-implicit (SI) integration strategy for the hSGN system, where the stiff acoustic terms are treated implicitly within an IMEX Runge-Kutta framework, while the advective components remain explicit. The proposed approach mitigates the CFL stability restriction and maintains dispersive accuracy at a moderate computational cost. Numerical results confirm that the combination of hyperbolization and semi-implicit time integration provides an efficient and accurate alternative to both classical SGN and fully explicit hSGN solvers.

math.NA↗

Stationarity preserving nodal Finite Element methods for multi-dimensional linear hyperbolic balance laws via a Global Flux quadrature formulation

We consider linear, hyperbolic systems of balance laws in several space dimensions. They possess non-trivial steady states, which result from the equilibrium between derivatives of the unknowns in different directions, and the sources. Standard numerical methods fail to account for this equilibrium, and include stabilization that destroys it. This manifests itself in a diffusion of states that are supposed to remain stationary. We derive new stabilized high-order Finite Element methods based on a Global Flux quadrature: we reformulate the entire spatial operator as a mixed derivative of a single quantity, referred to as global flux. All spatial derivatives and the sources are thus treated simultaneously, and our methods are stationarity preserving. Additionally, when this formulation is combined with interpolation on Gauss-Lobatto nodes, the new methods are super-convergent at steady state. Formal consistency estimates, and strategies to construct well-prepared initial data are provided. The numerical results confirm the theoretical predictions, and show the tremendous benefits of the new formulation.

math.NA↗

A geometrical Green-Naghdi type system for dispersive-like waves in prismatic channels

We consider 2D free surface gravity waves in prismatic channels with bathymetric variations uniquely in the transverse direction. Starting from the Saint-Venant equations (shallow water equations) we derive a 1D transverse averaged model describing dispersive effects solely related to variations of the channel topography. These effects have been demonstrated in Chassagne et al. JFM 2019 to be predominant in the propagation of bores with Froude numbers below a critical value of about 1.15. The model proposed is fully nonlinear, Galilean invariant, and admits a variational formulation under natural assumptions about the channel geometry. It is endowed with an exact energy conservation law, and admits exact travelling wave solutions. Our model generalizes and improves the linear equations proposed by Chassagne et al. JFM 2019, as well as Quezada de Luna and Ketcheson JFM 2021. The system is recast in two useful forms appropriate for its numerical approximations, whose properties are discussed. Numerical results allow to verify against analytical solutions the implementation of these formulations, and validate our model against fully 2D nonlinear shallow water simulations, as well as the famous experiments by Treske J. Hyd. Res. 1994.

physics.flu-dyn↗

Approximate well-balanced WENO finite difference schemes using a global-flux quadrature method with multi-step ODE integrator weights

In this work, high-order discrete well-balanced methods for one-dimensional hyperbolic systems of balance laws are proposed. We aim to construct a method whose discrete steady states correspond to solutions of arbitrary high-order ODE integrators. However, this property is embedded directly into the scheme, eliminating the need to apply the ODE integrator explicitly to solve the local Cauchy problem. To achieve this, we employ a WENO finite difference framework and apply WENO reconstruction to a global flux assembled nodewise as the sum of the physical flux and a source primitive. The novel idea is to compute the source primitive using high-order multi-step ODE methods applied on the finite difference grid. This approach provides a locally well-balanced splitting of the source integral, with weights derived from the ODE integrator. By construction, the discrete solutions of the proposed schemes align with those of the underlying ODE integrator. The proposed methods employ WENO flux reconstructions of varying orders, combined with multi-step ODE methods of up to order 8, achieving steady-state accuracy determined solely by the ODE method's consistency. Numerical experiments using scalar balance laws and shallow water equations confirm that the methods achieve optimal convergence for time-dependent solutions and significant error reduction for steady-state solutions.

math.NA↗

Structure preserving nodal continuous Finite Elements via Global Flux quadrature

Numerical methods for hyperbolic PDEs require stabilization. For linear acoustics, divergence-free vector fields should remain stationary, but classical Finite Difference methods add incompatible diffusion that dramatically restricts the set of discrete stationary states of the numerical method. Compatible diffusion should vanish on stationary states, e.g. should be a gradient of the divergence. Some Finite Element methods allow to naturally embed this grad-div structure, e.g. the SUPG method or OSS. We prove here that the particular discretization associated to them still fails to be constraint preserving. We then introduce a new framework on Cartesian grids based on surface (volume in 3D) integrated operators inspired by Global Flux quadrature and related to mimetic approaches. We are able to construct constraint-compatible stabilization operators (e.g. of SUPG-type) and show that the resulting methods are vorticity-preserving. We show that the Global Flux approach is even super-convergent on stationary states, we characterize the kernels of the discrete operators and we provide projections onto them.

math.NA↗

Discontinuous Galerkin schemes for hyperbolic systems in non-conservative variables: quasi-conservative formulation with subcell finite volume corrections

We present a novel quasi-conservative arbitrary high order accurate ADER discontinuous Galerkin (DG) method allowing to efficiently use a non-conservative form of the considered partial differential system, so that the governing equations can be solved directly in the most physically relevant set of variables. This is particularly interesting for multi-material flows with moving interfaces and steep, large magnitude contact discontinuities, as well as in presence of highly non-linear thermodynamics. However, the non-conservative formulation of course introduces a conservation error which would normally lead to a wrong approximation of shock waves. Hence, from the theoretical point of view, we give a formal definition of the conservation defect of non-conservative schemes and we analyze this defect providing a local quasi-conservation condition, which allows us to prove a modified Lax-Wendroff theorem. Then, to deal with shock waves in practice, we exploit the framework of the so-called a posteriori subcell finite volume (FV) limiter, so that, in troubled cells appropriately detected, we can incorporate a local conservation correction. Our corrected FV update entirely removes the local conservation defect, allowing, at least formally, to fit in the hypotheses of the proposed modified Lax-Wendroff theorem. Here, the shock-triggered troubled cells are detected by combining physical admissibility criteria, a discrete maximum principle and a shock sensor inspired by Lagrangian hydrodynamics. To prove the capabilities of our novel approach, first, we show that we are able to recover the same results given by conservative schemes on classical benchmarks for the single-fluid Euler equations. We then conclude by showing the improved reliability of our scheme on the multi-fluid Euler system on examples like the interaction of a shock with a helium bubble.

math.NA↗

Novel well-balanced continuous interior penalty stabilizations

In this work, the high order accuracy and the well-balanced (WB) properties of some novel continuous interior penalty (CIP) stabilizations for the Shallow Water (SW) equations are investigated. The underlying arbitrary high order numerical framework is given by a Residual Distribution (RD)/continuous Galerkin (CG) finite element method (FEM) setting for the space discretization coupled with a Deferred Correction (DeC) time integration, to have a fully-explicit scheme. If, on the one hand, the introduced CIP stabilizations are all specifically designed to guarantee the exact preservation of the lake at rest steady state, on the other hand, some of them make use of general structures to tackle the preservation of general steady states, whose explicit analytical expression is not known. Several basis functions have been considered in the numerical experiments and, in all cases, the numerical results confirm the high order accuracy and the ability of the novel stabilizations to exactly preserve the lake at rest steady state and to capture small perturbations of such equilibrium. Moreover, some of them, based on the notions of space residual and global flux, have shown very good performances and superconvergences in the context of general steady solutions not known in closed-form. Many elements introduced here can be extended to other hyperbolic systems, e.g., to the Euler equations with gravity.

math.NA↗

Extrapolated Shock Tracking: Bridging shock-fitting and embedded boundary methods

We propose a novel approach to approximate numerically shock waves. The method combines the unstructured shock-fitting approach developed in the last decade by some of the authors, with ideas coming from embedded boundary techniques. The numerical method obtained allows avoiding the re-meshing phase required by the unstructured fitting method, while guaranteeing accuracy properties very close to those of the fitting approach. This new method has many similarities with front tracking approaches, and paves the way to shock-tracking techniques truly independent on the data and mesh structure used by the flow solver. The approach is tested on several problems showing accuracy properties very close to those of more expensive fitting methods, with a considerable gain in flexibility and generality.

math.NA↗