OAI/MathematicalPhysics/DefocusingNLS/Profile.lean
0 declarations, 0 contain sorry, 0 declared as axioms
Radial self-similar profiles and their large-power limit.
This file declares nothing itself. It gathers the 53 imports below, so a file that imports it gets all of them.
Imports
- OAI.MathematicalPhysics.DefocusingNLS.Profile.MovingSobolevEquation
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialAngularUpperExclusion
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialCoerciveProfile
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialComplexSpectralEnergy
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialCoupledPressureUnweighted
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialDilationEnergyLimit
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialExteriorActualTail
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialExteriorBoundedRemainder
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialExteriorContinuousFinite
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialFreeCoefficientSmoothness
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialFreeFluxGauge
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialGaugeCrossPairing
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialGaugeTransport
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialInnerC1Limit
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialInnerStationary
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialLogarithmicConvergence
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialMatchedAnnulusCoefficient
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialMatchedCanonicalNoJordan
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialMatchedContinuousStableOrbit
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialMatchedCrossFluxLimit
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialMatchedFreePencilChainEquation
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialMatchedLimitSpectrum
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialMatchedNonradialExclusion
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialMatchedOpenBlowup
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialMatchedPencilRobin
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialMatchedShellBoundary
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialMatchedShellGreen
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialMatchedTimeTaylor
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialMatchedTorusBlocks
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialMatchedTurningGreen
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialMatchingCriterion
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialMatchingSymmetries
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialModeTrace
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialNormalizedFirstMass
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialOutgoingFirstDecay
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialPotentialSymbols
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialResolventEquation
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialSpectralNoJordan
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialSpectralNormalization
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialUniformGaugeBoundary
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialUniformModeLine
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialUpperExclusion
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadialVanishingEnergy
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadianFourierContinuity
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadianFourierDerivatives
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadianFourierInversion
- OAI.MathematicalPhysics.DefocusingNLS.Profile.RadianFourierSeries
- OAI.MathematicalPhysics.DefocusingNLS.Profile.SlowAdjacentParameter
- OAI.MathematicalPhysics.DefocusingNLS.Profile.SlowBoundaryExclusion
- OAI.MathematicalPhysics.DefocusingNLS.Profile.SlowCompactDerivativeAsymptotics
- OAI.MathematicalPhysics.DefocusingNLS.Profile.SlowConjugation
- OAI.MathematicalPhysics.DefocusingNLS.Profile.SlowGaugeDerivativeGrowth
- OAI.MathematicalPhysics.DefocusingNLS.Profile.SlowLaguerreHolomorphy