Lemma U (uniform time-Hölder bound in L²)

For a bounded, measurable, periodic, divergence-free drift and 0 < κ ≤ 1, every weak solution with H¹ datum satisfies ‖θ(t) − θ(s)‖_{L²} ≤ C_U (1 + B) κ^{-1/2} |t − s|^{1/4} ‖θ₀‖_{H¹}. The constant is absolute.

def AVenhance.Infra.FullTheorem.LemmaUContract : Prop

Lemma U, as consumed by Lemma r.LeBron and the combined main theorem.

Equations

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