arXiv subjects

Remi Abgrall

Publications and source records attributed to Remi Abgrall.

At least 19 recordsLinked to original sources

arXiv2026

Invariant domain preservation for hybrid point-value and cell-average discretizations of hyperbolic equations on general meshes

This paper presents a unified invariant-domain-preserving (IDP) framework for hybrid discretizations of hyperbolic conservation laws, including active flux and PAMPA methods, in which cell averages are updated conservatively while cell-boundary point values evolve under a possibly non-conservative operator. The main challenge is to preserve admissibility for these two coupled sets of states under a single local stability condition, without adding evolved degrees of freedom or relying on post-update repairs. For the point-value update, we introduce an admissibility transform based on a barrier--Legendre map for convex admissible interiors described by concave constraints, and prove that the inverse map is globally defined and Lipschitz continuous on the relevant sets. For the conservative cell-average update, we establish a structural obstruction theorem: the single-state continuous physical flux built from admissible boundary traces alone cannot provide a conservative IDP guarantee, for any prescribed CFL number, when internal reconstruction values are uncontrolled. This identifies the missing local control that must be supplied by an additional IDP flux mechanism. To realize this mechanism explicitly, we combine cell average decompositions (CAD), geometric quasilinearization, and local a priori scaling to construct admissible, generally discontinuous trace states before flux evaluation. Under an explicit trace-based CFL condition, with constants determined by local CAD weights and trace-state wave-speed bounds, the coupled hybrid update preserves the prescribed invariant domain. Concrete third-order schemes are developed on triangular, Cartesian, convex quadrilateral, and general convex polygonal meshes. Numerical results demonstrate the designed order of accuracy for smooth solutions and the strict preservation of physical admissibility.

math.NA↗

arXiv2026

Construction of entropy satisfying Active Flux-type methods

This paper is devoted to the analysis of the entropy stability properties of Active Flux\yolo{-type} scheme for a hyperbolic system equipped with one entropy inequality. This type of scheme evolves two sets of degrees of freedom: point values that are chosen on the boundary of the elements that cover the computational domain, and the average of the solution in these elements. We show that the only thing to do is to get an entropy inequality for the average values, the point values degrees of freedom do not play any role. We construct a monolithic scheme which is bound preserving of \cite{BP_Pampa_VEM}, non oscillatory following \cite{PampaDG}, and entropy diminishing. The entropy condition is implemented in Tadmor's framework\cite{TadmorEntropy}, i.e. for the semi-discrete scheme only. The scheme is tested on the Kurganov-Popov-Petrova test case \cite{KPP} which is known to \yolo{be} sensitive to the satisfaction of an entropy inequality. We show that our entropy correction is effective: if we do not activate the bound-preserving nor the non oscillatory condition, we get the correct solution with some spurious wiggles, as expected. Though the development, implementation and tests are done with the triangle version of the scheme, the same method can be used for polygonal meshes, following \cite{BP_Pampa_VEM}.

math.NA↗

arXiv2025

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↗

arXiv2025

An active-flux-type scheme for ideal MHD with provable positivity and discrete divergence-free property

We develop a positivity-preserving (PP) PAMPA (Point-Average-Moment PolynomiAl-interpreted) scheme that enforces a discrete divergence-free (DDF) magnetic field for ideal MHD on Cartesian grids. Extending our 1D invariant-domain-preserving (IDP) PAMPA framework (Abgrall, Jiao, Liu, Wu, SIAM J. Sci. Comput., to appear) to multidimensional, multiwave MHD, the method combines a limiter-free PP update of interface point values via a new nonconservative reformulation with a local DDF projection. Cell averages are provably PP under a mild a~priori positivity condition on one cell-centered state, using: (i) DDF-constrained interface values, (ii) a PP limiter only at the cell center, (iii) a PP flux with appropriate wave-speed bounds, and (iv) a suitable discretization of the Godunov--Powell source term. The PP proof employs geometric quasi-linearization (GQL; Wu & Shu, SIAM Review, 2023), which linearizes the pressure constraint. The scheme avoids explicit polynomial reconstructions, is compatible with arbitrarily high-order strong-stability-preserving (SSP) time integration, and is simple to implement. Robustness and resolution are enhanced by a problem-independent Lax-type entropy troubled-cell indicator using only two characteristic speeds and a convex oscillation elimination (COE) mechanism with a new intercell-difference norm. Tests -- including a blast wave with plasma $\beta \approx 2.51\times 10^{-6}$ and jets up to Mach $10^{4}$ -- show high-order accuracy, sharp MHD-structure resolution, and strong-shock robustness. To our knowledge, this is the first active-flux-type ideal-MHD method rigorously PP for both cell averages and interface point values while maintaining DDF throughout.

math.NA↗

arXiv2023

A personal discussion on conservation, and how to formulate it

Since the celebrated theorem of Lax and Wendroff, we know a necessary condition that any numerical scheme for hyperbolic problem should satisfy: it should be written in flux form. A variant can also be formulated for the entropy. Even though some schemes, as for example those using continuous finite element, do not formally cast into this framework, it is a very convenient one. In this paper, we revisit this, introduce a different notion of local conservation which contains the previous one in one space dimension, and explore its consequences. This gives a more flexible framework that allows to get, systematically, entropy stable schemes, entropy dissipative ones, or accomodate more constraints. In particular, we can show that continuous finite element method can be rewritten in the finite volume framework, and all the quantities involved are explicitly computable. We end by presenting the only counter example we are aware of, i.e a scheme that seems not to be rewritten as a finite volume scheme.

math.NA↗

arXiv2023

A New Approach for Designing Well-Balanced Schemes for the Shallow Water Equations: A Combination of Conservative and Primitive Formulations

In this paper, we introduce a new approach for constructing robust well-balanced numerical methods for the one-dimensional Saint-Venant system with and without the Manning friction term. Following the idea presented in [R. Abgrall, Commun. Appl. Math. Comput. 5(2023), pp. 370-402], we first combine the conservative and non-conservative (primitive) formulations of the studied conservative hyperbolic system in a natural way. The solution is globally continuous and described by a combination of point values and average values. The point values and average values will then be evolved by two different forms of PDEs: a conservative version of the cell averages and a possibly non-conservative one for the points. We show how to deal with both the conservative and non-conservative forms of PDEs in a well-balanced manner. The developed schemes are capable of exactly preserving both the still-water and moving-water equilibria. Compared with existing well-balanced methods, this new class of scheme is nonlinear-equations-solver-free. This makes the developed schemes less computationally costly and easier to extend to other models. We demonstrate the behavior of the proposed new scheme on several challenging examples.

math.NA↗

arXiv2023

A Monte-Carlo ab-initio algorithm for the multiscale simulation of compressible multiphase flows

We propose a novel Monte-Carlo based ab-initio algorithm for directly computing the statistics for quantities of interest in an immiscible two-phase compressible flow. Our algorithm samples the underlying probability space and evolves these samples with a sharp interface front-tracking scheme. Consequently, statistical information is generated without resorting to any closure assumptions and information about the underlying microstructure is implicitly included. The proposed algorithm is tested on a suite of numerical experiments and we observe that the ab-initio procedure can simulate a variety of flow regimes robustly and converges with respect of refinement of number of samples as well as number of bubbles per volume. The results are also compared with a state-of-the-art discrete equation method to reveal the inherent limitations of existing macroscopic models.

math.NA↗

arXiv2022

On the discrete equation model for compressible multiphase fluid flows

The modeling of multi-phase flow is very challenging, given the range of scales as well as the diversity of flow regimes that one encounters in this context. We revisit the discrete equation method (DEM) for two-phase flow in the absence of heat conduction and mass transfer. We analyze the resulting probability coefficients and prove their local convexity, rigorously establishing that our version of DEM can model different flow regimes ranging from the disperse to stratified (or separated) flow. Moreover, we reformulate the underlying mesoscopic model in terms of an one-parameter family of PDEs that interpolates between different flow regimes. We also propose two sets of procedures to enforce relaxation to equilibrium. We perform several numerical tests to show the flexibility of the proposed formulation, as well as to interpret different model components. The one-parameter family of PDEs provides an unified framework for modeling mean quantities for a multiphase flow, while at the same time identifying two key parameters that model the inherent uncertainty in terms of the underlying microstructure.

math.NA↗

arXiv2021

Hyperbolic balance laws: residual distribution, local and global fluxes

This paper describes a class of scheme named "residual distribution schemes" or "fluctuation splitting schemes". They are a generalization of Roe's numerical flux in fluctuation form. The so-called multidimensional fluctuation schemes have historically first been developed for steady homogeneous hyperbolic systems. Their application to unsteady problems and conservation laws has been really understood only relatively recently. This understanding has allowed to make of the residual distribution framework a powerful playground to develop numerical discretizations embedding some prescribed constraints. This paper describes in some detail these techniques, with several examples, ranging from the compressible Euler equations to the Shallow Water equations.

math.NA↗

arXiv2021

Some preliminary results on a high order asymptotic preserving computationally explicit kinetic scheme

In this short paper, we intend to describe one way to construct arbitrarily high order kinetic schemes on regular meshes. The method can be arbitrarily high order in space and time, run at least CFL one, is asymptotic preserving and computationally explicit, i.e., the computational costs are of the same order of a fully explicit scheme. We also introduce a non linear stability method that enables to simulate problems with discontinuities, and it does not kill the accuracy for smooth regular solutions.

math.NA↗

arXiv2021

On the Connection between Residual Distribution Schemes and Flux Reconstruction

In this short paper, we are considering the connection between the \emph{Residual Distribution Schemes} (RD) and the \emph{Flux Reconstruction} (FR) approach. We demonstrate that flux reconstruction can be recast into the RD framework and vice versa. Because of this close connection we are able to apply known results from RD schemes to FR methods. In this context we propose a first demonstration of entropy stability for the FR schemes under consideration and show how to construct entropy stable numerical schemes based on our FR methods. Simultaneously, we do not restrict the mesh to tensor structures or triangle elements, but rather allow polygons. The key of our analysis is a proper choice of the correction functions for which we present an approach here.

math.NA↗

arXiv2021

THINC scaling method that bridges VOF and level set schemes

We present a novel interface-capturing scheme, THINC-scaling, to unify the VOF (volume of fluid) and the level set methods, which have been developed as two different approaches widely used in various applications. The key to success is to maintain a high-quality THINC reconstruction function using the level set field to accurately retrieve geometrical information and the VOF field to fulfill numerical conservativeness. The interface is well defined as a surface in form of a high-order polynomial, so-called the polynomial surface of interface (PSI). The THINC reconstruction function is then used to update the VOF field via a finite volume method, and the level set field via a semi-Lagrangian method. Seeing the VOF field and the level set field as two different aspects of the THINC reconstruction function, the THINC-scaling scheme preserves at the same time the advantages of both VOF and level set methods, i.e. the mass/volume conservation of the VOF method and the geometrical faithfulness of the level set method, through a straightforward solution procedure. The THINC-scaling scheme allows to represent an interface with high-order polynomials and has algorithmic simplicity which largely eases its implementation in unstructured grids. Two and three dimensional algorithms in both structured and unstructured grids have been developed and verified. The numerical results reveal that the THINC-scaling scheme, as an interface capturing method, is able to provide high-fidelity solution comparable to other most advanced methods, and more profoundly it can resolve sub-grid filament structures if the interface is represented by a polynomial higher than second order.

math.NA↗

arXiv2019

The notion of conservation for residual distribution schemes (or fluctuation splitting schemes), with some applications

In this paper, we discuss the notion of discrete conservation for hyperbolic conservation laws. We introduce what we call a fluctuation splitting schemes (or residual distribution, also RDS) and show on several examples how this cal lead to new development. In particular, we show that most, if not all known schemes can be rephrased in flux form, and also show how to satisfy additional conservation laws. This review paper is built on \cite{AbgrallConservation,Abgrall2017,paola,svetlana,ABGRALL2018640}.

math.NA↗

arXiv2018

High-order residual distribution scheme for the time-dependent Euler equations of fluid dynamics

In the present work, a high order finite element type residual distribution scheme is designed in the framework of multidimensional compressible Euler equations of gas dynamics. The strengths of the proposed approximation rely on the generic spatial discretization of the model equations using a continuous finite element type approximation technique, while avoiding the solution of a large linear system with a sparse mass matrix which would come along with any standard ODE solver in a classical finite element approach to advance the solution in time. In this work, we propose a new Residual Distribution (RD) scheme, which provides an arbitrary explicit high order approximation of the smooth solutions of the Euler equations both in space and time. The design of the scheme via the coupling of the RD formulation \cite{mario,abg} with a Deferred Correction (DeC) type method \cite{shu-dec,Minion2}, allows to have the matrix associated to the update in time, which needs to be inverted, to be diagonal. The use of Bernstein polynomials as shape functions, guarantees that this diagonal matrix is invertible and ensures strict positivity of the resulting diagonal matrix coefficients. This work is the extension of \cite{enumath,Abgrall2017} to multidimensional systems. We have assessed our method on several challenging benchmark problems for one- and two-dimensional Euler equations and the scheme has proven to be robust and to achieve the theoretically predicted high order of accuracy on smooth solutions.

math.NA↗

arXiv2017

A general framework to construct schemes satisfying additional conservation relations. Application to entropy conservative and entropy dissipative schemes

We are interested in the approximation of a steady hyperbolic problem. In some cases, the solution can satisfy an additional conservation relation, at least when it is smooth. This is the case of an entropy. In this paper, we show, starting from the discretisation of the original PDE, how to construct a scheme that is consistent with the original PDE and the additional conservation relation. Since one interesting example is given by the systems endowed by an entropy, we provide one explicit solution, and show that the accuracy of the new scheme is at most degraded by one order. In the case of a discontinuous Galerkin scheme and a Residual distribution scheme, we show how not to degrade the accuracy. This improves the recent results obtained in [1, 2, 3, 4] in the sense that no particular constraints are set on quadrature formula and that a priori maximum accuracy can still be achieved. We study the behavior of the method on a non linear scalar problem. However, the method is not restricted to scalar problems.

math.NA↗

arXiv2017

Some remarks about conservation for residual distribution schemes

We are interested in the discretisation of the steady version of hyperbolic problems. We first show that all the known schemes (up to our knowledge) can be rephrased in a common framework. Using this framework, we first show all the known schemes have a flux formulation, with an explicit construction of the flux, and thus are locally conservative. This is well known for the finite volume schemes or the discontinuous Galerkin ones, much less known for the continuous finite element methods. We also show that Tadmor's entropy stability formulation can naturally be rephrased in this framework as an additional conservation relation discretisation, and using this, we show some conenction with the recent papers [1, 2, 3, 4]. This contribution is an enhanced version of [5].

math.NA↗

arXiv2017

A high-order nonconservative approach for hyperbolic equations in fluid dynamics

It is well known, thanks to Lax-Wendroff theorem, that the local conservation of a numerical scheme for a conservative hyperbolic system is a simple and systematic way to guarantee that, if stable, a scheme will provide a sequence of solutions that will converge to a weak solution of the continuous problem. In [1], it is shown that a nonconservative scheme will not provide a good solution. The question of using, nevertheless, a nonconservative formulation of the system and getting the correct solution has been a long-standing debate. In this paper, we show how get a relevant weak solution from a pressure-based formulation of the Euler equations of fluid mechanics. This is useful when dealing with nonlinear equations of state because it is easier to compute the internal energy from the pressure than the opposite. This makes it possible to get oscillation free solutions, contrarily to classical conservative methods. An extension to multiphase flows is also discussed, as well as a multidimensional extension.

math.NA↗

arXiv2016

Robust Model Reduction Of Hyperbolic Problems by $L^1$-norm Minimization and Dictionary Approximation

We propose a novel model reduction approach for the approximation of non linear hyperbolic equations in the scalar and the system cases. The approach relies on an offline computation of a dictionary of solutions together with an online $L^1$-norm minimization of the residual. It is shown why this is a natural framework for hyperbolic problems and tested on nonlinear problems such as Burgers' equation and the one-dimensional Euler equations involving shocks and discontinuities. Efficient algorithms are presented for the computation of the $L^1$-norm minimizer, both in the cases of linear and nonlinear residuals. Results indicate that the method has the potential of being accurate when involving only very few modes, generating physically acceptable, oscillation-free, solutions.

math.NA↗