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

Cartesian Yee symbol, numerical dispersion, and grid CFL bound

Statement

Consider a homogeneous isotropic periodic Yee grid with ϵ,μ>0, wave speed c=(ϵμ)−1/2, spacings hx,hy,hz, and Nx,Ny,Nz cells. Its allowed wave angles are θj=2πmj/Nj. On a mode with wave vector kj=θj/hj, the transverse curl-curl eigenvalue is λ(θ)=c2∑j∈{x,y,z}4hj2sin⁡2(θj2), and the lossless Yee leapfrog dispersion relation is sin⁡2(ωΔt2)=c2Δt2∑j∈{x,y,z}sin⁡2(θj/2)hj2. The exact finite-grid strict condition is Δt2max⁡θλ(θ)<4, as in Strict spectral CFL positivity and Yee modified energy. The rectangular sufficient bound is Δt<1chx−2+hy−2+hz−2; it is exact when every Nj is even. For a cubic grid this bound is Δt<h/(c3). Odd cell counts may have a smaller finite-grid maximum, so the finite-grid eigenvalue is the exact criterion.

Facts & Assumptions

Given: A homogeneous isotropic periodic Cartesian Yee grid and a lossless, source-free leapfrog update.

[F1]

Edge cochains are oriented line integrals, face cochains are oriented fluxes, and the homogeneous Cartesian Hodge weights are the stated diagonal dual-volume weights. (Oriented Maxwell cochains, masses, and the Yee grid)

[F2]

The positive-energy criterion is the strict generalized spectral condition Δt2λmax⁡<4. (Strict spectral CFL positivity and Yee modified energy)

[F3]

The Yee rows use the half-step magnetic update and integer-step electric update. (Lossless or midpoint-conductive Yee leapfrog update)

Proof

1.1F1algebra

On a periodic Fourier mode, a forward edge difference in direction j has multiplier eiθj−1=2ieiθj/2sin⁡(θj/2). The half-cell phase in the edge and face cochain locations is removed by a unitary diagonal change of Fourier basis, so the scaled directional symbol is idj with dj=2sin⁡(θj/2)/hj. The Cartesian curl symbol is therefore id×.

2.1F1step 1.1algebra

The cross-product matrix d× is real skew-symmetric. The identity −(d×)2=∣d∣2I−ddT follows by expanding the vector triple product. Thus the curl-curl symbol is zero on the longitudinal vector d and equals ∣d∣2 on its two-dimensional orthogonal complement. The Hodge weights in [F1] scale this eigenvalue by c2, giving the stated λ(θ).

3.1F3step 2.1algebra

For a transverse mode en=qnv with this eigenvalue, subtracting the electric row in [F3] at consecutive time indices and using its magnetic row gives qn+1−2qn+qn−1+Δt2λ(θ)qn=0. Substitution of qn=e−iωnΔt yields 4sin⁡2(ωΔt/2)=Δt2λ(θ), which is the displayed dispersion relation.

4.1F1F2step 3.1algebra∎

Since 0≤sin⁡2(θj/2)≤1, λ(θ)≤4c2(hx−2+hy−2+hz−2). When every Nj is even, the allowed tuple θ=(π,π,π) attains equality; otherwise the exact maximum is the maximum over the finite allowed tuples. Applying [F2] gives the rectangular strict bound and its cubic specialization, while preserving the finite-grid endpoint distinction.

Depends on

Used by

Dependency tree · two levels

5 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