OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialInnerDerivative.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Exact integral equation and uniform derivative bounds for the genuine coupled inner profiles.

  1. theorem OAI.DefocusingNLS.radial_inner_integral_and_continuity line 16
  2. theorem OAI.DefocusingNLS.radial_inner_integral_formula line 51
  3. theorem OAI.DefocusingNLS.radial_inner_derivative_bounds line 57
  4. theorem OAI.DefocusingNLS.radial_inner_derivative_lipschitz line 76