OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralTurningActionGrowth.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The forbidden action tends to infinity with the turning radius, already on the segment between the fixed shell and half the turning radius.

  1. theorem OAI.DefocusingNLS.spectralTurning_far_momentum_re_lower line 12
  2. theorem OAI.DefocusingNLS.spectralTurning_forbidden_action_lower line 36