Cubic NLS: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
No edit summary
 
No edit summary
 
(24 intermediate revisions by 4 users not shown)
Line 1: Line 1:
====Cubic NLS on R====
{{equation
| name = Cubic NLS
| equation = <math>iu_t + \Delta u = \pm |u|^2 u</math>
| fields = <math>u: \R \times \R^d \to \mathbb{C}</math>
| data = <math>u(0) \in H^s(\R^d)</math>
| hamiltonian = [[Hamiltonian]]
| linear = [[free Schrodinger equation|Schrodinger]]
| nonlinear = [[semilinear]]
| critical = <math>\dot H^{d/2 - 1}(\R^d)</math>
| criticality = varies
| covariance = [[Galilean]]
| lwp = <math>H^s(\R^d)</math> for <math>s \geq \max(d/2-1, 0)</math>
| gwp = varies
| parent = [[NLS]]
| special = [[Cubic NLS on R|on R]], [[Cubic NLS on T|on T]], [[Cubic NLS on R2|on R^2]], [[Cubic NLS on 2d manifolds|on T^2]], [[Cubic NLS on R3|on R^3]], [[Cubic NLS on R4|on R^4]]
| related = [[Schrodinger maps]], [[mKdV]], [[Zakharov system|Zakharov]]
}}


* Scaling is s<sub>c</sub> = -1/2.
 
* LWP for s <font face="Symbol">³</font> 0 [[Bibliography#Ts1987|Ts1987]], [[Bibliography#CaWe1990|CaWe1990]] (see also [[Bibliography#GiVl1985|GiVl1985]]).
The '''cubic NLS''' is displayed on the box on the right.  The sign + is ''defocusing'', while the - sign is ''focusing''. This equation is traditionally studied on Euclidean domains <math>R^d</math>, but other domains are certainly possible.
** This is sharp for reasons of Gallilean invariance and for soliton solutions in the focussing case [KnPoVe-p]
 
*** The result is also sharp in the defocussing case [CtCoTa-p], due to Gallilean invariance and the asymptotic solutions in [[Bibliography#Oz1991|Oz1991]].
In one spatial dimension the cubic NLS equation is [[completely integrable]]. but this is not the case in higher dimensions.
*** Below s <font face="Symbol">³</font>0 the solution map was known to be not C<sup>2</sup> in [[Bibliography#Bo1993|Bo1993]]
 
** For initial data equal to a delta function there are serious problems with existence and uniqueness [KnPoVe-p].
The cubic NLS can be viewed as an oversimplified model of the [[Schrodinger map]] equation. It also arises as the limit of a number of other
** However, there exist Gallilean invariant spaces which scale below L<sup>2</sup> for which one has LWP. They are defined in terms of the Fourier transform [[Bibliography#VaVe2001|VaVe2001]]. For instance one has LWP for data whose Fourier transform decays like |<font face="Symbol">x</font><nowiki>|^{-1/6-}. Ideally one would like to replace this with |</nowiki><font face="Symbol">x</font><nowiki>|^{0-}.</nowiki>
equations, such as the [[mKdV|modified Korteweg-de Vries equation]] and [[Zakharov system]].
* GWP for s <font face="Symbol">³</font> 0 thanks to L<sup>2</sup> conservation
 
** GWP can be pushed below to certain of the Gallilean spaces in [VaVe-p]. For instance one has GWP when the Fourier transform of the data decays like |<font face="Symbol">x</font><nowiki>|^{-5/12-}. Ideally one would like to replace this with 0-.</nowiki>
One can also consider variants of the cubic NLS in which the ([[Hamiltonian]], [[Galilean]]-invariant) nonlinearity <math>\pm |u|^2 u</math> is replaced by a non-Hamiltonian, non-Galilean-invariant cubic polynomial such as <math>u^3</math> or <math>\overline{u}^3</math>.  Typically, for this variant the local theory remains unchanged (or even improves somewhat), but the global theory is lost (especially for large data) due to the lack of conservation laws.
* If the cubic non-linearity is of <u>u</u> <u>u</u> <u>u</u> or u u u type (as opposed to the usual |u|<sup>2</sup> u type) then one can obtain LWP for s > -5/12 [[references#Gr-p2 Gr-p2]]. If the nonlinearity is of <u>u</u> <u>u</u> u type then one has LWP for s > -2/5 [[references#Gr-p2 Gr-p2]].
 
* ''Remark''<nowiki>: This equation is sometimes known as the Zakharov-Shabat equation and is completely integrable (see e.g. [</nowiki>[Bibliography#AbKauNeSe1974|AbKauNeSe1974]]; all higher order integer Sobolev norms stay bounded. Growth of fractional norms might be interesting, though.
== Scaling analysis ==
* In the focusing case there are soliton and multisoliton solutions, however the defocusing case does not admit such solutions.
 
* In the focussing case there is a unique positive radial ground state for each energy E. By translation and phase shift one thus obtains a four-dimensional manifold of ground states (aka solitons) for each energy. This manifold is H<sup>1</sup>-stable [[Bibliography#Ws1985|Ws1985]], [[Bibliography#Ws1986|Ws1986]]. Below the energy norm orbital stability is not known, however there are polynomial bounds on the instability [[Bibliography#CoKeStTkTa2003b|CoKeStTkTa2003b]].
On Euclidean domains at least, the cubic NLS obeys the scale invariance
* This equation is related to the evolution of vortex filaments under the localized induction approximation, via the Hasimoto transformation, see e.g. [[Bibliography#Hm1972|Hm1972]]
 
* Solutions do not scatter to free Schrodinger solutions. In the focussing case this can be easily seen from the existence of solitons. But even in the defocussing case wave operators do not exist, and must be replaced by modified wave operators [[Bibliography#Oz1991|Oz1991]], see also [CtCoTa-p]. For small, decaying data one also has asymptotic completeness [[Bibliography#HaNm1998|HaNm1998]].
:<math>u(t,x) \mapsto \frac{1}{\lambda} u(\frac{t}{\lambda^2}, \frac{x}{\lambda}).</math>
** For large Schwartz data, these asymptotics can be obtained by inverse scattering methods [[Bibliography#ZkMan1976|ZkMan1976]], [[Bibliography#SeAb1976|SeAb1976]], [[Bibliography#No1980|No1980]], [[Bibliography#DfZx1994|DfZx1994]]
 
** For large real analytic data, these asymptotics were obtained in [[Bibliography#GiVl2001|GiVl2001]]
Thus the [[critical]] regularity is <math>s_c = \frac{d}{2} - 1</math>.
** Refinements to the convergence and regularity of the modified wave operators was obtained in [[Bibliography#Car2001|Car2001]]
 
* On the half line R^+, global well-posedness in H^2 was established in [[references:CrrBu.1991 CrrBu.1991]], [[references:Bu.1992 Bu.1992]]
== Specific domains ==
* On the interval, the inverse scattering method was applied to generate solutions in [GriSan-p].
 
* [[Cubic NLS on R]] (Mass and energy sub-critical; scattering-critical; completely integrable)
* [[Cubic NLS on R|Cubic NLS on the half-line and interval]] (Mass and energy sub-critical)
* [[Cubic NLS on T]] (Mass and energy sub-critical; completely integrable)
* [[Cubic NLS on R2|Cubic NLS on R^2]] (Mass-critical; energy-subcritical; scattering-subcritical)
* [[Cubic NLS on 2d manifolds|Cubic NLS on two-dimensional manifolds]] (Mass-critical; energy-subcritical)
* [[Cubic NLS on R3|Cubic NLS on R^3]] (Mass-supercritical; energy-subcritical; scattering-subcritical)
* [[Cubic NLS on T3|Cubic NLS on three-dimensional manifolds]] (Mass-supercritical; energy-subcritical)
* [[Cubic NLS on R4|Cubic NLS on R^4]] (Mass-supercritical; energy-critical; scattering-subcritical)
* [[Cubic NLS on T4|Cubic NLS on four-dimensional manifolds]] (Mass-supercritical; energy-critical)
* [[Cubic NLS on S6|Cubic NLS on six-dimensional manifolds]] (Mass-supercritical; energy-supercritical)


[[Category:Equations]]
[[Category:Equations]]
----
[[Category:Schrodinger]]

Latest revision as of 21:55, 4 March 2007

Cubic NLS
Description
Equation
Fields
Data class
Basic characteristics
Structure Hamiltonian
Nonlinearity semilinear
Linear component Schrodinger
Critical regularity
Criticality varies
Covariance Galilean
Theoretical results
LWP for
GWP varies
Related equations
Parent class NLS
Special cases on R, on T, on R^2, on T^2, on R^3, on R^4
Other related Schrodinger maps, mKdV, Zakharov


The cubic NLS is displayed on the box on the right. The sign + is defocusing, while the - sign is focusing. This equation is traditionally studied on Euclidean domains , but other domains are certainly possible.

In one spatial dimension the cubic NLS equation is completely integrable. but this is not the case in higher dimensions.

The cubic NLS can be viewed as an oversimplified model of the Schrodinger map equation. It also arises as the limit of a number of other equations, such as the modified Korteweg-de Vries equation and Zakharov system.

One can also consider variants of the cubic NLS in which the (Hamiltonian, Galilean-invariant) nonlinearity is replaced by a non-Hamiltonian, non-Galilean-invariant cubic polynomial such as or . Typically, for this variant the local theory remains unchanged (or even improves somewhat), but the global theory is lost (especially for large data) due to the lack of conservation laws.

Scaling analysis

On Euclidean domains at least, the cubic NLS obeys the scale invariance

Thus the critical regularity is .

Specific domains