Public statement.
noncomputable def
AVenhance.Ingredients.xFlowInv
{β : ℝ}
(I : Ingredients β)
{Φ : ℕ → ℝ → Homogenization.Vec 2 → ℝ}
(hΦ : IsStreamSeq I Φ)
(m : ℕ)
(l : ℤ)
(t : ℝ)
(x : Homogenization.Vec 2)
:
X⁻¹_{m-1,l}(t,x) = X⁻¹_{m-1}(t,x,l τ''_m) (e.flowabbrev).
Equations
- I.xFlowInv hΦ m l t x = AVenhance.flowInv (AVenhance.streamVel (Φ (m - 1))) ⋯ ⋯ t x (↑l * AVenhance.tauPP β I.Λ m)