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.
A four-node cyclic chain mode with : exact ODE check, dispersion value , and the continuum error bound
Example
Take , , in the cyclic chain of The cyclic spring chain, its discrete energy, and the finite-regularity periodic comparison class. The wave number gives
and the profile , , solves the chain equation exactly; the continuum comparison at this wave number gives the exact error against the exact bound .
Facts & Assumptions
Given: , , , , and .
For nonzero amplitude and cyclic compatibility , the ansatz solves the cyclic chain for all if and only if ; and when this relation holds and , (Exact dispersion relation for the cyclic chain and its continuum error bound).
The chain equation for the cosine ansatz reduces to by the addition formulas and the derivative of cosine (The derivatives of sine and cosine are cosine and minus sine, The addition formulas for sine and cosine, Sine and cosine defined by their real power series, Parity and the Pythagorean identity for sine and cosine, Sums, scalar multiples, products and quotients: , , , and when ).
The global scalar calculation of Exact dispersion relation for the cyclic chain and its continuum error bound (Proof 1.2 and 3.1 and final Remark) establishes and for every real ; the restricted statement is not needed for this global trigonometric estimate. The exact values , from Quarter-turn values and shifts by pi/2 and pi and the double-angle identity give .
Verification
Dispersion: , so by [L1] the ansatz with solves the chain equation; explicitly, and by [L2], matching the equation .
Error bound: put . By [L3], twice integrating gives and ; also . Hence , so directly at this compatible mode. The exact error is , as follows without a numerical bound on : for , on and . Continuity gives a nonempty terminal interval where , so The second fundamental theorem: if is differentiable on with and is integrable, then gives . Thus . Moreover , so the same remainder product gives a strictly smaller error than . This proves the exact comparison without applying the supplier's restricted clause at .
The example verifies the exact discrete dispersion at explicit parameters and checks that the continuum error bound is satisfied, not saturated, at this wave number.
Remarks
- The arithmetic is exact for the dispersion value and for both closed forms; the comparison of the two -expressions follows from the global sine-remainder estimate, with values strictly less than the bound (the error is about against a bound of about ). No physical identification of the chain parameters is asserted.
Depends on
Exact dispersion relation for the cyclic chain and its continuum error bound
The cyclic spring chain, its discrete energy, and the finite-regularity periodic comparison class
The centered second difference differs from the second derivative by at most when
The addition formulas for sine and cosine
Parity and the Pythagorean identity for sine and cosine
Sine and cosine defined by their real power series
The derivatives of sine and cosine are cosine and minus sine
Sums, scalar multiples, products and quotients: , , , and when
Quarter-turn values and shifts by pi/2 and pi
The second fundamental theorem: if is differentiable on with and is integrable, then
The integral with oriented limits: and