Public statement.

def AVenhance.Ingredients.qMNR {β : ℝ} (I : Ingredients β) (κ : ℝ) (m n : ℕ) : ℕ → ℝ → Matrix (Fin 2) (Fin 2) ℝ

𝐪^κ_{m,n,r}, e.q.mnr.def (3239-3250), by the explicit recursion that solves the characterization: q_{n,0} = 𝐣_n - ⟨⟨𝐣_n⟩⟩, q_{n,r+1}(t) = -∫_0^t q_{n,r} + ⟨⟨∫_0^· q_{n,r}⟩⟩ (so ∂_t q_{r+1} = -q_r and ⟨⟨q_{r+1}⟩⟩ = 0, ⟨⟨·⟩⟩ = ∫_0^1). The index r ranges over ℕ₀ and q is 4τ_m-periodic (not τ_m-periodic); see qMNR_char.

Equations

• One or more equations did not get rendered due to their size.
• I.qMNR κ m n 0 = fun (t : ℝ) => I.jMN κ m n t - AVenhance.timeAvgMat (I.jMN κ m n)