OAI/MathematicalPhysics/DefocusingNLS/Linear.lean
0 declarations, 0 contain sorry, 0 declared as axioms
Sobolev estimates and linear decay on expanding tori.
This file declares nothing itself. It gathers the 59 imports below, so a file that imports it gets all of them.
Imports
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingApproximateExistence
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingCompactProductLimit
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingContinuousStep
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingCoordinateSequence
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingDecayingDuhamel
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingEnergyObservation
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingModeConverse
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingNearbyTransfer
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingObservedFamily
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingOddCompactness
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingPerturbationEquation
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingPhysicalTermDerivative
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingProfileEquation
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingProfilePhysicalEquation
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingSlabTrajectory
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingStableSequence
- OAI.MathematicalPhysics.DefocusingNLS.Linear.ExpandingStepMapContinuity
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HarmonicRadialLinearCombination
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousAngularUpper
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousComplexPotential
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousDerivativeTesting
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousDiagonalCoordinates
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousEnergyGenerator
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousGluedMatchingMode
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousHamiltonian
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousJordanChannels
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousLocalizationContinuity
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousMatchedContour
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousMatchedJordanMode
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousMatchedPotential
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousMatchedRadialC2
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousPhysicalCoordinates
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousPhysicalDuality
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousSchwartzFrame
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousSpectralLocalizationBarrier
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousSpectralLocalizationRemote
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousSpectralLocalizationSubunit
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousSpectralLocalizationWKB
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousSpectralPower
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousSymmetryDimension
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousSymmetryProjection
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousTaylorRemainder
- OAI.MathematicalPhysics.DefocusingNLS.Linear.HomogeneousTimeOneDecomposition
- OAI.MathematicalPhysics.DefocusingNLS.Linear.SchwartzCompactContinuity
- OAI.MathematicalPhysics.DefocusingNLS.Linear.SchwartzCutoffDerivative
- OAI.MathematicalPhysics.DefocusingNLS.Linear.SchwartzLocalizationLimit
- OAI.MathematicalPhysics.DefocusingNLS.Linear.SchwartzProfileSampling
- OAI.MathematicalPhysics.DefocusingNLS.Linear.SchwartzSampleContinuity
- OAI.MathematicalPhysics.DefocusingNLS.Linear.SchwartzSampleLipschitz
- OAI.MathematicalPhysics.DefocusingNLS.Linear.SemigroupStableBlocks
- OAI.MathematicalPhysics.DefocusingNLS.Linear.SobolevCompactStability
- OAI.MathematicalPhysics.DefocusingNLS.Linear.SobolevContinuation
- OAI.MathematicalPhysics.DefocusingNLS.Linear.SobolevContinuousDependence
- OAI.MathematicalPhysics.DefocusingNLS.Linear.SobolevEvaluationContinuity
- OAI.MathematicalPhysics.DefocusingNLS.Linear.SobolevLinearization
- OAI.MathematicalPhysics.DefocusingNLS.Linear.SobolevResidualStability
- OAI.MathematicalPhysics.DefocusingNLS.Linear.SobolevSymmetryFlow
- OAI.MathematicalPhysics.DefocusingNLS.Linear.TorusDiscreteLinearData
- OAI.MathematicalPhysics.DefocusingNLS.Linear.TorusLinearStepAssembly