# Difference between revisions of "Schrodinger equations"

(Cleaning bibliographic references (see NLW comment)) |
|||

Line 135: | Line 135: | ||

in the defocussing case in terms of the H^{1/2} norm. These are useful for limiting the number of times the solution can concentrate at the origin; this is especially handy in the radially symmetric case. | in the defocussing case in terms of the H^{1/2} norm. These are useful for limiting the number of times the solution can concentrate at the origin; this is especially handy in the radially symmetric case. | ||

− | In the other direction, one has LWP for s <font face="Symbol">³</font> 0, s<sub>c</sub> [[ | + | In the other direction, one has LWP for s <font face="Symbol">³</font> 0, s<sub>c</sub> [[Bibliography#CaWe1990|CaWe1990]]; see also [[Bibliography#Ts1987|Ts1987]]; for the case s=1, see [[Bibliography#GiVl1979|GiVl1979]]. In the L<sup>2</sup>-subcritical cases one has GWP for all s<font face="Symbol">³</font>0 by L<sup>2</sup> conservation; in all other cases one has GWP and scattering for small data in H<sup>s</sup>, s <font face="Symbol">³</font> s<sub>c</sub>. These results apply in both the focussing and defocussing cases. At the critical exponent one can prove Besov space refinements [[Bibliography#Pl2000|Pl2000]], [Pl-p4]. This can then be used to obtain self-similar solutions, see [[Bibliography#CaWe1998|CaWe1998]], [[Bibliography#CaWe1998b|CaWe1998b]], [[Bibliography#RiYou1998|RiYou1998]], [MiaZg-p1], [MiaZgZgx-p], [MiaZgZgx-p2], [[Bibliography#Fur2001|Fur2001]]. |

Now suppose we remove the regularity assumption that p is either an odd integer or larger than [s]+1. Then some of the above results are still known to hold: | Now suppose we remove the regularity assumption that p is either an odd integer or larger than [s]+1. Then some of the above results are still known to hold: | ||

− | * ? In the H^1 subcritical case one has GWP in H^1, assuming the nonlinearity is smooth near the origin [[ | + | * ? In the H^1 subcritical case one has GWP in H^1, assuming the nonlinearity is smooth near the origin [[Bibliography#Ka1986|Ka1986]] |

** In R^6 one also has Lipschitz well-posedness [BuGdTz-p5] | ** In R^6 one also has Lipschitz well-posedness [BuGdTz-p5] | ||

− | <br /> In the periodic setting these results are much more difficult to obtain. On the one-dimensional torus T one has LWP for s > 0, s<sub>c</sub> if p > 1, with the endpoint s=0 being attained when 1 <= p <= 4 [[ | + | <br /> In the periodic setting these results are much more difficult to obtain. On the one-dimensional torus T one has LWP for s > 0, s<sub>c</sub> if p > 1, with the endpoint s=0 being attained when 1 <= p <= 4 [[Bibliography#Bo1993|Bo1993]]. In particular one has GWP in L^2 when p < 4, or when p=4 and the data is small norm.For 6 > p <font face="Symbol">³</font> 4 one also has GWP for random data whose Fourier coefficients decay like 1/|k| (times a Gaussian random variable) [[Bibliography#Bo1995c|Bo1995c]]. (For p=6 one needs to impose a smallness condition on the L<sup>2</sup> norm or assume defocusing; for p>6 one needs to assume defocusing). <br /> |

* For the defocussing case, one has GWP in the H<sup>1</sup>-subcritical case if the data is in H<sup>1</sup>. To improve GWP to scattering, it seems that needs p to be L<sup>2</sup> super-critical (i.e. p > 1 + 4/d). In this case one can obtain scattering if the data is in L<sup>2</sup>(|x|<sup>2</sup> dx) (since one can then use the pseudo-conformal conservation law). | * For the defocussing case, one has GWP in the H<sup>1</sup>-subcritical case if the data is in H<sup>1</sup>. To improve GWP to scattering, it seems that needs p to be L<sup>2</sup> super-critical (i.e. p > 1 + 4/d). In this case one can obtain scattering if the data is in L<sup>2</sup>(|x|<sup>2</sup> dx) (since one can then use the pseudo-conformal conservation law). | ||

− | ** In the d <font face="Symbol">³</font> 3 cases one can remove the L<sup>2</sup>(|x|<sup>2</sup> dx) assumption [[ | + | ** In the d <font face="Symbol">³</font> 3 cases one can remove the L<sup>2</sup>(|x|<sup>2</sup> dx) assumption [[Bibliography#GiVl1985|GiVl1985]] (see also [[Bibliography#Bo1998b|Bo1998b]]) by exploiting Morawetz identities, approximate finite speed of propagation, and strong decay estimates (the decay of t^{-d/2} is integrable). In this case one can even relax the H<sup>1</sup> norm to H<sup>s</sup> for some s<1 [[references:CoKeStTkTa-p7 CoKeStTkTa-p7]]. |

− | ** For d=1,2 one can also remove the L<sup>2</sup>(|x|<sup>2</sup> dx) assumption [[ | + | ** For d=1,2 one can also remove the L<sup>2</sup>(|x|<sup>2</sup> dx) assumption [[Bibliography#Na1999c|Na1999c]] by finding a variant of the Morawetz identity for low dimensions, together with Bourgain's induction on energy argument. |

<br /> In the L^2-supercritical focussing case one has blowup whenever the Hamiltonian is negative, thanks to Glassey's virial inequality | <br /> In the L^2-supercritical focussing case one has blowup whenever the Hamiltonian is negative, thanks to Glassey's virial inequality | ||

Line 152: | Line 152: | ||

<center>d<sup>2</sup><sub>t</sub> <font face="Symbol">ò</font> x<sup>2</sup> |u|<sup>2</sup> dx ~ H(u);</center> | <center>d<sup>2</sup><sub>t</sub> <font face="Symbol">ò</font> x<sup>2</sup> |u|<sup>2</sup> dx ~ H(u);</center> | ||

− | see e.g. [[ | + | see e.g. [[Bibliography#OgTs1991|OgTs1991]]. By scaling this implies that we have instantaneous blowup in H^s for s < s_c in the focusing case. In the defocusing case blowup <br /> is not known, but the H^s norm can still get arbitrarily large arbitrarily quickly for s < s_c [CtCoTa-p2] |

− | Suppose we are in the L^2 subcritical case p < 1 + 2/d, with focusing non-linearity. Then there is a unique positive radial ground state (or soliton) for each energy E. By translation and phase shift one thus obtains a four-dimensional manifold of ground states for each energy. This manifold is H<sup>1</sup>-stable [[ | + | Suppose we are in the L^2 subcritical case p < 1 + 2/d, with focusing non-linearity. Then there is a unique positive radial ground state (or soliton) for each energy E. By translation and phase shift one thus obtains a four-dimensional manifold of ground states for each energy. This manifold is H<sup>1</sup>-stable [[Bibliography#Ws1985|Ws1985]], [[Bibliography#Ws1986|Ws1986]]. Below the H^1 norm, this is not known, but polynomial upper bounds on the instability are in [[Bibliography#CoKeStTkTa2003b|CoKeStTkTa2003b]].Multisolitons are also asymptotically stable under smooth decaying perturbations [[Bibliography#Ya1980|Ya1980]], [[Bibliography#Grf1990|Grf1990]], [[Bibliography#Zi1997|Zi1997]], [RoScgSf-p], [RoScgSf-p2], provided that p is betweeen 1+2/d and 1+4/d. |

− | One can go beyond scattering and ask for asymptotic completeness and existence of the wave operators. When p <font face="Symbol">£</font> 1 + 2/d this is not possible due to the poor decay in time in the non-linear term [[ | + | One can go beyond scattering and ask for asymptotic completeness and existence of the wave operators. When p <font face="Symbol">£</font> 1 + 2/d this is not possible due to the poor decay in time in the non-linear term [[Bibliography#Bb1984|Bb1984]], [[Bibliography#Gs1977b|Gs1977b]], [[Bibliography#Sr1989|Sr1989]], however at p = 1+2/d one can obtain modified wave operators for data with suitable regularity, decay, and moment conditions [[Bibliography#Oz1991|Oz1991]], [[Bibliography#GiOz1993|GiOz1993]], [[Bibliography#HaNm1998|HaNm1998]], [[Bibliography#ShiTon2004|ShiTon2004]], [[Bibliography#HaNmShiTon2004|HaNmShiTon2004]]. In the regime between the L<sup>2</sup> and H<sup>1</sup> critical powers the wave operators are well-defined in the energy space [[Bibliography#LnSr1978|LnSr1978]], [[Bibliography#GiVl1985|GiVl1985]], [[Bibliography#Na1999c|Na1999c]]. At the L<sup>2</sup> critical exponent 1 + 4/d one can define wave operators assuming that we impose an L<sup>p</sup><sub>x,t</sub> integrability condition on the solution or some smallness or localization condition on the data [[Bibliography#GiVl1979|GiVl1979]], [[Bibliography#GiVl1985|GiVl1985]], [[Bibliography#Bo1998|Bo1998]] (see also [[Bibliography#Ts1985|Ts1985]] for the case of finite pseudoconformal charge). Below the L<sup>2</sup> critical power one can construct wave operators on certain spaces related to the pseudo-conformal charge [[Bibliography#CaWe1992|CaWe1992]], [[Bibliography#GiOz1993|GiOz1993]], [[Bibliography#GiOzVl1994|GiOzVl1994]], [[Bibliography#Oz1991|Oz1991]]; see also [[Bibliography#GiVl1979|GiVl1979]], [[Bibliography#Ts1985|Ts1985]]. For H<sup>s</sup> wave operators were also constructed in [[Bibliography#Na2001|Na2001]]. However in order to construct wave operators in spaces such as L<sup>2</sup>(|x|<sup>2</sup> dx) (the space of functions with finite pseudoconformal charge) it is necessary that p is larger than or equal to the rather unusual power |

<center>1 + 8 / (sqrt(d<sup>2</sup> + 12d + 4) + d - 2);</center> | <center>1 + 8 / (sqrt(d<sup>2</sup> + 12d + 4) + d - 2);</center> | ||

− | see [[ | + | see [[Bibliography#NaOz2002|NaOz2002]] for further discussion. |

− | Many of the global results for H<sup>s</sup> also hold true for L<sup>2</sup>(|x|^{2s} dx). Heuristically this follows from the pseudo-conformal transformation, although making this rigorous is sometimes difficult. Sample results are in [[ | + | Many of the global results for H<sup>s</sup> also hold true for L<sup>2</sup>(|x|^{2s} dx). Heuristically this follows from the pseudo-conformal transformation, although making this rigorous is sometimes difficult. Sample results are in [[Bibliography#CaWe1992|CaWe1992]], [[Bibliography#GiOzVl1994|GiOzVl1994]], [[Bibliography#Ka1995|Ka1995]], [[Bibliography#NkrOz1997|NkrOz1997]], [NkrOz-p]. See [[Bibliography#NaOz2002|NaOz2002]] for further discussion. |

<div class="MsoNormal" style="text-align: center"><center> | <div class="MsoNormal" style="text-align: center"><center> | ||

Line 176: | Line 176: | ||

<span style="mso-fareast-font-family: Symbol; mso-bidi-font-family: Symbol"><font face="Symbol"><span style="mso-list: Ignore">·</span></font></span>For the cubic equation on two-dimensional surfaces one has LWP in H^s for s > ½ [BuGdTz-p3] | <span style="mso-fareast-font-family: Symbol; mso-bidi-font-family: Symbol"><font face="Symbol"><span style="mso-list: Ignore">·</span></font></span>For the cubic equation on two-dimensional surfaces one has LWP in H^s for s > ½ [BuGdTz-p3] | ||

− | <span style="mso-fareast-font-family: "Courier New""><font face=""Courier New""><span style="mso-list: Ignore">o</span></font></span>For s >= 1 one has GWP [[ | + | <span style="mso-fareast-font-family: "Courier New""><font face=""Courier New""><span style="mso-list: Ignore">o</span></font></span>For s >= 1 one has GWP [[Bibliography#Vd1984|Vd1984]], [[Bibliography#OgOz1991|OgOz1991]] and regularity [[Bibliography#BrzGa1980|BrzGa1980]] |

− | <span style="mso-fareast-font-family: "Courier New""><font face=""Courier New""><span style="mso-list: Ignore">o</span></font></span>For s < 0 uniform ill-posedness can be obtained by adapting the argument in [[ | + | <span style="mso-fareast-font-family: "Courier New""><font face=""Courier New""><span style="mso-list: Ignore">o</span></font></span>For s < 0 uniform ill-posedness can be obtained by adapting the argument in [[Bibliography#BuGdTz2002|BuGdTz2002]] or [CtCoTa-p] |

<span style="mso-fareast-font-family: "Courier New""><font face=""Courier New""><span style="mso-list: Ignore">o</span></font></span>For the [#Cubic_NLS_on_RxT sphere], [#Cubic_NLS_on_RxT cylinder], or [#Cubic_NLS_on_T^2 torus] more precise results are known | <span style="mso-fareast-font-family: "Courier New""><font face=""Courier New""><span style="mso-list: Ignore">o</span></font></span>For the [#Cubic_NLS_on_RxT sphere], [#Cubic_NLS_on_RxT cylinder], or [#Cubic_NLS_on_T^2 torus] more precise results are known | ||

Line 190: | Line 190: | ||

** The same is true for the endpoint d=3, p=3 if the energy is sufficiently small [BuGdTz-p4]. | ** The same is true for the endpoint d=3, p=3 if the energy is sufficiently small [BuGdTz-p4]. | ||

** If d <= 4 then the flow map is Lipschitz [BuGdTz-p4] | ** If d <= 4 then the flow map is Lipschitz [BuGdTz-p4] | ||

− | ** For d=2, p <= 3 this is in [[ | + | ** For d=2, p <= 3 this is in [[Bibliography#BrzGa1980|BrzGa1980]], [[Bibliography#Vd1984|Vd1984]], [[Bibliography#OgOz1991|OgOz1991]] |

* If p < 1 + 2/d then one has GWP in L^2 [BuGdTz-p4] | * If p < 1 + 2/d then one has GWP in L^2 [BuGdTz-p4] | ||

− | ** For d=3 GWP for smooth data is in [[ | + | ** For d=3 GWP for smooth data is in [[Bibliography#Jor1961|Jor1961]] |

** Again, in the non-obstacle theory one would expect p < 1 + 4/d | ** Again, in the non-obstacle theory one would expect p < 1 + 4/d | ||

** if p < 1 + 1/d then one also has strong uniqueness in the class L^2 [BuGdTz-p4] | ** if p < 1 + 1/d then one also has strong uniqueness in the class L^2 [BuGdTz-p4] | ||

Line 199: | Line 199: | ||

* Local well-posedness in H^s for s > d/2 can be obtained by energy methods. | * Local well-posedness in H^s for s > d/2 can be obtained by energy methods. | ||

− | * In two dimensions when p <=3, global well-posedness in the energy class (assuming energy less than the ground state, in the p=3 focusing case) is in [[ | + | * In two dimensions when p <=3, global well-posedness in the energy class (assuming energy less than the ground state, in the p=3 focusing case) is in [[Bibliography#BrzGa1980|BrzGa1980]], [[Bibliography#Vd1984|Vd1984]], [[Bibliography#OgOz1991|OgOz1991]], [[references.html Ca1989]].More precise asymptotics of a minimal energy blowup solution in the focusing p=3 case are in [BuGdTz-p], [Ban-p3] |

− | * When p > 1 + 4/d blowup can occur in the focusing case [[ | + | * When p > 1 + 4/d blowup can occur in the focusing case [[Bibliography#Kav1987|Kav1987]] |

− | GWP and scattering for defocusing NLS on Schwarzchild manifolds for radial data is in [[ | + | GWP and scattering for defocusing NLS on Schwarzchild manifolds for radial data is in [[Bibliography#LabSf1999|LabSf1999]] |

<div class="MsoNormal" style="text-align: center"><center> | <div class="MsoNormal" style="text-align: center"><center> | ||

Line 219: | Line 219: | ||

* If V is linear, i.e. V(x) = E.x, then the potential can in fact be eliminated by a change of variables [CarNky-p] | * If V is linear, i.e. V(x) = E.x, then the potential can in fact be eliminated by a change of variables [CarNky-p] | ||

− | * If V is smooth, positive, and has bounded derivatives up to order 2 (i.e. is quadratic or subquadratic), then the theory is much the same as when there is no potential - one has decay estimates, Strichartz estimates, and the usual local and global well posedness theory (see [[ | + | * If V is smooth, positive, and has bounded derivatives up to order 2 (i.e. is quadratic or subquadratic), then the theory is much the same as when there is no potential - one has decay estimates, Strichartz estimates, and the usual local and global well posedness theory (see [[Bibliography#Fuj1979|Fuj1979]], [[Bibliography#Fuj1980|Fuj1980]], [[Bibliography#Oh1989|Oh1989]]) |

− | * When V is exactly a positive quadratic potential V = w^2 |x|^2, then one has blowup for the focusing nonlinearity for negative energy in the L^2 supercritical or critical, H^1 subcritical case [[ | + | * When V is exactly a positive quadratic potential V = w^2 |x|^2, then one has blowup for the focusing nonlinearity for negative energy in the L^2 supercritical or critical, H^1 subcritical case [[Bibliography#Car2002b|Car2002b]]. |

− | ** In the L^2 critical case one can in fact eliminate this potential by a change of variables [[ | + | ** In the L^2 critical case one can in fact eliminate this potential by a change of variables [[Bibliography#Car2002c|Car2002c]]. One consequence of this change of variables is that one can convert the usual solitary wave solution for NLS into a solution that blows up in finite time (cf. how the pseudoconformal transform is used to achieve a similar effect without the potential). |

* When V is exactly a negative quadratic potential, one can prevent blowup even in the focusing case if the potential is sufficiently strong [Car-p]. Indeed, one has a scattering theory in this case [Car-p] | * When V is exactly a negative quadratic potential, one can prevent blowup even in the focusing case if the potential is sufficiently strong [Car-p]. Indeed, one has a scattering theory in this case [Car-p] | ||

− | * If V grows faster than quadratic, then there are significant problems due to the failure of smoothness of the fundamental solution; if V is also negative, then even the linear theory fails (for instance, the Hamiltonian need not be essentially self-adjoint on test functions). However for positive superquadratic potentials partial results are still possible [[ | + | * If V grows faster than quadratic, then there are significant problems due to the failure of smoothness of the fundamental solution; if V is also negative, then even the linear theory fails (for instance, the Hamiltonian need not be essentially self-adjoint on test functions). However for positive superquadratic potentials partial results are still possible [[Bibliography#YaZgg2001|YaZgg2001]]. |

− | Much work has also been done on the semiclassical limit of these equations; see for instance [[ | + | Much work has also been done on the semiclassical limit of these equations; see for instance [[Bibliography#BroJer2000|BroJer2000]], [[Bibliography#Ker2002|Ker2002]], [CarMil-p], [[Bibliography#Car2003|Car2003]]. For work on standing waves for NLS with quadratic potential, see [[Bibliography#Fuk2001|Fuk2001]], [[Bibliography#Fuk2003|Fuk2003]], [[Bibliography#FukOt2003|FukOt2003]], [[Bibliography#FukOt2003b|FukOt2003b]]. |

One component of the theory of NLS with potential is that of Strichartz estimates with potential, which in turn may be derived from dispersive estimates with potential, although it is possible to obtain Strichartz estimates without a dispersive inequality. Both types of estimates can only be expected to hold after first projecting to the absolutely continuous part of the spectrum (although this is not necessary if the potential is positive). | One component of the theory of NLS with potential is that of Strichartz estimates with potential, which in turn may be derived from dispersive estimates with potential, although it is possible to obtain Strichartz estimates without a dispersive inequality. Both types of estimates can only be expected to hold after first projecting to the absolutely continuous part of the spectrum (although this is not necessary if the potential is positive). | ||

Line 232: | Line 232: | ||

* When d=1 one has dispersive estimates whenever <x> V is L^1 [GbScg-p]. | * When d=1 one has dispersive estimates whenever <x> V is L^1 [GbScg-p]. | ||

− | ** For potentials such that <x>^{3/2+} V is in L^1, this is essentially in [[ | + | ** For potentials such that <x>^{3/2+} V is in L^1, this is essentially in [[Bibliography#Wed2000|Wed2000]]; the stronger L^p boundedness of wave operators in this case was established in [[Bibliography#Wed1999|Wed1999]], [[Bibliography#ArYa2000|ArYa2000]]. |

* When d=2, relatively little is known. | * When d=2, relatively little is known. | ||

− | ** L^p boundedness of wave operators for potentials decaying like <x>^{-6-}, assuming 0 is not a resonance nor eigenvalue, is in [[ | + | ** L^p boundedness of wave operators for potentials decaying like <x>^{-6-}, assuming 0 is not a resonance nor eigenvalue, is in [[Bibliography#Ya1999|Ya1999]], [[Bibliography#JeYa2002|JeYa2002]]. The method does not quite extend to p=1,infinity and thus does not directly imply the dispersive estimate although it does give Strichartz estimates for 1 < p < infinity. |

− | ** Local L^2 decay and resolvent estimates for low frequencies for polynomially decaying potentials are obtained in [[ | + | ** Local L^2 decay and resolvent estimates for low frequencies for polynomially decaying potentials are obtained in [[Bibliography#JeNc2001|JeNc2001]] |

* When d=3 one has dispersive estimates whenever V decays like <x>^{-3-} and 0 is neither a eigenvalue nor resonance [GbScg-p] | * When d=3 one has dispersive estimates whenever V decays like <x>^{-3-} and 0 is neither a eigenvalue nor resonance [GbScg-p] | ||

− | ** For potentials which decay like <x>^{-7-} and whose Fourier transform is in L^1, a version of this estimate is in [[ | + | ** For potentials which decay like <x>^{-7-} and whose Fourier transform is in L^1, a version of this estimate is in [[Bibliography#JouSfSo1991|JouSfSo1991]] |

− | ** A related local L^2 decay estimate was obtained for exponentially decaying potentials in [[ | + | ** A related local L^2 decay estimate was obtained for exponentially decaying potentials in [[Bibliography#Ra1978|Ra1978]]; this was refined to polynomially decaying potentials (e.g. <x>^{-3-}) (with additional resolvent estimates at low frequencies) in [[Bibliography#JeKa1980|JeKa1980]]. |

− | ** L^p boundedness of wave operators was established in [[ | + | ** L^p boundedness of wave operators was established in [[Bibliography#Ya1995|Ya1995]] for potentials decaying like <x>^{-5-} and for which 0 is neither an eigenvalue nor a resonance. |

− | ** If 0 is a resonance one cannot expect to obtain the optimal decay estimate; at best one can hope for t^{-1/2} (see [[ | + | ** If 0 is a resonance one cannot expect to obtain the optimal decay estimate; at best one can hope for t^{-1/2} (see [[Bibliography#JeKa1980|JeKa1980]]). |

** Dispersive estimates have also been proven for potentials whose Rollnik and global Kato norms are both smaller than the critical value of 4pi [RoScg-p]. Indeed their arguments partly extend to certain time-dependent potentials (e.g. quasiperiodic potentials), once one also imposes a smallness condition on the L^{3/2} norm of V | ** Dispersive estimates have also been proven for potentials whose Rollnik and global Kato norms are both smaller than the critical value of 4pi [RoScg-p]. Indeed their arguments partly extend to certain time-dependent potentials (e.g. quasiperiodic potentials), once one also imposes a smallness condition on the L^{3/2} norm of V | ||

** If the potential is in L^2 and has finite global Kato norm, then one has dispersive estimates for high frequencies at least [RoScg-p]. | ** If the potential is in L^2 and has finite global Kato norm, then one has dispersive estimates for high frequencies at least [RoScg-p]. | ||

Line 246: | Line 246: | ||

**# This has been extended to potentials decaying exactly like |x|^2 and d >= 3 assuming some radial regularity and if the potential is not too negative [BuPlStaTv-p], [BuPlStaTv-p2]; in particular one has Strichartz estimates for potentials V = a/|x|^2, d >= 3, and a > -(n-2)^2/4 (this latter condition is necessary to avoid bound states). | **# This has been extended to potentials decaying exactly like |x|^2 and d >= 3 assuming some radial regularity and if the potential is not too negative [BuPlStaTv-p], [BuPlStaTv-p2]; in particular one has Strichartz estimates for potentials V = a/|x|^2, d >= 3, and a > -(n-2)^2/4 (this latter condition is necessary to avoid bound states). | ||

* For d > 3, most of the d=3 results should extend. For instance, the following is known. | * For d > 3, most of the d=3 results should extend. For instance, the following is known. | ||

− | ** For potentials which decay like <x>^{-d-4-} and whose Fourier transform is in L^1, dispersive estimates are in [[ | + | ** For potentials which decay like <x>^{-d-4-} and whose Fourier transform is in L^1, dispersive estimates are in [[Bibliography#JouSfSo1991|JouSfSo1991]] |

− | ** Local L^2 decay and resolvent estimates for low frequencies for polynomially decaying potentials are obtained in [[ | + | ** Local L^2 decay and resolvent estimates for low frequencies for polynomially decaying potentials are obtained in [[Bibliography#Je1980|Je1980]], [[Bibliography#Je1984|Je1984]]. |

− | For finite rank perturbations of the Laplacian, where each rank one perturbation is generated by a bump function and the bump functions are sufficiently far apart in physical space, decay and Schrodinger estimates were obtained in [[ | + | For finite rank perturbations of the Laplacian, where each rank one perturbation is generated by a bump function and the bump functions are sufficiently far apart in physical space, decay and Schrodinger estimates were obtained in [[Bibliography#NieSf2003|NieSf2003]].The bounds obtained grow polynomially in the number of rank one perturbations. |

− | Local smoothing estimates seem to be more robust than dispersive estimates, holding in a wider range of situations.For instance, in R^d, any potential in L^p for p >= d/2, as well as inverse square potentials 1/|x|^2, and linear combinations of these, have local smoothing [[ | + | Local smoothing estimates seem to be more robust than dispersive estimates, holding in a wider range of situations.For instance, in R^d, any potential in L^p for p >= d/2, as well as inverse square potentials 1/|x|^2, and linear combinations of these, have local smoothing [[Bibliography#RuVe1994|RuVe1994]].Note one does not need to project away the bound states for such estimates (as the bound states tend to already be rather smooth).However, for p < d/2, one can have breakdown of local smoothing (and also dispersive and Strichartz estimates) [Duy-p] |

− | For time-dependent potentials, very little is known.If the potential is small and quasiperiodic in time (or more generally, has a highly concentrated Fourier transform in time) then dispersive and Strichartz estimates were obtained in [RoScg-p]; the smallness is used to rule out bound states, among other things.In the important case of the charge transfer model (the time-dependent potential that arises in the stability analysis of multisolitons) see [[ | + | For time-dependent potentials, very little is known.If the potential is small and quasiperiodic in time (or more generally, has a highly concentrated Fourier transform in time) then dispersive and Strichartz estimates were obtained in [RoScg-p]; the smallness is used to rule out bound states, among other things.In the important case of the charge transfer model (the time-dependent potential that arises in the stability analysis of multisolitons) see [[Bibliography#Ya1980|Ya1980]], [[Bibliography#Grf1990|Grf1990]], [[Bibliography#Zi1997|Zi1997]], [RoScgSf-p], [RoScgSf-p2], where energy, dispersive, and Strichartz estimates are obtained, with application to the asymptotic stability of multisolitons. |

The nonlinear interactions between the bound states of a Schrodinger operator with potential (which have no dispersion or decay properties in time) and the absolutely continuous portion of the spectrum (where one expects dispersion and Strichartz estimates) is not well understood.A preliminary result in this direction is in [GusNaTsa-p], which shows in R^3 that if there is only one bound state, and Strichartz estimates hold in the remaining portion of the spectrum, and the non-linearity does not have too high or too low a power (say 4/3 <= p <= 4, or a Hartree-type nonlinearity) then every small H^1 solution will asymptotically decouple into a dispersive part evolving like the linear flow (with potential), plus a nonlinear bound state, with the energy and phase of this bound state eventually stabilizing at a constant.In [SfWs-p] the interaction of a ground state and an excited state is studied, with the generic behavior consisting of collapse to the ground state plus radiation. | The nonlinear interactions between the bound states of a Schrodinger operator with potential (which have no dispersion or decay properties in time) and the absolutely continuous portion of the spectrum (where one expects dispersion and Strichartz estimates) is not well understood.A preliminary result in this direction is in [GusNaTsa-p], which shows in R^3 that if there is only one bound state, and Strichartz estimates hold in the remaining portion of the spectrum, and the non-linearity does not have too high or too low a power (say 4/3 <= p <= 4, or a Hartree-type nonlinearity) then every small H^1 solution will asymptotically decouple into a dispersive part evolving like the linear flow (with potential), plus a nonlinear bound state, with the energy and phase of this bound state eventually stabilizing at a constant.In [SfWs-p] the interaction of a ground state and an excited state is studied, with the generic behavior consisting of collapse to the ground state plus radiation. | ||

Line 265: | Line 265: | ||

A question arising by analogy from the theory of unique continuation in elliptic equations, and also in control theory, is the following: if u is a solution to a nonlinear Schrodinger equation, and u(t_0) and u(t_1) is specified on a domain D at two different times t_0, t_1, does this uniquely specify the solution everywhere at all other intermediate times? | A question arising by analogy from the theory of unique continuation in elliptic equations, and also in control theory, is the following: if u is a solution to a nonlinear Schrodinger equation, and u(t_0) and u(t_1) is specified on a domain D at two different times t_0, t_1, does this uniquely specify the solution everywhere at all other intermediate times? | ||

− | * For the 1D cubic NLS, with D equal to a half-line, and u assumed to vanish on D, this is in [[ | + | * For the 1D cubic NLS, with D equal to a half-line, and u assumed to vanish on D, this is in [[Bibliography#Zg1997|Zg1997]]. |

− | * For general NLS with analytic non-linearity, and with u assumed compactly supported, this is in [[ | + | * For general NLS with analytic non-linearity, and with u assumed compactly supported, this is in [[Bibliography#Bo1997b|Bo1997b]]. |

− | * For D the complement of a convex cone, and arbitrary NLS of polynomial growth with a bounded potential term, this is in [[ | + | * For D the complement of a convex cone, and arbitrary NLS of polynomial growth with a bounded potential term, this is in [[Bibliography#KnPoVe2003|KnPoVe2003]] |

* For D in a half-plane, and allowing potentials in various Lebesgue spaces, this is in [IonKn-p] | * For D in a half-plane, and allowing potentials in various Lebesgue spaces, this is in [IonKn-p] | ||

* A local unique continuation theorem (asserting that a non-zero solution cannot vanish on an open set) is in [[reference:Isk1993 Isk1993]] | * A local unique continuation theorem (asserting that a non-zero solution cannot vanish on an open set) is in [[reference:Isk1993 Isk1993]] | ||

Line 286: | Line 286: | ||

<center>f(exp(i <font face="Symbol">q</font>) <u>u</u>, exp(-i <font face="Symbol">q</font>) <u>u</u>, exp(i <font face="Symbol">q</font>) Du, exp(-i <font face="Symbol">q</font>) <u>Du</u>) = exp(i <font face="Symbol">q</font>) f(u, <u>u</u>, Du, <u>Du</u>).</center> | <center>f(exp(i <font face="Symbol">q</font>) <u>u</u>, exp(-i <font face="Symbol">q</font>) <u>u</u>, exp(i <font face="Symbol">q</font>) Du, exp(-i <font face="Symbol">q</font>) <u>Du</u>) = exp(i <font face="Symbol">q</font>) f(u, <u>u</u>, Du, <u>Du</u>).</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 [[ | + | 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]]. |

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 <u>u</u> <u>Du</u> is preferable to u Du (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 u) 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 <u>u</u> <u>Du</u> is preferable to u Du (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 u) 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 292: | Line 292: | ||

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

− | * If m <font face="Symbol">³</font> [d/2] + 4 is an integer then one has LWP in H^m \cap H^{m-2,2} [[ | + | * If m <font face="Symbol">³</font> [d/2] + 4 is an integer then one has LWP in H^m \cap H^{m-2,2} [[Bibliography#Ci1999|Ci1999]]; see also [[Bibliography#Ci1996|Ci1996]], [[Bibliography#Ci1995|Ci1995]], [[Bibliography#Ci1994|Ci1994]]. |

− | ** If f is cubic or better then one can improve this to LWP in H^m [[ | + | ** If f is cubic or better then one can improve this to LWP in H^m [[Bibliography#Ci1999|Ci1999]]. Furthermore, if one also has gauge invariance then data in H^{m,m'} evolves to a solution in H^{m+m'} for all non-zero times and all positive integers m' [[Bibliography#Ci1999|Ci1999]]. |

− | ** If d=1 and f is cubic or better then one has LWP in H<sup>3</sup> [[ | + | ** If d=1 and f is cubic or better then one has LWP in H<sup>3</sup> [[Bibliography#HaOz1994b|HaOz1994b]]. |

− | *** For special types of cubic non-linearity one can in fact get GWP for small data in H^{0,4} \cap H^{4,0} [[ | + | *** For special types of cubic non-linearity one can in fact get GWP for small data in H^{0,4} \cap H^{4,0} [[Bibliography#Oz1996|Oz1996]]. |

− | ** LWP in H<sup>s</sup> \cap H^{0,m} for small data for sufficiently large s, m was shown in [[ | + | ** LWP in H<sup>s</sup> \cap H^{0,m} for small data for sufficiently large s, m was shown in [[Bibliography#KnPoVe1993c|KnPoVe1993c]]. The solution was also shown to have s+1/2 derivatives in L<sup>2</sup>_{t,x,loc}. |

− | *** If f is cubic or better one can take m=0[[ | + | *** If f is cubic or better one can take m=0[[Bibliography#KnPoVe1993c|KnPoVe1993c]]. |

− | *** If f is quartic or better then one has GWP for small data in H<sup>s</sup>. [[ | + | *** If f is quartic or better then one has GWP for small data in H<sup>s</sup>. [[Bibliography#KnPoVe1995|KnPoVe1995]] |

− | *** For large data one still has LWP for sufficiently large s, m [[ | + | *** For large data one still has LWP for sufficiently large s, m [[Bibliography#Ci1995|Ci1995]], [[Bibliography#Ci1994|Ci1994]]. |

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

− | Non-linearities such as t^{-\alpha} |u<sub>x</sub><nowiki>|</nowiki><sup>2</sup> in one dimension have been studied in [[ | + | Non-linearities such as t^{-\alpha} |u<sub>x</sub><nowiki>|</nowiki><sup>2</sup> in one dimension have been studied in [[Bibliography#HaNm2001b|HaNm2001b]], with some asymptotic behaviour obtained. |

− | In d=2 one has GWP for small data when the nonlinearities are of the form <u>u</u> <u>Du</u> + u Du [[ | + | In d=2 one has GWP for small data when the nonlinearities are of the form <u>u</u> <u>Du</u> + u Du [[Bibliography#De2002|De2002]]. |

<div class="MsoNormal" style="text-align: center"><center> | <div class="MsoNormal" style="text-align: center"><center> | ||

Line 320: | Line 320: | ||

<center><math>u_t = i a(x,t,u,Du) D^2 u + b_1(x,t,u,Du) Du + b_2(x,t,u,Du) D<u>u</u> + first order terms</math>,</center> | <center><math>u_t = i a(x,t,u,Du) D^2 u + b_1(x,t,u,Du) Du + b_2(x,t,u,Du) D<u>u</u> + first order terms</math>,</center> | ||

− | where a, b_1, b_2, and the lower order terms are smooth functions of all variables.These general systems arise in certain physical models (see e.g. [[ | + | where a, b_1, b_2, and the lower order terms are smooth functions of all variables.These general systems arise in certain physical models (see e.g. [[Bibliography#BdHaSau1997|BdHaSau1997]]).Also under certain conditions they can be derived from fully nonlinear Schrodinger equations by differentiating the equation. |

− | In order to qualify as a quasilinear NLS, we require that the quadratic form a is real and elliptic.It is also natural to assume that the metric structure induced by a obeys a non-trapping condition (all geodesics eventually reach spatial infinity), as this is what is necessary for the optimal local smoothing estimate to occur.For a similar reason it is useful to assume that the magnetic field b_1 (or more precisely, the imaginary part of this field) is uniformly integrable along lines in space in the time independent case (for the time dependent case the criterion involves the bicharacteristic flow and is more complicated, see [[ | + | In order to qualify as a quasilinear NLS, we require that the quadratic form a is real and elliptic.It is also natural to assume that the metric structure induced by a obeys a non-trapping condition (all geodesics eventually reach spatial infinity), as this is what is necessary for the optimal local smoothing estimate to occur.For a similar reason it is useful to assume that the magnetic field b_1 (or more precisely, the imaginary part of this field) is uniformly integrable along lines in space in the time independent case (for the time dependent case the criterion involves the bicharacteristic flow and is more complicated, see [[Bibliography#Ic1984|Ic1984]]); without this condition even the linear equation can be ill-posed. |

A model example of QNLS is the equation | A model example of QNLS is the equation | ||

Line 331: | Line 331: | ||

for smooth functions <math>h,g</math>. | for smooth functions <math>h,g</math>. | ||

− | When V=0 local existence for small data is known in <math>H^6(R^n)</math> for <math>n=1,2,3</math> [[ | + | When V=0 local existence for small data is known in <math>H^6(R^n)</math> for <math>n=1,2,3</math> [[Bibliography#BdHaSau1997|BdHaSau1997]] |

− | Under certain conditions on the initial data the LWP can be extended to GWP for n=2,3 [[ | + | Under certain conditions on the initial data the LWP can be extended to GWP for n=2,3 [[Bibliography#BdHaSau1997|BdHaSau1997]]. |

− | For large data, LWP is known in <math>H^s(R^n)</math> for any n and any sufficiently large <math>s > s(n) </math>[[ | + | For large data, LWP is known in <math>H^s(R^n)</math> for any n and any sufficiently large <math>s > s(n) </math>[[Bibliography#Col2002|Col2002]] |

− | For suitable choices of V LWP is also known for <math>H^\infty(R^n)</math> for any n [[ | + | For suitable choices of V LWP is also known for <math>H^\infty(R^n)</math> for any n [[Bibliography#Pop2001|Pop2001]]; this uses the Nash-Moser iteration method. |

− | In one dimension, the fully nonlinear Schrodinger equation has LWP in <math>H^\infty(R^n)</math> assuming a cubic nonlinearity [[ | + | In one dimension, the fully nonlinear Schrodinger equation has LWP in <math>H^\infty(R^n)</math> assuming a cubic nonlinearity [[Bibliography#Pop2001b|Pop2001b]].Other LWP results for the one-dimensional QNLS have been obtained by [LimPo-p] using gauge transform arguments. |

In general dimension, LWP for data in <math>H^{s,2}</math> for sufficiently large s has been obtained in [KnPoVe-p] assuming non-trapping, and asymptotic flatness of the metric a and of the magnetic field <math>Im b_1</math> (both decaying like <math>1/|x|^2</math> or better up to derivatives of second order). | In general dimension, LWP for data in <math>H^{s,2}</math> for sufficiently large s has been obtained in [KnPoVe-p] assuming non-trapping, and asymptotic flatness of the metric a and of the magnetic field <math>Im b_1</math> (both decaying like <math>1/|x|^2</math> or better up to derivatives of second order). |

## Revision as of 19:29, 28 July 2006

## Contents

## Non-linear Schrodinger equations

**Overview**

The free Schrodinger equation

where u is a complex-valued function in , describes the evolution of a free non-relativistic quantum particle in d spatial dimensions. This equation can be modified in many ways, notably by adding a potential or an obstacle, but we shall be interested in non-linear perturbations such as

where denotes spatial differentiation. In such full generality, we refer to this equation as a *derivative non-linear Schrodinger equation* (D-NLS). If the non-linearity does not contain derivatives then we refer to this equation as a [#nls semilinear Schrodinger equation] (NLS). These equations (particularly the cubic NLS) arise as model equations from several areas of physics.

## Semilinear Schrodinger (NLS)

[Many thanks to Kenji Nakanishi with valuable help with the scattering theory portion of this section. However, we are still missing many references and results, e.g. on NLS blowup. - Ed.]

The semilinear Schrodinger equation is

_{t}+ D u + l |u|^{p-1} u = 0

for p>1. (One can also add a potential term, which leads to many physically interesting problems, however the field of Schrodinger operators with potential is far too vast to even attempt to summarize here). In order to consider this problem in H^{s} one needs the non-linearity to have at least s degrees of regularity; in other words, we usually assume

This is a Hamiltonian flow with the Hamiltonian

^{2}/2 - l |u|^{p+1}/(p+1) dx

and symplectic form

__v__dx.

From the phase invariance u -> exp(i q) u one also has conservation of the L^{2} norm. The case l > 0 is focussing; l < 0 is defocussing.

The scaling regularity is s_{c} = d/2 - 2/(p-1). The most interesting values of p are the *L*^{2}*-critical* or *pseudoconformal* power p=1+4/d and the *H*^{1}*-critical* power p=1+4/(d-2) for d>2 (for d=1,2 there is no H^{1} conformal power). The power p = 1 + 2/d is also a key exponent for the scattering theory (as this is when the non-linearity |u|^{p-1} u has about equal strength with the decay t^{-d/2}). The cases p=3,5 are the most natural for physical applications since the non-linearity is then a polynomial. The cubic NLS in particular seems to appear naturally as a model equation for many different physical contexts, especially in dispersive, weakly non-linear perturbations of a plane wave. For instance, it arises as a model for dilute Bose-Einstein condensates.

Dimension d |
Scattering power 1+2/d |
L |
H |

1 |
3 |
5 |
N/A |

2 |
2 |
3 |
infinity |

3 |
5/3 |
7/3 |
5 |

4 |
3/2 |
2 |
3 |

5 |
7/5 |
9/5 |
7/3 |

6 |
4/3 |
5/3 |
2 |

The pseudoconformal transformation of the Hamiltonian gives that the time derivative of

^{2}_2 - 8 l t

^{2}/(p+1) || u ||_{p+1}^{p+1}

is equal to

This law is useful for obtaining a priori spacetime estimates on the solution given sufficient decay in space (e.g. xu(0) in L^{2}), especially in the L^{2}-critical case p=1+4/d (when the above derivative is zero). The L^{2} norm of xu(0) is sometimes known as the *pseudoconformal charge*.

The equation is invariant under Gallilean transformations

^{2}t)) u(x-vt, t).

This can be used to show ill-posedness below L^{2} in the focusing case [KnPoVe-p], and also in the defocusing case [CtCoTa-p2]. (However if the non-linearity is replaced by a non-invariant expression such as __u__^{2}, then [#Quadratic_NLS one can go below L^{2}]).

From scaling invariance one can obtain Morawetz inequalities, which usually estimate quantities of the form

in the defocussing case in terms of the H^{1/2} norm. These are useful for limiting the number of times the solution can concentrate at the origin; this is especially handy in the radially symmetric case.

In the other direction, one has LWP for s ³ 0, s_{c} CaWe1990; see also Ts1987; for the case s=1, see GiVl1979. In the L^{2}-subcritical cases one has GWP for all s³0 by L^{2} conservation; in all other cases one has GWP and scattering for small data in H^{s}, s ³ s_{c}. These results apply in both the focussing and defocussing cases. At the critical exponent one can prove Besov space refinements Pl2000, [Pl-p4]. This can then be used to obtain self-similar solutions, see CaWe1998, CaWe1998b, RiYou1998, [MiaZg-p1], [MiaZgZgx-p], [MiaZgZgx-p2], Fur2001.

Now suppose we remove the regularity assumption that p is either an odd integer or larger than [s]+1. Then some of the above results are still known to hold:

- ? In the H^1 subcritical case one has GWP in H^1, assuming the nonlinearity is smooth near the origin Ka1986
- In R^6 one also has Lipschitz well-posedness [BuGdTz-p5]

In the periodic setting these results are much more difficult to obtain. On the one-dimensional torus T one has LWP for s > 0, s_{c} if p > 1, with the endpoint s=0 being attained when 1 <= p <= 4 Bo1993. In particular one has GWP in L^2 when p < 4, or when p=4 and the data is small norm.For 6 > p ³ 4 one also has GWP for random data whose Fourier coefficients decay like 1/|k| (times a Gaussian random variable) Bo1995c. (For p=6 one needs to impose a smallness condition on the L^{2} norm or assume defocusing; for p>6 one needs to assume defocusing).

- For the defocussing case, one has GWP in the H
^{1}-subcritical case if the data is in H^{1}. To improve GWP to scattering, it seems that needs p to be L^{2}super-critical (i.e. p > 1 + 4/d). In this case one can obtain scattering if the data is in L^{2}(|x|^{2}dx) (since one can then use the pseudo-conformal conservation law).- In the d ³ 3 cases one can remove the L
^{2}(|x|^{2}dx) assumption GiVl1985 (see also Bo1998b) by exploiting Morawetz identities, approximate finite speed of propagation, and strong decay estimates (the decay of t^{-d/2} is integrable). In this case one can even relax the H^{1}norm to H^{s}for some s<1 references:CoKeStTkTa-p7 CoKeStTkTa-p7. - For d=1,2 one can also remove the L
^{2}(|x|^{2}dx) assumption Na1999c by finding a variant of the Morawetz identity for low dimensions, together with Bourgain's induction on energy argument.

- In the d ³ 3 cases one can remove the L

In the L^2-supercritical focussing case one has blowup whenever the Hamiltonian is negative, thanks to Glassey's virial inequality

^{2}

_{t}ò x

^{2}|u|

^{2}dx ~ H(u);

see e.g. OgTs1991. By scaling this implies that we have instantaneous blowup in H^s for s < s_c in the focusing case. In the defocusing case blowup

is not known, but the H^s norm can still get arbitrarily large arbitrarily quickly for s < s_c [CtCoTa-p2]

Suppose we are in the L^2 subcritical case p < 1 + 2/d, with focusing non-linearity. Then there is a unique positive radial ground state (or soliton) for each energy E. By translation and phase shift one thus obtains a four-dimensional manifold of ground states for each energy. This manifold is H^{1}-stable Ws1985, Ws1986. Below the H^1 norm, this is not known, but polynomial upper bounds on the instability are in CoKeStTkTa2003b.Multisolitons are also asymptotically stable under smooth decaying perturbations Ya1980, Grf1990, Zi1997, [RoScgSf-p], [RoScgSf-p2], provided that p is betweeen 1+2/d and 1+4/d.

One can go beyond scattering and ask for asymptotic completeness and existence of the wave operators. When p £ 1 + 2/d this is not possible due to the poor decay in time in the non-linear term Bb1984, Gs1977b, Sr1989, however at p = 1+2/d one can obtain modified wave operators for data with suitable regularity, decay, and moment conditions Oz1991, GiOz1993, HaNm1998, ShiTon2004, HaNmShiTon2004. In the regime between the L^{2} and H^{1} critical powers the wave operators are well-defined in the energy space LnSr1978, GiVl1985, Na1999c. At the L^{2} critical exponent 1 + 4/d one can define wave operators assuming that we impose an L^{p}_{x,t} integrability condition on the solution or some smallness or localization condition on the data GiVl1979, GiVl1985, Bo1998 (see also Ts1985 for the case of finite pseudoconformal charge). Below the L^{2} critical power one can construct wave operators on certain spaces related to the pseudo-conformal charge CaWe1992, GiOz1993, GiOzVl1994, Oz1991; see also GiVl1979, Ts1985. For H^{s} wave operators were also constructed in Na2001. However in order to construct wave operators in spaces such as L^{2}(|x|^{2} dx) (the space of functions with finite pseudoconformal charge) it is necessary that p is larger than or equal to the rather unusual power

^{2}+ 12d + 4) + d - 2);

see NaOz2002 for further discussion.

Many of the global results for H^{s} also hold true for L^{2}(|x|^{2s} dx). Heuristically this follows from the pseudo-conformal transformation, although making this rigorous is sometimes difficult. Sample results are in CaWe1992, GiOzVl1994, Ka1995, NkrOz1997, [NkrOz-p]. See NaOz2002 for further discussion.

## NLS on manifolds and obstacles

The NLS has also been studied on non-flat manifolds. For instance, for smooth two-dimensional compact surfaces one has LWP in H^{1} [BuGdTz-p3], while for smooth three-dimensional compact surfaces and p=3 one has LWP in H^{s} for s>1, together with weak solutions in H^{1} [BuGdTz-p3]. In the special case of a sphere one has LWP in H^{d/2 + 1/2} for d³3 and p < 5 [BuGdTz-p3].

·For the cubic equation on two-dimensional surfaces one has LWP in H^s for s > ½ [BuGdTz-p3]

oFor s >= 1 one has GWP Vd1984, OgOz1991 and regularity BrzGa1980

oFor s < 0 uniform ill-posedness can be obtained by adapting the argument in BuGdTz2002 or [CtCoTa-p]

oFor the [#Cubic_NLS_on_RxT sphere], [#Cubic_NLS_on_RxT cylinder], or [#Cubic_NLS_on_T^2 torus] more precise results are known

A key tool here is the development of Strichartz estimates on curved space. For general manifolds one has all the L^q_t L^r_x Strichartz estimates (locally in time), but with a loss of 1/q derivatives, see [BuGdTz-p3]. (This though compares favorably to Sobolev embedding, which would require a loss of 2/q derivatives). When the manifold is flat outside of a compact set and obeys a non-trapping condition, the optimal Strichartz estimates (locally in time) were obtained in [StTt-p].

When instead the manifold is decaying outside of a compact set and obeys a non-trapping condition, the Strichartz estimates (locally in time) with an epsilon loss were obtained by Burq [Bu-p3]; in the special case of L^4 estimates on R^3, and for non-trapping asymptotically conic manifolds, the epsilon was removed in [HslTaWun-p]

Outside of a non-trapping obstacle (with Dirichlet boundary conditions), the known results are as follows.

- If (p-1)(d-2) < 2 then one has GWP in H^1 assuming a coercivity condition (e.g. if the nonlinearity is defocusing) [BuGdTz-p4].
- Note there is a loss compared with the non-obstacle theory, where one expects the condition to be (p-1)(d-2) < 4.
- The same is true for the endpoint d=3, p=3 if the energy is sufficiently small [BuGdTz-p4].
- If d <= 4 then the flow map is Lipschitz [BuGdTz-p4]
- For d=2, p <= 3 this is in BrzGa1980, Vd1984, OgOz1991

- If p < 1 + 2/d then one has GWP in L^2 [BuGdTz-p4]
- For d=3 GWP for smooth data is in Jor1961
- Again, in the non-obstacle theory one would expect p < 1 + 4/d
- if p < 1 + 1/d then one also has strong uniqueness in the class L^2 [BuGdTz-p4]

On a domain in R^d, with Dirichlet boundary conditions, the results are as follows.

- Local well-posedness in H^s for s > d/2 can be obtained by energy methods.
- In two dimensions when p <=3, global well-posedness in the energy class (assuming energy less than the ground state, in the p=3 focusing case) is in BrzGa1980, Vd1984, OgOz1991, references.html Ca1989.More precise asymptotics of a minimal energy blowup solution in the focusing p=3 case are in [BuGdTz-p], [Ban-p3]
- When p > 1 + 4/d blowup can occur in the focusing case Kav1987

GWP and scattering for defocusing NLS on Schwarzchild manifolds for radial data is in LabSf1999

## NLS with potential

(Thanks to Remi Carles for much help with this section. - Ed.)

One can ask what happens to the NLS when a potential is added, thus

_{t}+ D u + l|u|^{p-1} u = V u

where V is real and time-independent. The behavior depends on whether V is positive or negative, and how V grows as |x| -> infinity. In the following results we suppose that V grows like some sort of power of x (this can be made precise with estimates on the derivatives of V, etc.) A particularly important case is that of the quadratic potential V = +- |x|^2; this can be used to model a confining magnetic trap for Bose-Einstein condensation. Most of the mathematical research has gone into the isotropic quadatic potentials, but anisotropic ones (given by quadratic forms other than |x|^2) are also of physical interest.

- If V is linear, i.e. V(x) = E.x, then the potential can in fact be eliminated by a change of variables [CarNky-p]
- If V is smooth, positive, and has bounded derivatives up to order 2 (i.e. is quadratic or subquadratic), then the theory is much the same as when there is no potential - one has decay estimates, Strichartz estimates, and the usual local and global well posedness theory (see Fuj1979, Fuj1980, Oh1989)
- When V is exactly a positive quadratic potential V = w^2 |x|^2, then one has blowup for the focusing nonlinearity for negative energy in the L^2 supercritical or critical, H^1 subcritical case Car2002b.
- In the L^2 critical case one can in fact eliminate this potential by a change of variables Car2002c. One consequence of this change of variables is that one can convert the usual solitary wave solution for NLS into a solution that blows up in finite time (cf. how the pseudoconformal transform is used to achieve a similar effect without the potential).

- When V is exactly a negative quadratic potential, one can prevent blowup even in the focusing case if the potential is sufficiently strong [Car-p]. Indeed, one has a scattering theory in this case [Car-p]
- If V grows faster than quadratic, then there are significant problems due to the failure of smoothness of the fundamental solution; if V is also negative, then even the linear theory fails (for instance, the Hamiltonian need not be essentially self-adjoint on test functions). However for positive superquadratic potentials partial results are still possible YaZgg2001.

Much work has also been done on the semiclassical limit of these equations; see for instance BroJer2000, Ker2002, [CarMil-p], Car2003. For work on standing waves for NLS with quadratic potential, see Fuk2001, Fuk2003, FukOt2003, FukOt2003b.

One component of the theory of NLS with potential is that of Strichartz estimates with potential, which in turn may be derived from dispersive estimates with potential, although it is possible to obtain Strichartz estimates without a dispersive inequality. Both types of estimates can only be expected to hold after first projecting to the absolutely continuous part of the spectrum (although this is not necessary if the potential is positive).

The situation for dispersive estimates (which imply Strichartz), and related estimates such as local L^2 decay, and of L^p boundedness of wave operators (which implies both the dispersive inequality and Strichartz) is as follows. Here we consider potentials which could oscillate; relying mostly on magnitude bounds on V rather than on symbol-type bounds.

- When d=1 one has dispersive estimates whenever <x> V is L^1 [GbScg-p].
- When d=2, relatively little is known.
- L^p boundedness of wave operators for potentials decaying like <x>^{-6-}, assuming 0 is not a resonance nor eigenvalue, is in Ya1999, JeYa2002. The method does not quite extend to p=1,infinity and thus does not directly imply the dispersive estimate although it does give Strichartz estimates for 1 < p < infinity.
- Local L^2 decay and resolvent estimates for low frequencies for polynomially decaying potentials are obtained in JeNc2001

- When d=3 one has dispersive estimates whenever V decays like <x>^{-3-} and 0 is neither a eigenvalue nor resonance [GbScg-p]
- For potentials which decay like <x>^{-7-} and whose Fourier transform is in L^1, a version of this estimate is in JouSfSo1991
- A related local L^2 decay estimate was obtained for exponentially decaying potentials in Ra1978; this was refined to polynomially decaying potentials (e.g. <x>^{-3-}) (with additional resolvent estimates at low frequencies) in JeKa1980.
- L^p boundedness of wave operators was established in Ya1995 for potentials decaying like <x>^{-5-} and for which 0 is neither an eigenvalue nor a resonance.
- If 0 is a resonance one cannot expect to obtain the optimal decay estimate; at best one can hope for t^{-1/2} (see JeKa1980).
- Dispersive estimates have also been proven for potentials whose Rollnik and global Kato norms are both smaller than the critical value of 4pi [RoScg-p]. Indeed their arguments partly extend to certain time-dependent potentials (e.g. quasiperiodic potentials), once one also imposes a smallness condition on the L^{3/2} norm of V
- If the potential is in L^2 and has finite global Kato norm, then one has dispersive estimates for high frequencies at least [RoScg-p].
- Strichartz estimates have been obtained for potentials decaying like <x>^{-2-} if 0 is neither a zero nor a resonance [RoScg-p]
- This has been extended to potentials decaying exactly like |x|^2 and d >= 3 assuming some radial regularity and if the potential is not too negative [BuPlStaTv-p], [BuPlStaTv-p2]; in particular one has Strichartz estimates for potentials V = a/|x|^2, d >= 3, and a > -(n-2)^2/4 (this latter condition is necessary to avoid bound states).

- For d > 3, most of the d=3 results should extend. For instance, the following is known.
- For potentials which decay like <x>^{-d-4-} and whose Fourier transform is in L^1, dispersive estimates are in JouSfSo1991
- Local L^2 decay and resolvent estimates for low frequencies for polynomially decaying potentials are obtained in Je1980, Je1984.

For finite rank perturbations of the Laplacian, where each rank one perturbation is generated by a bump function and the bump functions are sufficiently far apart in physical space, decay and Schrodinger estimates were obtained in NieSf2003.The bounds obtained grow polynomially in the number of rank one perturbations.

Local smoothing estimates seem to be more robust than dispersive estimates, holding in a wider range of situations.For instance, in R^d, any potential in L^p for p >= d/2, as well as inverse square potentials 1/|x|^2, and linear combinations of these, have local smoothing RuVe1994.Note one does not need to project away the bound states for such estimates (as the bound states tend to already be rather smooth).However, for p < d/2, one can have breakdown of local smoothing (and also dispersive and Strichartz estimates) [Duy-p]

For time-dependent potentials, very little is known.If the potential is small and quasiperiodic in time (or more generally, has a highly concentrated Fourier transform in time) then dispersive and Strichartz estimates were obtained in [RoScg-p]; the smallness is used to rule out bound states, among other things.In the important case of the charge transfer model (the time-dependent potential that arises in the stability analysis of multisolitons) see Ya1980, Grf1990, Zi1997, [RoScgSf-p], [RoScgSf-p2], where energy, dispersive, and Strichartz estimates are obtained, with application to the asymptotic stability of multisolitons.

The nonlinear interactions between the bound states of a Schrodinger operator with potential (which have no dispersion or decay properties in time) and the absolutely continuous portion of the spectrum (where one expects dispersion and Strichartz estimates) is not well understood.A preliminary result in this direction is in [GusNaTsa-p], which shows in R^3 that if there is only one bound state, and Strichartz estimates hold in the remaining portion of the spectrum, and the non-linearity does not have too high or too low a power (say 4/3 <= p <= 4, or a Hartree-type nonlinearity) then every small H^1 solution will asymptotically decouple into a dispersive part evolving like the linear flow (with potential), plus a nonlinear bound state, with the energy and phase of this bound state eventually stabilizing at a constant.In [SfWs-p] the interaction of a ground state and an excited state is studied, with the generic behavior consisting of collapse to the ground state plus radiation.

## Unique continuation

A question arising by analogy from the theory of unique continuation in elliptic equations, and also in control theory, is the following: if u is a solution to a nonlinear Schrodinger equation, and u(t_0) and u(t_1) is specified on a domain D at two different times t_0, t_1, does this uniquely specify the solution everywhere at all other intermediate times?

- For the 1D cubic NLS, with D equal to a half-line, and u assumed to vanish on D, this is in Zg1997.
- For general NLS with analytic non-linearity, and with u assumed compactly supported, this is in Bo1997b.
- For D the complement of a convex cone, and arbitrary NLS of polynomial growth with a bounded potential term, this is in KnPoVe2003
- For D in a half-plane, and allowing potentials in various Lebesgue spaces, this is in [IonKn-p]
- A local unique continuation theorem (asserting that a non-zero solution cannot vanish on an open set) is in reference:Isk1993 Isk1993

## Derivative non-linear Schrodinger

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

_{t}- i D u = f(u,

__u__, Du,

__Du__)

where f is an analytic function of u, its spatial derivatives Du, and their complex conjugates which vanishes to at least second order at the origin. We often assume the natural gauge invariance condition

__u__, exp(-i q)

__u__, exp(i q) Du, exp(-i q)

__Du__) = exp(i q) f(u,

__u__, Du,

__Du__).

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 __u__ __Du__ is preferable to u Du (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 u) 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 H^{s,m} denote the space of all functions u for which <x>^m D^{s} u is in L^{2}; thus s measures regularity and m measures decay. It is a well-known fact that the Schrodinger equation trades decay for regularity; for instance, data in H^{m,m'} instantly evolves to a solution locally in H^{m+m'} for the free Schrodinger equation and m, m' ³ 0.

- If m ³ [d/2] + 4 is an integer then one has LWP in H^m \cap H^{m-2,2} Ci1999; see also Ci1996, Ci1995, Ci1994.
- If f is cubic or better then one can improve this to LWP in H^m Ci1999. Furthermore, if one also has gauge invariance then data in H^{m,m'} evolves to a solution in H^{m+m'} for all non-zero times and all positive integers m' Ci1999.
- If d=1 and f is cubic or better then one has LWP in H
^{3}HaOz1994b.- For special types of cubic non-linearity one can in fact get GWP for small data in H^{0,4} \cap H^{4,0} Oz1996.

- LWP in H
^{s}\cap H^{0,m} for small data for sufficiently large s, m was shown in KnPoVe1993c. The solution was also shown to have s+1/2 derivatives in L^{2}_{t,x,loc}.- If f is cubic or better one can take m=0KnPoVe1993c.
- If f is quartic or better then one has GWP for small data in H
^{s}. KnPoVe1995 - For large data one still has LWP for sufficiently large s, m Ci1995, Ci1994.

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

Non-linearities such as t^{-\alpha} |u_{x}|^{2} in one dimension have been studied in HaNm2001b, with some asymptotic behaviour obtained.

In d=2 one has GWP for small data when the nonlinearities are of the form __u__ __Du__ + u Du De2002.

## Quasilinear NLS (QNLS)

These are general equations of the form

where a, b_1, b_2, and the lower order terms are smooth functions of all variables.These general systems arise in certain physical models (see e.g. BdHaSau1997).Also under certain conditions they can be derived from fully nonlinear Schrodinger equations by differentiating the equation.

In order to qualify as a quasilinear NLS, we require that the quadratic form a is real and elliptic.It is also natural to assume that the metric structure induced by a obeys a non-trapping condition (all geodesics eventually reach spatial infinity), as this is what is necessary for the optimal local smoothing estimate to occur.For a similar reason it is useful to assume that the magnetic field b_1 (or more precisely, the imaginary part of this field) is uniformly integrable along lines in space in the time independent case (for the time dependent case the criterion involves the bicharacteristic flow and is more complicated, see Ic1984); without this condition even the linear equation can be ill-posed.

A model example of QNLS is the equation

for smooth functions .

When V=0 local existence for small data is known in for BdHaSau1997

Under certain conditions on the initial data the LWP can be extended to GWP for n=2,3 BdHaSau1997.

For large data, LWP is known in for any n and any sufficiently large Col2002

For suitable choices of V LWP is also known for for any n Pop2001; this uses the Nash-Moser iteration method.

In one dimension, the fully nonlinear Schrodinger equation has LWP in assuming a cubic nonlinearity Pop2001b.Other LWP results for the one-dimensional QNLS have been obtained by [LimPo-p] using gauge transform arguments.

In general dimension, LWP for data in for sufficiently large s has been obtained in [KnPoVe-p] assuming non-trapping, and asymptotic flatness of the metric a and of the magnetic field (both decaying like or better up to derivatives of second order).

## Specific Schrodinger Equations

Monomial semilinear Schrodinger equations are indexed by the degree of the nonlinearity and the spatial domain. A taxonomy of these and other specific Schrodinger equations appears on the specific equations page.

### Quadratic NLS

Equations of the form

which a quadratic function of its arguments are quadratic nonlinear Schrodinger equations.

## Schrodinger estimates

Solutions to the linear Schrodinger equation and its perturbations are either estimated in mixed space-time norms or , or in spaces, defined by

Note that these spaces are not invariant under conjugation.

Linear space-time estimates in which the space norm is evaluated first are known as Strichartz estimates. They are useful for NLS without derivatives, but are much less useful for derivative non-linearities. Other linear estimates include smoothing estimates and maximal function estimates. The X^{s,b} spaces are used primarily for bilinear estimates, although more recently multilinear estimates have begun to appear. These spaces and estimates first appear in the context of the Schrodinger equation in [Bo1993], although the analogous spaces for the wave equation appeared earlier [RaRe1982], [Be1983] in the context of propogation of singularities. See also [Bo1993b], [KlMa1993].