Singular Slice

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

def CIV.singularSlice (u : CKN.Foundation.Parabolic.ParabolicPoint → CKN.Foundation.Parabolic.Vec3) : Set CKN.Foundation.Parabolic.Vec3

The singular slice of the blow-up time t = 0: the points near which u is unbounded on every backward parabolic neighbourhood, S₀ of design note R12.

Equations

• CIV.singularSlice u = {x : CKN.Foundation.Parabolic.Vec3 | ¬CIV.IsBoundedNear u x}