OAI/MathematicalPhysics/DefocusingNLS/Linear/HomogeneousLogEquation.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Exact logarithmic form of the original physical radial equation

  1. theorem OAI.DefocusingNLS.homogeneousLogRadialDamping_eq line 14
  2. theorem OAI.DefocusingNLS.homogeneousLogRadialStiffness_eq line 34
  3. theorem OAI.DefocusingNLS.homogeneousLogEquation_transform line 52
  4. theorem OAI.DefocusingNLS.homogeneousPhysicalRadial_logEquation line 65