OAI/MathematicalPhysics/DefocusingNLS/Linear/HomogeneousPhysicalWeakLimit.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Bounded physical convergence determines weak convergence in Y

  1. theorem OAI.DefocusingNLS.homogeneousY_weak_of_physical_limit line 16
  2. theorem OAI.DefocusingNLS.homogeneousY_exists_of_physical_limit line 43
  3. theorem OAI.DefocusingNLS.continuous_functional_of_physical line 65