OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialEulerJet.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Exact iterated radial derivatives of the time-symmetry generator.

  1. theorem OAI.DefocusingNLS.contDiff_iteratedDeriv_infty line 11
  2. theorem OAI.DefocusingNLS.radialAffineEuler_contDiff line 17
  3. theorem OAI.DefocusingNLS.radialAffineEuler_iteratedDeriv line 25