Statement file: IsCorrectorSol (Section3).
This file contains exactly one declaration of the formalization's public statement surface.
def
AVenhance.Ingredients.IsCorrectorSol
{β : ℝ}
(I : Ingredients β)
(κ : ℝ)
(m : ℕ)
(k : ℤ)
(e : Homogenization.Vec 2)
(χ : ℝ → Homogenization.Vec 2 → ℝ)
:
e.parabcorr.k (label 2791) for one direction e ∈ ℝ²:
∂_t χ - κ Δχ + ζ̂_{m,l_k} ζ_{m,k} u_{m,k} · (e + ∇χ) = 0 on ℝ × ℝ², and
χ = 0 for t < t*_{m,k} = (-2/3 + k) τ_m.
Equations
- One or more equations did not get rendered due to their size.