Skip to main content

Full text of "On Abstract Strichartz Estimates and the Strauss Conjecture for Nontrapping Obstacles"

See other formats


ON ABSTRACT STRICHARTZ ESTIMATES AND THE STRAUSS 
CONJECTURE FOR NONTRAPPING OBSTACLES 



in 
o 



1. Introduction. 



KUNIO HIDANO, JASON METCALFE, HART F. SMITH, CHRISTOPHER D. SOGGE, 
"q^" ■ AND YI ZHOU 

O 
O 

(N 

X) 
D 

The purpose of this paper is to show how local energy decay estimates for certain linear 
\^ ' wave equations involving compact perturbations of the standard Laplacian lead to optimal 

global existence theorems for the corresponding small amplitude nonlinear wave equations 
with power nonlinearities. To achieve this goal, at least for spatial dimensions n = 3 and 
p ^ ' , 4, we shall show how the aforementioned linear decay estimates can be combined with 

"abstract Strichart" estimates for the free wave equation to prove corresponding estimates 
for the perturbed wave equation when n > 3. As we shall see, we are only partially 
' successful in the latter endeavor when the dimension is equal to two, and therefore, at 

, present, our applications to nonlinear wave equations in this case are limited. 



Let us start by describing the local energy decay assumption that we shall make 
throughout. We shall consider wave equations on the exterior domain H. C R" of a 
. compact obstacle: 



> 

m 

^ ■ (1.1) 



' [d^ ~ ^sMt, x) = F{t, x), (t, x) eR+xfl 
dtu{0, • ) = g 

^{Bu){t,x) = 0, on M+ X dfl, 



where for simplicity we take B to either be the identity operator (Dirichlet-wave equation) 
I or the inward pointing normal derivative d^, (Neumann- wave equation). We shall also 

assume throughout that the spatial dimension satisfies n > 2. 

■ The operator Ag is the Laplace-Beltrami operator associated with a smooth, time 

, independent Riemannian metric gjk{x) which we assume equals the Euclidean metric 5jk 

• for \x\ > R, some R. The set is assumed to be either all of R", or else = R"\/C 

where /C is a compact subset of < i? with smooth boundary. 

We can now state the main assumption that we shall make. 



The first author was supported in part by the Grant-in-Aid for Young Scientists (B) (No. 18740069), 
The Ministry of Education, Culture, Sports, Science and Technology, Japan, and he would like to thank 
the Department of Mathematics at the Johns Hopkins University for the hospitality and financial support 
during his visit where part of this research was carried out. The second, third and fourth authors were 
supported by the National Science Foundation. The fifth author was supported by project 10728101 
of NSFC and the "111" project and Doctoral Programme Foundation of the Ministry of Education of 
China. 



1 



2 



K. HIDANO, J. METCALFE, H. F. SMITH, C. D. SOGGE, AND Y. ZHOU 



Hypothesis B. Fix the boundary operator B and the exterior domain U, d M" as above. 
We then assume that given Rq > 



<ll/llH. + ll.9lli.+ / \\Fis,-)\\i.ds, 
Jo 

whenever u is a solution of (II. ip with data {f{x),g{x)) and forcing term F{t, x) that both 
vanish for \x\ > Rq. 

Here A < B means that A is bounded by a constant times B, and, in what foUows, 
the constant might change at each occurrence. Also, ||/i||ffi(|2;|<_Ro) denotes the L^-norm 
of h and Wxh over the set {x £ ft : \x\ < Rq}. 

Let us review some important cases where the assumption (|1.2p is vahd. First of 
all, results from Vainberg [39], combined with the propagation of singularity results of 
Melrose and Sjostrand [21], imply that if A is the standard Euclidean Laplacian and O 
is nontrapping, then if m is a solution of (II. 1|) with data of fixed compact support and 
forcing term F = 0, then with u' — {dtu, V xu), 

\W{t, ■ < a(i)||w'(0, • )||l2, 

where a{t) — 0((1 + t)^*^"^^^) for either the Dirichlet-wave equation or the Neumann- 
wave equation when n > 3. For n = 2, if d^l is assumed to be nonempty one has 
a{t) = 0((log(2 + i))~^(l + for the Dirichlet-wave equation. Here we have used 

that, due to the Dirichlet boundary conditions and the fundamental theorem of calculus, 
the local norm can be controlled by the local norm of the gradient. Since these 
bounds yield a{t) e L^(M+), we conclude that Hypothesis B is valid in these cases. We 
remark that when = and Ag — A, then a ~ t~^ for large t (see [29 ), and so, in 
this case, a ^ L^(M+). Proofs of these results for n > 3 can be found in Melrose [23] 
and Ralston [29], while the result for the Dirichlet-wave equation for n = 2 follows from 
Vainberg [39] (see §4 and Remark 4 on p. 40). 

For the case where Ag is assumed to be a time- independent variable coefficient com- 
pact perturbation of A and f2 is assumed to be nontrapping with respect to the metric 
associated with Ag, one also has that (|1.2[) is valid for the Dirichlet-wave equation for all 
n > 3 as well for n = 2 if 917 7^ 0. See Taylor f3g and Burq [1]. 

Having described the main assumption about the linear problem, let us now describe 
the nonlinear equations that we shall consider. They are of the form 

' (9j2 - Ag)w(t, a;) = Fp {u{t, x)) , {t, x) eR+xQ. 

(1.3) Ibu^O, on M+ X dil 

u{0,x)^f{x), dtu{0,x) ^ g{x), x £ il, 

with B as above. We shall assume that the nonlinear term behaves like when u is 
small, and so we assume that 

(1.4) H'\diFp{u) \ < \u\P 

0<]<2 



^ We are very grateful to Jim Ralston for patiently explaining these results and their history to us. 



ABSTRACT STRICHARTZ ESTIMATES 



3 



when u is small. 

We shall be assuming that the data (and some of its derivatives) are small in certain 
Sobolev norms that we now describe. 

As in the earlier works that proved global Strichartz estimates ([4], [25], [33]), we shall 
restrict ourselves to the case where the Sobolev index 7 is smaller than n/2. One reason 
for this is that the Strichartz estimates that seem to arise in applications always have 
7 < 1. Another reason is that when I7I < n/2 , multiplication by a smooth function 
P G C^(M") is continuous from ij'''(R") to H'^{M.") and the two norms are equivalent on 
functions with fixed compact support. Recall that H''{W'-) is the homogeneous Sobolev 
space with norm given by 

WfWhiu^) - II (^)vir,.(«„) = (2-)-"/j i?r/(o r^e, 

while the inhomogeneous Sobolev space H''{W^) has norm defined by 

ii/iih.(r-.) = II (1 - A)^/v iil.(„„) = (2^)-" / I (1 + ler^'m I'at 

with / denoting the Fourier transform and A denoting the standard Laplacian. 

Let us now describe the Sobolev spaces on ft that we shall consider. Let /3 be a smooth 
cutoff on R" with /3 and 1 — /? respectively supported where |x| < 2R and |x| > R. Let 
f2' be the embedding of n < 2R} into the torus obtained by periodic extension of 
n n [-2R, 2i?]", so that dQ' = dQ. We define 

= + 11(1 - /?)/lk-'(M") 

= ll/3/lkj(0') + ll(l-/3)/llij.(K"), \l\<n/2. 

The spaces Hq{Q') are defined by a spectral decomposition of Ag|o/ subject to the 
boundary condition B. In the homogeneous spaces H'^{il) it is assumed that (1 — (3)f 
belongs to F''(M"), so that the Sobolev embedding Hl{n) ^ LP{n) holds with p = 
2n/{n — 27). From this, it is verified that the Sobolev spaces on are independent of the 
choice of (3 and R, and thus the Hg{il) and Hg(n) norms are equivalent on functions of 
fixed bounded support. We note that H^'^ {Vl) is the dual of H'^{il), and Hg''{n) is dual 
to Hg{n) for I7I < n/2. Also, for 7 a nonnegative integer, 

|a|<7 
l"l=7 

The Sobolev spaces as defined are verified to be an analytic interpolation scale of spaces. 
The above definition then agrees, for nonnegative integer 7, with the subspace of H'>'{n) 
such that i?(Ai/) = for all j for which the trace is well defined, and for general 7 by 
duality and interpolation. Finally, for every 7 the set of functions / G C^{Q) such that 
B{A^gf) = for all j > is dense in the norm. 

Our hypotheses regarding the data in p.3p will only involve certain 76 (0, ^), while 
the ones in the abstract Strichartz estimates to follow only involve certain 7 < (n— l)/2. 



4 



K. HIDANO, J. METCALFE, H. F. SMITH, C. D. SOGGE, AND Y. ZHOU 



In practice the useful Strichartz-type estimates always involve 7 G (0, 1]. This is the case 
for the mixed-norm Strichartz estimates of Keel and Tao jTBj and others for the case 
ri = R", A = Ag, as well as for the mixed-norm estimates for that we shall state. 

The data (/, g) in Theorem I 1 . ll below will have second derivatives belonging to {fl) x 
Hl^\n), where e (0, i), thus will locally belong to if xi/^+T (IT). The boundary 

condition for to locally belong to Hl~^'^{n) x H^'^'^iQ) for 7 e (0, i) is the same as 

for Hg{n) X H^{il), which for the Dirichlet case is /|ao = g\dn — 0, and for Neumann 
is diyfldn — 0. These are the assumptions placed on the data {f,g) in Theorem ll.il 

If we let 

{Z} — {di, Xjdk — Xkdj : I < I < n, 1 < j < k < n} 
then we can now state our existence theorem for (jl.3[) . 

Theorem 1.1. Let n = S or 4, and fix C M" and boundary operator B as above. 
Assume further that Hypothesis B is valid. 

Let p — Pc be the positive root of 

(1.5) (n-l)p2_(n + l)p-2 = 0, 

and fix Pc < p < {n -\- 3)/(n — 1). Then if 

(1-6) 7=1-^, 

there is an Sq > depending on fJ, B and p so that (|1.3|) has a global solution satisfying 
{Z'^u{t, ■ ), dtZ°'u{t, ■ )) e H'^ X H'^ ; |ct| < 2, t G M+, whenever the initial data satisfies 
the boundary conditions of order 2, and 

(1-7) E(ll^"/lli^S(o) + ll^"9bs-(f^))<^ 

|a|<2 

with < £ < eo- 

In the case where $7 — M" and Ag = A it is known that p > Pc is necessary for global 
existence (see John [16], Glassey [12] and Sideris [31]). In this case under a somewhat 
more restrictive smallness condition global existence was established by John [IB] for the 
case where n = 3, then Glassey [T^] for n = 2, Zhou [IHI for n = 4, Lindblad and Sogge 
[22] for n < 8 and then Georgiev, Lindblad and Sogge [TT] for all n (see also Tataru [37)). 
For obstacles, when n = 4, Ag = A the results in Theorem 11.11 for the Dirichlet-wave 
equation outside of nontrapping obstacles under a somewhat more restrictive smallness 
assumption was obtained in [S]. 

Also, when = R'^, Ag = A, it was shown in Sogge [35, that, for the spherically 
symmetric case, the variant of the condition (|1.7p saying that the H^{R^) x H'^~^{E?) 
norm of the data be small with 7 as in (|1.6p is sharp. Further work in this direction (for 
the non-obstacle case) was done by Hidano [13], [H] and Fang and Wang [TU] . 

It is not difhcult to see that the condition (|1.7p is sharp in the sense that there are no 
global existence results for 7 > ^ — . To do this we use well known results concerning 
blowup solutions for (9^ — A)w — \v\^ , p > 0, in R+ x R" (see Levine [19]). Specifically, 
we shall use the fact that given 5 > Q one can find data (fo, vi) vanishing for |a;| < i? 
so that the solution of (9^ — A)i; — u(0, • ) = VQ,dtv{0, ■) = vi blows up within 



ABSTRACT STRICHARTZ ESTIMATES 



5 



time 6. Next, let us assume that the above global existence results for (il, B, Ag) held 
for this nonlinearity and some 7 > § — in l|l-7p . Then, if A is sufficiently large, the 
Hi X H^-^ norm of (A-^/tf-i) vo( • /A), A-i-2/(p-i)wi( • /A)) would be bounded by its 
ij'^(R")xi/^-i(R") norm, which equals A"/2-2/(P^i)-T||(t;o, wi)||^^(g„^^^^_i(^„). Since 
this goes to zero as A ^ cx) for 7 > ^ — , we conclude that if the above existence results 
held for this value of 7 then we would obtain a global solution of {d^ — ^g)u\ — \u\\p, 
ux{t,x) = 0,{t,x) £R+xdn with initial data (A-2/(p-i)wo( • /A), A"i^2/(p-i)„^(- . /;^))^ 
Since vq and vi vanish for |a;| < i?, by finite propagation speed, if 5 > is small and 
fixed, then for large A if we extend ux to be zero on fl'^ then the resulting function 
would agree with the solution of the Minkowski space wave equation {df — A)v\ = \v\\p 
on [0,6\] X R" with data (A-2/(p-i)vo( • /A), A-i-2/(p-i)wi( • /A)). By scaling v{t,x) = 
X^/(p^^)vx{Xt, Xx) would then solve the Minkowski space equation {dt — A)v = \v\p on 
[0,(5] X M" with initial data {vq{x),vi{x)). As we noted before, we can always choose 
{vq,vi) so that this is impossible for a given i5 > 0, which allows us to conclude that 
the above existence results do not hold if the Sobolev exponent 7 in (|1.7p is larger than 

n _ 2 
2 p-1 ■ 

As a final remark, we point out that we have restricted ourselves to the case where 
p < {n + 3)/(n — 1) because of the techniques that we shall employ. However, since 
the solutions obtained are small, the above existence theorem leads to small-data global 
existence of (|1.3p when p is larger than or equal to the conformal power (rt + 3)/(n — 1). 

To prove Theorem 11.11 we shall use certain "abstract Strichartz estimates" which we 
now describe. Earlier works ([1], ^5\, (3^) have focused on establishing certain mixed 
norm, LjL^ estimates on M+ x for solutions of (|1.1[) . For certain applications, such 
as obtaining the Strauss conjecture in various settings, it is convenient to replace the 
norm with a more general one. To this end, we consider pairs of normed function spaces 
X(R") and X{n). The spaces are Realizable, in that ||/||x « WPfWx + 11(1 - l3)f\\x 
for smooth, compactly supported f3, with /? = 1 on a neighborhood of R"\51 in case 
X = X{il). Finally, we assume that 

(1-8) ll(l-/3)/llx(o)«ll(l-/3)/llx(E") 

for such f3. Weighted mixed spaces, as well as (ij^(]R"), 77^(51)) , are the examples 
used in the proof of Theorem 11.11 

We shall let || • denote the dual norm (respectively over R" and H.) so that 



\u\\x = sup 

lkllx'=l 



; V dx 



An important example for us is when 

\W\\x II |a;|"u||Lp, 
for a given 1 < p < 00 and |a| < n/p, in which case the dual norm is 

ii«ii^' = iii^r"^^iiL.'> 

with p' denoting the conjugate exponent. 



6 



K. HIDANO, J. METCALFE, H. F. SMITH, C. D. SOGGE, AND Y. ZHOU 



We shall consider time Lebesgue exponents q >2 and assume that we have the global 
Minkowski abstract Strichartz estimates 

(1-9) II«IIl|x(rxr'.) ^ MO, ■)IIh7(r-.) + l|5tw(o, •)I1h7-i(R") > 

assuming that 

(1.10) {df-A)v^O inMxM". 



Here 



1/9 



MlLfX(/xM") = ( J^\Ht,-)\\'xdt) 

We shall also consider analogous norms on / x / C K, 

\\u\\^x{ixQ) = ( / \\u{t, ■)\\x{n)'^^ 



Id 



1/9 



In addition to Hypothesis B and (|1.9|) . we shall assume that we have the local abstract 
Strichartz estimates for fl: 

(1-11) II"IIl?x([o,i]xJ2) < \\.f\\Hi(n) + \\9\\Hl-\n)^ 

assuming that u solves (jl.ip with vanishing forcing term, i.e., 

(1.12) {df - Ag)ii in [0, 1] x fl. 

Definition 1.2. When ()1.9p and ()1.11|1 hold we say that (X, 7,g) is an admissible triple. 

We can now state our main estimate. 
Theorem 1.3. Let n>2 and assume that {X,j,q) is an admissible triple with 

(1.13) q>2 and j £ [-'-^, ''^]. 

Then if Hypothesis B is valid and if u solves (jl.ip with {&f — Ag)u = 0, we have the 
global abstract Strichartz estimates 

(1-14) l|w||Lfx(Exo) ^ WfWiiKn) + \\9\\hi~\uy 

The condition on 7 in (|1.13p is the one to ensure that 7 and 1 — 7 are both < (n — l)/2, 
which is what the proof seems to require. Unfortunately, for n = 2, this forces 7 to be 
equal to 1/2, while a larger range of 7 € (0, 1) is what certain applications require. For 
this reason, we are unable at present to show that the Strauss conjecture for obstacles 
holds when n = 2. See the end of the next section for further discussion. 

Corollary 1.4. Assume that (X, 7, g) and {Y^ \ — 7,r) are admissible triples and that 
Hypothesis B is valid. Also assume that (jl.l4p holds for (X, 7, 5) and {Y^l — 7,r), and 
that < 7 < 1 • Then we have the following global abstract Strichartz estimates for the 
solution of (jl.ip 

(1-15) l|w|lL?x(R+xn) < WfWiiKn) + \\9\\Hi-\n) + ll^llLr'F'(R+xn)' 

where r' denotes the conjugate exponent to r and \\ • ||y is the dual norm to \\ ■ \\y . 



ABSTRACT STRICHARTZ ESTIMATES 



7 



For simplicity, in the corollary we have limited ourselves to the case where < 7 < 1 
since that is all that is needed for the applications. 

Let us give the simple argument that shows that (|1.15p follows from p.l4p . To prove 
(|1.15p , we may assume by (I1.14p that the initial data vanishes. By (|1.14p and the Duhamel 
formula, if P = Ag is the square root of minus the Laplacian (with the boundary 
conditions B), then we need show 



[ sin{{t~ s)P)p-^F{s, ■)ds 
Jo 



< ll^^l 



LJ' Y'(R+xn) 



Since q > r', an application of the Christ-Kiselev lemma (cf. [7], [33], [36l chapter 4]) 



shows that it suffices to prove the estimate 

/ sm{{t- s)P)p-^F{s, ■)ds 
Jo 

After factorization of the sin function, it suffices by (|1.14p to show that 



L?X(K+xO) - ll^llir'>"(K+x^^)- 



/ cos( sP)F( s, ■)ds + / P-^ sin( sP)F(s, ■)ds 

Jo H-'-Hn) Jo 



< IIFII 



L';' Y' 



This, however, is the dual version of ()1.14p for {Y, 1 — 7, r). □ 

As a special case of (jl.lSp when the spaces X and Y are the standard Lebesgue spaces, 
we have the following 

Corollary 1.5. Suppose that n > 3 and that Hypothesis B is valid. Suppose that q,q > 2, 
r,f > 2 and that 

Inn In 

- + - - - 7 = - + - - 2 

q r Z q' r' 



and 



1 2 



n — 1 71 — 1 
< 



q r q r 2 
Then if the local Strichartz estimate (jl.lip holds respectively for the triples (L'"(f2), 7, g) 
and (L^(ri), 1 — 7, g), it follows that when u solves ()l.ip 

II"IIl?l;(k+xJ7) < WfWiiKn) + ll5llijj-i(o) + W^Wli'l^ {w^^ny 
These results also hold for n = 2 under the above assumption, provided that 7 ~ 1/2. 

These estimates of course are the obstacle versions of the mixed-norm estimates for M" 
and Ag = A. When n > 3 (and (jl.lip is valid) they include all the ones in the Keel-Tao 
theorem [18], excluding the cases where either g or g is 2. For the Dirichlet-wave operator 
{B = Id) these results were proved in odd dimensions by Smith and Sogge |33j and then 
by Burq [3] and Metcalfe [IS] for even dimensions. The Neumann case was not treated, 
but it follows from the same proof. Unfortunately, the known techniques seem to only 
apply to the case of 7 = 1/2 when n — 2, and Hypothesis B seems also to require B = Id 
and 3r2 ^ in this case. The restriction that 7 = 1/2 when n = 2 comes from the 
second part of (1.13), while for n > 3 this is not an issue due to the fact that the Sobolev 
exponents 7 in Corollary 1.5 always satisfy < 7 < 1. Also, at present, the knowledge of 
the local Strichartz estimates (jl.lll) when X = L''(f7) is limited. When fl is the exterior 



8 



K. HIDANO, J. METCALFE, H. F. SMITH, C. D. SOGGE, AND Y. ZHOU 



of a geodesically convex obstacle, they were obtained by Smith and Sogge [32] . Recently, 
there has been work on proving local Strichartz estimates when X = L^{Q,) for more 
general exterior domains ([5], [6], [3], [34]), but only partial results for a more restrictive 
range of exponents than the ones described in Corollary 11.51 have been obtained. 



2. Proof of Abstract Strichartz Estimates. 



As mentioned before, we shall prove (|1.14[) by adapting the arguments from [4], [25] 
and [53]. We shall assume that p.2p is valid for (fi, Ag) throughout. A key step in the 
proof of Theorem 11.31 will be to establish the following result that is implicit in [1] . 

Proposition 2.1. Let w solve the inhomogeneous wave equation in Minkowski space 

j {df - A)w ^ F on M+ X M" 
1 ^14=0 = dtw\t=Q = 0. 



Assume as above that (|1.9p is valid whenever v is a solution of the homogeneous wave 

sr that q > 2 and 7 > — 

F{t,x) = if |a;|>2i?, 



equation (|1.10p . Assume further that q > 2 and 7 > — -^^y^- Then, if 



\M\l?x( 



_xR'.) 



< IIFI 



At the end of this section we shall show that when n = 2 the assumption that 7 > 1/2 
when n = 2 is necessary even in the model case where X = L''(M") with 2/g + l/r = 1/2 
and l/q + 2/r — 1 — ■y. 

To prove Proposition l2.11 wc shall use our free space hypothesis (|1.9p and the following 
result from 33J. 

Lemma 2.2. Fix (3 € C^(R") and assume that Then 



/3(-)(e^*""/)(i, •) 



2 

H-<l 



dt<\\f\\l^^^.y 



if \D\ = 



As was shown in [35], this lemma just follows from an application of Plancherel's 
theorem and the Schwarz inequality. The assumption that 7 < (n — l)/2 is easily seen 
to be sharp. 

To prove Proposition 12.11 we note that since we are assuming that g > 2, by the 
Christ-Kiselev lemma [7], it suffices to show that 



(2.1) 



s*(*-^)l^l|i?|-i/3(-)G(s, ■)ds 



< 



\G\\ 



assuming that /3 e C^(R' 
inequality is majorized by 



L«X(R+xR") 

If we apply (|1.9p . we conclude that the left side of this 



■\D\ 



\D\-'+'^f3i-)Gis, ■)ds 



ABSTRACT STRICHARTZ ESTIMATES 



9 



Since ||(1 - A)'^^-'^y^G{s, Olb = \\G{s, OIIh^-i, it suffices to see that 



^-ts\D\ |£)|-i+7^( . )(i _ A)'^^-''^/^H{s, ■ ) ds 



By duality, this is equivalent to the statement that 

(2-2) II (1 - A)(i--)/^/3( . )e-l^l|i?|-^+-^/.|L.(«^,«„) < \\hh.,^.y 

Since we are assuming that 7 > — -^^-j^, we have that 1 — 7 < Therefore, (|2.2p follows 



from Lemma [221 completing the proof of Proposition [27T1 □ 

To prove Theorem ll.3l we also need a similar result for solutions of the wave equation 
(HID for (r!,S,Ag). 

Proposition 2.3. Let u solve and assume that 

(2.3) f{x) = g{x) = = 0, when \x\ > 2R. 

Then if {X, 7, q) is an admissible triple with q > 2 and 7 > —^^-5-^ we have 

(2.4) lkllL?x(R+xo) < WJWhi + Mnr' + W^Wl-.hZ-'- 

The key ingredients in the proof are Proposition 12.11 and the following variant of 
(fT^ . which holds for all 7 e R, provided dM]) holds, and P G Cf'(E") equals 1 on a 
neighborhood of M"\i7: 

(2.5) WMIl^hi + WPdMl^a^Hi-^ + WMIl^.hi + \\P9tu\\^2^y^-i 

^ \\.f\\Hl + \\9\\hI-' + \\P\\l-;HI-'- 

The Lj estimates in p.5|) on u follow from ()1.2|) and elliptic regularity arguments for 
7 e Z, and by interpolation for the remaining 7 e M. The LJ" estimates then follow from 
energy estimates, duality, and elliptic regularity. 

To prove jMl), let us fix /3 e Co°°(IR") satisfying f3{x) = 1, < 3i? and write 

u = V + w, where v = (3u, w = {1 — j3)u. 

Then w solves the free wave equation 

\w\t=a = dtw\t=Q = 0. 

An application of Proposition 12.11 shows that HwUl^x is dominated by ||pu||^2^T if p 
equals one on the support of (3. Therefore, by (|2.5p . is dominated by the right 

side of (EH). 

As a result, we are left with showing that if u = j3u then 

(2-6) M\Llx(Vi+xn) ^ WIWhi + II.9|Ihj-i + II^IIl^^j-I: 

assuming, as above, that (|2.3p holds. To do this, fix (/j e C|^((— 1,1)) satisfying 
'Y^'Y=-oo — j) = 1. For a given j G N, let vj = (p{t — j)v. Then Vj solves 

' {df - Ag)v, = -^{t - j)[A, /3]u + [df,^{t - j)]Pu + vit - j)F 
Bvj{t,x)^0, xedVl 
[z;,(0, .)=ft«,(0, O^O, 



10 



K. HIDANO, J. METCALFE, H. F. SMITH, C. D. SOGGE, AND Y. ZHOU 



while Vq = V — JZ'jLi '"j solves 

r - Ag)«o = -^[A, I3]u + [dl ^](3u + 

[wo|t=o = /, dtVo\t=o = g, 

if = 1 — J2jLi fi^ ^ j) if ^ > and otherwise. If we then let Gj = [d^ — ^g)vj be 
the forcing term for Uj, j = 0, 1, 2, . . . , then, by ()2.5p . we have that 



3=0 



killL?X(R+xn) ^ 



By the local Strichartz estimates ()l.lip and Duhamel, we get for j — 1,2,... 

/•OO 

/ \\Gj{s, ■)\\H-'-^ds <\\Gj\\^2Hi-^, 
Jo " " 

using Schwarz's inequality and the support properties of the Gj in the last step. Similarly, 

I|wo|1l«X(R+xO) ^ WIWhI + ll.9ll_H-J-i + I|Go!Il2^7-i • 

Since g > 2, we have 

oc 

and so we get 

as desired, which finishes the proof of Proposition 12.31 □ 

End of Proof of Theorem ll.3t Recall that we are assuming that {d'i - Ag)u = 0. By 
Proposition l2.3l we may also assume that the initial data for u vanishes when \x\ < 3R/2. 
We then fix /3 e C^(K") satisfying = 1, \x\ < R and P{x) = 0, \x\ > 3i?/2 and 
write 

u — uo — V = {1 — [i)uo + (/3uo — v) , 

where wq solves the Cauchy problem for the Minkowski space wave equation with initial 
data defined to be (/, 5) if x S and otherwise. By the free estimate (|1.9p and (jl.Sp . 
we can restrict our attention to ii — (3uq — v. But 

(a?- Ag)u = -[A,/3]uo = G 

is supported in i? < |x| < 2i?, and satisfies 

2 



(2.7) / \\G{t,-)r^-,^,dt<\\frH-, +\\g\\% 







by Lemma [2.21 and the fact that G vanishes on a neighborhood of Oil. Note also that u 
has vanishing initial data. Therefore, since Proposition 12.31 tells us that ||w||^9jf(-K_|_xR") 
is dominated by the left side of (|2.7p . the proof is complete. □ 



For future reference, we note that the preceeding steps establish the following gener- 

-3 n~-1 

1 ' 2 



alization of (|2.5p . assuming that 7 e [— -^V^, '^V"]' ^^'^ ^{^) — foi' l^^l > 



ABSTRACT STRICHARTZ ESTIMATES 



11 



(2.8) ||u||i=o^T + \\dtu\\^^jj-y-i + WPuWlihi + Il/39tu||i2^j-i 

<\\f\\Hl + \\9\\H'^^ + \\F\\L.Hl-^. 

In particular, / and g have no support restrictions. To see that (|2.8p holds, first consider 
bounding the terms \\(3dlu\\j2f,i-D for j — 0,1. For these terms, it suffices by (12. 5p to 
consider F — Q and f,g = near Decomposing u = (l — P)uo + m as above, we may 
use (|2.5p and (|2.7p to deduce the bounds in (|2.8p for u. These bounds now yield 

11(9^ - Ag)(i - f3)u\\^^^. . + \\{df - A,)I3u\\l?h1-' ^ WfWHl + ll^llHr^ + \\F\\l^-hz-^ ■ 

The bounds on f3u now follow from (|2.5p . Finally, (1 — /3)u satisfies the Minkowski 
wave equation on R x M", with initial data in H'^ x H''^^, and driving force F G LilH^~^ 
which vanishes for |a::| > R. The contribution to u from its initial data satisfies the 
bounds as a result of homogeneous Sobolev bounds for the Minkowski wave group. The 
contribution from F is bounded using Lemma 12.21 and duality. 

Let us conclude this section by showing that when n — 2 the restriction in Proposi- 
tion 12.11 that 7 > 1/2 is necessary in the case where X = L''(M^). In this case, by the 
standard mixed-norm Strichartz estimates (see e.g. [TB]), the hypotheses of the Proposi- 
tion are satisfied when < 7 < 3/4, l/q + 2/r — 1 — 7 and 2/q+l/r < 1/2. 

Since the hypotheses are satisfied, if the Proposition were valid for a given 7 and 
X = L'^(R2) as above, then the L^L^(M+ x R^) norm of 

WFit,.)^f [ .-<'^^^^^-^FMd^ds 

would have to be bounded by the L^H^^^ norm of F if F{t,x) = when |a:| > 1. We 
shall take to be a product hT{s)(3{x) where /3 e C°°(R^) vanishes for \x\ > 1 but 
satisfies /3(0) — 1, while hr is an odd function supported in [— T, T]. For this choice of F 
we have 

wF{t,x) = -if e^'<cosm)hTm)md^m, \it>T. 

Fix a nonzero function p G C°°(R) supported in (1/2, 1). If we take /it to be the odd 
function which equals T^^/'^ p{s/T) for positive s, then since hx has a non-zero norm 
which is independent of T, if Proposition [2Tl] were valid for an LfL'^ space as above, then 
it would follow that 



wF{t, x) = / e*-« cosm)h,{m)m d^m 

= -*r-V2 f e^^<cos{^\^\)h,m${aT)dM 

JR2 

would belong to LjLl,{[T, 00) x R^) with a bound independent of T. An easy calculation 
shows that this norm equals 

di 



rp-l/2+l/q+2/r 



e"-«cos(t|e|)/ii(|e|)/3(e/r)|^l 



L?Lj([l,oo)xR2) 



12 



K. HIDANO, J. METCALFE, H. F. SMITH, C. D. SOGGE, AND Y. ZHOU 



Since our assumption that /3(0) — 1 implies that the last factor on the right tends to 
a positive constant, we conclude that if the conclusion of Proposition 12.11 were valid for 
X = L'"(R^), then we would need that 

112, 
->- + - = l-7. 
2 q r 

This means that when n = 2, the assumption that 7 > 1/2 in Proposition l2.1l is necessary. 



3. The Strauss conjecture for nontrapping obstacles when n = 3,4. 

Let us start the proof of Theorem 1 1.1 1 by going over the Minkowski space results that 
will be used. These will form the assumption (|1.9p of Theorem 11.31 

Lemma 3.1. Let u solve the Minkowski wave equation 

{dt - A)u = F, (t, x) e R X M" 

u(0, •) = /, dMO,-)^g. 
Then, for 2 <p < 00, and 7 satisfying 

(3.1) 

we have the following estimate 



11 n 1 1 n 

<7<7r , and - < 1 — 7 < — , 

2 p ' 2 p 2 '2 



(3.2) 



\x\ 2 p 'm 



< 



l/llijT(K") + ll.9llH-f-i(R") 



+ 



\X\ 2 



+ 1-7 p 



(R_|_xR") 



Here, and in what follows, we are using the mixed-norm notation with respect to the 
volume element 



for finite exponents and 



\h{ruj)\P d(T{uj)^ r"-^drj 



/illi-LS sup( / \h{ruj)\P d<T{uj) 



1/p 



We first note that, by the trace lemma for the unit sphere and scaling, we have 



(3.3) 



sup r 2 

r>0 



|w(ra;)p da{uj) 



1/2 



< 



1 n 
' 2 2 ' 



where dcr denotes the unit measure on S*" . Consequently, 



sup r 2 " 

r>0 



(e**l^l(^)(M|^da(c.)J <Mh^^m^) 



1/2 



2<^<2' 



which is equivalent to 



(3.4) 



-aMD\ 



n — 1 



ifS-+°(R")' 



< a < 0. 



ABSTRACT STRICHARTZ ESTIMATES 



13 



Note that by applying (j3.3p to the Fourier transform of w, we see that it is equivalent 
to the uniform bounds 

1/2 1 n 

<A-^+11|xr«|U.(M.), A>0, 2<^<2' 



|{)(Acj)P da{uj 

-1 

which by duality is equivalent to 



(3.5) 



< 



A' "^\\h\\L2js^-i), 



for A > and fixed 1/2 < s < n/2. Using this estimate we can obtain 



(3.6) 



1 



V'h'^iR+xm'-) <\\\D\' ^ip\\L2{R^), -<s<-, 



2 2 

for, by after Plancherel's theorem with respect to the i-variable, we find that the square 
of the left side of (|3.6p equals 



(27r)-i 



dx dp 



< 







p'^-'^\0{puj)fp'^-da{uj)dp^\\ \Dr hWhim^), 



using p.5p in the first step. 

If we interpolate between (|3.4p and (|3.6p we conclude that, for 2 < q < oo, 



(3.7) 



^ II II 11 "1 



2 g 



2 g 



This estimate in turn implies that if v solves the Cauchy problem {d^ — A)v = in 
Ml X M" then 



(3.8) 



\x\ 2 1 



LlL'^Ll(M+xM'^) 



<ll«(o, •)llij.(E.) + ll9t«(o, Ollif.-M 

The estimate dual to p.3p is 

(3.9) < |||xrt+i->||^,^. 

By the Duhamel formula and (|3.8p - p.9p . we then have 



11 n 1 

<7<7r 

2 q ' 2 q 



(3.10) 



a; 2 p 'u 



< 



l"(0, - ^H-, 



\dMO,-)\\ 



H1- 



|a;|-t+i-T(a2_ A)w 



provided that 7 and 1— 7 satisfy the condition in IjS.Sp for q equal to p and 00, respectively, 
i.e., dSI]). □ 

A calculation shows that if 

n 2 



(3.11) 
and 



7 



2 p~r 

Pc<P< (n + 3)/(n- 1) 



14 



K. HIDANO, J. METCALFE, H. F. SMITH, C. D. SOGGE, AND Y. ZHOU 



then (|3.ip holds: p > Pc is needed for the first part, and p < {n + 3)/(n — 1) for the 
second. Additionally, as far as the powers of go in (|3.10p . we have 

/n n + 1 \ / (n + 1) — (n — l)p \ n ^ n 2 

(3.12) p 7 =P ^ \, ^ --77 + 1-7, if7- 



2 p '/^V p(p-l) ^ 2 " '2p-l 

As a result, by the arguments to follow, p.2p is strong enough to show that for the 
non-obstacle, Minkowski space case, i.e. = M", Ag = A, if 2 < n < 4 then for 
Pc < p < (n + 3)/(n — 1), the equation (|1.3p has a global solution for small data as 
described in Theorem 11.31 



To prove the obstacle version of this result for n — 3 and 4 we shall use a slightly 
weaker inequality for which it will be easy to show that we have the corresponding local 
Strichartz estimates (|l.lip for (il, Ag). To this end, if R is chosen so that dfl is contained 
in \x\ < R and A = Ag for \x\ > R then we define X = Xj^q{R^) to be the space with 
norm defined by 

(3.13) = ||^||L=^(|a;|<2fl) + II ^ H L'f.Ll{\x\>2R) , if ^{^^ j;) 

We then prove the following obstacle variant of (|3.2p . 
Lemma 3.2. For solutions of (|l.ip if n > 3 and p > 2: 

L-L-LUR+y.{\x\>2R}) ^ H "H if («+ x {.GO: |.| <2K}) 



(3.14) 



< 



+ ll.9llHr 



-t + l-7^ 



Lji^LJ (R+x{|x|>2_R}) 

+ ll^ll 4 

LlL^^^'' (R+ X {x£n:\x\<2R}) 



provided that (|3.ip holds. 



By (|3.8p and Lemma [^2] we have that the assumption p.9p of Theorem 1 1.31 is valid if 
1/2 - l/q < 7 < ?i/2 - 1/g and 2 < ^ < oo, i.e. 

(3.15) ||w||L?Jf^,(K+xR'.) < lk(0, •)llij^(R-) + l|9tl'(0, ■)IIh^-1(R-)> 

if (9^2 - A)t; = in M+ x K", 

under the additional assumption that 7 < (n — l)/2 (which is the case for (|3.1ip V Indeed 
the contribution of the second part of the norm in p.l3p is controlled by p.Sp . To handle 
the contribution of the first term in the right side of (|3.13p we note that if /3 G C5*'(M") 
equals one when < 3i? then Sobolev estimates yield 

Mt, ■)\\l'-,{\x\<2R) < \\Pi-)v{t, •)IIht(r..)- 

Thus, ||'u||l9ls7(h^x||2;|<_r}) is controlled by the right side of (|3.15p for g = 2, by Lemma 



2.21 Since this is also the case for g = cx) by energy estimates, by interpolation we 
conclude that we can control the contribution of the first term in the right side of (|3.13p 
to (|3.15p . which finishes the proof of (|3.15p . 

Since the dual norm of || is || |a;|~"/i||p', by Corollary 1.4, we would get (|3.14p 

from (|3.15p and Hypothesis B if we could show that for q > 2 

II"IIl?x^,,([o,i]xo) < ll/lliji + II.9|Ih^-i, 



ABSTRACT STRICHARTZ ESTIMATES 



15 



whenever u solves with F = Q, and, as above, 1/2 — 1/q < 7 < n/2 — 1/q. By 

the finite propagation speed of the wave equation, it is clear that the contribution of the 
second term in the right side of (|3.13p will enjoy this estimate. As before, the first term 
satisfies it because of Sobolev estimates. This completes the proof of (|3.14p . □ 

Let us also observe a related estimate 

(3.16) ||m|Il~HJ(R+xO) + ll^t"llL~ij2"i(R+xn) + ll"llLt°-L;^(R+xn) + L?ff J (R+ xO) 



< 



-t+1-7^ 



LjLiLj (R^x{|x|>2i?,}) 
+ ll^ll 4 



assuming that (|3.ip holds. Indeed, this is a direct consequence of (|2.8p and the Duhamel 
formula, together with the inclusion Hg{fl) ^ L^'>{il.), and the following consequence of 
(|3.9p . and the dual estimate to Sobolev embedding H^'^{fl) ^ L'^'^-'< (fl), 



(3.17) < II kr-+^-5lU^.i(N>2«) + bll,4-.(.,,,.|<,«) ■ 



To prove Theorem 11.11 we shall require a variation of the last two estimates involving 
the vector fields 

{T} = {duZ} 

where, as before, {Z} are the vector fields {di, Xjdk — Xkdj : 1 < i < n,l < j < k < n}. 
Note that all the {F} commute with Og — df ~ Ag when |a;| > R because dfl C {x : 
\x\ < R} and A = Ag for |a;| > R. 

The main estimate we require is the following. 

Lemma 3.3. With p and 7 as in Lemma \3.2l u solving p.ip with n>3, and {f,g,F) 
satisfying Hg x Hg x Hg boundary conditions, then 



(3.18) 



E(ii 



x{\x\>2R}) + l|r""llLfL^^(R+x{2:ea:|x|<2fl}) 



|a|<2 

^ E(ll^"/llHS + ll^".9bs- 



|a|<2 

+ E (II l-l-^^-r"FL.,,,.(«,.,.,,,,„ + ll^"^ll...;^-.(R,x{.eo:„<2«i). 



|a|<2 



The boundary conditions on {f,g,F) imply that d^u is locally in (il), j — 

0, 1, 2, which will be implicitly used in elliptic regularity arguments. We will also use the 
fact that the Cauchy data for T^u is bounded in H]^ x H]j~^ by the right hand side of 
(I3.18P for |a| < 2. This is clear if F" is replaced by Z". On the other hand, the Cauchy 
data for dtu is {g, Ag/ + F{0, ■ )). We may control 

(liz"5b. +ll^"Ag/||^-,_.) < J2 (ll^"/bs + ll^"5brO- 

|a|<l |a|<2 



16 



K. HIDANO, J. METCALFE, H. F. SMITH, C. D. SOGGE, AND Y. ZHOU 



Recall that 7 e (0, i), so that H'^{fl) = H'^{n). To control the term F(0, • ), we recall 
that r = {dt, Z}, and use the bound 

(3.19) W^'^Ph-Hl-'i^.-^) ^ E \\^"P\\LiHr\M,.n) 

\a\<l \a\<2 

which by p.l7p is seen to be dominated by the right hand side of p.l8p . Similar consid- 
erations apply to the Cauchy data for dfu. 

Let us now give the argument for (|3.18p . We first fix /3o G satisfying Pq = 1 for 
\x\ < R and supp/3o C {\x\ < 2R}. Then the first step in the proof of p.lSp will be to 
show that 

(3.20) 

J2 kl^"'^"^(l - ^0)r"u||LfL?L2(B+x{Ix|>2fi}) + 11(1 - M^^uIIl'^l:,-' iR+x{xen:\x\<2 
\a\<2 

|q|<2 

+ E (II l-l---r"^ll..^.^.^(«.x(„>2.» + lir"^ll,,,:'.-.(,^.,,,,.„<,,,, 

|q I <2 

Since the T commute with \3g when > /?, we have 

□,,((1 - /5o)r"u) = (1 - /?o)r"F - [/3o, Ag]r"u . 

We can therefore write (1 — /3o)r"u a.s v + w where DgV = (1 — /3o)r"F and v has initial 
data ((1 - /3o)r"u(0, ■ ),dt{l - /3o)r"w(0, •)), while DgW = -[/3o,Ag]r"u and w has 
vanishing initial data. If we do this, it follows by (|3.14|) that if for \a\ < 2 we replace the 
term involving (1 — Po)T°'u by v in the left side of ()3.20p . then the resulting expression 
is dominated by the right side of (|3.20p . If we use (|2.4p . we find that if we replace 
(1 — Po)T°'u by w then the resulting expression is dominated by 

(3.21) J2 II [/3o,Ag]r"^||^.^.-i <^||/3ia^u||^.^.+.-, 

|a|<2 J<2 

assuming that /3i equals one on supp(/3o) and is supported in |a;| < 2R. As a result, we 
would be done with the proof of p.20p if we could show that the right hand side of p.2ip 
is dominated by the right side of (|3.20p . By (|3.16p we control \\(3idfu\\i^2jji by the right 
hand side of (|3.20p . On the other hand, 

WPidtuWl^ -,+1 < \\l3id^u\\L2Hi ||/3iu||^2jjT+2 

SO it suffices to dominate ||/3iu||^2^7+2 . Since AgU ~ &fu — F, then if P2 equals one on 
supp(/3i) and is supported in the set where |x| < 2R, we may use elliptic regularity and 
the equation to bound 

II/3i^IIl?HJ+^ ~ ll/32AgU||i2^7 + \\f32u\\L2Hl 

< \\p2d^u\\L2Hl + \\P2U\\L^2HI + \\P2F\\l2hZ- 



ABSTRACT STRICHARTZ ESTIMATES 



17 



The first two terms are dominated as above using (|3.16p . On the other hand, Sobolev 
embedding and duality yields 

(3.22) < E ll^"^IL?ri-.(«,x{..0:|.|<2K}) 

I«I<1 

II t,x llLjL°i-T(ffi+x{2;6a:|x|<2i?})' 

q|<2 

To finish the proof of p.lSp . we need to show that the analog of (|3.20p is valid when 
(1 — Po) is replaced by Pq. Since the coefficients of F are bounded on supp(/3o), if (3i 
equals one on supp(/3o) and is supported in < 2R, then by Sobolev embedding 

\a\<2 j<2 

i<2 

The terms in LfH'''^'^"^ are dominated as above. To control the L'^W^'^^'^ terms, and 
conclude the proof of (|3.18p . we establish the following estimate: 



(3.23) E W^^^Wlthi + WdtT-uW^^^-,^-^^ < ^ + ll^"5lUj-(o)) 

\a\<2 \a\<2 

y ( II brt + (l-r)r"F|Uliii2 (M^y.(lx\>2m) + \\^"F\\ ^' ) 
^ V" ' llL,L,^L^(R+x{\x\>2H}) II L} L^-' (W^ xf xen:\x\<2B.}) J 



|a|<2 



The inequality where r"u is replaced by (1 — /3o)T°'u in (|3.23p follows by energy 
estimates on R", since the right hand side dominates ||(1 — /9o)r"F||^i^^_i , together 
with p.Sp using the bound (|3.2ip to handle the commutator term. If T^u is replaced 
on the left hand side by /JoT^u, the result is dominated by J2j<3 ll/^ic^t ""H^ooji^s+t-j . For 
the case j = 0, 1, we write □g(/3i-u) — PiF — [Ag,/3i]u, and use (|2.5p with the Duhamel 
formula to bound 

\\M\l-^hi+^ + ||/3i9tw||^o.^7+i 

< II/3i/IIhi+2 + ||/3i.9||^^+i + 11/32^11^2^^+2 + \\PiF\\l^h-'+^- 

B B t B t B 

The term on the right involving u is controlled previously; on the other hand, since F 
satisfies the H'^^ boundary conditions, then 



|a|<2 *^ 

To handle the terms for j = 2, 3 we use the equation to bound 

E Widluw^^^.,-,-, < E (||/3ia^Agu||^^^^.-, + ||/3ia,^F||^^^^-,-, 

j=2.3 j=0.1 

The terms involving AgU are dominated by ||/329j w||^oo^7+2-j with j = 0, 1. The terms 
involving F are controlled for j = 1 by p.l9p . and for j = by observing that (|3.22p 
holds with replaced by L^. This completes the proof of (|XT5)l and ([X^ . □ 



18 



K. HIDANO, J. METCALFE, H. F. SMITH, C. D. SOGGE, AND Y. ZHOU 



We shall now use these estimates to prove Theorem 1 1.1 1 

Proof of Theorem ll.lt We assume Cauchy data (/, g) satsifying the smallness condi- 
tion (|1.7p . and let uq solve the Cauchy problem (jl.ip with F ~ 0. We iteratively define 
Wfe, for fc > 1, by solving 

f {df - Ag)uk(t,x) = Fp{uk-i{t,x)) , {t,x) eR+xn 
uiO, • ) = / 
dtu{0, ■)= g 

^{Bu){t,x) = 0, on R+ X dil. 
Our aim is to show that if the constant e > in (|1.7p is small enough, then so is 



i|<2 



B 1.^+ 



xSl) 



+ II \x\ ^ " '^r"'"'=ILfL^L2(R_^x{i^[>2i?}) + \\^°'M\L^Ll-'(m+x{xen:\x\<2B})) 

for every fc = 0, 1, 2, . . . 

For fc = 0, it follows by p.lSp and (I3.23P that Mq < Cqs, with Co a fixed constant. 
More generally, ([3?T8l) and ((3?23l) yield that 

1-7-pa TP f„,. . ^ II 

l.Ll{R+ X {\x\>2B.}) 



(3.24) Mk<Coe + CoJ2 ( II l^r^^'"^r"^;,K_i)||^j^, 



q|<2 



+ ||r"i^pK_i)|| ^ 4 ) 



Note that our assumption (II. 4p on the nonlinear term i^p implies that for small v 

a|<2 |a|<2 |a|<l 



Furthermore, since Uk will be locally of regularity Hg'^^ C L°° and Fp vanishes at 0, it 
follows that Fp{uk) satisfies the B boundary conditions if Uk does. 

Since the collection F contains vectors spanning the tangent space to 5*"^^, by Sobolev 
embedding for n = 3, 4 we have 

II"(^-)IIls=+ E lirM^-)IUi< E lir%(r-)IU- 

q|<1 |q|<2 

Consequently, for fixed t,r > Q 

E ||F"FpK_i(t,r.))IUi< E l|r"^fc-i(^,r-)ll!. ■ 

a|<2 |a|<2 

By p.l2p . the first summand in the right side of (|3.24p is dominated by CiM^_^ . 

We next observe that, since > 2 and n < 4, it follows by Sobolev embedding on 
{nn \x\ < 2R} that 

\\y\\L°--{x£n:\x\<2R) + E l|r"^lli*(^eJ2:|x|<2_R) ^ E 1 1 ^""lU^^ (a:ef2: |xl <2_R) • 
a|<l |a|<2 



ABSTRACT STRICHARTZ ESTIMATES 



19 



Since s'i_^ < 2, it holds for each fixed t that 

\a\<2 |a|<2 

The second summand in the right side of (|3.24p is thus also dominated by CiM^_^ , and 
we conclude that Mk < CqE + 2Co CiM^_^. For e sufficiently small, then 

(3.25) Mk<2Coe, fc = 1,2,3,... 



To finish the proof of Theorem 11.11 we need to show that Uk converges to a solution of 
the equation (|1.3|) . For this it suffices to show that 



+ \\uk - '"fe-l|lLPL=T-(R+x{2;ef2: \x\<2R.}) 

tends geometrically to zero as fc ^ oo. Since \Fp{v) — Fp{w)\ < |ti — w|( + jiylP"-*^ ) 

when V and w are small, the proof of (|3.25p can be adapted to show that, for small e > 0, 
there is a uniform constant C so that 

Ak<CAk-iiMk-i+Mk^2r~\ 

which, by ()3.25|) . implies that Ak < ^A^-i for small e. Since Ai is finite, the claim 
follows, which finishes the proof of Theorem 11.11 □ 



References 

[1] M. Ben-Artzi: Regularity and smoothing for some equations of evolution, in "Nonlincr Partial 
Differential Equations and Applications" (If. Brczis and J. L. Lions, eds.), London, 1994, pp. 
1-12. 

[2] M. Ben-Artzi and S. Klainerman: Decay and regularity for the Schrddinger equation, J. Anal. 
Math. 58 (1992), 25-37. 

[3] M. Blair, H. Smith and C. D. Sogge: Strichartz estimates for the wave equation on manifolds with 

boundary, arXiv:0805.4733 
[4] N. Burq: Global Strichartz estimates for nontrapping geometries: About an article by H. Smith 

and C. Sogge, Comm. Partial Differential Equations 28 (2003), 1675-1683. 
[5] N. Burq, G. Lebeau and F. Planchon: Global existence for energy critical waves in 3-D domains, 

J. Amer. Math. Soc. 21 (2008), 831-845. 
[6] N. Burq and F. Planchon: Global existence for energy critical waves in 3-d domains : Neumann 

boundary conditions, arXiv:0711.0275 
[7] M. Christ and A. Kiselev: Maximal functions associated to filtrations, J. Funct. Anal. 179 (2001), 

409-425. 

[8] Y. Du, J. Metcalfe, C. D. Sogge and Y. Zhou: Concerning the Strauss conjecture and almost 
global existence for nonlinear Dirichlet-wave equations in A-dimensions, Comm. Partial Differential 
Equations 33 (2008), 1487-1506. 

[9] Y. Du and Y. Zhou: The life span for nonlinear wave equation outside of star-shaped obstacle in 
three space dimensions. Comm. Partial Differential Equations 33 (2008), 1455-1486. 
[10] D. Fang and C. Wang: Weighted Strichartz Estimates with Angular Regularity and their Applica- 
tions, arXiv:0802.0058 

[11] V. Georgiev, H. Lindblad, and C. D. Sogge: Weighted Strichartz estimates and global existence 

for semilinear wave equations, Amer. J. Math. 119 (1997), 1291-1319. 
[12] R. T. Glassey: Existence in the large for Ou = F{u) in two dimensions. Math. Z. 178 (1981), 

233-261. 



20 K. HIDANO, J. METCALFE, H. F. SMITH, C. D. SOGGE, AND Y. ZHOU 

[13] K. Hidano: Morawetz-Strichartz estimates for spherically symmetric solutions to wave equations 
and applications to semi-linear Cauchy problems, Diflferential Integral Equations 20 (2007), 735- 
754. 

[14] K. Hidano: Small solutions to semi-linear wave equations with radial data of critical regularity, 

Rev. Mat. Iberoamericana, to appear. 
[15] T. Hoshiro: On weighted estimates of solutions to wave equations, J. Anal. Math. 72 (1997), 

127-140. 

[16] F. John: Blow-up of solutions of nonlinear wave equations in three space dimensions, Manuscripta 

Math. 28 (1979), 235-265 
[17] M. Keel, H. F. Smith, and C. D. Sogge: Almost global existence for some semilinear wave equations, 

J. Anal. Math. 87 (2002), 265-279. 
[18] M. Keel and T. Tao, Endpoint StrichaHz estimates, Amer. J. Math. 120 (1998), 955-980. 
[19] H. A. Levine, Instability and nonexistence of global solutions to nonlinear wave equations of the 

form Putt = -Au-\-T{u), Trans. Amer. Math. Soc. 192 (1974), 1-21. 
[20] T. T. Li and Y. Zhou: A note on the life-span of classical solutions to nonlinear wave equations 

in four space dimensions, Indiana Univ. Math. J. 44 (1995), 1207-1248. 
[21] H. Lindblad and C. D. Soggc: On existence and scattering with minimal regularity for semilinear 

wave equations, J. Funct. Anal. 130 (1995), 357-426. 
[22] H. Lindblad and C. D. Sogge: Long-time existence for small amplitude semilinear wave equations, 

Amer. J. Math. 118 (1996), 1047-1135. 
[23] R. B. Melrose: Singularities and energy decay in acoustical scattering, Duke Math. J. 46 (1979), 

43-59. 

[24] R. B. Melrose and J. Sjostrand: Singularities of boundary value problems. I, Comm. Pure Appl. 

Math. 31 (1978), 593-617. 
[25] J. Metcalfe: Global Strichartz estimates for solutions to the wave equation exterior to a convex 

obstacle, Trans. Amer. Math. Soc. 356, (2004), 4839-4855. 
[26] C. S. Morawctz: Decay for solutions of the exterior problem for the wave equation. Comm. Pure 

and Appl. Math. 28 (1975), 229-264. 
[27] C. S. Morawetz, J. Ralston and W. Strauss: Decay of solutions of the wave equation outside 

nontrapping obstacles. Comm. Pure Appl. Math. 30 (1977), 87-133. 
[28] P. D. Lax and R. S. Philips: Scattering Theory (Revised Edition), Academic Press Inc., 1989. 
[29] J. Ralston: Note on the decay of acoustic waves, Duke Math. J. 46 (1979), 799-804. 
[30] Y. Shibata and Y. Tsutsumi: Global existence theorem for nonlinear wave equation in exterior 

domain, Lecture Notes in Num. Appl. Anal., Vol. 6 (1983), 155-196. 
[31] T. C. Sideris: Nonexistence of global solutions to semilinear wave equations in high dimensions, 

J. Differential Equations 52 (1984), 378-406. 
[32] H. F. Smith and C. D. Sogge: On the critical semilinear wave equation outside convex obstacles, 

J. Amer. Math. Soc. 8 (1995), 879-916. 
[33] H. F. Smith and C. D. Sogge: Global Strichartz estimates for nontrapping perturbations of the 

Laplacian, Comm. Partial Differential Equations 25, (2000), 2171-2183. 
[34] H. F. Smith and C. D. Sogge: On the norm of spectral clusters for compact manifolds with 

boundary, Acta Math. 198, (2007), 107-153. 
[35] C. D. Sogge: Lectures on nonlinear wave equations. International Press, Boston, MA 1995. 
[36] C. D. Sogge: Lectures on nonlinear wave equations, 2nd edition. International Press, Boston, MA, 

2008. 

[37] D. Tataru: Strichartz estimates in the hyperbolic space and global existence for the semilinear 

wave equation. Trans. Amer. Math. Soc. 353 (2001), 795-807. 
[38] M. Taylor: Grazing rays and reflection of singularities of solutions to wave equations, Comm. 

Pure Appl. Math. 29 (1976), 1-38. 
[39] B. R. Vainberg: The short-wave asymptotic behavior of the solutions of stationary problems, and 

the asymptotic behavior as t oo of the solutions of nonstationary problems, Russian Math. 

Surveys 30 (1975), 1-58. 

[40] Y. Zhou: Cauchy problem for semilinear wave equations with small data in four space dimensions, 
J. Partial Differential Equations 8 (1995), 135-144. 



abstract strichartz estimates 
Department of Mathematics, Mie University 

Department of Mathematics, University of North Carolina, Chapel Hill 
Department of Mathematics, University of Washington, Seattle 
Department of Mathematics, Johns Hopkins University 
School of Mathematical Science, Fudan University