OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralTurningAiryLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Actual rescaled scalar solutions converge to one Airy solution whenever their Cauchy data at the left endpoint converge. The equation is inherited from the original radial equation, rather than assumed for the limit.

  1. theorem OAI.DefocusingNLS.spectralTurningAiry_cauchy_limit line 15