OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialExteriorJetLimit.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Uniform convergence of the actual exterior value/derivative jets on a fixed tail.

  1. theorem OAI.DefocusingNLS.radialPolynomialFunction_uniform_limit line 14
  2. theorem OAI.DefocusingNLS.radialPolynomialEuler_degree line 30
  3. theorem OAI.DefocusingNLS.radialExteriorUnweight_uniform_limit line 36
  4. def OAI.DefocusingNLS.radialPolynomialJet line 56
  5. theorem OAI.DefocusingNLS.radialPolynomialJet_uniform_limit line 59
  6. theorem OAI.DefocusingNLS.radialExterior_corrected_jet_uniform_limit line 76