Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)
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 Burgers Godunov flux is continuous and consistent

Statement

The map G defined in Godunov numerical flux for Burgers' equation is continuous on R2 and satisfies G(a,a)=fB(a)=a2/2 for every a∈R.

Facts & Assumptions

Given: The flux definition G and the consistency convention for a numerical flux.

[F1]

The case formula for G(a,b), including its a≤b branches and its b<a branch. (Godunov numerical flux for Burgers' equation)

[F2]

A numerical flux for the scalar law with flux f is consistent when it is continuous and satisfies F(a,a)=f(a) for every a. (Conservative two-point finite-volume schemes for scalar laws)

Proof

1.1F1algebra

On each open region cut out by a=b, a=0, and b=0, the displayed formula in [F1] is either a polynomial, zero, or (a2+b2+∣a2−b2∣)/4, so it is continuous there.

2.1F1step 1.1algebra

At a boundary with a=b>0 both adjacent formulas tend to a2/2; at a=b<0 both tend to a2/2; at a=0≤b the left and right limits are zero; at a≤0=b the limits are zero. On the remaining axis portions a=0>b and b=0<a, a neighborhood lies in the single shock branch b<a, whose formula is continuous there. At (a,b)=(0,0) every branch has absolute value at most max⁡{a2,b2}/2, which tends to zero. These checks cover every branch boundary and prove continuity on all of R2.

3.1F1F2algebra∎

On the diagonal, if a≥0 the first branch gives G(a,a)=a2/2; if a<0 the second branch gives G(a,a)=a2/2. Thus G(a,a)=fB(a) for all a, and [F2] makes G a consistent numerical flux.

Depends on

Used by

Dependency tree · two levels

3 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