OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralTailWeightedL2.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A strict physical power bound gives finite weighted top energy on a tail.

  1. theorem OAI.DefocusingNLS.spectral_tail_top_integrable line 13
  2. theorem OAI.DefocusingNLS.spectralPowerValues_top_integrable line 44