Meridional Partial #
Supporting results for the Constantin–Ignatova–Vicol axisymmetric regularity theorem.
noncomputable def
CIV.meridionalPartial
(g : CKN.Foundation.Parabolic.ParabolicPoint → ℝ)
(a b : ℕ)
:
The iterated classical partial derivative ∂₁^a ∂₃^b g. On the meridional plane it is
±∂_r^a ∂_z^b g for an axisymmetric scalar g (design note R4).
Equations
- One or more equations did not get rendered due to their size.