OAI/MathematicalPhysics/DefocusingNLS/Linear/SobolevAmplitude.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Scalar amplitude covariance of the Sobolev nonlinearity

This exact scaling identity supplies the amplitude factor in the passage from similarity time to physical Schrödinger time.

  1. theorem OAI.DefocusingNLS.sobolevOddPower_smul line 15
  2. theorem OAI.DefocusingNLS.sobolevOddPower_smul_norm line 28