OAI/MathematicalPhysics/DefocusingNLS/Linear/HomogeneousComplexStrongContinuity.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Strong continuity of the complexified physical evolution

This section of the joint continuity theorem keeps its proof independent of any concrete matched profile or shooting parameters.

  1. theorem OAI.DefocusingNLS.stronglyContinuous_homogeneousComplexLinearizedStep line 15