Linear wave estimates: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
mNo edit summary
mNo edit summary
Line 9: Line 9:
** (No double endpoints) <math>(n,q,r) \neq (3, 2, \infty)</math>
** (No double endpoints) <math>(n,q,r) \neq (3, 2, \infty)</math>
*** 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 radial variable [MacNkrNaOz-p].However in the general case one cannot recover the estimate even if one uses the BMO norm or attempts Littlewood-Paley frequency localization [[Mo1998]]
*** 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 radial variable [MacNkrNaOz-p].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 <math>n > 3</math>, the <math>(q,r) = (2,infty)</math> estimate is slightly subtle; one has BMO and Besov space estimates but not directly <math>L^\infty</math> estimates. However, the endpoint <math>(q,r) = (2, 2(d-1)/(d-3))</math> is OK; see [[KeTa1998]].
*** Actually even when <math>n > 3</math>, the <math>(q,r) = (2,\infty)</math> estimate is slightly subtle; one has BMO and Besov space estimates but not directly <math>L^\infty</math> estimates. However, the endpoint <math>(q,r) = (2, 2(d-1)/(d-3))</math> is OK; see [[KeTa1998]].
** In the case <math>s=1/2, d=3, q=r=4</math>, a maximizer exists (e.g. with initial position zero and initial velocity given by the Cauchy distribution <math>1 / 1 + |x|^2)</math>, witih best constant <math>(3pi/4)^{1/4}</math> [Fc-p4]
** In the case <math>s=1/2, d=3, q=r=4</math>, a maximizer exists (e.g. with initial position zero and initial velocity given by the Cauchy distribution <math>1 / 1 + |x|^2)</math>, witih best constant <math>(3pi/4)^{1/4}</math> [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.
** 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.
Line 22: Line 22:
the energy exponents <math>L^1_t L^2_x</math> and <math>{L^{\infty}_t} {L^2_x}</math>. It is possible to obtain inhomogeneous estimates in which only one of the exponents
the energy exponents <math>L^1_t L^2_x</math> and <math>{L^{\infty}_t} {L^2_x}</math>. 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
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 <math>1 \leq q,r \leq \infty</math> and <math>1/q < (n-1)(1/2-1/r)</math> or <math>(q,r) = (infty,2)</math>
estimates are obtained with the above scaling condition assuming the weaker conditions <math>1 \leq q,r \leq \infty</math> and <math>1/q < (n-1)(1/2-1/r)</math> or <math>(q,r) = (\infty,2)</math>
and similarly for <math>Q,R</math>, and if the following additional conditions hold:
and similarly for <math>Q,R</math>, and if the following additional conditions hold:



Revision as of 10:40, 17 November 2006

  • Fixed-time estimates for free solutions f :
    • (Energy estimate) If is in , then is also.
    • (Decay estimate) If has more than derivatives in , then decays like . 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 solution is in if
    • (Scaling)
    • (Parallel interactions)
    • (Increase of integrability)
    • (No double endpoints)
      • 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 radial variable [MacNkrNaOz-p].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 estimate is slightly subtle; one has BMO and Besov space estimates but not directly estimates. However, the endpoint is OK; see KeTa1998.
    • 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); see [Stz-p4] for further discussion.

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).