Circulation #
Supporting results for the Constantin–Ignatova–Vicol axisymmetric regularity theorem.
def
CIV.circulation
(u : CKN.Foundation.Parabolic.ParabolicPoint → CKN.Foundation.Parabolic.Vec3)
(z : CKN.Foundation.Parabolic.ParabolicPoint)
:
The circulation Γ = r u_θ = x₁ u₂ - x₂ u₁.
Equations
- CIV.circulation u z = z.1 0 * u z 1 - z.1 1 * u z 0