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.
An additive constant in an entropy flux does not change the entropy inequality
Statement
Let , , let be an entropy pair as in Convex entropy--entropy flux pairs, and let with a constant vector . Then for every bounded measurable the distributional inequalities are equivalent in ; the two divergences differ by the zero distribution, because the divergence of a constant vector field vanishes.
Facts & Assumptions
Given: , an entropy pair , a constant vector , a bounded measurable , and a test function .
The distributional divergence is defined by duality, , and a distribution is determined by its pairings with test functions; the test-function space is (Distribution, Distributional derivative, Test function space d of an open set).
Entropy pairs and entropy inequalities, including the dependence on the normalisation of the entropy flux, are as in Convex entropy--entropy flux pairs and Kruzhkov entropy solutions; since is locally Lipschitz and is bounded, and are locally integrable and their divergences are defined by [F1].
Proof
For a test function , [F1] and the definition of give .
Each : the inner spatial integral vanishes because is compactly supported in , so the function is smooth compactly supported and the fundamental theorem of calculus applies, and the remaining integral over the other variables is finite as has compact support.
By steps 1.1 and 1.2, for every test function, hence in .
Adding the common distribution to both sides of step 2.1, the two inequalities and are literally the same distributional inequality, so they are equivalent; in particular the entropy condition does not depend on the additive normalisation of the entropy flux.
Remarks
Consequently the entropy inequality depends only on the pair up to the normalisation of , and statements such as The convex entropy condition for a single shock is the chord condition are independent of the chosen constant.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
20 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
- S. N. Kruzhkov, “First order quasilinear equations in several independent variables,” Mat. USSR-Sbornik 10 (1970), 217–243, complete English translation (standard reference, not scraped)
- 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)