Difference between revisions of "Schrodinger estimates"

From DispersiveWiki
Jump to navigationJump to search
m (More bib cleaning)
Line 1: Line 1:
 
==Schrodinger estimates==
 
==Schrodinger estimates==
  
 
+
r
 
Solutions to the linear Schrodinger equation and its perturbations are either estimated in mixed space-time norms <math>L^q_t L^r_x</math> or <math>L^r_x L^q_t</math>, or in <math>X^{s,b}</math> spaces, defined by
 
Solutions to the linear Schrodinger equation and its perturbations are either estimated in mixed space-time norms <math>L^q_t L^r_x</math> or <math>L^r_x L^q_t</math>, or in <math>X^{s,b}</math> spaces, defined by
 
::<math>\| u \|_{X^{s,b}} = \| u \|_{s,b} := \| \langle \xi\rangle^s  \langle \tau -|\xi|^2\rangle^b \hat{u} \|_{L^2_{\tau,\xi}}.</math>
 
::<math>\| u \|_{X^{s,b}} = \| u \|_{s,b} := \| \langle \xi\rangle^s  \langle \tau -|\xi|^2\rangle^b \hat{u} \|_{L^2_{\tau,\xi}}.</math>
Line 19: Line 19:
 
* If <math> f \in X^{0,1/2+}_{}</math>, then
 
* If <math> f \in X^{0,1/2+}_{}</math>, then
 
** (Energy estimate) <math>f  \in L^\infty_t L^2_x.</math>
 
** (Energy estimate) <math>f  \in L^\infty_t L^2_x.</math>
** (Strichartz estimates) <math>f \in L^{2(d+2)/d}_{x,t}</math> [[references:Sz1997 Sz1977]].
+
** (Strichartz estimates) <math>f \in L^{2(d+2)/d}_{x,t}</math> [[Bibliography#Sz1977 |Sz1977]].
 
*** More generally, <font face="Symbol">f</font> is in <math>L^q_t L^r_x</math> whenever <math>1/q+n/2r = n/4, r < \infty</math>, and <math>q > 2\,.</math>
 
*** More generally, <font face="Symbol">f</font> is in <math>L^q_t L^r_x</math> whenever <math>1/q+n/2r = n/4, r < \infty</math>, and <math>q > 2\,.</math>
 
**** The endpoint <math>q=2, r = 2d/(d-2)\,</math> is true for <math>d >= 3\,</math>[[Bibliography#KeTa1998|KeTa1998]]. When <math>d=2\,</math> it fails even in the BMO case [[Bibliography#Mo1998|Mo1998]], although it still is true for radial functions [[Bibliography#Ta2000b|Ta2000b]], [Stv-p].In fact the estimates are true assuming for non-radial functions some additional regularity in the angular variable [[Bibliography#Ta2000b|Ta2000b]], although there is a limit as to low little regularity one can impose [MacNkrNaOz-p].
 
**** The endpoint <math>q=2, r = 2d/(d-2)\,</math> is true for <math>d >= 3\,</math>[[Bibliography#KeTa1998|KeTa1998]]. When <math>d=2\,</math> it fails even in the BMO case [[Bibliography#Mo1998|Mo1998]], although it still is true for radial functions [[Bibliography#Ta2000b|Ta2000b]], [Stv-p].In fact the estimates are true assuming for non-radial functions some additional regularity in the angular variable [[Bibliography#Ta2000b|Ta2000b]], although there is a limit as to low little regularity one can impose [MacNkrNaOz-p].
Line 58: Line 58:
 
<center><math>\| uv \|_{X^{1/2+, 0}} \leq \| u \|_{X^{1/2+, 1/2+}} \| v \|_{X^{0+, 1/2+}}</math></center>
 
<center><math>\| uv \|_{X^{1/2+, 0}} \leq \| u \|_{X^{1/2+, 1/2+}} \| v \|_{X^{0+, 1/2+}}</math></center>
  
* On R<sup>2</sup> [[Bibliography#St1997|St1997]], [[references:CoDeKnSt-p CoDeKnSt-p]], [[references:Ta-p2 Ta-p2]] we have the sharp estimates
+
* On R<sup>2</sup> [[Bibliography#St1997|St1997]], [[Bibliography#CoDeKnSt-p |CoDeKnSt-p]], [[Bibliography#Ta-p2 |Ta-p2]] we have the sharp estimates
  
 
<center><math>\| \underline{u}\underline{v} \|_{X^{0, -1/2+}} \leq \| u \|_{X^{-1/2+, 1/2+}} \| v \|_{X^{-1/2+, 1/2+}}</math></center>
 
<center><math>\| \underline{u}\underline{v} \|_{X^{0, -1/2+}} \leq \| u \|_{X^{-1/2+, 1/2+}} \| v \|_{X^{-1/2+, 1/2+}}</math></center>
Line 115: Line 115:
 
<center><math>\| u_{1}...u_{n} \|_{X^{1/2+, 1/2+}} \leq \| u_1 \|_{X^{1+, 1/2+}}...\| u_n \|_{X^{1+, 1/2+}}</math></center>
 
<center><math>\| u_{1}...u_{n} \|_{X^{1/2+, 1/2+}} \leq \| u_1 \|_{X^{1+, 1/2+}}...\| u_n \|_{X^{1+, 1/2+}}</math></center>
  
where each factor <math>u_i\,</math> is allowed to be conjugated if desired. See [[Bibliography#St1997b|St1997b]], [[references:CoDeKnSt-p CoDeKnSt-p]].
+
where each factor <math>u_i\,</math> is allowed to be conjugated if desired. See [[Bibliography#St1997b|St1997b]], [[Bibliography#CoDeKnSt-p |CoDeKnSt-p]].
  
 
[[Category:Estimates]]
 
[[Category:Estimates]]
 
[[Category:Schrodinger]]
 
[[Category:Schrodinger]]

Revision as of 15:30, 31 July 2006

Schrodinger estimates

r 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 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].

Schrodinger Linear estimates

[More references needed here!]

On :

  • If , then
    • (Energy estimate)
    • (Strichartz estimates) Sz1977.
      • More generally, f is in whenever , and
        • The endpoint is true for KeTa1998. When it fails even in the BMO case Mo1998, although it still is true for radial functions Ta2000b, [Stv-p].In fact the estimates are true assuming for non-radial functions some additional regularity in the angular variable Ta2000b, although there is a limit as to low little regularity one can impose [MacNkrNaOz-p].
        • In the radial case there are additional weighted smoothing estimates available Vi2001
        • When one also has
        • When one can refine the assumption on the data in rather technical ways on the Fourier side, see e.g. VaVe2001.
        • When the estimate has a maximizer [Kz-p2].This maximizer is in fact given by Gaussian beams, with a constant of [Fc-p4].Similarly when with the estimate, which is also given by Gaussian beams with a constant of
    • (Kato estimates) Sl1987, Ve1988
      • When one can improve this to
    • (Maximal function estimates) In all dimensions one has for all
      • When one also has
      • When one also has The can be raised to TaVa2000b, with the corresponding loss in the exponent dictated by scaling. Improvements are certainly possible.
    • Variants of some of these estimates exist for manifolds, see [BuGdTz-p]
  • Fixed time estimates for free solutions:
    • (Energy estimate) If , then is also .
    • (Decay estimate) If , then has an norm of
    • Interpolants between these two are very useful for proving Strichartz estimates and obtaining scattering.

On T:

  • embds into Bo1993 (see also HimMis2001).
  • embeds into Bo1993. One cannot remove the from the exponent, however it is conjectured in Bo1993 that one might be able to embed into

On :

  • When embeds into (this is essentially in Bo1993)
    • The endpoint is probably false in every dimension.

Strichartz estimates are also available on [#manifold more general manifolds], and in the [#potential presence of a potential].Inhomogeneous estimates are also available off

the line of duality; see [Fc-p2] for a discussion.

Schrodinger Bilinear Estimates

  • On R2 we have the bilinear Strichartz estimate Bo1999:

and BkOgPo1998

Also, if u has frequency and v has frequency then we have (see e.g. [CoKeStTkTa-p4])

and similarly for .

  • The s indices on the right cannot be lowered, but perhaps the s indices on the left can be raised in analogy with the R2 estimates. The analogues on are also known KnPoVe1996b:

Schrodinger Trilinear estimates

  • On R we have the following refinement to the Strichartz inequality [Gr-p2]:

Schrodinger Multilinear estimates

  • In R2 we have the variant

where each factor is allowed to be conjugated if desired. See St1997b, CoDeKnSt-p.