Cubic NLS on R2: Difference between revisions
From DispersiveWiki
Jump to navigationJump to search
No edit summary |
m (fix redirect) |
||
(5 intermediate revisions by 2 users not shown) | |||
Line 9: | Line 9: | ||
| critical = <math>L^2(\R^2)</math> | | critical = <math>L^2(\R^2)</math> | ||
| criticality = [[mass critical NLS|mass-critical]];<br> energy-subcritical;<br> scattering-subcritical | | criticality = [[mass critical NLS|mass-critical]];<br> energy-subcritical;<br> scattering-subcritical | ||
| covariance = Galilean [[pseudoconformal]] | | covariance = [[Galilean]] [[pseudoconformal]] | ||
| lwp = <math>H^s(\R^2)</math> for <math>s \geq 0</math> | | lwp = <math>H^s(\R^2)</math> for <math>s \geq 0</math> | ||
| gwp = <math>H^s(\R^2)</math> for <math>s | | gwp = <math>H^s(\R^2)</math> for <math>s \geq 1/2</math> | ||
| parent = [[cubic NLS]] | | parent = [[cubic NLS]] | ||
| special = - | | special = - | ||
Line 22: | Line 22: | ||
** For <math>s=0\,</math> the time of existence depends on the profile of the data as well as the norm. | ** For <math>s=0\,</math> the time of existence depends on the profile of the data as well as the norm. | ||
** LWP has also been obtained in Besov spaces [[Pl2000]], [[Pl-p]] and Fourier-Lorentz spaces [[CaVeVi-p]] at the scaling of <math>L^2\,</math>. This is also connected with the construction of self-similar solutions to NLS (which are generally not in the usual Sobolev spaces globally in space). | ** LWP has also been obtained in Besov spaces [[Pl2000]], [[Pl-p]] and Fourier-Lorentz spaces [[CaVeVi-p]] at the scaling of <math>L^2\,</math>. This is also connected with the construction of self-similar solutions to NLS (which are generally not in the usual Sobolev spaces globally in space). | ||
** Below <math>L^2\,</math> we have ill-posedness by Gallilean invariance considerations in both the focusing [[ | ** Below <math>L^2\,</math> we have ill-posedness by Gallilean invariance considerations in both the focusing [[KnPoVe2001]] and defocusing [[CtCoTa-p2]] cases. | ||
* GWP for <math>s>4/7\,</math> in the defocussing case [[CoKeStTkTa2002]] | * GWP for <math>s\geq 1/2\,</math> in the defocussing case [[FgGl2006]] | ||
** For <math>s>4/7\,</math> in the defocussing case, this was shown in [[CoKeStTkTa2002]] | |||
** For <math>s>3/5\,</math> this was shown in [[Bo1998]]. | ** For <math>s>3/5\,</math> this was shown in [[Bo1998]]. | ||
** For <math>s>2/3\,</math> this was shown in [[Bo1998]], [[Bo1999]]. | ** For <math>s>2/3\,</math> this was shown in [[Bo1998]], [[Bo1999]]. | ||
Line 34: | Line 35: | ||
** If the data has sufficient decay then one has scattering. For instance if <math>xu(0)\,</math> is in <math>L^2\,</math> [[Ts1985]]. This was improved to <math>x^{2/3+} u(0) \in L^2\,</math> in [[Bo1998]], [[Bo1999]]; the above results on GWP will probably also extend to scattering. | ** If the data has sufficient decay then one has scattering. For instance if <math>xu(0)\,</math> is in <math>L^2\,</math> [[Ts1985]]. This was improved to <math>x^{2/3+} u(0) \in L^2\,</math> in [[Bo1998]], [[Bo1999]]; the above results on GWP will probably also extend to scattering. | ||
* ''Remark'': This equation is pseudo-conformally invariant. Heuristically, GWP results in <math>H^s\,</math> transfer to GWP and scattering results in <math>L^2(|x|^{2s})\,</math> thanks to the pseudo-conformal transformation. Thus for instance GWP and scattering occurs this weighted space for <math>s>2/3\,</math> (the corresponding statement for, say, <math>s > 4/7\,</math> has not yet been checked). | * ''Remark'': This equation is pseudo-conformally invariant. Heuristically, GWP results in <math>H^s\,</math> transfer to GWP and scattering results in <math>L^2(|x|^{2s})\,</math> thanks to the pseudo-conformal transformation. Thus for instance GWP and scattering occurs this weighted space for <math>s>2/3\,</math> (the corresponding statement for, say, <math>s > 4/7\,</math> has not yet been checked). | ||
* The H^k norms grow like <math>O(t^{(k-1)+})\,</math> as long as the H^1 norm stays bounded [[St1997]], [[St1997b]]; this was improved to <math>t^{2/3 (k-1)+}\,</math> in [[ | * The H^k norms grow like <math>O(t^{(k-1)+})\,</math> as long as the H^1 norm stays bounded [[St1997]], [[St1997b]]; this was improved to <math>t^{2/3 (k-1)+}\,</math> in [[CoDeKnSt2001]], and also generalized to higher order multilinearity. A preliminary analysis suggests that the I-method can push the growth bounds down to <math>t^{(k-1)+/2}.</math> | ||
Line 44: | Line 45: | ||
* Blowup examples with multiple blowup points are known, either simultaneously [[Me1992]] or non-simultaneously [[BoWg1997]]. In all known examples the mass has to be larger than that of the ground state. | * Blowup examples with multiple blowup points are known, either simultaneously [[Me1992]] or non-simultaneously [[BoWg1997]]. In all known examples the mass has to be larger than that of the ground state. | ||
** It is conjectured that the amount of energy which can go into blowup points is quantized. | ** It is conjectured that the amount of energy which can go into blowup points is quantized. | ||
** The <math>H^1\,</math> norm in these examples blows up like <math>|t|^{-1}\,.</math> It is conjectured that slower blow-up examples exist, in particular numerics suggest a blowup rate of <math>|t|^{-1/2} (log log|t|)^{1/2}\,</math> [[LanPapSucSup1988]] | ** The <math>H^1\,</math> norm in these examples blows up like <math>|t|^{-1}\,.</math> It is conjectured that slower blow-up examples exist, in particular numerics suggest a blowup rate of <math>|t|^{-1/2} (log log|t|)^{1/2}\,</math> [[LanPapSucSup1988]]. (This conjecture has been established by G. Perelman and in a remarkable series of papers by F. Merle and P. Raphael.) Interestingly, however, if we perturb NLS to the [[Zakharov system]] then one can only have blowup rates of <math>|t|^{-1}\,.</math> | ||
[[Category:Open problems]] | [[Category:Open problems]] | ||
[[Category:Schrodinger]] | [[Category:Schrodinger]] | ||
[[Category:Equations]] | [[Category:Equations]] |
Latest revision as of 18:16, 11 May 2007
Description | |
---|---|
Equation | |
Fields | |
Data class | |
Basic characteristics | |
Structure | Hamiltonian |
Nonlinearity | semilinear |
Linear component | Schrodinger |
Critical regularity | |
Criticality | mass-critical; energy-subcritical; scattering-subcritical |
Covariance | Galilean pseudoconformal |
Theoretical results | |
LWP | for |
GWP | for |
Related equations | |
Parent class | cubic NLS |
Special cases | - |
Other related | - |
The theory of the cubic NLS on R^2 is as follows.
- LWP for CaWe1990.
- For the time of existence depends on the profile of the data as well as the norm.
- LWP has also been obtained in Besov spaces Pl2000, Pl-p and Fourier-Lorentz spaces CaVeVi-p at the scaling of . This is also connected with the construction of self-similar solutions to NLS (which are generally not in the usual Sobolev spaces globally in space).
- Below we have ill-posedness by Gallilean invariance considerations in both the focusing KnPoVe2001 and defocusing CtCoTa-p2 cases.
- GWP for in the defocussing case FgGl2006
- For in the defocussing case, this was shown in CoKeStTkTa2002
- For this was shown in Bo1998.
- For this was shown in Bo1998, Bo1999.
- For this follows from Hamiltonian conservation.
- For small data one has GWP and scattering for any cubic nonlinearity (not necessarily defocussing or Hamiltonian). More precisely, one has global well-posedness whenever the data has an norm strictly smaller than the ground state Q Me1993. If the norm is exactly equal to that of Q then one has blow-up if and only if the data is a pseudo-conformal transformation of the ground state Me1993, Me1992. In particular, the ground state is unstable.
- Scattering is known whenever the solution is sufficiently small in norm, or more generally whenever the solution is in spacetime.
- The result is probably improvable by correction term methods.
- Remark: is the least regularity for which the non-linear part of the solution has finite energy (Bourgain, private communication).
- For powers slightly higher than cubic, one has scattering for large mass data Na1999c, and indeed we have bounded norms in this case [Bourgain?].
- If the data has sufficient decay then one has scattering. For instance if is in Ts1985. This was improved to in Bo1998, Bo1999; the above results on GWP will probably also extend to scattering.
- Remark: This equation is pseudo-conformally invariant. Heuristically, GWP results in transfer to GWP and scattering results in thanks to the pseudo-conformal transformation. Thus for instance GWP and scattering occurs this weighted space for (the corresponding statement for, say, has not yet been checked).
- The H^k norms grow like as long as the H^1 norm stays bounded St1997, St1997b; this was improved to in CoDeKnSt2001, and also generalized to higher order multilinearity. A preliminary analysis suggests that the I-method can push the growth bounds down to
Open question: large mass behavior
It is conjectured that global wellposedness, regularity, scattering and spacetime bounds occur for all large mass initial data in the defocusing case, and all data of mass less than that of the ground state in the focusing case.
- It is known that the only way GWP can fail at is if the norm concentrates Bo1998.
- Blowup examples with multiple blowup points are known, either simultaneously Me1992 or non-simultaneously BoWg1997. In all known examples the mass has to be larger than that of the ground state.
- It is conjectured that the amount of energy which can go into blowup points is quantized.
- The norm in these examples blows up like It is conjectured that slower blow-up examples exist, in particular numerics suggest a blowup rate of LanPapSucSup1988. (This conjecture has been established by G. Perelman and in a remarkable series of papers by F. Merle and P. Raphael.) Interestingly, however, if we perturb NLS to the Zakharov system then one can only have blowup rates of