OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialMatchedAnnulusCoefficient.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

On any fixed annulus outside the limiting core, the actual nonlinear spectral coefficients vanish uniformly as the power tends to infinity.

  1. theorem OAI.DefocusingNLS.radialMatched_annulus_coefficient_small line 14