Documentation

LeanPool.CIVAxisymmetric.Statements.ForceC2Bounded

Force C2 Bounded #

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

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.
Instances For