Public statement.

noncomputable def AVenhance.Ingredients.LMN {β : ℝ} (I : Ingredients β) (κ : ℝ) (m n : ℕ) (t : ℝ) : ℝ

L^κ_{m,n}(t), e.Lmn.def (3077-3083): ∑_l ζ̂_{m,l}(t) ∫_{-∞}^t ζ̂_{m,l}(s) (4π²κ(s-t)/ε_m²)ⁿ exp(4π²κ(s-t)/ε_m²) ds; locally finite in l (hatZetaML_support_finite), the integrand is integrable (exponential decay, ζ̂ bounded).

Equations

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