OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralRemotePolynomialJets.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Uniform bounds for fixed derivatives of the convergent finite polynomial approximations to the exterior profile.

  1. theorem OAI.DefocusingNLS.spectralRemote_polynomial_euler_coeff line 11
  2. theorem OAI.DefocusingNLS.spectralRemote_polynomial_euler_degree line 19
  3. theorem OAI.DefocusingNLS.spectralRemote_polynomial_jet_bound line 27