Cubic DNLS on R: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
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 s<sub>c</sub> = 0.
* Scaling is <math>s_c  = 0</math>.
* LWP for s <font face="Symbol">³</font> 1/2 [[Bibliography#Tk-p |Tk-p]].
* LWP for <math>s = 1/2</math> [[Tk2001]].
** This is sharp in the C uniform sense [BiLi-p] (see also [[Bibliography#Tk-p |Tk-p]] for failure of analytic well-posedness below 1/2).
** This is sharp in the uniform sense [[BiLi2001]] (see also [[Tk2001]] for failure of analytic well-posedness below 1/2).
** For s <font face="Symbol">³</font> 1 this was proven in [[Bibliography#HaOz1994|HaOz1994]].
** For <math>s > 1</math> this was proven in [[HaOz1994]].
* GWP for s>1/2 and small L<sup>2</sup> norm [[Bibliography#CoKeStTkTa2002b|CoKeStTkTa2002b]]. The s=1/2 case remains open.
* 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 [[Bibliography#CoKeStTkTa2001b|CoKeStTkTa2001b]].
** 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 [[Bibliography#Tk-p |Tk-p]].
** 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 [[Bibliography#HaOz1994|HaOz1994]]. One can also handle certain pure power additional terms [[Bibliography#Oz1996|Oz1996]].
** 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 required in order to gauge transform the problem; see [[Bibliography#HaOz1993|HaOz1993]], [[Bibliography#Oz1996|Oz1996]].
** 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 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 (constructed in [[Bibliography#HaOz1994|HaOz1994]] for small data).
* 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_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).
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 [[Bibliography#KyTs1995|KyTs1995]] for arbitrary complex constants <math>a, b</math>. See also [[Bibliography#Ts1994|Ts1994]].
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]].


<div class="MsoNormal" style="text-align: center"><center>
==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.
</center></div>


==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.
    • This is sharp in the uniform sense BiLi2001 (see also Tk2001 for failure of analytic well-posedness below 1/2).
    • For this was proven in HaOz1994.
  • 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 ?