Meridional Quantity

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

noncomputable def CIV.meridionalQuantity (u : CKN.Foundation.Parabolic.ParabolicPoint → CKN.Foundation.Parabolic.Vec3) (z : CKN.Foundation.Parabolic.ParabolicPoint) : ℝ

The integrand of G_ρ in eq:aniso:G: |∂_r u_r| + |u_r/r| + |∂_z u_z| + |∂_z u_r| on the meridional plane.

Equations

• One or more equations did not get rendered due to their size.