OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralTurningRescale.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Quantitative convergence of the rescaled potential to the Airy coefficient. The estimate applies on each fixed rescaled compact interval.

  1. theorem OAI.DefocusingNLS.spectralTurning_rescaled_error line 10
  2. theorem OAI.DefocusingNLS.spectralTurning_rescaled_coefficient line 28