Blowup Riesz Compact Decay

Pressure reconstruction and convergence bounds for the rescaled sequence.

theorem ESS.blowup_compact_test_rieszPressurePotentialDecay {ψ : CKN.Foundation.Parabolic.Vec3 × ℝ → ℝ} (hψ : ContDiff ℝ (↑⊤) ψ) (hψc : HasCompactSupport ψ) : CKN.Leray.RieszPressurePotentialDecay ψ

Smooth compact space-time tests satisfy the decay hypotheses of the Riesz pressure duality formula.