OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralNoTurnRemote.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

In the bounded angular-ratio regime, the remote radius is comparable to the square root of the imaginary spectral parameter.

  1. theorem OAI.DefocusingNLS.spectralNoTurn_remote line 11