Public statement.
noncomputable def
AVenhance.Ingredients.Hmr
{β : ℝ}
(I : Ingredients β)
{Φ : ℕ → ℝ → Homogenization.Vec 2 → ℝ}
(hΦ : IsStreamSeq I Φ)
(m : ℕ)
(κm : ℝ)
(Tm1 : ℝ → Homogenization.Vec 2 → ℝ)
(r : ℕ)
(t : ℝ)
(x : Homogenization.Vec 2)
:
HTilde_{m,r} := ∇ · ∑_{n=0}^{N_*-1} 𝐀_{m,n,r} 𝐪_{m,n,r+1}, e.H.mr.def (4178), with
∇·(𝐀𝐪) = ∂_i(𝐀^{ijk} 𝐪^{jk}).
Equations
- One or more equations did not get rendered due to their size.