OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralTurningPositiveScale.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A parameter-uniform near-turning error. The first term decays with the fixed Airy cutoff and the second vanishes as the turning scale shrinks.

  1. theorem OAI.DefocusingNLS.spectralTurning_positive_scaled_integral line 11