Pressure for a forced Stokes equation

The pressure of a tensor forcing is the negative of its canonical double Riesz transform, as in lem:pv-stokes.

noncomputable def ESS.pvStokesPressure (r : ℝ) (hr : 1 < r) (F : Fin 3 → Fin 3 → CKN.Foundation.Parabolic.ParabolicPoint → ℝ) (hF : ∀ (i j : Fin 3), MeasureTheory.MemLp (F i j) (ENNReal.ofReal r) MeasureTheory.volume) : CKN.Foundation.Parabolic.ParabolicPoint → ℝ

The canonical pressure paired with a space-time tensor forcing.

Equations

• ESS.pvStokesPressure r hr F hF = -CKN.Leray.rieszPressureSpaceTime r hr F hF