Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generated
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 a=c=1: exact ODE check, dispersion value ω2=2, and the continuum error bound

Example

Take N=4, a=1, c=1 in the cyclic chain of The cyclic spring chain, its discrete energy, and the finite-regularity periodic comparison class. The wave number κ=π/2 gives

ω2=4c2a2sin⁡2(κa2)=4sin⁡2(π4)=2,ω=2,

and the profile qj(t)=cos⁡(πj2−2 t), j∈Z/4, solves the chain equation exactly; the continuum comparison at this wave number gives the exact error ∣ω2−c2κ2∣=π24−2 against the exact bound c2κ4a212=π4192.

Facts & Assumptions

Given: N=4, a=1, c=1, κ=π/2, ω=2 and qj(t)=cos⁡(κj−ωt).

[L1]

For nonzero amplitude and cyclic compatibility κNa∈2πZ, the ansatz solves the cyclic chain for all t if and only if ω2=4c2a2sin⁡2(κa/2); and when this relation holds and ∣κa∣≤1, ∣ω2−c2κ2∣≤c2κ4a2/12 (Exact dispersion relation ω2=(4c2/a2)sin⁡2(κa/2) for the cyclic chain and its continuum error bound).

[L3]

The global scalar calculation of Exact dispersion relation ω2=(4c2/a2)sin⁡2(κa/2) for the cyclic chain and its continuum error bound (Proof 1.2 and 3.1 and final Remark) establishes ∣sin⁡z−z∣≤∣z∣3/6 and ∣4sin⁡2z−4z2∣≤4∣z∣4/3 for every real z; the restricted statement is not needed for this global trigonometric estimate. The exact values sin⁡(π/2)=1, cos⁡(π/2)=0 from Quarter-turn values and shifts by pi/2 and pi and the double-angle identity give sin⁡2(π/4)=cos⁡2(π/4)=1/2.

Verification

technique · direct; substitute the numbers into the dispersion relation and evaluate the error bound
1.1givenL1L2algebra

Dispersion: 4c2a2sin⁡2(κa/2)=4sin⁡2(π/4)=4⋅12=2, so by [L1] the ansatz with ω=2 solves the chain equation; explicitly, qj′′=−2qj and (qj+1−2qj+qj−1)=−2qj by [L2], matching the equation qj′′=(qj+1−2qj+qj−1).

2.1step 1.1L1L3algebra

Error bound: put z:=κa/2=π/4. By [L3], twice integrating ∣sin⁡r∣≤∣r∣ gives ∣cos⁡s−1∣≤s2/2 and ∣sin⁡z−z∣≤∣z∣3/6; also ∣sin⁡z+z∣≤2∣z∣. Hence ∣4sin⁡2z−4z2∣≤4∣sin⁡z−z∣∣sin⁡z+z∣≤4∣z∣4/3, so ∣ω2−c2κ2∣≤c2κ4a2/12=π4/192 directly at this compatible mode. The exact error is ∣2−π2/4∣=π2/4−2, as follows without a numerical bound on π: for z=π/4>0, ∣cos⁡s∣≤1 on [0,z] and ∣cos⁡z∣=1/2<1. Continuity gives a nonempty terminal interval where ∣cos⁡s∣<1, so The second fundamental theorem: if G is differentiable on [a,b] with G′=f and f is integrable, then ∫abf=G(b)−G(a) gives ∣sin⁡z∣=∣∫0zcos⁡s ds∣<z. Thus 4z2>4sin⁡2z=2. Moreover ∣sin⁡z+z∣<2z, so the same remainder product gives a strictly smaller error than π4/192. This proves the exact comparison without applying the supplier's restricted ∣κa∣≤1 clause at κa=π/2.

3.1step 1.1step 2.1algebra∎

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 0.467 against a bound of about 0.507). No physical identification of the chain parameters is asserted.

Depends on

Dependency tree · 2 levels

Sources