OAI/MathematicalPhysics/DefocusingNLS/Linear/HomogeneousSpectralLocalizationBarrier.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The angular barrier in the actual weighted radial energy on a fixed ball.

  1. theorem OAI.DefocusingNLS.homogeneousSpectralLocalization_angular_barrier line 12
  2. theorem OAI.DefocusingNLS.homogeneousSpectralLocalization_energy_barrier line 50