OAI/MathematicalPhysics/DefocusingNLS/Linear/HomogeneousSymmetryIndependence.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Independence of the fourteen physical modulation directions

  1. theorem OAI.DefocusingNLS.vanishing_directional_derivative_eq_zero line 16
  2. theorem OAI.DefocusingNLS.even_fderiv_at_zero line 34
  3. theorem OAI.DefocusingNLS.physical_symmetry_directions_independent line 47