OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralDuhamelEstimate.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A weighted estimate for the actual Duhamel integral, with its same-channel exponential factor retained for the subsequent Gronwall step.

  1. theorem OAI.DefocusingNLS.spectralScalarDuhamelIntegral_bound line 11
  2. theorem OAI.DefocusingNLS.spectralScalarDuhamelIntegral_residual_bound line 28