Derivative non-linear Schrodinger equation: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
No edit summary
mNo edit summary
Line 9: Line 9:
<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>
<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 [[Bibliography#SnTl1985|SnTl1985]], [[Bibliography#Ha1990|Ha1990]].
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.
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.
Line 15: Line 15:
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>
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> [[Bibliography#Ci1999|Ci1999]]; see also [[Bibliography#Ci1996|Ci1996]], [[Bibliography#Ci1995|Ci1995]], [[Bibliography#Ci1994|Ci1994]].
* 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> [[Bibliography#Ci1999|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> [[Bibliography#Ci1999|Ci1999]].
** 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> [[Bibliography#HaOz1994b|HaOz1994b]].
** 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> [[Bibliography#Oz1996|Oz1996]].
*** 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 [[Bibliography#KnPoVe1993c|KnPoVe1993c]]. The solution was also shown to have <math>s+1/2\,</math> derivatives in <math>L^2_{t,x,loc}</math>.
** 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>[[Bibliography#KnPoVe1993c|KnPoVe1993c]].
*** 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> [[Bibliography#KnPoVe1995|KnPoVe1995]]
*** 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> [[Bibliography#Ci1995|Ci1995]], [[Bibliography#Ci1994|Ci1994]].
*** 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.
<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 [[Bibliography#HaNm2001b|HaNm2001b]], with some asymptotic behaviour obtained.
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> [[Bibliography#De2002|De2002]].
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]].


[[Category:Equations]]
[[Category:Equations]]

Revision as of 14:34, 10 August 2006

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

where is an analytic function of , its spatial derivatives , 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

.

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 is preferable to (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 ) 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 denote the space of all functions for which is in ; thus measures regularity and measures decay. It is a well-known fact that the Schrodinger equation trades decay for regularity; for instance, data in instantly evolves to a solution locally in for the free Schrodinger equation and

  • If is an integer then one has LWP in Ci1999; see also Ci1996, Ci1995, Ci1994.
    • If is cubic or better then one can improve this to LWP in Ci1999. Furthermore, if one also has gauge invariance then data in evolves to a solution in for all non-zero times and all positive integers Ci1999.
    • If and is cubic or better then one has LWP in HaOz1994b.
      • For special types of cubic non-linearity one can in fact get GWP for small data in Oz1996.
    • LWP in for small data for sufficiently large , was shown in KnPoVe1993c. The solution was also shown to have derivatives in .
      • If is cubic or better one can take KnPoVe1993c.
      • If is quartic or better then one has GWP for small data in KnPoVe1995
      • For large data one still has LWP for sufficiently large Ci1995, Ci1994.


If the non-linearity consists mostly of the conjugate wave then one can do much better. For instance [Gr-p], when one can obtain LWP when , and is an integer; similarly when one has LWP when and is an integer. In particular one has GWP in when and and GWP in when and . These results apply in both the periodic and non-periodic setting.

Non-linearities such as in one dimension have been studied in HaNm2001b, with some asymptotic behaviour obtained.

In one has GWP for small data when the nonlinearities are of the form De2002.