Multi Partial #
Supporting results for the Constantin–Ignatova–Vicol axisymmetric regularity theorem.
noncomputable def
CIV.multiPartial
(g : CKN.Foundation.Parabolic.ParabolicPoint → ℝ)
(α : Fin 3 → ℕ)
:
The multi-index spatial derivative ∂_x^α g.
Equations
- One or more equations did not get rendered due to their size.