Abstract
We prove an \(L^p\)-spectral multiplier theorem for sub-Laplacians on Heisenberg type groups under the sharp regularity condition \(s>d\left| 1/p-1/2\right| \), where d is the topological dimension of the underlying group. Our approach relies on restriction type estimates where the multiplier is additionally truncated along the spectrum of the Laplacian on the center of the group.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Statement of the Main Result
Let G be a two-step stratified Lie group, that is, a connected, simply connected, two-step nilpotent Lie group whose Lie algebra \({\mathfrak {g}}\) admits a decomposition \({\mathfrak {g}}={\mathfrak {g}}_1\oplus {\mathfrak {g}}_2\) with \([{\mathfrak {g}}_1,{\mathfrak {g}}_1]= {\mathfrak {g}}_2\) and \({\mathfrak {g}}_2\subseteq {\mathfrak {g}}\) being contained in the center of \({\mathfrak {g}}\). Let \(X_1,\dots ,X_{d_1}\) be a basis of \({\mathfrak {g}}_1\). This basis can be identified with a system of left-invariant vector fields on G via the Lie derivative. Let L be the sub-Laplacian associated with the vector fields \(X_1,\dots ,X_{d_1}\), that is, the second order, left-invariant differential operator given by
This operator is positive and self-adjoint on \(L^2(G)\), where G is endowed with a left-invariant Haar measure. Via functional calculus, one can define for every Borel measurable function \(F:{\mathbb {R}}\rightarrow {\mathbb {C}}\) the operator F(L) on \(L^2(G)\), which is a bounded operator on \(L^2(G)\) whenever the spectral multiplier F is bounded. Regarding multipliers F for which F(L) extends to a bounded operator on \(L^p(G)\), sufficient conditions can be given in terms of differentiability properties of the multiplier F, usually expressed by the scale-invariant localized Sobolev norms \(\Vert \cdot \Vert _{L^2_{s,\textrm{sloc}}}\), \(s\ge 0\), given by
Here, \(\eta :{\mathbb {R}}\rightarrow {\mathbb {C}}\) is a smooth non-zero function with compact support in \((0,\infty )\) and \(L_s^2({\mathbb {R}})\subseteq L^2({\mathbb {R}})\) denotes the Sobolev space of (fractional) order \(s\ge 0\). Due to a celebrated theorem of Christ [8] and of Mauceri and Meda [25], F(L) extends to a bounded operator on all \(L^p\)-spaces for \(1<p<\infty \) whenever
where \(Q=\dim {\mathfrak {g}}_1+2\dim {\mathfrak {g}}_2\) is the homogeneous dimension of the underlying Lie group. Moreover, F(L) is of weak type (1, 1), i.e., bounded from \(L^1(G)\) to the Lorentz space \(L^{1,\infty }(G)\). (Actually, the theorem holds true for stratified Lie groups of arbitrary step, but our focus lies on stratified Lie groups of step two.)
In the case of Heisenberg (-type) groups, Müller and Stein [29], and independently Hebisch [13] showed that the threshold \(s>Q/2\) can even be pushed down to \(s > d/2\), where d is the topological dimension of the underlying group. This result has been extended to other specific classes of two-step stratified Lie groups [18, 19, 21] (and also to other settings, cf. [1, 5, 9, 20]), but up to now, it is still open whether the threshold \(s>d/2\) is sufficient for any two-step stratified Lie group. However, Martini and Müller [22] were able to show that for all two-step stratified Lie groups and left-invariant sub-Laplacians, the sharp threshold is strictly less than Q/2, but not less than d/2.
On the other hand, instead of asking for boundedness on all \(L^p\)-spaces for \(1<p<\infty \) simultaneously, one can ask for the minimal threshold \(s_p\in [0,d/2]\) such that F(L) is bounded on \(L^p\) whenever \(\Vert F\Vert _{L^2_{s,\textrm{sloc}}} < \infty \) for some \(s>s_p\). In [24], Martini, Müller, and Nicolussi Golo showed for a large class of smooth second-order real differential operators associated with a sub-Riemannian structure on smooth d-dimensional manifolds that at least regularity of order \(s \ge d\left| 1/p-1/2\right| \) is necessary for having \(L^p\)-spectral multiplier estimates. On the opposite, one expects this threshold also to be essentially sufficient. Sufficiency results featuring the regularity condition \(s>Q\left| 1/p-1/2\right| \), where \(Q\ge d\) is the homogeneous dimension, are available in various settings [7, 16, 34], but beyond the Euclidean setting (where \(d=Q\)), to the best of my knowledge, sufficiency of the threshold \(s \ge d\left| 1/p-1/2\right| \) has so far only been proven in exceptional cases, see [6, 33].
The purpose of this paper is to extend the results for Grushin operators of [33] to sub-Laplacians on Heisenberg type groups, which is the following subclass of two-step stratified Lie groups: Suppose that \({\mathfrak {g}}\) is endowed with an inner product \(\langle \cdot ,\cdot \rangle \) for which the stratification \({\mathfrak {g}}={\mathfrak {g}}_1\oplus {\mathfrak {g}}_2\) is orthogonal. Let \({\mathfrak {g}}_2^*\) denote the dual of \({\mathfrak {g}}_2\). For any \(\mu \in {\mathfrak {g}}_2^*\), we have a skew-symmetric bilinear form \(\omega _\mu : {\mathfrak {g}}_1\times {\mathfrak {g}}_1\rightarrow {\mathbb {R}}\) given by
Then, for any \(\mu \in {\mathfrak {g}}_2^*\), there is a skew-symmetric endomorphism \(J_\mu \) on \({\mathfrak {g}}_1\) such that \(\omega _\mu (x,x') = \langle J_\mu x,x' \rangle \) for all \(x,x'\in {\mathfrak {g}}_1\). Let \(|\cdot |\) denote the norm on \({\mathfrak {g}}_2^*\) induced by the inner product \(\langle \cdot ,\cdot \rangle \). Then the group G is called a Heisenberg type group if \(J_\mu \) is orthogonal for \(|\mu |=1\), that is,
Note that this implies in particular that \({\mathfrak {g}}_2=[{\mathfrak {g}}_1,{\mathfrak {g}}_1]\) is the center of \({\mathfrak {g}}\). Given any orthonormal basis \(X_1,\dots ,X_{d_1}\) of \({\mathfrak {g}}_1\) with respect to the inner product \(\langle \cdot ,\cdot \rangle \), we consider the associated sub-Laplacian
Our main result is the following spectral multiplier estimate, together with a corresponding result for Bochner–Riesz multipliers. By the result of [24], the threshold \(s > d \left( 1/p - 1/2\right) \) is optimal up to the endpoint and cannot be decreased. Note that the required order of regularity in the second part of Theorem 1.1 is the same as in the Bochner–Riesz conjecture, see for example [36]. However, note also that Theorem 1.1 only makes a statement in the range \(1\le p \le 2(d_2+1)/(d_2+3)\), where \(d_2\) is the dimension of the center of the group.
Theorem 1.1
Let G be a Heisenberg type group of topological dimension \(d=\dim G\) and center of dimension \(d_2\), and let L be a sub-Laplacian as in (1.2). Suppose that \(1\le p \le 2(d_2+1)/(d_2+3)\). Then the following statements hold:
-
(1)
If \(p>1\) and if \(F:{\mathbb {R}}\rightarrow {\mathbb {C}}\) is a bounded Borel function such that
$$\begin{aligned} \Vert F\Vert _{L^2_{s,\textrm{sloc}}} < \infty \quad \text {for some } s > d \left( 1/p - 1/2\right) , \end{aligned}$$then the operator F(L) is bounded on \(L^p(G)\), and
$$\begin{aligned} \Vert F(L)\Vert _{L^p\rightarrow L^p} \le C_{p,s} \Vert F\Vert _{L^2_{s,\textrm{sloc}}}. \end{aligned}$$ -
(2)
For any \(\delta > d \left( 1/p - 1/2\right) - 1/2\), the Bochner–Riesz means \((1-tL)^\delta _+\), \(t\ge 0\), are uniformly bounded on \(L^p(G)\).
If \(s>d/2\) in the first part of Theorem 1.1, then the operator F(L) is of weak type (1, 1) by [13]. The condition \(1\le p \le 2(d_2+1)/(d_2+3)\) in Theorem 1.1 derives from the Stein-Tomas restriction estimate on \({\mathfrak {g}}_2\), which is used for the proof of the spectral multiplier estimates. Due to this assumption, the first part of the theorem only gives results when \(d_2\ge 2\), which means that G must be a Heisenberg type group which is not a Heisenberg group. This reflects the phenomenon that there are no good analogues of Fourier restriction estimates available in the case of Heisenberg groups, except for the trivial \(L^1\)-\(L^\infty \) estimates, which is due to the fact that the Heisenberg group admits only a one-dimensional center [27]. It remains an open question whether such p-specific spectral multiplier estimates as above also hold in the setting of Heisenberg groups.
The spectral multiplier results of Theorem 1.1 are extended in a follow-up paper [32] to the class of Métivier groups. However, the approach of [32] requires additional methods due to the fact that the matrices \(J_\mu \) from above are no longer orthogonal and the spectral decomposition into eigenspaces, which depend on \(\mu \), is more complicated.
1.2 Structure of the Proof
Building on methods of [4, 6, 33], the proof of the spectral multiplier estimates of Theorem 1.1 relies on restriction type estimates, a fundamental connection that was first discovered by Fefferman [10] and has since then been exploited by many other authors, see [7, 12, 35]. The key idea can be illustrated as follows. Suppose that we want to derive \(L^p\)-boundedness of the Bochner–Riesz means \((1-L)_+^\delta \). If \(F:{\mathbb {R}}\rightarrow {\mathbb {C}}\) is the multiplier given by
then \(F(\sqrt{L})=(1-L)_+^\delta \). We decompose F as
where \(|\tau |\sim 2^\iota \) whenever \(\tau \in \text {supp}\,\widehat{F^{(\iota )}}\) for \(\iota \ge 1\). It suffices to show
Let \({\mathcal {K}}^{(\iota )}\) be the convolution kernel associated with \(F^{(\iota )}(\sqrt{L})\), that is,
where \(*\) denotes the group convolution. By the Fourier inversion formula, we have
where \(\chi :{\mathbb {R}}\rightarrow {\mathbb {C}}\) is some smooth function which is compactly supported in \((0,\infty )\). Thanks the frequency localization of the dyadic pieces \(F^{(\iota )}\), since solutions of the wave equation associated with L possess finite propagation speed, the convolution kernel \({\mathcal {K}}^{(\iota )}\) is supported in a Euclidean ball of dimension \(B_R \times B_{R^2}\subseteq {\mathbb {R}}^{d_1}\times {\mathbb {R}}^{d_2}\) centered at the origin with radius \(R\sim 2^\iota \). Now having a restriction type estimate which is essentially of the form
then, given a function f with \(\text {supp}\,f\subseteq B_R \times B_{R^2}\) (which one can assume without loss of generality), Hölder’s inequality provides
where \(Q=d_1+2d_2\) and \(1/q=1/p-1/2\). On the other hand, one can show that \(F\in L^2_{Q/q+\varepsilon }({\mathbb {R}})\) for some \(\varepsilon >0\) if \(\delta >Q/q-1/2\), whence the last term of (1.4) can be estimated via
However, this approach does in general only provide thresholds featuring the homogeneous dimension Q in place of the topological one. Employing the approach of [33], we additionally decompose the multipliers \(F^{(\iota )}\) dyadically along the spectrum of the Laplacian
where \(U_1,\dots ,U_{d_2}\) is a basis of the second layer \({\mathfrak {g}}_2\) of the Lie algebra \({\mathfrak {g}}\). More precisely, we decompose \(F^{(\iota )}\) such that
where \((\chi _\ell )_{\ell \in {\mathbb {Z}}}\) is a dyadic decomposition of \({\mathbb {R}}\setminus \{0\}\) such that \(|\lambda |\sim 2^\ell \) if \(\lambda \in \text {supp}\,\chi _\ell \). The convolution kernel \({\mathcal {K}}^{(\iota )}_\ell \) of the operator \(F_\ell ^{(\iota )}(L,U) = F^{(\iota )}(\sqrt{L}) \chi _\ell (L/U)\) can be explicitly written down in terms of the Fourier transform and rescaled Laguerre functions \(\varphi _k^{|\mu |}\) (for their definition, see (2.9) below), namely,
where \([k]:=2k+d_1/2\). Thus, due to the factor \(\chi _\ell ([k])\) in the integral, the truncation achieved by the function \(\chi _\ell \) corresponds to taking in (1.6) only the summands with \([k]\sim 2^\ell \). Assuming in the following that \(F^{(\iota )}\) is compactly supported around 1 (which is of course in general not true in view of the Paley–Wiener theorem but can be achieved by a cut-off), we have \(|\mu |\sim [k]^{-1}\) and thus \(|\mu |\sim 2^{-\ell }\) on the support of \(F_\ell ^{(\iota )}\), whence the truncation afforded by the functions \(\chi _\ell \) is also referred to as a truncation along the spectrum of U. Pointwise estimates for Laguerre functions (cf. Eq. (1.1.44),Footnote 1 (1.3.41), and Lemma 1.5.3 of [37] or alternatively the table on page 699 of [2]) suggest that \(\varphi _k(x):=\varphi _k^1(x)\) has exponential decay for \(|x|\gtrsim [k]^{1/2}\). Hence, since \(|\mu |\sim [k]^{-1}\), the function \(\varphi _k^{|\mu |}\), which satisfies
is supported where \(|x|\lesssim |\mu |^{-1/2} [k]^{1/2}\sim 2^\ell =:R_\ell \), up to some exponentially decaying term. This means that the kernel \({\mathcal {K}}^{(\iota )}_\ell \) is essentially supported in a Euclidean ball of dimension \(B_{R_\ell }\times B_{R^2}\subseteq {\mathbb {R}}^{d_1}\times {\mathbb {R}}^{d_2}\) centered at the origin. Now, instead of (1.3), suppose we had a restriction type estimate of the form
We distinguish the cases \(0\le \ell \le \iota \) and \(\ell >\iota \). In the former case, we decompose the ball \(B_R \times B_{R^2}\) into a grid of balls \(B_m^{(\ell )}\) of dimension \(R_\ell \times R^2\) with respect to the Euclidean distance on the layers \({\mathfrak {g}}_1\) and \({\mathfrak {g}}_2\), respectively. Correspondingly, we decompose the function f supported in \(B_R \times B_{R^2}\) into a sum of functions \(f_m\) supported in balls of dimension \(R_\ell \times R^2\). Then Hölder’s inequality, applied with \(1/p=1/q+1/2\), combined with the restriction type estimate (1.7) would provide
Since G is a Heisenberg type group, we have \(d_2<d_1\). Together with \(\ell \le \iota \), we obtain
Hence we may estimate the last term of (1.8) by
The case \(\ell >\iota \) can be treated similarly by using (1.4) in conjunction with (1.7) and summing the geometric series over all \(\ell >\iota \). As a consequence, only regularity \(\delta >d/q-1/2\) of the multiplier \(F(\lambda )=(1-\lambda ^2)_+^\delta \) is necessary for the \(L^p\)-boundedness of the Bochner–Riesz mean \(F(\sqrt{L})=(1-L)_+^\delta \). Thus, at least by our heuristics, the truncation of (1.5) ultimately provides thresholds with the topological dimension instead of the homogeneous one.
It should be emphasized that the present approach benefits from the fact that the dimension \(d_2\) of the second layer \({\mathfrak {g}}_2\) of the Lie algebra \({\mathfrak {g}}\) is smaller than the dimension of the first layer. Doing the decomposition in the first layer reflects a phenomenon that has already been prominent in the setting of Grushin operators \(-\Delta _x-|x|^2\Delta _u\), \((x,u)\in {\mathbb {R}}^{d_1}\times {\mathbb {R}}^{d_2}\), which are closely related to sub-Laplacians on Heisenberg type groups. In [23], Martini and Sikora proved a Mikhlin–Hörmander type result with threshold \(s>D/2\) for Grushin operators, where \(D:=\max \{d_1+d_2,2d_2\}\), which was later improved by Martini and Müller [20] to hold for the topological dimension d in place of D. Both approaches rely on weighted Plancherel estimates for the associated integral kernels, but differ by the employed weights. While [23] uses the weight \(|x|^\gamma \) in the first layer in conjunction with a sub-elliptic estimate, [20] employs the weight \(|u|^\gamma \) in the second layer. A similar phenomenon occurred later in the articles [6] and [33], where spectral multiplier theorems with p-specific regularity bounds were proved. The approach of Chen and Ouhabaz [6] relies on weighted restriction type estimates using the weight \(|x|^\gamma \) in the first layer, while [33] employs the weighted Plancherel estimate of [20] with weight in the center to express support conditions of integral kernels. In accordance with the phenomenon of [23] and [20], the result of [6] needs \(s>D\left( 1/p-1/2\right) \) as regularity condition, while [33] only needs regularity of order \(s>d\left( 1/p-1/2\right) \). The present article relies on the same key idea as in [33], but uses instead a weighted Plancherel estimate featuring the weight \(|x|^\gamma \). However, this approach still provides the optimal threshold \(s>d\left( 1/p-1/2\right) \) in Theorem 1.1 and is in line with the phenomena described above, since \(d_2< d_1\) and thus \(D=d\), due to the fact that G is a Heisenberg type group.
1.3 Structure of the Paper
Sections 2 and 5 are preliminary sections dealing with the spectral theory and sub-Riemannian geometry of sub-Laplacians. In Sect. 3, we prove the previously mentioned truncated restriction type estimates. Section 4 is devoted to proving a weighted Plancherel estimate with weight \(|x|^\gamma \). In Sect. 6 we reduce the proof of Theorem 1.1 to spectral estimates for multipliers whose Fourier transform is supported on dyadic scales. The proof of this reduced version of Theorem 1.1 is given in Sect. 7. Section 8 is an additional section, where we show that a sub-elliptic estimate for the sub-Laplacian with the help of which one could directly transfer the approach of [6] to the setting of Heisenberg type groups is in general false.
1.4 Notation
We let \({\mathbb {N}}=\{0,1,2,\dots \}\). The space of (equivalence classes of) integrable simple functions on a two-step stratified Lie group G will be denoted by D(G), while \({\mathcal {S}}(G)\) shall denote the space of Schwartz functions on \(G\cong {\mathbb {R}}^d\). The indicator function of a subset A of some measurable space will be denoted by \({{\textbf {1}}}_A\). Given two suitable functions f, g on G, let \(f*g\) denote the group convolution given by
where \(d(x',u')\) denotes the Lebesgue measure on G. For a function \(f\in L^1({\mathbb {R}}^n)\), the Fourier transform \({\hat{f}}\) is defined by
while the inverse Fourier transform \({\check{f}}\) is given by
We write \(A\lesssim B\) if \(A\le C B\) for a constant C. If \(A\lesssim B\) and \(B\lesssim A\), we write \(A\sim B\). Moreover, we fix the following dyadic decomposition throughout this article: Let \(\chi :{\mathbb {R}}\rightarrow [0,1]\) be an even and smooth function such that \(1/2\le |\lambda |\le 2\) for all \(\lambda \in \text {supp}\,\chi \) and
where \(\chi _j\) is given by
2 Spectral Theory of Sub-Laplacians on Heisenberg Type Groups
Let G be a two-step stratified Lie group. Via exponential coordinates, we may identify G with its Lie algebra \({\mathfrak {g}}\), which is the tangent space at the identity of G. Since G is stratified of step 2, \({\mathfrak {g}}\) can be decomposed as \({\mathfrak {g}}={\mathfrak {g}}_1\oplus {\mathfrak {g}}_2\) with \([{\mathfrak {g}}_1,{\mathfrak {g}}_1]={\mathfrak {g}}_2\) and \({\mathfrak {g}}_2\subseteq {\mathfrak {g}}\) being contained in the center of \({\mathfrak {g}}\). Let \({\dot{{\mathfrak {g}}}}_2^*={\mathfrak {g}}_2^*\setminus \{0\}\). For any \(\mu \in {\mathfrak {g}}_2^*\), let \(\omega _\mu \) be the skew-symmetric bilinear form given by
Then G is called a Heisenberg type group if there is an inner product \(\langle \cdot ,\cdot \rangle \) on \({\mathfrak {g}}\) with respect to which the decomposition \({\mathfrak {g}}={\mathfrak {g}}_1\oplus {\mathfrak {g}}_2\) is orthogonal, and the skew-symmetric endomorphisms \(J_\mu \) given by \(\omega _\mu (x,x') = \langle J_\mu x,x' \rangle \) for all \(x,x'\in {\mathfrak {g}}_1\) satisfy
where \(|\cdot |\) is the norm on \({\mathfrak {g}}_2^*\) induced by the inner product \(\langle \cdot ,\cdot \rangle \).
For the rest of this section, we assume that G is a Heisenberg type group. In particular, this implies that
-
\(\dim {\mathfrak {g}}_1\) is even,
-
\(\dim {\mathfrak {g}}_2 < \dim {\mathfrak {g}}_1\) (since \({\mathfrak {g}}_2^*\rightarrow ({\mathfrak {g}}_1/{\mathbb {R}}x')^*,\mu \rightarrow \omega _\mu (\cdot ,x')\) is injective for \(x'\ne 0\)).
Let \(d_1 = \dim {\mathfrak {g}}_1\) and \(d_2 = \dim {\mathfrak {g}}_2\). We fix an orthonormal basis \(X_1,\dots ,X_{d_1}\) of \({\mathfrak {g}}_1\) and an orthonormal basis \(U_1,\dots ,U_{d_2}\) of \({\mathfrak {g}}_2\). In the following, to simplify our notation, we identify G and \({\mathfrak {g}}={\mathfrak {g}}_1\oplus {\mathfrak {g}}_2\) with \({\mathbb {R}}^{d_1}\times {\mathbb {R}}^{d_2}\) via the chosen basis. Note that the group multiplication is then given by
As usual, the tangent space \({\mathfrak {g}}\) is in turn identified with the Lie algebra of (smooth) left-invariant vector fields on G via the Lie-derivative. Given a smooth function f on G, we have
The sub-Laplacian L associated with the vector fields \(X_1,\dots ,X_{d_1}\) is the second order differential operator given by
For \(f\in L^1(G)\) and \(\mu \in {\mathfrak {g}}_2^*\), let \(f^\mu \) denote the \(\mu \)-section of the partial Fourier transform along the second layer \({\mathfrak {g}}_2\) given by
Up to some constant, this defines an isometry \({\mathcal {F}}_2:L^2({\mathfrak {g}}_1\times {\mathfrak {g}}_2)\rightarrow L^2({\mathfrak {g}}_1\times {\mathfrak {g}}_2^*)\). Given \(f\in L^2(G)\), we also write \(f^\mu =({\mathcal {F}}_2 f)(\cdot ,\mu )\) (for almost all \(\mu \in {\mathfrak {g}}_2^*\)) in the following. For fixed \(\mu \in {\mathfrak {g}}_2^*\), we have
where \(X_j^\mu \) is the differential operator on \({\mathfrak {g}}_1\) given by
Let \(L^\mu \) be the \(\mu \)-twisted Laplacian on \({\mathfrak {g}}_1\) given by
Let \(n:=d_1/2\) and \(S:=\{\mu \in {\mathfrak {g}}_2^*: |\mu |=1\}\). Note that \(J_\mu \) is orthogonal with eigenvalues \(\pm i\) for \(\mu \in S\). Hence, for any \(\mu \in {\dot{{\mathfrak {g}}}}_2^*\), there is an orthogonal matrix \(T_\mu =T_{{\bar{\mu }}}\) on \({\mathfrak {g}}_1={\mathbb {R}}^{2n}\), where \({\bar{\mu }}:=\mu /|\mu |\in S\), such that
where \(\omega (z,w)=(Jz)^\top w\) is the standard symplectic formFootnote 2 on \({\mathbb {R}}^{d_1}\) which is induced by the \(d_1\times d_1\) matrix
By compactness of S, we may assume that the map \({\dot{{\mathfrak {g}}}}_2^*\ni \mu \mapsto T_{{\bar{\mu }}}\) is measurable, see for instance [3, Thm. 1]. Let \(v^\mu _j\) be the j-th column of \(T_{{\bar{\mu }}}^{-1}\) and \(\nabla \) denote the usual gradient on \({\mathbb {R}}^{2n}\). Then, given a smooth function g on \({\mathbb {R}}^{2n}\), we obtain
Since \(\sum _{j=1}^{d_1}v^\mu _j(v^\mu _j)^\top \) is the identity matrix on \({\mathbb {R}}^{d_1}\) thanks to orthogonality, the \(\mu \)-twisted Laplacian \(L^\mu \) of (2.2) transforms into
where \(L_0^\lambda \) is the \(\lambda \)-twisted Laplacian on \({\mathbb {R}}^{2n}\) given by
where we write \(z\in {\mathbb {R}}^{2n}\) as \(z=(a_1,\dots ,a_n,b_1,\dots ,b_n)\). The \(\lambda \)-twisted Laplacian \(L_0^\lambda \) admits a complete orthonormal system of eigenfunctions, which are given by the matrix coefficients of the Schrödinger representation, see [37, Sect. 1.3]. More precisely, let \(\pi _\lambda :{\mathbb {H}}_n\rightarrow {\mathcal {U}} (L^2({\mathbb {R}}^n))\), where \({\mathcal {U}} (L^2({\mathbb {R}}^n))\) is the group of unitary operators on \(L^2({\mathbb {R}}^n)\), denote the Schrödinger representation of the Heisenberg group \({\mathbb {H}}_n={\mathbb {R}}^{2n}\times {\mathbb {R}}\) on \(L^2({\mathbb {R}}^n)\) given by
where \(a,b\in {\mathbb {R}}^n,t\in {\mathbb {R}}\) and \(\varphi \in L^2({\mathbb {R}}^n),\xi \in {\mathbb {R}}^n\). Moreover, let \(\Phi _\nu ^{\lambda }\) be the Hermite function defined by
where \(h_\ell \) shall denote the \(\ell \)-th Hermite function on \({\mathbb {R}}\) given by
Then, by Theorems 1.3.2 and 1.3.3 of [37], the matrix coefficients \(\Phi _{\nu ,\nu '}^\lambda \), \(\nu ,\nu '\in {\mathbb {N}}^n\) given by
form a complete orthonormal system of eigenfunctions of \(L_0^\lambda \), with
where \((\cdot ,\cdot )\) is the inner product on \(L^2({\mathbb {R}}^{2n})\), and \(|\nu |_1=\nu _1+\dots +\nu _n\) denotes the length of the multiindex \(\nu \in {\mathbb {N}}^n\). Hence \(L^2({\mathbb {R}}^{2n})\) decomposes into eigenspaces of \(L_0^\lambda \), where the orthogonal projection \(\Lambda _k^\lambda \) onto the eigenspace of the eigenvalue \((2k+n)\lambda \), \(k\in {\mathbb {N}}\) is given by
Via the transformation \(T_{{\bar{\mu }}}\), the spectral decomposition of the \(\mu \)-twisted Laplacian \(L^\mu \) of (2.2) can be expressed in terms of the spectral decomposition of \(L_0^\lambda \), which follows directly from (2.4) and (2.7). In the following, we put
Lemma 2.1
For \(\mu \in {\dot{{\mathfrak {g}}}}_2^*\), the operator \(L^\mu \) on \(L^2({\mathfrak {g}}_1)\) admits an orthonormal basis of eigenfunctions associated with the eigenvalues \([k]|\mu |\), \(k\in {\mathbb {N}}\). The orthogonal projection \(\Pi _k^\mu \) onto the eigenspace of the eigenvalue \([k]|\mu |\) is given by
Remark
Lemma 2.1 is essentially Proposition 4.5 of [4]. Note, however, that the definitions of \(\Lambda _k^\lambda \) and \(\Pi _k^\mu \) in [4] differ from ours by the factors \(\lambda ^n\) and \(|\mu |^n\). Moreover, [4] even states that the above result holds for left-invariant sub-Laplacians on the larger class of Métivier groups. Unfortunately, this is not the case in general, since the eigenvalues of the twisted Laplacian \(L^\mu \) are not necessarily of the form \([k]|\mu |\) if G is only assumed to be a Métivier group. An example may be found for instance in [29, Eq. (2.3), (2.4)], where the corresponding eigenvalues are of the form
See also [21, Sect. 2] for a further discussion. However, the results of [4] remain true under the additional hypothesis that G is a Heisenberg type group, and the restriction theorem of [4] can be expected to hold in greater generality.
A restriction type estimate that holds beyond Heisenberg type groups can be found in the follow-up paper [32], but unfortunately the estimate there does not seem to be sufficient to recover the result claimed in [4].
The projection \(\Lambda _k^\lambda \) can be written in a more explicit form as a twisted convolution with a Laguerre function. For \(\lambda >0\), let \(f\times _\lambda g\) be the \(\lambda \)-twisted convolution given by
where \(\omega \) is again the standard symplectic form induced by the matrix J in (2.3). Moreover, let \(\varphi _k^\lambda \) be the Laguerre function given by
where \(L_k^{n-1}\) denotes the k-th Laguerre polynomial of type \(n-1\). Then, since
by the definition (2.6) of \(\Phi _{\nu ,\nu '}^\lambda \), (1.3.41) and (1.3.42) of [37, pp. 21] imply
Hence, by (2.1.5) of [37, p. 30], \(\Lambda _k^\lambda \) may be rewritten as
Remark
Our definition of \(\varphi _k^\lambda \) differs from that of [4] by the factor \(|\lambda |^{n/2}\).
The operators \(L,-iU_1,\dots ,-iU_{d_2}\) (where \(U_1,\dots ,U_{d_2}\) is the chosen basis of the second layer \({\mathfrak {g}}_2\)) form a system of formally self-adjoint, left-invariant and pairwise commuting differential operators, whence they admit a joint functional calculus [17]. It is well-known [30, Sect. 1] that for suitable functions \(F:{\mathbb {R}}\times {\mathbb {R}}^{d_2}\rightarrow {\mathbb {C}}\), the operator \(F(L,{\textbf{U}})\) with \({\textbf{U}}:=(-iU_1,\dots ,-iU_{d_2})\) possesses a convolution kernel that can be expressed in terms of the Fourier transform and Laguerre functions \(\varphi _k^{\lambda }\). We provide a direct argument here, although alternatively, the convolution kernel can also be computed by using the Fourier inversion formula of the group Fourier transform on G and the fact that the unitary group representations and the joint functional calculus of \(L,-iU_1,\dots ,-iU_{d_2}\) are compatible, see Proposition 1.1 and Lemma 2.2 of [27].
Proposition 2.2
Let \(F:{\mathbb {R}}\times {\mathbb {R}}^{d_2}\rightarrow {\mathbb {C}}\) be a bounded Borel function. Then
for all \(f\in L^2(G)\) and almost all \(x\in {\mathfrak {g}}_1\), \(\mu \in {\mathfrak {g}}_2^*\). If F is additionally compactly supported in \({\mathbb {R}}\times ({\mathbb {R}}^{d_2}\setminus \{0\})\), then \(F(L,{\textbf{U}})\) possesses a convolution kernel \({\mathcal {K}}_{F(L,U)}\), i.e.,
which is given by
for almost all \((x,u)\in G\).
Proof
The identity (2.13) can be proved by the same approach as in the proof of Proposition 5 of [23] by writing down the corresponding functional calculi in terms of the Fourier transform and the orthogonal projections provided by the eigenfunctions of the \(\mu \)-twisted Laplacian \(L^\mu \). To prove (2.14), we observe that (2.13) and Lemma 2.1 yield
By Lemma 2.1, (2.12), and the fact that \(\varphi _k^{|\mu |}\) is radial-symmetric,
where \(\omega \) denotes again the standard symplectic form on \({\mathbb {R}}^{2n}\) associated with the matrix J from (2.3). Plugging (2.16) into (2.15), unboxing the Fourier transform \(f^\mu \), and rearranging the order of integration yields
By definition, we have
This yields (2.14). \(\square \)
3 Truncated Restriction Type Estimates
In this section, we prove the truncated restriction type estimates for the sub-Laplacian \(L=(X_1^2+\dots +X_{d_1}^2)\), given that G is a Heisenberg type group and \(X_1,\dots ,X_{d_1}\) is an orthonormal basis on the first layer \({\mathfrak {g}}_1\) of the stratification \({\mathfrak {g}}={\mathfrak {g}}_1\oplus {\mathfrak {g}}_2\). As in [4] (and similarly in [6, 33]), the idea of the proof is to first apply a restriction type estimate in the variable \(x\in {\mathfrak {g}}_1\) for the \(\mu \)-twisted Laplacian \(L^\mu \) given by (2.2) and then the Stein–Tomas restriction estimate in the central variable \(u\in {\mathfrak {g}}_2\). The restriction type estimate for the orthogonal projection \(\Pi _k^\mu \) onto the k-th eigenspace of the \(\mu \)-twisted Laplacian \(L^\mu \) is given by the following lemma, which is Lemma 4.7 of [4]. Let again \([k]=2k+d_1/2\) and \(n=d_1/2\).
Lemma 3.1
If \(1\le p \le 2(d_1 +1)/(d_1+3)\), then
Proof
By Theorem 1 of [15], we have \(\Vert \Lambda _k^1\Vert _{2\rightarrow p'} \lesssim [k]^{n ( \frac{1}{2} - \frac{1}{p'} )- \frac{1}{2}}\), so by duality
In view of (2.10), rescaling with \(\lambda ^{1/2}\) yields
Hence, together with (2.8) and a substitution, we obtain (3.1). \(\square \)
Remark
The condition \(1\le p\le 2(d_2+1)/(d_2+3)\) of Theorem 1.1 (and Theorem 3.2 below) implies in particular \(1\le p\le 2(d_1+1)/(d_1+3)\) since \(d_1> d_2\) due to the fact that G is a Heisenberg type group.
Choosing a basis \(U_1,\dots ,U_{d_2}\) of the second layer \({\mathfrak {g}}_2\), we define the operator
Now we state the truncated restriction type estimates for the sub-Laplacian L.
Theorem 3.2
(Truncated restriction type estimates) Suppose that \(1\le p\le 2(d_2+1)/(d_2+3)\). Let \(F:{\mathbb {R}}\rightarrow {\mathbb {C}}\) be a bounded Borel function supported in [1/8, 8], and, for \(\ell \in {\mathbb {N}}\), let \(F_\ell : {\mathbb {R}}\times {\mathbb {R}}\rightarrow {\mathbb {C}}\) be given by
and \(F_\ell (\lambda ,\rho )=0\) else, where \((\chi _\ell )_{\ell \in {\mathbb {Z}}}\) is the dyadic decomposition of (1.9). Then
Remark
Note that \(d_1\) is even since G is a Heisenberg type group. Thus, \(\chi _\ell ([k])=0\) for all \(k\in {\mathbb {N}}\) whenever \(\ell <0\). Hence (2.15) yields
Proof
Let \(f\in {\mathcal {S}}(G)\). Given \(\mu \in {\mathfrak {g}}_2^*\) and \(k\in {\mathbb {N}}\), we write \(g_k^\mu = F( \sqrt{[k]|\mu |}) f^\mu \), where \(f^\mu \) denotes again the partial Fourier transform in \(\mu \). Note that \([k]\sim 2^\ell \) for \(([k]|\mu |,|\mu |)\in \text {supp}\,F_\ell \). Using Plancherel’s theorem, (2.13), and orthogonality in \(L^2({\mathfrak {g}}_1)\), we obtain
Now Lemma 3.1 yields
In the last line we used the fact that \([k] |\mu |\sim 1\) whenever \([k] |\mu |\in \text {supp}\,F\). Moreover, since \(2/p\ge 1\), Minkowski’s integral inequality yields
Let \(f_{x}:=f(x,\cdot )\) and \(\,\,\,{\widehat{\cdot }}\,\,\,\) denote the Fourier transform on \({\mathfrak {g}}_2\). Using polar coordinates and applying the Stein–Tomas restriction estimate [38] yields
In combination with (3.3), (3.4) and (3.5), we obtain
This proves (3.2). \(\square \)
4 A Weighted Plancherel Estimate
In this section, we prove a weighted Plancherel estimate for convolution kernels associated with the sub-Laplacian L on the Heisenberg type group G. Usually, those estimates are the crux of the matter when proving Mikhlin–Hörmander results featuring the threshold \(s>d/2\), where d is the topological dimension of the underlying space, see for example [18, Theorem 4.6] or [19, Proposition 3]. However, in the present setting, the weighted Plancherel estimate (4.1) will serve a different purpose, namely turning support conditions in conjunction with convolution kernels into some sort of rapid decay.
Proposition 4.1
Let F and \(F_\ell \) be defined as in Theorem 3.2, and \({\mathcal {K}}_\ell \) be the convolution kernel of the operator \(F_\ell (L,U)\). Then, for all \(\alpha \ge 0\),
Proof
Let \(\alpha \ge 0\). Using (2.14) in combination with Plancherel’s theorem, we obtain
Given \(\mu \in {\dot{{\mathfrak {g}}}}_2^*\), we consider the rescaled Hermite operator \(H^\mu =- \Delta _z + \tfrac{1}{4} |z|^2 |\mu |^2\) acting on \(L^2({\mathbb {R}}^{2n})\). By Proposition 3.3 of [6],
On the other hand, by Equation (1.3.25) of [37], the functions \(\Phi ^{|\mu |}_{\nu ,\nu '}\) defined by (2.6) are also eigenfunctions of \(H^\mu \), with
By the definition (2.11) of \(\varphi _k^{|\mu |}\), this implies in particular
(Alternatively, one could use (2.7) by exploiting that \(\varphi _k^{|\mu |}\) is radial-symmetric by (2.9) and that the operators \(H^\mu \) and \(L_0^{|\mu |}\) coincide on such functions.) Hence, together with (4.3), the right-hand side of (4.2) can be dominated by a constant times
Using \([k]|\mu |\sim 1\) for \(\sqrt{[k]|\mu |}\in \text {supp}\,F\), \(|F_\ell (\lambda ,\rho )|\le |F(\lambda )|\) and orthogonality of the functions \(\varphi _k^{|\mu |}\), (4.4) can be estimated by a constant times
Since the functions \(\Phi _{\nu ,\nu '}^{|\mu |}\) form an orthonormal basis of \(L^2({\mathbb {R}}^{2n})\),
Hence \(\Vert \varphi _k^{|\mu |}\Vert _2^2\sim [k]^{-1}\) for \([k]|\mu |\in \text {supp}\,F\). Thus (4.5) is comparable to
Using polar coordinates and a substitution in the integral over \({\dot{{\mathfrak {g}}}}_2^*\) shows that (4.6) in turn is comparable to
This proves (4.1). \(\square \)
5 The Sub-Riemannian Geometry of the Sub-Laplacian
In this section we summarize the main properties of the sub-Riemannian geometry associated with left-invariant sub-Laplacians on two-step stratified groups. Let G be a two-step stratified Lie group and \({\mathfrak {g}}={\mathfrak {g}}_1\oplus {\mathfrak {g}}_2\) be a stratification of its Lie algebra. Let \(X_1,\dots ,X_{d_1}\) be a basis of \({\mathfrak {g}}_1\) and \(L=-(X_1^2+\cdots +X_{d_1}^2)\) be the associated sub-Laplacian. We again identify \(G\cong {\mathfrak {g}}\) via the exponential map and \({\mathfrak {g}}\cong {\mathbb {R}}^d\) by means of the basis \(X_1,\dots ,X_{d_1}\) of \({\mathfrak {g}}_1\) and a basis \(U_1,\dots ,U_{d_2}\) of \({\mathfrak {g}}_2\).
Let \(d_{\textrm{CC}}\) denote the Carnot–Carathéodory distance associated with the vector fields \(X_1,\dots ,X_{d_1}\). By definition, this means that for \(g,h\in G\), the distance \(d_{\textrm{CC}}(g,h)\) is given by the infimum over all lengths of horizontal curves \(\gamma :[0,1]\rightarrow G\) joining g with h, see for instance [39, Sect. III.4]. Since the vector fields \(X_1,\dots ,X_{d_1}\) are left-invariant and \([{\mathfrak {g}}_1,{\mathfrak {g}}_1]={\mathfrak {g}}_2\), they satisfy Hörmander’s condition [14], that is, the vector fields \(X_1,\dots ,X_{d_1}\) along with their iterated commutators
span the tangent space \({\mathfrak {g}}=T_e G\) of G at the identity \(e\in G\), and hence at every point \(g\in G\). (In our two-step setting, the vector fields \(X_1,\dots ,X_{d_1}\) together with their commutators \([X_i,X_j]\) already span the tangent space.) Hence, due to the Chow–Rashevskii theorem [39, Proposition III.4.1], \(d_{\textrm{CC}}\) is indeed a metric on M, which induces the (Euclidean) topology of \(G={\mathbb {R}}^d\).
Since \(X_1,\dots ,X_{d_1}\) are left-invariant vector fields, \(d_{\textrm{CC}}\) is left-invariant, that is,
On the other hand,
defines a homogeneous norm in the sense of Folland and Stein [11] with respect to the dilations \(\delta _R\) given by
Hence \(G\times G\ni (g,h) \mapsto \Vert g^{-1}h\Vert \) is a left-invariant (quasi-)distance on G. Since any two homogeneous norms on a homogeneous Lie group are equivalent [11, Lemma 1.4], we have
Let \(B_R^{d_{\textrm{CC}}}(g)\) denote the ball of radius \(R\ge 0\) centered at \(g\in G\) with respect to \(d_{\textrm{CC}}\). Then (5.1) and (5.2) yield
where we identify 0 with the identity element \(e\in G\) via \(G\cong {\mathfrak {g}}\), and \(Q=d_1+2d_2\) is the homogeneous dimension. Note that (5.4) yields in particular that the metric space \((G,d_{\textrm{CC}})\) equipped with the the Lebesgue measure (which is a bi-invariant Haar measure on G) is a space of homogeneous type with homogeneous dimension Q.
Furthermore, the sub-Laplacian L possesses the finite propagation speed property with respect to the Carnot-Carathéodory distance \(d_{\textrm{CC}}\), which will be of fundamental importance in the proof of Theorem 1.1.
Lemma 5.1
If \(f,g\in L^2(G)\) are supported in open subsets \(U,V\subseteq G\), then
6 Reduction of Theorem 1.1 to Dyadic Spectral Multipliers
To prove Theorem 1.1, we use the following general spectral multiplier result of [7], which allows us to reduce the spectral multiplier estimates of Theorem 1.1 to estimates for spectral multipliers whose Fourier transforms are supported on dyadic scales. Very similar arguments are used in [6, Sect. 5] and [33, Sect. 4], but we give a detailed discussion for the convenience of the reader. Given a suitable multiplier \(F:{\mathbb {R}}\rightarrow {\mathbb {C}}\), we use the notation
where \({\widehat{\cdot }}\) and \(\cdot ^\vee \) denote the Fourier transform and its inverse on \({\mathbb {R}}\), respectively, and \((\chi _\iota )_{\iota \in {\mathbb {Z}}}\) is the dyadic decomposition from (1.9).
Proposition 6.1
[7, Proposition I.22] Let \((X,\rho ,\mu )\) be a metric measure space of homogeneous type and \(Q\ge 0\) such that
where \(B_s(x)\) denotes the ball of radius \(s>0\) centered at \(x\in X\). Let \(1\le p_0< p <2\). Suppose that L is a positive self-adjoint operator on \(L^2(X)\) such that the following statements are satisfied:
-
(i)
L possesses the finite propagation speed property, that is,
$$\begin{aligned} (\cos (t\sqrt{L})f,g)_{L^2(X)} = 0\quad \text {for all } |t|< \rho (U,V) \end{aligned}$$whenever \(f,g\in L^2(X)\) are supported in open subsets \(U,V\subseteq X\), where
$$\begin{aligned} \rho (U,V):= \inf \{\rho (u,v):u\in U,v\in V \}. \end{aligned}$$ -
(ii)
L satisfies the Stein–Tomas restriction type condition \((\textrm{ST}^\infty _{p_0, 2})\) of [7], that is, for any \(R>0\) and all bounded Borel functions \(F:{\mathbb {R}}\rightarrow {\mathbb {C}}\) supported in [0, R],
$$\begin{aligned} \Vert F(\sqrt{L})({\textbf{1}}_{B_r(x)}f) \Vert _2 \le C \mu (B_r(x))^{{\frac{1}{2}}-{\frac{1}{p_0}}} ( Rr )^{Q({\frac{1}{p_0}}-{\frac{1}{2}})}\Vert F\Vert _\infty \Vert f\Vert _{p_0} \end{aligned}$$(6.2)for all \(x\in X\), all \(r\ge 1/R\), and all \(f\in L^{p_0}(X)\).
-
(iii)
There is some \(\beta > Q/2\) such that
$$\begin{aligned} \sup _{t>0}\Vert F(t\sqrt{L})\Vert _{p\rightarrow p}\le C\Vert F\Vert _{L^\infty _\beta } \end{aligned}$$for all even bounded Borel functions \(F:{\mathbb {R}}\rightarrow {\mathbb {C}}\) with \(\text {supp}\,F \subseteq [-1, 1]\).
Suppose that \(F:{\mathbb {R}}\rightarrow {\mathbb {C}}\) is an even bounded Borel function and that there is a bounded sequence \((\alpha (\iota ))_{\iota \in {\mathbb {Z}}}\) with \(\sum _{\iota \ge 0}(\iota +1) \alpha (\iota )<\infty \) such that
Then the operator \(F(\sqrt{L})\) is of weak-type (p, p).
Remark
To be precise, in [7], Proposition I.22 requires the condition \((\mathrm E_{p_0,2})\) in place of the Stein–Tomas type restriction condition \((\textrm{ST}^\infty _{p_0, 2})\). However, both conditions are equivalent by Proposition I.3 of the same paper. Moreover, the notation of our decomposition indexed by i and j differs slightly from that of [7] since \((F\eta _i)^{(j)}=(F\chi _{-i})^{(j)}\), where \((\eta _i)_{i\in {\mathbb {Z}}}\) is the dyadic decomposition from [7, Eq. (I.3.3)]. The somewhat artificial requirement that F shall be an even function is linked to the finite propagation speed property. This will become apparent at the beginning of the proof of Proposition 7.1.
We apply Proposition 6.1 in the setting where \(X=G\) is a two-step stratified Lie group and
is the sub-Laplacian associated with a basis \(X_1,\dots ,X_{d_1}\) of the first layer of the stratification \({\mathfrak {g}}={\mathfrak {g}}_1\oplus {\mathfrak {g}}_2\) of G. The measure \(\mu \) in Proposition 6.1 will be the Lebesgue measure on G.
For our purposes of proving Theorem 1.1, we only need Corollary 6.2 for the case where L is a sub-Laplacian on a Heisenberg type group, but the more general version for arbitrary two-step stratified Lie groups is readily available. Note, however, that Proposition 6.1 requires the restriction type condition \((\textrm{ST}^\infty _{p_0, 2})\) in the setting of arbitrary two-step stratified Lie groups. However, instead of using the restriction type estimates of Theorem 3.2, we use a Plancherel estimate for the associated convolution kernel, which in turn implies a restriction type estimate from \(L^1\) to \(L^2\).
Corollary 6.2
Let G be a two-step stratified Lie group and L be a sub-Laplacian as in (6.4). Let \(p_{*}\in [1,2]\) and \(s>1/2\). Suppose that for all \(1\le p\le p_{*}\) there exists some \(\varepsilon >0\) such that
and all even bounded Borel functions \(F\in L^2_s({\mathbb {R}})\) supported in \([-2,-1/2]\cup [1/2,2]\). Then the statements (1) and (2) of Theorem 1.1 hold for all \(1\le p\le p_{*}\).
Remark
The assumption \(1\le p\le 2(d_2+1)/(d_2+3)\) of Theorem 1.1 automatically implies that \(s>1/2\) if \(s>d\left( 1/p-1/2\right) \) since
However, in Corollary 6.2, we only require \(1\le p\le p_{*}\) for some \(p_{*}\in [1,2]\), which is why we additionally assume \(s>1/2\) to make sure that \(\Vert F|_{(0,\infty )}\Vert _\infty \lesssim \Vert F\Vert _{L^2_{s,\textrm{sloc}}}\).
Proof
The result for Bochner–Riesz multipliers in the second part of Theorem 1.1 is a direct consequence of (6.5) without Proposition 6.1 involved, which can be seen in the same way as in the proof of Theorem 1.2 in [33, Sect. 4].
For the first part of Theorem 1.1, we observe that
Thus, we may pass from F(L) to the operator \(F(\sqrt{L})\). We use Proposition 6.1 for \(p_0=1\). Proposition 6.1 only shows that the operator \(F(\sqrt{L})\) is of weak type (p, p), but the boundedness on \(L^p\) can be easily recovered as follows: First, note that the case \(p=1\) is excluded in the first part of Theorem 1.1. Thus, suppose that the interval \((1,p_*]\) is non-empty and let \(1< p \le p_*\). Suppose that \(F:{\mathbb {R}}\rightarrow {\mathbb {C}}\) is a bounded Borel function satisfying
We can choose \(1<{{\tilde{p}}}<p\) such that \(s>d\left( 1/{{\tilde{p}}} - 1/ 2\right) \). Applying Proposition 6.1 implies that \(F(\sqrt{L})\) is of weak type \(({{\tilde{p}}},{{\tilde{p}}})\). On the other hand, the assumption \(s>1/2\) in Corollary 6.2 ensures that
Hence, via interpolation with the \(L^2\)-\(L^2\) bound provided by the spectral theorem, we may conclude that \(F(\sqrt{L})\) is bounded on \(L^p\). The claimed estimate
in the first part of Theorem 1.1 follows by the closed graph theorem applied to the map \(F\mapsto F(\sqrt{L})\). Alternatively, this estimate can also be derived by inspecting the arguments of [7] (see also [31, Sect. 7]).
Now we verify the assumptions of Proposition 6.1. Let \(p_0=1\). The finite propagation speed property in (i) holds due to Lemma 5.1, and the estimate in (iii) is automatically fulfilled by Theorem I.5 of [7]. Since \(p_0=1\), the restriction type condition \((\textrm{ST}^\infty _{p_0, 2})\) is a consequence of a Plancherel estimate for the associated convolution kernel, see also [7, Sect. III.5]. More precisely, given a bounded Borel measurable function \(F:{\mathbb {R}}\rightarrow {\mathbb {C}}\), since L is a left-invariant operator, there is a convolution kernel \({\mathcal {K}}_{F(\sqrt{L})}\) such that \(F(\sqrt{L}) f = f * {\mathcal {K}}_{F(\sqrt{L})}\) for all \(f \in {\mathcal {S}}({\mathbb {R}})\). By [8, Proposition 2], there is some constant \(C>0\) such that we have the Plancherel estimate
where Q is the homogeneous dimension of G. If \(R>0\) and \(F:{\mathbb {R}}\rightarrow {\mathbb {C}}\) is a bounded Borel function supported in [0, R], then
Thus, we obtain
By (5.4), we have \(|B_r^{d_{\textrm{CC}}}(x,u)| = r^{Q} |B_1^{d_{\textrm{CC}}}(0)|\). Hence, for \(p_0=1\), the factor on the right-hand side of (6.2) is given by
which verifies the restriction type condition \((\textrm{ST}^\infty _{p_0, 2})\). Thus the assumptions of Proposition 6.1 are satisfied.
Now suppose that the dyadic estimate (6.5) of Corollary 6.2 holds. Let \(F:{\mathbb {R}}\rightarrow {\mathbb {C}}\) be a bounded Borel function such that
To show that \(F(\sqrt{L})\) is of weak type (p, p), we verify the required estimate (6.3) of Proposition 6.1. Note that we may assume without loss of generality that F is an even function since L is a positive operator. For \(i\in {\mathbb {Z}}\), we let \(F_i:= F \chi _i\), where \((\chi _i)_{i\in {\mathbb {Z}}}\) is the dyadic decomposition from (1.9). Given \(i,j\in {\mathbb {Z}}\), let \(\iota :=i+j\) and
where \(\chi \) is the bump function from (1.9). Then G is an even function, and
Let again \(\delta _R\) be the dilation given by \(\delta _R(x,u)=(Rx,R^2u)\). Then
This implies
Hence, for \(\iota \ge 0\), (6.5) yields
The case \(\iota <0\) can be treated by the Mikhlin–Hörmander type result of [8, 25]. Suppose \(\iota <0\). Let \(\psi :=\sum _{i\le 2} \chi _i\). Then \(\psi \) is supported in \([-8,8]\). We decompose \(G^{(\iota )}\) as \(G^{(\iota )}=G^{(\iota )}\psi + G^{(\iota )}(1-\psi )\). Since \(G^{(\iota )}=G*{\check{\chi }}_\iota \), \(\text {supp}\,G\subseteq [-2,2]\) and \({\check{\chi }}\in {\mathcal {S}}({\mathbb {R}})\), we have
Let Q denote again the homogeneous dimension of G. Choosing \(N:=0\) in (6.6) and using \(2^{\iota (\alpha +1)}\le 1\), we obtain
On the other hand, choosing \(N:=\alpha +1\) in (6.6) yields in particular
Since all derivatives of \(1-\psi \) are Schwartz functions, Leibniz rule yields
Hence, applying the Mikhlin–Hörmander type result of [8] and [25] yields
This establishes the required condition (6.3) of Proposition 6.1. Thus we can apply Proposition 6.1 and we get that the operator \(F(\sqrt{L})\) is of weak type (p, p). \(\square \)
7 Proof of the Reduction of Theorem 1.1
Now suppose that \(L=(X_1^2+\dots +X_{d_1}^2)\) is a sub-Laplacian on a Heisenberg type group G, where \(X_1,\dots ,X_{d_1}\) is an orthonormal basis of the first layer \({\mathfrak {g}}_1\) of the stratification \({\mathfrak {g}}={\mathfrak {g}}_1\oplus {\mathfrak {g}}_2\). Let again \(d_{\textrm{CC}}\) denote the Carnot–Carathéodory distance associated with the vector fields \(X_1,\dots ,X_{d_1}\), let \(d=d_1+d_2\) be the topological dimension, and \(Q=d_1+2d_2\) be the homogeneous dimension of G. By Corollary 6.2, the proof of Theorem 1.1 can be reduced to proving the following statement. Given a suitable multiplier \(F:{\mathbb {R}}\rightarrow {\mathbb {C}}\), we write again
where \((\chi _\iota )_{\iota \in {\mathbb {Z}}}\) is the dyadic decomposition of (1.9).
Proposition 7.1
Suppose that \(1\le p\le 2(d_2+1)/(d_2+3)\). If \(s>d\left( 1/p - 1/2\right) \), then there exists some \(\varepsilon >0\) such that
and any even bounded Borel function \(F\in L^2_s\) supported in \([-2,-1/2]\cup [1/2,2]\).
Proof
Let \(\iota \in {\mathbb {N}}\) and \(R:=2^\iota \). We proceed in several steps.
(1) Reduction to compactly supported functions. Let \(f\in D(G)\) be an integrable simple function on G. We first show that we may restrict to the case where f is supported in \(B_R^{d_{\textrm{CC}}}(0)\). Since the metric space \((G,{d_{\textrm{CC}}})\) endowed with the Lebesgue measure is a space of homogeneous type and separable, we may choose a decomposition into disjoint sets \(B_j \subseteq B_R^{d_{\textrm{CC}}}(x^{(j)},u^{(j)})\), \(j\in {\mathbb {N}}\), \((x^{(j)},u^{(j)})\in G\) such that for every \(\lambda \ge 1\), the number of overlapping dilated balls \(B_{\lambda R}^{d_{\textrm{CC}}}(x^{(j)},u^{(j)})\) is bounded by a constant \(C(\lambda )\sim \lambda ^Q\), which is independent of \(\iota \). We decompose f as
Since F is even, so is \({\hat{F}}\). As \(\chi _\iota \) is even as well, the Fourier inversion formula provides
Since L satisfies the finite propagation speed property, \(F^{(\iota )} ( \sqrt{L})f_j\) is supported in \(B_{3R}^{d_{\textrm{CC}}}(x^{(j)},u^{(j)})\) by the formula above. Together with the bounded overlap of these balls, we obtain
Altogether, since L is left-invariant, it suffices to show
whenever our initial function \(f\in D(G)\) is supported in \(B_R^{d_{\textrm{CC}}}(0)\).
(2) Localizing the multiplier. Next we show that we may replace the multiplier \(F^{(\iota )}\) by \(F^{(\iota )}\psi \), where \(\psi \) is a smooth cut-off function which is compactly supported away from the origin. Using the dyadic decomposition \((\chi _\iota )_{\iota \in {\mathbb {Z}}}\) from (1.9), we put
Then \(1/8\le |\lambda | \le 8\) whenever \(\lambda \in \text {supp}\,\psi \), and \(|\lambda | \notin (1/4,4)\) if \(\lambda \in \text {supp}\,(1-\psi )\). We decompose \(F^{(\iota )}\) as
The second part of this decomposition can be treated by the Mikhlin–Hörmander type result of [8] and [25]. Note that \(F^{(\iota )}=F*{\check{\chi }}_\iota \), and \({\check{\chi }}\in {\mathcal {S}}({\mathbb {R}})\). Thus, given \(\alpha \in {\mathbb {N}}\) and \(N\in {\mathbb {N}}\), we have
Since F is supported in \([-2,-1/2]\cup [1/2,2]\), choosing \(N:=\alpha +2\) in (7.2) gives
This implies
Hence, the Mikhlin–Hörmander type result of [8, 25] yields
Thus, instead of (7.1), we are left proving
for all \(f\in D(G)\) that are supported in \(B_R^{d_{\textrm{CC}}}(0)\).
(3) Truncation along the spectrum of U. Next we decompose the operator \((F^{(\iota )}\psi )(\sqrt{L})\) by a dyadic decomposition of U. For \(\ell \in {\mathbb {N}}\), let the function \(F_\ell ^{(\iota )}: {\mathbb {R}}\times {\mathbb {R}}\rightarrow {\mathbb {C}}\) be given by
and \(F_\ell ^{(\iota )}(\lambda ,\rho )=0\) else. We decompose the function on the left-hand side of (7.3) as
The sum over \(\ell >\iota \) can be treated directly by the restriction type estimate of Theorem 3.2. Recall that \(|B_R^{d_{\textrm{CC}}}(0)| \sim R^Q\) by (5.4). Hence, Hölder’s inequality with \(1/q=1/p-1/2\) and the restriction type estimate (3.2) imply
if we choose \(0<\varepsilon <s-d/q\). (Note that \(\Vert F^{(\iota )}\Vert _2\sim 2^{-\iota s}\Vert F^{(\iota )}\Vert _{L^2_s}\) due to the localization in frequency.) Thus, we are done once we have also treated the sum over \(\ell \in \{ 0,\dots ,\iota \}\), that is, it remains to show
(4) The support of the convolution kernel. Let \({\mathcal {K}}^{(\iota )}_\ell \) be the convolution kernel of the operator \(F^{(\iota )}_\ell (L,U)\). By (5.3), there is a constant \(C>0\) such that
Hence the function f is supported in a Euclidean ball of dimension \(R\times R^2\). In view of the finite propagation speed property which we exploited in part (1) of the proof, we may think of \({\mathcal {K}}^{(\iota )}_\ell \) being supported in a ball of dimension \(R\times R^2\) as well (which is of course not quite true since we replaced the multiplier \(F^{(\iota )}\) by \(F^{(\iota )}\psi \)). In the following, we show that the convolution kernel \({\mathcal {K}}^{(\iota )}_\ell \) of the truncated multiplier is essentially supported in an even smaller ball of dimension \(R_\ell R^\gamma \times R^2\), where \(R_\ell :=2^\ell \) and \(\gamma >0\) will be a number chosen sufficiently small, depending only on the parameters \(s,p,d_1,d_2\). For convenience, we introduce the following notation: We will write
whenever \(A\le R^{C(p,d_1,d_2)\gamma } B\) for some constant \(C(p,d_1,d_2)>0\) depending only on the parameters \(p,d_1,d_2\).
Given \(\ell \in \{0,\dots ,\iota \}\), we split the Euclidean ball \(B_{CR}(0) \times B_{CR^2}(0)\) into a grid with respect to the first layer, which gives a decomposition of \(\text {supp}\,f\subseteq B_R^{d_{\textrm{CC}}}(0)\) such that
where \(B_{m}^{(\ell )} \subseteq B_{CR_\ell }(x_{m}^{(\ell )}) \times B_{CR^2}(0)\) are disjoint subsets, and \(|x_{m}^{(\ell )} - x_{m'}^{(\ell )}| > R_\ell /2\) for \(m\ne m'\). Then the number \(M_\ell \) of balls in this decomposition is bounded by
Moreover, given \(\gamma >0\), the number of overlapping balls
can be bounded by a constant \(N_\gamma \lesssim _\iota 1\) (which is independent of \(\ell \)). We decompose the function f as
In the following, we show that the function
is essentially supported in the ball \({{\tilde{B}}}_{m}^{(\ell )}\). We decompose the function \(g_{\le \iota }\) of (7.4) as
To show that the second summand is negligible (in the sense of (7.13)), we interpolate between \(L^1\) and \(L^2\) via the Riesz–Thorin interpolation theorem. For the \(L^1\)-\(L^1\) estimate, note that \((x,u)\in ({\mathfrak {g}}{\setminus }{{\tilde{B}}}_{m}^{(\ell )})\cap B_{3R}^{d_{\textrm{CC}}}(0)\) and \((x',u')\in B_{m}^{(\ell )}\) imply
Let \({\mathcal {K}}_\ell ^{(\iota )}\) be the convolution kernel associated with \(F_\ell ^{(\iota )}(L,U)\). Then
and we obtain
where
and
Given \(N\in {\mathbb {N}}\), the Cauchy–Schwarz inequality yields
In the last line we used again that \(|B_{3R}^{d_{\textrm{CC}}}(0)|\sim R^{ Q}\) by (5.4). By Proposition 4.1, the second factor of (7.9) can be estimated by
Hence
Altogether, with (7.8), we have
For the \(L^2\)-\(L^2\) estimate, we use the trivial estimate
Since \(\Vert \chi _\ell \Vert _\infty \le 1\), each summand of (7.11) can be estimated by
Using Hölder’s inequality on the right-hand side of (7.11) yields
Together with (7.6) and the Sobolev embedding
we obtain
Applying the Riesz–Thorin interpolation theorem with (7.10) and (7.12) and choosing \(N=N(\gamma )\in {\mathbb {N}}\) sufficiently large in (7.10) yields
In view of the decomposition (7.7), for showing (7.5), it thus remains to prove
where
On a formal level, this means that we may indeed assume that the convolution kernel \({\mathcal {K}}_\ell ^{(\iota )}\) is supported in a ball of dimension \(R_\ell R^\gamma \times R^2\).
(5) The main contribution. Hölder’s inequality and the bounded overlapping property of the balls \({{\tilde{B}}}_{m}^{(\ell )}\) imply
Using Hölder’s inequality together with the restriction type estimate (3.2) yields
Plugging this estimate into the right-hand side of (7.15) and using the fact that the functions \(f|_{B_{m}^{(\ell )}}\) have disjoint support, we obtain
Choosing \(\gamma >0\) small enough, we may conclude that
for some \(0<\varepsilon <s-d/q\). Recall that \(R_\ell =2^\ell \) and \(R=2^\iota \). Since \(d_1> d_2\), we have
Altogether, we obtain
for some \({\tilde{\varepsilon }}>0\). This is (7.14), so the proof is concluded. \(\square \)
8 Remarks on Weighted Restriction Type Estimates for Sub-Laplacians
In [6], Chen and Ouhabaz proved a spectral multiplier theorem for the Grushin operator \({\mathcal {G}}=-\Delta _x-|x|^2\Delta _u\) acting on \({\mathbb {R}}^{d_1}\times {\mathbb {R}}^{d_2}\) by using a weighted restriction type estimate of the form
where \(\alpha >0\) and \(F:{\mathbb {R}}\rightarrow {\mathbb {C}}\) is a bounded Borel function supported in [1/4, 1]. Let L denote again a sub-Laplacian on a Heisenberg type group G with Lie algebra \({\mathfrak {g}}={\mathfrak {g}}_1\oplus {\mathfrak {g}}_2\) with layers of dimension \(d_1\) and \(d_2\), respectively. Then
for any \({\mathfrak {g}}_1\)-radial function on the Heisenberg type group G, i.e., a function on G which only depends on |x| (with \(x\in {\mathfrak {g}}_1\)) and \(u\in {\mathfrak {g}}_2\) (where we identify again G with its Lie algebra \({\mathfrak {g}}\), which is in turn identified with \({\mathbb {R}}^{d_1}\times {\mathbb {R}}^{d_2}\)). In view of this close relationship, one might hope that the approach of Chen and Ouhabaz can also be applied in the setting of Heisenberg type groups. However, a crucial ingredient of their approach is the sub-elliptic estimate
where \(H^\mu =- \Delta _x + \tfrac{1}{4} |x|^2 |\mu |^2\) denotes again the rescaled Hermite operator on \({\mathbb {R}}^{2n}\). Unfortunately, the analogous estimate of (8.1) in our setting, where \(H^\mu \) is replaced by the \(\mu \)-twisted Laplacian \(L^\mu \) of (2.2), fails. We will prove in the following that the estimate (8.1) where \(H^\mu \) is replaced by \(L^\mu \) is false for \(\alpha =1\). (The approach of [6] requires to choose \(0<\alpha <d_2(1/p-1/2)\) as large as possible, so large values of \(\alpha \) are the crucial ones.)
Via (2.4) and a linear substitution, the estimate
is equivalent to
where \(L_0^{|\mu |}\) is the twisted Laplacian of (2.5). Rescaling with \(|\mu |\), we may restrict to the case \(|\mu |=1\). Let \(A:=L_0^1\). Then, by (2.5),
where, when writing \(z=(a_1,\dots ,a_n,b_1,\dots ,b_n)\),
Now, suppose that
Recall that the matrix coefficients \(\Phi _{\nu ,\nu '}\) of the Schrödinger representation \(\pi _1(\cdot ,0)\) given by (2.6) are eigenfunctions of A with
On the other hand, the functions \(\Phi _{\nu ,\nu '}\) are also eigenfunctions of \(H=-\Delta _z + \tfrac{1}{4} |z|^2\) by Equation (1.3.25) of [37], with
When writing \(\zeta =(\alpha _1,\dots ,\alpha _n,\beta _1,\dots ,\beta _n)\), direct computation shows
where the operator \({\hat{A}}\) is given by
and \(\,\,\,{\widehat{\cdot }}\,\,\,\) denotes the 2n-dimensional Fourier transform given by
Since \({\hat{A}}(g(2\zeta ))=(Ag)(2\zeta )\), the estimate (8.2) together with Plancherel’s theorem implies
Setting \(g:=\Phi _{\nu ,\nu '}\) and using (8.4), (8.2), (8.5), (8.3), we obtain
Now fixing \(\nu '\in {\mathbb {N}}^n\) and letting \(|\nu |\rightarrow \infty \) yields a contradiction, whence the assumed estimate (8.2) is indeed false.
Notes
There is a small typo in Eq. (1.1.44): The factor \(e^{-x}\) has to be replaced by \(e^{-x/2}\).
A prominent choice in the literature is also the symplectic form \((z,w)\mapsto {\text {Im}}(z{{\bar{w}}})=-\omega (z,w)\), which would correspond to the transpose of the matrix in (2.3). The reason for choosing \(\omega \) as above instead of \((z,w)\mapsto {\text {Im}}(z{{\bar{w}}})\) is that we want to have the same sign for the third summand in (2.5) as in (1.3.14) of [37].
References
Ahrens, J., Cowling, M.G., Martini, A., Müller, D.: Quaternionic spherical harmonics and a sharp multiplier theorem on quaternionic spheres. Math. Z. 294(3–4), 1659–1686 (2020)
Askey, R., Wainger, S.: Mean convergence of expansions in Laguerre and Hermite series. Am. J. Math. 87, 695–708 (1965)
Azoff, E.A.: Borel measurability in linear algebra. Proc. Am. Math. Soc. 42, 346–350 (1974)
Casarino, V., Ciatti, P.: A restriction theorem for Métivier groups. Adv. Math. 245, 52–77 (2013)
Casarino, V., Cowling, M.G., Martini, A., Sikora, A.: Spectral multipliers for the Kohn Laplacian on forms on the sphere in \({\mathbb{C} }^n\). J. Geom. Anal. 27(4), 3302–3338 (2017)
Chen, P., Ouhabaz, E.M.: Weighted restriction type estimates for Grushin operators and application to spectral multipliers and Bochner–Riesz summability. Math. Z. 282(3–4), 663–678 (2016)
Chen, P., Ouhabaz, E.M., Sikora, A., Yan, L.: Restriction estimates, sharp spectral multipliers and endpoint estimates for Bochner–Riesz means. J. Anal. Math. 129, 219–283 (2016)
Christ, M.: \(L^p\) bounds for spectral multipliers on nilpotent groups. Trans. Am. Math. Soc. 328(1), 73–81 (1991)
Cowling, M., Sikora, A.: A spectral multiplier theorem for a sublaplacian on \({\rm SU} (2)\). Math. Z. 238(1), 1–36 (2001)
Fefferman, C.: A note on spherical summation multipliers. Israel J. Math. 15, 44–52 (1973)
Folland, G.B., Stein, E.M.: Hardy Spaces on Homogeneous Groups. Mathematical Notes, vol. 28. Princeton University Press, University of Tokyo Press, Princeton (1982)
Guillarmou, C., Hassell, A., Sikora, A.: Restriction and spectral multiplier theorems on asymptotically conic manifolds. Anal. PDE 6(4), 893–950 (2013)
Hebisch, W.: Multiplier theorem on generalized Heisenberg groups. Colloq. Math. 65(2), 231–239 (1993)
Hörmander, L.: Hypoelliptic second order differential equations. Acta Math. 119, 147–171 (1967)
Koch, H., Ricci, F.: Spectral projections for the twisted Laplacian. Stud. Math. 180(2), 103–110 (2007)
Lee, S., Rogers, K.M., Seeger, A.: Square Functions and Maximal Operators Associated with Radial Fourier Multipliers, Advances in Analysis. The legacy of Elias M. Stein, Princeton Mathematical Series, vol. 50, pp. 273–302. Princeton University Press, Princeton (2014)
Martini, A.: Spectral theory for commutative algebras of differential operators on Lie groups. J. Funct. Anal. 260(9), 2767–2814 (2011)
Martini, A.: Analysis of joint spectral multipliers on Lie groups of polynomial growth. Ann. Inst. Fourier (Grenoble) 62(4), 1215–1263 (2012)
Martini, A.: Spectral multipliers on Heisenberg-Reiter and related groups. Ann. Math. Pura Appl. (4) 194(4), 1135–1155 (2015)
Martini, A., Müller, D.: A sharp multiplier theorem for Grushin operators in arbitrary dimensions. Rev. Mat. Iberoam. 30(4), 1265–1280 (2014)
Martini, A., Müller, D.: Spectral multiplier theorems of Euclidean type on new classes of two-step stratified groups. Proc. Lond. Math. Soc. (3) 109(5), 1229–1263 (2014)
Martini, A., Müller, D.: Spectral multipliers on 2-step groups: topological versus homogeneous dimension. Geom. Funct. Anal. 26(2), 680–702 (2016)
Martini, A., Sikora, A.: Weighted Plancherel estimates and sharp spectral multipliers for the Grushin operators. Math. Res. Lett. 19(5), 1075–1088 (2012)
Martini, A., Müller, D., Nicolussi Golo, S.: Spectral multipliers and wave equation for sub-Laplacians: lower regularity bounds of Euclidean type. J. Eur. Math. Soc. (JEMS) 25(3), 785–843 (2023)
Mauceri, G., Meda, S.: Vector-valued multipliers on stratified groups. Rev. Mat. Iberoam. 6(3–4), 141–154 (1990)
Melrose, R.: Propagation for the Wave Group of a Positive Subelliptic Second-Order Differential Operator, Hyperbolic Equations and Related Topics (Katata/Kyoto, 1984), pp. 181–192. Academic Press, Boston (1986)
Müller, D.: A restriction theorem for the Heisenberg group. Ann. Math. (2) 131(3), 567–587 (1990)
Müller, D.: Marcinkiewicz multipliers and multi-parameter structure on Heisenberg groups. Lecture notes, Padova (2004)
Müller, D., Stein, E.M.: On spectral multipliers for Heisenberg and related groups. J. Math. Pures Appl. (9) 73(4), 413–440 (1994)
Müller, D., Ricci, F., Stein, E.M.: Marcinkiewicz multipliers and multi-parameter structure on Heisenberg (-type) groups. II. Math. Z. 221(2), 267–291 (1996)
Niedorf, L.: Weighted restriction type estimates and spectral multipliers for Grushin operators. Master’s thesis, Christian-Albrechts-Universität zu Kiel (2021)
Niedorf, L.: Restriction type estimates and spectral multipliers on Métivier groups. (2023). arXiv:2304.12960
Niedorf, L.: A \(p\)-specific spectral multiplier theorem with sharp regularity bound for Grushin operators. Math. Z. 301(4), 4153–4173 (2022)
Seeger, A.: On quasiradial Fourier multipliers and their maximal functions. J. Reine Angew. Math. 370, 61–73 (1986)
Seeger, A., Sogge, C.D.: On the boundedness of functions of (pseudo-) differential operators on compact manifolds. Duke Math. J. 59(3), 709–736 (1989)
Tao, T.: The Bochner–Riesz conjecture implies the restriction conjecture. Duke Math. J. 96(2), 363–375 (1999)
Thangavelu, S.: Lectures on Hermite and Laguerre Expansions, Mathematical Notes, vol. 42. Princeton University Press, Princeton (1993)
Tomas, P.A.: Restriction theorems for the Fourier transform, Harmonic analysis in Euclidean spaces, Proc. Sympos. Pure Math., vol. XXXV, Part 1, American Mathematical Society, Providence, RI, pp. 111–114 (1979)
Varopoulos, N.T., Saloff-Coste, L., Coulhon, T.: Analysis and Geometry on Groups, Cambridge Tracts in Mathematics, vol. 100. Cambridge University Press, Cambridge (1992)
Acknowledgements
I am deeply grateful to my advisor Detlef Müller for constant support and numberless helpful suggestions. I am also very grateful to Alessio Martini for bringing an error in Lemma 2.1 of an earlier version of this article to my attention. I would also like to thank the anonymous referee for carefully reading the paper and making a number of helpful suggestions.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Fulvio Ricci.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Niedorf, L. An \(L^p\)-Spectral Multiplier Theorem with Sharp p-Specific Regularity Bound on Heisenberg Type Groups. J Fourier Anal Appl 30, 22 (2024). https://doi.org/10.1007/s00041-024-10075-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00041-024-10075-1
Keywords
- Nilpotent Lie group
- Heisenberg type group
- Sub-Laplacian
- Spectral multiplier
- Restriction type estimate
- Sub-Riemannian geometry