How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
A Riemann shock and a rarefaction of the scalar model: explicit weak solutions, entropy coefficients and initial trace
A worked scalar-model example of shock and rarefaction weak solutions: the Riemann data 2 and 1 with the entropy coefficients of the shock computed on the interval (1,2), and the rarefaction fan of the data 1 and 2 checked for continuity, the classical equation inside the fan and convergence of the initial trace. The scalar conservation law u_t + (u^2/2)_x = 0 is a dimensionless idealized one-dimensional model; its scalar variable is not identified with a particular physical density or velocity. The example asserts no derivation from three-dimensional fluid mechanics and reports no measurement.
Example
Assume (The Axiom of Countable Choice ()) for the cited Lebesgue weak/entropy formulation.
Let and use the weak and entropy formulations of Weak and entropy solutions of the scalar conservation law , with the scalar field read as a dimensionless model variable. The coordinates , the states and flux are all dimensionless; no assignment to a measured density, velocity, length or time is made. Then:
- (Shock.) For the Riemann data , the piecewise constant field for and for , taking the right-state value on the shock line, is a weak solution of : its interface residual is with , so the weak identity (W) is satisfied for every test function by the split integration over the two half-planes.
- (Entropy of the shock.) For every the interface coefficient of the pair is , so the shock satisfies the entropy inequality with strictly positive interface production on this range of ; the integrated inequality is strict only for nonnegative tests with ; for the coefficient vanishes and the inequality holds with equality.
- (Rarefaction.) For the Riemann data , the field for , for and for is continuous on , satisfies classically inside the fan, and has initial trace : as .
- (Weak kinks are unavoidable here.) The shock profile is discontinuous across and the rarefaction is not differentiable across and ; the classical derivation of the transport and balance identities of the continuum page does not apply at such sets, which is exactly why the weak formulation of the model is used. The admissibility of the shock and the equality case of the rarefaction are those of Riemann shock and rarefaction waves for are weak solutions, and the shock is an entropy solution.
Facts & Assumptions
Given: Countable choice. the flux ; the Riemann data and ; the two explicit fields.
Weak and entropy solutions (Weak and entropy solutions of the scalar conservation law ): the weak identity (W) and the entropy inequality (E) for convex entropy pairs with , and the family with , .
Riemann theorem (Riemann shock and rarefaction waves for are weak solutions, and the shock is an entropy solution): for the shock with speed is a weak solution and satisfies every entropy inequality of the family with coefficient for , and coefficient outside that interval; for the rarefaction fan is continuous, is a weak solution and satisfies the entropy inequalities with equality.
Integration (Integral over a measurable subset, The Lebesgue integral is linear on ): the integral of a bounded measurable function over a set of finite measure, and additivity over the regions of the piecewise description.
Verification
Shock residual: with the speed is ; and , so ; this is the interface coefficient of the weak identity (W) when the field is integrated piecewise, so (W) holds for every test function.
Rarefaction equation and continuity: inside the fan gives , and , so ; at the value is and at it is , matching the constant pieces, so is continuous on the open upper half-plane.
Shock entropy: by [F2], for the coefficient is , strictly positive for because and , and zero at . For both states exceed , so and , giving . For both states are below , so and , again giving zero. Thus (E) holds for every nonnegative test. For it is strict exactly when the test has positive integral on the shock line; zero or off-interface tests give equality, and for every test gives equality.
Initial trace: for one has only on the set where the fan and the constants differ, and as , by additivity and evaluation of the elementary integrals [F3]; moreover the entropy inequality of the fan holds with equality by [F2].
Regularity reading: the shock is discontinuous and the fan fails to be differentiable across and ; hence the classical smooth-motion hypotheses of the balance and transport items of this page are not met on these sets, and the weak formulation of [F1] is the correct setting for these solutions. This is a statement about the models, not an empirical claim.
Remarks
-
Physical reading. The dimensionless scalar field is a model variable of an idealized one-dimensional transport problem; it is not claimed to be the velocity or density of a three-dimensional compressible fluid, and no derivation of the scalar equation from the momentum and mass balances of this page is asserted. The example shows that a scalar continuum model can have nondifferentiable weak solutions whose admissibility is controlled by entropy inequalities, in contrast with the smooth motions required by the transport and balance theorems of this page.
-
Admissibility is not automatic. Both the shock and the fan are weak solutions; only the entropy inequalities select the physically admissible one among weak solutions of this model family. The computed coefficients show the shock is admissible for the stated data and the fan is the equality case. No statement is made about entropy solutions for general initial data or for systems of conservation laws.
Depends on
Weak and entropy solutions of the scalar conservation law
Riemann shock and rarefaction waves for are weak solutions, and the shock is an entropy solution
Integral over a measurable subset
The Lebesgue integral is linear on
Continuum body data, the fixed inertial frame and the dimensions of the fields
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
The Axiom of Countable Choice ()
Dependency tree · 2 levels
Sources
- W. Barsukow, Introduction to Conservation Laws: Theory and Numerics (lecture notes, TUM, Winter term 2021/22), Chapters 2-5 (weak solutions, entropy conditions, Rankine-Hugoniot conditions and the scalar Riemann problem)
- L. C. Evans, Entropy and Partial Differential Equations (UC Berkeley lecture notes, 2001), Chapter V (conservation laws: weak solutions, entropy conditions and the Rankine-Hugoniot condition for scalar laws)