Unit Cylinder

Supporting results for the Constantin–Ignatova–Vicol axisymmetric regularity theorem.

def CIV.unitCylinder : Set CKN.Foundation.Parabolic.ParabolicPoint

The unit parabolic cylinder Q = B(1) × (-1, 0) on which the solutions of arXiv:2609.20803 live; its upper time endpoint t = 0 is the blow-up time.

Equations

• CIV.unitCylinder = CKN.spaceTimeSet (CKN.Foundation.Parabolic.vec3Ball 0 1) (Set.Ioo (-1) 0)