OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialExteriorTailDerivative.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The backward integral solves the weighted exterior differential equation.

  1. theorem OAI.DefocusingNLS.radialExteriorPhase_hasDerivAt line 10
  2. theorem OAI.DefocusingNLS.radialExteriorPropagator_curve_hasDerivAt line 17
  3. theorem OAI.DefocusingNLS.radialExteriorTailIntegral_hasDerivAt line 34