OAI/Analysis/LipschitzHilbert/Fourier/PhysicalPlanarJet.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The physical covariant derivatives coincide with the three raw kernels, so their spectral support can be inherited from the full packet.

  1. theorem OAI.LipschitzHilbert.physicalPlanarPacket_covariant line 11
  2. theorem OAI.LipschitzHilbert.physicalPlanarPacket_jet line 37
  3. theorem OAI.LipschitzHilbert.physicalPlanarPacket_jet_slice line 51