OAI/MathematicalPhysics/DefocusingNLS/Nonlinear/CutoffStableTransfer.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Uniform large-radius contraction for the actual sampled cutoff evolution

  1. def OAI.DefocusingNLS.cutoffProfileCoefficient line 18
  2. theorem OAI.DefocusingNLS.sampledCutoffProfile_uniform_stable_contraction line 24