Blowup Riesz Slice AE

Pressure reconstruction and convergence bounds for the rescaled sequence.

theorem ESS.blowup_rieszPressureSpaceTime_exterior_harmonic_slices (F : Fin 3 → Fin 3 → CKN.Foundation.Parabolic.Vec3 × ℝ → ℝ) (hF : ∀ (i j : Fin 3), MeasureTheory.MemLp (F i j) (ENNReal.ofReal (3 / 2)) MeasureTheory.volume) (U : Set CKN.Foundation.Parabolic.Vec3) (hU : IsOpen U) (hzero : ∀ (i j : Fin 3) (z : CKN.Foundation.Parabolic.Vec3 × ℝ), z.1 ∈ U → F i j z = 0) {a b : ℝ} (hab : a < b) : ∀ᵐ (t : ℝ) ∂MeasureTheory.volume.restrict (Set.Ioo a b), CKN.Foundation.Heat.WeaklyHarmonicOn U fun (x : CKN.Foundation.Parabolic.Vec3) => CKN.Leray.rieszPressureSpaceTime (3 / 2) blowup_rieszPressureSpaceTime_exterior_harmonic_slices._proof_1 F hF (x, t)

A globally integrable exterior tensor has a canonical Riesz pressure whose spatial slices are harmonic on the interior for almost every time.