OAI/MathematicalPhysics/DefocusingNLS/Nonlinear/PhysicalModeRateBound.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A physical-space bound for the transport and Schrödinger mode rate

  1. def OAI.DefocusingNLS.physicalModeRate line 13
  2. theorem OAI.DefocusingNLS.physicalModeRate_norm_le line 17