OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralGreenSmallness.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The Green correction is small by the precise factor 1/(R kappa²), where kappa is the lower bound for the square-root frequency weight.

  1. theorem OAI.DefocusingNLS.spectralScalarGreenIntegral_small line 12