Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-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.

Fixed-epsilon WENO-JS and WENO-Z face reconstructions are fifth order

Statement

Let u∈C5 on the five-cell stencil, let sup⁡∣u′′′∣<∞ and sup⁡∣u(5)∣<∞, and let ϵ0>0 be fixed independently of h. For the cell-average WENO-JS and WENO-Z states in Finite-volume MUSCL, nodal ENO2 and WENO5 reconstruction conventions, there is a constant C independent of sufficiently small h such that ∣Ui+1/2−,J−u(xi+1/2)∣≤Ch5,∣Ui+1/2−,Z−u(xi+1/2)∣≤Ch5. The same result holds for the reflected right states.

Facts & Assumptions

Given: The fixed positive ϵ0, uniform cell averages of a C5 scalar function, the WENO-JS/WENO-Z formulas and ideal weights, and the finite-volume candidate estimates.

[F1]

Finite-volume MUSCL, nodal ENO2 and WENO5 reconstruction conventions: each βk is a sum of squares, τ5=∣β0−β2∣, ϵ0>0, and both normalized weight triples are positive and sum to one.

[F2]

The WENO5 ideal linear weights reproduce quartics at the right face: ∑dkpk=u(xi+1/2)+O(h5) and each pk=u(xi+1/2)+O(h3) for the stated smooth data.

Proof

1.1givenF1algebra

Each first-difference combination in [F1] is O(h) on C1 data, and each second-difference combination is O(h2) on C2 data. Squaring shows βk=O(h2) for all three stencils; consequently τ5=O(h2). For the constant data case all these differences vanish and both schemes return the ideal weights exactly.

2.1F1step 1.1algebra

For WENO-JS, αkJ=dkϵ0−2(1+βk/ϵ0)−2=dkϵ0−2(1+O(h2)). Since ∑dk=1, normalization gives ωkJ=dk+O(h2). For WENO-Z, ϵ0+βk≥ϵ0, so (τ5/(ϵ0+βk))2=O(h4); hence αkZ=dk(1+O(h4)) and normalization gives ωkZ=dk+O(h4). The positive fixed ϵ0 makes all constants uniform for sufficiently small h.

3.1F2step 2.1algebra∎

For either normalized weight vector ω, ∑k(ωk−dk)=0. Therefore ∑kωkpk−∑kdkpk=∑k(ωk−dk)(pk−u(xi+1/2)). By [F2] the right side is O(h5) for WENO-JS and O(h7) for WENO-Z. The ideal combination has error O(h5) by [F2], so both left states have error O(h5). Reflection changes only the stencil orientation and preserves the same estimates.

Remarks

This is the fixed-ϵ0 asymptotic branch. The estimate does not claim fifth order for arbitrary choices ϵ=ϵ(h); the critical-point example on the companion page computes a scale-dependent branch separately.

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