Public statement.

noncomputable def AVenhance.advDiffOp (b : ℝ → Homogenization.Vec 2 → Homogenization.Vec 2) (κ : ℝ) (u : ℝ → Homogenization.Vec 2 → ℝ) (t : ℝ) (x : Homogenization.Vec 2) : ℝ

(∂_t - κ Δ + b · ∇) u, classical derivatives (source order of e.theta.m, label 3856).

Equations

• AVenhance.advDiffOp b κ u t x = deriv (fun (s : ℝ) => u s x) t - κ * AVenhance.spaceLap (u t) x + Homogenization.vecDot (b t x) (AVenhance.spaceGrad (u t) x)