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.
The self-similar Riemann problem
Definition
Let and (Scalar conservation laws, fluxes and Cauchy data). The Riemann problem for prescribes the two-state initial datum One looks for self-similar solutions , , that is, solutions invariant under the scaling , ; such a is determined by the single function and is constant on each ray .
The initial condition is read as the strong local trace as (Kruzhkov entropy solutions), and any jump or corner of occurs on a ray; admissibility is the entropy condition of Kruzhkov entropy solutions, not a further restriction on the self-similar ansatz. Self-similarity is an ansatz to be justified by the uniqueness theorem rather than an additional hypothesis. No choice principle occurs.
Depends on
Used by
- Rankine--Hugoniot alone does not give uniqueness Counterexample
- The convex-flux Riemann formula fails for a nonconvex flux Counterexample
- Distinct states with equal flux give a stationary weak discontinuity Example
- Nonconvex Riemann data can require a composite shock--rarefaction wave Example
- The Burgers rarefaction Riemann solution Example
- The Burgers shock Riemann solution Example
- The Riemann solver for a strictly convex flux Theorem
Dependency tree · two levels
17 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- G. A. Chechkin and A. Yu. Goritsky (translated by B. Andreianov), “S. N. Kruzhkov’s lectures on first-order quasilinear PDEs,” in Analytical and Numerical Aspects of PDEs, de Gruyter 2009, complete lecture-notes text (standard reference, not scraped)
- Victor Ivrii, Partial Differential Equations, University of Toronto, current complete 415-page PDF (standard reference, not scraped)