OAI/MathematicalPhysics/DefocusingNLS/Linear/ExpandingMassDerivativeNorm.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Strong convergence from physical mass and the top derivative components

  1. theorem OAI.DefocusingNLS.expandingMassDerivative_norm_bound line 12
  2. theorem OAI.DefocusingNLS.tendsto_expanding_of_mass_derivatives_zero line 32