OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralCaseIIWeightBounds.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

On a Case II shell the scalar momentum is comparable to sqrt(omega).

  1. theorem OAI.DefocusingNLS.spectralWKBSquaredMomentum_norm_upper line 10
  2. theorem OAI.DefocusingNLS.spectralWKB_momentum_shell_bounds line 18
  3. theorem OAI.DefocusingNLS.spectralCaseII_momentum_bounds line 45