OAI/Analysis/LipschitzHilbert/Estimates/CompactMollificationL2.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Positive compact mollification converges in L2 for bounded compact measurable tests, with a common compact support.

  1. theorem OAI.LipschitzHilbert.PacketRepresentation.compactMollification_energy_tendsto line 12
  2. theorem OAI.LipschitzHilbert.PacketRepresentation.compactMollification_Lp_tendsto line 46