Public statement.

def AVenhance.HolderTimeL2Le (μ H : ℝ) (θ : ℝ → Homogenization.Vec 2 → ℝ) : Prop

‖θ‖_{C^{0,μ}([0,1];L²)} ≤ H, the norm being sup_{t∈[0,1]} ‖θ(t)‖_{L²} plus the μ-Hölder seminorm.

Equations

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