OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialJordanChannels.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The radial source equation of an actual finite Jordan chain.

  1. def OAI.DefocusingNLS.IsHarmonicRadialSourcePair line 13
  2. theorem OAI.DefocusingNLS.homogeneous_harmonic_smul_add line 25
  3. theorem OAI.DefocusingNLS.homogeneous_contour_jordan_radial line 46