OAI/MathematicalPhysics/DefocusingNLS/Linear/HomogeneousGluedMode.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Canonical outgoing states yield bounded radial modes in Re lambda >= -a.

  1. theorem OAI.DefocusingNLS.homogeneousGlued_canonical_mode line 17