Abstract
We prove a class of modified paraboloid restriction estimates with a loss of angular derivatives for the full set of paraboloid restriction conjecture indices. This result generalizes the paraboloid restriction estimate in radial case from [Shao, Rev. Mat. Iberoam. 25(2009), 1127–1168], as well as the result from [Miao et al. Proc. AMS 140(2012), 2091–2102]. As an application, we show a local smoothing estimate for a solution of the linear Schrödinger equation under the assumption that the initial datum has additional angular regularity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let S be a non-empty smooth compact subset of the paraboloid,
where \(n\ge 1\). We denote by \(d\sigma \) the pull-back of the n-dimensional Lebesgue measure \(d\xi \) under the projection map \((\tau ,\xi )\mapsto \xi \). Let f be a Schwartz function and define the inverse space-time Fourier transform of the measure \(fd\sigma \)
The classical linear adjoint restriction estimate for the paraboloid reads
where \(1\le p,q\le \infty \). The famous restriction problem is to find the optimal range of p and q such that the estimate (1.2) holds. It is known that the condition
is necessary for (1.2), see [24, 29]. Here \(p'\) denotes the conjugate exponent of p. The adjoint restriction estimate conjecture on paraboloid reads as follows.
Conjecture 1.1
The inequality (1.2) holds true if and only if inequalities (1.3) are valid.
There is a large amount of literature on this problem. For \(n=1\), Conjecture 1.1 was proved by Fefferman-Stein [11] for the non-endpoint case and by Zygmund [36] for the endpoint case. Conjecture 1.1 in high dimension case becomes much more difficult. For \(n\ge 2\), Tomas [33] showed (1.2) for \(q>{2(n+2)}/n\), and Stein [25] fixed the limit case \(q={2(n+2)}/n\). Bourgain [1] further proved estimate (1.2) for \(q>2(n+2)/n-\epsilon _n\) with some \(\epsilon _n>0\); in particular, \(\epsilon _n=\frac{2}{15}\) when \(n=2\). Further improvements were made by Moyua-Vargas-Vega [16] and Wolff [34]. Tao [31] used the bilinear argument to show that estimate (1.2) holds true for \(q>{2(n+3)}/{(n+1)}\) with \(n\ge 2\). This result was improved by Bourgain-Guth [2] when \(n\ge 4\). This conjecture is so difficult that it remains open up to now. For more details, we refer the reader to [2, 29,30,31,32, 34].
On the other hand, the restriction conjecture becomes simpler (but not trivial) when a test function has some angular regularity. For example, Conjecture 1.1 is proved by Shao [22] when test functions are cylindrically symmetric and are supported on a dyadic subset of the paraboloid in the form of
Indeed, many famous conjectures in harmonic analysis (such as Fourier restriction estimates, Bochner-Riesz estimate etc.) have easier counterparts when the corresponding operators act on radial functions. Let \({\mathbb {S}}^{n-1}\) denote the unit sphere in \({\mathbb {R}}^n\) and \(L^q_{\text {sph}} := L^{q}_\theta ({\mathbb {S}}^{n-1})\), the intermediate situation is to replace the \(L^q({\mathbb {R}}^n)\) by \(L^q_{r^{n-1}dr}L^2_{\text {sph}}\) in (1.2). This intermediate case has been settled for adjoint restriction estimates for a cone by the authors of [17]. More precisely, if S is a non-empty smooth compact subset of the cone:
then for \(q>{2n}/(n-1)\) and \((n+1)/q\le (n-1)/p'\) we have
The \(L^2_{\text {sph}}\)-norm allows us to use spherical harmonic expanding, so the problem is converted to \(L^q(\ell ^2)\)-bounds for sequences of operators \(\{H_{k}\}\) where each \(H_k\) is an operator acting on radial functions. The pioneering paper using such intermediate space is the Mockenhaupt Diploma in which he proved weighted \(L^p\) inequalities and then sharp \(L^p_{\mathrm {rad}}(L^2_\mathrm {sph})\rightarrow L^p_{\mathrm {rad}}(L^2_\mathrm {sph})\) estimates for the disc multiplier operator, see either Mockenhaupt [14] or Córdoba [5]. Sharp endpoint bounds for the disk multiplier were obtained by Carbery-Romera-Soria [4]. Müller-Seeger [15] established some sharp mixed spacetime \(L^p_{\mathrm {rad}}(L^2_\mathrm {sph})\) estimates in order to study a local smoothing of solutions for the linear wave equation. Córdoba-Latorre [9] revisited some classical conjecture including restriction estimate in harmonic analysis in this kind of mixed space-time. Gigante-Soria [12] studied a related mixed norm problem for Schrödinger maximal operators. Concerning the sphere restriction conjecture, Carli-Grafakos [7] also treated the same problem for spherically-symmetric functions and Cho-Guo-Lee [8] showed a restriction estimate for \(q>2(n+1)/n\) and \(s\ge (n+2)/q-n/2\)
where \(d\sigma \) is the induced Lebesgue measure on \({\mathbb {S}}^{n}\) and \(H^s({\mathbb {S}}^{n})\) denote the \(L^2\)-Sobolev space of order s on the sphere. An advantage of the proof consists in a fact that inequality (1.5) is based on \(L^2\)-spaces. The advantage of using the \(L^2\)-based Hilbert space also allows us to use effective the \(TT^*\) arguments to obtain Strichartz estimate with a wider range of admissible indexes by compensating with extra regularity in angular direction; see Sterbenz [21] for wave equation, Cho-Lee [9] for general dispersive equations and the authors [18] for wave equation with an inverse-square potential. Concerning other results in this direction, Cho-Hwang-Kwon-Lee [10] studied profile decompositions of fractional Schrödinger equations under the angular regularity assumption.
In this paper, we prove that estimate (1.2) holds for all p, q in (1.3) by compensating with some loss of angular derivatives. Our strategy is to use a spherical harmonic expanding as well as localized restriction estimates. In contrast to the radial case, e.g. [7, 22], the main difficulty comes from the asymptotic behavior of the Bessel function \(J_{\nu }(r)\) when \(\nu \gg 1\). It is worth to point out that the method of treating cone restriction [17] is not valid since it can not be used to exploit the curvature property of paraboloid multiplier \(e^{it|\xi |^2}\). We note that the bilinear argument used in [22], which is in spirit of Carleson-Sjölin argument or equivalently the \(TT^*\) argument, can be used to deal with the oscillation of the paraboloid multiplier. To use this argument, one needs to write the Bessel function \(J_\nu (r)\sim c_\nu r^{-1/2}e^{ir}\) when \(r\gg 1\). This expression works well for small \(\nu \) (corresponding to the radial case) but it seems complicate to write the Bessel function in that form when \(\nu \gg 1\). Indeed, as in [37], one can do this when \(\nu ^2\ll r\), but it will cause more loss of derivative for the case \(\nu \lesssim r\lesssim \nu ^2\), since it is difficult to capture simultaneously the oscillation and decay behavior of \(J_{\nu }(r)\). Our new idea here is to establish a \(L^4_{t,x}\)-localized restriction estimate by directly analyzing the kernel associated with the Bessel function. The key ingredient is to explore the decay and oscillation property of \(J_\nu (r)\) for \(r\gg \nu \), and resonant property of paraboloid multiplier. We also have to overcome low decay shortage of \(J_{\nu }(r)\) (when \(\nu \sim r\gg 1\)) by compensating a loss of angular regularity.
Before stating the main theorem, we introduce some notation. Incorporating the angular regularity, we set the infinitesimal generators of the rotations on Euclidean space:
and define for \(s\in {\mathbb {R}}\)
Hence \(\Delta _{\theta }\) is the Laplace-Beltrami operator on \({\mathbb {S}}^{n-1}\). Define the Sobolev norm \(\Vert \cdot \Vert _{H^{s,p}_{\text {sph}}({\mathbb {R}}^n)}\) by setting
Given a constant A, we briefly write \(A+\epsilon \) as \(A_+\) or \(A-\epsilon \) as \(A_-\) for \(0<\epsilon \ll 1\).
Our main result is the following one.
Theorem 1.1
Let \(n\ge 2\). The following estimates hold for all Schwartz functions f
-
if \(q_0=(2(n+1)/n)_+\) and \((n+2)/q_0=n/p_0'\), then
$$\begin{aligned} \Vert (fd\sigma )^{\vee }\Vert _{L^{q_0}_{t,x}({\mathbb {R}}\times {\mathbb {R}}^n)}\le C_{p,q_0,n,S}\Vert f(|\xi |^2,\xi )\Vert _{H^{\sigma _0,p_0}_{\mathrm {sph}}({\mathbb {R}}^n_{\xi })}, \end{aligned}$$(1.7)where \(\sigma _0=(n-2)\big (\frac{1}{2}-\frac{1}{q_0}\big )+\frac{2}{q_0}\);
-
if \(1\le q,p\le \infty \) satisfy (1.3), then
$$\begin{aligned} \Vert (fd\sigma )^{\vee }\Vert _{L^q_{t,x}({\mathbb {R}}\times {\mathbb {R}}^n)}\le C_{p,q,n,S}\Vert (1+|\Omega |)^{s} f\Vert _{L^p(S;d\sigma )}, \end{aligned}$$(1.8)
where \(s=s(q,n)=\sigma _0\alpha \) and \(0\le \alpha \le 1\) satisfying \(1/q=\alpha /q_0+(1-\alpha )/q_1\). Here \(q_1=q(n)_+\) with \(q(n)=2+12/(4n+1-k)\) if \(n+1\equiv k (\text {mod}~3), k=-1,0,1\) as in Bourgain-Guth [2, Theorem 1].
Remark 1.1
Estimate (1.8) is an interpolation consequence of (1.7) and \(L^p\)-estimates in Bourgain-Guth [2]. Inequality (1.8) leads to the linear adjoint restriction estimate when \(q\in (2(n+1)/n, q(n)]\) with some loss of angular derivatives.
Remark 1.2
Since the sphere \({\mathbb {S}}^n=\{(\tau ,\xi ): |\tau |^2+|\xi |^2=1\}\) is closely related to the paraboloid in sense of Taylor expansion \(\sqrt{1-\rho ^2}=1-\frac{1}{2} \rho ^2+O(\rho ^4)\) near \(\rho =0\), it seems to be possible to show some modified version of (1.5) with \(H^{s,p}({\mathbb {S}}^n)\)-norm on right hand side.
As an application of the modified restriction estimate, we show a result on the local smoothing estimate for the Schödinger equation for initial data with additional conditions angular regularity by Rogers’s argument in [20]. Our result here extend [20, Theorem 1] from \(q>2(n+3)/(n+1)\) to \(q>2(n+1)/n\) under the assumption that initial data has additional angular regularity.
More precisely, we have the following local smoothing result.
Corollary 1.1
Let \(n\ge 2\), \(q>2(n+1)/n\) and s be as in Theorem 1.1. Then
where \(\alpha >2n(1/2-1/q)-2/q\) and \(W^{\alpha ,q}({\mathbb {R}}^n)\) is the Sobolev space.
This paper is organized as follows: In Sect. 2, we introduce notation and present some basic facts about spherical harmonics and Bessel functions. Furthermore, we use the stationary phase argument to prove some properties of Bessel functions. Section 3 is devoted to the proof of Theorem 1.1. In Sect. 4, we prove the key Proposition 3.1. We prove Corollary 1.1 in the final section.
2 Preliminaries
2.1 Notation
We use \(A\lesssim B\) to denote the statement that \(A\le CB\) for some large constant C which may vary from line to line and depend on various parameters, and similarly employ \(A\sim B\) to denote the statement that \(A\lesssim B\lesssim A\). We also use \(A\ll B\) to denote the statement \(A\le C^{-1} B\). If a constant C depends on a special parameter other than the above, we shall write it explicitly by subscripts. For instance, \(C_\epsilon \) should be understood as a positive constant not only depending on p, q, n and S, but also on \(\epsilon \). Throughout this paper, pairs of conjugate indices are written as \(p, p'\), where \(\frac{1}{p}+\frac{1}{p'}=1\) with \(1\le p\le \infty \). Let \(R>0\) be a dyadic number, we define the dyadic annulus in \({\mathbb {R}}^n\) by
For each \(M\in 2^{{\mathbb {Z}}}\), we define \({{\mathbb {L}}}_M\) to be the class of Schwartz functions supported on a dyadic subset of the paraboloid in the form of
2.2 Spherical harmonics expansions and Bessel function
We recall an expansion formula with respect to the spherical harmonics. Let
For every \(g\in L^2({\mathbb {R}}^n)\), we have the expansion formula
where
is the orthogonal basis of the spherical harmonics space of degree k on \({\mathbb {S}}^{n-1}\). This space is recorded by \({\mathcal {H}}^{k}\) and it has the dimension
It is clear that we have the orthogonal decomposition of \(L^2({\mathbb {S}}^{n-1})\)
It follows that
Using the spherical harmonic expansion, as well as [19, 28], we define the action of \((1-\Delta _\omega )^{s/2}\) on g as follows
Given \(s,s'\ge 0\) and \(p,q\ge 1\), define
where \(\mu (\rho )=\rho ^{n-1}d\rho \).
For our purpose, we need the inverse Fourier transform of \(a_{k,\ell }(\rho )Y_{k,\ell }(\omega )\). We recall the Bochner-Hecke formula, see [13] and [26, Theorem 3.10]
Here \(\nu (k)=k+\frac{n-2}{2}\) and the Bessel function \(J_{\nu }(r)\) of order \(\nu \) is defined by
where \(\nu >-1/2\) and \(r>0\). It is easy to verify that there exists a constant C independent of \(\nu \) such that
To investigate a behavior of asymptotic bound on \(\nu \) and r, we recall the Schläfli integral representation [35] of the Bessel function: for \(r\in {\mathbb {R}}^+\) and \(\nu >-\frac{1}{2}\)
Clearly, \(E_\nu (r)=0\) when \(\nu \in {\mathbb {Z}}^+\). An easy computation shows that
There is a number of references for the asymptotic behavior of a Bessel function, see e.g. [9, 23, 25, 35]. We recall some properties of a Bessel function for a convenience.
Lemma 2.1
(Asymptotics of Bessel functions) Let \(\nu \gg 1\) and let \(J_\nu (r)\) be the Bessel function of order \(\nu \) defined as above. Then there exists a large constant C and small constant c independent of \(\nu \) and r such that:
-
When \(r\le \frac{\nu }{2}\), we have
$$\begin{aligned} |J_\nu (r)|\le C e^{-c(\nu +r)}; \end{aligned}$$(2.9) -
When \(\frac{\nu }{2}\le r\le 2\nu \), we have
$$\begin{aligned} |J_\nu (r)|\le C \nu ^{-\frac{1}{3}}(\nu ^{-\frac{1}{3}}|r-\nu |+1)^{-\frac{1}{4}}; \end{aligned}$$(2.10) -
When \(r\ge 2\nu \), we have
$$\begin{aligned} J_\nu (r)=r^{-\frac{1}{2}}\sum \limits _{\pm }a_\pm (\nu ,r) e^{\pm ir}+E(\nu ,r), \end{aligned}$$(2.11)
where \(|a_\pm (\nu ,r)|\le C\) and \(|E(\nu ,r)|\le Cr^{-1}\).
3 Proof of Theorem 1.1
In this section, we prove Theorem 1.1 by using some localized linear estimates whose proof are postpone to the next section. Since inequality (1.7) is a special case of (1.8), we aim to prove (1.8). Since (1.8) is a direct consequence of the Stein-Tomas inequality [25] for the case \(p\le 2\), it suffices to prove (1.8) for the case \(p\ge 2\). More precisely, we will only establish the estimate for \(q>{2(n+1)}/{n}\), \((n+2)/q={n}/{p'}\) with \(p\ge 2\)
Recall the notation \({\mathbb {L}}_M\) and \(A_R\) in the Sect. 2.1. We decompose f into a sum of dyadic supported functions
where \(f_M=f\chi _{\{(\tau ,\xi ):\tau =|\xi |^2, M\le |\xi |\le 2M\}}\in {{\mathbb {L}}}_{M}\). It follows that
To prove (3.1), we need localized linear restriction estimates.
Proposition 3.1
Assume \(f\in {{\mathbb {L}}}_1\) and \(R>0\) is a dyadic number. Then the following linear restriction estimates hold true.
-
Let \(q=2\), then
$$\begin{aligned} \Vert (fd\sigma )^\vee \Vert _{L^2_{t,x}({\mathbb {R}}\times A_R)}\lesssim \min \left\{ R^\frac{1}{2}, R^{\frac{n}{2}}\right\} \Vert f\Vert _{L^2(S;d\sigma )}. \end{aligned}$$(3.3) -
Let \(q=3p'\) with \(2\le p\le 4\) and \(\sigma =(n-2)(\frac{1}{2}-\frac{1}{q})+\frac{2}{q}\), \(0<\epsilon \ll 1\), then
$$\begin{aligned} \Vert (fd\sigma )^\vee \Vert _{L^q_{t,x}({\mathbb {R}}\times A_R)}\lesssim \min \left\{ R^{(n-1)(\frac{1}{q}-\frac{1}{2})+\epsilon }, R^{\frac{n}{q}}\right\} \left\| \big (1+|\Omega |\big )^{\sigma }f\right\| _{L^p(S;d\sigma )}. \end{aligned}$$(3.4)
We postpone the proof of Proposition 3.1 to the next section, and we complete the proof of Theorem 1.1 by this proposition. By a scaling argument, we conclude from (3.3) that
For any (q, p) satisfying
let \(\alpha =2-\frac{3}{q}-\frac{1}{p}\), then we choose \({{\bar{q}}}=3{{\bar{p}}}'\) such that
From (3.4), we have that for \({\bar{q}}=3{\bar{p}}'\) with \(2\le {\bar{p}}\le 4\) and \({\bar{\sigma }}=(n-2)(\frac{1}{2}-\frac{1}{{\bar{q}}})+\frac{2}{{\bar{q}}}\)
where \(0<{\bar{\epsilon }}\ll 1\). Therefore we obtain by an interpolation theorem
Here \(0<\epsilon :={\bar{\epsilon }}\alpha \ll 1\). According to (3.2), we obtain
Since \(q>{2(n+1)}/n\), \(\epsilon \ll 1\), and R, M are both dyadic number, we have
Note that for \(q>{2(n+1)}/n>p\ge 2\), we have by the Schur lemma and embedding inequality
Choosing \(q=q_0=\left( 2(n+1)/n \right) _+\) and \((n+2)/q_0={n}/{p_0'}\), we have
This implies (1.7). Interpolating this inequality with the restriction estimate by Bourgain-Guth [2, Theorem 1], we prove (3.1). Hence, the proof of estimate (1.8) is completed.
4 Localized restriction estimate
In this section we prove Proposition 3.1. We start our proof by recalling
where \(g(\xi )=f(|\xi |^2, \xi )\in {\mathcal {S}}({\mathbb {R}}^n)\) with \(\text {supp}~g\subset \{\xi :|\xi |\in [1,2]\}\). We apply the spherical harmonic expansion to g to obtain
Recalling \(\nu (k)=k+(n-2)/2\), we have by (2.5)
Here we insert a harmless smooth bump function \(\varphi \) supported on the interval (1 / 2, 4) into the above integral, since \(a_{k,\ell }(\rho )\) is supported on [1, 2]. Now we estimate the quantity \(\Vert (fd\sigma )^\vee \Vert _{L^q_{t,x}({\mathbb {R}}\times A_R)}\). To this end, we first prove the following lemma.
Lemma 4.1
Let \(\mu (r)=r^{n-1}dr\) and \(\omega (k)\) be a weight specified below. For \(q\ge 2\), we have
Proof
Since \(q\ge 2\), the Minkowski inequality and the Fubini theorem show that the left hand side of (4.3) is bounded by
We rewrite this by making the variable change \(\rho ^2\rightsquigarrow \rho \)
We use the Hausdorff-Young inequality with respect to t and we change variables back to obtain
\(\square \)
Now we prove that the inequalities (3.3) and (3.4) with \( R\lesssim 1\). For doing this, we need
Lemma 4.2
Let \(q\ge 2\) and \(R\lesssim 1\), we have the following estimate
where \(\omega (k)=(1+k)^{2(n-1)(1/2-1/q)}\).
We postpone the proof of this lemma for a moment. Note that for \(q'\le 2\le p\), we use (4.5), (2.4), the Minkowski inequality and the Hölder inequality to obtain
where \(m=(n-1)(\frac{1}{2}-\frac{1}{q})\). In particular, for \(q=2\) and \(4\le q\le 6\), this proves (3.3) and (3.4) when \(R\lesssim 1\). Hence it suffices to consider the case \(R\gg 1\) once we prove Lemma 4.2.
Proof of Lemma 4.2
By scaling argument in variables t, x and (4.2), we obtain
By Sobolev’s embedding, (2.3) and (2.4), we have
By Lemma 4.1, it is enough to show
Writing briefly \(\nu =\nu (k)\), and noting that \(R<r<2R\) and \(1<\rho <2\), we have by (2.6)
In the last inequality, we use the Stirling formula \(\Gamma \left( \nu +1\right) \sim \sqrt{\nu }(\nu /e)^\nu \) and the fact that \(R\lesssim 1\) and \(\nu \ge (n-2)/2\). \(\square \)
Now we are in a position to prove Proposition 3.1 when \(R\gg 1\). We first prove (3.3) by making use of (4.1). Since \(\text {supp}~g\subset \{\xi :|\xi |\in [1,2]\}\), we may assume \(|\xi _n|\sim 1\). Then we freeze one spatial variable, say \(x_n\), with \(|x_n|\lesssim R\) and free other spatial variables \(x'=(x_1,\ldots , x_{n-1})\). After making the change of variables \(\eta _j=\xi _j,~ \eta _n=|\xi |^2\) with \(j=1,\ldots n-1\), we use the Plancherel theorem on the spacetime Fourier transform in \((t,x')\) to obtain (3.3).
When \(R\gg 1\), inequality (3.4) is a consequence of the interpolation theorem and the following proposition.
Proposition 4.1
Assume \(f\in {\mathbb {L}}_1\) and \(R\gg 1\) is a dyadic number. For every small constant \(0<\epsilon \ll 1\), we have the following inequalities
-
For \(q=4\), we have
$$\begin{aligned} \Vert (f~d\sigma )^\vee \Vert _{L^4_{t,x}({\mathbb {R}}\times A_R)}\lesssim R^{-\frac{n-1}{4}+\epsilon } \Vert (1+|\Omega |\big )^{\frac{n}{4}}f\Vert _{L^4(S;~d\sigma )}. \end{aligned}$$(4.7) -
For \(q=6\), we have
$$\begin{aligned} \Vert (f~d\sigma )^\vee \Vert _{L^6_{t,x}({\mathbb {R}}\times A_R)}\lesssim R^{-\frac{n-1}{3}+\epsilon } \Vert \big (1+|\Omega |\big )^{\frac{n-1}{3}} f\Vert _{L^2(S;~d\sigma )}. \end{aligned}$$(4.8)
Remark 4.1
It seems to be possible to remove the \(\epsilon \)-loss in (4.8), but we do not purchase this option here because we do not need it in this paper.
To prove this proposition, we firstly show
Lemma 4.3
Assume \(f\in {{\mathbb {L}}}_1\) and \(R\gg 1\). We have the following estimate
where \(0<\epsilon \ll 1\), and \(g(\xi )=f(|\xi |^2,\xi )\).
Proof
By the scaling argument and (4.2), it suffices to estimate the quantity
In the following, we consider the three cases. For the first two cases, we establish the estimates for general \(q\ge 4\) so that we can use them directly for \(q=6\) later.
-
Case 1: \(k\in \Omega _1:=\{k:R\ll \nu (k)\}\). Let \(\omega (k)=(1+k)^{2(n-1)(1/2-1/q)}\) again. We have by a similar argument as in the proof of Lemma 4.2:
$$\begin{aligned}&\bigg \Vert r^{-\frac{n-2}{2}}\sum \limits _{k\in \Omega _1}\sum \limits _{\ell =1}^{d(k)} i^{k}Y_{k,\ell }(\theta ) \int \limits _0^\infty e^{- it\rho ^2} J_{\nu (k)}( r\rho )a_{k,\ell }(\rho )\rho ^{\frac{n}{2}}\varphi (\rho )~d\rho \bigg \Vert _{L^q_{t,x}({\mathbb {R}}\times A_R)}\\&\quad \lesssim \bigg \Vert r^{-\frac{n-2}{2}}\Big (\sum \limits _{k\in \Omega _1} \sum \limits _{\ell =1}^{d(k)}\omega (k)\Big |\int \limits _0^\infty e^{it\rho ^2} J_{\nu (k)}( r\rho )a_{k,\ell }(\rho )\varphi (\rho )\rho ^{ \frac{n-2}{2}}\rho ~d\rho \Big |^2\Big )^{\frac{1}{2}} \bigg \Vert _{L^q_t({\mathbb {R}};L^q_{\mu (r)}(S_R))}\\&\quad \lesssim \bigg \Vert r^{-\frac{n-2}{2}}\Big (\sum \limits _{k\in \Omega _1}\sum \limits _{\ell =1}^{d(k)}\omega (k) \big \Vert J_{\nu (k)}( r\rho )a_{k,\ell }(\rho )\varphi (\rho )\rho ^{(n-2)/2+1/q'}\big \Vert _{L^{q'}_\rho }^2\Big )^{\frac{1}{2}} \bigg \Vert _{L^q_{\mu (r)}(S_R)}. \end{aligned}$$Recall that for \(R\gg 1\) and \(k\in \Omega _1\), we have \(|J_{\nu (k)}(r)|\lesssim e^{-c(r+\nu )}\) by (2.9). Using \(R<r<2R\) and \(1<\rho <2\), we obtain
$$\begin{aligned}&\Big \Vert r^{-\frac{n-2}{2}}\Big (\sum \limits _{k\in \Omega _1}\sum \limits _{\ell =1}^{d(k)}\omega (k)\big \Vert J_{\nu (k)}( r\rho )a_{k,\ell }(\rho )\varphi (\rho )\rho ^{(n-2)/2+1/q'}\big \Vert _{L^{q'}_\rho }^2\Big )^{\frac{1}{2}} \Big \Vert _{L^q_{\mu (r)}([R,2R])} \\&\quad \lesssim \bigg (\int \limits _{R}^{2R} r^{-\frac{(n-2)q}{2}}\Big (\sum \limits _{k\in \Omega _1}\sum \limits _{\ell =1}^{d(k)} \omega (k)e^{-(r+\nu )}\big \Vert a_{k,\ell }(\rho )\rho ^\nu \varphi (\rho )\big \Vert _{L^{q'}_\rho }^2\Big )^{\frac{q}{2}} r^{n-1}~dr\bigg )^{\frac{1}{q}}\\&\quad \lesssim e^{-cR}\bigg (\sum \limits _{k\in \Omega _1}\sum \limits _{\ell =1}^{d(k)} \omega (k)e^{-\nu (k)} \big \Vert a_{k,\ell }(\rho )\rho ^\nu \varphi (\rho )\big \Vert _{L^{q'}_\rho }^2\bigg )^{\frac{1}{2}}\\&\quad \lesssim e^{-cR}\bigg (\sum \limits _{k\in \Omega _1}\sum \limits _{\ell =1}^{d(k)} \omega (k)\big \Vert a_{k,\ell }(\rho )\varphi (\rho )\big \Vert _{L^{q'}_\rho }^2\bigg )^{\frac{1}{2}} . \end{aligned}$$By Minkowski’s inequality and Hölder’s inequality, we obtain
$$\begin{aligned}&\bigg \Vert r^{-\frac{n-2}{2}}\sum \limits _{k\in \Omega _1}\sum \limits _{\ell =1}^{d(k)} i^{k}Y_{k,\ell }(\theta ) \int \limits _0^\infty e^{- it\rho ^2} J_{\nu (k)}( r\rho )a_{k,\ell }(\rho )\rho ^{\frac{n}{2}}\varphi (\rho )~d\rho \bigg \Vert _{L^q_{t,x}({\mathbb {R}}\times A_R)} \nonumber \\&\quad \lesssim e^{-cR} \bigg \Vert \Big (\sum \limits _{k=0}^\infty \sum \limits _{\ell =1}^{d(k)}\omega (k)\big |a_{k,\ell }(\rho )\big |^2\Big )^{\frac{1}{2}}\varphi (\rho )\bigg \Vert _{L^{p}_{\rho }}. \end{aligned}$$(4.11)Applying this with \(q=4=p\), we have
$$\begin{aligned}&\bigg \Vert r^{-\frac{n-2}{2}}\sum \limits _{k\in \Omega _1}\sum \limits _{\ell =1}^{d(k)} i^{k}Y_{k,\ell }(\theta ) \int \limits _0^\infty e^{- it\rho ^2} J_{\nu (k)}( r\rho )a_{k,\ell }(\rho )\rho ^{\frac{n}{2}}\varphi (\rho )~d\rho \bigg \Vert _{L^4_{t,x}({\mathbb {R}}\times A_R)} \\&\quad \lesssim e^{-cR} \bigg \Vert \Big (\sum \limits _{k=0}^\infty \sum \limits _{\ell =1}^{d(k)}(1+k)^{(n-1)/2}\big |a_{k,\ell }(\rho )\big |^2\Big )^{\frac{1}{2}} \varphi (\rho )\bigg \Vert _{L^{4}_{\rho }} \\&\quad \lesssim R^{-\frac{n-1}{4}+\epsilon }\Vert g\Vert _{L_\rho ^4 H_\omega ^{(n-1)/4,4}({\mathbb {S}}^{n-1})}. \end{aligned}$$ -
Case 2: \(k\in \Omega _2:=\{k: \nu (k)\sim R \}\). Recalling \(g(\xi )=f(|\xi |^2, \xi )\), and using the Sobolev embedding, the Strichartz estimate and the fact \(\text {supp}~g\subset \{\xi \in {\mathbb {R}}^n:|\xi |\in [1,2]\}\), we have for \(q\ge 4\) and \(\frac{2}{q}=n(\frac{1}{2}-\frac{1}{r})\)
$$\begin{aligned} \Vert (f~d\sigma )^{\vee }\Vert _{L^q_{t,x}({\mathbb {R}}\times {\mathbb {R}}^n)}\lesssim \Vert (f~d\sigma )^{\vee }\Vert _{L^q({\mathbb {R}}; H^m_{r}({\mathbb {R}}^n))}\lesssim \Vert {\hat{g}}\Vert _{H^{m}({\mathbb {R}}^n)}\lesssim \Vert g\Vert _{L^2({\mathbb {R}}^n)}\nonumber \\ \end{aligned}$$(4.12)where \(m=\frac{(q-2)n-4}{2q}\ge 0\) since \(n\ge 2\). If \(g=\bigoplus _{k\in \Omega _2} {\mathcal {H}}^{k}\), then
$$\begin{aligned} \Vert g\Vert ^2_{L_\omega ^2({\mathbb {S}}^{n-1})}=&\sum \limits _{k\in \Omega _2}\sum \limits _{\ell =1}^{{d}(k)}|a_{k,\ell }|^2\nonumber \\ \lesssim&R^{-2(n-1)(1/2-1/q)} \sum \limits _{k\in \Omega _2}\sum \limits _{\ell =1}^{{d}(k)}(1+k)^{2(n-1)(1/2-1/q)}|a_{k,\ell }|^2\nonumber \\ \lesssim&R^{-2(n-1)(1/2-1/q)}\Vert g\Vert ^2_{H_\omega ^{(n-1)(\frac{1}{2}-\frac{1}{q}),2}({\mathbb {S}}^{n-1})}. \end{aligned}$$(4.13)Since \(\text {supp} g\subset \{\xi \in {\mathbb {R}}^n: |\xi |\in [1,2]\}\) and \(p\ge 2\), we have by Hölder’s inequality and (4.12)
$$\begin{aligned}&\Big \Vert r^{-\frac{n-2}{2}}\sum \limits _{k\in \Omega _2}\sum \limits _{\ell =1}^{d(k)} i^{k}Y_{k,\ell }(\theta ) \int \limits _0^\infty e^{- it\rho ^2} J_{\nu (k)}( r\rho )a_{k,\ell }(\rho )\rho ^{\frac{n}{2}}\varphi (\rho )~d\rho \Big \Vert _{L^q_{t,x}({\mathbb {R}}\times A_R)}\nonumber \\&\quad \lesssim R^{-(n-1)(1/2-1/q)}\Vert g\Vert _{L_\rho ^p H_\omega ^{(n-1)(\frac{1}{2}-\frac{1}{q}),p}({\mathbb {S}}^{n-1})}. \end{aligned}$$(4.14)In particular, when \(q=p=4\), inequality (4.14) implies that
$$\begin{aligned}&\Big \Vert r^{-\frac{n-2}{2}}\sum \limits _{k\in \Omega _2}\sum \limits _{\ell =1}^{d(k)} i^{k}Y_{k,\ell }(\theta ) \nonumber \\&\quad \int \limits _0^\infty e^{- it\rho ^2} J_{\nu (k)}( r\rho )a_{k,\ell }(\rho )\rho ^{\frac{n}{2}}\varphi (\rho )~d\rho \Big \Vert _{L^4_{t,x}({\mathbb {R}}\times A_R)}\nonumber \\&\qquad \lesssim R^{-(n-1)/4}\Vert g\Vert _{L_\rho ^4 H_\omega ^{(n-1)/4,4}({\mathbb {S}}^{n-1})}. \end{aligned}$$(4.15) -
Case 3: \(k\in \Omega _3:=\{k: \nu (k)\ll R\}\). We need the following lemma about the oscillation and decay property of a Bessel function. This lemma was proved by Barcelo-Cordoba [3].
Lemma 4.4
(Oscillation and asymptotic property, [3]). Let \(\nu >1/2\) and \(r>\nu +\nu ^{1/3}\). There exists a constant number C independent of r and \(\nu \) such that
where \(\theta (r)=(r^2-\nu ^2)^{1/2}-\nu \arccos \frac{\nu }{r}-\frac{\pi }{4}\) and
Note that \(\nu (k)=k+(n-2)/2\) and \(k\in \Omega _3\), we can write
and
A simple computation yields to
Using Sobolev embedding on sphere and Minkowski’s inequality, we estimate
Since \(J_\nu (r)=I_{\nu }(r)+{\bar{I}}_{\nu }(r)+h_\nu (r)\), it suffices to estimate two terms
and
For the first purpose, we consider the operator
where \(|h_\nu (r)|\le C/r\). By a similar argument as in the proof of Lemma 4.1, it is easy to see
Hence we have
which implies (4.19).
Next we prove (4.20). To this end, let \(\beta (\rho )=\rho ^{\frac{n}{2}}\varphi (\rho )\), we see that
where the kernel
Now we analyze the kernel K. Let
Hence if \(\rho _1^2-\rho _2^2=\rho _4^2-\rho _3^2\), we have by (4.18)
Since \(k\in \Omega _3\), one has \(r\gg \nu (k)\). Therefore we have
Applying integration by parts with respect to r to (4.23), we have for any \(N\ge 0\)
when \(\rho _1^2-\rho _2^2=\rho _4^2-\rho _3^2\). Let \(b_{k,\ell }(\rho )=2a_{k,\ell }(\sqrt{\rho })\beta ({\sqrt{\rho })}/\sqrt{\rho }\), from (4.22) and (4.24), it suffices to estimate
where \(b_k(\rho )=\big (\sum \limits _{\ell =1}^{d(k)} |b_{k,\ell }(\rho )|^2\big )^{1/2}\). Then we aim to estimate
Indeed once we have proved (4.25), we show
which implies (4.20). Therefore, it remains to prove
For \(R=2^{k_0}\gg 1\), we decompose the integral into
To estimate it, we need the following lemma.
Lemma 4.5
We have the following estimate for the integral
Proof
We first have by Hölder’s inequality
Let I be the left hand side of (4.28). We estimate I by (4.29) and Hölder’s inequality
where \(\chi _j=\chi _j(\rho )=\chi (2^j\rho )\) and \(\chi \in C_c^\infty ([\frac{1}{4},4])\). It is easy to see by the Young inequality
and
Collecting the above estimates, we obtain
This completes the proof of Lemma 4.5. \(\square \)
Now we return to prove (4.26). Applying Lemma 4.5 to (4.27), we have
Hence we prove (4.26), and so, we finish the proof of (4.7). \(\square \)
We next prove (4.8) in Proposition 4.1. We need to prove the following lemma.
Lemma 4.6
Let \(R\gg 1\) and \(f\in {\mathbb {L}}_1\), we have the following estimate for every \(0<\epsilon \ll 1\)
where \(g(\xi )=f(|\xi |^2,\xi )\).
Proof
It suffices to estimate, by a scaling argument, the following quantity
We divide the above integral into three cases.
\(\bullet \) Case 1: \(k\in \Omega _1:=\{k:R\ll \nu (k)\}\). Using (4.11) with \(q=6\), we prove
\(\bullet \) Case 2: \(k\in \Omega _2:=\{k: \nu (k)\sim R \}\). Applying (4.14) with \(q=6\) and \(p=2\), we show
\(\bullet \) Case 3: \(k\in \Omega _3:=\{k: \nu (k)\ll R\}\). We introduce the operator
where \(|h_\nu (r)|\le C/r\) and the operator
where \(\nu =\nu (k)=k+(n-2)/2\). Since
our aim here is to estimate
By making use of (4.21) with \(q=6\), we have
This implies that
On the other hand, by (2.11), one has \(|I_\nu (r)|\lesssim r^{-1/2}\) when \(k\in \Omega _3\). Consider the operator
where \(\nu =\nu (k)=k+(n-2)/2\) with \(k\in \Omega _3\).
On the one hand, it is easy to see
On the other hand, we have the claim that for any \(\epsilon >0\)
We postpone the proof of this claim to the end of this section. Hence, by the interpolation of the above two estimates, for any \(\epsilon >0\), we obtain that
This shows
Collecting (4.34) and (4.36) yields
This implies (4.31), which completes the proof of Lemma 4.6. \(\square \)
The proof of claim (4.35)
The same argument in the proof the (4.20) shows the claim (4.35). Recall the kernel (4.23), it is enough to estimate the integral
where \(\beta (\rho )=\rho ^{\frac{n}{2}}\varphi (\rho )\). For \(b(\rho )=2a(\sqrt{\rho })\beta ({\sqrt{\rho })}/\sqrt{\rho }\), therefore we obtain
where we use the kernel estimate (4.24) and (4.26) in the first inequality. \(\square \)
5 Local smoothing estimate
K. M. Rogers [20] developed an argument showing that a restriction estimate implies a local smoothing estimate under some suitable conditions. For the sake of convenience, we closely follow this argument to prove Corollary 1.1. In fact, by making use of the standard Littlewood-Paley argument, it can be reduced to prove the claim
where
Here we denote by \({\mathcal {F}}\) the Fourier transform. We also use the notation \({\hat{h}}\) to express the Fourier transform of h. Let \(h=(1-\Delta _\theta )^{-s/2}u_0\). Denote by \(P_N\) the Littlewood-Paley projector, i.e.
By the Littlewood-Paley theory and the claim (5.1), one has for \(\alpha >2n(1/2-1/q)-2/q\)
Here we use Hölder’s inequality for the third inequality, Sobolev imbedding for the fourth one. Hence we have
Now we are left to prove claim (5.1). Assume \(\mathrm {supp}~{\hat{f}} \subset [0, 1]\). Note that
On the other hand, we have for \(t\ne 0\)
So we have for every dyadic number N
By making use of Theorem 1.1, we obtain for \(q>2(n+1)/n\) and \(\frac{n+2}{q}=\frac{n}{p'}\)
This yields
This implies that
For the sake of convenience, we recall [20, Lemma 8]
Lemma 5.1
Let \(q\ge p_1\ge p_0\), \(r\ge 1\) and \(I\subset [0,R^2]\). If one has
where \(R\gg 1\), and f is frequency supported in unite ball \({\mathbb {B}}^n\). Then for all \(\epsilon >0\)
Since \(q>p\) when \(q>2(n+1)/n\), for any \(0<\epsilon \ll 1\), we have by this lemma
Using the scaling argument, if
then
Since
we replace \((1-\Delta _\theta )^{-s/2}f_{k,N}\) by h to obtain
This proves inequality (5.1).
References
Bourgain, J.: Besicovitch type maximal operators and applications to Fourier analysis. Geom. Funct. Anal. 1, 147–187 (1991)
Bourgain, J., Guth, L.: Bounds on oscillatory integral operators based on multilinear estimates. Geom. Funct. Anal. 21, 1239–1295 (2011)
Barcelo, J., Cordoba, A.: Band-limited functions: \(L^p\)-convergence. Trans. Amer. Math. Soc. 312, 1–15 (1989)
Carbery, A., Romera, E., Soria, F.: Radial weights and mixed norm inequalities for the disc multiplier. J. Funct. Anal. 109, 52–75 (1992)
Córdoba, A.: The disc multipliers. Duke Math. J. 58, 21–29 (1989)
Córdoba, A., Latorre, E.: Radial multipliers and restriction to surfaces of the Fourier transform in mixed-norm spaces. Math. Z. 286, 1479–1493 (2017)
Carli, L.D., Grafakos, L.: On the restriction conjecture. Michigan Math. J. 52, 163–180 (2004)
Cho, Y., Guo, Z., Lee, S.: A Sobolev estimate for the adjoint restriction operator. Math. Ann. 362, 799–815 (2015)
Cho, Y., Lee, S.: Strichartz estimates in spherical coordinates. Indiana Univ. Math. J. 62, 991–1020 (2013)
Cho, Y., Hwang, G., Kwon, S., Lee, S.: Profile decompositions of fractional Schrödinger equations with angular regular data. J. Diff. Equ. 256, 3011–3037 (2014)
Fefferman, C., Stein, E.M.: Some maximal inequalities. Amer. J. Math. 93, 107–115 (1971)
Gigante, G., Soria, F.: On the boundedness in \(H^{1/4}\) of the maximal square function associated with the Schrödinger equation. J. Lond. Math. Soci. 77, 51–68 (2008)
Howe, R.: On the role of the Heisenberg group in harmonic analysis. Bull. Amer. Math. Soc. 3, 821–843 (1980)
Mockenhaupt, G.: On radial weights for the spherical summation operator. J. Funct. Anal. 91, 174–181 (1990)
Müller, D., Seeger, A.: Regularity properties of wave propagation on conic manifolds and applications to spectral multipliers. Adv. Math. 161, 41–130 (2001)
Moyua, A., Vargas, A., Vega, L.: Restriction theorems and maximal operators related to oscillatory integrals in \({\mathbb{R}}^3\). Duke Math. J. 96, 547–574 (1999)
Miao, C., Zhang, J., Zheng, J.: A note on the cone restriction conjecture. Proc. AMS 140, 2091–2102 (2012)
Miao, C., Zhang, J., Zheng, J.: Strichartz estimates for wave equation with inverse-square potential. Commu. Contemp. Math. 15, 1350026 (2013)
Machihara, S., Nakamura, M., Nakanishi, K., Ozawa, T.: Endpoint Strichartz estimates and global solutions for the nonlinear Dirac equation. J. Funct. Anal. 219, 1–20 (2005)
Rogers, K.M.: A local smoothing estimate for the Schrödinger equation. Adv. Math. 219, 2105–2122 (2008)
Sterbenz, J.: Appendix by I. Rodnianski, Angular regularity and Strichartz estimates for the wave equation. Int. Math. Res. Not. 4, 187–231 (2005)
Shao, S.: Sharp linear and bilinear restriction estimates for paraboloids in the cylindrically symmetric case. Rev. Mat. Iberoam. 25, 1127–1168 (2009)
Stempak, K.: A Weighted uniform \(L^p\) estimate of Bessel functions: a note on a paper of Guo. Proc. AMS. 128, 2943–2945 (2000)
Stein, E.M.: Some problems in harmonic analysis. In: Harmonic Analysis in Euclidean Spaces. Proceddings of Symposium in Pure Mathematics, Williams College, Williamstown MA, Part 1, vol. XXXV, pp. 3–20 (1978)
Stein, E.M.: Harmonic Analysis: Real Variable Methods, Orthogonality and Oscillatory Integrals, Princeton Mathematical Series, vol. 43. Princeton University Press, Princeton (1993)
Stein, E.M., Weiss, G.: Introduction to Fourier analysis on Euclidean Spaces. Princeton University Press, Princeton (1971). (Princeton Mathematical Series, No. 32. MR0304972)
Strichartz, R.: Restrictions of Fourier transforms to quadratic surfaces and decay of solutions of wave equations. Duke. Math. J. 44, 705–714 (1977)
Sterbenz, J.: (with an appendix by I. Rodnianski), angular regularity and Strichartz estimates for the wave equation. IMRN 4, 187–231 (2005)
Tao, T.: Recent Progress on the Restriction Conjecture, in Fourier Analysis and Convexity, pp. 217–243. Appl. Numer. Harmon. Anal. Birkhäuser Boston, Boston (2004)
Tao, T.: Endpoint bilinear restriction theorems for the cone and some sharp null form estimates. Math. Z. 238, 215–268 (2001)
Tao, T.: A sharp bilinear restrictions estimate for paraboloids. Geom. Funct. Anal. 13, 1359–1384 (2003)
Tao, T., Vargas, A., Vega, L.: A bilinear approach to the restriction and Kakeya conjectures. J. Amer. Math. Soc. 11, 967–1000 (1998)
Tomas, P.A.: A restriction theorem for the Fourier transform. Bull. Amer. Math. Soc. 81, 477–478 (1975)
Wolff, T.: A sharp bilinear cone restriction estimate. Ann. of Math. 153(2), 661–698 (2001)
Watson, G.N.: A Treatise on the Theory of Bessel Functions, 2nd edn. Cambridge University Press, Cambridge (1944)
Zygmund, A.: On Fourier coefficients and transforms of functions of two variables. Studia Math. 50, 189–201 (1974)
Zhang, J.: Linear restriction estimates for Schrödinger equation on metric cones. Commun. PDE. 40, 995–1028 (2015)
Acknowledgements
The authors would like to express their great gratitude to S. Shao for his helpful discussions. The authors were supported by the NSFC under grants 11771041, 11831004 and H2020-MSCA-IF-2017(790623).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
OpenAccess This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Miao, C., Zhang, J. & Zheng, J. Linear adjoint restriction estimates for paraboloid. Math. Z. 292, 427–451 (2019). https://doi.org/10.1007/s00209-019-02251-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-019-02251-7
Keywords
- Linear adjoint restriction estimate
- Local restriction estimate
- Bessel function
- Spherical harmonics
- Local smoothing