Physical L² realization of Schwartz Bessel fields

The inverse Fourier-weight realization of a canonical Schwartz Sobolev lift is its original spatial L² class.

theorem CKN.Leray.regularisedBesselSobolevToL2_schwartz (s : ℝ) (hs : 0 ≤ s) (ψ : SchwartzMap Foundation.Parabolic.L2Vec3 ComplexVec3) : regularisedBesselSobolevToL2 s hs (regularisedBesselOfSchwartz s ψ) = ψ.toLp 2 MeasureTheory.volume

The canonical Schwartz Bessel lift realizes physically as the original Schwartz L² field.