OAI/MathematicalPhysics/DefocusingNLS/Linear/ExpandingFourierTest.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Bounded Schwartz frequency tests on the expanding Fourier space

  1. theorem OAI.DefocusingNLS.summable_expandingFourierTest line 14
  2. def OAI.DefocusingNLS.expandingFourierTest line 24
  3. theorem OAI.DefocusingNLS.expandingFourierTest_apply line 59
  4. theorem OAI.DefocusingNLS.expandingFourierTest_norm_le line 65