Meridional

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

def CIV.meridional (x₁ x₃ : ℝ) : CKN.Foundation.Parabolic.Vec3

The point (x₁, 0, x₃) of the meridional plane {x₂ = 0}.

Equations

• CIV.meridional x₁ x₃ = ![x₁, 0, x₃]