|
|
(20 intermediate revisions by 4 users not shown) |
Line 1: |
Line 1: |
| [Many thanks to Kenji Nakanishi with valuable help with the scattering theory portion of this section. However, we are still missing many references and results, e.g. on NLS blowup. - Ed.] | | {{equation |
| | | name = NLS |
| | | equation = <math>iu_t + \Delta u = \pm |u|^{p-1} 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^{\frac{d}{2} - \frac{2}{p-1}}(\R^d)</math> |
| | | criticality = varies |
| | | covariance = [[Galilean]] |
| | | lwp = <math>H^s(\R)</math> for <math>s \geq \max(s_c, 0)</math> (*) |
| | | gwp = varies |
| | | parent = [[Schrodinger equations|Nonlinear Schrodinger equations]] |
| | | special = [[Quadratic NLS|quadratic]], [[cubic NLS|cubic]], [[quartic NLS|quartic]], [[quintic NLS|quintic]],<br> [[mass critical NLS|mass critical]] NLS |
| | | related = NLS [[NLS with potential|with potential]], [[NLS on manifolds and obstacles|on manifolds]] |
| | }} |
|
| |
|
| The '''semilinear Schrodinger equation''' (NLS) is
| |
|
| |
|
| <center>i u<sub>t</sub> + <font face="Symbol">D</font> u + <font face="Symbol">l</font> |u|^{p-1} u = 0</center> | | The '''semilinear Schrodinger equation''' (NLS) is displayed on the right-hand box, where the exponent ''p'' is fixed |
| | and is larger than one. One can also replace the nonlinearity <math>\pm |u|^{p-1} u</math> by a more general nonlinearity |
| | <math>F(u)</math> of [[power type]]. The <math>+</math> sign choice is the [[defocusing]] case; <math>-</math> is [[focusing]]. There are also several variants of NLS, such as [[NLS with potential]] or [[NLS on manifolds and obstacles]]; see the general page on [[Schrodinger equations]] for more discussion. |
|
| |
|
| for p>1. There are many [[Schrodinger:specific equations|specific cases]] of this equation which are of interest, but in this page we shall focus on the general theory. There are also several variants of NLS, such as [[NLS with potential]] or [[NLS on manifolds and obstacles]]; see the general page on [[Schrodinger equations]] for more discussion.
| | == Theory == |
|
| |
|
| In order to consider this problem in H<sup>s</sup> one needs the non-linearity to have at least s degrees of regularity; in other words, we usually assume
| | The NLS has been extensively studied, and there is now a substantial theory on many topics concerning solutions to this equation. |
|
| |
|
| <center>p is an odd integer, or p > [s]+1.</center>
| | * [[Algebraic structure of NLS|Algebraic structure]] (Symmetries, conservation laws, transformations, Hamiltonian structure) |
| | * [[NLS wellposedness|Well-posedness]] (both local and global) |
| | * [[NLS scattering|Scattering]] (as well as asymptotic completeness and existence of wave operators) |
| | * [[NLS stability|Stability of solitons]] (orbital and asymptotic) |
| | * [[NLS blowup|Blowup]] |
| | * [[Unique continuation]] |
|
| |
|
| This is a Hamiltonian flow with the Hamiltonian
| | == Specific semilinear Schrodinger equations == |
|
| |
|
| <center>H(u) = <font face="Symbol">ò</font> |<font face="Symbol">Ñ</font> u|<sup>2</sup>/2 - <font face="Symbol">l</font> |u|^{p+1}/(p+1) dx</center>
| | There are many special cases of NLS which are of interest: |
| | |
| and symplectic form
| |
| | |
| <center>{u, v} = Im <font face="Symbol">ò</font> u <u>v</u> dx.</center>
| |
| | |
| From the phase invariance u -> exp(i <font face="Symbol">q</font>) u one also has conservation of the L<sup>2</sup> norm. The case <font face="Symbol">l</font> > 0 is focussing; <font face="Symbol">l</font> < 0 is defocussing.
| |
| | |
| The scaling regularity is s<sub>c</sub> = d/2 - 2/(p-1). The most interesting values of p are the ''L''<sup>2</sup>''-critical'' or ''pseudoconformal'' power p=1+4/d and the ''H''<sup>1</sup>''-critical'' power p=1+4/(d-2) for d>2 (for d=1,2 there is no H<sup>1</sup> conformal power). The power p = 1 + 2/d is also a key exponent for the scattering theory (as this is when the non-linearity |u|^{p-1} u has about equal strength with the decay t^{-d/2}). The cases p=3,5 are the most natural for physical applications since the non-linearity is then a polynomial. The cubic NLS in particular seems to appear naturally as a model equation for many different physical contexts, especially in dispersive, weakly non-linear perturbations of a plane wave. For instance, it arises as a model for dilute Bose-Einstein condensates. <br /><br />
| |
| | |
| {| class="MsoNormalTable" style="width: 100.0%; mso-cellspacing: 1.5pt; mso-padding-alt: 0in 0in 0in 0in" width="100%" border="1"
| |
| |- style="mso-yfti-irow: 0; mso-yfti-firstrow: yes"
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| Dimension d
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| Scattering power 1+2/d
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| L<sup>2</sup>-critical power 1+4/d
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| H<sup>1</sup>-critical power 1+4/(d-2)
| |
| |- style="mso-yfti-irow: 1"
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 1
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 3
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 5
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| N/A
| |
| |- style="mso-yfti-irow: 2"
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 2
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 2
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 3
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| infinity
| |
| |- style="mso-yfti-irow: 3"
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 3
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 5/3
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 7/3
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 5
| |
| |- style="mso-yfti-irow: 4"
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 4
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 3/2
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 2
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 3
| |
| |- style="mso-yfti-irow: 5"
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 5
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 7/5
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 9/5
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 7/3
| |
| |- style="mso-yfti-irow: 6; mso-yfti-lastrow: yes"
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 6
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 4/3
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 5/3
| |
| | style="padding: .75pt .75pt .75pt .75pt" |
| |
| 2
| |
| |}
| |
| | |
| The pseudoconformal transformation of the Hamiltonian gives that the time derivative of
| |
| | |
| <center><nowiki>|| (x + 2it </nowiki><font face="Symbol">Ñ</font>) u ||<sup>2</sup>_2 - 8 <font face="Symbol">l</font> t<sup>2</sup>/(p+1) || u ||_{p+1}^{p+1}</center>
| |
| | |
| is equal to
| |
| | |
| <center>4dt<font face="Symbol">l</font>(p-(1+4/d))/(p+1) ||u||_{p+1}^{p+1}.</center>
| |
| | |
| This law is useful for obtaining a priori spacetime estimates on the solution given sufficient decay in space (e.g. xu(0) in L<sup>2</sup>), especially in the L<sup>2</sup>-critical case p=1+4/d (when the above derivative is zero). The L<sup>2</sup> norm of xu(0) is sometimes known as the ''pseudoconformal charge''.
| |
| | |
| The equation is invariant under Gallilean transformations
| |
| | |
| <center>u(x,t) -> exp(i (v.x/2 - |v|<sup>2</sup> t)) u(x-vt, t).</center>
| |
| | |
| This can be used to show ill-posedness below L<sup>2</sup> in the focusing case [KnPoVe-p], and also in the defocusing case [CtCoTa-p2]. (However if the non-linearity is replaced by a non-invariant expression such as <u>u</u><sup>2</sup>, then [#Quadratic_NLS one can go below L<sup>2</sup>]).
| |
| | |
| From scaling invariance one can obtain Morawetz inequalities, which usually estimate quantities of the form
| |
| | |
| <center><font face="Symbol">ò</font> <font face="Symbol">ò</font> |u|^{p+1}/|x| dx dt</center>
| |
| | |
| in the defocussing case in terms of the H^{1/2} norm. These are useful for limiting the number of times the solution can concentrate at the origin; this is especially handy in the radially symmetric case.
| |
| | |
| In the other direction, one has LWP for s <font face="Symbol">³</font> 0, s<sub>c</sub> [[Bibliography#CaWe1990|CaWe1990]]; see also [[Bibliography#Ts1987|Ts1987]]; for the case s=1, see [[Bibliography#GiVl1979|GiVl1979]]. In the L<sup>2</sup>-subcritical cases one has GWP for all s<font face="Symbol">³</font>0 by L<sup>2</sup> conservation; in all other cases one has GWP and scattering for small data in H<sup>s</sup>, s <font face="Symbol">³</font> s<sub>c</sub>. These results apply in both the focussing and defocussing cases. At the critical exponent one can prove Besov space refinements [[Bibliography#Pl2000|Pl2000]], [Pl-p4]. This can then be used to obtain self-similar solutions, see [[Bibliography#CaWe1998|CaWe1998]], [[Bibliography#CaWe1998b|CaWe1998b]], [[Bibliography#RiYou1998|RiYou1998]], [MiaZg-p1], [MiaZgZgx-p], [MiaZgZgx-p2], [[Bibliography#Fur2001|Fur2001]].
| |
| | |
| Now suppose we remove the regularity assumption that p is either an odd integer or larger than [s]+1. Then some of the above results are still known to hold:
| |
| | |
| * ? In the H^1 subcritical case one has GWP in H^1, assuming the nonlinearity is smooth near the origin [[Bibliography#Ka1986|Ka1986]]
| |
| ** In R^6 one also has Lipschitz well-posedness [BuGdTz-p5]
| |
| | |
| <br /> In the periodic setting these results are much more difficult to obtain. On the one-dimensional torus T one has LWP for s > 0, s<sub>c</sub> if p > 1, with the endpoint s=0 being attained when 1 <= p <= 4 [[Bibliography#Bo1993|Bo1993]]. In particular one has GWP in L^2 when p < 4, or when p=4 and the data is small norm.For 6 > p <font face="Symbol">³</font> 4 one also has GWP for random data whose Fourier coefficients decay like 1/|k| (times a Gaussian random variable) [[Bibliography#Bo1995c|Bo1995c]]. (For p=6 one needs to impose a smallness condition on the L<sup>2</sup> norm or assume defocusing; for p>6 one needs to assume defocusing). <br />
| |
| | |
| * For the defocussing case, one has GWP in the H<sup>1</sup>-subcritical case if the data is in H<sup>1</sup>. To improve GWP to scattering, it seems that needs p to be L<sup>2</sup> super-critical (i.e. p > 1 + 4/d). In this case one can obtain scattering if the data is in L<sup>2</sup>(|x|<sup>2</sup> dx) (since one can then use the pseudo-conformal conservation law).
| |
| ** In the d <font face="Symbol">³</font> 3 cases one can remove the L<sup>2</sup>(|x|<sup>2</sup> dx) assumption [[Bibliography#GiVl1985|GiVl1985]] (see also [[Bibliography#Bo1998b|Bo1998b]]) by exploiting Morawetz identities, approximate finite speed of propagation, and strong decay estimates (the decay of t^{-d/2} is integrable). In this case one can even relax the H<sup>1</sup> norm to H<sup>s</sup> for some s<1 [[references:CoKeStTkTa-p7 CoKeStTkTa-p7]].
| |
| ** For d=1,2 one can also remove the L<sup>2</sup>(|x|<sup>2</sup> dx) assumption [[Bibliography#Na1999c|Na1999c]] by finding a variant of the Morawetz identity for low dimensions, together with Bourgain's induction on energy argument.
| |
| | |
| <br /> In the L^2-supercritical focussing case one has blowup whenever the Hamiltonian is negative, thanks to Glassey's virial inequality
| |
| | |
| <center>d<sup>2</sup><sub>t</sub> <font face="Symbol">ò</font> x<sup>2</sup> |u|<sup>2</sup> dx ~ H(u);</center>
| |
| | |
| see e.g. [[Bibliography#OgTs1991|OgTs1991]]. By scaling this implies that we have instantaneous blowup in H^s for s < s_c in the focusing case. In the defocusing case blowup <br /> is not known, but the H^s norm can still get arbitrarily large arbitrarily quickly for s < s_c [CtCoTa-p2]
| |
| | |
| Suppose we are in the L^2 subcritical case p < 1 + 2/d, with focusing non-linearity. Then there is a unique positive radial ground state (or soliton) for each energy E. By translation and phase shift one thus obtains a four-dimensional manifold of ground states for each energy. This manifold is H<sup>1</sup>-stable [[Bibliography#Ws1985|Ws1985]], [[Bibliography#Ws1986|Ws1986]]. Below the H^1 norm, this is not known, but polynomial upper bounds on the instability are in [[Bibliography#CoKeStTkTa2003b|CoKeStTkTa2003b]].Multisolitons are also asymptotically stable under smooth decaying perturbations [[Bibliography#Ya1980|Ya1980]], [[Bibliography#Grf1990|Grf1990]], [[Bibliography#Zi1997|Zi1997]], [RoScgSf-p], [RoScgSf-p2], provided that p is betweeen 1+2/d and 1+4/d.
| |
| | |
| One can go beyond scattering and ask for asymptotic completeness and existence of the wave operators. When p <font face="Symbol">£</font> 1 + 2/d this is not possible due to the poor decay in time in the non-linear term [[Bibliography#Bb1984|Bb1984]], [[Bibliography#Gs1977b|Gs1977b]], [[Bibliography#Sr1989|Sr1989]], however at p = 1+2/d one can obtain modified wave operators for data with suitable regularity, decay, and moment conditions [[Bibliography#Oz1991|Oz1991]], [[Bibliography#GiOz1993|GiOz1993]], [[Bibliography#HaNm1998|HaNm1998]], [[Bibliography#ShiTon2004|ShiTon2004]], [[Bibliography#HaNmShiTon2004|HaNmShiTon2004]]. In the regime between the L<sup>2</sup> and H<sup>1</sup> critical powers the wave operators are well-defined in the energy space [[Bibliography#LnSr1978|LnSr1978]], [[Bibliography#GiVl1985|GiVl1985]], [[Bibliography#Na1999c|Na1999c]]. At the L<sup>2</sup> critical exponent 1 + 4/d one can define wave operators assuming that we impose an L<sup>p</sup><sub>x,t</sub> integrability condition on the solution or some smallness or localization condition on the data [[Bibliography#GiVl1979|GiVl1979]], [[Bibliography#GiVl1985|GiVl1985]], [[Bibliography#Bo1998|Bo1998]] (see also [[Bibliography#Ts1985|Ts1985]] for the case of finite pseudoconformal charge). Below the L<sup>2</sup> critical power one can construct wave operators on certain spaces related to the pseudo-conformal charge [[Bibliography#CaWe1992|CaWe1992]], [[Bibliography#GiOz1993|GiOz1993]], [[Bibliography#GiOzVl1994|GiOzVl1994]], [[Bibliography#Oz1991|Oz1991]]; see also [[Bibliography#GiVl1979|GiVl1979]], [[Bibliography#Ts1985|Ts1985]]. For H<sup>s</sup> wave operators were also constructed in [[Bibliography#Na2001|Na2001]]. However in order to construct wave operators in spaces such as L<sup>2</sup>(|x|<sup>2</sup> dx) (the space of functions with finite pseudoconformal charge) it is necessary that p is larger than or equal to the rather unusual power
| |
| | |
| <center>1 + 8 / (sqrt(d<sup>2</sup> + 12d + 4) + d - 2);</center>
| |
| | |
| see [[Bibliography#NaOz2002|NaOz2002]] for further discussion.
| |
| | |
| Many of the global results for H<sup>s</sup> also hold true for L<sup>2</sup>(|x|^{2s} dx). Heuristically this follows from the pseudo-conformal transformation, although making this rigorous is sometimes difficult. Sample results are in [[Bibliography#CaWe1992|CaWe1992]], [[Bibliography#GiOzVl1994|GiOzVl1994]], [[Bibliography#Ka1995|Ka1995]], [[Bibliography#NkrOz1997|NkrOz1997]], [NkrOz-p]. See [[Bibliography#NaOz2002|NaOz2002]] for further discussion.
| |
| | |
| ==Unique continuation==
| |
| | |
| A question arising by analogy from the theory of unique continuation in elliptic equations, and also in control theory, is the following: if u is a solution to a nonlinear Schrodinger equation, and u(t_0) and u(t_1) is specified on a domain D at two different times t_0, t_1, does this uniquely specify the solution everywhere at all other intermediate times?
| |
| | |
| * For the 1D cubic NLS, with D equal to a half-line, and u assumed to vanish on D, this is in [[Bibliography#Zg1997|Zg1997]].
| |
| * For general NLS with analytic non-linearity, and with u assumed compactly supported, this is in [[Bibliography#Bo1997b|Bo1997b]].
| |
| * For D the complement of a convex cone, and arbitrary NLS of polynomial growth with a bounded potential term, this is in [[Bibliography#KnPoVe2003|KnPoVe2003]]
| |
| * For D in a half-plane, and allowing potentials in various Lebesgue spaces, this is in [IonKn-p]
| |
| * A local unique continuation theorem (asserting that a non-zero solution cannot vanish on an open set) is in [[reference:Isk1993 Isk1993]]
| |
|
| |
|
| | * [[Quadratic NLS]] |
| | * [[Cubic NLS]] ([[cubic NLS on R|on R]], [[cubic NLS on R2|on R^2]], [[cubic NLS on R3|on R^3]], etc.) |
| | * [[Quartic NLS]] |
| | * [[Quintic NLS]] ([[Quintic NLS on R|on R]], [[Quintic NLS on T|on T]], [[Quintic NLS on R2|on R^2]], and [[Quintic NLS on R3|on R^3]]) |
| | * [[Septic NLS]] |
| | * [[Mass critical NLS]] |
| | * [[Energy critical NLS]] |
|
| |
|
| [[Category:Equations]] | | [[Category:Equations]] |
| | [[Category:Schrodinger]] |