OAI/MathematicalPhysics/DefocusingNLS/Nonlinear.lean
0 declarations, 0 contain sorry, 0 declared as axioms
Nonlinear stability, physical-data openness and Gaussian blowup.
This file declares nothing itself. It gathers the 38 imports below, so a file that imports it gets all of them.
Imports
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.BoundedInnerNull
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.ContinuousCutoffStableOrbit
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.ContinuousTorusAssembly
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.CutoffContinuousDiagonalStep
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.CutoffContourTransfer
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.CutoffCoordinateLinearData
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.CutoffDiagonalLinearStep
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.CutoffLinearizedPropagator
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.CutoffLocalExistence
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.CutoffPointwiseBound
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.CutoffProfileCompactApproximation
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.DiagonalCutoffBlowup
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.FiniteSymmetryDecay
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.FiniteSymmetryDimension
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.GaussianCounterexample
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.GaussianEnclosure
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.LocalUniformSubsequence
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.LocalWeightedCompact
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.OddPowerMixedIncrement
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.ParameterBoxHomotopy
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.ParameterChoice
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.PhysicalCharacterLipschitz
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.PhysicalCoordinateOpen
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.PhysicalCutoffBlowup
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.PhysicalFourierTest
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.PhysicalLowDegreeMoments
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.PhysicalModeRateBound
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.PhysicalQuadraticWeight
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.ProjectionCoordinates
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.SampledSchwartzFrame
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.SmallComplexPower
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.StableEndpointCoordinateBound
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.StableGraphSlabGluing
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.StableProjectionEigenvector
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.StrongOperatorDerivative
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.SymmetryRangeGenerator
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.UnitTorusPolynomial
- OAI.MathematicalPhysics.DefocusingNLS.Nonlinear.WeightedEnergyEstimate