Is Axisymmetric On #
Supporting results for the Constantin–Ignatova–Vicol axisymmetric regularity theorem.
def
CIV.IsAxisymmetricOn
(u : CKN.Foundation.Parabolic.ParabolicPoint → CKN.Foundation.Parabolic.Vec3)
(S : Set CKN.Foundation.Parabolic.ParabolicPoint)
:
A field is axisymmetric on a set when its non-axisymmetric part w = u - 𝒫u
vanishes there (Section sec:aniso:notation).
Equations
- CIV.IsAxisymmetricOn u S = ∀ z ∈ S, CIV.angularMean u z = u z