Linear wave estimates

From DispersiveWiki
  • Fixed-time estimates for free solutions f :
    • (Energy estimate) If is in , then is also.
    • (Decay estimate) If has more than derivatives in , then $\| f (t)\|_{L^\infty}$ decays like $\langle t\rangle^{-(d-1)/2}$. One can obtain the endpoint of derivatives if one is willing to localize in frequency or use Hardy spaces and BMO.
    • One can interpolate between these estimates to get estimates with the sharp loss of regularity Br1975. This is useful for Strichartz estimates and for scattering theory.
  • Strichartz estimates: A free $\dot{H}^s$ solution is in $L^q_t (\mathbb{R}; L^r_x(\mathbb{R}^d))$ if
    • (Scaling)
    • (Parallel interactions) $(d-1)/4 \geq 1/q + (d-1)/2r$
    • (Increase of integrability) $q, r \geq 2$
    • (No double endpoints) $(d,q,r) \neq (3, 2, \infty)$
      • This estimate can be recovered for radial functions KlMa1993, or when a small amount of smoothing (either in the Sobolev sense, or in relaxing the integrability) in the angular variable MacNkrNaOz2005.However in the general case one cannot recover the estimate even if one uses the BMO norm or attempts Littlewood-Paley frequency localization Mo1998
      • Actually even when , the $(q,r) = (2,\infty)$ estimate is slightly subtle; one has BMO and Besov space estimates but not directly $L^\infty$ estimates; it can be recovered for radial functions FgWgc2006. However, the endpoint $(q,r) = (2, 2(d-1)/(d-3))$ is OK; see KeTa1998.
      • When , the endpoint is $(q,r) = (4,\infty)$. It is not true in general, but hold for radial functions FgWgc2006. It is also true with a small amount of angular regularity FgWgc2011 Corollary 1.19 or $L^4_t L^\infty L^2_\omega(\mathbb{R}^n, |x|^{d-1}d |x| d\omega)$ SmhSoWgc-p.
    • In the case , a maximizer exists (e.g. with initial position zero and initial velocity given by the Cauchy distribution , witih best constant [Fc-p4]
    • These results extend globally outside of a convex obstacle [Bu-p], SmhSo1995, [SmhSo-p], [Met-p]; see [So-p] for a survey of this issue and applications to nonlinear wave equations outside of an obstacle.
    • For data which is radial (or otherwise enjoys additional angular regularity) a much larger range of Strichartz estimates is possible (basically because the parallel interaction obstruction is substantially weakened).
      • When the data is radial, the Strichartz estimates is known to be true if and only if $1/q<(d-1)(1/2-1/r)$ or $(q,r)=(\infty,2)$, $q,r\geq 2$ and $(q,r)\neq (\infty,\infty)$. The positive results are due to KlMa1993 ($(q,r,d)=(2,\infty,3)$, [So1995] ($d=3$), [Stz2005] Theorem 1.3 ($d\geq 3, r<\infty$) and FgWgc2006) Theorem 4 ($d=2$ or $r=\infty$). The counterexample shows that $1/q<(d-1)(1/2-1/r)$ is necessary for radial Strichartz estimates is due to HiKur2008 Corollary 4.3.
      • If we add some angular regularity to the initial data, the same set of Strichartz estimates is true as the radial case. These results are due to [Stz2005] Theorem 1.5 ($d\geq 3$, $r<\infty$, the case $d=3$ comes from an interpolation from the endpoint estimates in MacNkrNaOz2005) and FgWgc2011) Theorem 1.18 ($d\geq 2$ or r=\infty).
      • If we use instead the norm $L^q_t(\mathbb{R}; L^r L^2_\omega(\mathbb{R}^n, |x|^{d-1}d |x| d\omega)$, the same set of Strichartz estimates is true as the radial case. That is, if $1/q<(d-1)(1/2-1/r)$, $q,r\geq 2$ and $(q,r)\neq (\infty,\infty)$. This set of estimates, with control of the solution in $L^q_t(\mathbb{R}; L^r L^2_\omega(\mathbb{R}^n, |x|^{d-1}d |x| d\omega)$, can be called generalized Strichartz estimates. This results are due to MacNkrNaOz2005 ($(q,r,d)=(2,\infty,3)$), SmhSoWgc-p ($d=2$) Proposition 1.2, and then generalized to $d\geq 3$ JgWgcYx-p Theorem 1.4.
    • These estimates extend to some extent to the Klein-Gordon equation .A useful heuristic to keep in mind is that this equation behaves like the Schrodinger equation when the frequency has magnitude less than , but behaves like the wave equation for higher frequencies.Some basic Strichartz estimates here are in MsSrWa1980; see for instance Na-p, MacNaOz-p, MacNkrNaOz-p for more recent treatments.
    • For inhomogeneous estimates it is known that a solution with zero initial data and forcing term containing s-1 derivatives in a dual space will lie in if both and are admissible in the above sense, if , and if one has the scaling condition .The \u201cs-1\u201d represents a smoothing effect of one derivative, though this full gain is only attainable if one uses the energy exponents and . It is possible to obtain inhomogeneous estimates in which only one of the exponents are admissible; this phenomenon was first observed in Har1990, Ob1989 (see also KeTa1998).More recently in [Fc-p2], inhomogeneous estimates are obtained with the above scaling condition assuming the weaker conditions and or and similarly for , and if the following additional conditions hold:
      • In no further conditions are required;
      • When , r,R are required to be finite;
      • When , either , , and , or , , and .
    • Strichartz estimates extend to situations in which there is a potential or when the metric is variable.For local-in-time estimates and smooth potentials or metrics this is fairly straightforward (the potential can be treated by iterative methods, and the metric by parametrix methods). More interesting issues arise for global-in-time estimates with smooth potentials/metrics or local-in-time estimates with rough potentials/metrics (the two types of results are linked by scaling).
      • For potentials of power-type decay, the global results are as follows: For potentials of the form with and , one has global Strichartz estimates [BuPlStaTv-p]; a simplified proof and more general result dealing with inverse square-like potentials which are not too negative is in [BuPlStaTv-p2]. The condition on a is necessary to avoid bound states.For potentials decaying slower than this, Strichartz estimates can fail.
      • For potentials decaying an epsilon faster than and assumed to be nonnegative, dispersive and Strichartz estimates were obtained when in GeVis2003.
      • (More results to be added in future).