Force C2 Bounded #
Supporting results for the Constantin–Ignatova–Vicol axisymmetric regularity theorem.
def
CIV.ForceC2Bounded
(f : CKN.Foundation.Parabolic.ParabolicPoint → CKN.Foundation.Parabolic.Vec3)
:
The force is bounded in C² up to the blow-up time, eq:interior:force:c-two.
Equations
- One or more equations did not get rendered due to their size.