Cubic DNLS on R: Difference between revisions
No edit summary |
|||
(8 intermediate revisions by 4 users not shown) | |||
Line 3: | Line 3: | ||
Suppose the non-linearity has the form f = i (u <u>u</u> u)<sub>x</sub>. Then: | Suppose the non-linearity has the form f = i (u <u>u</u> u)<sub>x</sub>. Then: | ||
* Scaling is | * Scaling is <math>s_c = 0</math>. | ||
* LWP for s | * LWP for <math>s = 1/2</math> [[Tk2001]]. | ||
** This is sharp in the | ** This is sharp in the uniform sense [[BiLi2001]] (see also [[Tk2001]] for failure of analytic well-posedness below 1/2). | ||
** For s | ** For <math>s > 1</math> this was proven in [[HaOz1994]]. | ||
* GWP for s>1/2 and small | * GWP for <math>s>1/2</math> and small <math>L^2</math> norm [[CoKeStTkTa2002b]]. The <math>s=1/2</math> case remains open. The existence of finite time blowup solutions emerging from smooth data with large <math>L^2</math> size is also unknown. | ||
** for <math> s>2/3</math> and small <math>L^2</math> norm this was proven in [[ | ** for <math> s>2/3</math> and small <math>L^2</math> norm this was proven in [[CoKeStTkTa2001b]]. | ||
** For <math>s > 32/33</math> with small <math>L^2</math> norm this was proven in [[ | ** For <math>s > 32/33</math> with small <math>L^2</math> norm this was proven in [[Tk-p]]. | ||
** For <math>s >1</math> and small norm this was proven in [[ | ** For <math>s >1</math> and small norm this was proven in [[HaOz1994]]. One can also handle certain pure power additional terms [[Oz1996]]. | ||
** The small <math>L^2</math> norm condition is | ** The small <math>L^2</math> norm condition is used to obtain a priori <math>H^1</math> control on the gauge transformed solution; see [[HaOz1992]], [[Oz1996]]. | ||
* Solutions do not scatter to free Schrodinger solutions. In the | * Solutions do not scatter to free Schrodinger solutions. In the focusing 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 (constructed in [[HaOz1994]] for small data). | ||
This equation has the same scaling as the [ | This equation has the same scaling as the [[Quintic NLS on R|quintic NLS]], and there is a certain gauge invariance which unifies the two (together with an additional nonlinear term u <u>u</u><sub>x</sub> u). | ||
For non-linearities of the form <math>f = a (u {\overline{u}})_x u + b (u \overline{u})_x u_x</math> one can obtain GWP for small data [[ | For non-linearities of the form <math>f = a (u {\overline{u}})_x u + b (u \overline{u})_x u_x</math> one can obtain GWP for small data [[KyTs1994]] for arbitrary complex constants <math>a, b</math>. See also [[Ts1994]]. | ||
==Problem: Maximal-in-time behavior for large <math>L^2</math> data?== | |||
For smooth (say <math>H^1</math>) initial data with large <math>L^2</math>, what happens? Do there exist finite time blowup solutions? This problem is gauge transforms into quintic focusing NLS on <math>\mathbb{R}</math> which is known to have blowup solutions. However, the extra term in the equation <math>u {u} {\overline{u}}_x </math> scales the same way so could conceivably counteract the focusing quintic nonlinearity. Also, the equation is completely integrable so blowup may possibly be ruled out by looking at other conservation properties. | |||
</ | |||
==Problem: Global well-posedness in <math>H^{1/2}</math> under the mass constraint?== | |||
For <math>s=1/2</math>, we have LWP [[Tk2001]]. For <math>s>1/2</math> and under a mass upper bound, we have GWP [[CoKeStTkTa2002b]]. Does GWP hold also for the endpoint <math>s = 1/2</math>? | |||
==Problem: LWP for <math>s<1/2 </math>?== | |||
The fixed-point approach to proving LWP [[Tk2001]], [[BiLi2001]] fails for <math>s<1/2</math>. Does LWP with merely continuous dependence upon the initial data hold for <math>0 \leq s < 1/2</math>? | |||
[[Category:Open problems]] | |||
[[Category:Schrodinger]] | |||
[[Category:Equations]] | [[Category:Equations]] |
Latest revision as of 12:30, 18 May 2007
Cubic DNLS on
Suppose the non-linearity has the form f = i (u u u)x. Then:
- Scaling is .
- LWP for Tk2001.
- GWP for and small norm CoKeStTkTa2002b. The case remains open. The existence of finite time blowup solutions emerging from smooth data with large size is also unknown.
- for and small norm this was proven in CoKeStTkTa2001b.
- For with small norm this was proven in Tk-p.
- For and small norm this was proven in HaOz1994. One can also handle certain pure power additional terms Oz1996.
- The small norm condition is used to obtain a priori control on the gauge transformed solution; see HaOz1992, Oz1996.
- Solutions do not scatter to free Schrodinger solutions. In the focusing 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 (constructed in HaOz1994 for small data).
This equation has the same scaling as the quintic NLS, and there is a certain gauge invariance which unifies the two (together with an additional nonlinear term u ux u).
For non-linearities of the form one can obtain GWP for small data KyTs1994 for arbitrary complex constants . See also Ts1994.
Problem: Maximal-in-time behavior for large data?
For smooth (say ) initial data with large , what happens? Do there exist finite time blowup solutions? This problem is gauge transforms into quintic focusing NLS on which is known to have blowup solutions. However, the extra term in the equation scales the same way so could conceivably counteract the focusing quintic nonlinearity. Also, the equation is completely integrable so blowup may possibly be ruled out by looking at other conservation properties.
Problem: Global well-posedness in under the mass constraint?
For , we have LWP Tk2001. For and under a mass upper bound, we have GWP CoKeStTkTa2002b. Does GWP hold also for the endpoint ?
Problem: LWP for ?
The fixed-point approach to proving LWP Tk2001, BiLi2001 fails for . Does LWP with merely continuous dependence upon the initial data hold for ?