OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralGrowingLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A strict growing-branch margin survives convergence of both the Cauchy data and the complex WKB coefficients at a fixed observation point.

  1. theorem OAI.DefocusingNLS.spectralGrowingCoefficient_eventual_margin line 12