OAI/MathematicalPhysics/DefocusingNLS/Linear/TorusStableBlocks.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Corrected finite frames and the stable torus endpoint blocks

  1. def OAI.DefocusingNLS.torusEndpointRadius line 16
  2. theorem OAI.DefocusingNLS.torusEndpointRadius_ge line 19
  3. def OAI.DefocusingNLS.HasTorusStableBlocks line 22
  4. theorem OAI.DefocusingNLS.hasTorusStableBlocks_of_kernel_decay line 41