OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialTimeBounds.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Global boundedness and the weighted Sobolev condition for the time mode.

  1. theorem OAI.DefocusingNLS.radialMatchedEuler_bounded line 12
  2. theorem OAI.DefocusingNLS.radialMatchedEuler_top_integrable line 37