Public statement.

noncomputable def AVenhance.Ingredients.jMN {β : ℝ} (I : Ingredients β) (κ : ℝ) (m n : ℕ) (t : ℝ) : Matrix (Fin 2) (Fin 2) ℝ

𝐣^κ_{m,n}(t), e.jkmn (3065-3069): (2π²a_m²ε_m²/n!)(ε_m²/(4π²κ))ⁿ ∑_{k∈2ℤ+1} ζ_{m,k}(t) ∂_tⁿζ_{m,k}(t) (1_{k∈4ℤ+1} e₂⊗e₂ + 1_{k∈4ℤ+3} e₁⊗e₁); the sum is locally finite (zetaMK_support_finite); 4τ_m-periodic.

Equations

• One or more equations did not get rendered due to their size.