NLS wellposedness: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
No edit summary
 
No edit summary
Line 12: Line 12:
<br /> In the periodic setting these results are much more difficult to obtain. On the one-dimensional torus T one has LWP for <math>s > 0, s_c\,</math> if <math>p > 1\,</math>, with the endpoint <math>s=0\,</math> being attained when <math>1 \le p \le 4\,</math> [[Bo1993]]. In particular one has GWP in <math>L^2\,</math> when <math>p < 4\,,</math> or when <math>p=4\,</math> and the data is small norm.For <math>6 > p \ge 4\,</math> one also has GWP for random data whose Fourier coefficients decay like <math>1/|k|\,</math> (times a Gaussian random variable) [[Bo1995c]]. (For <math>p=6\,</math> one needs to impose a smallness condition on the <math>L^2\,</math> norm or assume defocusing; for <math>p>6\,</math> one needs to assume defocusing). <br />
<br /> In the periodic setting these results are much more difficult to obtain. On the one-dimensional torus T one has LWP for <math>s > 0, s_c\,</math> if <math>p > 1\,</math>, with the endpoint <math>s=0\,</math> being attained when <math>1 \le p \le 4\,</math> [[Bo1993]]. In particular one has GWP in <math>L^2\,</math> when <math>p < 4\,,</math> or when <math>p=4\,</math> and the data is small norm.For <math>6 > p \ge 4\,</math> one also has GWP for random data whose Fourier coefficients decay like <math>1/|k|\,</math> (times a Gaussian random variable) [[Bo1995c]]. (For <math>p=6\,</math> one needs to impose a smallness condition on the <math>L^2\,</math> norm or assume defocusing; for <math>p>6\,</math> one needs to assume defocusing). <br />


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


Many of the global results for <math>H^s\,</math> also hold true for <math>L^{2}(|x|^{2s} dx)\,</math>. 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.
Many of the global results for <math>H^s\,</math> also hold true for <math>L^{2}(|x|^{2s} dx)\,</math>. 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.


[[Category:Schrodinger]]
[[Category:Schrodinger]]

Revision as of 22:10, 5 August 2006

In order to establish the well-posedness of the NLS in one needs the non-linearity to have at least s degrees of regularity; in other words, we usually assume

is an odd integer, or

With this assumption, one has LWP for , CaWe1990; see also Ts1987; for the case see GiVl1979. In the -subcritical cases one has GWP for all by conservation; in all other cases one has GWP and scattering for small data in , 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 is either an odd integer or larger than Then some of the above results are still known to hold:

  • In the subcritical case one has GWP in assuming the nonlinearity is smooth near the origin Ka1986
    • In 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 if , with the endpoint being attained when Bo1993. In particular one has GWP in when or when and the data is small norm.For one also has GWP for random data whose Fourier coefficients decay like (times a Gaussian random variable) Bo1995c. (For one needs to impose a smallness condition on the norm or assume defocusing; for one needs to assume defocusing).

  • For the defocussing case, one has GWP in the -subcritical case if the data is in

Many of the global results for also hold true for . 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.