OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralTurningAiryCoefficient.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The reflected coefficient converges to the Airy coefficient on every fixed compact interval, with no symmetry restriction on its endpoints.

  1. theorem OAI.DefocusingNLS.spectralTurningAiryCoefficient_uniform_limit line 11