L² bound for the bilinear Schwartz tensor

The pointwise mollifier bound and the rank-one tensor norm give a uniform bilinear estimate in the spatial L² carrier.

theorem CKN.Leray.regularisedSchwartzTensorBilinear_L2_norm_le (ρ : RegMollifierProfile) (ε : ℝ) (hε : 0 < ε) : ∃ (C : ℝ), 0 ≤ C ∧ ∀ (g f : SchwartzMap Foundation.Parabolic.L2Vec3 ComplexVec3), ‖(regularisedSchwartzTensorBilinear ρ ε hε g f).toLp 2 MeasureTheory.volume‖ ≤ C * ‖g.toLp 2 MeasureTheory.volume‖ * ‖f.toLp 2 MeasureTheory.volume‖

One mollifier constant controls the L² norm of the two-input regularized tensor of Schwartz velocity fields.