Abstract
Fefferman (Acta Math 24:9–36, 1970, Theorem 2\('\)) has proved the weak (1,1) boundedness for a class of oscillating singular integrals that includes the oscillating spectral multipliers of the Euclidean Laplacian \(\Delta ,\) namely, operators of the form
The aim of this work is to extend Fefferman’s result to oscillating singular integrals on any arbitrary compact Lie group. We also consider applications to oscillating spectral multipliers of the Laplace–Beltrami operator. The proof of our main theorem illustrates the delicate relationship between the condition on the kernel of the operator, its Fourier transform (defined in terms of the representation theory of the group) and the microlocal/geometric properties of the group.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Outline
This work deals with the weak (1,1) boundedness of oscillating singular integrals on compact Lie groups by extending to the non-commutative setting the paradigm of the oscillating singular integrals introduced by Fefferman and Stein in [24, 25], which among other things, generalises some classical conditions introduced by Calderón and Zygmund [6] and Hörmander [35]. One of the novelties of this work is that we make use of the geometric properties of the group, of its microlocal analysis, and of its representation theory.
On compact Lie groups, oscillating singular integrals arose as generalisations of the oscillating spectral multipliers, which are linear operators defined by the spectral calculus via
where \({\mathcal {L}}_G:=-(X_1^2+\cdots X_n^2)\) is the positive Laplace–Beltrami operator on a compact Lie group G.
The problem of finding boundedness criteria for Fourier multipliers (left-convolution operators) has been widely investigated for a long time. On a compact Lie group G, the problem has been considered for central operators by Weiss [47], Coifman and Weiss [18], Cowling and Sikora [21] in the case of \(G=\text {SU}(2),\) and Chen and Fan [15]. However, only symbol criteria for general Fourier multipliers (and for pseudo-differential operators) on compact Lie groups, making use of the difference structure of the unitary dual \({\widehat{G}}\) of G, were firstly proved by the second author and Wirth in [39], and further generalisations were established in [8, 10, 11, 22] and in the works [9, 12, 26, 36] for the setting of graded Lie groups. We refer the reader to [1, 10, 16] and [38] for an extensive list of references on the subject as well as for a historical perspective, in particular in the setting of central operators. In particular, the work [3] introduces an interesting family of multipliers covering e.g. the Hörmander–Mihlin condition.
Before presenting the contributions of this paper, let us review the classical result due to Charles Fefferman which is of central interest for this work, see [24, Page 23]. In the Euclidean setting, a convolution operator \(T:f\mapsto f*K,\) \(f\in C^{\infty }_0(\mathbb {R}^n),\) with K being a distribution of compact support and locally integrable outside the origin, and satisfying the conditions
and
is called of oscillating type. Here, \({\widehat{K}}:={\mathscr {F}}_{\mathbb {R}^n}K\) denotes the Fourier transform of the distribution K. The \(L^p\)-properties for convolution operators of this form were firstly studied by Hardy [32], Hirschman [34] and Wainger [46], in the particular scenario of Fourier multipliers with symbols of the form
The corresponding operators are oscillating multipliers of the positive Euclidean Laplacian \(-\Delta ={\mathcal {L}}_{\mathbb {R}^n},\) namely, operators of the form
One of the fundamental contributions to the subject, came with the work [24] by Charles Fefferman where he established the weak (1,1) boundedness of a class of oscillating singular integrals that includes the oscillating spectral multipliers of the Laplacian (1.4). It is also important to mention that Fefferman and Stein, when extending the theory of Hardy spaces to Euclidean spaces of several variables, observed that the theory of oscillating singular integrals in [24] also begets bounded operators from the Hardy space \(H^1\) into \(L^1,\) see [25] for details.
We also observe that although it does not appear in the hypotheses of Theorem 2\('\) of [24], Fefferman has assumed in the proof of such a statement (see [24, Page 23]) that the support of K is small. For instance, his assumption says that \( \text {diam}(\text {supp}(K))<1.\) This assumption in the Euclidean setting is not restrictive because one can use the natural dilation structure of \(\mathbb {R}^n,\) and the argument in [24, Page 23] to reduce the analysis of oscillating convolution kernels with compact support of arbitrary size to distributions with small support.
1.2 Fefferman’s approach
Next, we review the fascinating technique developed by Fefferman in his Acta’s paper [24] for the proof of the aforementioned weak (1,1) estimate. As it was pointed out by Stein in [17, Page 1257], such a technique became a subject of much wider interest, as it was adapted to various other problems e.g. by S. Chanillo, M. Christ, Rubio de Francia, Seeger et al. [42], etc.
For this, let us fix a convolution operator T with kernel K satisfying (1.2) and (1.3) and assume that its support is small, for instance, assume that
To begin with he decomposed an arbitrary function \(f\in L^{1}(\mathbb {R}^n),\) for a fixed \(\alpha >0,\) according to the Calderón–Zygmund decomposition theorem, in the standard way, that is \(f=g+b,\) \(b:=\sum _{j}b_j,\) where the \(L^2\)-norm of g is bounded from above by \(\alpha ,\) and the \(b_j\)’s are supported on disjoint dyadic cubes \(I_j\)’s in such a way that the following two properties are satisfied
When estimating \(|\{x\in \mathbb {R}^n:|Tf(x)|>\alpha \}|,\) he started with the standard inequality
Then, he observed that T(g) can be estimated from above with the \(L^1\)-norm of f using the \(L^2\)-theory. As for the estimate of \(T(b_j),\) the main idea in Fefferman’s argument was the consideration of a family of measurable sets \(I_{j}^*\) such that,
By making a suitable geometric reduction of the support of K, he proved that only cubes \(I_j\) with \(\text {diam}[I_j]<1\) were significant when estimating \(T(b_j).\) Moreover, the contribution of \(T(b_j)\) outside the set \(I_j^{*}\) can be handled in view of the kernel condition (1.3).
About the critical contribution of \(T(b_j)\) in the set \(I_{j}^*{\setminus } I_j,\) he introduced a nice replacement \({\tilde{b}}_{j}\) of \(b_j,\) and another one \({\tilde{b}}=\sum _j {\tilde{b}}_{j}\) of b, and he was able to prove that
by combining the \(L^2\)-theory, a suitable decomposition of the function \((-\Delta )^{-\frac{n\theta }{4}}{\tilde{b}}=F_1+F_2,\) and the Sobolev inequality. Putting all these estimates together he proved the weak (1,1) type of T.
1.3 Compact Lie groups setting
It is natural to investigate whether these results for oscillating singular integrals on \(\mathbb {R}^n\) can be extended to more general manifolds. In particular, in view of the behaviour of the Fourier transform of the kernel (1.2) one can analyse the problem in the setting of compact Lie groups where the group Fourier transform is defined in terms of the representation theory of the group.
On a compact Lie group G, an oscillating singular integral is a left-invariant operator \(T:C^\infty (G)\rightarrow {\mathscr {D}}'(G)\) with right convolution kernel K satisfying the estimate
for some \(0\le \theta <1.\) We have denoted by \(|x|=d(x,e)\) the geodesic distance from \(x\in G\) to the neutral element \(e\in G.\)
In order to study the boundedness of oscillating singular integrals in the non-commutative setting, one could adopt the argument of Fefferman and to study its extension to compact Lie groups. Nevertheless, when extending such a construction we found some obstructions related with the structure of the group G. More precisely, in Fefferman’s argument, the \({\tilde{b}}_j's\) are defined by the convolution \(b_j*\phi _{j},\) where roughly speaking, any \(\phi _j\) is given by
By taking into account the geometry of the group, we observe that there is not a global action \(\mathbb {R}^{+}\times G\rightarrow G\) of \(\mathbb {R}^{+}\) into G, that allows us to define the elements \(r\cdot y\in G,\) for \(r>0\) and \(y\in G,\) in a compatible way with Fefferman’s argument. Of particular interest are the dilations factors
Indeed, only on small neighborhoods \(\nu \) of \(0\in {\mathfrak {g}},\) and \(\nu '\) of the neutral element \(e\in G,\) the exponential mapping \(\text {exp}:\nu \rightarrow \nu '\) is a diffeomorphism, and a local family of dilations \(D_{r}:\nu \rightarrow \nu ,\) with \(0<r\le 1,\) denoted by \(y\in \nu \mapsto D_{r}(y)=r\cdot y ,\) can be defined via \(r\cdot y=\exp (r\exp ^{-1}(y)).\) One can translate these dilations to small neighborhoods of any point of the group by using the multiplication operation on G, but, still, the case of dilations by factors \(r>1\) cannot be covered with this local construction.
However, inspired by the approach developed by Coifman and Weiss [20] and by Coifman and De Guzmán [19], we observe that for the scenario of compact Lie groups by taking the family of functions
will provide the necessary properties for extending Fefferman’s argument.
Since our analysis is local we will assume the following hypothesis:
-
(H):
Assume that K is a distribution of compact support and that its diameter is small enough, for instance, we assume that \(\text {supp}(K)\) is contained in a neighborhood \(\nu \) of the identity \(e\in G,\) in such a way that \(\exp :\nu '=\exp ^{-1}(\nu )\rightarrow \nu \) is a diffeomorphism, and that \(\text {diam}(\text {supp}(K))<c,\) where \(0<c\le 1.\)
The main theorem of this work is the following. Here \({\widehat{G}}\) denotes the unitary dual of G and the elliptic weight \(\langle \xi \rangle ,\) \([\xi ]\in {\widehat{G}},\) is defined in terms of the spectrum of the Laplacian on G, see Sect. 2 for details.
Theorem 1.1
Let G be a compact Lie group of dimension n, and let \(T:C^\infty (G)\rightarrow {\mathscr {D}}'(G)\) be a left-invariant operator with right-convolution kernel \(K\in L^1_{\text {loc}}(G{\setminus }\{ e\})\) satisfying the small support condition \(\text {(H)}.\) Let us consider that for \(0\le \theta <1,\) K satisfies the group Fourier transform condition
and the oscillating Hörmander condition
Then T admits an extension of weak (1, 1) type.
Remark 1.2
It was proved in [13] that under the hypothesis in Theorem 1.1, T is bounded from the Hardy space \(H^1(G)\) into \(L^1(G).\) So, in the case of compact Lie groups our main Theorem 1.1 together with the results in [13] provide a complete perspective on the subject, related with the Hörmander condition in (1.12) for all \(0\le \theta <1\). We observe that the case \(\theta =1\) is outside of the analysis in our approach. It is related to the wave operator for the Laplace–Beltrami operator and in view of the weak (1,1) estimate for Fourier integral operators by Tao [44], it is expected that the right decay condition in (1.11) for \(\theta =1\) could be the one with the order \(-(n-1)/2\) (instead of \(-n/2\)).
Remark 1.3
The condition that the support of the distribution K is contained in a neighborhood \(\nu \) of the identity \(e\in G,\) in such a way that that \(\exp :\nu '=\exp ^{-1}(\nu )\rightarrow \nu =\exp (\nu )\) is a diffeomorphism guarantees a local analysis.
Remark 1.4
We also observe that the relevant contribution of Theorem 1.1 is the case where \(0<\theta <1.\) Indeed, for \(\theta =0,\) the Fourier transform condition in (1.11) can be replaced for the \(L^2\)-boundedness of the operator T, and the condition in (1.12) is reduced to the smoothness Hörmander condition which can be analysed in the setting of the Calderón–Zygmund theory on spaces of homogeneous type in the sense of Coifman and Weiss [20].
Remark 1.5
One of the differences between the approach due to Fefferman in [24] and our proof of Theorem 1.1 lies in our application of the \(L^2\)-boundedness of the operator \((-{\mathcal {L}}_G)^{z}\) when \(\text {Re}(z)<0,\) in view of the Stein identity (see [43, Page 58])
See e.g. Remark 2.4 of [40]. Indeed, we have that \((-{\mathcal {L}}_G)^{z}\) is a pseudo-differential operator on G of order \(\text {Re}(z)<0.\) Note that, this argument does not apply in the case of \(\mathbb {R}^n\) because the spectrum of the Euclidean Laplacian is continuous and the negative powers of \(-\Delta _{\mathbb {R}^n}\) are not pseudo-differential operators, while the powers of \(1-\Delta _{\mathbb {R}^n}\) are pseudo-differential operators with symbols in the Kohn–Nirenberg classes, see e.g. Taylor [45]. The boundedness of the operator \((-{\mathcal {L}}_G)^{z}\) on \(L^2\) allows us to apply the microlocal analysis of G.
Remark 1.6
In view of the Hopf-Rinow theorem the exponential mapping on G viewed as a Riemannian manifold agrees with the exponential mapping on G, considered as a closed sub-group of (the linear group of unitary matrices) \(\text {U}(N)\) for N large enough. In particular on small neighborhoods \(\nu \) of \(0\in {\mathfrak {g}},\) and \(\nu '\) of the neutral element \(e\in G,\) the exponential mapping \(\text {exp}:\nu \rightarrow \nu '\) is a diffeomorphism. This geometric property of the group will be involved in the proof of our main Theorem 1.1.
Remark 1.7
Clearly G being a compact topological space is a homogeneous space in the sense of Coifman and Weiss [20]. The geometric measure theory of the group will be used due to the existence of Calderón–Zygmund type decompositions for any \(f\in L^1(G),\) see [20, Pages 73–74].
Remark 1.8
We observe that using the theory of Coifman and De Guzmán [19], the second author and Wirth in [39] have proved Hörmander–Mihlin criteria for Fourier multipliers on compact Lie groups. In that setting, as expected, it was a non-trivial fact that the operators satisfy Calderón–Zygmund type conditions (corresponding to the case \(\theta =0\) in Theorem 1.1).
Remark 1.9
For limited-range versions of the Calderón–Zygmund theorem we refer the reader to Baernstein and Sawyer [2], Carbery [7], Seeger [41], and Grafakos, Honzík, Ryabogin [31]. We observe that the case in the Euclidean setting, the case \(\theta =0\) includes Fourier multipliers satisfying Hörmander–Mihlin conditions. Improvements for the Hörmander condition and conditions of Hörmander–Mihlin type in the Euclidean framework can be found in Grafakos [30]. We refer the reader to [14] for the boundedness properties of oscillating singular integrals on \(\mathbb {R}^n.\)
This paper is organised as follows. In the short Sect. 2 we present the preliminaries on the Fourier analysis on compact Lie groups. Our main theorem is proved in Sect. 3. Finally, some examples are given in the case of the torus \(\mathbb {T}^n,\) \(\text {SU}(2)\cong \mathbb {S}^3,\) and for oscillating Fourier multipliers in Sect. 4.
2 Group Fourier transform on compact Lie groups
In this section we present some preliminaries about the Fourier analysis on compact Lie groups, for this we follow the book [39, Part III].
Let G be a compact Lie group and let dx be its normalised left-invariant Haar measure. To define the group Fourier transform let us define the unitary dual \({\widehat{G}}\) of G. One reason for this is that the Fourier inversion formula becomes a series over \({\widehat{G}}.\) Let us denote by \(\xi \) a strongly continuous, unitary and irreducible representation of G, this means that,
-
\(\xi \in \text {Hom}(G, \text {U}(H_{\xi })),\) for some finite-dimensional vector space \(H_\xi \cong \mathbb {C}^{d_\xi },\) i.e. \(\xi (xy)=\xi (x)\xi (y)\) and for the adjoint of \(\xi (x),\) \(\xi (x)^*=\xi (x^{-1}),\) for every \(x,y\in G.\)
-
The map \((x,v)\mapsto \xi (x)v, \) from \(G\times H_\xi \) into \(H_\xi \) is continuous.
-
For every \(x\in G,\) and \(W_\xi \subset H_\xi ,\) if \(\xi (x)W_{\xi }\subset W_{\xi },\) then \(W_\xi =H_\xi \) or \(W_\xi =\emptyset .\)
In view of the compactness of the group, any strongly continuous unitary representation on G is continuous. Let \(\text {Rep}(G)\) be the set of unitary, continuous and irreducible representations of G.
One can define an equivalence relation on \(\text {Rep}(G)\) as follows:
With respect to this equivalence relation the quotient
is the unitary dual of G.
The Fourier transform \({\widehat{f}}\) of a distribution \(f\in {\mathscr {D}}'(G)\) is defined via,
The Fourier inversion formula
holds if for example \(f\in L^1(G).\) In this setting, the Plancherel theorem states that \({\mathscr {F}}:L^2(G)\rightarrow L^2({\widehat{G}})\) is an isometry, where the inner product on \(L^2({\widehat{G}})\) is defined via
So, the Plancherel theorem takes the form
We have denoted by \(\Vert \cdot \Vert _{\text {HS}}\) the usual Hilbert-Schmidt norm on every representation space \(H_\xi .\)
Remark 2.1
In the symbol condition (1.11),
is the system of eigenvalues of the Bessel potential operator \((1+{\mathcal {L}}_G)^{\frac{1}{2}}\) associated to the positive Laplacian on G, which can be defined as follows. Let \(X=\{X_1,\ldots , X_n\}\) be an orthonormal basis of its Lie algebra \({\mathfrak {g}}\) with respect to the unique (up to by a constant factor) bi-invariant Riemannian metric \(g=(g_x(\cdot ,\cdot ))_{x\in G}\) on G. The Laplace–Beltrami operator is defined by (minus) the sum of squares
and it is independent of the choice of the vector space basis X of \({\mathfrak {g}}.\) Note that \({\mathcal {L}}_G\) is an elliptic operator on G, which admits a self-adjoint extension on \(L^2(G,dx).\) Such an extension is an elliptic operator and its spectrum is a discrete set \(\{\lambda _{[\xi ]}:[\xi ]\in {\widehat{G}}\}\) that can be enumerated by the unitary dual \({\widehat{G}}\) of the group. By the spectral mapping theorem one has that \(\langle \xi \rangle =(1+\lambda _{[\xi ]})^{\frac{1}{2}},\) \([\xi ]\in {\widehat{G}}.\)
Remark 2.2
Observe that in view of the Plancherel theorem, the hypothesis (1.11) in Theorem 1.1 implies that the operator \((1+{\mathcal {L}}_G)^{\frac{n\theta }{4}}T\) admits a bounded extension on \(L^2(G )\). Indeed, the Plancherel theorems implies that
and in view of (1.11) we have that
proving the boundedness of \((1+{\mathcal {L}}_G)^{\frac{n\theta }{4}}T\) on \(L^2(G).\)
3 Proof of the main theorem
In this section we are going to prove that for a singular integral operator T satisfying (1.2) and (1.12) there is a constant \(C>0,\) such that
with C independent of f. The positive Laplacian on G or on \(\mathbb {R}^n\) will be denoted by \({\mathcal {L}}_G\) and by \({\mathcal {L}}_{\mathbb {R}^n},\) respectively. The Euclidean Fourier transform on \(\mathbb {R}^n\) of a function \(V\in L^{1}(\mathbb {R}^n),\) will be denoted by \({\mathscr {F}}_{\mathbb {R}^n}V(\Xi )=\smallint _{\mathbb {R}^n}e^{-i2\pi X\cdot \Xi }V(X)dX,\) and it will be used at the end of this section.
For this fix \(f\in L^1(G),\) and let us consider its Calderón–Zygmund decomposition, see Coifman and Weiss [20, Pages 73–74]. So, for any \(\gamma ,\alpha >0, \) such that
we can have the decomposition
where the following properties are satisfied:
-
(1)
\(\Vert g \Vert _{L^\infty }\lesssim _{G} \gamma \alpha \) and \(\Vert g\Vert _{L^1}\lesssim _{G} \Vert f\Vert _{L^1}.\)
-
(2)
The \(b_j\)’s are supported in open balls \(I_j=B(x_j,r_j)\) where they satisfy the cancellation property
$$\begin{aligned} \mathop {\int }\limits _{I_j}b_j(x)dx=0. \end{aligned}$$(3.3) -
(3)
Any component \(b_j\) satisfies the \(L^1\)-estimate
$$\begin{aligned} \Vert b_j\Vert _{L^1}\lesssim _{G} (\gamma \alpha )|I_j|. \end{aligned}$$(3.4) -
(4)
The sequence \(\{|I_{j}|\}_{j}\in \ell ^1\) and
$$\begin{aligned} \sum _{j} |I_j|\lesssim _{G} (\gamma \alpha )^{-1} \Vert f\Vert _{L^1}. \end{aligned}$$(3.5) -
(5)
$$\begin{aligned} \Vert b\Vert _{L^1}\le \sum _j \Vert b_j\Vert _{L^1}\lesssim _{G} \Vert f\Vert _{L^1}. \end{aligned}$$
-
(6)
There exists \(M_0\in \mathbb {N},\) such that any point \(x\in G\) belongs at most to \(M_0\) balls of the collection \(I_j.\)
First of all note that given an altitude \(\alpha \gamma >0,\) the Calderón–Zygmund decomposition above works in the case where \(\alpha \gamma >\frac{1}{|G|}\smallint |f(x)|dx.\) We have denoted by |G| the volume of the group G without assuming that the Haar measure is normalised.
We want to emphasize that when proving the weak (1,1) boundedness of T, one has to estimate the quantity \(|\{x\in G:|Tf(x)|>\gamma \alpha \}|\) only in the case where the Calderón-Zymund decomposition in [20] is available, that is when \(\alpha \gamma >\frac{1}{|G|}\smallint |f(x)|dx.\) Indeed, when estimating \(|\{x\in G:|Tf(x)|>\alpha \gamma \}|\) at any altitude \(\alpha \gamma \) with \(0<\alpha \gamma \le \frac{1}{|G|}\smallint |f(x)|dx,\) one trivially has that
as desired.
So, by fixing \(\alpha \gamma \) as in (3.2), note that in terms of g, b and f one has the trivial estimate
The estimates \(\Vert g \Vert _{L^\infty }\lesssim \gamma \alpha \) and \(\Vert g\Vert _{L^1}\lesssim \Vert f\Vert _{L^1},\) imply that
So, by applying the Chebishev inequality and the \(L^2\)-boundedness of T, we have
In what follows, let us denote \(I^*=\bigcup I_j^*,\) where \(I_j^*=B(x_j,2r_j),\) and let us make use of the doubling condition on G in order to have the estimate
from which follows that
Consequently, we have the estimates
So, to conclude the inequality (3.1) we have to prove that
with C independent of f. So, the proof of Theorem 1.1 consists of estimating the term
Proof of Theorem 1.1
We start by considering only the case \(0<\theta <1.\) Indeed, the statement for \(\theta =0\) in Theorem 1.1 follows from the fundamental theorem of singular integrals due to Coifman and Weiss, see [20, Theorem 2.4, Page 74].
From now, let us suppose that the diameter of the support of K is small, for instance, that
where \(0<c\le 1\) is small enough. In particular, we can take c small enough in order that we can guarantee that the exponential mapping
is a diffeomorphism between two small neighborhoods \(\nu '\) and \(\nu \) of the identity element e and of the origin \(0\in {\mathfrak {g}}\cong \mathbb {R}^n,\) respectively.
For \(\varepsilon >0\) define
Now, for any j, define
and
Note that
It is important to mention that in (3.13) the sums on the right hand side only runs over j whith \(\text {diam}(I_j)< c .\) Indeed, for all \(x\in G{\setminus } I^*,\) the property of the support \(\text {diam}(\text {supp}(K))< c ,\) implies that for all j with \(\text {diam}(I_j)\ge c ,\) we have that
So we only require to analyse the case where \(\text {diam}(I_j)< c .\) Indeed, for \(x\in G{\setminus } I^*,\) and j such that \(\text {diam}(I_j)\ge c ,\)
Because, in the integral above \(x\in G{\setminus } I^*\) and \(y\in I_j,\)
we have that the element \(y^{-1}x\) is not in the support of K and then the integral vanishes.
In Figure 1 we compare the size of \(I_j\) with the size of the support of \(\phi _j.\)
Now, going back to the analysis of (3.7), note that
and let us take into account the estimate:
We are going to prove that \(T{\tilde{b}}\) and \(T{\tilde{b}}_{j}\) are good replacements for T b and \(T{b}_{j},\) respectively, on the set \(G{\setminus } I^*.\) Observe that
where, in the last line we have used the changes of variables \(x\mapsto z=y^{-1}x,\) and then we observe that \(|z|>\text {diam}(I_j)\) when \(x\in G{\setminus } I^*\) and \(y\in I_j.\) Using that \(\phi _j\) is supported in a ball of radius
and that \(\Vert \phi _j\Vert _{L^{\infty }}\le 1/|B(e,R_j)|,\) we have that
where we have used that \(2R_j^{1-\theta }=\text {diam}(I_j).\) Now, the inequalities above allow us to finish the estimate of \(\Vert T(b-{\tilde{b}})\Vert _{L^1(G{\setminus } I^*)}.\) Indeed,
Putting together the estimates above we deduce that
Now, we will estimate the term in the right hand side of the previous inequality. Indeed, note that
From now, let us consider the positive operator
Now, using (1.2) we deduce that \(T(-{\tilde{\Delta }})^{\frac{n\theta }{4}}\) is bounded on \(L^2,\) (see Remark 2.2) and then
In order to estimate the \(L^2\)-norm, let us use the following lemma whose proof we postpone for a moment.
Lemma 3.1
The function \(F:=(-{\tilde{\Delta }})^{-\frac{n\theta }{4}}{\tilde{b}}\) can be decomposed as the sums \(F=F_1+F_2,\) where \( \Vert F_2\Vert _{L^2}^2\le C\alpha \gamma \Vert f\Vert _{L^1},\) and \(F_1\) is also a sum of functions \(F_{1}^{j}\) with the following property.
-
There exists \(M_0\in \mathbb {N},\) and \(A'>0,\) such that \(F_{1}=\sum _{j:\text {diam}(I_j)<1}F_{1}^{j}\), \(\Vert F_{1}^{j}\Vert _{L^2}^2\le A'\alpha ^2|I_j|,\) and for any \(x\in \mathbb {R}^n,\) there at most \(M_0\) values of j such that \(F_1^j(x)\ne 0.\)
Let us continue with the proof of Theorem 1.1. Using Lemma 3.1 and the inequalities in (3.5) we have that
Consequently
Thus, we have proved that
with \(C:=C_{\gamma ,[K]_{H_{\infty ,\theta }(G)}}\) independent of f. Because \(\gamma \) is fixed we have proved the weak (1, 1) type of T. Note that the \(L^p\)-boundedness of T can be deduced from Marcinkiewicz interpolation theorem and the standard duality argument. Thus, the proof is complete once we proved the statement in Lemma 3.1. To do so, let us consider the right-convolution kernel \(k_\theta :=(-{\tilde{\Delta }})^{-\frac{n\theta }{4}}\delta \) of the operator \((-{\tilde{\Delta }})^{-\frac{n\theta }{4}}\) and let us split the function \((-{\tilde{\Delta }})^{-\frac{n\theta }{4}}{\tilde{b}}(x)\) as follows:
where \(G_{1}(x):=\sum _{j:x\sim I_j} {\tilde{b}}_{j}*k_\theta (x)\) and \(G_{2}(x):=\sum _{j:x\not \sim I_j} {\tilde{b}}_{j}*k_\theta (x).\) We have denoted by \(x\sim I_j,\) if x belongs to \(I_j\) or to some \(I_{j'}\) with non-empty intersection with \(I_j.\) By the properties of these sets there are at most \(M_0\) sets \(I_{j'}\) such that \(I_j\cap I_{j'}\ne \emptyset .\) Also, the notation \(x\not \sim I_j\) will be employed to define the opposite of the previous property.
Let us prove the estimate
Observe that
Note that \((-{\tilde{\Delta }})^{-\frac{n\theta }{4}}\) is a pseudo-differential operator of order \(-n\theta /2,\) and consequently, its kernel satisfies the estimate
The condition \(0<\theta <1,\) implies that \(k_\theta \) is an integrable distribution and then
So, we have that
So, for the proof of (3.16), and in view of the inequality \( \Vert G_2\Vert ^2_{L^2}\le \Vert G_2\Vert _{L^1} \Vert G_2\Vert _{L^\infty }\) is enough to show that \( \Vert G_2\Vert _{L^\infty }\lesssim \alpha \gamma \Vert f \Vert _{L^1}.\) To do this, let us consider j such that \(x\not \sim I_j.\) Since \({\tilde{b}}_{j}*k_\theta ={b}_{j}*\phi _j*k_\theta ,\) one has that
To continue, we follow as in [24, Page 26] the observation of Fefferman, that in view of the property \(x\not \sim I_j,\) we have that \(\phi _j*k_\theta (y^{-1}x)\) is essentially constant over the ball \(I_j=B(x_j,r_j)\) and we can estimate
On the other hand, observe that the positivity of the kernel \(k_\theta ,\) and of \(\phi _j\) leads to
Consequently, we have
By observing that the supports of the functions \(1_{I_j}*\phi _j \)’s have bounded overlaps we have that \(\left\| \sum _{j:x\not \sim I_j}1_{I_j}*\phi _j \right\| _{L^{\infty }}<\infty ,\) and that \(\Vert G_2\Vert _{L^\infty }\lesssim \gamma \alpha .\)
It remains only to prove that \(\Vert G_1\Vert _{L^2}^2\lesssim \alpha \Vert f\Vert _{L^1}.\) Let us define
Then \(G_1=\sum _{j} G^{j}\) and in view of the finite overlapping of the balls \(I_{j}\)’s, there is \(M_0\in \mathbb {N},\) such that for any \(x\in G,\) \(G^{j}(x)\ne 0,\) for at most \(M_0\) values of j. Therefore, we have that
Because our argument is purely local let us use the diffeomorphism \(\omega =\text {exp}:\nu \rightarrow \nu '\) in (3.8). Because \({B}(e,c)\subset \nu ',\) we can estimate the norm \(\Vert \phi _j*k_\theta \Vert _{L^2}\) in a small neighbourhood \(\nu '\) of the identity element \(e\in G.\) Note that for any j with \(\text {diam}(I_j)< c ,\) we have the inclusion \(B(e,R_j)\subset \nu '.\) So, we have
where
Note that \((1+{\mathcal {L}}_{\mathbb {R}^n})^{-\frac{n\theta }{4}}\) is bounded on \(L^2,\) and clearly \(\phi _j'\in L^2,\) so that \(\phi _j'\in \text {Dom}((1+{\mathcal {L}}_{\mathbb {R}^n})^{-\frac{n\theta }{4}}).\) Also,
Define for any j,
Then, one has the identity
Observe that \(|B(0,R_j')|=v_{n}{R_{j}'}^n,\) where \(v_n\) is the volume of the unite ball B(0, 1). Also, note that \(\Vert \psi _j'\Vert _{L^\infty }=1,\) and \(\text {supp}(\psi _j')\subset B(0,1).\) Using the Plancherel theorem, we have that
Observe that
By the compactness of G, for all \(\varepsilon >0,\) there exists a finite number of elements \(x_{0}^\varepsilon =e_{G},x_{k}^\varepsilon ,\) \(1\leqslant k\leqslant N_0(\varepsilon ),\) in G, and some smooth functions \(\chi _{k}^\varepsilon \in C^\infty (G,[0,1]),\) supported in \(B(e_G,\frac{\varepsilon }{2}),\) such that
Note that for \(\varepsilon >0\) small enough, the support of any \(x\mapsto \chi _{k}^\varepsilon (x_k^{-1} x)\) is inside of \(\nu '.\) In consequence, we can estimate
where we have used the \(L^2\)-boundedness of the operator \((-{\mathcal {L}}_G)^{-\frac{n\theta }{4}}\) in view of the Stein identity (see [43, Page 58])
and of Remark 2.4 of [40]. Indeed, we have that \((-{\mathcal {L}}_G)^{-\frac{n\theta }{4}}\) is a pseudo-differential operator on G of order \(-n\theta /2\) and hence bounded on \(L^2(G).\) Note that, this argument does not apply in the case of \(\mathbb {R}^n\) because the spectrum of the Euclidean Laplacian is continuous and the negative powers of \(-\Delta _{\mathbb {R}^n}\) are not pseudo-differential operators while the powers of \(1-\Delta _{\mathbb {R}^n}\) are pseudo-differential operators with symbols in the Kohn-Nirenberg classes, see e.g. Taylor [45].
Continuing with the proof, since \(\Vert \psi _j\Vert _{L^\infty }=1\) and \(\psi _j\) is supported in the unit ball, we have that \(\Vert \psi _j\Vert _{L^2}\le 1.\) Consequently,
Finally, we deduce that
in view of (3.5). Consequently, we can take \(F_2:=G_2,\) \(F_1:=G_1\) and \(F_{1}^{j}:=G_{1}^{j}.\) Thus, the proof of Lemma 3.1 is complete as well as the proof of Theorem 1.1. \(\square \)
4 Examples
In this section we give some applications of Theorem 1.1 on the torus, on \(\text {SU}(2)\cong \mathbb {S}^3\) and for oscillating multipliers. We refer the reader to [13, Section 4] for a variety of examples on the boundedness of oscillating singular integrals on Lie groups of polynomial growth.
4.1 Oscillating integrals on the torus \(\mathbb {T}^n\)
Let \(G=\mathbb {T}^n\equiv \mathbb {R}^n/\mathbb {Z}^n,\) be the n-torus. In this case we have the identification \(\widehat{\mathbb {T}}^n=\{e_{\ell }\}_{\ell \in \mathbb {Z}^n}\sim \mathbb {Z}^{n}\) for its unitary dual. We have denoted \(e_{\ell }\) to the exponential function \(e_{\ell }(x)=e^{i2\pi \ell \cdot x},\) \(x=(x_1,\ldots ,x_n)\in \mathbb {T}^n.\)
In terms of the Fourier transform of a distribution K on the torus
the Fourier transform condition (1.11) becomes equivalent to the estimate
Note that the kernel condition (1.12) takes the form
In view of Theorem 1.1, a convolution operator T associated to a convolution kernel K, satisfying the Fourier transform condition (4.2) and the smoothness condition (4.3) is of weak (1,1) type, that is \(T:L^{1}(\mathbb {T}^n)\rightarrow L^{1,\infty }(\mathbb {T}^n)\) is bounded. As the referee of this manuscript pointed out, in the case of the torus \(\mathbb {T}^n\) this continity result should also be just a special case of the known result due to Fefferman [24] on \(\mathbb {R}^n\) for a distributions K with its support small enough as a consequence of a periodisation argument (see e.g. [39, Chapters III and IV]).
4.2 Oscillating integrals on \(\text {SU}(2)\cong \mathbb {S}^3\)
Let us consider the compact Lie group of complex unitary \(2\times 2\)-matrices
Let us consider the left-invariant first-order differential operators
called creation, annihilation, and neutral operators respectively, (see Definition 11.5.10 of [39]) and let us define
where \(X_{3}=[X_1,X_2].\) The system \(X=\{X_1,X_2,X_3\}\) is an orthonormal basis of the Lie algebra \(\mathfrak {su}(2)\) of \(\text {SU}(2),\) and its positivie Laplacian is given by
We record that the unitary dual of \(\text {SU}(2)\) (see [39]) can be identified as
There are explicit formulae for \(t_{l}\) as functions of Euler angles in terms of the so-called Legendre-Jacobi polynomials, see [39]. Again, by following e.g. [39], the spectrum of the positive Laplacian \({\mathcal {L}}_{\text {SU}(2)}\) can be indexed by the sequence
Because \(n=\dim (\text {SU}(2))=3,\) the Fourier transform condition (1.11) takes the form
where \({\widehat{K}}(\ell )=\smallint _{\text {SU}(2)}K(Z)t_{\ell }(Z)^*dZ,\) is the Fourier transform of the group of K. In view of Theorem 1.1, if K satisfies (4.6) and the kernel condition
then T is of weak (1,1) type, that is \(T:L^1(\text {SU}(2))\rightarrow L^{1,\infty }(\text {SU}(2))\) extends to a bounded operator. In (4.7), |X| denotes the norm of \(X\in \text {SU}(2)\) with respect to the geodesic distance on \(\text {SU}(2)\).
4.3 Application to oscillating multipliers
Let us illustrate our main Theorem 1.1 in the context of oscillating Fourier multipliers. On G, the prototype of a oscillating singular integral is the spectral multiplier of \({\mathcal {L}}_G,\) given by
Indeed, \(T_{\theta }({\mathcal {L}}_G)\) is a convolution operator with right-convolution kernel \(K=K_\theta \) whose Fourier transform is given by
Let d(x, y) be the geodesic distance on G induced by the Riemannian metric g. It was proved by Chen and Fan in [15] that K(x) behaves essentially as \( c_nd(x,e)^{-n}e^{ic_{n}'d(x,e)^{\theta '}},\) where \( \theta '=\frac{\theta }{\theta -1},\) and consequently that
from which it is well known that K satisfies (1.12), that is,
justifying the term ‘oscillating’ for this family of multipliers. Using a smooth cut-off function \(\psi \) with small compact support (for instance assume that \(\text {diam}(\text {supp}(\psi ))<1\)), one can write the operator \(T_\theta ({\mathcal {L}}_G)=T_1+T_2,\) with \(T_1\) associated to the right-convolution kernel \(K_1=\psi K,\) and \(K_2=K-K_1,\) and then \(T_2\) is bounded on \(L^1(G).\) In view of Theorem 1.1, one can use that \(T_1\) is of weak (1,1) type, and then one can deduce that \(T_\theta ({\mathcal {L}}_G)\) extend to an operator of weak (1,1) type.
Remark 4.1
By following the analysis of pseudo-differential operators under local coordinates systems, one can prove that for \(0\le \theta <\frac{1}{2},\) the operator \(T_{\theta }({\mathcal {L}}_G)\) belongs to the Hörmander class \(\text {Op}(S^{m}_{1-\theta ,\theta })\) on G, with the order \(m=-\frac{n\theta }{2},\) see e.g the book of Taylor [45] for details.
By microlocalising the Fefferman weak (1,1) estimate in [24], we deduce that for any \(0\le \theta <\frac{1}{2},\) \(T_{\theta }({\mathcal {L}}_G)\) extends to an operator of weak (1, 1) type. This is consequence of the fact that for all \(0\le \theta <\frac{1}{2},\) the class \(\text {Op}(S^{m}_{1-\theta ,\theta })\) is invariant under changes of coordinates. However, the range \(\frac{1}{2}\le \theta <1\) can be covered by our Theorem 1.1.
We end this remark by observing that the boundedness of (4.8) from the Hardy space \(H^1(G)\) into \(L^1(G)\) has been proved by Chen and Fan in [15] in the complete range \(0\le \theta <1\).
Remark 4.2
Other generalisations on compact Lie groups of estimates for oscillating integrals to pseudo-differential operators have been considered in the papers [8, 22] and [40]. We refer the reader to [10, Chapter V] for Fourier transform conditions of Fourier multipliers of weak (1, 1) type on compact Lie groups in subelliptic settings.
References
Alexopoulos, G.: Spectral multipliers on Lie groups of polynomial growth. Proc. Am. Math. Soc. 120, 973–979 (1994)
Baernstein, A., Sawyer, E.T.: Embedding and multiplier theorems for Hp(Rn). Mem. Am. Math. Soc. 53(318), iv–82 (1985)
Bramati, R., Ciatti, P., Green, J., Wright, J. Oscillating spectral multipliers on groups of Heisenberg type. Rev. Mat. Iberoam. To appear (2021)
Calderón, A.P., Vaillancourt, R.: On the boundedness of pseudo-differential operators. J. Math. Soc. Jpn. 23, 374–378 (1971)
Calderón, A.P., Vaillancourt, R.: A class of bounded pseudo-differential operators. Proc. Natl. Acad. Sci. USA 69, 1185–1187 (1972)
Calderón, A.P., Zygmund, A.: On the existence of certain singular integrals. Acta Math. 88, 85–139 (1952)
Carbery, A.: Variants of the Calderón–Zygmund theory for Lp-spaces. Rev. Mat. Iberoamericana 2(4), 381–396 (1986)
Cardona, D.: Besov continuity of pseudo-differential operators on compact Lie groups revisited. C. R. Math. Acad. Sci. Paris 355(5), 533–537 (2017)
Cardona, D., Delgado, J., Ruzhansky, M.: Lp-bounds for pseudo-differential operators on graded Lie groups. J. Geom. Anal. 31, 11603–11647 (2021)
Cardona, D., Ruzhansky, M.: Pseudo-differential operators and Fourier integral operators on compact Lie groups. Submitted. arXiv:2008.09651
Cardona, D., Ruzhansky, M.: Fourier multipliers for Triebel–Lizorkin spaces on compact Lie groups. To appear in Collect. Math. (2021). arXiv:2101.12314
Cardona, D., Ruzhansky, M.: Fourier multipliers for Triebel–Lizorkin spaces on graded Lie groups. arXiv:2101.05856
Cardona, D., Ruzhansky, M.: Boundedness of oscillating singular integrals on Lie groups of polynomial growth. Submitted. arXiv:2201.12883
Cardona, D., Ruzhansky, M.: Weak (1,1) continuity and \(L^p\)-theory for oscillating singular integral operators. Submitted. arXiv:2201.12881
Chen, J., Fan, D.: Central oscillating multipliers on compact Lie groups. Math. Z. 267, 235–259 (2011)
Chen, P., Ouhabaz, E.M., Sikora, A., Yan, L.: Restriction estimates, sharp spectral multipliers and endpoint estimates for Bochner–Riesz means. arXiv:1202.4052
Córdoba, A., Stein, E., Tao, T., Nirenberg, L., Kohn, J.J., Chang, S.-Y.A., Graham, R.C., Córdoba, D., Klartag, B., Fröhlich, J., Seco, L., Weinstein, M.: Ad honorem Charles Fefferman. Not. Am. Math. Soc. 64(11), 1254–1273 (2017)
Coifman, R., Weiss, G.: Multiplier transformations of functions on SU(2) and \(\Sigma _2\). Rev. Un. Mat. Argentina 25, 145–166 (1970)
Coifman, R.R., De Guzmán, M.: Singular integrals and multipliers on homogeneous spaces. Rev. un. Mat. Argentina. 137–143 (1970)
Coifman, R., Weiss, G.: Analyse harmonique non-commutative sur certains espaces homogénes. (French) Étude de certaines intégrales singuliéres. In: Lecture Notes in Mathematics, vol. 242, pp. v+160. Springer, Berlin–New York (1971)
Cowling, M., Sikora, A.: A spectral multiplier theorem for a sub Laplacian on SU(2). Math. Z. 238, 1–36 (2001)
Delgado, J., Ruzhansky, M.: \(L^p\)-bounds for pseudo-differential operators on compact Lie groups. J. Inst. Math. Jussieu 18(3), 531–559 (2019)
Duoandikoetxea, J.: Fourier Analysis, vol. 29. American Mathematical Society, Providence (2000)
Fefferman, C.: Inequalities for strongly singular integral operators. Acta Math. 24, 9–36 (1970)
Fefferman, C., Stein, E.: \(H^p\) spaces of several variables. Acta Math. 129, 137–193 (1972)
Fischer, V., Ruzhansky, M.: Fourier multipliers on graded Lie groups. Colloq. Math. 165, 1–30 (2021)
Folland, G.B.: Real Analysis: Modern Techniques and Their Applications. Wiley, New York (1999)
Grafakos, L.: Classical Fourier analysis, Third Edition, Graduate Texts in Mathematics, vol. 249. Springer, New York (2014)
Grafakos, L., Stockdale, C.B.: A limited-range Calderón–Zygmund theorem. Bull. Hellenic Math. Soc. 63, 54–63 (2019)
Grafakos, L.: Some remarks on the Miklhin–Hörmander and Marcinkiewicz multiplier theorems: a short historical account and a recent improvement. J. Geom. Anal. (To appear in a special volume in honor of E. M. Stein)
Grafakos, L., Honzík, P., Ryabogin, D.: On the p-independence property of Calderón–Zygmund theory. Journal fr die Reine Ang. Math. (Crelles Journal) 602, 227–234 (2007)
Hardy, G.H.: A theorem concerning Taylor’s series. Quart. J. Pure Appl. Math. 44, 147–160 (1913)
Hebish, W.: Calderón Zygmund decompositions on amenable groups. arXiv:1810.03566
Hirschman, I.I.: Multiplier transformations I. Duke Math. J. 222–242 (1956)
Hörmander, L.: Estimates for translation invariant operators in Lp spaces. Acta Math. 104, 93–139 (1960)
Hong, Q., Hu, G., Ruzhansky, M.: Fourier multipliers for Hardy spaces on graded Lie groups. arXiv:2101.07499
John, F., Nirenberg, L.: On functions of bounded mean oscillation. Commun. Pure Appl. Math. 14(3), 415–426 (1961)
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. (2022). https://doi.org/10.4171/JEMS/1191
Ruzhansky, M., Turunen, V.: Pseudo-differential Operators and Symmetries: Background Analysis and Advanced Topics, p. 724. Birkhauser, Basel (2010)
Ruzhansky, M., Wirth, J.: \(L^p\) Fourier multipliers on compact Lie groups. Math. Z. 280, 621–642 (2015)
Seeger, A.: Some inequalities for singular convolution operators in Lp-spaces. Trans. Am. Math. Soc. 308(1), 259–272 (1988)
Seeger, A., Sogge, C.D., Stein, E.M.: Regularity properties of Fourier integral operators. Ann. Math. 134(2), 231–251 (1991)
Stein, E.M.: Topics in Harmonic Analysis Related to the Littlewood-Paley Theory, Vol. 63 of Annals of Mathematics Studies. Princeton University Press, Princeton (1970)
Tao, T.: The weak-type \((1,1)\) of Fourier integral operators of order \(-(n - 1)/2,\). J. Aust. Math. Soc. 76(1), 1–21 (2004)
Taylor, M.: Pseudodifferential Operators. Princeton Univ. Press, Princeton (1981)
Wainger, S.: Special trigonometric series in \(k\)-dimensions. Mem. Am. Math. Soc. 59 (1965)
Weiss, N.: \(L^p\)-estimates for bi-invariant operators on compact Lie groups. Am. J. Math. 94, 103–118 (1972)
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 are supported by the FWO Odysseus 1 Grant G.0H94.18N: Analysis and Partial Differential Equations and by the Methusalem programme of the Ghent University Special Research Fund (BOF) (Grant number 01M01021). Michael Ruzhansky is also supported by EPSRC Grant EP/R003025/2.
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
Cardona, D., Ruzhansky, M. Oscillating singular integral operators on compact Lie groups revisited. Math. Z. 303, 26 (2023). https://doi.org/10.1007/s00209-022-03175-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209-022-03175-5