OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralTurningShellDecay.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The normalized turning comparison decays exponentially across any fixed exterior shell in the frequency-dominated case.

  1. theorem OAI.DefocusingNLS.spectralScalarMomentum_ratio line 13
  2. theorem OAI.DefocusingNLS.SpectralScalarBoundarySystem.extension_mass_bound line 27
  3. theorem OAI.DefocusingNLS.spectralTurning_comparison_shell_decay line 43