Table of Contents
Fetching ...

A moment approach for entropy solutions of parameter-dependent hyperbolic conservation laws

Clément Cardoen, Swann Marx, Anthony Nouy, Nicolas Seguin

TL;DR

The paper develops a moment-SOS framework for parameter-dependent hyperbolic conservation laws by adopting entropy measure-valued (MV) solutions, which linearize the PDE constraints when expressed on occupation measures. It casts the MV problem as a generalized moment problem (GMP) and solves it via Lasserre's hierarchy of semidefinite programs, enabling offline computation of moments and efficient online post-processing. Key contributions include a robust mechanism to reconstruct solution graphs using the Christoffel-Darboux kernel and to extract statistical quantities of interest through moment-completion techniques, demonstrated on the inviscid Burgers equation with parametrised data. The approach provides a mesh-free, convergent method to handle discontinuities and uncertainty, offering practical tools for uncertainty quantification and sensitivity analysis in hyperbolic systems.

Abstract

We propose a numerical method to solve parameter-dependent hyperbolic partial differential equations (PDEs) with a moment approach, based on a previous work from Marx et al. (2020). This approach relies on a very weak notion of solution of nonlinear equations, namely parametric entropy measure-valued (MV) solutions, satisfying linear equations in the space of Borel measures. The infinite-dimensional linear problem is approximated by a hierarchy of convex, finite-dimensional, semidefinite programming problems, called Lasserre's hierarchy. This gives us a sequence of approximations of the moments of the occupation measure associated with the parametric entropy MV solution, which is proved to converge. In the end, several post-treatments can be performed from this approximate moments sequence. In particular, the graph of the solution can be reconstructed from an optimization of the Christoffel-Darboux kernel associated with the approximate measure, that is a powerful approximation tool able to capture a large class of irregular functions. Also, for uncertainty quantification problems, several quantities of interest can be estimated, sometimes directly such as the expectation of smooth functionals of the solutions. The performance of our approach is evaluated through numerical experiments on the inviscid Burgers equation with parametrised initial conditions or parametrised flux function.

A moment approach for entropy solutions of parameter-dependent hyperbolic conservation laws

TL;DR

The paper develops a moment-SOS framework for parameter-dependent hyperbolic conservation laws by adopting entropy measure-valued (MV) solutions, which linearize the PDE constraints when expressed on occupation measures. It casts the MV problem as a generalized moment problem (GMP) and solves it via Lasserre's hierarchy of semidefinite programs, enabling offline computation of moments and efficient online post-processing. Key contributions include a robust mechanism to reconstruct solution graphs using the Christoffel-Darboux kernel and to extract statistical quantities of interest through moment-completion techniques, demonstrated on the inviscid Burgers equation with parametrised data. The approach provides a mesh-free, convergent method to handle discontinuities and uncertainty, offering practical tools for uncertainty quantification and sensitivity analysis in hyperbolic systems.

Abstract

We propose a numerical method to solve parameter-dependent hyperbolic partial differential equations (PDEs) with a moment approach, based on a previous work from Marx et al. (2020). This approach relies on a very weak notion of solution of nonlinear equations, namely parametric entropy measure-valued (MV) solutions, satisfying linear equations in the space of Borel measures. The infinite-dimensional linear problem is approximated by a hierarchy of convex, finite-dimensional, semidefinite programming problems, called Lasserre's hierarchy. This gives us a sequence of approximations of the moments of the occupation measure associated with the parametric entropy MV solution, which is proved to converge. In the end, several post-treatments can be performed from this approximate moments sequence. In particular, the graph of the solution can be reconstructed from an optimization of the Christoffel-Darboux kernel associated with the approximate measure, that is a powerful approximation tool able to capture a large class of irregular functions. Also, for uncertainty quantification problems, several quantities of interest can be estimated, sometimes directly such as the expectation of smooth functionals of the solutions. The performance of our approach is evaluated through numerical experiments on the inviscid Burgers equation with parametrised initial conditions or parametrised flux function.
Paper Structure (36 sections, 12 theorems, 74 equations, 10 figures, 5 tables)

This paper contains 36 sections, 12 theorems, 74 equations, 10 figures, 5 tables.

Key Result

Proposition 2.6

A function $u$ is a parametric entropy solution for $\mathcal{E}_K$ if and only if it is a parametric entropy solution for $\mathcal{E}_{\mathcal{C}}$.

Figures (10)

  • Figure 1: Graphs of the approximate solution $\widetilde{u_d}(t,x,0)$ for $d=2,5,8$
  • Figure 2: Graphs of the approximate solution $\widetilde{u_d}(\frac{1}{4},x,\xi)$ for $d=2,5,8$ superposed with the exact solution
  • Figure 3: Evolution of the error $e_g$ with relaxation degree $d$
  • Figure 4: Graph of the error $\varepsilon(t,x)=\vert\widetilde{u_5}(t,x,0.2)-u(t,x,0.2)\vert$
  • Figure 5: Conservation condition $c_d(t,0.2)$ versus time $t$ for $d=2,5,8$
  • ...and 5 more figures

Theorems & Definitions (40)

  • Definition 2.1: Entropy pairs
  • Definition 2.2: $\mathcal{C}^1$ family of entropy pairs
  • Definition 2.3: Kruzhkov family of entropy pairs
  • Definition 2.4: Polynomial family of entropy pairs
  • Definition 2.5: Parametric entropy solution
  • Proposition 2.6
  • proof
  • Theorem 2.7
  • proof
  • Remark 2.8
  • ...and 30 more