OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralShellInwardLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A uniformly small local Robin error and bounded oscillatory channel force the rescaled inward channel to vanish at the far end of a shell.

  1. theorem OAI.DefocusingNLS.spectralShell_inward_limit line 11