OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialShootingCanonicalFixed.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Fixed-interval convergence for the actual shooting-profile outgoing columns.

  1. theorem OAI.DefocusingNLS.radialShootingNu_parameter_tendsto line 14
  2. theorem OAI.DefocusingNLS.radialShooting_canonical_fixed_limit line 26