The short-time separation estimate

Source l.solutions.no.same (9713ff), with corrections to the printed argument: two classical solutions with the same smooth divergence-free drift and diffusivities κ₁ < κ₂ ∈ [3κ₁, 5κ₁] have L² norms that separate at short times.

noncomputable def AVenhance.Infra.FullTheorem.hessNormSq (f : Homogenization.Vec 2 → ℝ) : ℝ

∑_{i,j} ∫_{cell} (∂_j ∂_i f)².

Equations

• One or more equations did not get rendered due to their size.

def AVenhance.Infra.FullTheorem.SeparationContract : Prop

Short-time separation of the L² norms of two solutions with the same drift and diffusivities in ratio [3,5].

Equations

• One or more equations did not get rendered due to their size.