OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralRadialLocalIntegrable.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Completed radial values and weak derivatives are locally integrable away from the origin.

  1. theorem OAI.DefocusingNLS.spectralRadialL2_locallyIntegrableOn line 10