Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6.1-sol)
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 n≥1, f∈C1(R;Rn), let (η,q) be an entropy pair as in Convex entropy--entropy flux pairs, and let qC=q+C with a constant vector C∈Rn. Then for every bounded measurable u ⁣:ΠT→R the distributional inequalities η(u)t+div⁡xq(u)≤0andη(u)t+div⁡xqC(u)≤0 are equivalent in D′(ΠT); the two divergences differ by the zero distribution, because the divergence of a constant vector field vanishes.

Facts & Assumptions

Given: n≥1, an entropy pair (η,q), a constant vector C, a bounded measurable u ⁣:ΠT→R, and a test function φ∈Cc∞(ΠT).

[F1]

The distributional divergence is defined by duality, ⟨div⁡xw,φ⟩=−∫w⋅∇φ, and a distribution is determined by its pairings with test functions; the test-function space is D(ΠT)=Cc∞(ΠT) (Distribution, Distributional derivative, Test function space d of an open set).

[F2]

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 q is locally Lipschitz and u is bounded, q(u) and qC(u) are locally integrable and their divergences are defined by [F1].

Proof

technique · direct
1.1F1given

For a test function φ, [F1] and the definition of qC give ⟨div⁡xqC(u),φ⟩=−∫qC(u)⋅∇φ=−∫q(u)⋅∇φ−∑i=1nCi∫∂xiφ.

1.2given

Each ∫ΠT∂xiφ dx dt=0: the inner spatial integral vanishes because φ is compactly supported in x, so the function xi↦φ(t,xi,x′) 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.

2.1step 1.1step 1.2F1

By steps 1.1 and 1.2, ⟨div⁡xqC(u),φ⟩=−∫q(u)⋅∇φ=⟨div⁡xq(u),φ⟩ for every test function, hence div⁡xqC(u)=div⁡xq(u) in D′(ΠT).

3.1step 2.1F2∎

Adding the common distribution ∂tη(u) to both sides of step 2.1, the two inequalities ∂tη(u)+div⁡xq(u)≤0 and ∂tη(u)+div⁡xqC(u)≤0 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 (η,q) up to the normalisation of q, 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