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 on the five-cell stencil, let and , and let be fixed independently of . For the cell-average WENO-JS and WENO-Z states in Finite-volume MUSCL, nodal ENO2 and WENO5 reconstruction conventions, there is a constant independent of sufficiently small such that The same result holds for the reflected right states.
Facts & Assumptions
Given: The fixed positive , uniform cell averages of a C5 scalar function, the WENO-JS/WENO-Z formulas and ideal weights, and the finite-volume candidate estimates.
Finite-volume MUSCL, nodal ENO2 and WENO5 reconstruction conventions: each is a sum of squares, , , and both normalized weight triples are positive and sum to one.
The WENO5 ideal linear weights reproduce quartics at the right face: and each for the stated smooth data.
Proof
Each first-difference combination in [F1] is on C1 data, and each second-difference combination is on C2 data. Squaring shows for all three stencils; consequently . For the constant data case all these differences vanish and both schemes return the ideal weights exactly.
For WENO-JS, . Since , normalization gives . For WENO-Z, , so ; hence and normalization gives . The positive fixed makes all constants uniform for sufficiently small .
For either normalized weight vector , . Therefore . By [F2] the right side is for WENO-JS and for WENO-Z. The ideal combination has error by [F2], so both left states have error . Reflection changes only the stencil orientation and preserves the same estimates.
Remarks
This is the fixed- asymptotic branch. The estimate does not claim fifth order for arbitrary choices ; 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
- Guang-Shan Jiang and Chi-Wang Shu, Efficient Implementation of Weighted ENO Schemes (standard reference, not scraped)
- Chi-Wang Shu, Essentially Non-Oscillatory and Weighted Essentially Non-Oscillatory Schemes for Hyperbolic Conservation Laws, complete lecture notes (standard reference, not scraped)
- Andrew K. Henrick, Tariq D. Aslam and Joseph M. Powers, Mapped weighted essentially non-oscillatory schemes: Achieving optimal order near critical points (standard reference, not scraped)
- Marcos Castro, Bruno Costa and Wai Sun Don, High order weighted essentially non-oscillatory WENO-Z schemes for hyperbolic conservation laws (standard reference, not scraped)