OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralOutgoingFluxCoercivity.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

An outgoing scalar slope controls the remaining boundary value by the total flux and the already vanishing positive channel.

  1. theorem OAI.DefocusingNLS.spectralOutgoing_flux_coercivity line 10