Analytic Bound On #
Supporting results for the Constantin–Ignatova–Vicol axisymmetric regularity theorem.
def
CIV.AnalyticBoundOn
(g : CKN.Foundation.Parabolic.ParabolicPoint → CKN.Foundation.Parabolic.Vec3)
(R' : ℝ)
(J : Set ℝ)
(M a : ℝ)
:
The analyticity bound eq:analytic:interior:force for a field g on B(R') × J
with constants M, a.
Equations
- One or more equations did not get rendered due to their size.