OAI/MathematicalPhysics/DefocusingNLS/Linear/ExpandingLinearizedPhysicalLimit.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The actual linearized reaction passes to the physical limit

  1. theorem OAI.DefocusingNLS.expandingLinearizedPotential_physical line 15
  2. theorem OAI.DefocusingNLS.tendsto_expandingLinearizedPotential_physical line 29