OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralScalarCoefficientStability.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Finite-interval continuous dependence for the actual scalar coefficients, used for the rescaled Airy limit.

  1. theorem OAI.DefocusingNLS.spectralScalarField_coefficient_bound line 12
  2. theorem OAI.DefocusingNLS.spectralScalar_coefficient_stability line 24