OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialMatchedTurningGreen.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Apply the full Green bound to the actual odd-power coefficient field. For two turning channels the correction is proportional to the sum of the vanishing turning scales.

  1. theorem OAI.DefocusingNLS.radialMatched_turning_green_small line 15