Partial Laplacian

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

noncomputable def CIV.partialLaplacian (m d : ℕ) (φ : CKN.Vec m × ℝ → ℝ) (z : CKN.Vec m × ℝ) : ℝ

The Laplacian in the first d coordinates of a test function on Vec m × ℝ.

Equations

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