OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialCanonicalJordanResidual.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The residual of an actual radial Jordan pair is homogeneous and retains finite tail energy.

  1. def OAI.DefocusingNLS.canonicalParameterResidualState line 17
  2. theorem OAI.DefocusingNLS.radialCanonicalJordan_residual line 21