OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialPhysicalAsymptotic.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The exact leading modulus of the matched physical radial profile at infinity.

  1. theorem OAI.DefocusingNLS.radialPhysicalExterior_scaled_norm line 12
  2. theorem OAI.DefocusingNLS.radialMatchedProfile_scaled_norm_tendsto line 18