Bounded Near Origin #
Supporting results for the Constantin–Ignatova–Vicol axisymmetric regularity theorem.
def
CIV.BoundedNearOrigin
(u : CKN.Foundation.Parabolic.ParabolicPoint → CKN.Foundation.Parabolic.Vec3)
:
(0,0) is a regular point in the sense of eq:interior:regular: the velocity is
bounded on a backward cylinder B(r) × (-δ, 0) (design note R3).
Equations
- One or more equations did not get rendered due to their size.