Public statement.
noncomputable def
AVenhance.Ingredients.nextStreamTerm
{β : ℝ}
(I : Ingredients β)
(m : ℕ)
(φ : ℝ → Homogenization.Vec 2 → ℝ)
(hφ : IsAdmissibleStream φ)
(t : ℝ)
(x : Homogenization.Vec 2)
(k : ℤ)
:
The k-th term of e.psi.recursion, second form (1436-1455):
ζ̂_{m,l_k}(t) ζ_{m,k}(t) ψ_{m,k}(X⁻¹_{m-1}(t, x, l_k τ''_m)), where X_{m-1} is the
flow of the velocity ∇^⊥ φ_{m-1} (admissibility of φ_{m-1} supplies the flow hypotheses).
Equations
- One or more equations did not get rendered due to their size.