Abstract
The sharp range of \(L^p\)-estimates for the class of Hörmander-type oscillatory integral operators is established in all dimensions under a general signature assumption on the phase. This simultaneously generalises earlier work of the authors and Guth, which treats the maximal signature case, and also work of Stein and Bourgain–Guth, which treats the minimal signature case.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Main results
This article concerns \(L^p\) bounds for oscillatory integral operators that are natural variable coefficient generalisations of the Fourier extension operator associated to surfaces of non-vanishing Gaussian curvature. To describe the basic setup, for \(d \ge 1\) let \(B^d\) denote the unit ball in \({\mathbb {R}}^d\) and fix a dimension \(n \ge 2\). Suppose \(a \in C^{\infty }_c({\mathbb {R}}^n \times {\mathbb {R}}^{n-1})\) is supported in \(B^n \times B^{n-1}\) and consider a smooth function \(\phi :B^n \times B^{n-1} \rightarrow {\mathbb {R}}\) which satisfies the following conditions:
-
(H1)
\(\mathrm {rank}\, \partial _{\omega x}^2 \phi (x;\omega ) = n-1\) for all \((x;\omega ) \in B^n \times B^{n-1}\).
-
(H2)
Defining the map \(G :B^n \times B^{n-1} \rightarrow S^{n-1}\) by \(G(x;\omega ) := \frac{G_0(x;\omega )}{|G_0(x;\omega ) |}\) where
$$\begin{aligned} G_0(x;\omega ) := \bigwedge _{j=1}^{n-1} \partial _{\omega _j} \partial _x\phi (x;\omega ), \end{aligned}$$the curvature condition
$$\begin{aligned} \det \partial ^2_{\omega \omega } \langle \partial _x\phi (x;\omega ),G(x; \omega _0)\rangle |_{\omega = \omega _0} \ne 0 \end{aligned}$$(1.1)holds for all \((x; \omega _0) \in \mathrm {supp}\,a\).
For any \(\lambda > 1\) let \(a^{\lambda }(x;\omega ) := a(x/\lambda ;\omega )\) and \(\phi ^{\lambda }(x;\omega ) := \lambda \phi (x/\lambda ;\omega )\) and define the operator \(T^{\lambda }\) by
for all integrable \(f :B^{n-1} \rightarrow {\mathbb {C}}\). In this case \(T^{\lambda }\) is said to be a Hörmander-type operator.
A prototypical example is given by the choice of phase
in this case (1.2) is the well-known extension operator \(E_{\mathrm {ell}}\) associated to the elliptic paraboloid (with the additional cutoff function \(a^{\lambda }\) localising the operator to a spatial ball of radius \(\lambda \)): see Example 1.4 below.
Operators of the form (1.2) were introduced by Hörmander [24] as a simultaneous generalisation of Fourier extension operators and operators which arise in the Carleson–Sjölin approach to the study of Bochner–Riesz means [17]. The \(L^p\) theory of Hörmander-type operators has been investigated in a number of articles over the last few decades: see, for instance, [5,6,7, 9, 12, 21, 24, 26, 27, 32, 40] and references therein. A recent survey of the history of the problem can be found in the introductory section of [21].
It has been observed that, in general, the \(L^p\) mapping properties of \(T^{\lambda }\) are determined by finer geometric conditions on the phase than (H1) and (H2) above [7, 9, 27, 40]. In particular, in addition to the Hessian in (1.1) having full rank, the behaviour of the operator can often depend on the signature of the matrix.
Definition 1.1
Suppose \(\phi \) is a phase which satisfies (H1) and (H2) above. The eigenvalues of the symmetric matrix
can be defined as continuous functions on \(B^n \times B^{n-1}\) which are bounded away from 0. The signature of \(\phi \) is defined to be the quantity \(\mathrm {sgn} (\phi ) := |\sigma _+ - \sigma _-|\) where \(\sigma _+\) and \(\sigma _-\) are, respectively, the number of positive and the number of negative eigenvalue functions.
The aim of this article is to prove \(L^p\) estimates for general Hörmander-type operators, with a range of p determined by the signature of the phase.
Theorem 1.2
Suppose \(T^{\lambda }\) is a Hörmander-type operator. For all \(\varepsilon > 0\) the a priori estimateFootnote 1
holds whenever p satisfies
The ‘extreme’ cases of this result already appear in the literature:
\({\hbox {Minimal }\sigma }\) Stein [32] and Bourgain–Guth [12] showed that all Hörmander-type operators satisfy (1.3) forFootnote 2
This yields Theorem 1.2 in the special case where the signature is minimal (so that \(\mathrm {sgn} (\phi ) = 0\) if n is odd and \(\mathrm {sgn} (\phi ) = 1\) if n is even).
\({\hbox {Maximal }\sigma .}\) On the other hand, if \(\mathrm {sgn} (\phi ) = n-1\), then it was shown by Lee [26] for \(n = 3\) (see also [12]) and by Guth and the authors [21] for \(n \ge 4\) that (1.3) holds for
agreeing with the range of exponents in (1.4).
Theorem 1.2 gives new bounds away from these extremes. In particular, in all other cases the previous best known range of exponents is (1.5), arising from the work of Stein [32] and Bourgain–Guth [12]. If \(0< \mathrm {sgn} (\phi ) < n-1\) for n odd or \(1< \mathrm {sgn} (\phi ) < n-1\) for n even, then (1.4) provides a strictly larger range than (1.5).
1.2 Sharpness
An interesting feature of the result is that it is sharp for specific choices of operator, in the following sense.
Proposition 1.3
For every dimension \(n \ge 2\) and every \(0 \le \sigma \le n-1\) such that \(n-1 - \sigma \) is even, there exists a Hörmander-type operator with \(\mathrm {sgn}(\phi ) = \sigma \) for which (1.3) fails whenever p does not satisfy (1.4).
These examples are given by essentially taking tensor products of existent examples for the \(\sigma = 0\) and \(\sigma =n-1\) cases, which are due to Bourgain [7, 9] and Bourgain–Guth [12] (see also [27, 40]). The details are discussed in Sect. 2 below.
1.3 Non-sharpness
It is also important to note that there exist examples of operators for which (1.3) is known to hold for a wider range of exponents than (1.4). For instance, the extension operator \(E_{\mathrm {ell}}\) associated to the elliptic paraboloid, which is a prototypical example in the maximal signature case, has been shown to satisfy a wider range of \(L^p\) estimates than (1.4) in all but a finite number of dimensions (see [12, 19, 23, 39]). More generally, one may consider extension operators associated to arbitrary paraboloids.
Example 1.4
Given a non-degenerate quadratic form \(Q :{\mathbb {R}}^{n-1} \rightarrow {\mathbb {R}}\), define the associated extension operator
Let \(0 \le \sigma \le n-1\) be such that \(n-1-\sigma \) is even. Affine invariance typically reduces the study of these operators to that of the prototypical examples where
Here, writing \(\mathrm {I}_d\) for a \(d \times d\) identity matrix, the \((n-1) \times (n-1)\) matrix \(\mathrm {I}_{n-1,\sigma }\) is given in block form by
In this case, the corresponding phase in (1.6) has signature \(\sigma \) and \(E_{\sigma } := E_{Q_{\sigma }}\) is the extension operator associated to (a compact piece of) the hyperbolic paraboloid
As discussed in Sect. 4.3 below, at a local level all Hörmander-type operators are smooth perturbations of the prototypical operators \(E_{\sigma } \).
It is conjectured [33] that the operators \(E_Q\) (and, in fact, extension operators associated to any surface of non-vanishing Gaussian curvature) are \(L^p(B^{n-1}) \rightarrow L^p({\mathbb {R}}^n)\) bounded for \(p > 2\cdot \frac{n}{n-1}\), regardless of the signature. Restriction theory for hyperbolic parabolæ involves a number of novel considerations compared with that of the elliptic case, and has been investigated in a variety of works [1, 12, 18, 25, 35, 38]. There has also been a recent programme [13,14,15,16] to investigate \(L^p\)-boundedness of extension operators associated to negatively-curved surfaces given by smooth perturbations of the hyperbolic paraboloid \({\mathbb {H}}^{2,0}\) from Example 1.4; this turns out to be a rather subtle problem for \(p < 4\).
1.4 Relation to other problems
It is well-known that \(L^p\) estimates for the Fourier extension operators are related to many central questions in harmonic analysis such as the Kakeya conjecture, the Bochner–Riesz conjecture and the local smoothing conjecture for the wave equation (see, for instance, [37]). In the maximal signature case, \(L^p\) estimates for Hörmander-type operators imply Bochner–Riesz estimates and are further connected to curved variants of the above problems defined over manifolds (see, for instance, [4, 30, 31]), although some of the implications are not as strong as in the Euclidean setting (seeFootnote 3 [21, §1.2] for results and further details). For operators with general signature, Theorem 1.2 relates to further generalisations of the Kakeya and local smoothing problems, the latter now defined with respect to a class of Fourier integral operators. The connections with FIO theory are discussed in detail in [3, 4]; see [40] and [12] for further details of the underlying Kakeya-type problems.
1.5 The rôle of the signature
The proof of Theorem 1.2 follows the argument used to establish the \(\mathrm {sgn}(\phi ) = n-1\) case from [21], with a number of modifications to take account of the relaxed signature hypothesis. There are two significant points of departure from [21], where the signature plays a critical rôle in the argument (also reflected in the sharp examples in Sects. 2 and 3). In both cases, to illustrate the underlying ideas it suffices only to consider the prototypical operators \(E_Q\) introduced in Example 1.4.
Partial transverse equidistribution. Transverse equidistribution estimates were introduced in [20] in relation to the elliptic extension operator \(E_{\mathrm {ell}}\) and play a significant rôle here. In order to describe the setup, it is necessary to briefly review the notion of wave packet decomposition (see Sect. 4.4 for further details). Decompose \(B^{n-1}\) into a family of finitely-overlapping \(R^{-1/2}\) discs \(\theta = B(\omega _{\theta },R^{-1/2})\). By means of a partition of unity, for \(f:B^{n-1}\rightarrow {\mathbb {C}}\) write \(f = \sum _{\theta } f_{\theta }\) where each \(f_{\theta }\) is supported in \(\theta \). Forming a Fourier series decomposition, one may further decompose \(f_{\theta } = \sum _v f_{\theta ,v}\) where the frequencies v lie in the lattice \(R^{1/2}{\mathbb {Z}}^{n-1}\) and the \({\hat{f}}_{\theta ,v}\) are essentially supported in disjoint balls of radius \(R^{1/2}\). The functions \(E_Q f_{\theta ,v}\) satisfy the following key properties:
-
(i)
On B(0, R), each \(E_Q f_{\theta ,v}\) is essentially supported in a tube \(T_{\theta ,v}\) of length R and diameter \(R^{1/2}\) which is parallel to the normal direction \(G(\omega _{\theta }):=(-\partial _\omega Q(\omega _\theta ),1)^\top \) and has position dictated by v.
-
(ii)
The Fourier transform \(\big (E_Q f_{\theta ,v}\big )\;\widehat{}\;\) has (distributional) support on the cap
$$\begin{aligned} \Sigma (\theta ) := \big \{ (\omega , Q(\omega )) : \omega \in \theta \big \}. \end{aligned}$$
For general Hörmander-type operators \(T^\lambda \) a similar setup holds, with the exception that the tubes \(T_{\theta ,v}\) carrying the functions \(T^\lambda f_{\theta ,v}\) may be curved (see Sect. 4.4).
The incidence geometry of the tubes \(T_{\theta ,v}\) is a major consideration in the \(L^p\)-theory of Hörmander-type operators. A critical case occurs when f is chosen so that the \(T_{\theta ,v}\) for which Footnote 4 are aligned along a lower dimensional manifold Z (or, more precisely, a lower dimensional algebraic variety) inside B(0, R); indeed, analogous situations appear when considering extremal configurations in classical incidence geometry (see, for instance, [22]), and in fact the (variable coefficient) sharp examples in Sect. 2 exhibit similar structure. Under this hypothesis, by property i) above, \(E_Qf\) is essentially supported in \(N_{R^{1/2}}Z\), the \(R^{1/2}\)-neighbourhood of Z. It is important to note, however, that the \(Ef_{\theta ,v}\) each carry some oscillation. If there is sufficient constructive/destructive interference between the wave packets, then it could be the case that the mass of \(E_Qf\) is concentrated in a much thinner subset of \(N_{R^{1/2}}Z\).
The signature influences the way in which the wave packets \(E_Qf_{\theta ,v}\) can interfere with each other. The reason behind this, as explained below, is that the signature largely determines the relationship between the direction \(G(\omega _{\theta })\) of each tube \(T_{\theta ,v}\) on the spatial side and the position of the cap \(\Sigma (\theta )\) on the frequency side. In the maximal signature case this relationship, together with the uncertainty principle, ensures that the mass of \(E_Qf\) cannot concentrate in a thinner neighbourhood of the variety, but must be evenly spread across \(N_{R^{1/2}}Z\). For general maximal signature Hörmander-type operators, this property can be formally realised via transverse equidistribution estimates, which roughly take the formFootnote 5
These estimates play an important rôle in the proof of the maximal signature case of Theorem 1.2 by efficiently relating the wave packet geometry at different scales (see [20, 21]). If the maximal signature hypothesis is dropped, however, then (1.7) no longer holds in general. Nevertheless, there is a spectrum of weaker variants of (1.7), involving additional powers of \((R/\rho )\), which do hold in the general case. The relevant strength of these partial transverse equidistribution estimates depends on the signature of the underlying operator. The precise form of these inequalities is discussed in Sect. 5 below.
It remains to explain how the signature affects the localisation properties of \(E_Q f\). Here an elliptic case is contrasted with a hyperbolic case in \({\mathbb {R}}^3\), for wave packets aligned along the subspace \(V:=\langle \vec {e}_1 \rangle ^{\perp }\), the 2-dimensional plane orthogonal to \(\vec {e}_1\).
In particular, consider the elliptic extension operator \(E_{\mathrm {ell}}\) in \({\mathbb {R}}^3\) given by the signature 2 form \(Q_{\mathrm {ell}}(\omega ) := \frac{1}{2}\big (\omega _1^2 + \omega _2^2\big )\). The situation is depicted in Fig. 1. The directions \(G(\omega _{\theta })\) all lie inside V, thus the \(\omega _{\theta }\) lie along the line \(A_{\mathrm {ell}} = \{\omega _1 = 0\}\) in \({\mathbb {R}}^2\). The Fourier support of \(E_{\mathrm {ell}}f\) thus lies in a union of caps \(\Sigma (\theta )\) over \(\theta \) centred along \(A_{\mathrm {ell}}\), so \(\mathrm {supp}\,\big (E_{\mathrm {ell}}f\big )\;\widehat{}\; \subseteq N_{R^{-1/2}} (A_{\mathrm {ell}} \times {\mathbb {R}})\). Owing to this localisation, the uncertainty principle implies that \(E_{\mathrm {ell}}f\) is essentially constant at scale \(R^{1/2}\) in the direction transverse (that is, normal) to \(A_{\mathrm {ell}} \times {\mathbb {R}}\). Crucially, \(A_{\mathrm {ell}} \times {\mathbb {R}}= V\), thus the mass of \(E_{\mathrm {ell}}f\) must be equidistributed across the slab \(N_{R^{1/2}}(V)\) in the transverse direction to V. This observation can be used to prove (a suitably rigorous formulation of) the transverse equidistribution estimate (1.7) in this case: see [20].
The above case is somewhat special since V equals \(A_{\mathrm {ell}} \times {\mathbb {R}}\), the plane along which the Fourier support of \(E_{\mathrm {ell}}f\) is aligned. For general 2-planes V, the Fourier support is aligned along a (possibly) different 2-plane \(V'\). However, a key observation is that, in the elliptic case, V and \(V'\) only ever differ by a small angle, so again equidistribution of \(E_{\mathrm {ell}}f\) holds at scale \(R^{1/2}\) in the direction transverse to V. Moreover, the argument generalises to higher dimensions: if the tubes \(T_{\theta ,v}\) lie along a k-plane V in \({\mathbb {R}}^n\), then \(E_{\mathrm {ell}}f\) is equidistributed in directions belonging to \(V^{\perp }\). Variants also hold when V is replaced by a more general algebraic variety Z (see [20]).
For contrast, now consider the case of the hyperbolic extension operator \(E_{\mathrm {hyp}}\) in \({\mathbb {R}}^3\) given by the signature 0 form \(Q(\omega ) := \omega _1\omega _2\). This situation is depicted in Fig. 2. The \(\omega _{\theta }\) must lie along \(A_{\mathrm {hyp}} = \{\omega _2 = 0\}\), so \(\mathrm {supp}\,\big (E_{\mathrm {hyp}}f\big )\;\widehat{}\;\) is contained in \(N_{R^{-1/2}} (A_{\mathrm {hyp}} \times {\mathbb {R}})\). This localisation of the Fourier support guarantees that \(E_{\mathrm {hyp}}f\) is equidistributed at scale \(R^{1/2}\) in directions transverse to \(A_{\mathrm {hyp}}\times {\mathbb {R}}\). However, this time, these directions are not transverse to V; instead, they lie along V. Indeed, not only are \(A_{\mathrm {hyp}}\times {\mathbb {R}}\) and V different, but in fact \(V^\perp \subseteq A_{\mathrm {hyp}}\times {\mathbb {R}}\). Consequently, the transverse equidistribution estimate (1.7) no longer holds, and the constructive/destructive interference patterns between the \(T_{\theta ,v}\) can in fact lead to the concentration of the mass of \(E_Qf\) in a tiny O(1)-neighbourhood of V. The variable coefficient counterexamples of Bourgain [7, 9] for Hörmander-type operators of signature 0 exhibit destructive interference of this kind (see [21] for further details).
In the mixed signature case in \({\mathbb {R}}^n\), in general only partial equidistribution occurs as a fusion of the above two situations. Specifically, consider an operator \(E_Q\) associated to some Q with signature \(\sigma \) and let V be a k-dimensional subspace of \({\mathbb {R}}^n\). In general, if the \(T_{\theta ,v}\) are aligned along V, then the Fourier support of \(E_Qf\) will be aligned along a k-dimensional affine subspace \(V' := A \times {\mathbb {R}}\), where \(A = \{\omega \in B^{n-1} : G(\omega ) \in V\}\). The problem is to understand the relationship between V and \(V'\). In particular, if V and \(V'\) are close to one another (that is, the angle between them is small), then this mirrors the situation in the elliptic case and transverse equidistribution holds. If V and \(V'\) are far from one another (that is, the angle between them is large), then this mirrors the above hyperbolic case and transverse equidistribution can fail. It transpires that, in general, a hybrid of these two situations occurs: a partial transverse equidistribution holds for \(E_Q f\) inside \(N_{R^{1/2}}V\), where the equidistribution property holds only for directions lying in a certain subspace W of \(V^{\perp }\). The dimension of W can be bounded as a function of n, k and, importantly, \(\sigma \). If \(\sigma \) is large then W has large dimension and one is close to guaranteeing the full transverse equidistribution property (1.7) enjoyed by the elliptic case. If \(\sigma \) is small, then the dimension of W is small and only a weak version of (1.7) holds. For instance, if \(\sigma \le 2k - n - 1\), then the subspace W can be zero dimensional, in which case no non-trivial transverse equidistribution estimates hold: see Sect. 5 for details.
Decoupling. Although both elliptic and hyperbolic paraboloids have non-vanishing Gaussian curvature, hyperbolic paraboloids contain linear subspaces. The existence of such subspaces precludes certain bilinear estimates for extension operators associated to hyperbolic paraboloids [25, 38] and means only weak \(\ell ^2\)-decoupling inequalities hold for such operators [11]. In the present paper, the norm \(\Vert T^{\lambda }f\Vert _{L^p({\mathbb {R}}^n)}\) is studied via a broad/narrow analysis, as introduced in [12] (see also [20, 21]). This analysis involves certain \(\ell ^p\)-decoupling estimates, the strength of which also depends on the signature. Similar observations have appeared previously in [11] and the recent paper [1].
In particular, the broad/narrow analysis requires analysing the so-called “narrow” contributions to \(\Vert T^{\lambda }f\Vert _{L^p({\mathbb {R}}^n)}\), which arise when the support of f is localised close to a submanifold of \({\mathbb {R}}^{n-1}\). Consequently, one is led to consider certain slices of the (variable) hypersurfaces defined with respect to the phase \(\phi \). These contributions are dealt with using a combination of a decoupling inequality and a rescaling argument. The efficiency of the decoupling inequality depends on how curved these slices are, which in turn depends on the signature.
More concretely, for the extension operator \(E_{\sigma }f\) from Example 1.4, the narrow contributions occur when the support of f is localised close to an affine subspace A of \({\mathbb {R}}^{n-1}\). In this case, as in the earlier discussion on transverse equidistribution, the Fourier transform \(\big (E_{\sigma }f\big )\;\widehat{}\;\) is supported in a neighbourhood of the slice \(\Sigma _A\) of \({\mathbb {H}}^{n-1,\sigma }\) formed by intersecting \({\mathbb {H}}^{n-1,\sigma }\) with the plane \(A \times {\mathbb {R}}\). The favourable situation occurs when \(\Sigma _A\) is well-curved, in the sense that the principal curvatures of this surface (viewed as a hypersurface lying in \(A \times {\mathbb {R}}\)) are all bounded away from zero. This is always the case for the elliptic paraboloid. For well-curved \(\Sigma _A\) one may use the strong decoupling inequalities from [11] (or [8, 10] in the elliptic case) to study the narrow contribution. For hyperbolic paraboloids, however, it can happen that a given slice coincides with a linear subspace of \({\mathbb {H}}^{n-1,\sigma }\): for instance, \({\mathbb {H}}^{n-1,\sigma }\) contains the \(\frac{n-1-\sigma }{2}\)-dimensional linear subspace of all \((\xi _1,\ldots ,\xi _n)\in \hat{{\mathbb {R}}}^n\) satisfying
In this case, owing to the lack of curvature, no non-trivial decoupling inequalities exist to control the narrow contribution and, consequently, much poorer estimates hold. In general, to obtain the best possible decoupling inequalities for a slice \(\Sigma _A\), one needs to rely on the principal curvatures of \(\Sigma _A\) which are bounded away from zero. The number of these curvatures can be estimated in terms of the signature \(\sigma \). If \(\sigma \) is large, then typically there will be many large principal curvatures and strong decoupling estimates will hold. If \(\sigma \) is small, then for certain slices there will be few large principal curvatures and only weak decoupling estimates are available. This discussion is made precise in Proposition 7.3 and Corollary 7.7 below.
1.6 Methodology: k-broad estimates
As in [20, 21], the main ingredient in the proof of Theorem 1.2 is a k-broad estimate.
Theorem 1.5
Let \(T^{\lambda }\) be a Hörmander-type operator of reduced phase \(\phi \). For all \(2 \le k \le n\) and \(\varepsilon > 0\) the k-broad estimate
holds for some integer \(A\ge 1\) whenever p satisfies \(p \ge {\bar{p}}(n,\mathrm {sgn}(\phi ), k)\) for
For the definition of the k-broad norm, see [20, 21]. For technical reasons, the theorem is stated for the slightly restrictive class of reduced phases, which are defined in Sect. 4.3. Once Theorem 1.5 is established, Theorem 1.2 follows by a now-standard argument originating in [12]: see Sect. 8 for further details.
As with Theorem 1.2, certain ‘extreme’ cases of Theorem 1.5 can be deduced from existent results:
-
For \(1 \le k \le \frac{n+1-\mathrm {sgn}(\phi )}{2}\) the result follows from Stein’s oscillatory integral estimate [32].
-
For \(\frac{n+1+\mathrm {sgn}(\phi )}{2} \le k \le n\) the result follows from the multilinear oscillatory integral estimates of Bennett–Carbery–Tao [6].Footnote 6
-
If \(\mathrm {sgn}(\phi ) = n - 1\), then the \(k = 2\) case follows from the bilinear estimates of Lee [26] and all remaining values of k (under the maximal signature assumption) are treated in [21].
In all other cases Theorem 1.5 is new. It is also sharp in the sense that the range of p cannot be extended. This can be shown by considering extension operators of the type discussed in Example 1.4 above. The range of \(L^p\) is then given by testing the estimate against functions formed by tensor products of the standard test functions appearing in, for instance, [38]. The sharpness of Theorem 1.5 is discussed in detail in Sect. 3 below.
Theorem 1.5 has a multilinear flavour, and serves as a substitute for the stronger k-linear Conjecture 1.7 below.
Definition 1.6
Let \(1 \le k \le n\) and \({\mathbf {T}}= (T_1, \ldots , T_k)\) be a k-tuple of Hörmander-type operators of the same signature, where \(T_j\) has associated phase \(\phi _j\), amplitude \(a_j\) and generalised Gauss map \(G_j\) for \(1 \le j \le k\). Then \({\mathbf {T}}^{\lambda }\) is said to be \(\nu \)-transverse for some \(0 < \nu \le 1\) (and all \(\lambda \ge 1\)) if
Conjecture 1.7
Let \( (T_1, \ldots , T_k)\) be a \(\nu \)-transverse k-tuple of Hörmander-type operators of the same signature \(\sigma \). For any \(\lambda \ge 1\) and \(1\le k\le n\) the k-linear estimate
holds whenever p satisfies \(p\ge {\bar{p}}(n,\sigma ,k)\).
This conjecture is a natural generalisation of a conjecture of Bennett [5] concerning the elliptic case. It formally implies Theorem 1.5 (see [21, §6.2]).
1.7 Structure of the article
The layout of the article is as follows:
-
In Sect. 2 the sharpness of Theorem 1.2 is demonstrated and, in particular, the proof of Proposition 1.3 is presented.
-
In Sect. 3 the sharpness of Theorem 1.5 and Conjecture 1.7 is discussed.
The remainder of the article deals with the proofs of Theorems 1.2 and 1.5. The presentation is not self-contained. In particular, the sister paper [21], which treats the maximal signature case, is heavily referenced. The argument in [21] is fairly modular in nature and, as discussed in Sect. 1.5, the signature hypothesis plays a crucial rôle only in two places in the argument:
-
(i)
The transverse equidistribution estimates, which are used to prove the bounds for the k-broad norms.
-
(ii)
The decoupling estimates, used in the passage from k-broad to linear estimates as part of the Bourgain–Guth method [12].
These two isolated steps are treated in detail in the present paper. Many other parts of the proof are merely sketched or even omitted entirely, since they are either minor modifications of or identical to corresponding arguments in [21]. Indeed, once the transverse equidistribution and decoupling theory is established in the general signature setting, the rest of the argument from [21] carries through with only changes to the numerology. In particular, the remainder of the article proceeds as follows:
-
In Sect. 4 various preliminaries for the proofs of Theorems 1.2 and 1.5 are recalled from the literature. This includes the definition of the k-broad norms and operators of reduced phase.
-
In Sect. 5 the crucial transverse equidistribution estimates are stated and proved.
-
In Sect. 6 there is a brief description of how to adapt the argument from [20, 21], using the transverse equidistribution results from the previous section, to prove Theorem 1.5.
-
In Sect. 7 the relevant decoupling theory is discussed.
-
In Sect. 8 Theorem 1.5 is combined with the decoupling estimates from Sect. 7 to complete the proof Theorem 1.2.
2 Necessary conditions: linear bounds
2.1 Overview
In this section sharp examples for Theorem 1.2 are obtained, thereby proving Proposition 1.3. They arise simply by tensoring existing examples for the extremal cases of minimal and maximal signatures.
All of the phases considered below are of the following basic form: given a smooth 1-parameter family of symmetric matrices \({\mathbf {A}} :{\mathbb {R}}\rightarrow \mathrm {Mat}(n-1, {\mathbb {R}})\), define \(\phi :{\mathbb {R}}^n \times {\mathbb {R}}^{n-1} \rightarrow {\mathbb {R}}\) by
In order for this phase function to satisfy the conditions (H1) and (H2) from the introduction, the component-wise derivative \({\mathbf {A}}'\) of \({\mathbf {A}}\) must be invertible on a neighbourhood of the origin. In this case, the signature of the phase function \(\phi \) corresponds to the common signature of the matrices \({\mathbf {A}}'(x_n)\) for \(x_n\) near 0.
In the forthcoming examples \(T^{\lambda }\) is taken to be a Hörmander-type operator defined with respect to the phase \(\phi ^{\lambda }\) for some \(\phi \) as in (2.1), and an amplitude with sufficiently small support so that the conditions (H1) and (H2) are satisfied. The analysis pivots on finding suitable choices of \({\mathbf {A}}\) and test functions f so that \(T^{\lambda }f\) is highly concentrated near a low degree algebraic variety. In particular, the varieties in question will be hyperbolic paraboloids of the form
Note that each \(Z_d\) is of dimension \(m_d := \lfloor \frac{d+2}{2} \rfloor \). This corresponds to the minimal dimension for ‘Kakeya sets of curves’ in \({\mathbb {R}}^d\): see [7, 12, 40]. For further details on the rôle of algebraic varieties in the study of oscillatory integral operators see, for instance, the introductory discussions in [20] or [21].
2.2 Hyperbolic example
The first example is due to Bourgain [7] (see also [9]) and corresponds to the minimal signature case.
For \(d \ge 3\) odd let \({\mathbf {H}}_d :{\mathbb {R}}\rightarrow \mathrm {Mat}(d-1,{\mathbb {R}})\) be given by
Near the origin the derivative matrix \({\mathbf {H}}_d'(t)\) is a perturbation of
and is therefore invertible with signature 0. Note that (2.3) corresponds to the matrix \(\mathrm {I}_{d-1,\sigma }\) from Example 1.4 after a coordinate rotation.
Taking \({\mathbf {A}} = {\mathbf {H}}_d\), let \(T_{\mathrm {hyp}}^{\lambda }\) be a Hörmander-type operator with phase \(\phi ^{\lambda }\) for \(\phi \) as defined in (2.1). A key observation of Bourgain [7] is that there existsFootnote 7 a smooth function \(h :{\mathbb {R}}^{d-1} \rightarrow {\mathbb {C}}\) satisfying:
-
\(|h(\omega )| \sim 1\) for all \(\omega \in B^{d-1}\).
-
There exists a dimensional constant \(c > 0\) such that
$$\begin{aligned} |T_{\mathrm {hyp}}^{\lambda } h(x)| > rsim \lambda ^{-\frac{d-1}{4}} \qquad \text {for all }x\in N_cZ_d\cap B(0,\lambda ), \end{aligned}$$(2.4)where the variety \(Z_d\) is as in (2.2).
This bound follows from a simple stationary phase computation. In addition to [7, 9], see the expositions in [21, 31, 40] for further details.
2.3 Elliptic example
The second example is due to Bourgain–Guth [12] and corresponds to the maximal signature case.
For \(d \ge 2\) let \({\mathbf {E}}_d :{\mathbb {R}}\rightarrow \mathrm {Mat}(d-1,{\mathbb {R}})\) be given by
where the \(^*\) indicates that the final (t) block appears if and only if d is even. Near the origin the derivative matrix \({\mathbf {E}}_n'\) is a perturbation of the identity and is therefore invertible with maximal signature \(d-1\).
Taking \({\mathbf {A}} = {\mathbf {E}}_d\), let \(T_{\mathrm {ell}}^{\lambda }\) be a Hörmander-type operator with phase \(\phi ^{\lambda }\) for \(\phi \) as defined in (2.1). Roughly speaking, in [12] it is shown that there exists a smooth function \(g :{\mathbb {R}}^{d-1} \rightarrow {\mathbb {C}}\) satisfying:
-
\(|g(\omega )| \sim 1\) for all \(\omega \in B^{d-1}\).
-
There exists a dimensional constant \(c > 0\) such that
$$\begin{aligned} |T_{\mathrm {ell}}^{\lambda }\, g(x)| > rsim \lambda ^{-(d+m_d-2)/4} \quad \text {for all }x\in N_{c\lambda ^{1/2}}Z_d\cap B(0,\lambda ), \end{aligned}$$(2.5)where the variety \(Z_d\) is as in (2.2) and \(m_d = \dim Z_d = \lfloor \frac{d+2}{2}\rfloor \).
The estimate (2.5) is not quite precise since the example in [12] is randomised and the pointwise bound (2.5) holds only in expectation. However, there exists a function g for which the weaker substitute
does hold, and this suffices for the present purpose. In addition to [12], see the exposition in [21] for further details.
2.4 Tensored examples
To prove Proposition 1.3, the linear estimates are tested against examples formed by tensoring the hyperbolic and elliptic examples described above. To this end, fix \(1 \le \sigma \le n - 1\) with \(n-1-\sigma \) even and let
Taking \({\mathbf {A}} = {\mathbf {A}}_{n,\sigma }\), let \(T^{\lambda }\) be a Hörmander-type operator with phase \(\phi ^{\lambda }\) for \(\phi \) as defined in (2.1). Let f denote the tensor product \(f := h \otimes g :{\mathbb {R}}^{n-1} \rightarrow {\mathbb {C}}\) where
-
\(h :{\mathbb {R}}^{n-\sigma -1}\rightarrow {\mathbb {C}}\) is a hyperbolic example as in Sect. 2.2 in dimension \(n - \sigma \),
-
\(g :{:}{\mathbb {R}}^\sigma \rightarrow {\mathbb {C}}\) is an elliptic example as in Sect. 2.3 in dimension \(\sigma +1\).
If the amplitudes are suitably defined, then it follows that
where \(T^{\lambda }_{\mathrm {hyp}}\) is defined with respect to \({\mathbf {H}}_{n-\sigma }\) and \(T^{\lambda }_{\mathrm {ell}}\) is defined with respect to \({\mathbf {E}}_{\sigma +1}\).
Suppose that for all \(\varepsilon >0\) the estimate
holds for \(T^{\lambda }\) and f as above, uniformly in \(\lambda \). The construction ensures that \(\Vert f\Vert _{L^p(B^{n-1})} \sim 1\) and so
Thus, to obtain the desired p constraints, the problem is to bound the left-hand side of (2.7) from below.
Before proceeding, it is helpful to make a few simple geometric observations regarding the varieties \(Z_d\). Given \(x_d \in {\mathbb {R}}\) let
denote the \(x_d\)-slice of \(Z_d\). It is clear from the definition that the slices \(Z_d[x_d]\) are affine subspaces of dimension \(m_d-1\). Thus, for \(c \sim 1\), one has the volume bound
where, for each \(x_d\), the neighbourhood \(N_cZ_d[x_d]\) is considered inside the affine space \({\mathbb {R}}^{n-\sigma -1}\times \{0\}^{\sigma }\times \{x_d\}\). By (2.6) and Fubini’s theorem,
At the expense of an inequality, one may restrict the \(L^p({\mathbb {R}}^{n-\sigma -1}\times \{x_n\})\) norm integration to the slice \(N_cZ_{n-\sigma }[x_n] \cap B(0,\lambda )\) for the constant c as in Sect. 2.2. In view of (2.4) and (2.8), it follows that
If the amplitude of \(T^{\lambda }_{\mathrm {ell}}\) has suitably small \(x_d\)-support, then the right-hand norm coincides with the global \(L^p\)-norm and one may apply \(5.2'\) to conclude that
In order for (2.7) to hold uniformly in \(\lambda \), the exponent on the right-hand side of (2.9) must be non-positive. Note that the parities of n and \(\sigma +1\) agree and so
Thus, a little algebra shows that the non-positivity of the right-hand exponent in (2.9) is equivalent to
which yields the desired condition (1.4) after rearranging.
3 Necessary conditions: multilinear bounds
Here examples of Hörmander-type operators are constructed which demonstrate that the range of exponents in Conjecture 1.7 cannot be extended.
Proposition 3.1
Conjecture 1.7 is sharp, in the sense that the conditions on p are necessary.
The proof of Proposition 3.1 can be slightly modified to demonstrate the sharpness of Theorem 1.5, up to \(\varepsilon \)-loss. The details of this simple modification are omitted; see [20] for a discussion of the elliptic case.
Similarly to the examples for Theorem 1.2 discussed in the previous section, the sharpness of the multilinear estimates may be deduced by tensoring appropriate examples from extremal signature regimes. In the multilinear case, however, one may simply work with the prototypical extension operators associated to hyperbolic parabolæ from Example 1.4.
3.1 Hyperbolic example
The first example exploits the fact that hyperbolic parabolæ contain affine subspaces and is a direct generalisation of the bilinear example from [38]. The example is applied in the extreme case where the signature of the underlying quadratic form is zero. In particular, let \(d \in {\mathbb {N}}\) be odd and consider the zero signature quadratic form
Note that this agrees with the form \(Q_0\) from Example 1.4 after an orthogonal coordinate transformation.
Let \(\psi \in C^{\infty }({\mathbb {R}}^{(d-1)/2})\) be non-negative, supported in the unit ball and equal to 1 in a neighbourhood of the origin. Fix \(a_i \in {\mathbb {R}}^{(d-1)/2}\) for \(0 \le i \le (d-1)/2\) such that \(a_0 = 0\), \(|a_i| \le 1/2\) and
For \(\lambda \ge 1\) and \(1 \le \ell \le (d+1)/2\) define the \(\ell \)-linear hyperbolic example in \({\mathbb {R}}^d\) as the \(\ell \)-tuple of functions \({\mathfrak {H}}(d,\ell ) := (h_1, \dots , h_{\ell })\) where each \(h_j \in C^{\infty }_c({\mathbb {R}}^{d-1})\) is given by
where \(\omega _{\mathrm {odd}} \in {\mathbb {R}}^{(d-1)/2}\) (respectively, \(\omega _{\mathrm {even}} \in {\mathbb {R}}^{(d-1)/2}\)) is the vector formed from the odd (respectively, even) components of \(\omega \); see Fig. 3.
Clearly, for any such \({\mathfrak {H}}(d,\ell )\) one may bound
On the other hand, if \(\omega \in \mathrm {supp}\,h_j\), then \(|\omega _{\mathrm {odd}}| \le 2\), \(|\omega _{\mathrm {even}}| \le \lambda ^{-1}\) and \(|Q(\omega )| \le \lambda ^{-1}\). Thus,
where \(\Pi _d(\lambda )\) is the rectangular region
for \(c > 0\) a sufficiently small dimensional constant.
3.2 Elliptic example
The second example corresponds to the sharp example for \(L^2\)-based multilinear restriction for the elliptic paraboloid. It is a direct generalisation of the bilinear example described, for instance, in [36]. This example will be applied in both elliptic and hyperbolic cases, but nevertheless is referred to as the elliptic example to distinguish it from the hyperbolic example described above.
For \(1 \le \sigma \le d-1\) let
be a quadratic form in \(d-1\) variables of signature \(\sigma \). In contrast with the hyperbolic case, here the choice of \(\sigma \) is not relevant to the numerology arising from the elliptic example. Note that this form agrees with the form \(Q_{\sigma }\) from Example 1.4 after an orthogonal coordinate transformation.
Let \(G_{Q,0} :{\mathbb {R}}^{d-1} \rightarrow {\mathbb {R}}^d\) denote the (non-normalised) Gauss map \(G_{Q,0}(\omega ) := (-\partial _{\omega } Q(\omega ), 1)^{\top }\) associated to Q. Fix \(b_j \in {\mathbb {R}}^{d-1}\) for \(0 \le j \le d-1\) satisfying \(b_0=0\), \(|b_j| \le 1/2\) and
For \(1 \le \ell \le d\) let \(V_{\ell }\) denote the \(\ell \)-dimensional subspace of \({\mathbb {R}}^d\) given by
For \(C \ge 1\) a suitably large dimensional constant and given \(\lambda \ge 1\), define \({\mathcal {V}}_\ell \) to be a maximal \(C\lambda ^{1/2}\)-separated set in \(V_\ell \cap {\mathbb {R}}^{n-1}\times \{0\}\cap B(0,\lambda )\).
The \(\ell \)-linear elliptic example in \({\mathbb {R}}^d\) is the \(\ell \)-tuple of functions \({\mathfrak {G}}(d,\ell ) := (g_1, \dots , g_{\ell })\) where each \(g_j \in C^{\infty }_c({\mathbb {R}}^{d-1})\) is given by
for \(\psi \in C^{\infty }({\mathbb {R}}^{d-1})\) a fixed function which is non-negative, supported in the unit ball and equal to 1 in a neighbourhood of the origin; see Fig. 3.
For any such \({\mathfrak {G}}(d,\ell )\), using Plancherel, one may bound
On the other hand, (non)-stationary phase shows that, on \(B(0,\lambda )\), the function \(E_Qg_{j,v}\) is rapidly decaying away from the ‘tube’
where \(c > 0\) is a suitable choice of small dimensional constant, and satisfies
In particular, provided C is chosen appropriately in the definition of \({\mathcal {V}}_{\ell }\), it follows that
The tubes in each family \((T_{j,v})_{v \in {\mathcal {V}}_{\ell }}\) are pairwise disjoint and their union can be thought of as the intersection of a fixed (that is, independent of j) \(\ell \)-plane slab formed around \(V_{\ell }\) of thickness \(\lambda ^{1/2}\) with \(B(0,\lambda )\). More precisely, using the transversality condition (3.4), it is not difficult to show that
in particular, the left-hand set contains a union of roughly \(\lambda ^{\ell /2}\) disjoint balls in \({\mathbb {R}}^d\) of radius roughly \(\lambda ^{1/2}\).
3.3 Tensored examples
To prove Proposition 3.1, the multilinear estimates are tested against examples formed by tensoring the hyperbolic and elliptic examples described above. To this end, fix \(1 \le \sigma \le n - 1\) with \(n-1-\sigma \) even and let
be a quadratic form in \(n-1\) variables of signature \(\sigma \). The multilinear examples subsequently constructed will prove the sharpness of Conjecture 1.7 when tested against the extension operator \(E_Q\), irrespective of the level k of multilinearity.
Fix d satisfying
and split the variables \(\omega \) and x by writing
The quadratic form is decomposed accordingly by writing
The condition (3.9) implies that \(Q'\) has zero signature, and therefore it makes sense to consider the hyperbolic examples \({\mathfrak {h}}(d,\ell )\) defined in Sect. 3.1 applied to this form. Note that, for \(h \in C({\mathbb {R}}^{d-1})\) and \(g \in C({\mathbb {R}}^{n-d})\), the tensor product \(f := h \otimes g \in C({\mathbb {R}}^{n-1})\) satisfies
where \(E_Q\), \(E_{Q'}\) and \(E_{Q''}\) are the extension operators associated to the respective quadratic forms, as defined in Example 1.4.
Fix \(1 \le k \le n\) and for \(1 \le \ell \le k\) satisfying
and \(\lambda \ge 1\) a large parameter let
be hyperbolic and elliptic examples as defined above. For every level of multilinearity k, appropriate d and \(\ell \) will be chosen so that tensor products of functions from \({\mathfrak {H}}(\ell ,d)\) and \({\mathfrak {G}}(k-\ell +1,n-d+1)\) demonstrate the sharpness of Conjecture 1.7 for this k. The constraints on the parameters in (3.10) are important:
-
The first constraint is required in order to carry out the construction of the hyperbolic example \({\mathfrak {H}}(\ell , d)\) from Sect. 3.1. Combined with (3.9), it implies that \( \ell \le (n - \sigma - 1)/2 + 1\), which corresponds to the fact that maximal linear subspaces contained in the graph \(\Sigma _Q\) of the form (3.8) have dimension \((n-\sigma -1)/2\). Furthermore, this constraint will account for the transition in the numerology of Proposition 3.1 at \(k = (n-\sigma + 1)/2\).
-
The second constraint is required in order to carry out the construction of the elliptic example \({\mathfrak {G}}(k - \ell + 1, n -d +1)\) from Sect. 3.2. This constraint will account for the transition in the numerology of Proposition 3.1 at \(k = (n+\sigma + 1)/2\).
Define k functions
In order to apply these examples in the proof of Proposition 3.1, the supports of the \({\mathfrak {h}}_i\) and \({\mathfrak {g}}_j\) functions must satisfy the transversality hypothesis. Since the supports of these functions are well-separated, it suffices to check the transversality condition at the centres of the supports only. Given \(\omega = (\omega _1, \ldots , \omega _{(d-1)/2}) \in {\mathbb {R}}^{(d-1)/2}\), let \(\uparrow \!\!\omega \in {\mathbb {R}}^{d-1}\) denote the vector
and note that
-
\(\mathrm {supp}\,{\mathfrak {h}}_i\) is centred around \((\uparrow \!\!a_{i-1}, 0)^{\top } \in {\mathbb {R}}^{d-1} \times {\mathbb {R}}^{n-d}\),
-
\(\mathrm {supp}\,{\mathfrak {g}}_j\) is centred around \((0, b_{j-1})^{\top } \in {\mathbb {R}}^{d-1} \times {\mathbb {R}}^{n-d}\).
Computing the values of the Gauss map applied to these vectors, forming the relevant matrix and rearranging the rows, it suffices to show that the \(n \times k\) matrixFootnote 8
has full rank, where
are the matrices whose columns are formed by the vectors \((-a_1, \ldots , -a_{l-1})\) and \((-b_1, \ldots , -b_{k-\ell })\), respectively. The desired rank condition is immediate from the choices of \(a_i\) and \(b_j\) and, in particular, (3.1) and (3.4).
For now, suppose that the k-linear inequality
holds uniformly in \(\lambda \). Presently, it is shown that, for appropriately chosen d, this forces
Plugging the optimal values of \(\ell \) into the formula for \(q(n, k,\ell )\) yields the desired range of p described in Proposition 3.1. In particular, to maximise \(q(n,k,\ell )\) one should choose \(\ell \) as large as possible, under the condition that (3.9) and (3.10) should hold for some d. The correct choices of \(\ell \) and d, which depend on the k regime, are tabulated in Fig. 4.
The first step is to obtain a lower bound for the expression on the left-hand side of (3.11). One may write the function appearing in the p-norm as a product of two functions
Apply (3.3) at multilinearity \(\ell \) and dimension d to each factor in H to deduce that
On the other hand, apply (3.6) at multilinearity \(k - \ell + 1\) and dimension \(n - d +1\) to each factor in G to deduce that
using the fact that the tubes \(T_{j, v}\) are pairwise disjoint as v varies over \({\mathcal {V}}_\ell \). Combining these observations,
where:
-
the \(\lambda ^{-(n-1)/2}\) factor is the product of the coefficients from (3.13) and (3.14),
-
the \(\lambda ^{(d-1)/2p}\) factor corresponds to the \(L^p_{x'}\)-norm of the characteristic function in (3.13),
-
the \(\lambda ^{(n+k - d - \ell +2)/2p}\) factor arises from (3.14) owing to (3.7).
The right-hand side of (3.11) is now bounded from above. In particular, by exploiting the tensor structure and applying the bounds (3.2) and (3.5),
Note that, as before, (3.2) is applied at multilinearity \(\ell \) and dimension d whilst (3.5) is applied with multilinear \(k - \ell + 1\) and dimension \(n - d +1\).
Plugging (3.16) and (3.15) into (3.11) one concludes that
Since the inequality is assumed to hold for all large \(\lambda \), this forces the condition described in (3.12).
4 Proof of Theorems 1.2 and 1.5: preliminaries
4.1 Overview
The remainder of the article deals with the proof of the k-broad estimates from Theorem 1.5 and the passage from k-broad to linear estimates used to establish Theorem 1.2. In this section a variety of definitions and basic results are recalled from the literature (primarily [20] and [21]), which will be used throughout the remainder of the paper. In particular:
-
In Sect. 4.2 the underlying geometry of Hörmander-type operators is discussed.
-
In Sect. 4.3 the notation of a reduced phase is introduced, and various technical reductions are described.
-
In Sect. 4.4 the wave packet decomposition for Hörmander-type operators is recounted.
The treatment here is rather brief and readers new to these concepts are encouraged to consult [20] or [21] for further details.
4.2 Variable coefficient operators: basic geometry
Consider a smooth phase function \(\phi :B^n \times B^{n-1} \rightarrow {\mathbb {R}}\) satisfying H1) and H2) from the introduction. Fixing \({\bar{x}} \in B^n\), the condition H1) implies that the mapping
is a (compact piece of) a smooth hypersurface in \({\mathbb {R}}^n\). Furthermore, the condition H2) implies that for each \({\bar{x}}\) the corresponding hypersurface has non-vanishing Gaussian curvature. After further localisation and a suitable coordinate transformation, the condition H1) ensures the existence of a local diffeomorphism \(\Psi _{{\bar{x}}}\) on \({\mathbb {R}}^{n-1}\) such that
In particular, the map \(\Psi _{{\bar{x}}}\) corresponds to a graph reparametrisation of the hypersurface \(\Sigma _{{\bar{x}}}\), with graphing function
Throughout the remainder of the paper, it is always assumed that any Hörmander-type operator with phase \(\phi \) is suitably localised and that coordinates are chosen so that the above functions are defined globally on the support of the amplitude.
In view of the rescaled phase and amplitude functions appearing in the definition of \(T^{\lambda }\), given \(\lambda \ge 1\) and \({\bar{x}} \in B(0,\lambda )\) define \(\Sigma _{{\bar{x}}}^{\lambda } := \Sigma _{{\bar{x}}/\lambda }\), \(\Psi _{{\bar{x}}}^{\lambda } := \Psi _{{\bar{x}}/\lambda }\) and \(h_{{\bar{x}}}^{\lambda } := h_{{\bar{x}}/\lambda }\). Similarly, define the rescaled generalised Gauss map
taking G to be as defined in condition H2) from the introduction. Since the mapping \(\Psi _{{\bar{x}}}^{\lambda }\) corresponds only to a change of coordinates, it follows that \(G^{\lambda }({\bar{x}};\omega )\) is parallel to the vector
for u satisfying \(\Psi _{{\bar{x}}}^{\lambda }(u) = \omega \).
4.3 Reductions
To prove Theorem 1.2 for all Hörmander-type operators with phases of a given signature \(\sigma \), one needs only to consider operators which are perturbations of the prototypical extension operators \(E_{\sigma }\) from Example 1.4. In particular, recall that the Hörmander-type operators under consideration are those of the form
where the phase \(\phi \) satisfies the general conditions H1) and H2). For any \(0\le \sigma \le n-1\) with \(n-1-\sigma \) even, let \(\mathrm {I}_{n-1, \sigma }\) denote the \((n-1)\times (n-1)\) matrix of signature \(\sigma \) from Example 1.4.
Lemma 4.1
Let \(0\le \sigma \le n\) with \(n-1-\sigma \) even and \(\varepsilon >0\). To prove Theorem 1.2 for this fixed \(\varepsilon > 0\) for all Hörmander-type operators with phase function of signature \(\sigma \), it suffices to consider the case where the amplitude a is supported on \(X \times \Omega \), where \(X := X' \times X_n\) and \(X' \subset B^{n-1}\), \(X_n \subset B^1\) and \(\Omega \subset B^{n-1}\) are small balls centred at 0 upon which the phase \(\phi \) has the form
Here h and \({\mathcal {E}}\) are smooth functions, h is quadratic in \(\omega \) and \({\mathcal {E}}\) is quadratic in x and \(\omega \).Footnote 9 Furthermore, letting \(c_{\mathrm {ex}} > 0\) be a small constant, which may depend on the admissible parameters n, p and \(\varepsilon \), one may assume that the phase function \(\phi \) satisfies
for all \((x;\omega ) \in X \times \Omega \) and \(1\le k \le n\). In addition,
for some large integer \(N_{\mathrm {ex}} \in {\mathbb {N}}\), which can be chosen to depend on n, p and \(\varepsilon \). If \(|\alpha | \ge 2\), then the lower bound on \(|\beta |\) can be relaxed to 0 in (4.1). Finally, it may be assumed that the amplitude a satisfies
The proof of Lemma 4.1 is a simple adaptation of the proofs of Lemma 4.1 and Lemma 4.3 in [21] (which describe the case \(\sigma =n-1\)) and is thus omitted here.
Definition 4.2
Henceforth \(c_{\mathrm {ex}} > 0\) and \(N_{\mathrm {ex}} \in {\mathbb {N}}\) are assumed to be fixed constants (which are allowed to depend only on admissible parameters), chosen to satisfy the requirements of the forthcoming arguments. A phase of signature \(\sigma \) satisfying the properties of Lemma 4.1 for this choice of \(\sigma \), \(c_{\mathrm {ex}}\) and \(N_{\mathrm {ex}}\) is said to be reduced.
4.4 Wave packet decomposition
The wave packet decomposition from [21] is now reviewed and some notation is established. All statements in this subsection are proved in [21].
Throughout the following sections \(\varepsilon > 0\) is a fixed small parameter and \(\delta > 0\) is a tiny number satisfyingFootnote 10\(\delta \ll \varepsilon \) and \(\delta \sim _{\varepsilon } 1\). For any spatial parameter satisfying \(1\ll R\ll \lambda \), a wave packet decomposition at scale R is carried out as follows. Cover \(B^{n-1}\) by finitely-overlapping balls \(\theta \) of radius \(R^{-1/2}\) and let \(\psi _{\theta }\) be a smooth partition of unity adapted to this cover. These \(\theta \) are referred to as \(R^{-1/2}\)-caps. Cover \({\mathbb {R}}^{n-1}\) by finitely-overlapping balls of radius \(CR^{(1+\delta )/2}\) centred on points belonging to the lattice \(R^{(1+\delta )/2}{\mathbb {Z}}^{n-1}\). By Poisson summation one may find a bump function adapted to \(B(0, R^{(1+\delta )/2})\) so that the functions \(\eta _v(z) := \eta (z- v)\) for \(v \in R^{(1+\delta )/2}{\mathbb {Z}}^{n-1}\) form a partition of unity for this cover. Let \({\mathbb {T}}\) denote the collection of all pairs \((\theta , v)\). Thus, for \(f :{\mathbb {R}}^{n-1} \rightarrow {\mathbb {C}}\) with support in \(B^{n-1}\) and belonging to some suitable a priori class one has
For each \(R^{-1/2}\)-cap \(\theta \) let \(\omega _{\theta } \in B^{n-1}\) denote its centre. Choose a real-valued smooth function \({\tilde{\psi }}\) so that the function \({\tilde{\psi }}_{\theta }(\omega ) := {\tilde{\psi }}(R^{1/2}(\omega - \omega _{\theta }))\) is supported in \(\theta \) and \({\tilde{\psi }}_{\theta }(\omega ) = 1\) whenever \(\omega \) belongs to a \(cR^{-1/2}\) neighbourhood of the support of \(\psi _{\theta }\) for some small constant \(c > 0\). Finally, define
It is not difficult to show
whilst the functions \(f_{\theta , v}\) are also almost orthogonal: if \({\mathbb {S}} \subseteq {\mathbb {T}}\), then
A precise description of the rapidly decaying term \(\mathrm{RapDec}(R)\), frequently used in forthcoming sections, is inserted here.
Definition 4.3
The notation \( \mathrm {RapDec}(R)\) is used to denote any quantity \(C_R\) which is rapidly decaying in R. More precisely, \(C_R = \mathrm {RapDec}(R)\) if
where \(N_{\mathrm {ex}}\) is the large integer appearing in the definition of reduced phase from Sect. 4.3. Note that \(N_{\mathrm {ex}}\) may be chosen as large as desired, under the condition that it depends only on n and \(\varepsilon \).
Let \(T^{\lambda }\) be an operator with reduced phase \(\phi \) and amplitude a supported in \(X\times \Omega \) as in Lemma 4.1. For \((\theta , v)\in {\mathbb {T}}\), within B(0, R) the function \(T^\lambda f_{\theta ,v}\) is essentially supported inside a curved \(R^{1/2+\delta }\)-tube \(T_{\theta ,v}\) determined by \(\phi \), \(\theta \) and v. More precisely, there exists a curve
for some \(I_{\theta ,v}^\lambda \subset [-\lambda ,\lambda ]\), that parametrises the set
This curve \(\Gamma _{\theta ,v}^\lambda \) forms the core of the tube \(T_{\theta ,v}\). In particular, for
the following concentration estimate holds.
Lemma 4.4
If \(1 \ll R \ll \lambda \) and \(x \in B(0,R) {\setminus } T_{\theta , v}\), then
The geometry of the core curve of \(T_{\theta ,v}\) is related to the generalised Gauss map \(G^\lambda \) associated to the operator \(T^\lambda \): the tangent line \(T_{\Gamma ^{\lambda }_{\theta ,v}(t)}\Gamma ^{\lambda }_{\theta ,v}\) lies in the direction of the unit vector \(G^{\lambda }(\Gamma ^{\lambda }_{\theta ,v}(t); \omega _{\theta })\) for all \(t \in I^{\lambda }_{\theta ,v}\). For instance, if \(\phi ^{\lambda }(x; \omega )\) is of the form \(\langle x', \omega \rangle + x_nh(\omega )\), giving rise to an extension operator, then the \(T_{\theta ,v}\) are straight tubes.
5 Partial transverse equidistribution estimates
5.1 Overview
In this section the key tool required for the proof of Theorem 1.5 is introduced and proved. This is a ‘partial’ transverse equidistribution estimate, which bounds the \(L^2\) norm of \(T^{\lambda }g\) under certain geometric hypotheses on the wave packets of g: see Lemma 5.4 below. This lemma generalises the transverse equidistribution estimates for the elliptic case in [20] and [21]. It is a key step in the argument where the signature \(\mathrm {sgn}(\phi )\) plays a rôle. Indeed, once Lemma 5.4 is in place, the remainder of the proof of Theorem 1.5 follows as in the elliptic case, with only minor numerological changes, as discussed in the following section.
5.2 Tangential wave packets and transverse equidistribution
Throughout this section let \(T^{\lambda }\) be a Hörmander-type operator with reduced phase \(\phi \) of signature \(\sigma \) and for some \(1\ll R \ll \lambda \) define the (curved) tubes \(T_{\theta ,v}\) as in Sect. 4.4. Here a special situation is considered where \(T^{\lambda }g\) is made up of a sum of wave packets which are tangential to some algebraic variety, in a sense described below. To begin, the relevant algebraic preliminaries are recounted.
Definition 5.1
Given any collection of polynomials \(P_1, \ldots , P_{n-m} :{\mathbb {R}}^n \rightarrow {\mathbb {R}}\), the common zero set
will be referred to as a variety.Footnote 11 Given a variety \(Z = Z(P_1, \ldots , P_{n-m})\), define its (maximum) degree to be the number
It will often be convenient to work with varieties which satisfy the additional property that
In this case the zero set forms a smooth m-dimensional submanifold of \({\mathbb {R}}^n\) with a (classical) tangent space \(T_zZ\) at every point \(z \in Z\). A variety Z which satisfies (5.1) is said to be an m-dimensional transverse complete intersection.
Let \(\delta _m\) denote a small parameter satisfying \(0 < \delta \ll \delta _m \ll 1\) (here \(\delta \) is the same parameter as that which appears in the definition of the wave packets).
Definition 5.2
Suppose \(Z = Z(P_1, \ldots , P_{n-m})\) is a transverse complete intersection. A tube \(T_{\theta , v}\) is \(R^{-1/2 + \delta _m}\)-tangent to Z in B(0, R) if
and
for any \(x \in T_{\theta , v}\) and \(z \in Z \cap B(0,2R)\) with \(|x - z| \le {\bar{C}}_{\mathrm {tang}} R^{1/2 + \delta _m}\).
Here \({\bar{c}}_{\mathrm {tang}} > 0\) (respectively, \({\bar{C}}_{\mathrm {tang}} \ge 1\)) is a dimensional constant, chosen to be sufficiently small (respectively, large) for the purposes of the following arguments.
Definition 5.3
If \({\mathbb {S}} \subseteq {\mathbb {T}}\), then f is said to be concentrated on wave packets from \({\mathbb {S}}\) if
One wishes to study functions concentrated on wave packets from the collection
Let \(B \subseteq {\mathbb {R}}^n\) be a fixed ball of radius \(R^{1/2 + \delta _m}\) with centre \({\bar{x}} \in B(0,R)\). Throughout this section the analysis will be essentially confined to a spatially localised operator \(\eta _B\cdot T^{\lambda }g \) where \(\eta _B\) is a suitable choice of Schwartz function concentrated on B. It is remarked that, for any \((\theta , v) \in {\mathbb {T}}\), a stationary phase argument shows that the Fourier transform of \(\eta _B\cdot T^{\lambda }g_{\theta , v}\) is concentrated near the surface
Now consider the refined set of wave packets
Let \(R^{1/2} < \rho \ll R\) and throughout this subsection let \(\tau \subset {\mathbb {R}}^{n-1}\) be a fixed cap of radius \(O(\rho ^{-1/2 + \delta _m})\) centred at a point in \(B^{n-1}\). Now define
For \(1 \le m \le n\) denote
so that
With these definitions, the key partial transverse equidistribution result is as follows.
Lemma 5.4
With the above setup, if \(\dim Z = m\) and \({\overline{\deg }}\,Z \lesssim _{\varepsilon } 1\) and g is concentrated on wave packets from \({\mathbb {T}}_{Z, B,\tau }\), then
The remainder of the section is dedicated to the proof of this lemma. For a discussion of the philosophy and heuristics behind estimates of this kind, see [20, §6] or [21, §8], as well as Sect. 1.5. It is noted that in the maximum signature case \(\mu (n,n-1,m) = n-m\) for all \(1 \le m \le n\), so this lemma recovers the previous elliptic case result in [21, Lemma 8.4] (see also [20, Lemma 6.2]). On the other hand, in the range \(\frac{n + \sigma +1}{2} \le m \le n\) where \(\mu (n,\sigma ,m) = 0\) the result follows from a classical \(L^2\) bound of Hörmander and does not depend on any geometric considerations regarding the wave packets.
5.3 Wave packets tangential to linear subspaces
Here, as a step towards Lemma 5.4, transverse equidistribution estimates are proven for functions concentrated on wave packets tangential to some fixed linear subspace \(V \subseteq {\mathbb {R}}^n\). As before, let B be a ball of radius \(R^{1/2 + \delta _m}\) with centre \({\bar{x}} \in {\mathbb {R}}^n\) and define
Let \(R^{1/2}< \rho < R\) and for \(\tau \subset {\mathbb {R}}^{n-1}\) a ball of radius \(O(\rho ^{-1/2+ \delta _m})\) centred at a point in \(B^{n-1}\) define
where \((\tfrac{1}{10}\cdot \tau )\) is the cap concentric to \(\tau \) but with 1/10th of the radius.
The key estimate is the following.
Lemma 5.5
If \(V \subseteq {\mathbb {R}}^n\) is a linear subspace, then there exists a linear subspace \(V'\) with the following properties:
-
(1)
\(\mu (n,\sigma ,\dim V) \le \dim V' \le n-\dim V\).
-
(2)
\(V, V'\) are quantitatively transverse in the sense that there exists a uniform constant \(c_{\mathrm {trans}} > 0\) such that
$$\begin{aligned} \measuredangle (v, v') \ge 2c_{\mathrm {trans}} \qquad \text {for all non-zero vectors }v \in V\text { and }v' \in V'. \end{aligned}$$ -
(3)
If g is concentrated on wave packets from \({\mathbb {T}}_{V, B,\tau } \), \(\Pi \) is any plane parallel to \(V'\) and \(x_0 \in \Pi \cap B\), then the inequality
holds up to the inclusion of a \(\mathrm {RapDec}(R)\Vert g\Vert _{L^2(B^{n-1})}\) term on the right-hand side.
Proof of Lemma 5.5
Many of the steps of the proof are similar to the proof of Lemma 8.7 from [21], although the construction of \(V'\) itself is different from that used in the positive-definite case.
5.4 Constructing the subspace \(V_{\mathrm {aux}}'\)
The first step in the argument is to construct an auxiliary space \(V_{\mathrm {aux}}'\); the desired subspace \(V'\) is then obtained by rotating \(V_{\mathrm {aux}}'\).
One may assume without loss of generality that
since otherwise the family of tubes \({\mathbb {T}}_{V,B}\) is empty and there is nothing to prove. Consider the horizontal slice \(V_{\mathrm {sl}} := \mathrm {proj}_{{\mathbb {R}}^{n-1}} (V \cap {\mathbb {R}}^{n-1} \times \{0\}) \subseteq {\mathbb {R}}^{n-1}\). The angle condition (5.3) ensures that \(\dim V_{\mathrm {sl}} = \dim V -1\). Let \({\widetilde{V}}_{\mathrm {sl}}\) denote the preimage of \(V_{\mathrm {sl}}\) (which also corresponds to the image) under the linear mapping induced by the matrix \( \mathrm {I}_{n-1, \sigma }\); recall, \( \mathrm {I}_{n-1, \sigma }\) is the matrix appearing in Example 1.4 and in the definition of reduced form from Sect. 4.3. The auxiliary space is defined to be
where the orthogonal complements are taken inside \({\mathbb {R}}^{n-1}\). The following example partially motivates the above definition.
Example 5.6
Consider the prototypical case of the extension operator \(E_{\sigma }\) from Example 1.4. Here the unnormalised Gauss map \(G_0\) is an affine map, and so
is an affine subspace. A simple computation shows that \(A_{\omega }\) is parallel to \({\widetilde{V}}_{\mathrm {sl}}\).
5.5 Dimension bounds for \(V_{\mathrm {aux}}'\)
The next step of the proof is to show that the auxiliary space satisfies the dimension bounds described in part 1) of the lemma. It is clear that \(\dim V_{\mathrm {aux}}' \le n - \dim V\) since \(V_{\mathrm {aux}}' \subseteq V_{\mathrm {sl}}^{\perp }\) and the latter subspace has dimension equal to
It remains to show that \(\dim V_{\mathrm {aux}}' \ge \mu (n,\sigma ,\dim V)\). Since \(V_{\mathrm {sl}}^{\perp } \cap {\widetilde{V}}_{\mathrm {sl}}^{\perp } = (V_{\mathrm {sl}} + {\widetilde{V}}_{\mathrm {sl}})^{\perp }\) and \(\dim V_{\mathrm {sl}} = \dim {\widetilde{V}}_{\mathrm {sl}} = \dim V - 1\), it follows that
from which the estimate \(\dim V'_{\mathrm {aux}}\ge n-2\dim V+1\) directly follows. It thus suffices to prove that \(\dim V'_{\mathrm {aux}}\ge (n+\sigma +1)/2-\dim V\), or equivalently
Fix an orthonormal basis \(\{N_1, \ldots , N_{n - \dim V}\}\) for \(V^{\perp }\) so that
The angle condition (5.3) implies that \(\{N_1', \ldots , N_{n-\dim V}'\}\) is a linearly independent set of vectors, where \(N_k = (N_k', N_{k,n}) \in {\mathbb {R}}^{n-1} \times {\mathbb {R}}\) and, clearly,Footnote 12
On the other hand,
where the vectors \({\tilde{N}}_k := I_{n-1, \sigma }(N_k') \in {\mathbb {R}}^{n-1}\) satisfy
Combining the observations of the previous paragraph,
and, consequently,
Note that
and, since matrix rank is preserved under elementary column operations,
The left \((n-1)\times (n-\dim V)\) block is made up of \(n-\dim V\) linearly independent columns \(N_1', \ldots , N_{n-\dim V}'\). For the right-hand block, the number of linearly independent columns can be at most the number of non-zero rows, which is equal to \((n-1-\sigma )/2\). Altogether, this bounds the matrix rank above by
as desired.
5.6 Constructing the subspace \(V'\)
One may assume without loss of generality that \(S_{\omega } \cap \tau \ne \emptyset \) where
since otherwise the family of tubes \({\mathbb {T}}_{V,B, \tau }\) is empty and there is nothing to prove. Recalling (5.3), it follows that \(S_{\omega }\) is a smooth surface in \({\mathbb {R}}^{n-1}\) of dimension \(\dim V - 1\); indeed, this can be verified as a simple calculus exercise, but it is also treated explicitly as Claim 1 in the proof of Lemma 8.7 from [21] (the claim is stated in the positive-definite case, but the argument does not depend on the signature). For notational convenience, write
for the functions as defined in Sect. 4.2. Consider the surface
given by the diffeomorphic image of \(S_{\omega }\) under the map \(\Psi \). Fix some \(u_0 \in S_u \cap \Psi ^{-1}(\tau )\) and let \(A_u\) denote the tangent plane to \(S_u\) at \(u_0\). Here, the tangent plane is interpreted as a \((\dim V - 1)\)-dimensional affine subspace of \({\mathbb {R}}^{n-1}\) through \(u_0\). Now define \(A_{\xi } := A_u \times {\mathbb {R}}\subseteq {\mathbb {R}}^n\), so that \(\dim A_{\xi } = \dim V\), and let \(V_u\) and \(V_{\xi }\) be the linear subspaces parallel to \(A_u\) and \(A_{\xi }\), respectively.
The spaces \({\widetilde{V}}_{\mathrm {sl}} \subset {\mathbb {R}}^{n-1}\) and \(V_u \subset {\mathbb {R}}^{n-1}\) both have dimension \(\dim V - 1\). Moreover, the localisation to the cap \(\tau \) and ball B implies that \({\widetilde{V}}_{\mathrm {sl}}\) and \(V_u\) are close to one another in the following sense.
Claim
Let \(c_{\mathrm {ex}}\) be the constant defined in Sect. 4.3. Then
The proof of the claim is temporarily postponed. Assuming its validity, it follows that there exists a choice of \(O_V \in \mathrm {SO}(n-1,{\mathbb {R}})\) mapping \({\widetilde{V}}_{\mathrm {sl}}\) to \(V_u\) which satisfies
Indeed, if \(\{v_1^*, \ldots , v_{\dim V -1}^*\}\) is a choice of orthonormal basis for \({\widetilde{V}}_{\mathrm {sl}}\), then the claim implies that there exists a basis \(\{v_1, \ldots , v_{\dim V - 1}\}\) for \(V_u\) satisfying
Applying the Gram–Schmidt process, one may further assume \(\{v_1, \ldots , v_{\dim V - 1}\}\) is orthonormal, at the expense of a larger implied constant. A rotation \(O_V\) with the desired properties is given by stipulating that it maps \(v_k^*\) to \(v_k\) for \(1 \le k \le n\).
Fixing a rotation \(O_V\) which satisfies the above property,
Since \(V_u^{\perp } = O_V({\widetilde{V}}_{\mathrm {sl}}^{\perp })\), clearly \(V' = O_V(V'_{\mathrm {aux}}) \times \{0\}\). In particular, the space \(V'\) inherits the dimension bounds from \(V'_{\mathrm {aux}}\) and therefore the dimension condition (1) from the lemma is immediately verified.
It remains to prove the claim. The argument is almost identical to that used to prove Claim 4 in the proof of Lemma 8.7 of [21]. Nevertheless, here the signature of the phase plays a rôle and therefore the details are sketched.
Proof of Claim
Fixing \(v^* \in {\widetilde{V}}_{\mathrm {sl}} \cap S^{n-2}\), elementary linear geometry considerations reduce the problem to showing
For \({\bar{h}}\) as in (5.4), recall that \(u \mapsto (u, {\bar{h}}(u))\) is a graph parametrisation of the surface \(\Sigma _{{\bar{x}}}^{\lambda }\) from Sect. 4.2 and \(u \mapsto G_0^{\lambda }({\bar{x}};\Psi (u))\) is the unnormalised Gauss map associated to this parametrisation. It follows that
Differentiating the defining equations in the above expression and recalling that \(u_0\) is a fixed point featured in the definition of \(A_u\), one deduces that a basis for \(V_u^{\perp }\) is given by \(\{M_1, \dots , M_{n - \dim V}\}\) where
Lemma 4.1 together with some calculus (see [21, Lemma 4.5] for a similar computation) imply that
Since \(\langle v^*, {\tilde{N}}_k \rangle = 0\) for \(1 \le k \le n - \dim V\) and \({\tilde{N}}_k = I_{n-1, \sigma } (N_k')\), it follows that
Let \({\mathbf {M}}\) be the \((n-1) \times (n - \dim V)\) matrix whose kth column is given by the vector \(M_k\). The orthogonal projection of \(v^*\) onto the subspace \(V_u^{\perp }\) can be expressed in terms of \({\mathbf {M}}\) via the formula
By (5.5), the components of the vector \({\mathbf {M}}^{\top } v^*\) are all \(O(c_{\mathrm {ex}})\). Furthermore, it is not difficult to show that \(\Vert {\mathbf {M}}({\mathbf {M}}^{\top }{\mathbf {M}})^{-1}\Vert _{\mathrm {op}} \lesssim 1\), and combining these observations establishes the claim. \(\square \)
5.7 Verifying the transversality condition in (2)
Provided \(c_{\mathrm {ex}}\) is chosen to be sufficiently small, the transversality condition holds for the subspace \(V'\). To see this, first consider the auxiliary space \(V'_{\mathrm {aux}}\). By elementary geometric considerations,
where the latter inequality is by (5.3); this computation is discussed in detail in [20, Sublemma 6.6] and is represented diagrammatically in Fig. 5. The above inequality implies that V and \(V_{\mathrm {aux}}'\) are quantitatively transverse, since \(V_{\mathrm {aux}}'\) is a subspace of \(V_{\mathrm {sl}}^{\perp }\).
It remains to pass from the auxiliary space \(V_{\mathrm {aux}}'\) to \(V'\).
5.8 Verifying the transverse equidistribution estimate in (3)
The remaining steps of the proof closely follow the argument used to prove Lemma 8.7 of [21]. The localisation to \(\tau \) implies that the tangent space \(A_u\) is a good approximation for the surface \(S_u\). In particular, the key observation is that if \((\theta , v) \in {\mathbb {T}}_{V, B, \tau }\), then
As in Sect. 4.4, here \(\omega _{\theta } \in B^{n-1}\) denotes the centre of the cap \(\theta \) whilst \(\Sigma \) is the parametrisation of the smooth hypersurface from (5.2).
The inequality (5.6) follows from the proof of Claim 3 in the proof of Lemma 8.7 of [21]. Since \(V_{\xi }\) is the linear subspace parallel to the affine subspace \(A_{\xi }\), the above inequality implies that \(\mathrm {proj}_{V_{\xi }^{\perp }}\xi _{\theta }\) lies in some fixed ball of radius \(O(R^{-1/2 + \delta _m})\) whenever \((\theta , v) \in {\mathbb {T}}_{V, B, \tau }\).
As in [21] and [20], the desired transverse equidistribution estimate (3) follows as a consequence of the localisation of the \(\mathrm {proj}_{V_{\xi }^{\perp }}\xi _{\theta }\) described above. Indeed, since each \(\eta _B \cdot T^{\lambda }g_{\theta ,v}\) is essentially Fourier supported in a small ball around \(\xi _{\theta }\), this implies the projection of the Fourier support of \(\eta _B \cdot T^{\lambda }g_{\theta ,v}\) onto \(V_{\xi }^{\perp }\) is also localised to a \(O(R^{-1/2 + \delta _m})\)-ball. The transverse equidistribution property now follows as a manifestation of the uncertainty principle (see, in particular, [21, Lemma 8.5]). The reader is referred to [21] for the full details. \(\square \)
5.9 The proof of the transverse equidistribution estimate
Using ideas from [20, 21], one may easily pass from Lemma 5.5 to Lemma 5.4. Much of the proof is essentially identical to the proof of [21, Lemma 8.4] therefore only a sketch of the argument is provided.
It suffices to prove Lemma 5.4 in the case \(1 \le m = \dim Z \le (n+\sigma +1)/2\), as otherwise \(\mu (n,\sigma ,m)=0\) and the statement is a simple consequence of Hörmander’s classical \(L^2\) bound (see the discussion around (5.11) below).
Consider \(Z, B, \tau \) and g as in the statement of Lemma 5.4. It may be assumed that g is concentrated on those wave packets \((\theta ,v)\) from \({\mathbb {T}}_{Z,B,\tau }\) for which \(T_{\theta ,v}\) intersects \(N_{R^{1/2+\delta _m}}(Z)\cap B\), as for all other \((\theta ,v)\) the function \(|T^\lambda _{\theta ,v}g|\) is very small on \(N_{\rho ^{1/2+\delta _m}}(Z)\cap B\). By the \(R^{1/2+\delta _m}\)-tangent condition, it follows that there exists \(z\in Z\cap 2B\) such that
for all such \((\theta ,v)\). Therefore, there exists a subspace \(V\subset {\mathbb {R}}^n\) of minimal dimension \(\dim V\le \dim Z\) such that
for all wave packets \((\theta ,v)\) upon which g is concentrated. This implies that g is concentrated on wave packets \({\mathbb {T}}_{V,B,\tau }\), as defined in Sect. 5.2. By Lemma 5.5 there exists a linear subspace \(V'\subseteq {\mathbb {R}}^n\) satisfying
and the transverse equidistribution estimate
for every affine subspace \(\Pi '\) parallel to \(V'\) and \(x_0\in B\).
In contrast to the positive-definite case in [21], where one may ensure that \(\dim V+\dim V'=n\), only the generally weaker dimension bounds (5.7) hold here. However, the subspace \({\widetilde{V}}:=V'\oplus (V+V')^\perp \) satisfies \(\dim V+\dim {\widetilde{V}}=n\) and the quantitative transversality condition
as well the transverse equidistribution estimate
for every affine subspace \(\Pi \) parallel to \({\widetilde{V}}\) and \(x_0\in \Pi \cap B\), which follows from (5.8) by Fubini and Hölder’s inequality (as well as the fact that \(\delta \ll \delta _m)\). Following closely the proof of Lemma 8.4 in [21], one may further prove that for each \(z\in Z\cap 2B\) the pair \(T_zZ, {\widetilde{V}}\) satisfies the quantitative transversality condition
for all non-zero vectors \(v\in T_zZ\cap (T_zZ\cap {\widetilde{V}})^\perp \) and \({\widetilde{v}}\in {\widetilde{V}}\cap (T_zZ\cap {\widetilde{V}})^\perp \). Since in addition \(\dim T_zZ+\dim {\widetilde{V}}\ge n\), Lemma 8.13 in [21] implies that
for every plane \(\Pi \) parallel to \({\widetilde{V}}\). As \(\Pi \cap Z\) is a complete transverse intersection of dimension \(\dim Z+\dim {\widetilde{V}}-n=m -\dim V\), it follows by Wongkew’s theorem [41] that \(\Pi \cap N_{\rho ^{1/2+\delta _m}}(Z)\cap B\) can be covered by
balls of radius \(\rho ^{1/2+\delta _m}\). Applying the estimate (5.9) in each of these balls and summing, one obtains
for all planes \(\Pi \) parallel to \({\widetilde{V}}\). Integrating over all such planes and applying Hölder’s inequality, one deduces that
By Hörmander’s \(L^2\) bound [24] (see also [34, Chapter IX] or [21, Lemma 5.5]),
Substituting this into (5.10), the desired estimate in Lemma 5.4 follows provided
It remains to show (5.12) holds. In view of (5.7), this would follow from
By the initial reduction at the beginning of the subsection, \(\dim V\le m \le (n+\sigma +1)/2\). If \(0 \le \dim V\le (n-\sigma +1)/2\), then \(\mu (n,\sigma ,\dim V)=n-2\dim V+1\) and
On the other hand, if \((n-\sigma +1)/2 \le \dim V\le (n+\sigma +1)/2\), then \(\mu (n,\sigma ,\dim V)=(n+\sigma +1)/2-\dim V\) and
This concludes the proof of Lemma 5.4.
6 Proof of Theorem 1.5
Theorem 1.5 is a special case of the following inductive proposition (in place of Proposition 10.1 from [21]). Define
Proposition 6.1
Given \(\varepsilon >0\) sufficiently small and \(1\le m\le n\) there exist
and constants \({\bar{C}}_\varepsilon \), \({{{\bar{A}}}}_\varepsilon \) dyadic, \(D_{m,\varepsilon } \lesssim _{\varepsilon } 1\) and \(\vartheta _m < \varepsilon \) such that the following holds.
Suppose \(Z=Z(P_1,\ldots ,P_{n-m})\) is a transverse complete intersection with \({\overline{\deg }}\, Z\le D_{m,\varepsilon }\). For all \(0\le \sigma \le n-1\), \(2\le k\le n\), \(1\le A\le {{{\bar{A}}}}_\varepsilon \) dyadic and \(1\le K\le R \le \lambda \) the inequality
holds for all translates \(T^\lambda \) of Hörmander-type operators with reduced phase of signature \(\sigma \), whenever f is concentrated on wave packets from \({\mathbb {T}}_Z\) and
Here, \({\mathbb {T}}_Z\) is defined as in Sect. 5; that is,
and the parameters \(D_{m,\varepsilon }\), \(\theta _m\), \({\bar{A}}_\varepsilon \), \(\delta ,\delta _1,\ldots ,\delta _{n-1}\), as well as translates of Hörmander-type operators, are defined as in [21].
Proof
The proof is the same as that of Proposition 10.1 in [21], with the exception that the exponent \(n-m\) in inequality (10.30) of [21], which is due to equidistribution under a positive definite assumption on the phase, is here replaced by \(\mu (n,\sigma ,m)\), the exponent appearing in the equidistribution Lemma 5.4. This exponent is carried through to the end of the inductive proof, and the induction closes due to the above definition of \(e_{k,n,\sigma }(p)\). \(\square \)
7 Proof of Theorem 1.2: narrow decoupling
7.1 Overview
It remains to pass from the k-broad estimates of Theorem 1.5 to linear estimates for the oscillatory integral operators \(T^{\lambda }\). As in [20, 21], this is achieved via the Bourgain–Guth method from [12], which recursively partitions the norm \(\Vert T^{\lambda }f\Vert _{L^p(B_R)}\) into two pieces:
Broad part. This is the part of the norm which can be estimated using the k-broad inequalities from Theorem 1.5.
Narrow part. This consists of the remaining contributions to the norm, which cannot be controlled using the k-broad estimates.
In this section the tools for analysing the narrow part are reviewed. The main ingredient is a Wolff-type \(\ell ^p\)-decoupling inequality: see Proposition 7.3 below. In the next section, a sketch of the Bourgain–Guth argument is provided which combines Theorem 1.5 and Proposition 7.3 (or, more precisely, Corollary 7.7) in order to deduce Theorem 1.2.
7.2 Decoupling regions
Let \(h :B^{n-1} \rightarrow {\mathbb {R}}\) be a smooth function such that
and such that the Hessian \(\partial _{uu}^2 h(u)\) is non-degenerate for all \(u \in B^{n-1}\) with fixed signature \(0 \le \sigma \le n-1\). In such cases h is said to be of signature \(\sigma \). Consider the surface
which is of non-vanishing Gaussian curvature and has second fundamental form of constant signature \(\sigma \). Note that the Gauss map \(G_h :B^{n-1} \rightarrow S^{n-1}\) associated to this surface is given by
In particular, \(G_h(0) = \vec {e}_n\) and the image set \(G_h(B^{n-1})\) is contained in a spherical cap in the northern hemisphere, centred around the north pole.
Given \({\bar{u}} \in B^{n-1}\) and \(\delta > 0\) define the matrices
where \(D_{\delta } = \mathrm {diag}[\delta ^{1/2}, \dots , \delta ^{1/2}, \delta ]\) corresponds to an anisotropic (parabolic) scaling of the coordinates. This definition may be partially motivated by considering a quadratic form \(Q(u) := \frac{1}{2} \langle {\mathcal {L}}u,u\rangle \) for \({\mathcal {L}} :{\mathbb {R}}^{n-1} \rightarrow {\mathbb {R}}^{n-1}\) an invertible, self-adjoint linear mapping. By forming the Taylor expansion of \(\Gamma _Q\), it follows that
In particular, the above identity shows that the surface \(\Sigma [Q]\) can be diffeomorphically mapped to a \(\delta ^{1/2}\)-capFootnote 13 via an affine transformation of the ambient space. Moreover, the matrix \([Q]_{{\bar{u}},\delta }\) corresponds to the linear part of this affine transformation.
Definition 7.1
A \(\delta ^{1/2}\)-slab on \(\Sigma [h]\) is a set of the form
If \(\theta = \theta ({\bar{u}}; \delta )\) is a \(\delta ^{1/2}\)-slab, then \({\bar{u}}\) is referred to as the centre of the slab and in such cases the notation \({\bar{u}} = u_{\theta }\) is used. It will also be convenient to write \([h]_{\theta }\) for \([h]_{u_{\theta }, \delta }\) whenever \(\theta = \theta (u_{\theta }; \delta )\).
These regions are defined in view of the scaling considerations discussed above. In particular, in the quadratic case, where \(h = Q\) as above, the slabs inherit a scaling structure from (7.1), as described in the proof of Lemma 7.5 below.
Definition 7.2
Given V a subspace of \({\mathbb {R}}^n\), a \(\delta ^{1/2}\)-slab decomposition on \(\Sigma [h]\) along V is a family \(\Theta (V, \delta )\) of \(\delta ^{1/2}\)-slabs satisfying:
-
(i)
The \(\delta ^{1/2}\)-slabs belonging to \(\Theta (V, \delta )\) are finitely-overlapping, and in particular the maximum number of overlapping slabs is bounded by a dimensional constant.
-
(ii)
\(\measuredangle (G_h(u_{\theta }), V) \le \delta ^{1/2}\) for all \(\theta \in \Theta (V, \delta )\).
As in Sect. 5 (see (5.3)), to avoid degenerate situations it is assumed that
Thus, any maximal \(\delta ^{1/2}\)-slab decomposition \(\Theta (V,\delta )\) essentially forms a decomposition of the neighbourhood of the \((d-1)\)-dimensional submanifold
of height \(\delta \) in the normal direction to \(\Sigma [h]\) and of width \(\delta ^{1/2}\) in the tangential directions to \(\Sigma [h]\).
7.3 Constant coefficient decoupling: quadratic case
For \(n \ge d \ge 2\) and \(0 \le \sigma \le n-1\) such that \(n-1-\sigma \) is even, define the exponents
With this and the definitions from the previous subsection, the main decoupling inequality reads as follows.
Proposition 7.3
Let \(2 \le d \le n\), \(0 \le \sigma \le n-1\) with \(n-1-\sigma \) even and \(\delta >0\). Suppose that \(h :B^{n-1} \rightarrow {\mathbb {R}}\) is of signature \(\sigma \), that \(V \subseteq {\mathbb {R}}^n\) is a vector subspace of dimension d satisfying (7.2) and \(\Theta (V,\delta )\) is \(\delta ^{1/2}\)-slab decomposition on \(\Sigma [h]\) along V. For all \(2 \le p \le p_{\mathrm {dec}}(n,\sigma ,d)\) and \(\varepsilon > 0\), the inequality
holds whenever \((F_{\theta })_{\theta \in \Theta (V,\delta )}\) is a tuple of functions satisfying \(\mathrm {supp}\,{\hat{F}}_{\theta } \subseteq \theta \) for all \(\theta \in \Theta (V,\delta )\).
For the \(2 \le d \le \frac{n-\sigma +1}{2}\) range the decoupling is elementary, but for the remaining d values Proposition 7.3 relies on the Bourgain–Demeter decoupling theorem for surfaces of non-vanishing Gaussian curvature [11].
In this subsection the proof of Proposition 7.3 (or, more precisely, the reduction of this proposition to the main theorem in [11]) is described in the special case where the surface under consideration is quadratic. In particular, here \(h := Q\) for some quadratic form
where \({\mathcal {L}} :{\mathbb {R}}^{n-1} \rightarrow {\mathbb {R}}^{n-1}\) is an invertible, self-adjoint linear mapping of signature \(\sigma \). This prototypical case is essentially treated in [2] (see also [11]) but, for completeness, the details are given.
Slice geometry. Fix Q as in (7.5) and a d-dimensional subspace V satisfying (7.2). The first step is to understand the basic geometry of \(\Sigma [Q;V]\). This is a quadratic surface, associated to some potentially degenerate quadratic form. The key is to determine the possible degree of degeneracy, which depends on the signature \(\sigma \) of the original matrix \({\mathcal {L}}\).
For Q as in (7.5), the unnormalised Gauss map \(G_{Q,0}\) is an affine function. Thus, the preimage
is an affine subspace of dimension \(d-1\) (see also Example 5.6 above) and
In particular, \(\Sigma [Q;V]\) is the graph of the form Q restricted to the subspace \(A_u\). Furthermore, if \(V_u\) denotes the \((d-1)\)-dimensional linear subspace parallel to \(A_u\), then \(\Sigma [Q;V]\) is the image of the graph of Q over \(V_u\) under an invertible affine transformation.
Restrictions of quadratic forms. Given a linear subspace \(U \subseteq {\mathbb {R}}^{n-1}\) of dimensions \(d-1\), consider the restriction \(Q|_U\) of the quadratic form Q to U, which is a (possibly degenerate) quadratic form on U. In particular, there exists a self-adjoint linear map \({\mathcal {L}}_{U} :U \rightarrow U\) such that \(Q|_U(u) = \frac{1}{2} \langle {\mathcal {L}}_{U}(u),u\rangle \) for all \(u \in U\). For \(\rho > 0\) let \({\mathbf {N}}({\mathcal {L}}_U;\rho )\) denote the number of eigenvalues of \({\mathcal {L}}_U\) inside the interval \((-\rho ,\rho )\) and let \(\rho ({\mathcal {L}}) > 0\) denote the minimum modulus of the eigenvalues of \({\mathcal {L}}\).
The following lemma is a minor modification of [2, Lemma 3.3], which in turn is adapted from the proof of Proposition 3.2 in [11].
Lemma 7.4
[2, 11] Let \(2 \le d \le n\), \(0 \le \sigma \le n-1\) with \(n-1 - \sigma \) even and \({\mathcal {L}} :{\mathbb {R}}^{n-1} \rightarrow {\mathbb {R}}^{n-1}\) be an invertible, self-adjoint linear mapping of signature \(\sigma \). If U is a vector space of dimension \(d-1\), then
where \({\mathcal {L}}_U\) is the linear mapping obtained by restricting to U the quadratic form associated to \({\mathcal {L}}\), as described above.
Applying Lemma 7.4 to the subspace \(U := V_u\), it follows that the slice \(\Sigma [Q;V]\) has at least \(d-1 - \nu (n,\sigma , d)\) principal curvatures bounded away from zero.
Proof of Lemma 7.4
The desired inequality is equivalent to showing
The bound \(d-1\) is obvious, since the total number of eigenvalues cannot exceed the dimension of U.
In order to prove the remaining bounds, form the following orthogonal decompositions of \({\mathbb {R}}^{n-1}\) and U:
-
Let \(X_-\) and \(X_+\) denote the subspaces of \({\mathbb {R}}^{n-1}\) spanned by the eigenvectors of \({\mathcal {L}}\) with negative and positive eigenvalues, respectively.
-
Let \(E_-\), \(E_0\) and \(E_+\) denote the subspaces of U spanned by the eigenvectors of \({\mathcal {L}}_U\) with eigenvalues lying in the intervals \((-\infty , -\rho ({\mathcal {L}})]\), \((-\rho ({\mathcal {L}}), \rho ({\mathcal {L}}))\) and \([\rho ({\mathcal {L}}), \infty )\), respectively.
In this notation,
The key observation is that
which is a simple consequence of the definitions. Thus,
and these inequalities together with (7.8) immediately imply the \(\frac{n-\sigma -1}{2}\) bound in (7.7). The remaining bound in (7.7) follows by summing together (7.9a) and (7.9b), using the fact that \(\dim E_- + \dim E_+ = d - 1 - \dim E_0\) and \(\dim X_- + \dim X_+ = n-1\). \(\square \)
Trivial decoupling. Recall, \(V_u\) is the \((d-1)\)-dimensional linear subspace parallel to the affine subspace \(A_u\) defined in (7.6). Consider the eigenspace decomposition \(V_u = E_- \oplus E_0 \oplus E_+\) defined with respect to \({\mathcal {L}}_{V_u}\) as in the proof of Lemma 7.4. The eigenvectors generating \(E_0\) have eigenvalues of small modulus and therefore correspond to the (relatively) flat directions of \(\Sigma [Q;V]\). Note that \(E_0\) has dimension \(\nu := {\mathbf {N}}\big ({\mathcal {L}}_{V_u}; \rho ({\mathcal {L}}) \big )\), which is bounded by Lemma 7.4. In these flat directions one applies a trivial decoupling inequality, based on Plancherel’s theorem.
To make the above discussion precise, note that
where \(A_{\xi } = A_u \times {\mathbb {R}}\) is the affine subspace introduced above. Since \(A_u\) is parallel to \(V_u\), one may write \(A_u = V_u + b\) for some \(b \in {\mathbb {R}}^{n-1}\). Thus, \(W_u^{(0)} := E_- \oplus E_+ + b\) is a subspace of \(A_u\) and \(A_{\xi }\) may be foliated into translates of \(W_{\xi }^{(0)} := W_u^{(0)} \times {\mathbb {R}}\) by writing
Let \({\mathcal {A}}(V;\delta )\) denote a collection of sets \(\alpha := N_{\delta ^{1/2}} W_{\xi }^{(a)}\) for a varying over a \(\delta ^{1/2}\)-net in \(E_0 \cap B(0,1)\), so that \({\mathcal {A}}(V;\delta )\) forms a cover of the support of the \({\hat{F}}_{\theta }\) by finitely-overlapping sets. Note that \(\# {\mathcal {A}}(V;\delta ) \lesssim \delta ^{-\nu /2}\).
Fix a smooth partition of unity \((\zeta _{\alpha })_{\alpha \in {\mathcal {A}}(V;\delta )}\). Thus, given any \(g \in L^1({\mathbb {R}}^{n-1})\) with Fourier support in \(N_{\delta ^{1/2}} A_{\xi } \cap B(0,1)\), one may write \(g = \sum _{\alpha \in {\mathcal {A}}(V;\delta )} g_{\alpha }\) where each \(g_{\alpha }\) is defined via the Fourier transform by \({\hat{g}}_{\alpha } := {\hat{g}} \cdot \zeta _{\alpha }\). In particular,
For all \(2 \le p \le \infty \), an elementary argument shows that
Indeed, this follows by interpolation between the \(p = 2\) and \(p=\infty \) cases (first setting up the estimate in a suitably general formulation, amenable to interpolation), which follow from Plancherel’s theorem and the triangle inequality, respectively.
Applying the Bourgain–Demeter theorem. Now consider the \((d-1-\nu )\)-dimensional eigenspace \(E := E_- \oplus E_+\). The eigenvectors generating E have eigenvalues of large modulus and correspond to ‘curved’ directions. In particular, the restriction of Q to E is a non-degenerate form. Owing to this, one may take advantage of the Bourgain–Demeter theorem [11].
Fix \(\alpha = N_{\delta ^{1/2}}W_{\xi }^{(a)} \in {\mathcal {A}}(V;\delta )\) and consider the linear subspace
It is not difficult to show that \(V^{(a)}\) is of dimension \(d-\nu \) and
Choose coordinates \(x = (x', x'')\) for \(x' \in V^{(a)}\) and \(x'' \in (V^{(a)})^{\perp }\). Fix \(x'' \in (V^{(a)})^{\perp }\) and define
By elementary properties of the Fourier transform, it follows that
Since the eigenvalues associated to eigenvectors in E are bounded away from zero, it follows that Q restricts to a nondenegerate form on \(W_u^{(a)}\). Consequently:
-
(i)
\(\mathrm {proj}_{V^{(a)}} \Sigma [Q;V^{(a)}]\) is a smooth hypersurface in \(V^{(a)}\) of non-vanishing Gaussian curvature.
-
(ii)
\(\mathrm {proj}_{V^{(a)}} \theta \) are finitely-overlapping and appropriate neighbourhoods of the \(\mathrm {proj}_{V^{(a)}} \theta \) form a \(\delta ^{1/2}\)-slab decomposition of the entire hypersurface \(\mathrm {proj}_{V^{(a)}} \Sigma [Q;V^{(a)}]\).
For a proof of these observations see, for instance, [3, Lemma 3.4].
In light of the above, for each fixed \(x'' \in (V^{(a)})^{\perp }\), the function \(g_{x'', \theta }\) satisfies the hypotheses of the decoupling theorem for negatively-curved surfaces from [11]. Thus, for all \(2 \le p \le 2 \cdot \frac{d - \nu + 1}{d - \nu -1}\) and \(\varepsilon > 0\) the inequality
holds uniformly in \(x''\). Taking p powers, integrating over all \(x'' \in (V^{(a)})^{\perp }\) and then taking the p roots, one concludes that
This efficiently decouples the \(L^p\)-norms on the right-hand side of (7.10).
Combining the decouplings. Finally, fix \(\theta \in \Theta (V;\delta )\) and observe that
by an elementary square function estimate (see, for instance, [31, Lemma 2.4.6]). Combining (7.10), (7.11) and (7.12), for all \(2 \le p \le 2 \cdot \frac{d - \nu + 1}{d - \nu -1}\) and \(\varepsilon > 0\) the inequality
holds. By Lemma 7.4, the \(\delta \) dependence in (7.13) is at least as good as that in Proposition 7.3. However, Lemma 7.4, together with the definitions (7.4), (7.3) and (7.4), also implies that
and so the range of p in (7.13) is potentially insufficient for the present purpose. To remedy this, one may interpolate against the trivial inequality
Indeed, the desired decoupling inequality in Proposition 7.3 follows by interpolating between (7.13) and (7.15), in view of the exponent relation (7.14).
7.4 Constant coefficient decoupling: general case
To complete the proof of Proposition 7.3, it remains to extend the result from quadratic surfaces to graphs of arbitrary smooth h of signature \(\sigma \). This is achieved via a now standard iteration argument originating in the work of Pramanik–Seeger [28]. The argument relies on the fact that, locally, each such h is a small perturbation of a quadratic surface of the same signature, and also on special scaling properties of the decoupling inequalities which manifest in the proof of Lemma 7.5 below.
Consider the slight generalisation of the setup from the previous subsection where \(h :{\mathbb {R}}^{n-1} \rightarrow {\mathbb {R}}\) is a quadratic of signature \(\sigma \) defined by
where \({\mathcal {L}} :{\mathbb {R}}^{n-1} \rightarrow {\mathbb {R}}^{n-1}\) is an invertible, self-adjoint linear mapping of signature \(\sigma \), whilst \(\vec {b} \in {\mathbb {R}}^{n-1}\) and \(a \in {\mathbb {R}}\). Fix V a d-dimensional subspace satisfying (7.2), a pair of scales \(0< \delta< \rho < 1\) and a \(\rho ^{1/2}\)-slab \(\alpha \) on \(\Sigma [h]\) with \(\measuredangle (G(u_{\alpha }), V) \le \rho ^{1/2}\).
Lemma 7.5
With the above setup, suppose \(\Theta (\alpha ) \subseteq \Theta (V;\delta )\) is a collection of \(\delta ^{1/2}\)-slabs \(\theta \) satisfying \(\theta \subseteq \alpha \). For all \(2 \le p \le p_{\mathrm {dec}}(n,\sigma ,d)\) and \(\varepsilon > 0\), the inequality
holds whenever \((F_{\theta })_{\theta \in \Theta (\alpha )}\) is a tuple of functions satisfying \(\mathrm {supp}\,{\hat{F}}_{\theta } \subseteq \theta \) for all \(\theta \in \Theta (\alpha )\).
Proof
Define functions \({\tilde{F}}_{\theta }\) via the Fourier transform by
and note that it suffices to prove the same inequality but with each \(F_{\theta }\) replaced with \({\tilde{F}}_{\theta }\). Indeed, this follows by applying an affine rescaling and modulation to the functions appearing in both sides of the inequality in (7.17).
By the Fourier support hypothesis on the \(F_{\theta }\), it follows that each \({\tilde{F}}_{\theta }\) has Fourier support in the set
Defining \(u_{{\tilde{\theta }}} := \rho ^{-1/2}\big (u_{\theta } - u_{\alpha }\big )\) and \({\tilde{\theta }} := \theta (u_{{\tilde{\theta }}}; \delta /\rho )\), a simple computation shows that
where Q is the leading homogeneous part of h, as defined in (7.5). In particular,
Let \((N_j)_{j=1}^{n-d}\) be an orthonormal basis for \(V^{\perp }\) and write \(N_j = (N_j', N_{j,n})\) where \(N_j' \in {\mathbb {R}}^{n-1}\) is the vector formed by the first \(n-1\) components of \(N_j\). The angle condition (7.2) implies that the vectors \(N_j'\) are quantitatively transverse in the sense that \(|\bigwedge _{j=1}^{n-1} N_j'| > rsim _h 1\). Define
so that \({\tilde{N}}_j = (N_j', {\tilde{N}}_{j,n})\) where \({\tilde{N}}_{j,n} := \rho ^{-1/2}\langle G_{h,0}(u_{\alpha }),N_j\rangle \). Recall, by hypothesis, \(\measuredangle (G_h(u_{\alpha }), V) \le \rho ^{1/2}\) and therefore the vectors \({\tilde{N}}_j\) have magnitude \(O_h(1)\). The vectors \({\tilde{N}}_j\) also inherit quantitative transversality from the \(N_j'\).
Consider the d-dimensional subspace \({\tilde{V}} := \langle {\tilde{N}}_1, \ldots , {\tilde{N}}_{n-d} \rangle ^{\perp }\). A simple computation shows that
The condition \(\measuredangle (G_h(u_{\theta }), V) \le \delta ^{1/2}\) implies \(|\langle G_{h,0}(u_{\theta }),N_j\rangle | \lesssim _h \delta ^{1/2}\) for \(1 \le j \le n-d\) and, consequently, \(\measuredangle (G_{Q}(u_{{\tilde{\theta }}}), {\tilde{V}}) \lesssim _h (\delta /\rho )^{1/2}\). Thus, the claim follows by applying the decoupling inequality from the previous step to the function Q at scale \(\sim \delta /\rho \). \(\square \)
Following [28], the general case of Proposition 7.3 may be deduced from the quadratic case via an induction-on-scale procedure, using Lemma 7.5.
Proof of Proposition 7.3: general case
Fix \(h :B^{n-1} \rightarrow {\mathbb {R}}\) of signature \(\sigma \), a vector subspace \(V \subseteq {\mathbb {R}}^n\) of dimension d satisfying (7.2) and a Lebesgue exponent \(2 \le p \le \infty \). For \(0< \delta < 1\) define the decoupling constant \({\mathfrak {D}}_{h,V,p}(\delta )\) to be the infimum over all constants \(C \ge 1\) for which the inequality
holds for all \(\delta ^{1/2}-\)slab decompositions \(\Theta (V,\delta )\) on \(\Sigma [h]\) along V and all tuples of functions \((F_{\theta })_{\theta \in \Theta (V,\delta )}\) satisfying \(\mathrm {supp}\,{\hat{F}}_{\theta } \subseteq \theta \) for all \(\theta \in \Theta (V,\delta )\). With this notation, given \(\varepsilon > 0\) the problem is to show that
Fixing \(\varepsilon > 0\), the argument proceeds by induction on the scale \(\delta \), using the prototypical cases proved above to facilitate the induction step. In particular, let \(\delta _{\circ } = \delta _{\circ }(h,\varepsilon ) > 0\) be a fixed small parameter, depending only on h and \(\varepsilon \) and chosen sufficiently small for the purpose of the forthcoming argument. If \(1 > \delta \ge \delta _{\circ }\), then the desired bound (7.18) follows immediately from Hölder’s inequality. This serves as the base case for the induction.
Induction hypothesis: Fix \(0< \delta < \delta _{\circ }\) and suppose
holds whenever \(2\delta \le \delta ' < 1\).
Here \({\mathbf {C}}_{h,\varepsilon }\) is a fixed constant, which depends only on the admissible objects h and \(\varepsilon \), chosen sufficiently large for the purpose of the forthcoming argument. In particular, it suffices to take \({\mathbf {C}}_{h, \varepsilon }\) so that (7.19) holds in the base case \(1 > \delta ' \ge \delta _{\circ }\) for the choice of \(\delta _{\circ }\) determined below.
Fix \(\Theta (V,\delta )\) a \(\delta ^{1/2}\)-slab decomposition on \(\Sigma [h]\) along V. Let \(\delta \ll \rho < 1\) be a second small parameter. Later in the argument \(\rho \) is fixed by taking \(\rho \sim _h \delta ^{2/3}\), but for now it is helpful to keep it a free parameter. Fix a \(\rho ^{1/2}\)-slab decomposition \(\Theta (V,\rho )\) with the property that every \(\theta \in \Theta (V,\delta )\) lies in at least one \(\alpha \in \Theta (V,\rho )\).
Given a tuple of functions \((F_{\theta })_{\theta \in \Theta (V,\delta )}\) as in the statement of the proposition, form a tuple of functions \((F_{\alpha })_{\alpha \in \Theta (V,\rho )}\) by partitioning the collection \(\Theta (V,\delta )\) into disjoint families \(\Theta (\alpha )\) with \(\theta \subseteq \alpha \) for all \(\theta \in \Theta (\alpha )\) and taking
Clearly, \(\mathrm {supp}\,{\hat{F}}_{\alpha } \subseteq \alpha \) and so, applying the induction hypothesis (7.19) with \(\delta ' = \rho \ge 2 \delta \), one deduces that
Fixing \(\alpha \in \Theta (V,\rho )\), the problem is now to decouple the norm
To achieve this, h is locally approximated by a quadratic which facilitates application of the decoupling for quadratic surfaces derived in the previous steps. Let \(u_{\alpha } \in B^{n-1}\) denote the centre of \(\alpha \) and consider the second order approximation \(h_{\alpha } :{\mathbb {R}}^{n-1} \rightarrow {\mathbb {R}}\) to h around \(u_{\alpha }\), given by
Note that each of the mappings \(h_{\alpha }\) is of the form (7.16).
Let \(\xi \in \theta = \theta (u_{\theta },\delta ) \in \Theta (\alpha )\) so that there exists \(\eta = (\eta ',\eta _n) \in [-1,1]^{n-1} \times [-1,1]\) such that
A simple computation shows
where \({\tilde{\eta }} = (\eta ',{\tilde{\eta }}_n)\) for
By Taylor’s theorem and the hypothesis \(\theta \in \Theta (\alpha )\), one deduces that
Thus, taking \(\rho := c_h \delta ^{2/3}\) for a suitably small constant \(c_h > 0\), depending only on the magnitude of the third order derivatives of h, one concludes that \({\tilde{\eta }}_n \in [-2,2]\).
The previous observations show that each \(F_{\theta }\) for \(\theta \in \Theta (\alpha )\) has Fourier support in a \((2\delta )^{1/2}\)-slab defined with respect to the quadratic surface \(\Sigma [h_{\alpha }]\). One may therefore apply the (rescaled version of the) decoupling inequality (7.17) to conclude that
Combining (7.20) and (7.21) with the definition of the decoupling constant,
where \(C_{h,\varepsilon }\) is an amalgamation of the implicit constants arising in the above argument. Since, \(\delta /\rho \le c_h^{-1} \delta _{\circ }^{1/3}\), by choosing \(\delta _{\circ }\) from the outset to be sufficiently small, depending only on h and \(\varepsilon \), one may ensure that \(C_{h,\varepsilon }(\delta /\rho )^{\varepsilon /2} \le 1\) and so the induction closes. \(\square \)
7.5 Variable coefficient decoupling
Proposition 7.3 can be used to study Hörmander-type operators, provided that the operator is sufficiently localised. In particular, given a reduced phase function \(\phi ^{\lambda }\) of signature \(\sigma \), recall from Sect. 4.2 that for a fixed vector \({\bar{x}} \in B(0,\lambda )\) in the spatial domain,
is a smooth function of signature \(\sigma \) on its domain. Moreover, if the corresponding operator \(T^{\lambda }f\) is localised to a small ball around \({\bar{x}}\), then the Fourier transform of this localised function is supported in a neighbourhood of the surface \(\Sigma [h_{{\bar{x}}}^{\lambda }]\). This facilitates application of the decoupling inequality from Proposition 7.3 in this setting.
To make the above discussion precise, fix a Hörmander-type operator \(T^{\lambda }\) and a function \(f \in L^1(B^{n-1})\). Let \({\mathcal {T}}\) be a decomposition of the domain \(B^{n-1}\) into finitely-overlapping balls \(\tau \subseteq {\mathbb {R}}^{n-1}\) of radius \(K^{-1}\), each with some centre \(\omega _{\tau } \in B^{n-1}\), and fix a smooth partition of unity \(\{\psi _{\tau }\}_{\tau \in {\mathcal {T}}}\) subordinate to \({\mathcal {T}}\). Correspondingly, decompose \(f = \sum _{\tau \in {\mathcal {T}}} f_{\tau }\) where each \(f_{\tau } = f \cdot \psi _{\tau }\); in particular, each \(f_{\tau }\) satisfies \(\mathrm {supp}\,f_{\tau } \subseteq \tau \).
Thus, \(T^{\lambda }f = \sum _{\tau \in {\mathcal {T}}} T^{\lambda }f_{\tau }\) and one is interested in studying this function localised to some ball \(B_{K^2} = B({\bar{x}}, K^2)\) of radius \(K^2\). In view of this, let \(\zeta \in C^{\infty }_c({\mathbb {R}}^n)\) satisfy \(\zeta (x) = 1\) for \(x \in [-1,1]^n\) and \(\zeta (x) = 0\) for \(x \notin [-2,2]^n\) and define \(\zeta _{B_{K^2}}(x) := \zeta (K^{-2}(x - {\bar{x}}))\). Let \(T^{\lambda }_{B_{K^2}}\) denote the localised operator given by replacing the amplitude function \(a^{\lambda }(x;\omega )\) in \(T^{\lambda }\) with \(a^{\lambda }(x;\omega )\cdot \zeta _{B_{K^2}}(x)\). The key observation is that, provided \(K^2 \le \lambda \), each function \(T^{\lambda }_{B_{K^2}}f_{\tau }\) is essentially Fourier supported in a \(K^{-1}\)-slab, defined with respect to the function \(h^{\lambda }_{{\bar{x}}}\). In particular, given \(\varepsilon > 0\), for each \(\tau \) associate a \(K^{-(1-\varepsilon )}\)-slab
defined as in Definition 7.1, taking \(h = h^{\lambda }_{{\bar{x}}}\) and \({\bar{u}} = u_{\tau } := \big (\Psi _{{\bar{x}}}^{\lambda }\big )^{-1}(\omega _{\tau })\). Let \(\zeta _{\tau }\) denote the function obtained by precomposing \(\zeta \) with the inverse of the affine transformation \(\eta \mapsto \frac{1}{2}\cdot [h^{\lambda }_{{\bar{x}}}]_{\theta (\tau )} \cdot \eta + \Gamma (h^{\lambda }_{{\bar{x}}})(u_{\tau })\). Thus, \(\mathrm {supp}\,\zeta _{\tau } \subseteq \theta (\tau )\) for all \(\xi \in \theta (\tau )\).
Lemma 7.6
Given \(\varepsilon > 0\) and \(R^{\varepsilon } \lesssim _{\varepsilon } K^2 \le \lambda \), with the above definitions,
Once this lemma is established, one may immediately apply Proposition 7.3 to deduce the following (pseudo) variable coefficient decoupling inequality. For a strengthening of the result see [29].
Corollary 7.7
Let \(2 \le d \le n\), \(0 \le \sigma \le n-1\) with \(n-1-\sigma \) even and \(\lambda \ge 1\). Suppose \(T^{\lambda }\) is a Hörmander-type operator with reduced phase of signature \(\sigma \) and \(V \subseteq {\mathbb {R}}^n\) is a d-dimensional linear subspace. For \(2 \le p \le p_{\mathrm {dec}}(n,\sigma ,d)\) and \(\varepsilon > 0\) one has
whenever \(R^{\varepsilon } \lesssim _{\varepsilon } K^2 \le \lambda \). Here the sums are over all caps \(\tau \) for which \(\measuredangle (G^{\lambda }({\bar{x}},\tau ), V) \le K^{-1}\) where \({\bar{x}}\) is the centre of \(B_{K^2}\).
Proof
Defining the slabs \(\theta (\tau )\) with \(\varepsilon \) replaced with \(\varepsilon ':= \varepsilon /100n\) in (7.22), the functions
satisfy \(\mathrm {supp}\,{\hat{F}}_{\theta (\tau )} \subseteq \theta (\tau )\). Recalling the discussion in Sect. 4.2, the collection of slabs \(\{\theta (\tau ) : \tau \in V\}\) forms a \(K^{-(1-\varepsilon ')}\)-slab decomposition on \(\Sigma _{{\bar{x}}}^{\lambda } = \Sigma [h_{{\bar{x}}}^{\lambda }]\) along V.Footnote 14 Thus, for p in the stated range, one may apply Proposition 7.3 to deduce that
By transferring the \(B_{K^2}\)-localisation between the \(L^p\)-norm and the operator and applying the approximation from Lemma 7.6, the desired bound readily follows from the above display. \(\square \)
It remains to prove the Fourier localisation lemma.
Proof of Lemma 7.6
Taking the Fourier transform, one may write
where the kernel \(B^{\lambda ,K}_{{\bar{x}}}\) satisfies
for phase function \(\Phi ^{\lambda ,K}_{{\bar{x}}}\) and amplitude \(a^{\lambda ,K}_{{\bar{x}},\beta }\) given by
Note that \(a^{\lambda ,K}_{{\bar{x}},\beta }\) is supported in \(B^n \times B^{n-1}\) and, by the condition \(K^2 \le \lambda \), has derivatives uniformly bounded in K and \(\lambda \). On the other hand,
where the second term on the right-hand side is bounded above in magnitude by a constant depending only on the second derivatives of \(\phi \). The key claim is that
Once this is established, one may bound the first term on the right-hand side of (7.24) under appropriate hypotheses on \(\omega \) and \(\xi \) and, in particular, show that
On the other hand, \(|\partial _{x}^{\alpha } \Phi ^{\lambda ,K}_{{\bar{x}}}(x;\xi ;\omega )| \lesssim _{\alpha } 1\) for all \(\alpha \in {\mathbb {N}}^n\) with \(|\alpha | \ge 2\) and, thus, repeated integration-by-parts yields
From this it follows that
and the desired identity (7.23) follows by taking inverse Fourier transforms and using repeated integration-by-parts to obtain the desired decay in the spatial variable.
It remains to prove (7.25). Suppose \(\xi \in {\hat{{\mathbb {R}}}}^n\) and \(\omega \in \tau \) satisfy
and let \(u := \big (\Psi _{{\bar{x}}}^{\lambda } \big )^{-1}(\omega )\). Since \(\big (\Psi _{{\bar{x}}}^{\lambda }\big )^{-1}\) is a diffeomorphism with bounded Jacobian, the condition \(\omega \in \tau \) translates to \(|u - u_{\tau }| \lesssim K^{-1}\), whilst (7.26) implies that
Let \(\eta = (\eta ',\eta _n) \in {\hat{{\mathbb {R}}}}^n\) be given by
so that, in particular, \(\eta \) satisfies
The last step is to show that \(\eta \in [-1,1]^n\); indeed, once this is established it follows from the definitions that \(\xi \in \theta (\tau )\), as required. It is clear from the earlier discussion that \(\eta ' \in [-1,1]^{n-1}\) and so matters are further reduced to showing \(\eta _n \in [-1, 1]\). By Taylor’s theorem,
where the second identity follows by writing \(u - u_{\tau } = u - \xi ' + K^{-1+\varepsilon }\eta '\) and using the first inequality in (7.27). Provided K is sufficiently large, the result now follows by multiplying through by \(K^{2(1-\varepsilon )}\) and applying the second inequality in (7.27). \(\square \)
8 Proof of Theorem 1.2: from k-broad to linear estimates
Theorem 1.2 may now be deduced as a consequence of the k-broad estimates from Theorem 1.5 and the decoupling inequality from Corollary 7.7 via the method of [12]. For the exponent \(e(n,\sigma ,d)\) as defined in (7.4), the key proposition is as follows.
Proposition 8.1
Suppose that for all \(K \ge 1\) and all \(\varepsilon > 0\) any Hörmander-type operator \(T^{\lambda }\) with reduced phase of signature \(\sigma \) obeys the k-broad inequality
for some fixed \(k, A, p, C_{\varepsilon }\) and all \(R \ge 1\). If
then any Hörmander-type operator \(T^{\lambda }\) with reduced phase of signature \(\sigma \) satisfies
Here \(p_{\mathrm {dec}}(n,\sigma ,d)\) denotes the decoupling exponent defined in (7.3).
Remark 8.2
In the positive-definite case, \(\sigma = n - 1\) and
Thus, the condition (8.1) becomes
This is consistent with [20, Proposition 9.1] and [21, Proposition 11.1].Footnote 15
Theorem 1.2 is now a direct consequence of Proposition 8.1 and Theorem 1.5.
Proof of Theorem 1.2
For each k satisfying the constraint
one may apply Proposition 8.1 with \({\bar{p}}(n,\sigma , k) \le p \le p_{\mathrm {dec}}(n,\sigma ,k-1)\) to obtain a (potentially empty) range of estimates for the linear problem. It is not difficult to check that the optimal choice is given by
and one may readily verify that \({\bar{p}}(n,\sigma , k_*) \le p_{\mathrm {dec}}(n,\sigma ,k_*-1)\). Thus, the linear estimate holds for all \(p \ge {\bar{p}}(n,\sigma , k_*)\). This corresponds to the range of estimates stated in Theorem 1.2. \(\square \)
Proof of Proposition 8.1
The proof of Proposition 8.1 relies on the induction-on-scales argument originating in [12]. The details are identical to those of the proof of [21, Proposition 11.2] except that Corollary 7.7 is now used in place of [21, Theorem 11.5], and there are corresponding changes to the numerology. The reader is therefore referred to [21] (see also [20]) for the details. \(\square \)
Notes
Given a (possibly empty) list of objects L, for real numbers \(A_p, B_p \ge 0\) depending on some Lebesgue exponent p the notation \(A_p \lesssim _L B_p\) or \(B_p > rsim _L A_p\) signifies that \(A_p \le CB_p\) for some constant \(C = C_{L,n,p} \ge 0\) depending on the objects in the list, n and p. In addition, \(A_p \sim _L B_p\) is used to signify that \(A_p \lesssim _L B_p\) and \(A_p > rsim _L B_p\).
Note the statements of Corollary 1.4 and Corollary 1.5 in [21] contain an unwanted \(\lambda ^{(n-1)/2}\) factor. The authors thank Pierre Germain for pointing out this typographical error.
Or for which \(Ef_{\theta ,v}\) is “non-negligiable”.
Here \(\fint _E F := \frac{1}{|E|} \int _E F\) denotes the integral average.
The oscillatory integral estimates in [6] are stated only at the n-linear level but the argument adapts to give results at all levels of linearity: see [12, §5] for an explicit statement of the k-linear estimates. The passage from multilinear to k-broad inequalities is described in detail in [21, §6].
In fact, one may take \(h \equiv 1\).
The numbers outside the matrix represent the numbers of columns or rows in each block.
Explicitly, if \((\alpha , \beta ) \in {\mathbb {N}}_0 \times {\mathbb {N}}_0^{n-1}\) is a pair of multi-indices, then:
-
(i)
\(\partial ^{\beta }_{\omega }h(0) = \partial ^{\beta }_{\omega }\partial ^{\alpha }_x{\mathcal {E}}(x;0)=0\) whenever \(x \in X\) and \(|\beta | \le 1\);
-
(ii)
\(\partial ^{\beta }_{\omega }\partial ^{\alpha }_x{\mathcal {E}}(0;\omega )=0\) whenever \(\omega \in \Omega \) and \(|\alpha | \le 1\).
-
(i)
For \(A, B \ge 0\) the notation \(A \ll B\) or \(B \gg A\) is used to denote that A is ‘much smaller’ than B; a more precise interpretation of this is that \(A \le C_{\varepsilon }^{-1}B\) for some constant \(C_{\varepsilon } \ge 1\) which can be chosen to be large depending on n and \(\varepsilon \).
The ideal generated by the \(P_j\) is not required to be irreducible.
To establish the desired dimensional bounds, the only required property of the vectors \(N_k'\) is that they form a basis of \(V_{\mathrm {sl}}^\perp \), not that they arise from a basis for \(V^\perp \) in the above manner. However, the vectors \(N_k\) are introduced as they will be used in subsequent parts of the proof.
In particular, the set \(\Gamma _{Q}\big (B({\bar{u}},\delta ^{1/2})\big )\).
Strictly speaking, this is not quite true since the slabs have overlap depending on \(K^{\varepsilon }\). However, since the collection can be partitioned into \(O(K^{\varepsilon /10})\) finitely-overlapping subcollections, this only induces an acceptable \(K^{\varepsilon /10}\) loss in the estimates.
References
Barron, A.: Restriction estimates for hyperboloids in higher dimensions via bilinear estimates. arXiv:2002.09001
Barron, A., Erdogan, M.B., Harris, T.L.J.: Fourier decay of fractal measures on hyperboloids. arXiv:2004.06553
Beltran, D., Hickman, J., Sogge, C.D.: Sharp local smoothing estimates for Fourier integral operators. In: Proceedings of the conference “Geometric Aspects of Harmonic Analysis”, Cortona, June 25–29, 2018. Springer INdAM Series. arXiv:1812.11616
Beltran, D., Hickman, J., Sogge, C.D.: Variable coefficient Wolff-type inequalities and sharp local smoothing estimates for wave equations on manifolds. Anal. PDE 13(2), 403–433 (2020)
Bennett, J.: Aspects of Multilinear Harmonic Analysis Related to Transversality, Harmonic Analysis and Partial Differential Equations, Contemp. Math., vol. 612, pp. 1–28. Amer. Math. Soc., Providence (2014)
Bennett, J., Carbery, A., Tao, T.: On the multilinear restriction and Kakeya conjectures. Acta Math. 196(2), 261–302 (2006)
Bourgain, J.: \(L^p\)-estimates for oscillatory integrals in several variables. Geom. Funct. Anal. 1(4), 321–374 (1991)
Bourgain, J.: Moment inequalities for trigonometric polynomials with spectrum in curved hypersurfaces. Isr. J. Math. 193(1), 441–458 (2013)
Bourgain, J.: Some New Estimates on Oscillatory Integrals, Essays on Fourier analysis in Honor of Elias M. Stein (Princeton, NJ, 1991), Princeton Math. Ser., vol. 42, pp. 83–112. Princeton Univ. Press, Princeton (1995)
Bourgain, J., Demeter, C.: The proof of the \(l^2\) decoupling conjecture. Ann. Math. (2) 182(1), 351–389 (2015)
Bourgain, J., Demeter, C.: Decouplings for curves and hypersurfaces with nonzero Gaussian curvature. J. Anal. Math. 133, 279–311 (2017)
Bourgain, J., Guth, L.: Bounds on oscillatory integral operators based on multilinear estimates. Geom. Funct. Anal. 21(6), 1239–1295 (2011)
Buschenhenke, S., Müller, D., Vargas, A.: A Fourier restriction theorem for a perturbed hyperbolic paraboloid: polynomial partitioning. arXiv:2003.01619
Buschenhenke, S., Müller, D., Vargas, A.: On Fourier restriction for finite-type perturbations of the hyperbolic paraboloid. In: Proceedings of the conference “Geometric Aspects of Harmonic Analysis”, Cortona, June 25–29, 2018. Springer INdAM Series. arXiv:1902.05442v2
Buschenhenke, S., Müller, D., Vargas, A.: A Fourier restriction theorem for a two-dimensional surface of finite type. Anal. PDE 10(4), 817–891 (2017)
Buschenhenke, S., Müller, D., Vargas, A.: A Fourier restriction theorem for a perturbed hyperbolic paraboloid. Proc. Lond. Math. Soc. (3) 120(1), 124–154 (2020)
Carleson, L., Sjölin, P.: Oscillatory integrals and a multiplier problem for the disc. Stud. Math. 44, 287–299 (1972). ((errata insert), Collection of articles honoring the completion by Antoni Zygmund of 50 years of scientific activity, III)
Cho, C.-H., Lee, J.: Improved restriction estimate for hyperbolic surfaces in \({\mathbb{R}}^3\). J. Funct. Anal. 273(3), 917–945 (2017)
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., Hickman, J., Iliopoulou, M.: Sharp estimates for oscillatory integral operators via polynomial partitioning. Acta Math. 223(2), 251–376 (2019)
Guth, L., Katz, N.H.: On the Erdös distinct distances problem in the plane. Ann. Math. (2) 181(1), 155–190 (2015)
Hickman, J., Rogers, K.M.: Improved Fourier restriction estimates in higher dimensions. Camb. J. Math. 7(3), 219–282 (2019)
Hörmander, L.: Oscillatory integrals and multipliers on \(FL^{p}\). Ark. Mat. 11, 1–11 (1973)
Lee, S.: Bilinear restriction estimates for surfaces with curvatures of different signs. Trans. Am. Math. Soc. 358(8), 3511–3533 (2006)
Lee, S.: Linear and bilinear estimates for oscillatory integral operators related to restriction to hypersurfaces. J. Funct. Anal. 241(1), 56–98 (2006)
Minicozzi, W.P., II., Sogge, C.D.: Negative results for Nikodym maximal functions and related oscillatory integrals in curved space. Math. Res. Lett. 4(2–3), 221–237 (1997)
Pramanik, M., Seeger, A.: \(L^p\) regularity of averages over curves and bounds for associated maximal operators. Am. J. Math. 129(1), 61–103 (2007)
Schippa, R.: Short-time Fourier transform restriction phenomena and applications to nonlinear dispersive equations. Ph.D. thesis, Universität Bielefeld (2019)
Sogge, C.D.: On the convergence of Riesz means on compact manifolds. Ann. Math. (2) 126(2), 439–447 (1987)
Sogge, D.C.: Fourier Integrals in Classical Analysis, Cambridge Tracts in Mathematics, vol. 210, 2nd edn. Cambridge University Press, Cambridge (2017)
Stein, E.M.: Oscillatory Integrals in Fourier Analysis, Beijing Lectures in Harmonic Analysis (Beijing, 1984), Ann. of Math. Stud., vol. 112, pp. 307–355. Princeton Univ. Press, Princeton (1984)
Stein, E.M.: Some problems in harmonic analysis, Harmonic analysis in Euclidean spaces (Proc. Sympos. Pure Math., Williams Coll., Williamstown, Mass., 1978), Part 1, Proc. Sympos. Pure Math., XXXV, Part, pp. 3–20. Amer. Math. Soc., Providence (1979)
Stein, E.M.: Harmonic Analysis: Real-variable Methods, Orthogonality, and Oscillatory Integrals, Princeton Mathematical Series, vol. 43. Princeton University Press, Princeton (1993).. (With the assistance of Timothy S. Murphy, Monographs in Harmonic Analysis, III)
Stovall, B.: Scale-invariant Fourier restriction to a hyperbolic surface. Anal. PDE 12(5), 1215–1224 (2019)
Tao, T.: Some Recent Progress on the Restriction Conjecture, Fourier Analysis and Convexity. Appl. Numer. Harmon. Anal., pp. 217–243. Birkhäuser Boston, Boston (2004)
Tao, T., Vargas, A., Vega, L.: A bilinear approach to the restriction and Kakeya conjectures. J. Am. Math. Soc. 11(4), 967–1000 (1998)
Vargas, A.: Restriction theorems for a surface with negative curvature. Math. Z. 249(1), 97–111 (2005)
Wang, H.: A restriction estimate in \({\mathbb{R}}^3\) using brooms. arXiv:1603.04250
Wisewell, L.: Kakeya sets of curves. Geom. Funct. Anal. 15(6), 1319–1362 (2005)
Wongkew, R.: Volumes of tubular neighbourhoods of real algebraic varieties. Pac. J. Math. 159(1), 177–184 (1993)
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.
The authors would like to thank Alex Barron and Larry Guth for discussions on topics related to this article. This material is partly based upon work supported by the National Science Foundation under Grant No. DMS-1440140 while the authors were in residence at the Mathematical Sciences Research Institute in Berkeley, California, during the Spring 2017 semester.
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
Hickman, J., Iliopoulou, M. Sharp \(L^p\) estimates for oscillatory integral operators of arbitrary signature. Math. Z. 301, 1143–1189 (2022). https://doi.org/10.1007/s00209-021-02944-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-021-02944-y