View source for Derivative non-linear Schrodinger equation

By '''derivative non-linear Schrodinger''' (D-NLS) equations, we refer to equations of the form

<center><math>i \partial_t u - i\Delta u = f (u, \underline{u}, Du, \underline{Du})</math></center>

where <math>f\,</math> is an analytic function of <math>u\,</math>, its spatial derivatives <math>Du\,</math>, and their complex conjugates which vanishes to at least second order at the origin. One particularly important class of such equations is the [[Schrodinger maps]] equation.

We often assume the natural gauge invariance condition

<center><math>f(e^{i q}\underline{u}, e^{-i q} \underline{u}, e^{i q} Du, e^{-i q} \underline{Du}) = e^{iq} f(u, \underline{u}, Du, \underline{Du})</math>.</center>

The main new difficulty here is the loss of regularity of one derivative in the non-linearity, which causes standard techniques such as the energy method to fail (since the energy estimate does not recover any regularity in the case of the Schrodinger equation). However, there are other estimates which can recover a full derivative for the inhomogeneous Schrodinger equation providing there is sufficient decay in space, and so one can still obtain well-posedness results for sufficiently smooth and regular data. In the analytic category some existence results can be found in [[SnTl1985]], [[Ha1990]].

An alternative strategy is to apply a suitable transformation in order to place the non-linearity in a good form. For instance, a term such as <math>\underline{uDu}\,</math> is preferable to <math>u Du\,</math> (the Fourier transform is less likely to stay near the upper paraboloid, and these terms are more likely to disappear in energy estimates). One can often "gauge transform" the equation (in a manner dependent on the solution <math>u\,</math>) so that all bad terms are eliminated. In one dimension this can be done by fairly elementary methods (e.g. the method of integrating factors), but in higher dimensions one must use some pseudo-differential calculus.

In order to quantify the decay properties needed, we define <math>H^{s,m}\,</math> denote the space of all functions <math>u\,</math> for which <math><x>^m D^{s} u\,</math> is in <math>L^2\,</math>; thus <math>s\,</math> measures regularity and <math>m\,</math> measures decay. It is a well-known fact that the Schrodinger equation trades decay for regularity; for instance, data in <math>H^{m,m'}\,</math> instantly evolves to a solution locally in <math>H^{m+m'}\,</math> for the free Schrodinger equation and <math>m, m'\ge 0.\,</math>

* If <math>m \ge [d/2] + 4\,</math> is an integer then one has LWP in <math>H^m \cap H^{m-2,2}\,</math> [[Ci1999]]; see also [[Ci1996]], [[Ci1995]], [[Ci1994]].
** If <math>f\,</math> is cubic or better then one can improve this to LWP in <math>H^m\,</math> [[Ci1999]]. Furthermore, if one also has gauge invariance then data in <math>H^{m,m'}\,</math> evolves to a solution in <math>H^{m+m'}\,</math> for all non-zero times and all positive integers <math>m'\,</math> [[Ci1999]].
** If <math>d=1\,</math> and <math>f\,</math> is cubic or better then one has LWP in <math>H^3\,</math> [[HaOz1994b]].
*** For special types of cubic non-linearity one can in fact get GWP for small data in <math>H^{0,4} \cap H^{4,0}\,</math> [[Oz1996]].
** LWP in <math>H^s \cap H^{0,m}\,</math> for small data for sufficiently large <math>s\,</math>, <math>m\,</math> was shown in [[KnPoVe1993c]]. The solution was also shown to have <math>s+1/2\,</math> derivatives in <math>L^2_{t,x,loc}</math>.
*** If <math>f\,</math> is cubic or better one can take <math>m=0\,</math>[[KnPoVe1993c]].
*** If <math>f\,</math> is quartic or better then one has GWP for small data in <math>H^s.\,</math> [[KnPoVe1995]]
*** For large data one still has LWP for sufficiently large <math>s, m\,</math> [[Ci1995]], [[Ci1994]].

<br /> If the non-linearity consists mostly of the conjugate wave <math>\underline{u}\,,</math> then one can do much better. For instance [Gr-p], when <math>f = (D\underline{u})^k\,</math> one can obtain LWP when <math>s > s_c = d/2 + 1 - 1/(k-1), s \ge 1\,</math>, and <math>k \ge 2\,</math> is an integer; similarly when <math>f = D(\underline{u}^k)\,</math> one has LWP when <math>s > s_c = d/2 - 1/(k-1), s \ge 0,\,</math> and <math>k \ge 2\,</math>  is an integer. In particular one has GWP in <math>L^2\,</math> when <math>d=1\,</math> and <math>f = i(\underline{u}^2)_x\,</math> and GWP in <math>H^1\,</math> when <math>d=1\,</math> and <math>f = i(\underline{u}_{x^2})\,</math>. These results apply in both the periodic and non-periodic setting.

Non-linearities such as <math>t^{-\alpha}\,</math> <math>|u_x|^2\,</math> in one dimension have been studied in [[HaNm2001b]], with some asymptotic behaviour obtained.

In <math>d=2\,</math> one has GWP for small data when the nonlinearities are of the form <math>\underline{uDu} + u Du\,</math> [[De2002]].

Furthermore, for the work about sharp condition of global existence for derivative non-linear Schrodinger, see [[ShjZhj]].

[[Category:Equations]]