Lax entropy condition

Lax entropy condition
Name	Lax entropy condition
Field	Partial differential equations
Introduced	1957
Introduced by	Peter D. Lax
Related	Riemann problem, Rankine–Hugoniot condition, Oleinik entropy condition, vanishing viscosity

Lax entropy condition The Lax entropy condition is a criterion in hyperbolic partial differential equations for selecting physically relevant weak solutions among multiple mathematical solutions, especially across discontinuities such as shocks and rarefactions. It complements the Rankine–Hugoniot condition by imposing admissibility constraints that rule out nonphysical expansions and select entropy-dissipating shocks consistent with viscous limits and experimental observations. The condition has deep connections to the theory of Riemann problem, conservation laws, and numerical methods developed by researchers at institutions like Courant Institute, New York University, Princeton University, and University of California, Berkeley.

Introduction

The Lax entropy condition arose in the context of scalar and systems of hyperbolic conservation laws where classical solutions break down and weak solutions must be chosen. Peter D. Lax formulated the condition in the mid-20th century building on earlier work on the Riemann problem and shock theory, providing a concise spectral criterion using characteristic fields and eigenvalues of the flux Jacobian. The idea links to concepts studied by Oleinik, Kruzhkov, Liu (Tai-Ping Liu), and later expanded by researchers at Massachusetts Institute of Technology, Stanford University, University of Cambridge, and University of Chicago.

Mathematical formulation

For a hyperbolic system of conservation laws written as ut + f(u)x = 0, the Lax entropy condition uses the eigenstructure of the Jacobian matrix f′(u). For a discontinuity connecting left state uL to right state uR propagating with speed s given by the Rankine–Hugoniot condition, the Lax entropy condition requires that the characteristic speeds (eigenvalues) λi satisfy λi(uL) > s > λi(uR) for a shock in the i-th characteristic family, while the inequalities reverse for rarefaction waves. This spectral inequality is evaluated using matrices studied in works at Princeton University and Courant Institute of Mathematical Sciences. The condition ensures compressive shocks with characteristic convergence and aligns with vanishing viscosity limits analyzed by Eberhard Hopf, Jean Leray, and Sergei Sobolev in broader functional-analytic frameworks.

Relation to conservation laws and shocks

In the theory of conservation laws, multiple weak solutions can satisfy the Rankine–Hugoniot condition; entropy conditions like Lax’s select the physically admissible one. Lax’s criterion identifies shocks as compressive, meaning characteristics enter the shock from both sides, a notion related to stability analyses developed at Bell Labs and in works by James Glimm and Philip L. Roe. The condition connects to entropy inequalities stemming from thermodynamic considerations investigated by Ludwig Boltzmann and formalized in continuum settings by Claude-Louis Navier and George Gabriel Stokes; in modern treatments it is compared with entropy solutions defined in the frameworks of Kruzhkov and Liu.

Examples and applications

Classic examples include the inviscid Burgers' equation, shallow water equations used in models by the United States Geological Survey, and the Euler equations of gas dynamics applied in aeronautical engineering at NASA and European Space Agency. For Burgers’ equation, Lax’s condition reduces to a simple monotonicity requirement selecting shock solutions consistent with viscous regularizations studied by Lax–Friedrichs and Godunov schemes. In computational fluid dynamics contexts at Los Alamos National Laboratory and Sandia National Laboratories, the criterion guides interpretation of numerical shocks in supersonic flow simulations and detonation modeling relevant to research at California Institute of Technology and Johns Hopkins University.

Comparisons with other entropy conditions

Lax’s condition is one among several admissibility criteria: compare with the Oleinik entropy condition for scalar equations, the Kruzhkov entropy condition for L1 contraction and uniqueness, and the Liu entropy condition that generalizes Liu’s admissibility for nonconvex fluxes. The Lax criterion is spectral and local, whereas Oleinik’s is a one-sided Lipschitz condition and Kruzhkov’s uses families of convex entropies; these alternative frameworks were developed at institutions including Steklov Institute of Mathematics, Moscow State University, and Institute for Advanced Study. For systems with non-strict hyperbolicity or undercompressive shocks, researchers at Brown University and University of Minnesota have explored extensions and counterexamples where Lax’s condition is insufficient.

Numerical implications and role in schemes

Numerical schemes such as Godunov method, Lax–Friedrichs scheme, and high-resolution shock-capturing schemes by researchers at Los Alamos National Laboratory and Sandia National Laboratories incorporate entropy-fix strategies to enforce Lax-type admissibility. Flux limiters and Riemann solvers (Roe’s solver, HLLC) used in codes developed at NASA Ames Research Center and European Centre for Medium-Range Weather Forecasts are designed to approximate solutions satisfying entropy conditions. The Lax condition informs discretization choices, artificial viscosity design, and entropy stable formulations advanced at Princeton University and Courant Institute.

Historical development and key results

Peter D. Lax introduced the condition in the 1950s building on earlier shock theory by Riemann and structural analysis by Rankine and Hugoniot; subsequent rigorous foundations were provided by Oleinik and Kruzhkov in the 1950s and 1970s. Key results include proofs of uniqueness and stability for scalar conservation laws under entropy conditions by Kruzkov and existence results under vanishing viscosity by researchers at University of Chicago and New York University. Later work by Liu (Tai-Ping Liu), Dafermos, and collaborators at Brown University and University of Wisconsin–Madison analyzed admissibility for complex systems, while modern numerical analysts at Stanford University, Massachusetts Institute of Technology, and University of Michigan developed entropy-stable discretizations consistent with Lax’s insights.

Category:Partial differential equations