Abstract
We explore the connection between k-broad Fourier restriction estimates and sharp regularity \(L^p-L^q\) local smoothing estimates for the solutions of the wave equation in \(\mathbb {R}^{n}\times \mathbb {R}\) for all \(n \ge 3\) via a Bourgain–Guth broad-narrow analysis. An interesting feature is that local smoothing estimates for \(e^{i t \sqrt{-\Delta }}\) are not invariant under Lorentz rescaling.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let u denote the solution of the Cauchy problem for the wave equation in \(\mathbb {R}^{n} \times \mathbb {R}\)
It is well known that u can be written in terms of the half-wave propagator
which satisfies the fixed-time bounds [27, 31]
for any \(1< p < \infty \) and any \(t>0\), where the implicit constant is locally bounded in t. Here \(L_s^{p}\) denotes the Bessel potential space, and we refer to the end of the introduction for the rest of the notation. Whilst these bounds are sharp for each fixed t, Sogge [34] observed that there exists some \(\sigma >0\) such that
holds for all \(2< p < \infty \). This regularity gain in \(L^p\) satisfied by \(e^{it \sqrt{-\Delta }}\) after a local integration in time is commonly referred to as the local smoothing phenomenon for the wave equation. It is conjectured [34] that (1.2) holds for all \(\sigma < \sigma _p\) where
The local smoothing conjectureFootnote 1 is at its strongest when \(p=\frac{2n}{n-1}\). The remaining cases follow by interpolation against the fixed-time estimates (1.1). More precisely, one interpolates (1.2) with the energy conservation identity
and the \(L^\infty \) estimate (see for instance [35, Chapter IX, Sect. 4])
which holds for all \(\varepsilon >0\).
The local smoothing conjecture has been studied in numerous papers ever since it was first posed in [34], see for instance [4, 10, 11, 19, 20, 23, 24, 29, 41]. When \(n=2\), sharp results follow by the work of Guth, Wang and Zhang [16]. They prove a sharp version of a reverse square function estimate considered by Mockenhaupt [28], which then implies the conjecture by a slight modification of the methods of [29] and an application of Córdoba’s sectorial square function [7]: see [40, Sect. 6]. When \(n \ge 3\), the conjecture holds for all \(p \ge \frac{2(n+1)}{n-1}\) by the Bourgain–Demeter decoupling theorem [4] and the method of Wolff [41]. See also [8] for partial results in the range \(2 \le p \le \frac{2(n+1)}{n-1}\). Verification of the full local smoothing conjecture would imply affirmative answers to a number of other important open problems such as the Bochner–Riesz conjecture, the Fourier restriction conjecture and the Kakeya conjecture; see [38] for further background.
This note focuses on an \(L^p-L^q\) variant of the local smoothing conjecture. The fixed-time estimate [6, 26, 36]
along with the complex interpolation method can be used to upgrade (1.1) to the \(L^p\)-improving inequality
valid for any \(1< p \le q < \infty \) and any \(t >0\), and where the implicit constant is locally bounded in t. Here \(p'=p/(p-1)\). Similarly, any local smoothing estimate (1.2) can be interpolated with (1.5) to obtain \(L^p(\mathbb {R}^n)- L^q(\mathbb {R}^n \times [1,2])\) estimates for \(q\ge p\). This motivates the following conjecture [33, 40].
Conjecture 1.1
(\(L^p-L^q\) local smoothing conjecture) For \(n \ge 2\), the inequality
holds for all \(\sigma < \sigma _{p,q}\) if \(1< p \le q < \infty \) and \(p' < q\), where
By the preceding discussion, validity of the conjecture for \(q=p\) implies the cases \(q > \max \{p,p'\}\) by interpolation with (1.5); thus Conjecture 1.7 is a consequence of the \(L^p-L^p\) result in [16] when \(n=2\). When \(q > p\), Conjecture 1.1 is at its strongest on the critical line
validity of the sharp regularity estimates (1.7) for a pair \((p^*,q^*)\) there immediately implies, by interpolation with (1.3), (1.4) and (1.5), sharp regularity \(L^p-L^q\) local smoothing estimates for \((1/p,1/q) \in \mathfrak {Q}_{p^*,q^*} \backslash (\overline{P_0P_1}\cup \overline{P_1P_2})\), where \(\mathfrak {Q}_{p^*,q^*}\) is the closed quadrangle with vertices
This region of validity can further be extended to a hexagon with additional vertices at \((1/p_1,1/p_1)\) and \((1/p_2,1/p_2)\) if the conjecture is known to hold on the line \(p=q\) for some \(\frac{2n}{n-1}< p_1 < \infty \), \(2< p_2 < \frac{2n}{n-1}\).
It is of fundamental importance that sharp regularity estimates on the critical line can be obtained despite the full conjecture being open. As a prime example we mention the Strichartz estimate [37]
which corresponds to the endpoint case \(\sigma =\sigma _{p,q}\) in (1.7) on the critical line for \(q = \frac{2(n+1)}{n-1}\). Sharp \(L^p-L^q\) local smoothing estimates beyond (1.8) were first studied by Schlag and Sogge [33] when \(n=2\). Further improvements beyond \(q=\frac{2(n+1)}{n-1}\) and in any dimension \(n \ge 2\) were obtained in [21, 22, 40] using the Wolff–Tao bilinear Fourier restriction estimates [39, 42] for the cone, which can be interpreted as local smoothing estimates via Plancherel’s theorem. These bilinear estimates and their conjectured k-linear counterparts are of the form
where \(2 \le k \le n+1\); \(\textrm{supp}\,\widehat{f}_j \subseteq \{\xi \in \mathbb {R}^n : 1 \le |\xi | \le 2 \}\) for all \(1 \le j \le k\); the sets \(\{\frac{\xi }{|\xi |} : \xi \in \textrm{supp}\,\widehat{f}_j \}\) are separated; \(B_R \subseteq \mathbb {R}^{n+1}\) denotes a ball of radius R and the estimates are understood to hold for all \(\varepsilon >0\) and all \(R\ge 1\). The only known cases are \(k=2\) [39, 42], \(k=n\) [1] and \(k=n+1\) [3]. The remaining cases \(3 \le k < n\) are open up to some partial positive results for \(p \ge \frac{2k}{k-1}\) [3].
As the exponents \({\bar{p}}_{n,k}\) decrease with k, it is natural to explore if higher orders of multilinearity imply further progress on Conjecture 1.1. This line of investigation was considered by Lee [23] for \(n=2\) using the trilinear reduction of Lee and Vargas [25]; see also the recent work [17]. In this note, we further extend the multilinear approach to any dimension and any level of linearity in the case \(q > p\). We remark that whereas partial results for \(q=p\) using this method were discussed in [8], our focus is on sharp results with \(q>p\). Rather than working with k-linear estimates, we will work with their k-broad variants (see §3), which hold in the full range \(p \ge \bar{p}_{n,k}\). The idea of substituting the missing k-linear estimates by k-broad estimates goes back to the work of Guth [12] on Fourier restriction estimates for the paraboloid. Analogous results for conic surfaces have recently been obtained in [8, 30, 32].
We use a by now standard broad-narrow analysis from [5, 13]. To do so, we cannot restrict attention to the half-wave propagator \(e^{i t\sqrt{-\Delta }}\) but we are forced to consider a larger class of operators that remains closed under Lorentz rescaling (see Sect. 5). Note that, unlike Fourier restriction estimates for the cone, local smoothing estimates for \(e^{i t\sqrt{-\Delta }}\) are not invariant under Lorentz rescaling as they are not invariant under rotations in \(\mathbb {R}^n \times \mathbb {R}\). As a consequence, one needs to use the k-broad estimates for perturbations of the light cone from [8, 32] instead of only those for the light cone from [30].
Our first result is a sharp \(L^p-L^q\) local smoothing estimate on the critical line \(\frac{1}{q}=\frac{n-1}{n+1} \frac{1}{p'}\). For future applicability, we state the next theorem in terms of the best exponent for which there is sharp regularity results in Conjecture 1.1 when \(q=p\). Such a statement requires the aforementioned larger class of operators, which we introduce in what follows. Let \(\Phi _{\textrm{conic}}^+\) denote the class of functions \(\varphi :\mathbb {R}^n \rightarrow \mathbb {R}\) smooth away from 0, homogeneous of degree 1 and satisfying that \(\partial _{\xi \xi }^2 \varphi (\xi )\) has \(n-1\) positive eigenvalues on \(\mathbb {R}^n \backslash \{0\}\). Given \(\varphi \in \Phi _{\textrm{conic}}^+\), define the wave-like propagator
Note that a standard computation reveals that \(\varphi (\xi )=|\xi | \in \Phi ^+_{\textrm{conic}}\) and thus \(e^{i t \sqrt{-\Delta }}\) is of the form \(U_\varphi \). It is well-known [6, 27] that if \(\varphi \in \Phi ^+_{\textrm{conic}}\), \(U_{\varphi }\) continues to satisfy (1.1), (1.5) and (1.6), that is,
for \(1< p \le q < \infty \). One can formulate Conjecture 1.1 for \(U_\varphi \), which is also known to hold for \(q= p \ge \frac{2(n+1)}{n-1}\) by [4].
Theorem 1.2
Let \(n \ge 2\) and let \(\bar{p}_n \ge 2n/(n-1)\) be the smallest number p for which
holds for all \(\sigma < 1/ p\) and all \(\varphi \in \Phi _{\textrm{conic}}^+\). Then Conjecture 1.1 holds for all \(1< p \le q < \infty \) satisfying
and, more generally,
holds for all \(\sigma < 1/q\), p and q as above and all \(\varphi \in \Phi _{\textrm{conic}}^+\).
In particular, as \(\bar{p}_n \le 2(n+1)/(n-1)\) by [4], then Conjecture 1.1 holds for
For \(n \ge 3\) our results are an improvement over the estimates obtained by bilinear methods in [22], which implied Conjecture 1.1 for \(q \ge \frac{2(n^2+2n-1)}{(n-1)(n+1)}\), \(\frac{1}{q}=\frac{n-1}{n+1} \frac{1}{p'}\).
Theorem 1.2 is proved using 3-broad estimates only. The use of higher degrees of multilinearity in the proof would cause the method to become increasingly inefficient on the critical line. However, higher orders of multilinearity can be used away from the critical line. This is the content of our next theorem, from which Theorem 1.2 follows by setting \(k=3\).
Theorem 1.3
Let \(n \ge 2\) and let \(\bar{p}_n \ge 2n/(n-1)\) be the smallest number p for which
holds for all \(\sigma < 1/ p\) and all \(\varphi \in \Phi _{\textrm{conic}}^+\). Then Conjecture 1.1 holds for all pairs \(({\bar{p}}(k), {\bar{q}}(k))\),
with \(k \in \{2, \ldots , n+1\}\).
Furthermore, Conjecture 1.1 holds for all \((1/p,1/q) \in (\mathfrak {P}_n \cup \mathfrak {T}_n) \backslash (\overline{P_0P_1}\cup \overline{P_1P_2})\) where \(\mathfrak {P}_n\) is the convex hull of
see Fig. 1. The set \(\mathfrak {T}_n\) is the triangle formed by
More generally,
holds for all \(\sigma < 1/q\), p, q as above and all \(\varphi \in \Phi _{\textrm{conic}}^+\).
In particular, as \(\bar{p}_n \le 2(n+1)/(n-1)\) by [4], we have the values
We remark that the sharp regularity estimates from Theorem 1.3 can be interpolated against any current non-sharp regularity \(L^p-L^p\) local smoothing estimates (such as those in [8]) to obtain partial results in the exterior of \(\mathfrak {T}_n\).
We finish the introduction with a contextual remark. One of our original motivations was to investigate how close the state of art in \(L^p-L^q\) local smoothing estimates for \(e^{i t \sqrt{-\Delta }}\) is from solving a problem that was left open in our earlier joint work with Ramos [2]: Let \(n = 4\) and let \(\sigma \) be the normalised surface measure of the unit sphere in \(\mathbb {R}^{n}\). Does there exist \(p \in (1,\infty )\) and \(\alpha \in [1,n-1)\) such that
maps \(L^{p}\) to a first order Sobolev space? The question has a positive answer if sharp \(L^{p}- L^{q}\) local smoothing estimates hold for \(q \ge 3 - 1/6 - \epsilon \). Using the best known estimates in Theorem 1.2, we only get sharp local smoothing for \(q \ge 3- 1/9\) and hence miss the threshold by 1/18.
1.1 Structure of the Paper
We begin by making some standard reductions in Sect. 2, which reduce Theorem 1.3 to the upcoming Theorem 2.3, which is a local estimate for functions with compact Fourier support that is well separated from the origin. In Sect. 5 we address the Lorentz rescaling, which is a main ingredient in the proof of Theorem 1.3 and the reason for introducing the class of phase functions \(\Phi _{\textrm{conic}}^+\). The concept of a k-broad norm is recalled in Sect. 3 and in Sect. 4 we present a narrow decoupling for the operators \(U_\varphi \). The proof of Theorem 1.3 is presented in Sect. 6.
1.1.1 Notation
Given \(R \ge 1\), \(B_R^n\) denotes a ball of radius R in \(\mathbb {R}^n\) and \(B_R\) denotes a ball of radius R in \(\mathbb {R}^{n} \times \mathbb {R}\). Given a measurable set \(A \subset \mathbb {R}^{n+1}\), \(A^c\) denotes its complementary set. The notation \(A \lesssim B\) is used if \(A \le C B\) for some constant \(C>0\). If the constant C depends on a certain list of relevant parameters L, we use the notations \(C=C_L\) and \(\lesssim _L\). The case of dimension and the integrability parameters p and q may also be suppressed from the notation. The relations \(A \gtrsim _L B\) and \(A \sim _L B\) are defined similarly.
For a Schwartz function f, we define the Fourier transform with the normalisation
As we are most of the time concerned with a priori estimates with Schwartz data, we omit the standing assumption of a function f being Schwartz in the statements of theorems and lemmata. We only mention the assumed regularity if it is other than Schwartz.
A weight function adapted to a ball \(B_R \subset \mathbb {R}^{n+1}\) of radius R and centre c is defined as
where N is a large dimensional constant.
Given \(1< p \le q < \infty \), \(p'\le q\), \(0 < {\bar{\sigma }} \le \sigma _{p,q}\) and \(\varphi \in \Phi _{\textrm{conic}}^+\), we say that there is \((p,q, {\bar{\sigma }})\) local smoothing for \(U_\varphi \) or that a \((p,q,{\bar{\sigma }})\) local smoothing estimate for \(U_\varphi \) holds if
holds for all \(\sigma < {\bar{\sigma }}\). If \({\bar{\sigma }}=\sigma _{p,q}\), we say that there is sharp regularity (p, q) local smoothing for \(U_\varphi \).
2 Initial Reductions
Before proceeding with the proof of Theorem 1.3 we perform some standard reductions which are useful for showing that there is \((p,q, {\bar{\sigma }})\) local smoothing for \(U_\varphi \).
2.1 Dyadic Decomposition
Given \(\varphi \in \Phi _{\textrm{conic}}^+\), the first step is to break up the operator \(U_\varphi \) into pieces which are Fourier supported on dyadic annuli. Let \(\zeta \in C_c^\infty (\mathbb {R})\) with \(\textrm{supp}\,\zeta \subseteq [1/2, 2]\) be such that \(\sum _{k \in \mathbb {Z}} \zeta (2^{-k} r) = 1\) for all \(r>0\). Define \(\eta (\xi ) = \zeta (|\xi |)\) for \(\xi \in \mathbb {R}^n\). Thus,
where \(\eta _k(\xi ):= \eta (2^{-k} \xi )\) and \(\tilde{\eta }:= \sum _{k < 0} \eta _k\). An elementary integration by parts argument quickly reveals that the first term satisfies
for all \(1 \le p \le q \le \infty \). Thus, there is \((p,q,{\bar{\sigma }})\) local smoothing for \(U_\varphi \) if
holds for all \(\varepsilon >0\) with the implicit constant uniform in \(k \ge 0\). By rescaling and setting \(\lambda =2^k\), (2.1) is equivalent to showing
uniformly in \(\lambda \ge 1\), where
We further note that the best constant in (2.2) is comparable to the best constant in
uniformly in \(\lambda \ge 1\). Indeed, set \(\lambda = 2^k\) with \(k \ge 0\). By rescaling
where
Note that we can add for free the Fourier localisation given by \(\tilde{\eta }\). By (2.2) the first term admits the desired bound by geometric summation. By the elementary integration by parts bound \(\Vert U_\varphi (\check{\tilde{\eta }}*f_{j-k}) \Vert _{L^q(\mathbb {R}^n \times [1,2])}\lesssim \Vert f_{j-k} \Vert _{L^q(\mathbb {R}^n)}\) and Bernstein’s inequality, that is,
the second term admits the bound
which is also acceptable. We conclude that the best constant in (2.3) is controlled by the best constant in (2.2). The other direction is immediate.
2.2 A Quantitative Family of Wave Propagators
In Sect. 5 we will show that the class of operators \(\{U_{\varphi }: \varphi \in \Phi _{\textrm{conic}}^+\}\) is invariant under Lorentz rescaling. To show this, it will be convenient to work with a quantitative version of the class \(\Phi _{\textrm{conic}}^+\).
Fix parameters \(D_1, D_2>0, \overrightarrow{\mu }=(\mu _{\min },\mu _{\max } ) \in \mathbb {R}^2_+, M \ge 100n\) and \(\varepsilon _\circ >0\). Let \(b \in C_c^\infty (\mathbb {R}^n)\) be supported in
satisfying
-
(B1)
\(|\partial ^\gamma _\xi b(\xi )| \le D_1\) for all \(\gamma \in \mathbb {N}_0^n\) such that \(|\gamma | \le M\).
Let \(h: \mathbb {R}^n \rightarrow \mathbb {R}\) be a smooth function homogeneous of degree 1 satisfying
-
(H1)
\(h(1,0')=\partial _\xi h (1,0')=0\);
-
(H2)
\(|\partial _{\xi }^{\gamma } h (\xi )| \le D_2\) for all \(\gamma =(\gamma _1,\gamma ') \in \mathbb {N}_0 \times \mathbb {N}^{n-1}_0\) such that \(|\gamma | \le M\) and \(|\gamma '| \ge 3\) and all \(\xi \in \textrm{supp}\,b\);
-
(H3)
\(|\partial ^2_{\xi ' \xi '} h (\xi ) - \frac{1}{\xi _1} \textrm{L} | < \varepsilon _\circ \) for some matrix \(\textrm{L} \in \textrm{GL}(n-1,\mathbb {R})\) with eigenvalues in \([\mu _{\min },\mu _{\max } ]\) and for all \(\xi \in \textrm{supp}\,b\).
It is noted that the above conditions on the derivatives imply, by homogeneity of h, that the remaining derivatives up to order M are bounded by \(C(D_2, \overrightarrow{\mu }, M,n,\varepsilon _\circ )\). We denote by \(\textbf{H}(D_1,D_2,\overrightarrow{\mu },M,\varepsilon _\circ )\) the family of all phase-amplitude pairs [h; b] satisfying B1), H1), H2) and H3), and define
Given a phase \(\varphi \in \Phi _{\textrm{conic}}^+\), the operator \(U_{[\varphi ;\eta ]}\) in (2.2) can be written as a sum of \(C(\varphi ,n)\) operators of the type \(U_{[h;b]}\) with \([h;b] \in \textbf{H}(D_1,D_2,\overrightarrow{\mu },M,\varepsilon _\circ )\).
Proposition 2.1
Let \(n \ge 2\) and \(1< p\le q < \infty \), \(s \in \mathbb {R}\) and \(\varphi \in \Phi ^+_{\textrm{conic}}\). Assume that for any \(D_1,D_2>0\), \(\overrightarrow{\mu } \in \mathbb {R}^2_+\), \(M>100n\), \(\varepsilon _\circ >0\), and all \([h;b] \in \textbf{H} (D_1,D_2,\overrightarrow{\mu }, M, \varepsilon _\circ )\), the inequality
holds uniformly in \(\lambda \ge 1\). Then
holds uniformly in \(\lambda \ge 1\).
Proof
Let \(\varphi \in \Phi ^+_{\textrm{conic}}\). By a finite partition of unity and a rotation in the \(\xi \)-space, we may assume that
for some small constant \(0 < c_\circ \ll 1\). This gives rise to an amplitude b, which satisfies the condition B1) for a dimensional constant \(D_1>0\) depending also on \(\Vert \eta \Vert _{C^M}\), \(c_\circ \), and the partition of unity. Moreover, by a translation of the x-space, one may add and subtract linear terms to replace the phase \(\varphi \) by
It then suffices to verify that h satisfies H1)-H3) for some choice of \(D_2,M, \varepsilon _\circ \), \(\textrm{L}\) and \(\overrightarrow{\mu }\). Note that the dependency on the chosen \(c_\circ \) is admissible in any case.
To show (H1), we observe that h is homogeneous of degree 1 and satisfies \(h(1,0')=\partial _{\xi _1} h(1,0')=\partial _{\xi '} h (1,0')=0\); note that \(\varphi (1,0')=\partial _{\xi _1}\varphi (1,0')\) by homogeneity of \(\varphi \).
Regarding (H2) and (H3), note that \(\partial ^{\gamma }_\xi h(\xi )=\partial ^\gamma _\xi \varphi (\xi )\) for all \(\gamma \in \mathbb {N}_0^n\) such that \(|\gamma |\ge 2\). For fixed \(M>0\), the choice \(D_2=\Vert \varphi \Vert _{C^M}\) clearly verifies H2). Finally, as \(\partial ^2_{\xi ' \xi '} h(\xi )=\partial ^2_{\xi ' \xi '} \varphi (\xi )\), one can take \(\textrm{L}=\partial ^2_{\xi '\xi '}\varphi (1,0')\) and \(\mu _{\max }\) and \(\mu _{\min }\) be its largest and smallest eigenvalues. By the mean value theorem and the bounds on \(|\partial ^\gamma _\xi h(\xi )|\) for \(\gamma \in \mathbb {N}_0^3\) with \(|\gamma |=3\), it is clear that H3) holds with \(\varepsilon _\circ =O_n(c_{\circ }D_{2})\). \(\square \)
2.3 Reduction to a Local Estimate
For fixed time t, the propagators \(U_{[h;b]}\) can be interpreted as Fourier multiplier operators in the x-variable. Thus, one may write \(U_{[h;b]}f(x,t) = K_{[h;b]}(\cdot , t) *f (x)\) where
and \(*\) denotes the convolution in the x-variable. As \([h;b] \in \textbf{H}(D_1, D_2,\overrightarrow{\mu },M,\varepsilon _\circ )\), there exists \(C_{\textbf{H}}>1\) such that \(|\nabla _\xi ( y \cdot \xi + t h(\xi ))| \ge |y|/2 \) for \(|y| \ge C_{\textbf{H}} \lambda \) and \(|t| \le \lambda \). The method of non-stationary phase hence yields
Denoting \(\Psi _\lambda ^{N}:= (1+\lambda ^{-2}|\cdot |^2)^{-N/2}\), one obtains
for \(|t| \le \lambda \) which allows for the following local reduction.
Proposition 2.2
Let \(n \ge 1\), \(1< p \le q < \infty \) and \(s \in \mathbb {R}\). Assume that a phase amplitude pair \([h;b] \in \textbf{H}(D_1, D_2,\overrightarrow{\mu },M,\varepsilon _\circ )\) for some fixed choice of \(D_1\), \(D_2>0\), \(\overrightarrow{\mu } \in \mathbb {R}^2_+\), \(M>100n\), \(\varepsilon _\circ >0\) is given. Assume that
holds uniformly in \(\lambda \ge 1\) and all balls \(B_\lambda ^n\). Then
Proof
Let \(\mathcal {B}_{\lambda }^n\) be a family of finitely overlapping balls \(B_\lambda ^n\) covering \(\mathbb {R}^n\). By (2.5) and (2.6) applied to one has
We used the embedding \(\ell ^p \subseteq \ell ^q\) for \( 1 \le p \le q \le \infty \) and required \(N >\max \{1/q+n(1/q+1/p') - s, n\}\). \(\square \)
Thus, by Sect. 2.1 and Propositions 2.1 and 2.2, Theorem 1.3 follows from the following spatially and frequency localised version for the quantitative class of operators.
Theorem 2.3
Let \(n \ge 2\) and \(1< p\le q < \infty \) be as in Theorem 1.3. Let \(D_1\), \(D_2>0\), \(\overrightarrow{\mu } \in \mathbb {R}^2_+\), \(M>100n\), \(\varepsilon _\circ >0\). Then, for all \([h;b] \in \textbf{H} (D_1, D_2,\overrightarrow{\mu }, M, \varepsilon _\circ )\) and for any \(\varepsilon >0\), the inequality
holds uniformly in \(\lambda \ge 1\) and over all balls \(B_\lambda ^n\), where \(\beta = (n-1)\big (\frac{1}{2}-\frac{1}{p}\big ) + \frac{1}{q} - \sigma _{p,q}\).
Note that (2.7) is translation invariant in the x-variables so that the estimate over any ball \(B_\lambda ^n\) guarantees estimates over all balls \(B_\lambda ^n\).
3 k-Broad Estimates
In this section we recall the definition of the k-broad norm introduced in [13] and state the key k-broad estimates needed in the proof of Theorem 1.3.
3.1 k-Broad Norm
Let \(K \gg 1\) be a fixed large parameter. Fix a maximally \(K^{-1}\)-separated subset of \( \{ 1\} \times B^{n-1}(0,1)\) and for each \(\omega \) belonging to this subset define the \(K^{-1}\)-plate
and set \(\omega _\tau :=\omega \). The collection of all \(K^{-1}\)-plates forms a partition of \(\Xi \) into finitely overlapping subsets. Consider a smooth partition of unity \(\{\chi _{\tau }\}\) adapted to that covering, where \(\chi _{\tau }(\xi ):= \chi (K (\xi '/\xi _1 - \omega _\tau ) )\) for some \(\chi \in C_c^\infty (\mathbb {R}^{n-1})\); and set \(\widehat{f}_\tau := \widehat{f} \chi _\tau \). It is also useful to consider \(\tilde{\chi } \in C_c^\infty (\mathbb {R}^{n-1})\) such that \(\tilde{\chi } \cdot \chi =\chi \) and define \(\tilde{f}_\tau \) by \(\widehat{\tilde{f}}_\tau :=\widehat{f}\tilde{\chi }_\tau \), where \(\tilde{\chi }_\tau \) is defined analogously to \(\chi _\tau \).
Let \(B_{K^2}\) be a ball in \(\mathbb {R}^{n+1}\) of radius \(K^2\), \(\varphi \in \Phi ^+_{\textrm{conic}}\) and \(b \in C^\infty _c(\mathbb {R}^n)\) supported in \(\Xi \). For a fixed integer \(A \ge 1\) and \(1 \le p < \infty \), define
where
- \(\circ \):
-
\(\textrm{Gr}(k-1,n+1)\) is the Grassmannian of all \((k-1)\)-dimensional subspaces in \(\mathbb {R}^{n+1}\);
- \(\circ \):
-
\(G(\tau )\) denotes the set of unit normal vectors
$$\begin{aligned} G(\tau ):= \left\{ \frac{(-\nabla \varphi (\xi ), 1)}{\sqrt{1+|\nabla \varphi (\xi )|}} : \xi \in \tau \right\} ; \end{aligned}$$ - \(\circ \):
-
\(\measuredangle (G(\tau ), V_a)\) denotes the smallest angle between non-zero vectors \(v \in G(\tau )\) and \(v' \in V_a\).
Let \(\mathcal {B}_{K^2}\) be a collection of finitely-overlapping balls \(B_{K^2}\) of radius \(K^2\) which cover \(\mathbb {R}^{n+1}\). Given any open set \(W \subseteq \mathbb {R}^{n+1}\), define the k-broad norm of \(U_{[\varphi ; b]}f\) over W (or k-broad part of \(\Vert U_{[\varphi ;b]} f \Vert _{L^p(W)}\)) by
The quantity \(\Vert U_{[\varphi ;b]} f \Vert _{\textrm{BL}_{k,A}^p(W)}\) is smaller than the left-hand side of the conjectured multilinear estimate (1.9). We refer to [13] and [15, Sect. 6.2] for further discussion regarding its relation with multilinear estimates.
Despite \(\Vert U_{[\varphi ;b]} f \Vert _{\textrm{BL}_{k,A}^p}\) not being literally a norm, it satisfies versions of the triangle and Hölder’s inequalities. The latter will be used in the forthcoming arguments.
Lemma 3.1
([13, Lemma 4.2]) Let \(1 \le p, p_1,p_2 < \infty \) and \(0 \le \alpha \le 1\) such that \(\frac{1}{p}=\frac{\alpha }{p_1} + \frac{1-\alpha }{p_2}\). Suppose that \(A = A_1 + A_2\) for integers \(A_1,A_2 \ge 1\). Then
3.2 k-Broad Estimates for \(U_{[\varphi ;b]}\)
The following k-broad estimates for the wave propagators \(U_{[\varphi ;b]}\) are a key ingredient in the proof of Theorem 1.3.
Theorem 3.2
([8, Theorem 5.3], [32, Theorem 1.2]) Let \(D_1\), \(D_2>0\), \(\overrightarrow{\mu } \in \mathbb {R}^2_+\), \(M>100n\), \(\varepsilon _\circ >0\). For any \(2 \le k \le n+1\) and any \(\varepsilon >0\), there is a large integer \(1 \ll A \lesssim K^\varepsilon \) and \(d_\varepsilon >1\) so that
holds for any \(1\le K^{\varepsilon } \lesssim \lambda ^{\varepsilon ^2}\), any \([h; b] \in \textbf{H}(D_1,D_2,\overrightarrow{\mu },M,\varepsilon _\circ )\) and any \(p \ge \bar{p}_{n,k}:=\frac{2(n+k+1)}{n+k-1}\) uniformly over all balls \(B_\lambda \) of radius \(\lambda \).
Note that the parameter A can be chosen independently of the location of the ball \(B_\lambda \), as a translation of the ball only induces an admissible modulation on \(\widehat{f}\).
3.3 Reverse Hölder Inequality: A Decomposition Lemma
We are not aware of interpolation theorems that would apply to k-broad estimates, but this problem can be circumvented by means of an additional decomposition of the input data if the desired k-broad estimate allows for \(\varepsilon \)-losses. Namely, for functions satisfying a reverse Hölder type inequality, it is straightforward to interpolate k-broad estimates at the expense of increasing the parameter A, and further, bounded \(L^p\) functions can be decomposed, up to an error term, into finitely many pieces satisfying a reverse Hölder inequality. This last fact can be seen as a finite version of the decomposition used in Marcinkiewicz interpolation theorem.
Lemma 3.3
Let \(1 \le p, p_1,p_2, q, q_1, q_2 < \infty \) and \(0 \le \alpha \le 1\) such that \(\frac{1}{p}=\frac{\alpha }{p_1} + \frac{1-\alpha }{p_2}\) and \(\frac{1}{q}=\frac{\alpha }{q_1} + \frac{1-\alpha }{q_2}\). Suppose that \(A=A_1+A_2\) for integers \(A_1,A_2 \ge 1\). Assume that
Then
for all functions f satisfying the reverse Hölder inequality
Proof
This follows from Lemma 3.1 and the hypotheses (3.1) and (3.2). \(\square \)
The relevant decomposition can be found, for instance, in the informal lecture notes [14], but we recall the proof below for completeness.
Lemma 3.4
Let \(1 \le p < \infty \) and fix \(R \ge 1\) and \(m > 0\). Assume that \(f \in L^p(\mathbb {R}^n) \cap L^\infty (\mathbb {R}^n)\). Then f can be written as
where
-
(i)
\(\Vert e \Vert _{L^\infty (\mathbb {R}^n)} \lesssim R^{-m} \Vert f \Vert _{L^\infty (\mathbb {R}^n)}\);
-
(ii)
\(\Vert f^\nu \Vert _{L^r(\mathbb {R}^n)} \lesssim \Vert f \Vert _{L^r(\mathbb {R}^n)}\) for any \(1 \le r \le \infty \) and all \(\nu =0,\dots , m \lfloor \log R \rfloor \);
-
(iii)
if \(1 \le r, r_1, r_2 \le \infty \) satisfy \(\frac{1}{r}= \frac{\alpha }{r_1} + \frac{1-\alpha }{r_2}\) for some \(0 \le \alpha \le 1\), then
$$\begin{aligned} \Vert f^\nu \Vert _{L^{r_1}(\mathbb {R}^n)}^{\alpha } \Vert f^{\nu } \Vert _{L^{r_2}(\mathbb {R}^n)}^{1-\alpha } \le 2 \Vert f^\nu \Vert _{L^r(\mathbb {R}^n)} \end{aligned}$$for all \(\nu =0,\dots , m\lfloor \log R \rfloor \).
Proof
Let \(\nu _{\circ } \in \mathbb {Z}\) such that \(2^{\nu _\circ - 1} < \Vert f \Vert _\infty \le 2^{\nu _\circ }\). For any \(\nu \in \mathbb {Z}\), let and write \(f= \sum _{\nu =- \infty }^{\nu _{\circ }} f^\nu \). Then ii) follows by definition. Because \(1 \le p < \infty \) and
we have that \(|\textrm{supp}\,f^\nu |< \infty \). This immediately implies iii). Furthermore, writing \(f= \sum _{\nu =\nu _{\circ } - m \lfloor \log R \rfloor }^{\nu _\circ } f^\nu + e\) for any fixed \(R \ge 1\) and \(m>0\), one has that \(\Vert e \Vert _{\infty } \lesssim R^{-m} \Vert f \Vert _\infty \). This implies i) and (3.3) follows by relabelling \(\nu \). \(\square \)
3.4 Local Smoothing Estimate for k-Broad Norms
Any local smoothing estimate implies a corresponding k-broad estimate.
Proposition 3.5
Let \(n \ge 1\), \(2 \le k \le n+1\), \(K \ge 2\) and \(A \ge 1\). Let \({\bar{p}}_n \ge \frac{2n}{n-1}\) and assume that the \((\overline{p}_n,\overline{p}_n,1/\overline{p}_n)\) local smoothing estimate holds. Then for any \(\varepsilon >0\), the inequality
also holds for any \(R \ge 1\), with constant independent of A.
Proof
By definition of the k-broad norm and the embedding \(\ell ^{{\bar{p}}_n} \subseteq \ell ^\infty \)
where the sum in \(\tau \) ranges over all \(K^{-1}-\)plates. The claim follows by changing the order of summation, applying the hypothetical local smoothing estimate on \(\Vert U_{[\varphi ;b]} f_\tau \Vert _{L^{{\bar{p}}_n}(B_{R}^n \times [-R,R])}\) (via §2.1) and using the bound \((\sum _\tau \Vert f_\tau \Vert _{{\bar{p}}_n}^{{\bar{p}}_n})^{1/{\bar{p}}_n} \lesssim \Vert f \Vert _{{\bar{p}}_n}\), which follows by interpolation between the cases \(p=2\) and \(p=\infty \). \(\square \)
4 Narrow Decoupling and Flat Phases
If the contribution to \(U_{[\varphi ;b]} f\) comes from plates whose normal vectors lie close to a \((k-1)\)-dimensional subspace, one can essentially use the Bourgain–Demeter decoupling inequality [4] in \(\mathbb {R}^{k-1}\). This phenomenon is normally referred to as narrow decoupling. The case \(\phi (\xi )=|\xi |\) was established by Harris [18, Theorem 2.3] and can be used to show that the same result holds for suitably small perturbations of \(|\xi |\).
Definition 4.1
Let \(D_1,D_2>0\), \(\overrightarrow{\mu }\in \mathbb {R}^2_+\), \(M>100n\), \(\varepsilon _\circ >0\). Let \(L > 0\). Given a phase-amplitude pair \([h;b] \in \textbf{H} (D_1,D_2, \overrightarrow{\mu }, M, \varepsilon _\circ )\), we say that [h; b] is L-flat if
where \(\alpha =(\alpha _1,\alpha ') \in \mathbb {N}_0 \times \mathbb {N}_0^{n-1}\).
If \([h;b] \in \textbf{H}(D_1,D_2,\overrightarrow{\mu },M,\varepsilon _\circ )\) is L-flat, Taylor expansion immediately reveals that
where E is homogeneous of degree 1 and \(|\partial ^\alpha E(\xi )| \lesssim 1\) for all \(|\alpha | \le M-3\) on \(\textrm{supp}\,b\). This concept was introduced in [8] (see also [32]) to deduce the following narrow decoupling inequality.
Theorem 4.2
Let \(n \ge 2\), \(3 \le k \le n+1\) and \(K \ge 2\). Let \(D_1\), \(D_2>0\), \(\overrightarrow{\mu } \in \mathbb {R}^2_+\), \(M>100n\), \(\varepsilon _\circ >0\). Let \([h;b] \in \textbf{H}(D_1,D_2,\overrightarrow{\mu },M,\varepsilon _\circ )\) be \(K^2\)-flat. Then for any \(\varepsilon >0\) and \(N>0\), the inequality
holds for all \(2 \le p \le \frac{2(k-1)}{k-3}\) whenever \(U_{[h;b]}f= \sum _{\tau } U_{[h;b]} f_\tau \) and \(\tau \) are \(K^{-1}\)-plates such that \(\measuredangle (G(\tau ), V) \le K^{-2}\) for some \((k-1)-\)dimensional vector space V.
In order to see this, let \([h;b] \in \textbf{H}(D_1,D_2,\overrightarrow{\mu },M,\varepsilon _\circ )\) be \(K^2\)-flat and let \(\tilde{h}\) denote its second order Taylor polynomial. By a suitable change of variables, the result of Harris for \(\phi (\xi )=|\xi |\) can be extended to the phase \(\tilde{h}\). For the extension to h, let \(\Gamma _h^{K}\) denote the \(K^{-2}\) neighbourhood of the cone generated by h and \(\Gamma _{\tilde{h}}^{K}\) its analogue for \(\tilde{h}\). Because of the \(K^{2}\)-flat hypothesis, the objects \(\Gamma _{h}^{K}\) and \(\Gamma _{\tilde{h}}^{K}\) are indistinguishable from one another and, moreover, the normals to \(\Gamma _h^{K}\) lie in the \(K^{-2}\)-neighbourhood of the normals to \(\Gamma _{\tilde{h}}^{K}\). Hence the decoupling inequality extends to the \(K^{2}\)-flat case (via its equivalent formulation in terms of the Fourier support lying on a neighbourhood of a cone).
5 Lorentz Rescaling
5.1 Lorentz Rescaling
We will next prove that the target estimate (2.7) self-improves if the support of \(\widehat{f}\) is small. This is achieved by applying a standard Lorentz rescaling argument.
Before turning to the proof, it is instructive to compare the situation with Fourier restriction estimates, which are of the type (2.7) but with the right-hand side replaced by \(\Vert \widehat{f} \Vert _p\). Such estimates are invariant under rotations in \(\mathbb {R}^{n+1}\), and one can then apply the rotation \(L(\xi _1, \xi ', \tau )= (\xi _{1} + \tau , \xi ', \tau - \xi _1 )\), where \((\xi _1, \xi ', \tau ) \in \mathbb {R}\times \mathbb {R}^{n-1} \times \mathbb {R}\), which maps the forward light cone \( \Gamma := \{ (\xi , \tau ) \in \mathbb {R}^{n} \times \mathbb {R}: \tau = |\xi |\}\) into the tilted cone \( \Gamma _{\textrm{par}}:=\{ (\xi _1, \xi ', \tau ) \in \mathbb {R}\times \mathbb {R}^{n-1} \times \mathbb {R}: \tau = |\xi '|^2/\xi _1\}\). Thus, Fourier restriction estimates for the phase \(\varphi (\xi )=|\xi |\) follow from those for \(h_{\textrm{par}}(\xi )=|\xi '|^2/\xi _1\). The phase function \(h_{\textrm{par}}\) satisfies the special property of being invariant under Lorentz rescaling, due to its perfect parabolic structure.
The invariance under Lorentz rescaling is no longer true for local smoothing estimates for \(e^{i t \sqrt{-\Delta }}\), as they are not rotationally invariant in \(\mathbb {R}^{n+1}\). However, the class of phase functions in \(\textbf{H}(D_1, D_2,\overrightarrow{\mu },M,\varepsilon _\circ )\) is invariant under rescaling: given a generic h in this class, the rescaled phase \(\tilde{h}\) is different from the original h, but still satisfies H1), H2) and H3). This is the underlying reason for introducing the larger family of wave-propagators \(U_\varphi \) when proving estimates for \(e^{i t \sqrt{-\Delta }}\) via an induction-on-scales argument.
Lemma 5.1
Let \(n \ge 2\) and \(1< p\le q < \infty \) be as in Theorem 1.3. Let \(D_1\), \(D_2>0\), \(\overrightarrow{\mu }\in \mathbb {R}^2_+\), \(M>100n\), \(\varepsilon _\circ >0\) and \(L>0\). Assume (2.7) holds for all \([h;b] \in \textbf{H} (D_1, D_2,\overrightarrow{\mu }, M, \varepsilon _\circ )\) that are L-flat and all \(\lambda \ge 1\). Let \(K \ge 2\) be sufficiently large, depending on n and M, and \(\tau \) be a \(K^{-1}\)-plate. Then
where \(f_\tau \) and \(\tilde{f}_\tau \) are defined as in Sect. 3.1.
Proof
Let \((1,\omega ) \equiv (1, \omega _\tau )\) be the center of the \(K^{-1}\)-plate \(\tau \) upon which \(\widehat{f}_\tau \) is supported. Perform the change of variables \((\xi _1,\xi ')=(\eta _1, \eta _1 \omega + K^{-1} \eta ')\), so that \(h(\xi )=h(\eta _1, \eta _1 \omega + K^{-1} \eta ')\). By a Taylor expansion around \((\eta _1, \eta _1 \omega )\) and the homogeneity of h, \(h(\xi )\) equals to
Let \(\tilde{h}(\eta )\) be the function associated with the integral above,
Let \(\textrm{D}_{K}, \Upsilon _\omega : \mathbb {R}\times \mathbb {R}^{n-1} \times \mathbb {R}\rightarrow \mathbb {R}^{n+1}\) be linear functions given by
Note that
whereFootnote 2
We then have
and
Let \(\mathcal {B}_{R/K^2}\) be a finitely overlapping collection of cylinders of the form
such that
Assuming temporarily that \([\tilde{h};\tilde{b}]\) belongs to \(\textbf{H}(D_1, D_2,\overrightarrow{\mu },M, \varepsilon _\circ )\) and is L-flat, we may use the hypothesis (2.7) on each \(B_{R/K^2}\) to deduce
By Proposition 2.2 (at scale \(R/K^2\)), this implies
Combining this with (5.4) and (5.5) allows us to conclude
It remains to verify that \([\tilde{h};\tilde{b}] \in \textbf{H}(D_1, D_2,\overrightarrow{\mu },M, \varepsilon _\circ )\) and that is L-flat. It follows from the expression of \(\tilde{b}\) in (5.3) that it is supported in \(\Xi \) and satisfies B1) (see footnote 2). Regarding the phase \(\tilde{h}\), it is clear from its definition in (5.2) that it is homogeneous of degree 1. Moreover, either (5.2) and the homogeneity of h, or simply the integral expression (5.1) quickly reveal that
This verifies that H1) holds. Furthermore, note that (5.2) yields
for any \(\gamma ' \in \mathbb {N}_0^{n-1}\) such that \(|\gamma '| \ge 2\). This and the assumptions on h immediately imply H2) and H3) for \(\tilde{h}\), provided that \(K \ge 2\) is sufficiently large depending on M and n. Moreover, as [h; b] is L-flat, the above identity also implies that \([\tilde{h};\tilde{b}]\) is L-flat. \(\square \)
Remark 5.2
We emphasise that if [h; b] is L-flat, then the rescaled pair \([\tilde{h};\tilde{b}]\) is LK-flat, as can be read from the proof above. This fact will be referred to later.
6 Proof of Theorems 1.2 and 1.3
As discussed in Sect. 2, Theorem 1.3 is a consequence of Theorem 2.3, which can be further reduced to an equivalent statement for flat functions. Indeed, fixFootnote 3\(\lambda \gg 1\), \(\varepsilon >0\), and a pair \([h;b] \in \textbf{H}(D_1, D_2,\overrightarrow{\mu },M, \varepsilon _\circ )\). Let \( \tilde{\delta }= \frac{\varepsilon }{2(n-1)}>0\) and decompose the support of b into \(\lambda ^{-\tilde{\delta }}\)-plates. Applying the Lorentz rescaling Lemma 5.1 to each piece, the rescaled phase-amplitude pairs are in \(\textbf{H}(D_1,D_2,\overrightarrow{\mu },M,\varepsilon _\circ )\) and are \(\lambda ^{\tilde{\delta }}\)-flat (see Remark 5.2). As there are \(O(\lambda ^{\tilde{\delta }(n-1)})\) many plates, (2.7) follows if we can prove that for all \([h;b] \in \textbf{H}(D_1,D_2,\overrightarrow{\mu },M,\varepsilon _\circ )\) that are \(\lambda ^{\tilde{\delta }}\)-flat, the inequality
holds uniformly in \(\lambda \ge 1\) and over all balls \(B_\lambda ^n\). Here again
To this end, we introduce the following definition.
Definition 6.1
Given \(\varepsilon >0\), \(R \ge 1\), \(1< p \le q < \infty \) and \(\beta = (n-1)\big (\frac{1}{2}-\frac{1}{p}\big ) + \frac{1}{q} - \sigma _{p,q}\), let \(Q_{\varepsilon ,p,q} (R)\) denote the infimum over all constants \(C \ge 0\) such that the inequality
holds for all cylinders \(B_R = B_R^n \times [-R,R]\), all phase/amplitude pairs \([h;b] \in \textbf{H}(D_1, D_2,\overrightarrow{\mu },M, \varepsilon _\circ )\) that are \(\lambda ^{\varepsilon /(n-1)}\)-flat, all \(\lambda \ge R\) and all functions \(f \in L^p(\mathbb {R}^n)\).
Thus, in order to verify (6.1), it suffices to show that for any \(\varepsilon >0\),
for all \(R\ge 1\). The constant \(C(\varepsilon )\) is allowed to depend on the quantities listed in Definition 6.1, namely p, q, n, \(D_1\), \(D_2\), \(\overrightarrow{\mu } \in \mathbb {R}^2_+\), M and \(\varepsilon _\circ \). We do not track dependencies on them from this point on and, whenever necessary, we refer to them as the data. The proof of (6.2) will proceed via induction on scales.
By the kernel estimate (2.4), the inequality (6.2) holds for small values \(R \lesssim _\varepsilon 1\). This allows us to induct on the quantity R, with \(R \lesssim _\varepsilon 1\) as a base case. In particular, one can state the following induction hypothesis.
Induction Hypothesis
There exists a constant \({\bar{C}}_\varepsilon \) depending only on \(\varepsilon \) and the data such that
holds for all \(1 \le R' \le R/2\).
We shall next show that \(Q_{\varepsilon , p, q}(R) \le {\bar{C}}_\varepsilon \). Let \(f \in L^p(\mathbb {R}^n)\). By the support properties of b, we can assume that \(\textrm{supp}\,\widehat{f} \subseteq B(0,10)\), which by Young’s convolution inequality implies \(f \in L^\infty (\mathbb {R}^n)\). Thus, by Lemma 3.4 and the triangle inequality one has
for any \(m>0\). By Hölder’s inequality and the kernel estimate (2.4), one has
Using that \(\Vert e \Vert _{L^\infty (\mathbb {R}^n)} \lesssim R^{-m} \Vert f \Vert _{L^\infty (\mathbb {R}^n)} \lesssim R^{-m} \Vert f \Vert _{L^p(\mathbb {R}^n)}\), one readily obtains
provided \(m>\frac{n+1}{q} + n\).
6.1 Broad–Narrow Analysis
We shall next perform a Bourgain–Guth broad–narrow analysis (cf. [5, 13]) on each function \(f^\nu \). By Theorem 3.2, there exists an integer \(1 \ll A \lesssim _\varepsilon K^{\varepsilon /2}\) independent of the ball \(B_R\) such that
provided \(K^{\varepsilon /2} \lesssim R^{\varepsilon ^2/4}\). Here \(K \ge 2\) is the parameter used to define the k-broad norm and will be specified later. Moreover, by Proposition 3.5
where \({\bar{p}}_n\) is the (hypothetical) smallest exponent for which sharp local smoothing holds.
By (iii) of Lemma 3.4, \(f^\nu \) satisfies the reverse Hölder inequality (3.2). Hence one can interpolate the above inequalities via Lemma 3.3 and use ii) of Lemma 3.4 to obtain
for
\(2 \le p \le {\bar{p}}_n\) and \({\bar{p}}_{n,k} \le q \le {\bar{p}}_n\).
Consider next the decomposition of the support of b into \(K^{-1}\)-plates \(\tau \). For each \(B_{K^2}\subset B_R\), let \(V_1,\dots , V_{A+1}\) be a collection of \((k-1)\)-dimensional subspaces in \(\mathbb {R}^{n+1}\) attaining the minimum
where \(\tau \not \in V_a\) stands for \(\measuredangle (G(\tau ), V_a) > K^{-2}\) for all \(a=1, \dots , A+1\). Then
When summing over \(B_{K^2} \subset B_R\), the first term corresponds to the broad part \(\Vert U_{[h;b]} f^\nu \Vert _{\textrm{BL}_{k,A+1}^{q}(B_R)}^q\), which satisfies the estimate (6.5). The second term corresponds to the narrow part, for which the plates accumulate on a \((k-1)\)-dimensional subspace. Provided that \(K^2 \le \lambda ^{\varepsilon /(n-1)}\), the pair [h; b] is \(K^2\)-flat. By Theorem 4.2 and Hölder’s inequality, for every \(\delta '>0\) and \(N>0\),
holds for all \(2\le q \le \frac{2(k-1)}{k-3}\) (with \(2 \le q \le \infty \) for \(k \in \{2,3\}\)), using Hölder’s inequality in the sum and noting that there are \(O(K^{k-3})\) \(K^{-1}\)-plates \(\tau \in V_a\). As we have already taken advantage of the reduced number of plates, we can further control the sum over \(\tau \in V_a\) by the sum over all \( K^{-1}\)-plates \(\tau \). Thus, summing over a and the balls \(B_{K^2} \subset B_R\),
where we used \(\sum _{B_{K^2} \subset B_R} w_{B_{K^2}}^N \lesssim w_{B_R}^N\).
Next, note that for any \(\delta >0\) and \(\tilde{N}>0\) one has
This follows from the kernel estimate (2.4) and the decay of the weight \(w_{B_R}^N\) on \(\mathbb {R}^{n+1}\backslash R^\delta B_R\) provided N is chosen sufficiently large depending on \(\delta , \tilde{N}, p, q\) and n. Applying a trivial decoupling (via the triangle inequality) of \(K^{-1}\)-plates \(\tau \) into \((KR^{\delta /2})^{-1}\)-plates \(\tau '\), we obtain
where we have used \(A \lesssim K^{\varepsilon /2}\) and the constant depends on \(\delta ,\delta ',\tilde{N}\). Using the Lorentz rescaling in Lemma 5.1 and the induction hypothesis \(Q_{\varepsilon , p, q}(R') \le {\bar{C}}_{\varepsilon }\) with
one has
By the embedding \(\ell ^p \subseteq \ell ^q\) for \(p \le q\); the bounds
which follow by interpolation between \(p=2\) and \(p=\infty \); ii) of Lemma 3.4, that is, \(\Vert f^\nu \Vert _{L^p(\mathbb {R}^n)} \le \Vert f \Vert _{L^p(\mathbb {R}^n)}\); and choosing \(\tilde{N}\) sufficiently large, one has that the right-hand side of (6.6) is controlled by
6.2 Closing the Induction
By (6.3), the estimates (6.5) and (6.7) for each \(\nu =0, \dots , m \lfloor \log R \rfloor \), where \(m > \frac{n+1}{q}+n\), and the error estimate (6.4), one obtains
where
and
\(2 \le p \le {\bar{p}}_n\), \({\bar{p}}_{n,k} \le q \le {\bar{p}}_n\). Here \(D(\cdot )\) is a constant depending on the data as described after Definition 6.1 and the arguments in the parenthesis but not on K and not on R. It is allowed to change from line to line.
We need to show that \(\log R \cdot ({{\,\textrm{I}\,}}+ {{\,\textrm{II}\,}}) \le {\bar{C}}_\varepsilon R^{\beta +\varepsilon }\). This will require the exponent of K in the second term of the right-hand side above to be negative. It is useful to note that
as
We next analyse what choices of p, q and k allow us to close the induction and lead to sharp estimates on the critical line and off the critical line respectively.
6.2.1 Sharp Regularity Estimates on the Critical Line
If \({\bar{\sigma }}=\sigma _{p,q}=1/q\) and (1/p, 1/q) is on the critical line
the expression in (6.9) equals to 0. Thus, the exponent of K in the second term of the right-hand side of (6.8) can only be negative if \(k=2\) or \(k=3\). Note that the critical line (6.10) meets the interpolation line
at
which satisfy \(2 \le p(k) \le {\bar{p}}_n\), \({\bar{p}}_{n,k} \le q(k) \le {\bar{p}}_n\) for \(2 \le k \le n+1\). As q(k) decreases with k, the best estimates are obtained using \(k=3\), which is the highest possible k that is still admissible. It is then our goal to show that
To this end, consider (6.8) and use the bounds \(\log R \lesssim _{\varepsilon } R^{\varepsilon /4}\) for the first term \({{\,\textrm{I}\,}}\) and \(\log R \lesssim _{\delta } R^{\delta (n-1)/2}\) for the second term \({{\,\textrm{II}\,}}\); recall that \(R \gtrsim _\varepsilon 1\). As \(\beta =(n-1)(\frac{1}{2}-\frac{1}{p})\), the inequality (6.8) now reads
Choose \(\delta '=\varepsilon /2\) so that \(K^{\delta '-\varepsilon }=K^{-\varepsilon /2}\). Then choose \(K=K_0 R^{2\delta (n-1)/\varepsilon }\) for sufficiently large \(K_0 \ge 1\), depending on \(\delta \), \(\varepsilon \) and the data so that \(D(\delta ,\delta ')K_0^{-\varepsilon /2} \le 1/2\). Then
with \(K=K_0 R^{2\delta (n-1)/\varepsilon }\). We choose
Finally, choose \({\bar{C}}_{\varepsilon }\) large enough so that
which is admissible as the parameter \(K_0\) only depends on \(\varepsilon \) and the data. One then concludes that
using the first value in the definition of \(\delta \), which is the desired estimate (6.12). This closes the induction provided we can verify the flatness condition \(K^2 \le \lambda ^{\varepsilon /(n-1)}\) and the condition \(K^{\varepsilon /2} \lesssim R^{\varepsilon ^2/4}\) required by the broad estimate. Note that by the second entry in the definition of \(\delta \), and using \(R \le \lambda \),
as \(\lambda \gg 1\) and the parameter \(K_0\) only depends on \(\varepsilon \) and the data. Similarly, by the first entry in the definition of \(\delta \),
as we are only concerned with \(R \gtrsim _\varepsilon 1\).
Therefore a sharp \((p(3),q(3),\sigma _{p(3), q(3)})\) local smoothing estimate holds, and a further interpolation with the elementary \((1,\infty ,0)\) estimate yields the estimates \((p,q,\sigma _{p,q})\) on the critical line (6.10) for all \(q \ge q(3)\). This proves Theorem 1.2.
6.2.2 Sharp Regularity Estimates Away from the Critical Line
Consider first the case
with \(p \le q\), \(p'<q\). For this data, the expression (6.9) is identically zero for any pair (p, q). Thus, the only possibilities for the exponent of K to be negative in (6.8) are again \(k=2\) and \(k=3\). The estimates arising repeating the above analysis are implied by the interpolation of the sharp estimates \((p,q,\sigma _{p,q})\) for \(q \ge q(3)\) in the critical line (6.10) with the fixed-time estimate \(p=q=2\). This proves the sharp bounds in the region \(\mathfrak {T}_n \backslash \overline{P_1P_2}\) in Theorem 1.3.
Consider next the case
Using the relation (6.9), one has that the exponent of K in the second term in (6.8) is negative provided that
We are thus allowed to use higher values for \(k \ge 3\). For (p, q) in the interpolation line (6.11), the condition (6.13) is saturated at \((p,q)=({\bar{p}} (k), {\bar{q}} (k))\), where
The pair of exponents \(({\bar{p}}(k),{\bar{q}}(k))\) satisfies the constraints
for any integer \(2 \le k \le n+1\). Arguing as for the critical line, one can close the induction and obtain the sharp estimate
This yields a set of \((p,q,\sigma _{p,q})\) local smoothing estimates for each \(2 \le k \le n+1\), which can all be interpolated together with \((1/{\bar{p}}_n, 1 / {\bar{p}}_n)\) and the fixed time estimates at \(P_0=(0,0)\), \(P_1=(1,0)\) from (1.10) to yield sharp estimates for \((1/p,1/q) \in \mathfrak {P}_n \backslash \overline{P_0P_1}\). This proves Theorem 1.3.
Remark
Despite the focus of this paper on sharp regularity local smoothing estimates, it is also natural to explore what are the (not necessarily sharp) regularity estimates that the use of higher degrees of multilinearity would imply on the critical line (6.10). In order to close the induction in the proof of Theorem 1.2, one requires the exponent of K in the second term in the right-hand side of (6.8) to be negative. By (6.9), this requires
Note that \(0 < \sigma (k) \le 1/q(k)\) if \(2 \le q(k) < \frac{2(k-1)}{k-3}\). Controlling \(R^{(n-1)(\frac{1}{2}-\frac{1}{p})} \le R^{\beta }\), one can then argue as above to obtain, for each fixed k, a \((p(k),q(k),\sigma (k))\) local smoothing estimate. However, with the input \({\bar{p}}_n=\frac{2(n+1)}{n-1}\), such estimates are worse than those obtained by interpolation of the case \(k=3\) and the known local smoothing estimates for all \(\sigma < 1/(2p)\) at \(p=q=\frac{2n}{n-1}\), which themselves follow by interpolation from the sharp estimates at \({\bar{p}}_n=\frac{2(n+1)}{n-1}\) and \(L^2\). Indeed, that interpolation yields \((p,q,\sigma ^*)\) estimates on the critical line (6.10) with
One can hence verify that for \(q=q(k)\), one has \(\sigma ^*>\sigma (k)\) if \(k>3\). Better non-sharp regularity results could be obtained by interpolation with the most recent results at \(p=q=\frac{2n}{n-1}\) from [8]. The computation is left to the interested reader.
Change history
21 November 2022
Missing Open Access funding information has been added in the Funding Note.
Notes
It is also expected that endpoint regularity results with \(\sigma =1/p\) should hold if \(p>2n/(n-1)\): see [19] for results in this direction if \(n \ge 4\). Similarly, the forthcoming Conjecture 1.1 could hold for endpoint regularity cases \(\sigma =\sigma _{p,q}\). Such endpoint cases will not be considered in this paper.
Technically, one should divide \(\tilde{b}\) and multiply g by a dimensional constant to ensure that \(\tilde{b}\) satisfies B1). This only causes an admissible dimensional constant loss in the resulting inequality.
References
Bejenaru, I.: The almost optimal multilinear restriction estimate for hypersurfaces with curvature: the case of \(n-1\) hypersurfaces in \(\mathbb{R}^n\). Int. Math. Res. Not. IMRN . https://doi.org/10.1093/imrn/rnab208
Beltran, D., Ramos, J.P., Saari, O.: Regularity of fractional maximal functions through Fourier multipliers. J. Funct. Anal. 276(6), 1875–1892 (2019)
Bennett, J., Carbery, A., Tao, T.: On the multilinear restriction and Kakeya conjectures. Acta Math. 196(2), 261–302 (2006)
Bourgain, J., Demeter, C.: The proof of the \(l^2\) decoupling conjecture. Ann. Math. (2) 182(1), 351–389 (2015)
Bourgain, J., Guth, L.: Bounds on oscillatory integral operators based on multilinear estimates. Geom. Funct. Anal. 21(6), 1239–1295 (2011)
Brenner, P.: On \(L_{p}-L_{p^{\prime } }\) estimates for the wave-equation. Math. Z. 145(3), 251–254 (1975)
Córdoba, A.: Geometric Fourier analysis. Ann. Inst. Fourier (Grenoble) 32(3), 215–226 (1982)
Gao, C., Liu, B., Miao, C., Xi, Y.: Improved local smoothing estimate for the wave equation in higher dimensions. arXiv:2108.06870 (2021)
Gao, C., Miao, C., Zheng, J.: Improved local smoothing estimates for the fractional Schrödinger operator. Bull. Lond. Math. Soc. 54(1), 54–70 (2022)
Garrigós, G., Seeger, A.: On plate decompositions of cone multipliers. Proc. Edinb. Math. Soc. (2) 52(3), 631–651 (2009)
Garrigós, G., Seeger, A.: A mixed norm variant of Wolff’s inequality for paraboloids. In Harmonic analysis and partial differential equations, volume 505 of Contemp. Math. pp. 179–197. American Mathematical Society, Providence (2010)
Guth, L.: A restriction estimate using polynomial partitioning. J. Am. Math. Soc. 29(2), 371–413 (2016)
Guth, L.: Restriction estimates using polynomial partitioning II. Acta Math. 221(1), 81–142 (2018)
Guth, L.: Decoupling seminar notes. http://math.mit.edu/~lguth/decouplingseminar/
Guth, L., Hickman, J., Iliopoulou, M.: Sharp estimates for oscillatory integral operators via polynomial partitioning. Acta Math. 223(2), 251–376 (2019)
Guth, L., Wang, H., Zhang, R.: A sharp square function estimate for the cone in \(\mathbb{R} ^{3}\). Ann. Math. (2) 192(2), 551–581 (2020)
Ham, S., Ko, H., Lee, S.: Circular average relative to fractal measures. Commun. Pure Appl. Anal. (2021). https://doi.org/10.3934/cpaa.2022100
Harris, T.L.J.: Improved decay of conical averages of the Fourier transform. Proc. Am. Math. Soc. 147(11), 4781–4796 (2019)
Heo, Y., Nazarov, F., Seeger, A.: Radial Fourier multipliers in high dimensions. Acta Math. 206(1), 55–92 (2011)
Łaba, I., Wolff, T.: A local smoothing estimate in higher dimensions. J. Anal. Math. 88, 149–171 (2002)
Lee, S.: Endpoint estimates for the circular maximal function. Proc. Am. Math. Soc. 131(5), 1433–1442 (2003)
Lee, S.: Linear and bilinear estimates for oscillatory integral operators related to restriction to hypersurfaces. J. Funct. Anal. 241(1), 56–98 (2006)
Lee, J.: A trilinear approach to square function and local smoothing estimates for the wave operator. Indiana Univ. Math. J. 69(6), 2005–2033 (2020)
Lee, S., Seeger, A.: Lebesgue space estimates for a class of Fourier integral operators associated with wave propagation. Math. Nachr. 286(7), 743–755 (2013)
Lee, S., Vargas, A.: On the cone multiplier in \(\mathbb{R} ^3\). J. Funct. Anal. 263(4), 925–940 (2012)
Littman, W.: \(L^{p}-L^{q}\)-estimates for singular integral operators arising from hyperbolic equations. In Partial differential equations (Proc. Sympos. Pure Math., Vol. XXIII, Univ. California, Berkeley, Calif., 1971), pp. 479–481 (1973)
Miyachi, A.: On some estimates for the wave equation in \(L^{p}\) and \(H^{p}\). J. Fac. Sci. Univ. Tokyo Sect. IA Math. 27(2), 331–354 (1980)
Mockenhaupt, G.: A note on the cone multiplier. Proc. Am. Math. Soc. 117(1), 145–152 (1993)
Mockenhaupt, G., Seeger, A., Sogge, C.D.: Wave front sets, local smoothing and Bourgain’s circular maximal theorem. Ann. Math. (2) 136(1), 207–218 (1992)
Ou, Y., Wang, H.: A cone restriction estimate using polynomial partitioning. J. Eur. Math. Soc. (JEMS) 24(10), 3557–3595 (2022)
Peral, J.C.: \(L^{p}\) estimates for the wave equation. J. Funct. Anal. 36(1), 114–145 (1980)
Schippa, R.: Oscillatory integral operators with homogeneous phase functions. arXiv:2109.14040 (2021)
Schlag, W., Sogge, C.D.: Local smoothing estimates related to the circular maximal theorem. Math. Res. Lett. 4(1), 1–15 (1997)
Sogge, C.D.: Propagation of singularities and maximal functions in the plane. Invent. Math. 104(2), 349–376 (1991)
Stein, E.M.: Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, volume 43 of Princeton Mathematical Series. Princeton University Press, Princeton, NJ, 1993. With the assistance of Timothy S. Murphy, Monographs in Harmonic Analysis, III
Strichartz, R.S.: Convolutions with kernels having singularities on a sphere. Trans. Am. Math. Soc. 148, 461–471 (1970)
Strichartz, R.S.: Restrictions of Fourier transforms to quadratic surfaces and decay of solutions of wave equations. Duke Math. J. 44(3), 705–714 (1977)
Tao, T.: The Bochner–Riesz conjecture implies the restriction conjecture. Duke Math. J. 96(2), 363–375 (1999)
Tao, T.: Endpoint bilinear restriction theorems for the cone, and some sharp null form estimates. Math. Z. 238(2), 215–268 (2001)
Tao, T., Vargas, A.: A bilinear approach to cone multipliers. II. Applications. Geom. Funct. Anal. 10(1), 216–258 (2000)
Wolff, T.: Local smoothing type estimates on \(L^p\) for large \(p\). Geom. Funct. Anal. 10(5), 1237–1288 (2000)
Wolff, T.: A sharp bilinear cone restriction estimate. Ann. Math. (2) 153(3), 661–698 (2001)
Acknowledgements
We would like to thank Chuanwei Gao, Bochen Liu, Changxing Miao, Jiqiang Zheng and Yakun Xi for communications regarding their related works [8, 9] concerning the case \(q=p\) and the current manuscript. D.B. was supported by the NSF grant DMS-1954479. O.S. was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy - EXC-2047/1 - 390685813 as well as the SFB 1060.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Virginia Naibo.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Beltran, D., Saari, O. \(L^p-L^q\) Local Smoothing Estimates for the Wave Equation via k-Broad Fourier Restriction. J Fourier Anal Appl 28, 76 (2022). https://doi.org/10.1007/s00041-022-09968-w
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00041-022-09968-w