OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralScalarUniformDependence.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform convergence of scalar Cauchy problems on a fixed interval follows from uniform convergence of the coefficients and convergence of initial data.

  1. theorem OAI.DefocusingNLS.spectralScalar_uniform_dependence line 12