Public statement.
def
AVenhance.IsClassicalSol
(b : ℝ → Homogenization.Vec 2 → Homogenization.Vec 2)
(κ : ℝ)
(F : ℝ → Homogenization.Vec 2 → ℝ)
(θ₀ : Homogenization.Vec 2 → ℝ)
(θ : ℝ → Homogenization.Vec 2 → ℝ)
:
Classical ℤ²-periodic solution of ∂_t θ - κ Δθ + b·∇θ = F in (0,∞) × ℝ², θ(0) = θ₀
(e.theta.m 3842-3853, e.Tm-1.i 4036-4046, e.Vm-1.i; source: "θ_m ∈ C^∞", "T ∈ C^∞([0,∞)×ℝ²)",
"zero mean and ℤ²-periodic for each time"). Smooth up to t = 0, periodic in x for t ≥ 0.
Equations
- One or more equations did not get rendered due to their size.