Lax shock inequalities

Lax shock inequalities
Name	Lax shock inequalities
Field	Partial differential equations
Introduced	1957
Introduced by	Peter Lax

Lax shock inequalities

Lax shock inequalities are conditions in the theory of hyperbolic partial differential equations that characterize admissible discontinuous solutions, relate to Rankine–Hugoniot condition, and select physically relevant shock waves among weak solutions. They connect mathematical structures in Riemann problems, characteristic fields, and entropy conditions, and play a central role in the analysis of systems such as the Euler equations, Burgers' equation, and shallow water equations.

Introduction

In the study of hyperbolic systems like the Euler equations for compressible fluid dynamics or the shallow water equations for geophysical flows, weak solutions permit discontinuities exemplified by shock waves, rarefaction waves, and contact discontinuities. The Lax shock inequalities provide inequalities involving characteristic speeds across a discontinuity that, together with the Rankine–Hugoniot condition, single out physically admissible shocks in Riemann problems such as those in the Sod shock tube problem, the Riemann problem for Burgers' equation, and models related to the Navier–Stokes equations limit. They are widely used in analysis by researchers in institutions like Courant Institute, Princeton University, and Massachusetts Institute of Technology.

Mathematical formulation

For a strictly hyperbolic system of conservation laws f(u)_t + g(u)_x = 0, consider left state u_L and right state u_R connected by a shock moving with speed s determined by the Rankine–Hugoniot condition. The Lax inequalities require that for the k-th characteristic field with speeds λ_k(u), the shock satisfies λ_k(u_R) < s < λ_k(u_L) for a k-shock (or the reversed inequality for other orientations), ensuring the correct ordering of eigenvalues of the Jacobian flux matrix. This condition is applied alongside notions from linear algebra at institutions like Institute for Advanced Study and in texts by authors associated with Princeton University Press and Cambridge University Press.

Physical interpretation and examples

Physically, the Lax inequalities mean characteristics impinge on the shock from both sides, compressing information into the discontinuity, as seen in classical examples such as the Rankine–Hugoniot shock in gas dynamics and the shock solutions of Burgers' equation modeling viscous limits studied by researchers affiliated with Stanford University and University of California, Berkeley. In the Sod shock tube problem and the Noh problem for strong shocks, Lax admissibility distinguishes stable compressive shocks from nonphysical expansion shocks, a criterion used in modeling at Los Alamos National Laboratory and Lawrence Livermore National Laboratory.

Role in conservation laws and shock admissibility

Within systems of conservation laws, admissibility criteria such as the Lax inequalities interact with other principles including the entropy condition and vanishing viscosity limits tied to the Navier–Stokes equations. They ensure uniqueness and stability of weak solutions in classical works by mathematicians affiliated with New York University and Harvard University. The inequalities are central in proving existence theorems for Riemann problems, used in analyses by researchers at University of Cambridge and École Polytechnique.

Relation to other entropy conditions

The Lax condition relates to, but is distinct from, other entropy criteria such as the Oleinik entropy condition, the Liu entropy condition, and the concept of entropy solutions popularized by authors at Courant Institute and University of Chicago. Connections to the vanishing viscosity method and admissibility via Kruzkov's entropy conditions are studied in monographs from Springer and Elsevier and applied in comparisons in research groups at Imperial College London and ETH Zurich.

Applications and numerical considerations

In computational fluid dynamics contexts like high-resolution shock-capturing schemes, Godunov-type solvers, and approximate Riemann solvers developed at NASA and European Space Agency, the Lax inequalities inform the design of flux functions and limiters to prevent nonphysical shocks in simulations of the Euler equations, magnetohydrodynamics models used at CERN, and astrophysical codes at California Institute of Technology. Numerical analysts at Argonne National Laboratory and Oak Ridge National Laboratory employ Lax-admissible solvers in adaptive mesh refinement frameworks, while software packages from groups at Lawrence Berkeley National Laboratory incorporate such admissibility checks.

Historical development and key results

Introduced by Peter Lax in the 1950s, the inequalities were part of foundational work in hyperbolic conservation laws that influenced studies at Institute for Advanced Study and Princeton University. Subsequent developments by mathematicians associated with New York University, University of Paris, and University of Tokyo expanded the theory, relating Lax admissibility to entropy rate criteria and vanishing viscosity approaches. Key results include proofs of uniqueness and stability of Riemann solutions in the work of researchers from University of Oxford and Yale University, and extensions to nonstrictly hyperbolic systems investigated at University of Michigan and Brown University.

Category:Partial differential equations Category:Shock waves Category:Hyperbolic conservation laws