Abstract
We obtain a sharp bilinear restriction estimate for the paraboloid in \(\mathbb {R}^3\) for \(q>13/4.\)
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Define an extension operator associated to the paraboloid in \(\mathbb {R}^3\) by
for \(f \in L^1([-1,1]^2)\). Here, \(e(a):=e^{2\pi i a}\) for \(a \in \mathbb {R}\). We say that two functions \(f_1\) and \(f_2\) are separated provided that
It is conjectured by Tao et al. [16] that the following bilinear restriction estimate
holds true for every pair of separated \(f_1\) and \(f_2\) if and only if
Our main theorem is as follows.
Theorem 1.1
For every pair p, q satisfying
it holds that
for every pair of separated functions \(f_1\) and \(f_2\). Here the constant \(C_{p,q}\) depends on p, q and the implied constant in (1.2).
The bilinear restriction problem is strongly tied to the restriction problem (Fig. ). The restriction conjecture states that the estimate
holds true for every function f, if and only if
The region (1.8) is the trapezoidal region bounded by the points a, b in Fig. , (0, 0), and (1, 0),Footnote 1 except for the upper line between a and b inclusive. The region (1.4) is the pentagonal region bounded by the points a, b, c, (0, 0), and (1, 0), including the upper line mentioned previously. Note that the region (1.4) is wider than the region (1.8).
The connection between the bilinear restriction estimate and the restriction estimate was discovered by Tao et al. [16], where they proved that the bilinear restriction estimate for a pair (p, q) on the region (1.8) implies the restriction estimate for the same pair (p, q). The converse is also true by a simple application of Hölder’s inequality.
Let us briefly mention the recent progress on the restriction and bilinear restriction problems for paraboloid in \(\mathbb {R}^3\). In 2003, Tao [14] proved the sharp bilinear restriction estimate for the paraboloid in \(\mathbb {R}^3\) for the pair \((p,q)=(2,10/3+\epsilon )\) for an arbitrary number \(\epsilon >0\) (the point c),Footnote 2 which implies the restriction estimate for the paraboloid for \(q>10/3\) by [16]. His proof is based on Wolff’s two ends argument in [18], where Wolff proved the sharp bilinear restriction estimate for the cone. The (linear) restriction estimate of Tao is improved by Bourgain and Guth [4] to the range \(q>3.3\) (the point ii), where they introduced the multilinear technique and combined it with some Kakeya estimate to get a better restriction estimate. Recently, Guth [6] improved the restriction estimate to the range \(q>13/4\) (the point iii). More precisely, he introduced the notion of a broad function and proved a broad function estimate for \(q>13/4\) by using polynomial partitioning. This broad function estimate is slightly weaker than the bilinear restriction estimate, but the argument of [16] still works equally well with the broad function estimate, so he was able to prove the restriction estimate for the same range of q. The restriction estimate of Guth is extended to the point iv by Shayya [13] (see also [11]). The most recent result is due to Wang [17] (the point v), where she proved the restriction estimate for \(q>3+3/13\) by proving the broad function estimate for the same range of q. Her proof of the broad function estimate combines Wolff’s two ends argument with polynomial partitioning. For earlier results, we refer to Tao et al. [16], in particular, Table 1 on page 969 of their paper.
Our bilinear restriction theorem improves Tao’s sharp bilinear restriction estimates (the point c) to the range \(q>13/4\) (the point vi). Also, our theorem recovers the broad function estimate of Guth and the restriction estimate of Shayya by the arguments of [16]. It looks plausible to generalize our result to improved \((n-1)\)-linear restriction estimate for paraboloid in \(\mathbb {R}^n\) as all the tools used in this paper are still available in high dimensions. However, for the sake of readability, we focus only on the three dimension.
One natural question is whether one can generalize this result to more general surfaces under certain conditions. Bejenaru introduced interesting curvature conditions in [2], and he proved sharp \(L^2 \rightarrow L^{10/3}\) bilinear restriction estimates for general surfaces in \(\mathbb {R}^3\) satisfying the conditions. His conditions are so general that even a surface with a vanishing principal curvature (for example, a cone) satisfies the conditions. Interestingly, our theorem is not always true for surfaces satisfying his conditions. For example, [15] proved that (1.3) is not true for a cone for any pair (p, q) with \(q<10/3\) and \(p=\infty \).
The proof of Theorem 1.1 is built on the arguments of [6] and [2]. Let us compare our proof with Guth’s proof and explain the obstacle of our problem. By the wave packet decomposition (Lemma 2.1), we can decompose the functions Ef into wave packets \(Ef_{T}\) so that each wave packet \(Ef_{T}\) is “essentially supported” on the tube T. In the study of the restriction problem, Guth applied polynomial partitioning and reduced the problem to some lower dimensional restriction problem in the sense that all the “significant” wave packets \(Ef_T\) are contained in a thin neighborhood of a variety. Then he proved the lower dimensional restriction estimate. However, in our bilinear restriction problem, since the bilinear operator involves two functions, even if we can still apply polynomial partitioning to the bilinear operator, it is difficult to make all of the significant wave packets of \(Ef_1\) and \(Ef_2\) be contained in a thin neighborhood of a variety. This is the main obstacle of our problem.
Here are our ideas. By following the arguments of Guth, we reduce to the situation where all the significant wave packets of \(Ef_{1}\) are contained in a thin neighborhood of a variety. Let us pretend that the variety is a two-dimensional plane in this paragraph. Then we apply some pigeonholing argument to the wave packets of \(Ef_2\) so that all the significant wave packets form some fixed angle between the tube and the variety. If the angle gets smaller, then our wave packets of \(Ef_{2}\) get closer to the thin neighborhood of the variety, and it gets closer to the lower dimensional problem, which can be dealt with by following the argument of Guth. On the hand hand, if the angle gets larger, then we observe that an intersection of the tube and the thin neighborhood of the variety gets smaller. This geometric observation gives a better \(L^2\)-estimate than usual (see Lemma 4.5). We quantify these two observation and combine them so that no matter what the angle is it gives the desired estimate. However, there is one additional issue: If the angle between a tube and a variety is “almost” perpendicular, then it is too far from a lower dimension situation and we cannot imitate the argument of Guth. In this case, we apply polynomial partitioning one more time as in [2], and this takes care of the case [see a high angle dominant case (Subsect. 4.1)].
1.1 Notation
For each ball \(B_R\) of radius R with the center \(c(B_R)\), define the weight function
and the weighted integral
for every function \(F \in L^{\infty }(\mathbb {R}^3)\). For every measurable set A with positive Lebesgue measure, we define the averaged \(L^2\) integral by
Note that
We write \(A(R) \le \textrm{RapDec}(R)B\) to mean that for any power \(\beta \), there is a constant \(C_{\beta }\) such that
Let us introduce the notation . For \(f_1,f_2\) and some quantities \(A(f_1,f_2)\) and \(B(f_1,f_2)\), we write \(A(f_1,f_2) \lessapprox B(f_1,f_2)\) to mean that
Here, the constant C is independent of \(f_1, f_2\) and R. Note that this notation is not conventional.
For two non-negative numbers \(A_1\) and \(A_2\), we write \(A_1 \lesssim A_2\) to mean that there exists a constant C such that \(A_1 \le C A_2\). Similarly, we use \(O(A_1)\) to denote a number whose absolute value is smaller than \(CA_1\) for some constant C. We write \(A_1 \simeq A_2\) if \(A_1 \lesssim A_2\) and \(A_2 \lesssim A_1\). We also write \(A_1 \ll A_2\) if \(CA_1 \le A_2\) for some sufficiently large number C.
For every set \(S \subset \mathbb {R}^3\) and number \(\rho >0\), we denote by \(N_{\rho }(S)\) the \(\rho \)-neighborhood of S. For every polynomial P, we denote by \(\mathcal {Z}(P)\) the zero set of the polynomial P. We introduce two parameters \(\epsilon >0\) and \(\delta >0\). The parameter \(\delta >0\) will be much smaller than \(\epsilon \).
2 Preliminaries
We review a wave packet decomposition. Let us define some notation first. We decompose the square \([-1,1]^2\) into the dyadic squares \(\theta \) of side length \(R^{-1/2}\). Let \(w_{\theta }\) denote the bottom left corner of \(\theta \). Let \(v_{\theta }\) denote the normal vector to the paraboloid at the point \((w_{\theta },|w_{\theta }|^2)\). We denote by \(\mathcal {P}(R^{-1/2})\) the collection of the squares. Let \(\mathbb {T}(\theta )\) denote a set of tubes covering \(B_R \subset \mathbb {R}^3\), that are parallel to \(v_{\theta }\) with radius \(R^{1/2+\delta }\) and length CR. Denote \(\mathbb {T}:=\cup _{\theta \in \mathcal {P}(R^{-1/2}) }\mathbb {T}(\theta )\). For each \(T \in \mathbb {T}(\theta )\), let v(T) denote the direction \(v_{\theta }\) of the tube.
Lemma 2.1
(Wave packet decomposition) If \(f \in L^2([-1,1]^2)\) then for each \(T \in \mathbb {T}\) we can choose a function \(f_T\) so that the following holds true:
-
(1)
If \(T \in \mathbb {T}(\theta )\) then \(\textrm{supp}(f_{T}) \subset 3\theta \);
-
(2)
If \(x \in B_R \setminus T\), then \(|Ef_T(x)| =\textrm{RapDec}(R)\Vert f\Vert _2\);
-
(3)
For any \(x \in B_R\), \(|Ef(x)-\sum _{T \in \mathbb {T}}Ef_T(x)|= \textrm{RapDec}(R)\Vert f\Vert _{L^2}\);
-
(4)
If \(T_1,T_2 \in \mathbb {T}(\theta )\) and \(T_1,T_2\) are disjoint, then \(|\int f_{T_1}\bar{f}_{T_2}| =\textrm{RapDec}(R) \int _{\theta }|f|^2\);
-
(5)
\(\sum _{T \in \mathbb {T}(\theta )} \int _{[-1,1]^2}|f_T|^2 \lesssim \int _{\theta }|f|^2\).
This is the formulation of the wave packet decomposition in [6]. We refer to Proposition 2.6 of [6] for the proof; see Lemma 4.1 of [14] and Lemma 2.2 of [12] for another formulation. The functions \(Ef_T\) are called wave packets. We need some \(L^2\)-orthogonality of wave packets. Here is one version of it. We refer to Lemma 2.7 and 2.8 of [6] for the proof.
Lemma 2.2
(\(L^2\)-orthogonality) For any subset \(\mathbb {T}_i \subset \mathbb {T}\), square \(\theta \in \mathcal {P}(R^{-1/2})\) and function f, it holds that
and
Our proof of Theorem 1.1 relies on polynomial partitioning. The interested readers should consult the introduction of [6] for the historical backgrounds on polynomial partitioning.
We first introduce some terminology. For every polynomial \(P:\mathbb {R}^n \rightarrow \mathbb {R}\), we denote by \(\mathcal {Z}(P)\) the zero set of the polynomial P, and by \(\textrm{cell}(P)\) the collection of the connected components of \(\mathbb {R}^n \setminus \mathcal {Z}(P)\). A set \(\mathcal {Z}(P_1,\ldots ,P_{n-m}):=\bigcap _{i=1}^{n-m} \mathcal {Z}(P_i)\) is called an m-dimensional transverse complete intersection if it satisfies
for all \(z \in \mathcal {Z}(P_1,\ldots ,P_{n-m})\). A degree of the transverse complete intersection \(\mathcal {Z}(P_1,\ldots ,P_{n-m})\) is defined as the maximum of the degrees of \(P_i\). This definition of the degree is non-standard in the sense that the set depends on the choice of polynomials defining the variety. It might be possible to define the degree in a more natural way, but this definition does not make a trouble in our application, so we use this definition.
The following is the polynomial partitioning lemma used in [7] (see also Sect. 6 of [9]).
Lemma 2.3
(Polynomial partitioning lemma) Let \(1 \le m \le n\) and \(d \ge 0\). Let F be a non-negative \(L^1\) function on \(\mathbb {R}^n\) supported on \(B_{R} \cap N_{R^{1/2+\delta }}(\mathcal {Z})\) where \(\mathcal {Z}:=\mathcal {Z}(P_1,\ldots ,P_{n-m})\) is an m-dimensional transverse complete intersection of degree at most d. Then at least one of the following holds:
-
(1)
There exists a polynomial \(P:\mathbb {R}^n \rightarrow \mathbb {R}\) of degree at most O(d) with the following properties:
-
\(\# \textrm{cell}(P) \simeq d^m\).
-
For every \(O' \in \textrm{cell}(P)\), we define the cells \(O:=O' \setminus N_{R^{1/2+\delta }}(\mathcal {Z}(P))\). Then there exists a subcollection \(\textrm{cell}_{\circ }(P)\) of \(\textrm{cell}(P)\) such that for every O generated by \(O' \in \textrm{cell}_{\circ }(P)\)
$$\begin{aligned} \int \limits _{\mathbb {R}^n}F \simeq d^m \int \limits _{O} F. \end{aligned}$$(2.4)Moreover, the number of the cells O generated by \(\textrm{cell}_{\circ }(P)\) is comparable to \(d^m\).
-
-
(2)
There exists an \((m-1)\)-dimensional transverse complete intersection \(\mathcal {Z}_1\) of degree at most d such that
$$\begin{aligned} \int \limits _{\mathbb {R}^n }F \lesssim \int \limits _{B_R \cap N_{R^{1/2+\delta }}(\mathcal {Z}_1)}F. \end{aligned}$$(2.5)
Since we use the polynomial method and the wave packet decomposition, it is necessary to understand the interplay between a variety and tubes. In particular, we need to answer two questions:
-
Describe the intersection of a tube and a thin neighborhood of a variety.
-
How many tubes pointing in “separated” directions can be contained in a thin neighborhood of a variety?
The author learned the answer of the first question in [21], where Zahl uses a result of Basu et al. [1] and obtains a satisfactory answer (see (4.29)). The second question is answered by [6] in three dimensions, by [20] in four dimensions, and by [10] in all the dimensions, whose results are called the polynomial Wolff axioms. We will use Lemma 2.6, which is a slightly more general version of them.
Definition 2.4
(Semi-algebraic set) A set \(S \subset \mathbb {R}^n\) is called semi-algebraic if it can be written as a finite union of sets of the form
where \(P_1,\ldots ,P_{k+l}\) are polynomials. A union of such sets is called a presentation of S. The complexity of a presentation is the sum of the degrees of the polynomials. The complexity of a semi-algebraic set S is the minimum complexity of its presentation.
Lemma 2.5
([1], cf. Theorem 2.3 of [21]) Let \(S \subset \mathbb {R}^n\) be a semi-algebraic set of complexity D. Then there exists a constant C(n, D) so that S has at most C(n, D) connected components.
Lemma 2.6
(Lemma 2.11 of [21], cf. Theorem 1.4 of [8]) Let n, E and K be integers with \(n \ge 2\), and let \(\epsilon >0\). Then there is a constant \(C(n,E,K,\epsilon )>0\) so that the following holds. Let Z be a semi-algebraic set of complexity at most E. Let \(r>0\). Suppose that \(Z \subset \mathbb {R}^n \) has diameter r and obeys
Let \(0<\delta < \rho /r\), and let \(\mathcal {L}\) be a set of lines in \(\mathbb {R}^n\) pointing in \(\delta \)-separated directions with the property that for each \(L \in \mathcal {L}\)
Then
3 A proof of theorem 1.1: polynomial partitioning
Theorem 1.1 can be deduced from the following:
Proposition 3.1
For every \(\epsilon >0\), it holds that
for every \(R \ge 1\) and separated functions \(f_1\) and \(f_2\).
Let us assume the above proposition and prove Theorem 1.1. Recall that Tao [14] proved a sharp bilinear restriction estimate for \((p,q)=(2,10/3+\epsilon )\) for arbitrary \(\epsilon >0\). By the trivial estimate (1.12), the average norm in (3.1) can be bounded by \(L^{\infty }\)-norm. Applying the resulting inequality with \(f_i=\chi _{F_i}\) for separated measurable sets \(F_i \subset [-1,1]^2\) we obtain
By applying Hölder’s inequality and using Tao’s result, we obtain
for every pair (p, q) satisfying (1.5) and every \(f_i=\chi _{F_i}\). We apply Lemma 1.4.20 of Grafakos’s book [5] componentwise to the bilinear operator, and obtain (3.3) for every pair (p, q) satisfying (1.5) and every \(f_i \in L^p\). Applying the epsilon-removal lemma (Lemma 2.4 in [15]) completes the proof of Theorem 1.1.
In the rest of the paper, we focus on the proof of Proposition 3.1. Our proof relies on the induction on scales. Let us fix \(\epsilon >0\). We may assume that \(\epsilon \) is sufficiently small. We take \(C_{\epsilon }\) large enough so that (3.1) trivially holds true for small R. Hence, it suffices to consider a large R and prove (3.1) under the assumption that it holds true for \(<R/2\). We record our induction hypothesis.
3.1 Induction hypothesis
In order to close the induction, it is important to keep in mind that we need to prove (3.1) with the same constant \(C_{\epsilon }\). The constant \(C_{\epsilon }\) will not vary from line-to-line.
3.2 Polynomial partitioning
Let \(\delta >0\) be some number much smaller than \(\epsilon \). Let D be a sufficiently large number independent of R, which will be determined later. We apply the polynomial partitioning lemma (Lemma 2.3) to the function \(|Ef_1Ef_2|^{1/2}\) and \(\mathcal {Z}=\mathbb {R}^3\). Then there are two possibilities:
3.3 The cellular case
There exists a polynomial P of degree at most D such that
where \(M \simeq D^3\), and \(O_k'\) is a connected component of \(\mathbb {R}^3 {\setminus } \mathcal {Z}(P)\), and if we define the cells \(O_k:=B_R \cap \big (O_k' {\setminus } N_{R^{1/2+\delta }}(\mathcal {Z}(P))\big )\), then
for \(\simeq D^3\) many cells \(O_k\).
3.4 The wall case
There exists a two-dimensional transverse complete intersection \(\mathcal {Z}(P_1)\) of degree at most D such that
It is well-known that a transverse complete intersection can be thought of as a smooth manifold locally. This will enable us to define a tangent plane on a point of the transverse complete intersection.
3.5 The cellular case
In this subsection, we will consider the cellular case and prove (3.1). This case can be dealt with by following the arguments of [6] line by line. We include the details for the completeness of the paper. Recall that \(\mathbb {T}\) is a collection of the tubes defined at the beginning Sect. 2. By abuse the notation, we pretend that cells always indicate the cells \(O_k\) satisfying (3.6). In this subsection, the constant C may vary from line-to-line. This constant C is independent of the parameters \(\epsilon \), D and R.
We first note that, by property (2) and (3) of Lemma 2.1, on each cell \(O_k\)
For simplicity, we introduce the notation \(f_{i,O_k}:= \sum _{T \in \mathbb {T}: T \cap O_k \ne \emptyset } f_{i,T}\). By the equality above, for every k, it holds that
where the notation \(\lessapprox \) is introduced in (1.14). Notice that, by the fundamental theorem of algebra, each tube \(T \in \mathbb {T}\) passes through at most \(D+1\) cells \(O_k\) (see Lemma 3.2 of [6]). Hence, by the orthogonality of wave packets (Lemma 2.2), it holds that
for some constant C. It is straightforward to see that \(\frac{9}{10}\#O_k\) many cells \(O_k\) satisfy the following:
Thus, by recalling that \(\#O_k \simeq D^3\) and by pigeonhling, we can choose a cell \(O_{k_0}\) such that
for both \(i=1,2\). Let us fix such \(O_{k_0}\) and decompose \(O_{k_0}\) into smaller balls of radius at most R/2 and apply the induction hypothesis (3.4) to the right hand side of (3.9) on each smaller ball \(B_{R/2}\). Then the left hand side of (3.9) is bounded by
We now apply (3.12) to the \(L^2\)-norm and the \(L^2\)-orthogonality (Lemma 2.2) to the \(L^2_{\textrm{avg}}\)-norm. Then the above term is further bounded by
It suffices to take D sufficiently large so that \(CD^{-\epsilon } \le 1\), and thus, we can close the induction.
To summarize, we have proved (3.1) in the cellular case. It remains to prove (3.1) in the wall case, which will be done in the following sections.
4 A proof of theorem 1.1: the wall case
In this section, we consider the wall case. We need to prove that under the induction hypothesis (3.4)
for some small constant C. Here, \(\mathcal {Z}(P_1)\) is a two-dimensional transverse complete intersection of degree at most D. Recall that the constant D is independent of the parameter R, and this fact will play a role in the proof.
Let \(D_1\) be a large constant compared to D and be independent of the parameter R. We consider two subcases according to whether there exists an one-dimensional transverse complete intersection \(\mathcal {Z}(Q_1,Q_2)\) of degree at most \(D_1\) such that
If such \(\mathcal {Z}(Q_1,Q_2)\) exists, then we apply the following lemma and prove (4.1).
Lemma 4.1
For every pair of separated functions \(g_1\) and \(g_2\), one-dimensional transverse complete intersection \(\mathcal {Z}(Q_1,Q_2)\) of degree at most \(D_1\), it holds that
under the induction hypothesis (3.4).
Let us postpone the proof of the lemma to the next section and consider the case that such \(\mathcal {Z}(Q_1,Q_2)\) does not exist. The advantage of this case is that we can control tangent spaces of a variety. Let us explain more.
Let \(\gamma \) be a fixed constant smaller than the implied constant in (1.2). This constant \(\gamma \) is independent of all the parameters, for example, \(\epsilon \), \(\delta \), and R. Recall that since \(P_1\) is a transverse complete intersection, the tangent planes are well-defined at every point of the variety. We say that a ball \(B(x_0,R^{1/2+\delta }) \subset N_{R^{1/2+\delta }}(\mathcal {Z}(P_1)) \cap B_R\) is regular if on each connected component of \(\mathcal {Z}(P_1) \cap B(x_0,10R^{1/2+\delta })\) the tangent space \(T(\mathcal {Z}(P_1))\) is constant up to angle \(\gamma \). For a regular ball B, we pick a point \(z \in B \cap \mathcal {Z}(P_1)\) and define \(V_B\) to be the two-dimensional tangent plane \(T_z (\mathcal {Z}(P_1))\). It is proved on page 126 of [7] (see also page 16 of [2]) that, by the assumption that such \(\mathcal {Z}(Q_1,Q_2)\) does not exist, there exists a two-dimensional plane V such that
where \(\mathcal {B}_V\) is the set of regular balls such that the angle between \(V_B\) and V is smaller than \(\gamma \). Since this statement is proved several times in the literature, we omit the details.
For simplicity, we introduce the notation
Define
We split functions \(Ef_i\) into three parts:
where
By the triangle inequality, the right hand side of (4.4) is bounded by
We say that we are in a high angle dominant case if the first three terms dominate the last term. Otherwise, we say that we are in a low angle dominant case.
4.1 The high angle dominant case
In this case, by the symmetric role of \(f_1\) and \(f_2\) and the \(L^2\)-orthogonality, the desired estimate (4.1) follows from
for some small constant C.
Let us consider two subcases according to whether there exists a one-dimensional transverse complete intersection \(\mathcal {Z}(Q_1,Q_2)\) of degree at most \(D_1\) satisfying
If such \(\mathcal {Z}(Q_1,Q_2)\) exists, then we apply Lemma 4.1, and by the \(L^2\)-orthogonality, we obtain (4.10). Hence, we may assume that such \(\mathcal {Z}(Q_1,Q_2)\) does not exist.
Recall that \(N_1 \subset B_R \cap N_{R^{1/2+\delta }}(\mathcal {Z}(P_1))\). We apply the polynomial partitioning lemma (Lemma 2.3) to the function \(\chi _{N_1}|Ef_{1, \ge 4\gamma }Ef_2|^{1/2}\) with the degree \(D_1\). Then the second case of Lemma 2.3 cannot happen. Thus, there exist a polynomial \(P_2:\mathbb {R}^3 \rightarrow \mathbb {R}\) of degree at most \(D_1\) such that
where \(M \simeq (D_1)^2\), and \(\widetilde{O}_k'\) is a connected component of \(\mathbb {R}^3 \setminus \mathcal {Z}(P_2)\), and if we define the cells \(\widetilde{O}_k:=B_R \cap \big (O_k' {\setminus } N_{R^{1/2+\delta }}(\mathcal {Z}(P_2))\big )\), then
for \((D_1)^2\) many cells \(\widetilde{O}_k\). By abusing the notation, we pretend that the cells \(\widetilde{O}_k\) always satisfy the above inequality.
Define \(\mathbb {T}_{\ge 4\gamma , k}\) by a sub-collection of the tubes in \(\mathbb {T}_{\ge 4\gamma }\) that intersect \(\widetilde{O}_k\) and \(\mathbb {T}_k\) by a sub-collection of the tubes in \(\mathbb {T}\) that intersect \(\widetilde{O}_k\). Since each tube \(T \in \mathbb {T}\) can pass through at most \(D_1+1\) many \(\widetilde{O}_k\), we know that
As observed in [2], each \(T \in \mathbb {T}_{\ge 4\gamma }\) can intersect \(\widetilde{O}_{k} \cap N_1\) at most \(O(D^3)\) times. This is because \(T \cap \mathcal {Z}(P_1)\) is contained in at most \(O(D^3)\) balls of radius \(R^{1/2+\delta }\) (see Lemma 5.7 of [7]). By this observation and the \(L^2\)-orthogonality, we obtain
By pigeonholing, we can choose \(k_0\) such that
Therefore, if we use (4.13) with \(k=k_0\) and apply the induction hypothesis (3.4), by the above inequalities, we have
It suffices to take \(D_1\) large enough compared to the constant D.
4.2 The low angle dominant case
In this case, we prove the following.
One advantage of working with the wave packets with low angles is that it allows for an \(L^4\)-estimate as good as in [6]. This is one observation already appeared in [2]. We will make use of it later.
Recall that \(N_1\) is a subset of \(B_R \cap N_{R^{1/2+\delta } }(\mathcal {Z}(P_1))\). For simplicity, we define \(W:=B_R \cap N_{R^{1/2+\delta } }(\mathcal {Z}(P_1))\). We decompose the ball \(B_R\) into smaller balls \(B_j\) of radius \(R^{1-\delta }\). For each ball \(B_j\), we define transverse and tangential tubes as in [6].
Definition 4.2
(Tangential tubes) \(\mathbb {T}_{j,-}\) is the set of all \(T \in \mathbb {T}_{< 4\gamma }\) obeying the following two conditions.
-
\(T \cap W \cap B_j \ne \emptyset \)
-
If z is any point of \(\mathcal {Z}(P_1)\) lying in \(2B_j \cap 10T\), then
$$\begin{aligned} \textrm{Angle}(v(T), T_z (\mathcal {Z}(P_1))) \le R^{-1/2+2\delta }. \end{aligned}$$(4.19)
Here \(T_z (\mathcal {Z}(P_1))\) denotes the tangent space of Z at the point z.
Definition 4.3
(Transverse tubes) \(\mathbb {T}_{j,+}\) is the set of all \(T \in \mathbb {T}_{< 4\gamma }\) obeying the following two conditions.
-
\(T \cap W \cap B_j \ne \emptyset \)
-
There exists a point of \(\mathcal {Z}(P_1)\) lying in \(2B_j \cap 10T\), so that
$$\begin{aligned} \textrm{Angle}(v(T), T_z (\mathcal {Z}(P_1))) > R^{-1/2+2\delta }. \end{aligned}$$(4.20)
Notice that any tube \(\mathbb {T}_{< 4\gamma }\) that intersects \(W \cap B_j\) lies in exactly one of \(\mathbb {T}_{j,+}\) and \(\mathbb {T}_{j,-}\). Thus, on the set \(W \cap B_j\),
For simplicity, we define \(f_{i,j,+}:=\sum _{T \in \mathbb {T}_{j,+}}f_{i,T}\) and define \(f_{i,j,-}\) similarly.
We decompose \(N_1\) into smaller parts \(B_{j} \cap N_1\) and bound the left hand side of (4.18) by
If the first term dominates the others, we say that we are in a transverse wall case. Otherwise, we say that we are in a tangential wall case.
4.2.1 The transverse wall case
In this case, we do not use much information on \(N_1\). In this subsubsection, the constant C may vary from line-to-line. This constant is independent of all the parameters, for example, \(\epsilon \), \(\delta \), and R. We start with the following bound.
This case can be dealt with by following the argument in [6] line by line. Let us give the details. We apply the induction hypothesis (3.4) and the right hand side of (4.23) is bounded by
Next we apply the \(L^2\)-orthogonality, and replace \(\Vert f_{i,j,+}\Vert _{L^2_{\textrm{avg}}(\theta )}\) by \(\Vert f_{i}\Vert _{L^2_{\textrm{avg}}(\theta )}\). By the relation \(\Vert \cdot \Vert _{l^{3+13\epsilon /4}} \le \Vert \cdot \Vert _{l^2}\) and Cauchy–Schwarz inequality, (4.24) is further bounded by
By Lemma 5.7 of [7], each tube \(T \in \mathbb {T}\) belongs to \(\mathbb {T}_{j,+}\) at most \(O(D^3)\) many j (see also Lemma 3.5 of [6]). Hence, by the \(L^2\)-orthogonality, as in (3.10), we obtain
Therefore, (4.25) is bounded by
It suffices to note that D is a fixed number independent of R and we were able to assume that R is large enough compared to D by the base of the induction.
4.2.2 The tangential wall case
In this case, the first term in (4.22) is bounded by the other terms. Therefore, it suffices to prove the following proposition.
Proposition 4.4
For every pair of separated functions \(g_1\) and \(g_2\), and ball \(B_j\), it holds that
Recall that \(N_1\) is a subset of \(W=B_R \cap N_{R^{1/2+\delta }}(\mathcal {Z}(P_1))\) and \(\mathcal {Z}(P_1)\) is a two-dimensional complete intersection of degree at most D.
The proof of the above proposition is the main part of this paper. We start with the observation on page 27 of [21]: For every tube \(T \in \mathbb {T}\), there exist some tubes \(\widetilde{T}_{T,m}\) of dimension \(5R^{1/2+\delta } \times 5R^{1/2+\delta } \times l_m\) for some \(l_m \ge R^{1/2+\delta }\) such that
and
for any \(m,m'\). The property (4.30) is not crucial, but it helps to avoid some technical issue. Let us prove the observation. By Theorem 2.5, there are at most \(C_{D}\) many connected components of \(N_{R^{1/2+\delta }}(T) \cap \mathcal {Z}(P_1)\). We take the smallest union of subtubes of \(N_{R^{1/2+\delta }}(T)\) such that the union covers \(N_{R^{1/2+\delta }}(T) \cap \mathcal {Z}(P_1)\). We slightly enlarge each subtube so that their union covers \(T \cap N_{R^{1/2+\delta }}(\mathcal {Z}(P_1))\). Note that each subtube is contained in \(N_{20R^{1/2+\delta }}(\mathcal {Z}(P_1))\) by the construction of the subtubes. The distance condition (4.30) can be easily attained by modifying the subtubes. This completes the proof of the observation.
We take the characteristic function \(\chi _{\widetilde{T}_{T,m}}\) of a tube \(\widetilde{T}_{T,m}\). By the observation (4.29), it holds that
for every \( x \in B_j \cap W\). Note that the above identity does not need to be true outside of \(B_j \cap W\). Using (4.31), we obtain
By the triangle inequality and taking the maximum, the right-hand side above is bounded by
for some m. For simplicity, let us use the notation \(\chi _{\widetilde{T}_{T}}\) for \(\chi _{\widetilde{T}_{T,m}}\). Recall that the length of the longest direction of the tube \(\widetilde{T}_{T}\) is greater than \(R^{1/2+\delta }\) and smaller than R. Thus, by a dyadic pigeonhling and taking a sub-collection, we may assume that the longest directions of all the nonempty tubes \(\widetilde{T}_{T}\) are comparable and we denote the length by l. Recall that the constant D is independent of the parameter R. Hence, what we need to prove becomes
where \(\widetilde{T}_T\) has a longest direction with length 0 or l.
We will interpolate the \(L^2\) estimate and the \(L^4\) estimate by Hölder’s inequality:
Let us first estimate the \(L^4\)-norm. We define \(\Theta _{\textrm{Leng}(l)}\) by the collection of directions of the tubes \(T \in \mathbb {T}\) for which the intersection of the tube and \(W \cap B_j\) contains a tube of dimensions \(R^{1/2+\delta } \times R^{1/2+\delta } \times l\). Define
We claim that
Recall that \(B_j \cap W\) is a union of regular balls Q of radius \(R^{1/2}\). Define \(\mathbb {T}_{j,-,Q}\) by the set of tubes in \(\mathbb {T}_{j,-}\) intersecting Q and define \(\mathbb {T}_{\textrm{Leng}(l),Q}\) similarly. Note that on each set \(Q \cap W \cap B_j\)
Similarly, on each set \(Q \cap W \cap B_j\)
where
Here, the set \(\mathbb {T}_{<4\gamma }\) was defined in (4.6), \(B_j\) is a ball of radius \(R^{1-\delta }\), and \(\widetilde{T}_T\) is a sub-tube of \(T \in \mathbb {T}_{<4\gamma }\) the longest length of which is 0 or l. By the above identities, we know that
We fix Q. Since \(Q \cap W \ne \emptyset \), we can choose a point \(z \in \mathcal {Z}(P_1) \cap N_{R^{1/2+\delta }}(Q)\). Notice that by the definition of \(\mathbb {T}_{j,-}\), every \(T \in \mathbb {T}_{j,-,Q}\) satisfies that \( \textrm{Angle}(v(T),T_z\mathcal {Z}(P_1)) \le R^{-1/2+2\delta }\). Thus, the function \(\sum _{T \in \mathbb {T}_{j,-,Q}} g_{1,T}\) is supported on some strip of width \(R^{-1/2+O(\delta )}\). By a simple change of variables, we may assume that the strip is \([0,1] \times [0,R^{-1/2+O(\delta )}]\). On the other hand, by the definition, we know that \(\mathbb {T}_{\textrm{Leng}(l),Q,\sim } \subset \mathbb {T}_{<4\gamma }\), and thus, the support of \(\sum _{T \in \mathbb {T}_{\textrm{Leng}(l),Q,\sim }}g_{2,T}\) is contained in \([0,1] \times [0,100\gamma ]\). Since \(g_1\) and \(g_2\) are separated and the constant \(\gamma \) is much smaller than the implied constant in the definition of the separation (1.2), we can conclude that
where \(\pi :\mathbb {R}^2 \rightarrow \mathbb {R}\) is a projection map defined as \(\pi (\xi _1,\xi _2):=\xi _1\). Therefore, we can perform the the standard \(L^4\)-argument (see Lemma 3.10 of [6]), or simply apply Theorem 1.3 of [3], and obtain
We bound the sum over \(\mathbb {T}_{\textrm{Leng}(l),Q,\sim }\) by that over \(\mathbb {T}_{\textrm{Leng}(l),Q}\). Define a function \(\chi (T,Q)\) whose value is 1 if T and Q intersect, and 0 otherwise. Notice that
We have a similar property for \(\mathbb {T}_{\textrm{Leng}(l),Q}\). Notice that for every \(T_1\) and \(T_2\) whose direction is separated by \(\simeq 1\) it holds that
By this inequality, we obtain
Therefore, by (4.43) and the above inequality, we know that
The claim (4.37) follows by combining (4.41) and (4.47).
Let us move on to the \(L^2\)-estimate. A main estimate is the following.
Lemma 4.5
One may think of this estimate as a counterpart of [21, eq. (4.16)] in the restriction problem setting.
We assume this lemma for a moment and finish the proof of Proposition 4.4. By the Cauchy–Schwarz inequality,
By Lemma 4.5, the above term is bounded by
By the standard \(L^2\)-estimate
the term (4.50) is further bounded by
By (4.35), the \(L^4\)-estimate (4.37), and the \(L^2\)-estimate, we obtain
We now apply Lemma 2.6Footnote 3 to the function \(g_{1,j,-}\) with \(n=3\), \(r=R\), and \(\rho =R^{1/2}\), by the \(L^2\)-orthogonality, we obtain
and similarly,
Therefore, by combining these estimates with the \(L^2\)-orthogonality, we conclude that
Proposition 4.4 follows by the upper bound \(l \le R\).
It remains to prove Lemma 4.5
Proof of Lemma 4.5
We cover \(B_j \cap W\) by smaller balls Q of radius \(R^{1/2}\). By the \(L^2\)-orthogonality, we see that
We sum over all the balls Q intersecting \(B_j \cap W\) and obtain
By an standard application of the essentially constant property (Lemma 6.4 of [7]), the right hand side of (4.58) is bounded by
It suffices to recall that \(\widetilde{T}_T\) has the dimension \(5R^{1/2+\delta } \times 5R^{1/2+\delta } \times l\). \(\square \)
5 A proof of theorem 1.1: The remaining case
In the previous two sections, we proved Proposition 3.1 by assuming Lemma 4.1. In this section, we prove the lemma. Let us recall the lemma.
Lemma 5.1
For every pair of separated functions \(g_1\) and \(g_2\), one-dimensional transverse complete intersection \(\mathcal {Z}(Q_1,Q_2)\) of degree at most \(D_1\), it holds that
under the induction hypothesis (3.4).
The proof of this lemma shares some similarity to that for the low angle dominant case (Subsect. 4.2). We only sketch the proof here.
Let us use the notation \(Y:=B_R \cap N_{R^{1/2+\delta }}(\mathcal {Z}(Q_1,Q_2))\) for simplicity. We cover Y by smaller balls \({B}_{j}\) of radius \(R^{1-\delta }\). Define transverse and tangential tubes with respect to the transverse complete intersection \(\mathcal {Z}(Q_1,Q_2)\) as follows.
Definition 5.2
(Tangential tube with respect to \(\mathcal {Z}(Q_1,Q_2)\)) \(\mathbb {T}_{j,\textrm{tang} }\) is the set of all \(T \in \mathbb {T}\) obeying the following two conditions.
-
\(T \cap {B}_j \cap Y \ne \emptyset \)
-
If z is any point of \(\mathcal {Z}(Q_1,Q_2)\) lying in \(2{B}_j \cap 10T\), then
$$\begin{aligned} \textrm{Angle}(v(T), T_z (\mathcal {Z}(Q_1,Q_2))) \le R^{-1/2+2\delta }. \end{aligned}$$(5.2)
Definition 5.3
(Transverse tube with respect to \(\mathcal {Z}(Q_1,Q_2)\)) \(\mathbb {T}_{j,\textrm{trans} }\) is the set of all \(T \in \mathbb {T}\) obeying the following two conditions.
-
\(T \cap {B}_j \cap Y \ne \emptyset \)
-
There exists a point of \(\mathcal {Z}(Q_1,Q_2)\) lying in \(2{B}_j \cap 10T\), so that
$$\begin{aligned} \textrm{Angle}(v(T), T_z (\mathcal {Z}(Q_1,Q_2))) > R^{-1/2+2\delta }. \end{aligned}$$(5.3)
Define \(g_{i,j,\textrm{trans} }:=\sum _{T \in \mathbb {T}_{j,\textrm{trans} } }g_{i,T}\) and define \(g_{i,j,\textrm{tang} }\) similarly. Note that
By the triangle inequality, the left hand side of (5.1) is bounded by
Let us consider the case that the first term dominates the others. By Lemma 5.7 of [7], each tube \(T \in \mathbb {T}\) belongs to \(\mathbb {T}_{j,\textrm{trans} }\) at most \(O((D_1)^3)\) many j. By the \(L^2\)-orthogonality, this implies the following inequality:
Hence, by following the arguments in the transverse wall case (Subsect. 4.2.1) line by line with \(g_{i,j,\textrm{trans}}\) replacing \(f_{i,j,+}\), one can get the desired bound. Since the arguments are identical, we leave out the details.
Let us consider the case that the first term is dominated by the others. In this case, by replacing the summation by the maximum, it suffices to prove
for every function \(g_1\) and \(g_2\). By Hölder’s inequality, the left hand side is bounded by a constant multiple of
To treat the \(L^2\)-norm, we simply apply the Cauchy-Schwarz inequality and the standard \(L^2\)-estimate (4.51). For the \(L^{10/3}\)-norm, we apply Tao’s bilinear restriction estimate [14]. Then the above term is bounded by
By the polynomial Wolff axioms (Lemma 2.6) with \(n=3\), \(r=R\), and \(\rho =R^{1/2}\), we know that
Therefore, (5.9) is bounded by
and this completes the proof of the lemma.
Notes
The points (0, 0) and (1, 0) are not represented in Fig. 2.
In the paper, it is proved the sharp \(L^2\) bilinear restriction estimate for the paraboloid in \(\mathbb {R}^n\) up to the endpoint for all the dimensions n.
References
Basu, S., Pollack, R., Roy, M.-F.: On the number of cells defined by a family of polynomials on a variety. Mathematika 43(1), 120–126 (1996)
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. 20, 16363–16404 (2022)
Bejenaru, I.: The multilinear restriction estimate: almost optimality and localization. Math. Res. Lett. 29(3), 599–630 (2022)
Bourgain, J., Guth, L.: Bounds on oscillatory integral operators based on multilinear estimates. Geom. Funct. Anal. 21(6), 1239–1295 (2011)
Grafakos, L.: Classical Fourier analysis. Graduate Texts in Mathematics, vol. 249, 3rd edn. Springer, New York (2014)
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)
Hickman, J., Rogers, K.M., Zhang, R.: Improved bounds for the Kakeya maximal conjecture in higher dimensions (2019)
Hickman, J., Rogers, K.M.: Improved Fourier restriction estimates in higher dimensions. Camb. J. Math. 7(3), 219–282 (2019)
Katz, N.H., Rogers, K.M.: On the polynomial Wolff axioms. Geom. Funct. Anal. 28(6), 1706–1716 (2018)
Kim, J.: Some remarks on Fourier restriction estimates. arXiv:1702.01231 (2017)
Lee, S.: Bilinear restriction estimates for surfaces with curvatures of different signs. Trans. Am. Math. Soc. 358(8), 3511–3533 (2006)
Shayya, B.: Weighted restriction estimates using polynomial partitioning. Proc. Lond. Math. Soc. (3) 115(3), 545–598 (2017)
Tao, T.: A sharp bilinear restrictions estimate for paraboloids. Geom. Funct. Anal. 13(6), 1359–1384 (2003)
Tao, T., Vargas, A.: A bilinear approach to cone multipliers. I. Restriction estimates. Geom. Funct. Anal. 10(1), 185–215 (2000)
Tao, T., Vargas, A., Vega, L.: A bilinear approach to the restriction and Kakeya conjectures. J. Am. Math. Soc. 11(4), 967–1000 (1998)
Wang, H.: A restriction estimate in \({\mathbb{R}}^{3}\) using brooms. arXiv:1802.04312 (2018)
Wolff, T.: A sharp bilinear cone restriction estimate. Ann. Math. (2) 153(3), 661–698 (2001)
Wongkew, R.: Volumes of tubular neighbourhoods of real algebraic varieties. Pacific J. Math. 159(1), 177–184 (1993)
Zahl, J.: A discretized Severi-type theorem with applications to harmonic analysis. Geom. Funct. Anal. 28(4), 1131–1181 (2018)
Zahl, J.: New Kakeya estimates using Gromov’s algebraic lemma. Adv. Math. 380, 107596 (2021)
Acknowledgements
Part of this work was done under the support of the NSF grant DMS-1800274. The author would like to thank his advisor Shaoming Guo for valuable comments. The author also would like to thank Youngwoo Koh for introducing the paper [21] to him. The author also would like to thank Shengwen Gan for introducing the paper [15], where a counterexample for a bilinear restriction estimate for cone in \(\mathbb {R}^3\) is constructed. The author also would like to thank the referees for carefully reading the manuscript and giving valuable suggestions.
Funding
’Open Access funding provided by the MIT Libraries’
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
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
Oh, C. An improved bilinear restriction estimate for the paraboloid in \(\mathbb {R}^3\). Math. Z. 303, 88 (2023). https://doi.org/10.1007/s00209-023-03237-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209-023-03237-2