OAI/MathematicalPhysics/DefocusingNLS/Linear/SpacetimeStableObservation.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Whole-space decay bounds the compact observation independently of the slab

  1. theorem OAI.DefocusingNLS.spacetimeBallPath_norm_le_homogeneous line 15
  2. theorem OAI.DefocusingNLS.spacetime_stable_observation_integral_le line 27