Global Energy Class #
Supporting results for the Constantin–Ignatova–Vicol axisymmetric regularity theorem.
def
CIV.GlobalEnergyClass
(u : CKN.Foundation.Parabolic.ParabolicPoint → CKN.Foundation.Parabolic.Vec3)
(Du : CKN.Foundation.Parabolic.ParabolicPoint → Fin 3 → CKN.Foundation.Parabolic.Vec3)
(p : CKN.Foundation.Parabolic.ParabolicPoint → ℝ)
:
The energy class eq:interior:energy:class on all of Q, up to the blow-up time:
u ∈ L^∞_t L²_x(Q) ∩ L²_t H¹_x(Q) and π ∈ L^{3/2}_{x,t}(Q) (design note R6).
Equations
- One or more equations did not get rendered due to their size.