OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralCanonicalSolutionLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Actual outgoing solutions along the singular profile limit. The finite initial indices are immaterial; the same weighted inverse supplies the solutions and their convergence.

  1. theorem OAI.DefocusingNLS.exists_canonical_circular_solution_limit line 16