Abstract
We investigate the boundedness of Fourier multipliers on a compact Lie group when acting on Triebel-Lizorkin spaces. Criteria are given in terms of the Hörmander-Mihlin-Marcinkiewicz condition. In our analysis, we use the difference structure of the unitary dual of a compact Lie group. Our results cover the sharp Hörmander-Mihlin theorem on Lebesgue spaces and also other historical results on the subject.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let G be a compact Lie group. In this work we study sufficient conditions for the boundedness of Fourier multipliers on the Triebel Lizorkin spaces \(F^{r}_{p,q}(G)\) in terms of the Hörmander-Mihlin condition on their symbols. The Littlewood-Paley theorem states that \(L^p(G)\equiv F^{0}_{p,2}(G),\) so that in view of the classical results of Hörmander-Mihlin type (see Hörmander [34] and Mihlin [36] for instance), Triebel-Lizorkin spaces are a good substitute of \(L^p\)-spaces, when considering smoothness of distributions in different scales (see Triebel [50, 51] and [37, 38] for details).
The problem of finding conditions for the boundedness of Fourier multipliers on compact Lie groups started a long of time ago with the study of the theory of Fourier series of periodic functions on [0, 1], (functions on the torus \({\mathbb {T}}={\mathbb {R}}/{\mathbb {Z}}\)). Indeed, when classifying the boundedness of multipliers of the Fourier series,
it was observed by Marcinkiewicz in his classical 1939’s work [35] that the condition
assures the existence of a bounded extension of A on \(L^p({\mathbb {T}}),\) \(1<p<\infty .\) Denoting the difference operator on the lattice \({\mathbb {Z}},\) by \(\Delta \sigma :=\sigma (\cdot +1)-\sigma ,\) and by \(\Delta ^k,\) \(k\in {\mathbb {N}}_0,\) its successive iterations, the Marcinkiewicz condition (1.2) is satisfied by any sequence \((\sigma (\xi ))_{\xi \in {\mathbb {Z}}^n}\) such that
which should be, in principle, more easier to verify that (1.2). Another generalisation of Marcinkiewicz’s criterion for multipliers of the Fourier transform on \({\mathbb {R}}^n,\) was done by Mihlin [36], who stated that a function \(\sigma \in C^{\infty }({\mathbb {R}}^{n}\setminus \{0\}),\) satisfying estimates of the kind
has a multiplier A (of the Fourier transformFootnote 1 on \({\mathbb {R}}^n\)) defined by
admitting a bounded extension on \(L^p({\mathbb {R}}^n),\) for \(1<p<\infty .\) Subsequent generalisations to Mihlin’s theorem were done by Hörmander [34], Calderón and Torchinsky in [4], Taibleson and Weiss [49], Baernstein and Sawyer [3], Seeger [45,46,47] and many others. We refer the reader to Grafakos’ paper [30] (and reference therein) for a complete historical revision and for recent developments about Milhin-Hörmander and Marcinkiewicz multiplier theorems on \({\mathbb {R}}^n\).
Extensions of Marcinkiewicz, and Hörmander-Mihlin criteria have been proved in the context of Lie groups and several spaces of homogeneous type in the context of spectral multipliers of self-adjoint operators, e.g., sub-Laplacians, or of other operators with heat kernels satisfying Gaussian estimates, with general contexts that go beyond of the objective of this paper. In view of the extensive literature on the field, we will not review it here, but we refer the reader to [1, 2, 7, 13, 14, 19, 48, 53] and to the extensive list of references therein.
In the framework of Fourier multipliers on compact Lie groups, by using the Calderón-Zygmund type theory in Coifman and De Guzmán [16], the \(L^p\)-Fourier multipliers for SU(2) were investigated by Coifman and Weiss in their classical works [17, 18]. Subelliptic Spectral multipliers for \(L^p(\text {SU}(2))\) were also considered in Cowling and Sikora [14]. Later on, criteria for the \(L^p\)-boundedness of Fourier multipliers for arbitrary compact Lie groups G were given in [44], with a generalisation in [10, Section 5] to \(L^p\)-subelliptic Fourier multipliers.
One of the notable questions when studying the qualitative properties for multipliers on Lie groups is to endow (the spaces of discrete functions on) the unitary dual with a difference structure. So, fixing the unitary dual \({\widehat{G}}\) of an arbitrary compact Lie group G, when generalising the Marcinkiewicz condition on a Fourier multiplier A on G, associated to a sequence (called the symbol of A) \(\sigma :=\{\sigma (\xi )\}_{[\xi ]\in {\widehat{G}}},\)Footnote 2
the following questions arise:
-
(Q1):
how to define the difference operators \(\Delta ^{\alpha }\) on \({\widehat{G}},\) in such a way that they generalise the usual notion of difference operators on \({\mathbb {Z}}\cong \widehat{{\mathbb {T}}}\)?
-
(Q2):
which is the required order for the differences operators applied to \(\sigma \) in order that A admits a bounded extension on \(L^p(G)\)?
We note that (Q1) was satisfactorily solved in [44] by introducing a family of difference operators \(\Delta ^{\alpha }:={\mathbb {D}}_{\xi }^{\alpha },\) (defined in terms of the Fourier transform on G, as it was done in [40]) in terms of the unitary representations \(\xi :G\rightarrow \text {End}({\mathbb {C}}^{\ell })\)Footnote 3 of G. About (Q2), the following Marcinkiewicz type theorem was proved in [44].
Theorem 1.1
Let us assume that G is a compact Lie group of dimension n. Let \(\sigma \in \Sigma ({\widehat{G}})\)Footnote 4 be a symbol satisfying
Then \(A\equiv T_\sigma \) is of weak type (1, 1) and bounded on \(L^p(G)\) for all \(1<p<\infty .\) Moreover,
Remark 1.2
In the symbol condition (1.7),
is the system of eigenvalues of the Bessel potential operator \((1+{\mathcal {L}}_G)^{\frac{1}{2}}\) associated to the Laplacian on G, which can be defined as follows. Taking an arbitrary orthonormal basis \(X_{\mathfrak {g}}:=\{X_{1},\cdots , X_n\}\) of the Lie algebra \(\mathfrak {g}\) of G, with respect to the Killing form on \(\mathfrak {g},\) \({\mathcal {L}}_G:=-\sum _{i=1}^{n}X_{i}^2.\) We refer the reader to Remark 2.1 for details about the definition of the difference operators \({\mathbb {D}}^{\alpha }={\mathbb {D}}_1^{\alpha _1}\cdots {\mathbb {D}}_n^{\alpha _n} .\) They are compositions of differences operators \({\mathbb {D}}_{j}\) of first order associated to the entries of the matrix-function \(\xi _0(\cdot )-I_{d_{\xi _0}}\) for any choice of a unitary representation in every equivalence class \([\xi _0]\in {\widehat{G}}.\)
Remark 1.3
Theorem 1.1 was proved by using the Hörmander-Mihlin Theorem in [44, Page 630], see also Theorem 2.6.
Let us note that for graded Lie groups (e.g. the Heisenberg group, any stratified group and a wide class of nilpotent Lie groups where Rockland operators exist, see [26] for details) the Hörmander-Mihlin and the Marcinkiewicz conditions for \(L^p,\) Triebel-Lizorkin and Hardy spaces have been investigated in [8, 11, 12, 25].
In this work we investigate the Marcinkiewicz condition for multipliers on Triebel-Lizorkin spaces \(F^{r}_{p,q}(G)\) on G, extending in Theorem 1.4 to the case of compact Lie groups, the estimate of Seeger [47] for multipliers in Triebel-Lizorkin spaces \(F^{r}_{p,q}({\mathbb {R}}^n)\) on \({\mathbb {R}}^n.\) In order to present our main result, let us define the Triebel-Lizorkin spaces \(F^{r}_{p,q}(G),\) as they were introduced by the second author, Nursultanov and Tikhonov in [38]. So, let us fix \(\eta \in C^{\infty }_0({\mathbb {R}}^{+},[0,1]),\) \(\eta \ne 0,\) so that \(\text {supp}(\eta )\subset [1/2,2],\) and such that
Fixing \(\psi _0(\lambda ):=\sum _{j=-\infty }^{0} \eta _j(\lambda ),\) and for \(j\ge 1,\) \(\psi _j(\lambda ):=\eta (2^{-j}\lambda ),\) we have
and one can define the family of operators \(\psi _j({\mathcal {B}})\) using the functional calculus of the elliptic Bessel potential \({\mathcal {B}}:=(1+{\mathcal {L}}_G)^{\frac{1}{2}}.\) Then, for \(0<q<\infty ,\) and \(1<p<\infty ,\) the Triebel-Lizorkin space \(F^{r}_{p,q}(G)\) consists of the distributions \(f\in {\mathscr {D}}'(G)\) such that
The weak-\(F^{r}_{1,q}(G)\) space is defined by the distributions \(f\in {\mathscr {D}}'(G)\) such that
Above, for a measurable subset \(A\subset G,\) |A| denotes its Haar measure. The main results of this work are Theorem 1.4 below and the Hörmander-Mihlin Theorem 3.1.
Theorem 1.4
Let us assume that G is a compact Lie group of dimension n. Let \(\sigma \in \Sigma ({\widehat{G}})\) be a symbol satisfying
Then \(A\equiv T_\sigma \) extends to a bounded operator from \(F^{r}_{p,q}(G)\) into \(F^{r}_{p,q}(G)\) for all \(1<p,q<\infty ,\) and all \(r\in {\mathbb {R}}.\) For \(p=1,\) A admits a bounded extension from \(F^{r}_{1,q}(G)\) into \(\text {weak-}F^{r}_{1,q}(G).\) Moreover
Remark 1.5
The Marcinkiewicz Theorem 1.4 will be deduced, from the Hörmander-Mihlin Theorem 3.1 for Triebel-Lizorkin spaces. In particular, in view of the Littlewood-Paley theorem (see Furioli, Melzi and Veneruso [29]), we have \(L^p(G)=F^{0}_{p,2}(G)\) for \(1<p<\infty ,\) so that we recover the \(L^p\)-bound in Theorem 1.1. Because we are not assuming that the Fourier multipliers are defined by the spectral calculus, Theorem 3.1 extends the main theorem in Weiss [53] and also the historical 1939’s result due to Marcinkiwicz [35] (see Remark 4.7 and Corollary 4.8). As before, we refer the reader to Remark 2.1 for details about the definition of the difference operators \({\mathbb {D}}^{\alpha }={\mathbb {D}}_1^{\alpha _1}\cdots {\mathbb {D}}_n^{\alpha _n} .\)
2 Preliminaries
2.1 The unitary dual and the Fourier transform
First, let us record the notion of the unitary dual \({\widehat{G}}\) of a compact Lie group G. So, let us assume that \(\xi \) is a 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 .\)
Let \(\text {Rep}(G)\) be the set of unitary, continuous and irreducible representations of G. The relation,
for every \(x\in G,\) is an equivalence relation and the unitary dual of G, denoted by \({\widehat{G}}\) is defined via
By a suitable changes of basis, we always can assume that every \(\xi \) is matrix-valued and that \(H_{\xi }={\mathbb {C}}^{d_\xi }.\) If a representation \(\xi \) is unitary, then
is a subgroup (of the group of matrices \({\mathbb {C}}^{d_\xi \times d_\xi }\)) which is isomorphic to the original group G. Thus the homomorphism \(\xi \) allows us to represent the compact Lie group G as a group of matrices. This is the motivation for the term ‘representation’. Here, as usually,
is the matrix-valued Fourier transform of \(f\in C^{\infty }_0(G)\) at \(\xi =(\xi _{ij})_{i,j=1}^{d_\xi }.\)
2.2 Difference operators
Difference operators on compact Lie groups were introduced in [40] to endow the unitary dual of a compact Lie group with a difference structure. In terms of them, Hörmander classes of pseudo-differential operators on a compact Lie group can be characterised, see [41,42,43]. Same as in [44], where differences operators were used to study \(L^p\)-multipliers we will extend that analysis to the case of Triebel-Lizorkin spaces (see [37, 38] for instance).
We will denote by \(\Sigma ({\widehat{G}}) \) the space of matrix-valued functions,
By following [44], a difference operator \(Q_\xi \) of order k, can be applied to a symbol \(\sigma ={\widehat{f}}\in {\mathscr {D}}'({\widehat{G}}), \) via
where \(Q_\xi \) is associated with a smooth function q vanishing of order k at the identity \(e=e_G.\) We will denote by \(\text {diff}^k({\widehat{G}})\) the set of all difference operators of order k. For a fixed smooth function q, the associated difference operator will be denoted by \(\Delta _q:=Q_\xi .\) We will choose an admissible collection of difference operators (see e.g. [44]),
where
We say that this admissible collection is strongly admissible if
Remark 2.1
A special type of difference operators can be defined by using the unitary representations of G. Indeed, if \(\xi _{0}\) is a fixed irreducible and unitary representation of G, consider the matrix
Then, we associated to the function \( q_{ij}(g):=\xi _{0}(g)_{ij}-\delta _{ij},\quad g\in G, \) a difference operator via
If the representation is fixed we omit the index \(\xi _0\) so that, from a sequence \({\mathbb {D}}_1={\mathbb {D}}_{\xi _0,j_1,i_1},\cdots , {\mathbb {D}}_n={\mathbb {D}}_{\xi _0,j_n,i_n}\) of operators of this type we define \({\mathbb {D}}^{\alpha }={\mathbb {D}}_{1}^{\alpha _1}\cdots {\mathbb {D}}^{\alpha _n}_n\), where \(\alpha \in {\mathbb {N}}^n\).
Remark 2.2
(Leibniz rule for difference operators) The difference structure on the unitary dual \({\widehat{G}},\) induced by the difference operators acting on the momentum variable \([\xi ]\in {\widehat{G}},\) implies the following Leibniz rule
for \(a_{1},a_{2}\in C^{\infty }(G, {\mathscr {D}}'({\widehat{G}})).\) For details we refer the reader to [44, Page 631].
Remark 2.3
(Difference operators of fractional order and Sobolev spaces on the unitary dual) In the spirit of the Sobolev spaces on the unitary dual of a graded Lie group [24], Sobolev spaces also can be defined for the unitary dual of a compact Lie group. They can be defined as follows: Let \(\Delta _{q_{1}},\) be a difference operator of first order associated to a smooth and non-negative function \(q_1\ge 0.\) For \(s\in {\mathbb {R}},\) the Sobolev space \({\dot{L}}^{2}_s({\widehat{G}})\) consists of all distributions \(\sigma ={\widehat{f}}\in {\mathscr {D}}'(G)\) such that
For \(s\in {\mathbb {N}},\) observe that,
So, for every \(s\in {\mathbb {R}},\) the difference operator \( \Delta _{q_{1}}^{s}:=\Delta _{q_{1}^{s}}\) of fractional order s, can be defined in terms of the Fourier transform, via:
So, we have \(\Vert \sigma \Vert _{{\dot{L}}^{2}_s({\widehat{G}})}:=\Vert \Delta _{q_{1}}^{s}{\widehat{f}}\Vert _{L^2({\widehat{G}})}.\) We will denote
2.3 Calderón-Zygmund type estimates for multipliers
In order to provide \(L^p\)-estimates for multipliers in the subelliptic context, we will use the techniques developed by the second author and J. Wirth in [44], where a special case (compatible with the notion of difference operators and the difference structure that they provide for the unitary dual) of a statement of Coifman and de Guzmán ([16], Theorem 2) was established. We record it as follows (see [44, p. 630]).
Theorem 2.4
(Hörmander-Mihlin Theorem for \(L^p(G)\)) Assume that \(A:L^2(G)\rightarrow L^2(G)\) is a left-invariant operator on G satisfying
for some \(\varepsilon >0,\) uniformly in \(r>0.\) Then A is of weak type (1, 1) and bounded on \(L^p(G),\) for all \(1<p<\infty .\)
The family \(\{\psi _r\}_{r>0}\) that appears in Theorem 2.4 is defined by
where the functions in the net \(\{\phi _r\}_{r>0},\) satisfy, among other things, the following properties (see [44, Lemma 3.3]):
-
\(\int \limits _{G}\phi _{r}(x)dx=1,\)
-
\(\int \limits _{G}\phi _{r}^2(x)dx=O(\frac{1}{r}),\)
-
\(\phi _r*\phi _s=\phi _s*\phi _r,\) \(r,s>0.\)
The function \(\rho :x\mapsto \rho (x),\) appearing in (2.8), is a suitable pseudo-distance defined on G. If G is semi-simple (this means that the centre of G, Z(G) is trivial), it is defined by
where \(\text {Ad}:G\rightarrow \text {U}(\mathfrak {g}),\) and \(\Delta _0\) is the system of positive roots. It can be decomposed into irreducible representations as,
where \(e_{{\widehat{G}}}\) is the trivial representation. With the consideration on the centre \(Z(G)=\{e_{G}\},\) it can be shown (see Lemma 3.1 of [44]) that
-
\(\rho ^2(x)\geqslant 0\) and \(\rho (x)=0\) if and only if \(x=e_{G}.\)
-
\(\Delta _{\rho ^2}\in \text {diff}^2({\widehat{G}}).\)
If G is not semi-simple, we refer the reader to [44, Remark 3.2] for the modifications in the definition of \(\rho ,\) in this particular case. The construction of the functions \(\phi _r,\) is as follows. By choosing \(\tilde{\phi }\in C^{\infty }_0({\mathbb {R}})\) such that \(\tilde{\phi }\ge 0,\) \(\tilde{\phi }(0)\equiv 1,\) and \(\partial _{t}^{\ell }\tilde{\phi }(0)=0,\) for \(\ell \ge 1,\) we define
with the normalisation condition used to define \(c_{r}.\) An equivalent statement to the Hörmander-Mihlin Theorem 2.4 will be given in terms of the family of functions \( \varphi _{r^{-1}}\equiv \psi _{r^{-n}},\,r>0, \) (see Theorem 2.6) that provide a continuous dyadic decomposition.
2.4 \(L^p(G)\)-boundedness of Fourier multipliers
In this subsection we recall the Hörmander-Mihlin theorem and the Marcinkiewicz-Mihlin theorem for \(L^p\)-multipliers on compact Lie groups [44].
Remark 2.5
Let A be a Fourier multiplier with symbol \(\sigma .\) Let us observe that that Theorem 2.4 can be re-written in terms of the Sobolev spaces \({\dot{L}}^{2}_s({\widehat{G}})\) on the unitary dual, showing that, (2.8) is indeed, an analogue on compact Lie groups of the Hörmander-Mihlin theorem in [34]. So, with the notation in Theorem 2.4, and making use of the Plancherel theorem, we have
where \(s:={n(1+\varepsilon )}/{2}>n/2.\) Observing that \(\frac{\varepsilon }{2}=\frac{1}{n}(s-\frac{n}{2}),\) and that \(A:L^{2}(G)\rightarrow L^2(G)\) is bounded if and only if, \( \Vert \sigma \Vert _{L^{\infty }({\widehat{G}})}:=\sup _{[\xi ]\in {\widehat{G}}}\Vert \sigma (\xi )\Vert _{\text {op}}<\infty ,\) Theorem 2.4 is equivalent to the following theorem. We set
for the continuous dyadic approximation of the identity in (2.9).
Theorem 2.6
(Hörmander-Mihlin Theorem for \(L^p(G)\)) Let G be a compact Lie group and let \(s>\frac{n}{2}\). Let \(\sigma \in \Sigma ({\widehat{G}})\) be a symbol satisfying
Then \(A\equiv T_\sigma \) is of weak type (1, 1) and bounded on \(L^p(G)\) for all \(1<p<\infty .\)
We present Theorem 1.1 in the following form.
Theorem 2.7
(Marcinkiewicz-Mihlin Theorem) Let G be a compact Lie group and let \(\varkappa \in 2{\mathbb {N}}\) be such that \(\varkappa >\frac{n}{2}\). Let \(\sigma \in \Sigma ({\widehat{G}})\) be a symbol satisfying
Then \(A\equiv T_\sigma \) is of weak type (1, 1) and bounded on \(L^p(G)\) for all \(1<p<\infty .\)
Remark 2.8
Several properties for the Sobolev spaces \(L^2_s({\widehat{G}})\) on the unitary dual were established in [23]. In particular, the Hörmander-Mihlin Theorem 2.6 was re-obtained, by observing that the \(L^p(G)\)-boundedness and the weak (1,1) type of a Fourier multiplier, also can be obtained if one verifies the following condition:
for any \(\eta \ne 0,\) \(\eta \in C^{\infty }_0({\mathbb {R}}^{+}_0),\) and \(s>n/2.\) Both Hörmander-Mihlin conditions ((2.12) or (2.13)) allow us to write Theorem 2.7 in the form of Theorem 1.1.
Remark 2.9
The boundedness of pseudo-differential operators on compact Lie groups, including oscillating Fourier multipliers, on \(L^p,\) subelliptic Sobolev and Besov spaces can be found in [8, 15] and [5, 6, 12]. The boundedness of Fourier multipliers on \(L^p\)-spaces, Triebel-Lizorkin spaces and Hardy spaces on graded Lie groups can be found in [8, 25] and [33], respectively.
2.5 Triebel-Lizorkin spaces on compact Lie groups
In this section, Triebel-Lizorkin spaces on compact Lie groups are introduced. This family of spaces was introduced by the second author, Nursultanov and Tikhonov in [38] by using a dyadic partition of the spectral resolution of the Bessel potential \({\mathcal {B}}=(1+{\mathcal {L}}_G)^{\frac{1}{2}}\).
As in the introduction, let us fix \(\eta \in C^{\infty }_0({\mathbb {R}}^{+},[0,1]),\) \(\eta \ne 0,\) so that \(\text {supp}(\eta )\subset [1/2,2],\) and such that
Fixing \(\psi _0(\lambda ):=\sum _{j=-\infty }^{0} \eta _j(\lambda ),\) and for \(j\ge 1,\) \(\psi _j(\lambda ):=\eta (2^{-j}\lambda ),\) we have
Let us define the family of operators \(\psi _j({\mathcal {B}})\) using the functional calculus. Then, for \(0<q<\infty ,\) and \(1<p<\infty ,\) the Triebel-Lizorkin space \(F^{r }_{p,q}(G)\) consists of the distributions \(f\in {\mathscr {D}}'(G)\) such that
and for \(p=1,\) the weak-\(F^{r}_{1,q}(G)\) space is defined by the distributions \(f\in {\mathscr {D}}'(G)\) such that
In the following theorem we present some embedding properties for Triebel-Lizorkin spaces. For the proof of Theorem 2.10 and for a consistent investigation of Triebel-Lizorkin spaces on compact Lie groups, we refer the reader to [38].
Theorem 2.10
Let G be a compact Lie group. Then we have the following properties:
-
(1)
\(F^{r+\varepsilon ,{\mathcal {L}} }_{p,q_1}(G)\hookrightarrow F^{r,{\mathcal {L}} }_{p,q_1}(G) \hookrightarrow F^{r,{\mathcal {L}} }_{p,q_2}(G) \hookrightarrow F^{r,{\mathcal {L}} }_{p,\infty }(G),\) \(\varepsilon >0,\) \(0\le p\le \infty ,\) \(0\le q_1\le q_2\le \infty .\)
-
(2)
\(F^{r+\varepsilon ,{\mathcal {L}} }_{p,q_1}(G) \hookrightarrow F^{r,{\mathcal {L}} }_{p,q_2}(G), \) \(\varepsilon >0,\) \(0\le p\le \infty ,\) \(1\le q_2< q_1< \infty .\)
-
(3)
\(F^{r}_{p,2}(G)=L^p_r(G)\) for all \(r\in {\mathbb {R}},\) and all \(1<p<\infty ,\) where \(L^p_r(G)\) are the standard Sobolev spaces on G.
Remark 2.11
Let us observe that (3) in Theorem 2.10 is a consequence of the Littlewood-Paley theorem. For details we refer the reader to Furioli, Melzi and Veneruso [29].
3 Proof of the Marcinkiewicz theorem 1.4
Let us fix \(\eta \in C^{\infty }_0({\mathbb {R}}^{+},[0,1]),\) \(\eta \ne 0,\) so that \(\text {supp}(\eta )\subset [1/2,2],\) and such that
By defining \(\psi _0(\lambda ):=\sum _{j=-\infty }^{0} \eta _j(\lambda ),\) and for \(j\ge 1,\) \(\psi _j(\lambda ):=\eta (2^{-j}\lambda ),\) we obviously have
First, let us deduce the proof of Theorem 1.4 from the following result, which will be proved in Sect. 4. The distribution \(\vartheta _{t}:=\eta (t{\mathcal {B}})\delta \) denotes the right-convolution kernel of the operator \(\eta (t{\mathcal {B}}).\)
Theorem 3.1
(Hörmander-Mihlin Theorem for \(F^{r}_{p,q}(G)\)) Let us consider a Fourier multiplier \(A:C^{\infty }(G)\rightarrow L^2(G)\) satisfying the symbol condition
with \(s>\frac{n}{2}.\) Then \(A\equiv T_\sigma \) extends to a bounded operator from \(F^{r}_{p,q}(G)\) into \(F^{r}_{p,q}(G)\) for all \(1<p,q<\infty ,\) and all \(r\in {\mathbb {R}}.\) For \(p=1,\) A admits a bounded extension from \(F^{r}_{1,q}(G)\) into \(\text {weak-}F^{r}_{1,q}(G).\) Moreover
Remark 3.2
Note that the Fourier transform of the distribution \(\vartheta _{t}:=\eta (t{\mathcal {B}})\delta \) is given by
and that \(A:L^2(G)\rightarrow L^2(G)\) is bounded if and only if \(\Vert \sigma \Vert _{L^\infty ({\widehat{G}})}<\infty .\) Let \(\Delta _{q_1^s}\in \text {diff}^{\,s}({\widehat{G}})\) be a fractional difference operator of order \(s:=\frac{n+\varepsilon }{2},\) with \(\varepsilon >0.\) If \(A:L^2(G)\rightarrow L^2(G)\) is bounded and it satisfies the (Coifman-Weiss type) condition
uniformly in \(r>0,\) the Plancherel Theorem makes the hypothesis in Theorem 3.1 equivalent to (3.6). Moreover, (3.4) is equivalent to
in view of (3.5).
Four our further analysis we will use the following auxiliary estimate.
Lemma 3.3
Let A be a Fourier multiplier satisfying the hypothesis in Theorem 1.4. Then, the following estimate holds,
provided that \(s>n/2,\) \(s\in {\mathbb {N}}.\) Moreover, the right-convolution kernel \(\kappa _{\ell }\) of \(A\psi _{\ell },\) satisfies the uniform estimate in \(\ell \in {\mathbb {Z}},\)
Proof
That (3.9) is a consequence of (3.8) was proved in [23, Page 38]. So, let us continue with the first part of the lemma. Let us observe that, (in view of Proposition 4.13 in [23]), we have the following norm estimates
in the sense that if the right-hand side is finite then the left-hand side is finite and the inequality holds. So, applying (3.10) to \(\tau =\psi _\ell (\langle \xi \rangle )I_{d_\xi },\) we have
Observe that,
Also, in view of Lemma 5.4 of [23], for any positive and smooth function \(f\in C^{\infty }_{0}({\mathbb {R}}),\) supported in [0, a] with \(a>0,\) one has
which applied to \(f=\psi \) and \(t=2^{-\ell },\) gives
The analysis above shows that
Thus, the proof is complete. \(\square \)
Proof of Theorem 1.4
In view of Lemma 3.3, we have that
In view of the Hörmander-Mihlin Theorem 3.1 applied to \(s:=[\frac{n}{2}]+1\), \(A\equiv T_\sigma \) extends to a bounded operator from \(F^{r}_{p,q}(G)\) into \(F^{r}_{p,q}(G)\) for all \(1<p,q<\infty ,\) and all \(r\in {\mathbb {R}}.\) For \(p=1,\) A admits a bounded extension from \(F^{r}_{1,q}(G)\) into \(\text {weak-}F^{r}_{1,q}(G).\) \(\square \)
4 Proof of the Hörmander-Mihlin theorem 3.1
Let us define the vector-valued operator \(W:L^2(G,\mathbb {\ell }^2({\mathbb {N}}_0))\rightarrow L^2(G,\mathbb {\ell }^2({\mathbb {N}}_0))\) by
Observe that W is well-defined (bounded from \(L^2(G,\mathbb {\ell }^2({\mathbb {N}}_0))\) into \(L^2(G,\mathbb {\ell }^2({\mathbb {N}}_0)\))), because A admits a bounded extension on \(L^2(G)\) and also, in view of the following estimate
So, observe that in order to prove Theorem 3.1 it is enough to prove the following two lemmas and the estimate (3.4).
Lemma 4.1
Let G be a compact Lie group and let \(1<q<\infty .\) Then, \(W:L^q(G, {\ell }^q({\mathbb {N}}_0))\rightarrow L^q(G, {\ell }^q({\mathbb {N}}_0))\) admits a bounded extension.
Lemma 4.2
Let G be a compact Lie group and let \(1<q<\infty .\) Then, \(W:L^1(G, {\ell }^q({\mathbb {N}}_0))\rightarrow L^{1,\infty }(G, {\ell }^q({\mathbb {N}}_0))\) admits a bounded extension.
Corollary 4.3
Let G be a compact Lie group and let \(1<p,q<\infty .\) Then, \(W:L^p(G, {\ell }^q({\mathbb {N}}_0))\rightarrow L^{p}(G, {\ell }^q({\mathbb {N}}_0))\) admits a bounded extension.
Proof
Indeed, by the Marcinkiewicz interpolation, these two lemmas are enough to show that \(W:L^p(G, {\ell }^q({\mathbb {N}}_0))\rightarrow L^{p}(G, {\ell }^q({\mathbb {N}}_0))\) admits a bounded extension for all \(1<p\le q<\infty .\) The case \(1<q\le p<\infty \) follows from the fact that \(L^{p'}(G, {\ell }^{q'}({\mathbb {N}}_0))\) is the dual of \(L^{p}(G, {\ell }^{q}({\mathbb {N}}_0))\) and also that Lemma 4.1 and Lemma 4.2 hold if we change A by its standard \(L^2\)-adjoint. \(\square \)
Indeed, we clarify this claim in the following remark.
Remark 4.4
(Lemma 4.2 and Corollary 4.3 imply Theorem 3.1) By observing that \((1+{\mathcal {B}})^{\frac{r}{2}}:F^{r}_{p,q}(G)\rightarrow F^{0}_{p,q}(G)\) and \( (1+{\mathcal {B}})^{-\frac{r}{2}}: F^{0}_{p,q}(G)\rightarrow F^{r}_{p,q}(G)\) are both isomorphisms, it is enough to prove that A admits a bounded extension from \( F^{0}_{p,q}(G)\) into \( F^{0}_{p,q}(G).\) By defining \(\psi _{-1}=\psi _0,\) from Corollary 4.3 we have that
Also note that from Lemma 4.2, we have
By having observed that Lemmas 4.1 and 4.2 imply Corollary 4.3, and that these lemmas are enough for proving Theorem 3.1, we will proceed with their proofs. For this, let us recall that on any amenable topological group, and also in several spaces of homogeneous type one has the Calderón-Decomposition lemma.
Remark 4.5
For any non-negative function \(f\in L^1(G),\) one has its Calderón-Zygmund decomposition. Indeed, by following Hebish [31], (whose construction remains valid for any amenable group, in particular, compact Lie groups) one can obtain a suitable family of disjoint open sets \(\{I_j\}_{j=0}^{\infty }\) such that
-
\(f(x)\le t,\) for a.e. \(x\in G\setminus \cup _{j\ge 0}I_j,\)
-
\(\sum _{j\ge 0}|I_j|\le \frac{C}{t}\Vert f\Vert _{L^1(G)},\) and
-
\(t|I_j|\le \int _{I_j}f(x)dx\le 2|I_j|t,\) for all j.
Now, for every \(j\in {\mathbb {N}}_0,\) let us define \(R_j\) by
where \(B(z_j,R)=\{x\in I_j:|z_j^{-1}x|<R\}.\) Every \(I_j\) is bounded, and one can assume that \(I_j\subset B(z_j,2R_j),\) where \(z_j\in I_j.\) Let us note that by assuming \(f(e_G)>t,\) (this can be done, just by re-defining \(f\in L^1(G)\) at the identity element \(e_G\) of G) we should have that
because \(f(x)\le t,\) for a.e. \(x\in G\setminus \cup _{j\ge 0}I_j.\)
Let us define, for every \(x\in I_j,\)
and for \(x\in G\setminus \cup _{j\ge 0}I_j,\) \( g(x)=f(x),\,\,\, b(x)=0. \) Then, one has the decomposition \(f=g+b,\) with b having null average on \(I_j.\)
Proof of Lemma 4.1
Let us fix \(f\in L^1(G)\) to be a non-negative function, and let us consider its Calderón-Zygmund decomposition \(f=g+b\) as in Remark 4.5. It is enough to demonstrate that the linear operators \(W_{\ell },\) \(\ell \in {\mathbb {N}}_0,\) are uniformly bounded on \(L^q(G),\) \(1<q<\infty .\) This fact is straightforward if \(q=2,\) so it is suffices (by the duality argument) that the operators \(W_{\ell }\) are uniformly bounded from \(L^1(G)\) into \(L^{1,\infty }(G).\) So, we will prove the existence of \(C>0,\) independent of \(f\in L^1(G),\) and \(\ell \in {\mathbb {N}}_0,\) such that
Let us remark that for every \(x\in I_j,\)
By the Minkowski inequality, we have
In view of the Chebyshev inequality, we get
in view of the \(L^2(G)\)-boundedness of A and the fact that the operators \(\psi _{\ell }({\mathcal {B}})\) are \(L^2(G)\)-bounded uniformly in \(\ell \in {\mathbb {N}}_0.\) Additionally, note that the estimate
implies that
Taking into account that \(b\equiv 0\) on \(G\setminus \cup _j I_j,\) we have that
Let us assume that \(I_{j}^*\) is an open set, such that \(I_j\subset I_j^*,\) and \(|I_{j}^*|=K|I_{j}|\) for some \(K>0,\) and \(\text {dist}(\partial I_{j}^*,\partial I_{j})\ge 4c\,\text {dist}(\partial I_{j},e_{G}),\) where \(c>0\) and \(e_{G}\) is the identity element of G. So, by the Minkowski inequality we have
Consequently, we deduce the estimates
Now, using the Chebyshev inequality to estimate the right hand side above we obtain
From now, let us denote by \(\kappa _\ell \) the right convolution kernel of \(W_\ell :=A\psi _\ell ({\mathcal {B}}) .\) Observe that
By using that the average of \(b_{k}\) on \(I_k\) is zero, \(\int _{I_k}b_{k}(z)dz=0,\) we have
Assuming the following uniform estimate
we have
So, if we prove the uniform estimate (4.7), we obtain the weak (1,1) inequality for \(f\in L^1(G),\) \(f\ge 0\). For the proof of (4.7) let us use the estimates of the Calderón-Zygmund kernel of every operator \(W_{\ell }.\) Before continuing with the proof let us use the following geometrical property of the open sets \(I_{j},\) \(j\ge 0\): \(\square \)
Lemma 4.6
Let us consider (4.3). Then, with the notation above, for any \( x\in G\setminus \cup _jI_j^*,\) and for all \(z\in {I_k},\) we have \(|z|\lesssim |x|,\) i.e. for some \(c>0,\) \( 4c|z|\le |x|.\)
We will postpone the proof of Lemma 4.6 for a moment to continue with the proof of Lemma 4.1, in order to use the estimate \( 4c|z|\le |x| ,\) for \( x\in G\setminus \cup _jI_j^*,\) \(z\in {I_k},\) together with (3.9) in Lemma 3.3 for \(\ell \ge 0,\) as follows,
The estimate above implies that
So, we have (4.5) for \(f\in L^1(G)\) with \(f\ge 0.\) Note that if \(f\in L^1(G)\) is real-valued, one can decompose \(f=f^+-f^-,\) as the difference of two non-negative functions, where \(f^+,f^-\in L^1(G), \) and \(|f|=f^++f^{-}.\) Because \(f^+,f^-\le |f|,\) we have
A similar analysis, by splitting a complex function \(f\in L^1(G)\) into its real and imaginary parts allows to conclude the weak (1,1) inequality (4.5) to complex functions. Thus, the proof of Lemma 4.1 would be complete if we prove Lemma 4.6. That lemma was proved in [8, Page 17] for graded Lie groups and the same proof applies for any amenable group (see Hebish [31]), we will present the proof here for the case of a compact Lie group G for completeness.
Proof of Lemma 4.6
In view of the estimate \(\text {dist}(\partial I_{j}^*,\partial I_{j})\ge 4c\text {dist}(\partial I_{j},e_{G}),\) we will prove that for \(x\in G\setminus \cup _jI_j^*,\) and all \(z\in I_{k},\) \(4c|z|=4c\times \text {dist}(z,e_G)\lesssim \text {dist}(\partial I_{k}^*,\partial I_{k}) \le |x|.\) Indeed, fix \(\varepsilon >0,\) and let us take \(w\in \partial I_{k},\) and \(w'\in \partial I_{k}^*\) such that \(d(w,w')\le \text {dist}(\partial I_{k},\partial I_{k}^*)+\varepsilon . \) Then, from the triangle inequality, we have
where in the last line we have assumed that \(\text {diam}(I_k)\asymp \text {dist}(\partial I_{k},\partial I_{k}^*),\) (with constants of proportionality independent in k) and that \(\text {dist}(\partial I_{k},\partial I_{k}^*)\) is proportional to \(R_k\) in view of the relation \(|I_k^*|=K|I_k|.\) Assuming (4.9), one has that for all \(\varepsilon >0,\) \( d(z,e_G)\lesssim \text {dist}(\partial I_{k},\partial I_{k}^*)+\varepsilon ,\) which implies that
To show that the proportionality constant in (4.10) is uniform in k, let us recall the definition of the radii \(R_{k}'s\) in (4.2), that \(B(z_k,R_{k})\subset I_k\subset B(z_{k},2R_{k}),\) and that \(B(z_k,R_{k}/C)\subset I_{k}^{*}\subset B(z_k, CR_{k})\) for some \(C>2\) independent of k, where for any k, \(z_k\in I_{k}.\) From this remark observe that:
-
The condition \(B(z_k,R_{k})\subset I_k\subset B(z_{k},2R_{k}),\) implies that \(2R_k\le \text {diam}(I_k)\le 4R_{k}. \)
-
That \(B(z_k,R_{k})\subset I_k\subset I_{k}^{*}\subset B(z_{k},CR_{k}),\) implies that
$$\begin{aligned} \text {dist}(\partial I_{k},\partial I_{k}^*) \le \text {dist}(\partial B(z_{k},R_{k}),\partial B(z_{k},CR_{k}))=(C-1)R_{k}. \end{aligned}$$On the other hand, by observing that in every step above we can replace \(I_{k}^{*}:=B(z_{k},CR_{k}),\) in view of the inclusion
$$\begin{aligned} I_k\subset B(z_{k},2R_{k}) \subset I_{k}^{*}:= B(z_{k},CR_{k}), \end{aligned}$$we have
$$\begin{aligned} (C-2)R_k=\text {dist}(\partial I_{k}^{*},\partial B(z_{k},2R_{k}) ) \le \text {dist}(\partial I_{k},\partial I_{k}^*) . \end{aligned}$$
Consequently,
To show that \(\text {dist}(\partial I_{k}^*,\partial I_{k}) \le |x|,\) observe that from Remark 4.3, \(e_{G}\in \cup _{j}I_j,\) and because of \(x\in G\setminus \cup _{j}I_j,\)
So, we have guaranteed the existence of a positive constant, which we again denote by \(c>0,\) such that, \(\{x\in G: x\in G\setminus \cup _jI_j^*\}\subset \{x\in G:\text { for all } z\in {I_k},\,\,\, 4c|z|\le |x| \}.\) \(\square \)
Proof of Lemma 4.2
Now, we claim that
extends to a bounded operator. For the proof of (4.11), we need to show that there exists a constant \(C>0\) independent of \(\{f_\ell \}\in L^1(G,\ell ^r({\mathbb {N}}_0))\) and \(t>0,\) such that
So, fix \(\{f_\ell \}\in L^1(G,\ell ^r({\mathbb {N}}_0))\) and \(t>0,\) and let \(h(x):= \left( \sum _{\ell =0}^\infty | f_\ell (x)|^r \right) ^{\frac{1}{r}}.\) Apply the Calderón-Zygmund decomposition Lemma to \(h\in L^1(G)\) in Remark 4.5 in order to obtain a disjoint collection \(\{I_j\}_{j=0}^{\infty }\) of disjoint open sets such that
-
\(h(x)\le t,\) for a.e. \(x\in G\setminus \cup _{j\ge 0}I_j,\)
-
\(\sum _{j\ge 0}|I_j|\le \frac{C}{t}\Vert h\Vert _{L^1(G)},\) and
-
\(t\le \frac{1}{|I_j|}\int _{I_j}h(x)dx\le 2t,\) for all j.
Now, we will define a suitable decomposition of \(f_\ell ,\) for every \(\ell \ge 0.\) Recall that every \(I_j\) is bounded, and that \(I_j\subset B(z_j,2R_j),\) where \(z_j\in I_j\) (see Remark 4.5). Let us define, for every \(\ell ,\) and \(x\in I_j,\)
and for \(x\in G\setminus \cup _{j\ge 0}I_j,\)
So, for a.e. \(x\in G,\) \(f_\ell (x)=g_\ell (x)+b_\ell (x).\) Note that for every \(1<r<\infty ,\) \(\Vert \{g_\ell \}\Vert _{L^r(\ell ^r)}^r\le t^{r-1}\Vert \{f_\ell \} \Vert _{L^1(\ell ^r)}. \) Indeed, for \(x\in I_j\), Minkowski integral inequality gives,
Consequently,
and from the fact that \(h(x)\le t,\) for a.e. \(x\in G\setminus \cup _{j\ge 0}I_j,\) we have
Now, by using the Minkowski and the Chebyshev inequality, we obtain
In view of Lemma 4.1, \(W:L^r(G,\ell ^r({\mathbb {N}}_0))\rightarrow L^r(G,\ell ^r({\mathbb {N}}_0)),\) extends to a bounded operator and
Consequently,
Now, we only need to prove that
Taking into account that \(b_\ell \equiv 0\) on \(G\setminus \cup _j I_j,\) we have that
Let us assume that \(I_{j}^*\) is a open set, such that \(|I_{j}^*|=K|I_{j}|\) for some \(K>0,\) and \(\text {dist}(\partial I_{j}^*,\partial I_{j})\ge c\text {dist}(\partial I_{j},e_{G}),\) where \(e_{G}\) is the identity element of G. So, by the Minkowski inequality we have,
Taking into account that
we get
Observe that the Chebyshev inequality implies
Now, if \(\kappa _\ell \) is the right convolution Calderón-Zygmund kernel of \(W_{\ell } ,\) and by using that \(\int _{I_k}b_{k,\ell }(y)dy=0,\) we have that
Now, we will proceed as follows. By using that \( |b_{\ell ,k}(y)|^r\le \sum _{\ell '=0}^{\infty }|b_{\ell ',k}(y)|^r, \) by an application of the Minkowski integral inequality, we have
Consequently, we deduce,
Let us recall that for \(x\in G\setminus \cup _jI_j^*,\) and \(y\in I_{k},\) in view of Lemma 4.6, we have that \(4c|y| \le |x|.\) So,
Now, in view of (3.9) in Lemma 3.3 with \(\ell \ge 0,\) we deduce (4.8) and as a consequence we get
Thus, we have proved the estimate
Thus, the proof of the weak (1,1) inequality is complete and we have that
admits a bounded extension. The proof of Lemma 4.2 is complete. \(\square \)
Now, having proved Lemma 4.1 and Lemma 4.2, the duality argument in Remark 4.4 proves the Hörmander-Mihlin Theorem 3.1.
Remark 4.7
Let us return to the historical Marcinkiewicz condition on the torus \({\mathbb {T}},\)
Let \(s_0\in {\mathbb {N}}.\) For a general compact Lie group G of dimension n, one says that a Fourier multiplier \(A\equiv T_\sigma \) satisfies the (weak) Marcinkiewicz condition of order \(s_0,\) if its symbol \(\sigma \) satisfies:
uniformly in j, with the \({\dot{L}}^{1}_{s_0}({\widehat{G}})\)-norm defined via:
It was proved in [23], that for \(0\le s_0\le n,\) a symbol satisfying (4.20) also satisfies the Hörmander-Mihlin condition (3.3) for any \(s>n/2.\) In view of Theorem 3.1, a Fourier multiplier \(A\equiv T_{\sigma }\) satisfying (4.20) extends to a bounded operator from \(F^{r}_{p,q}(G)\) into \(F^{r}_{p,q}(G)\) for all \(1<p,q<\infty ,\) and all \(r\in {\mathbb {R}},\) and for \(p=1,\) A admits a bounded extension from \(F^{r}_{1,q}(G)\) into \(\text {weak-}F^{r}_{1,q}(G).\) In the case of the torus \(G={\mathbb {T}},\) \(1<p,q<\infty ,\) and \(n=1=s_0,\) (4.20) is just (4.19), and \(A\equiv T_{\sigma }\) extends to a bounded operator from \(F^{r}_{p,q}({\mathbb {T}})\) into \(F^{r}_{p,q}({\mathbb {T}})\) for all \(1<p,q<\infty ,\) and all \(r\in {\mathbb {R}},\) and for \(p=1,\) A admits a bounded extension from \(F^{r}_{1,q}({\mathbb {T}})\) into \(\text {weak-}F^{r}_{1,q}({\mathbb {T}}).\) In view of the Littlewood-Paley theorem, for \(1<p<\infty ,\) \(q=2\) and \(r=0,\) the previous estimate recovers the classical Marcinkiewicz estimate [35]. We summarise this discussion in the following corollary.
Corollary 4.8
Let us assume that G is a compact Lie group of dimension n. Let \(\sigma \in \Sigma ({\widehat{G}})\) be a symbol satisfying
uniformly in j, for some \(0\le s_0\le n,\) \(s_0\in {\mathbb {N}}.\) Then \(A\equiv T_\sigma \) extends to a bounded operator from \(F^{r}_{p,q}(G)\) into \(F^{r}_{p,q}(G)\) for all \(1<p,q<\infty ,\) and all \(r\in {\mathbb {R}}.\) For \(p=1,\) A admits a bounded extension from \(F^{r}_{1,q}(G)\) into \(\text {weak-}F^{r}_{1,q}(G).\)
Proof
That a symbol satisfying (4.21) for some integer \(s_0\) with \(0\le s_0\le n,\) satisfies also the Hörmander condition (3.3) for all \(s>\frac{n}{2}\) was proved in Theorem 6.16 of [23]. In view of Theorem 3.1 we conclude the proof. \(\square \)
Notes
Defined for \(f\in C^{\infty }_0({\mathbb {R}}^n),\) by \({\widehat{f}}(\xi ):=\int \limits _{{\mathbb {R}}^n}e^{-2\pi i x\cdot \xi }f(x)dx.\)
Here, \([\xi ]\) denotes the equivalence class of a unitary, irreducible and continuous representation \(\xi :G\rightarrow \text {Hom}({\mathbb {C}}^{d_\xi })\) on G, \(d_\xi \) is the dimension of its representation space, \(\sigma (\xi )\in \text {Hom}({\mathbb {C}}^{d_\xi }),\) and \({\widehat{f}}(\xi ):=\int _Gf(x)\xi (x)^{*}dx,\) is the Fourier transform on the group G, of \(f\in C^{\infty }(G)\) at \([\xi ]\). For instance, in the case of the torus \(G={\mathbb {T}}^n\), \(\xi (x):=e^{i2\pi x\cdot \xi },\) \(x\in {\mathbb {T}}^n,\) \(d_\xi \equiv 1,\) and so \({\widehat{G}}\cong {\mathbb {Z}}^n.\)
We will always write \(d_\xi :=\ell \) for the dimension of the representation space \({\mathbb {C}}^{\ell }.\) Also, \(I_{\ell }\) is the identity matrix of size \(\ell \times \ell .\)
\(\Sigma ({\widehat{G}})\) is the space of functions \(\sigma :{\widehat{G}}\rightarrow \cup _{\ell \in {\mathbb {N}}_0}(\text {End}({\mathbb {C}}^{\ell })).\)
References
Alexopoulos, G.: Spectral multipliers on Lie groups of polynomial growth. Proc. Amer. Math. Soc. 120, 973–979 (1994)
Anker, J.P.: \(L^p\)-Fourier multipliers on Riemannian symmetric spaces of the noncompact type. Ann. Math. 132, 597–628 (1990)
Baernstein, A., II., Sawyer, E.T.: Embedding and multiplier theorems for \(H^p(R^n)\). Mem. Amer. Math. Soc. 318 (1985)
Calderón, A.P., Torchinsky, A.: Parabolic maximal functions associated with a distribution. II. Adv. Math. 24, 101–171 (1977)
Cardona,D.: Besov continuity of pseudo-differential operators on compact Lie groups revisited. C. R. Math. Acad. Sci. Paris Vol. 355, Issue 5, May (2017), Pag. 533–537
Cardona, D.: Continuity of pseudo-differential operators on Besov spaces on compact homogeneous manifolds. J. Pseudo-Differ. Oper. Appl. 9(4), 861–880 (2018)
Cardona, D., Delgado, J., Ruzhansky, M.: \(L^p\)-bounds for pseudo-differential operators on graded Lie groups. J. Geom. Anal. (2019). https://doi.org/10.1007/s12220-021-00694-1
Cardona,D., Ruzhansky, M.:Fourier multipliers for Triebel-Lizorkin spaces on graded Lie groups. arXiv:2101.05856
Cardona,D., Ruzhansky,M.: Boundedness of pseudo-differential operators in subelliptic Sobolev and Besov spaces on compact Lie groups. arXiv:1901.06825
Cardona,D. , Ruzhansky,M.: Subelliptic pseudo-differential operators and Fourier integral operators on compact Lie groups. arXiv:2008.09651
Cardona,D., Ruzhansky,M.: Littlewood-Paley theorem, Nikolskii inequality, Besov spaces, Fourier and spectral multipliers on graded Lie groups. arXiv:1610.04701
Cardona, D., Ruzhansky, M.: Multipliers for Besov spaces on graded Lie groups. C. R. Math. Acad. Sci. Paris. 4(355), 400–405 (2017)
P. Chen, E. M. Ouhabaz, A. Sikora, L. Yan, L, Restriction estimates, sharp spectral multipliers and endpoint estimates for Bochner-Riesz means. arXiv:1202.4052
Cowling, M., Sikora, A.: A spectral multiplier theorem for a sublaplacian 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)
Coifman, R.R., De Guzmán, M.: Singular integrals and multipliers on homogeneous spaces. Rev. un. Mat. Argentina, pp. 137–143 (1970)
Coifman,R., Weiss, G.:Analyse harmonique non-commutative sur certains espaces homogénes. (French) Étude de certaines intégrales singuliéres. Lecture Notes in Mathematics, Vol. 242. Springer-Verlag, Berlin-New York, 1971. v+160 pp
Coifman, R., Weiss, G.: Multiplier transformations of functions on SU(2) and \(\Sigma _2\). Rev. Un. Mat. Argent. 25, 145–166 (1970)
Coifman, R., Weiss, G.: Central multiplier theorems for compact Lie groups. Bull. Am. Math. Soc. 80, 124–126 (1973)
ter Elst, A.F.M., Robinson, D.W.: Spectral estimates for positive Rockland operators, in Algebraic groups and Lie groups, Austral. Math. Soc. Lect. Ser., vol. 9, pp. 195–213. Cambridge University Press (1997)
Fejér, L.:Sur les fonctions intégrables et bornés, C.R. Acad. Sci. Paris, 10 décembre (1900), 984-987
Fefferman, C.: The multiplier problem for the ball. Ann. Math. 2(94), 330–336 (1971)
Fischer,V.: Differential structure on the dual of a compact Lie group, arXiv:1610.06348
Fischer, V., Ruzhansky, M.: Sobolev spaces on graded groups. Ann. Inst. Fourier 67, 1671–1723 (2017)
Fischer,V., Ruzhansky,M.: Fourier multipliers on graded Lie groups. arXiv:1411.6950. Colloq. Math. https://doi.org/10.4064/cm7817-6-2020.
Fischer,V., Ruzhansky,M.: Quantization on nilpotent Lie groups. Progress in Mathematics, Vol. 314, Birkhäuser, (2016). (open access book)
Fischer, V., Ruzhansky, M.: Sobolev spaces on graded groups. Ann. Inst. Fourier (Grenoble) 67(4), 1671–1723 (2017)
Folland, G., Stein, E.: Hardy spaces on homogeneous groups, Mathematical Notes, vol. 28. N.J.; University of Tokyo Press, Tokyo, Princeton University Press, Princeton (1982)
Furioli, G., Melzi, C., Veneruso, A.: Littlewood-Paley decompositions and Besov spaces on Lie groups of polynomial growth. Math. Nachr. 279(9–10), 1028–1040 (2006)
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
Hebish,W. : Calderón Zygmund decompositions on amenable groups. arXiv:1810.03566
Helffer, B., Nourrigat, J.: Caracterisation des opérateurs hypoelliptiques homogènes invariants à gauche sur un groupe de Lie nilpotent gradué. Comm. Par. Diff. Equ. 4, 899–958 (1979)
Hong,Q., Hu,G., Ruzhansky,M.: Fourier multipliers for Hardy spaces on graded Lie groups, preprint
Hörmander, L.: Estimates for translation invariant operators in \(L^p\) spaces. Acta Math. 104, 93–140 (1960)
Marcinkiewicz, J.: Sur les multiplicateurs des séries de Fourier. Studia Math. 8, 78–91 (1939)
Mihlin,S. G.: On the multipliers of Fourier integrals. Dokl. Akad. Naulc SSSR (N. S.), 109 (1956), 701–703 (Russian)
Nursultanov, E., Ruzhansky, M., Tikhonov, S.: Nikolskii inequality and functional classes on compact Lie groups. Funct. Anal. Appl. 49, 226–229 (2015)
Nursultanov,E., Ruzhansky,M., Tikhonov,S.: Nikolskii inequality and Besov, Triebel-Lizorkin, Wiener and Beurling spaces on compact homogeneous manifolds. Ann. Sc. Norm. Super. Pisa Cl. Sci., Vol. XVI, (2016), 981–1017
Park, B.: Fourier multiplier theorems for Triebel-Lizorkin spaces. Math. Z. 293, 221–258 (2019)
Ruzhansky,M., Turunen,V.: Pseudo-differential Operators and Symmetries: Background Analysis and Advanced Topics Birkhäuser-Verlag, Basel, (2010)
Ruzhansky, M., Turunen, V.: Global quantization of pseudo-differential operators on compact Lie groups, SU(2) and 3-sphere. Int. Math. Res. Not. IMRN. 11, 2439–2496 (2013)
Ruzhansky, M., Turunen, V., Wirth, J.: Hörmander class of pseudo-differential operators on compact Lie groups and global hypoellipticity. J. Fourier Anal. Appl. 20, 476–499 (2014)
Ruzhansky, M., Wirth, J.: Global functional calculus for operators on compact Lie groups. J. Funct. Anal. 267, 144–172 (2014)
Ruzhansky, M., Wirth, J.: \(L^p\) Fourier multipliers on compact Lie groups. Math. Z. 280, 621–642 (2015)
Seeger, A.: A limit case of the Hörmander multiplier theorem. Monatsh. Math. 105, 151–160 (1988)
Seeger, A.: Estimates near \(L^1\) for Fourier multipliers and maximal functions. Arch. Math. (Basel) 53, 188–193 (1989)
Seeger, A.: Remarks on singular convolution operators. Studia Math. 97, 91–114 (1990)
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)
Taibleson, M., Weiss, G.: The molecular characterization of certain Hardy spaces. Astérisque 77, 67–151 (1980)
Triebel, H.: Theory of function spaces. Monographs in Mathematics, vol. 78. Birkhäuser Verlag, Basel (1983)
Triebel, H.:Theory of function spaces. III, volume 100 of Monographs in Mathematics. Birkhäuser Verlag, Basel, (2006)
Varopoulos,N. Th., Saloff-Coste,L., Coulhon,T.: Analysis and geometry on groups. Cambridge Tracts in Mathematics, 100. Cambridge University Press, Cambridge, (1992)
Weiss, N.: \(L^p\) estimates for bi-invariant operators on compact Lie groups. Am. J. Math. 94, 103–118 (1972)
Acknowledgements
We would like to thank the anonymous referee for his/her helpful comments.
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. Fourier multipliers for Triebel–Lizorkin spaces on compact Lie groups. Collect. Math. 73, 477–504 (2022). https://doi.org/10.1007/s13348-021-00330-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13348-021-00330-9
Keywords
- Fourier multipliers
- Spectral multipliers
- Compact Lie groups
- Hörmander–Mihlin theorem
- Marcinkiewicz condition
- Triebel-Lizorkin spaces