OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialSymmetryPhase.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The phase symmetry is an actual solution of the two circular mode equations for the constructed profile.

  1. theorem OAI.DefocusingNLS.oddPower_circular_phase line 12
  2. theorem OAI.DefocusingNLS.harmonicRadialEigenpair_phase line 23
  3. theorem OAI.DefocusingNLS.radialMatched_phase_eigenpair line 53