Meridional Smallness #
Supporting results for the Constantin–Ignatova–Vicol axisymmetric regularity theorem.
def
CIV.MeridionalSmallness
(ρ : ℝ)
(u : CKN.Foundation.Parabolic.ParabolicPoint → CKN.Foundation.Parabolic.Vec3)
:
lim_{t↑0} (-t) G_ρ(t) = 0, eq:aniso:small, unfolded.
Equations
- One or more equations did not get rendered due to their size.