OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralPolynomialCorrection.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Adding a decaying correction to a polynomial spectral column.

  1. theorem OAI.DefocusingNLS.circularLeadingField_add line 12
  2. theorem OAI.DefocusingNLS.circularBoundedField_add line 17
  3. theorem OAI.DefocusingNLS.circularPolynomial_corrected line 24
  4. theorem OAI.DefocusingNLS.exists_circularPolynomial_solution line 39