OAI/MathematicalPhysics/DefocusingNLS/Linear/HomogeneousSymmetryProjection.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The contour projection fixes all physical symmetry directions

  1. theorem OAI.DefocusingNLS.homogeneousProjection_fixes_real_eigenvector line 18
  2. theorem OAI.DefocusingNLS.radialMatched_projection_fixes_physical_frame line 37