OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialSpectralModeScaling.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Constant nonzero scaling preserves every classical and outgoing condition of an actual radial mode and scales its fixed-ball energy quadratically.

  1. def OAI.DefocusingNLS.RadialSpectralMode.scale line 12
  2. theorem OAI.DefocusingNLS.spectralRadialEnergyDensity_scale line 54
  3. theorem OAI.DefocusingNLS.spectralRadialEnergyIntegral_scale line 61