Force Spatially Analytic

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

def CIV.ForceSpatiallyAnalytic (f : CKN.Foundation.Parabolic.ParabolicPoint → CKN.Foundation.Parabolic.Vec3) : Prop

Spatial real analyticity of the force, locally uniformly on cylinders compactly contained in Q, eq:interior:force:analytic.

Equations

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