Anisotropic Bounds #
Supporting results for the Constantin–Ignatova–Vicol axisymmetric regularity theorem.
def
CIV.AnisotropicBounds
(C h : ℝ)
(v : CKN.Foundation.Parabolic.ParabolicPoint → CKN.Foundation.Parabolic.Vec3)
:
The anisotropic Type II bounds eq:aniso:bounds (for the angular mean,
eq:interior:mean:bounds) with exponent h and constant C, for all derivatives of
total order at most two, read on the meridional plane (design note R4).
Equations
- One or more equations did not get rendered due to their size.