Abstract
In this work we establish the metric approximation property for Besov spaces defined on arbitrary compact Lie groups. As a consequence of this fact, we investigate trace formulae for nuclear Fourier multipliers on Besov spaces. Finally, we study the r-nuclearity, the Grothendieck–Lidskii formula and the (nuclear) trace of pseudo-differential operators in generalized Hörmander classes acting on periodic Besov spaces. We will restrict our attention to pseudo-differential operators with symbols of limited regularity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It was reported by Feichtinger et al. in [21] (see also references therein) that there exist many real life problems in signal analysis and information theory which would require non-euclidean models. These models include: spheres, projective spaces and general compact manifolds, hyperboloids and general non-compact symmetric spaces, and finally various Lie groups. In connection with these spaces it is important to study approximation theory, space-frequency localized frames, and Besov spaces, on compact and non-compact manifolds. Motivated by these facts, in this paper we prove the approximation property of Grothendieck for Besov spaces defined on general compact Lie groups. This property is of geometric nature and has important consequences in the theory of nuclear operators on Banach spaces [23]. Consequently, by using the aproximation property on Besov spaces we investigate the r-nuclearity of global pseudo-differential operators on such spaces. This is possible if we take under consideration the formulation of Besov spaces reported by Nursultanov et al. in [34], in the context of matrix-valued (or full) symbols of global pseudo-differential operators developed by Ruzhansky and Turunen [40] in terms of the representation theory of compact Lie groups.
In order to formulate our work we precise some definitions as follows. Through the work of Grothendieck and others methods in spectral theory, the theory of nuclear operators on Banach spaces has attracted much interest in the literature during the last fifty years, due to its applications in the problem of distribution of eigenvalues. Let us consider E and F be two Banach spaces and let \(0<r\le 1.\) Following Grothendieck [23], Chapter II, p. 3, a linear operator \(T:E\rightarrow F\) is r-nuclear, if there exist sequences \((e_n ')_n\) in \( E'\) (the dual space of E) and \((y_n)_n\) in F such that
and
The class of r-nuclear operators is usually endowed with the quasi-norm
and, if \(r=1\), \(n_1(\cdot )\) is a norm and we obtain the ideal of nuclear operators. When \(E=F\) is a Hilbert space and \(r=1\) the definition above agrees with the concept of trace class operators. For the case of Hilbert spaces H, the set of r-nuclear operators agrees with the Schatten-von Neumann class of order r (see [36]).
The purpose of this paper is thus the study of the r-nuclearity of global pseudo-differential operators defined on Besov spaces in compact Lie groups [40], these operators can be defined as follows: let us assume that G is a compact Lie group and denote by \(\widehat{G}\) its unitary dual, i.e. the set of equivalence classes of all strongly continuous irreducible unitary representations of G. If T is a linear operator from \(C^{\infty }(G)\) into \(C^{\infty }(G)\) and \(\xi :G\rightarrow U(H_{\xi })\) denotes an irreducible unitary representation, we can associate to T a matrix-valued symbol \(a(x,\xi )\in \mathbb {C}^{d_{\xi }\times d_\xi }\) (see (2.2)) satisfying
where in the summations is understood that from each class \([\xi ]\) we pick just one representative \(\xi \in [\xi ]\), \(d_{\xi }=\text {dim}(H_\xi )\) and \((\mathscr {F}f)(\xi )\) is the Fourier transform at \(\xi :\)
We are interested in the problem of the (nuclear) trace and trace formulae for r-nuclear pseudo-differential operators acting on Besov spaces defined in compact Lie groups as in [40]. There are several possibilities, concerning the conditions to impose on a symbol \(a(x,\xi )\), in the attempt to establish the r-nuclearity of the corresponding operator \(T_a\) on Lebesgue spaces defined in compact Lie groups. This problem was considered by Delgado and Wong (c.f. [9]) in the commutative case of the torus \(\mathbb {T}^n\). To the best of our knowledge, this is the first work on the nuclearity and \(\frac{2}{3}\)-nuclearity of pseudo-differential operators on the torus.
It is a well known fact that the approximation property on a Banach space is required to define the nuclear trace [36]. A Banach space E is said to have the approximation property if for every compact subset K of E and every \(\varepsilon >0\) there exists a finite bounded operator B on E such that
On such spaces, if \(T:E\rightarrow E\) is nuclear, the (nuclear) trace is defined by
where \(T=\sum _n e_n'\otimes y_n\) is a representation of T. If in the definition above \(\Vert B\Vert \le 1\), one says that E has the metric approximation property. It is well known that every \(L^{p}(\mu )\) space with \(1\le p<\infty \) satisfies the approximation property. However, there exist Banach spaces which do not satisfy the approximation property. A counterexample to the statement that every Banach space E has the approximation property was given early by Enflo in [20]. Enflo shows that there exists a separable reflexive Banach space with a sequence \(M_{n}\) of finite dimensional subspaces with \(\dim (M_n)\rightarrow \infty ,\) and a constant c such that for every operator T of finite rank, \(\Vert T-I\Vert \ge 1-c\Vert T\Vert /\log (\dim M_n).\) We refer the reader to [3] for a work on subspaces of \(l^{2}(X)\) without the approximation property. A remarkable result due to A. Grothendieck shows that for every \(\frac{2}{3}\)-nuclear operator T acting on a Banach space E, the (nuclear) trace \(\text {Tr}(T)\) is well defined, the system of its eigenvalues is absolutely summable and the (nuclear) trace is equal to the sum of the eigenvalues (see [23], chapter II).
The r-nuclearity of operators give rise to results on the distribution of their eigenvalues (see [25]). This fact and the notion of spectral trace has been crucial in the study of spectral properties of nuclear operators arising in many different contexts and applications, such as the heat kernel on compact manifolds, the Fox-Li operator in laser engineering and transfer operators in thermodynamics (see [5, 7, 33].)
In this paper, which is based on the recent formulation of Besov spaces \(B^{w}_{p,q}(G)\) on compact Lie groups given in [34], we prove that these spaces have the metric approximation property for \(w\in \mathbb {R},\) \(1\le p<\infty \) and \(1\le q\le \infty \). Consequently, we derive a trace formula for r-nuclear operators in these spaces and, by using the compact Lie group structure of the n-dimensional torus \(\mathbb {T}^n\), we prove some sufficient conditions for the r-nuclearity of periodic pseudo-differential operators on Besov spaces. The results are applied to study the corresponding trace formula of Grothendieck–Lidskii, which shows that the nuclear trace of these operators coincides with the spectral trace defined as the sum of eigenvalues. Similar results in the literature, on the r-nuclearity in \(L^p\)-spaces for pseudo-differential operators defined on compact Lie groups or on compact manifolds, can be found in the recent works of Delgado and Ruzhansky [9, 11, 13, 14] and references therein. The reference [19] consider the r-nuclearity of operators on manifolds with boundary. Mapping properties of pseudo-differential operators in Besov spaces defined on compact Lie groups can be found in [8].
There exist several recent works about the approximation property. In function spaces on euclidean domains as Lebesgue spaces with variable exponent, the space of functions of bounded variation, Sobolev spaces \(W^{1,1},\) modulation spaces, Wiener–Amalgam spaces, and holomorphic functions on the disk, we refer the reader to [2, 6, 16,17,18, 28, 39]. Recent works on the approximation property for abstract Banach spaces can be found in [1, 26, 27, 29,30,31]. For a historical perspective on the approximation property we refer the reader to Pietsch [37].
We now describe the contents of the paper in more detail. In Sect. 2, Theorem 2.2, we present the metric approximation property for Besov spaces on compact Lie groups and some results are proved with respect to the r-nuclearity of Fourier multipliers. In Sect. 3, Theorem 3.3 and results therein provide sufficient conditions for the r-nuclearity of pseudo-differential operators acting on Besov spaces on the torus. Finally, in Sects. 4 and 5, we establish trace formulae for r-nuclear periodic pseudo-differential operators on Besov spaces and specific periodic operators as negative powers of the Bessel potential and the heat kernel on the torus.
2 The Metric Approximation Property for Besov Spaces and Nuclearity of Fourier Multipliers in Compact Lie Groups
In this section we prove the metric approximation property for Besov spaces and we use this notion with the goal of investigate the nuclear trace of operators on Besov spaces. For the analysis on compact Lie groups, we refer the reader to [40, 41]. See also [22] for a concise review of the theory on compact Lie groups. For the proof of the approximation property we use the following lemma (see e.g. [36]):
Lemma 2.1
A Banach space E satisfies the metric approximation property if, given \(f_{1},f_{2},\cdots ,f_{m}\in E\) and \(\varepsilon >0\) there exists an operator of finite rank B on E such that \(\Vert B\Vert \le 1\) and
Let us consider a compact Lie group G with unitary dual \(\widehat{G}\) that is, the set of equivalence classes of all strongly continuous irreducible unitary representations of G. We will equip G with the Haar measure \(\mu _{G}\) and, for simplicity, we will write \(\int _{G}f(x)dx\) for \(\int _{G}f d\mu _{G}\), \(L^p(G)\) for \(L^p(G,\mu _{G})\), etc. The following equalities follow from the Fourier transform on G
and the Peter–Weyl Theorem on G implies the Plancherel identity on \(L^2(G),\)
Notice that, since \(\Vert A \Vert _{HS}=\text {Tr}(AA^*)\), the term within the sum is the Hilbert–Schmidt norm of the matrix A. Any linear operator \(T_{a}\) on G mapping \(C^{\infty }(G)\) into \(\mathcal {D}'(G)\) gives rise to a matrix-valued global (or full) symbol \(a(x,\xi )\in \mathbb {C}^{d_\xi \times d_\xi }\) given by
which can be understood from the distributional viewpoint. Then it can be shown that the operator \(A=T_a\) can be expressed in terms of such a symbol as
We introduce Sobolev and Besov spaces on compact Lie groups using the Fourier transform on the group G as follows. There exists a non-negative real number \(\lambda _{[\xi ]}\) depending only on the equivalence class \([\xi ]\in \hat{G},\) but not on the representation \(\xi ,\) such that \(-\mathcal {L}_{G}\xi (x)=\lambda _{[\xi ]}\xi (x)\), where \(\mathcal {L}_{G}\) is the Laplacian on the group G (in this case, defined as the Casimir element on G). If we denote by \(\langle \xi \rangle \) the function \(\langle \xi \rangle =(1+\lambda _{[\xi ]})^{\frac{1}{2}}\), for every \(s\in \mathbb {R}\) the Sobolev space \(H^s(G)\) on the Lie group G is defined by the condition: \(f\in H^s(G)\) if only if \(\langle \xi \rangle ^s\widehat{f}\in L^{2}(\widehat{G})\). The Sobolev space \(H^{s}(G)\) is a Hilbert space endowed with the inner product \(\langle f,g\rangle _{s}=\langle (I-\mathcal {L}_{G})^{\frac{s}{2}}f, (I-\mathcal {L}_{G})^{\frac{s}{2}}g\rangle _{L^{2}(G)}\), where, for every \(s\in \mathbb {R}\), \((I-\mathcal {L}_{G})^{\frac{s}{2}}:H^r\rightarrow H^{r-s}\) is the bounded pseudo-differential operator with symbol \(\langle \xi \rangle ^{s}I_{\xi }\). Now, if \(w\in \mathbb {R},\) \(0< q\le \infty \) and \(0<p\le \infty ,\) the Besov space \( B^w_{p,q}(G)\) is the set of measurable functions on G satisfying
If \(q=\infty ,\) \(B^w_{p,\infty }(G)\) consists of those functions f satisfying
A recent work on Besov spaces defined on homogeneous compact manifolds can be found in [34]. In the following theorem we present the metric approximation property for Besov spaces defined on arbitrary compact Lie groups.
Theorem 2.2
Let G be a compact lie group. If \(1\le p<\infty ,\) \(1\le q\le \infty \) and \(w\in \mathbb {R},\) then the Besov space \(B^{w}_{p,q}(G)\) satisfies the metric approximation property.
Proof
First, we will prove the metric approximation property for \(B^{w}_{p,q}(G).\) If \(1\le p,q<\infty ,\) \(B^{w}_{p,q}(G)\) is a Banach space. Let us consider \(f_1,f_2,\cdots , f_{m}\in B^{w}_{p,q}(G).\) Then, by definition of Besov norm
Let us consider the operator \(T_{N}\) on \(B^{w}_{p,q}(G)\) defined by
where the summation is understood that from each class \([\xi ]\) we pick just one representative \(\xi \in [\xi ].\) Clearly, for every N the operator \(S_{N}\) has finite rank. Moreover,
Now, let \(T_{N}=\Vert S_{N} \Vert ^{-1}S_N.\) Clearly, \(\Vert T_N\Vert =1\) for every N. On the other hand, \(T_{N}\) is a Fourier multiplier with matrix valued symbol
where \(I_{d_\xi }\) is the matrix identity on \(\mathbb {C}^{d_{\xi }\times d_{\xi }}.\) We observe that
Using the fact that \( S_N \) converges in the operator norm to the identity operator on \(B^{w}_{p,q}\) we have \(\lim _{N}\Vert S_{N}\Vert =1.\) Observing that \( \lim _{N\rightarrow \infty } \chi _{\{\xi :\langle \xi \rangle \le N\} }(\eta )=1 \), \([\eta ]\in \widehat{G},\) and by using the convergence dominated theorem we obtain
So, if \(\varepsilon >0\) is given, for every i there exists \(N_{i}\) such that, if \(N\ge N_{i}\) then
Thus, if
we have \(\Vert T_{M}\Vert = 1\) and \( \Vert f_{i}-T_{M}f_{i} \Vert _{B^w_{p,q}} <\varepsilon \) for \(1\le i\le m.\) So, by applying Lemma 2.1, \(B^{w}_{p,q}(G)\) has the metric approximation property for \(w\in \mathbb {R},\) \(1\le p<\infty \) and \(1\le q \le \infty .\) The result for \(q=\infty \) has an analogous proof.\(\square \)
Now, we investigate the nuclear trace of Fourier multipliers on compact Lie groups. The following theorem will be an useful tool in order to establish the r-nuclearity of operators in Besov spaces. (An analogous result on Sobolev spaces has been proved in [12], Theorem 3.11).
Theorem 2.3
Let G be a compact Lie group, \(0<r\le 1,\) \(1\le p<\infty \) and \(1\le q\le \infty .\) Let us consider \(T_{a}:C^{\infty }(G)\rightarrow C^{\infty }(G)\) be a Fourier multiplier with matrix valued symbol \(a(\xi ).\) The following two announcement are equivalent.
-
(1) \(T_{a}\) extends to a r-nuclear operator from \(B^{w_{0}}_{p,q}(G)\) into \(B^{w_{0}}_{p,q}(G)\) for some \(w_0\in \mathbb {R}.\)
-
(2) \(T_{a}\) extends to a r-nuclear operator from \(B^{w}_{p,q}(G)\) into \(B^{w}_{p,q}(G)\) for all \(w\in \mathbb {R}.\)
In this case, the nuclear trace of \(T_{a}\) is independent of the index \(w\in \mathbb {R}.\)
Proof
It is clear that (2) implies (1). Now, we will prove that (1) implies (2). Let us assume that \(w,w_0\in \mathbb {R},\) \(w\ne w_0\) and \(T_{a}:B^{w_{0}}_{p,q}(G)\rightarrow B^{w_{0}}_{p,q}(G)\) is r-nuclear. The operators \((I-\mathcal {L}_{G})^{\frac{w_0-w}{2}}:B^{w_0}(G)\rightarrow B^{w}(G)\) and \((I-\mathcal {L}_{G})^{\frac{w-w_0}{2}}:B^{w}_{p,q}(G)\rightarrow B^{w_{0}}_{p,q}(G)\) are both an isomorphism of Besov spaces. By considering that the class of r-nuclear operators is an ideal on the set of bounded operators, the following factorization of \(T_{a}:\)
shows that \(T_{a}\) from \(B^{w}_{p,q}(G)\) into \(B^{w}_{p,q}(G)\) is r-nuclear. In the factorization above we have used that \(T_{a}\) is a Fourier multiplier. Now, we will prove that the spectral trace of \(T_a\) is independent of w. In fact, let us consider a nuclear representation of \(T_{a}:B^{w_0}_{p,q}\rightarrow B^{w_0}_{p,q} \):
where \((e_{n}')_n\subset (B^{w_0}_{p,q})'\) and \((y_{n})_{n}\subset B^{w_0}_{p,q}\) are sequences satisfying
By Theorem 2.2 the space \(B^{w_{0}}_{p,q}(G)\) has the approximation property and the nuclear trace of \(T_{a}\) is well defined. Since
and
we obtain that the nuclear trace of \(T_{a}:B^{w}_{p,q}\rightarrow B^{w}_{p,q} \) is given by
which is the nuclear trace of \(T_{a}:B^{w_0}_{p,q}\rightarrow B^{w_0}_{p,q} .\) Thus, we end the proof.\(\square \)
As an application of Theorem 2.3, we obtain the following Theorem on the r-nuclearity and the r-nuclear trace of Fourier multipliers on \(B^{w}_{p,q}(G)\). In order to present our theorem, we recall the following notation for the \(l^r\)-seminorm of matrices \(A\in \mathbb {C}^{d\times d},\)
and we define the following function,
which arises of natural way in \(L^{p}\)-estimates of the entries \(\xi _{ij}\) of representations \([\xi ]\in \widehat{G}.\) In fact, for \(1\le p\le \infty ,\) \(\Vert \xi _{ij}\Vert _{L^{p}(G)}\le d_{\xi }^{-\varepsilon (p)}.\) (See, Lemma 2.5 of [11]).
Theorem 2.4
Let G be a compact Lie group, \(n=\dim (G),\) \(0<r\le 1\) and \(T_{a}:C^{\infty }(G)\rightarrow C^{\infty }(G)\) be a operator with matrix valued symbol \(a(\xi ).\) Under almost one of the following conditions
-
(1).
\(1<p<q<\infty \) and
$$\begin{aligned} \sum _{[\xi ]\in \hat{G}}\langle \xi \rangle ^{n(\frac{1}{p}-\frac{1}{q})r}\Vert a(\xi )\Vert ^{r}_{l^{r}} d_{\xi }^{1+r(1-\varepsilon (p)-\varepsilon (q'))}<\infty . \end{aligned}$$ -
(2).
\(1\le p<\infty ,\) \(q=1\) and
$$\begin{aligned} \sum _{[\xi ]\in \hat{G}} \langle \xi \rangle ^{\frac{nr}{p}}\Vert a(\xi ) \Vert _{l^r}^r d_{\xi }^{1+r(1-\varepsilon (p))}<\infty . \end{aligned}$$ -
(3).
\(1<p=q\le 2\) and
$$\begin{aligned} \sum _{[\xi ]\in \hat{G}}\Vert a(\xi )\Vert _{l^r}^{r}d_{\xi }^{1+r(\frac{1}{p}-\frac{1}{2})}<\infty . \end{aligned}$$ -
(4).
\(2=q\le p<\infty \) and
$$\begin{aligned} \sum _{[\xi ]\in \hat{G}}\Vert a(\xi )\Vert _{l^r}^{r}d_{\xi }^{1+r(\frac{1}{2}-\frac{1}{p})}<\infty . \end{aligned}$$
The operator \(T_{a}:B^{w}_{p,q}\rightarrow B^{w}_{p,q}\) extends to a r-nuclear operator for all \(w\in \mathbb {R}.\) Moreover, the nuclear trace of \(T_{a}\) is given by
Proof
Let \(T_a\) be the Fourier multiplier given by
We observe that
Then, we can write
where
Let us assume that \(1<p,q<\infty .\) We will prove that \(T_{a}:B^{w}_{p,q}(G)\rightarrow B^{w}_{p,q}(G)\) is a r-nuclear in every case above by showing that
Later, considering the Theorem 2.3 we deduce the nuclearity of \(T_{a}\) on \(B^{w}_{p,q}\) for every \(w\in \mathbb {R}.\) First we estimate the Besov norm \(\Vert H_{\xi ,i,j,k}\Vert _{B^{w}_{p,q}}\) as follows:
Let us chose the most smallest \(s_{\xi }\in \mathbb {N}\) such that \(2^{s_{\xi }}\le \langle \xi \rangle <2^{s_{\xi }+1},\) considering that \(\delta _{(\xi ,i,j),(\eta ,u,v)}=1\) only if \(\xi =\eta , u=i\) and \(v=j\) and \(\delta _{(\xi ,i,j),(\eta ,u,v)}=0\) in other case, we obtain
Since the \(L^p\) norm of \(\xi _{ij}\) can be estimate by \(d_{\xi }^{-\varepsilon (p)}\) for \(1<p<\infty \) and by considering that \(2^{s_{\xi }}\le \langle \xi \rangle <2^{s_\xi +1}\) we get
If \(1<p<q<\infty \) and \(w=n(\frac{1}{p}-\frac{1}{q}),\) we have the embedding \(B^{w}_{p,q}\hookrightarrow L^{q}\) and we get,
Now we estimate (2.12) as follows.
If we consider \(1\le p<\infty \) and \(q=1\) we have the embedding \(B^{w}_{p,1}\hookrightarrow L^{\infty }\) for \(w=\frac{n}{p},\) and taking into account that \(\Vert \xi _{ki}\Vert _{L^{\infty }}\le 1\) we deduce the estimates
So, we have
The case where \(1<p\le 2\) we have the embedding \(B^{w}_{p,p}\hookrightarrow H^{w,p},\) for every \(w\in \mathbb {R}.\) In particular, with \(w=0\) we have the estimates
Now, for \(q=2\le p<\infty \) we use the embedding \(B^{0}_{p,2}\hookrightarrow H^{0,p}\) in order to obtain
So, in every specific case, we have proved that \(T_a\) is nuclear on \(B^{w}_{p,q}\) and therefore on every \(B^{w}_{p,1}\) with \(w\in \mathbb {R}.\) Now, we compute the nuclear trace of \(T_a.\) Since \(B^{w}_{p,q}\) has the approximation property, we deduce that the nuclear trace of \(T_{a}\) is well defined, this means that it can be computed from any nuclear decomposition. So we get
By using the definition of Fourier transform, we obtain
Hence
Using this fact, we deduce that
Thus, we end the proof.\(\square \)
Remark 2.5
Now, we discuss the theorem above in relation with results in \(L^{2}\) spaces. We observe that the result obtained when \(p=q=2\) in the condition (3) of Theorem 2.4, is most weak that Theorem 3.1 of [11] where the condition
is imposed in terms of the r-Schatten seminorm \(\Vert a(\xi )\Vert _{S_{r}}\) in order to obtain r-nuclearity. It was mentioned in 2.4 that such condition is also necessary for the r-nuclearity of \(T_{a}\). There exists two cases where both results are equivalent. One is, the case where the operator \(T_a:C^{\infty }(G)\rightarrow C^{\infty }(G)\) is formally self-adjoint. In fact, with such condition in mind, one can to assume that the corresponding symbol \(a(\xi )\) is diagonal by choosing a suitable basis in the representations spaces. In a such case, \(\Vert a(\xi ) \Vert _{l^{r}}=\Vert (\xi )\Vert _{S_r}.\) The other case arises when \(G=\mathbb {T}^{n}\) is some n-dimensional torus, where \(\widehat{G}=\mathbb {Z}^{n}\) and for every \(\xi \in \mathbb {Z}^{n},\) \(\Vert a(\xi ) \Vert _{l^{r}}=\Vert (\xi )\Vert _{S_r}=|a(\xi )|.\) It is important to mention that the trace formula obtained above coincides with ones for r-Fourier multiplier in \(L^p\) spaces obtained in [11, 12].
We end this section with the following two examples on the nuclearity of suitable powers of the Bessel’s potential and the heat operator.
Example 2.6
Let G be a compact Lie group, \(\mathcal {L}_{G}\) be the Laplace–Beltrami operator on G and \(n=\dim (G).\) We note that as consequence of Theorem 2.4, if \(\alpha > n\) and \(1<p\le 2,\) the operator \(T_{a}=(1-\mathcal {L}_{G})^{-\frac{\alpha }{2}}\) is nuclear on \(B^{w}_{p,1}(G)\) for all \(-\infty<w<\infty .\) Indeed, this operator has symbol \(a(\xi )\) satisfying the condition (3) of Theorem 2.4 and as consequence we get
In this case
Example 2.7
For \(t>0\) the heat operator is defined by \(e^{-t\mathcal {L}_{G}}\) and its symbol is given by \(a_{t}(\xi )=e^{-t\lambda _{[\xi ]}}I_{d_\xi }.\) Clearly this symbol satisfies the hypotheses of Theorem 2.4, and \(T_{a}=e^{-t\mathcal {L}_{G}}\) is a nuclear operator on \(B^{w}_{p,1}(G)\) for all \(-\infty<w<\infty .\) For the heat operator, the nuclear trace is
3 r-Nuclear Pseudo-Differential Operator on Periodic Besov Spaces
In this section we present our results on the r-nuclearity of pseudo-differential operators on periodic Besov spaces. We use the notation of periodic pseudo-differential operators as developed in [40]. Let us denote by \(\mathcal {S}(\mathbb {Z}^n)\) the Schwartz space of functions \(\phi :\mathbb {Z}^n\rightarrow \mathbb {C}\) such that
where \(\langle \xi \rangle =(1+|\xi |^2)^{\frac{1}{2}}\). The toroidal Fourier transform is defined, for any \(f\in C^{\infty }(\mathbb {T}^n)\), by \(\widehat{f}(\xi )=\int _{}e^{-i2\pi \langle x,\xi \rangle }f(x)dx\), where \(\xi \in \mathbb {Z}^n\), and the inversion formula is given by \(f(x)=\sum _{}e^{i2\pi \langle x,\xi \rangle }\widehat{u}(\xi )\), for \( x\in \mathbb {T}^n\). The periodic Hörmander class \(S^m_{\rho ,\delta }(\mathbb {T}^n\times \mathbb {R}^n), \,\, 0\le \rho ,\delta \le 1,\) consists of those functions \(a(x,\xi )\) which are smooth in \((x,\xi )\in \mathbb {T}^n\times \mathbb {R}^n\) and which satisfy toroidal symbols inequalities
Symbols in \(S^m_{\rho ,\delta }(\mathbb {T}^n\times \mathbb {R}^n)\) are symbols in \(S^m_{\rho ,\delta }(\mathbb {R}^n\times \mathbb {R}^n)\) (see [40]) of order m which are 1-periodic in x. If \(a(x,\xi )\in S^{m}_{\rho ,\delta }(\mathbb {T}^n\times \mathbb {R}^n),\) the corresponding pseudo-differential operator is defined by
The set \(S^m_{\rho ,\delta ,\,\nu ,\mu }(\mathbb {T}^n\times \mathbb {Z}^n),\, 0\le \rho ,\delta \le 1,\) \(\nu , \mu \in \mathbb {N}\), consists of those functions \(a(x, \xi )\) which are smooth in x for all \(\xi \in \mathbb {Z}^n\) and which satisfy
The operator \(\Delta \) is the difference operator defined in [40]. The toroidal operator with symbol \(a(x,\xi )\) is defined as
Besov spaces have been introduced in Sect. 2 for general compact Lie groups. Now we present this notion for the toroidal case; let \(w\in \mathbb {R},\) \(0< q<\infty \) and \(0<p\le \infty .\) If f is a measurable function on \(\mathbb {T}^n,\) we say that \(f\in B^w_{p,q}(\mathbb {T}^n)\) if f satisfies
If \(q=\infty ,\) \(B^w_{p,\infty }(\mathbb {T}^n)\) consists of those functions f satisfying
In the case of \(p=q=\infty \) and \(0<w<1=n \) we obtain \(B^w_{\infty ,\infty }(\mathbb {T})=\Lambda ^w(\mathbb {T}),\) that is the Hölder space of order \(\omega ;\) these are Banach spaces together with the norm
For \(1\le p\le \infty \) and \(1\le q\le \infty ,\) \(B^w_{p,q}(\mathbb {T}^n)\) are Banach spaces. Moreover, if \(w\in \mathbb {R}\) we have the identity of Hilbert spaces \(H^{w}_{2,2}(\mathbb {T}^n)=B^{r}_{2,2}(\mathbb {T}^n)\) of Besov spaces with Sobolev spaces. When studying the orders of periodic pseudo-differential operators, estimates for the Fourier coefficients of symbols are useful, and therefore we present an auxiliary result on this subject.
Lemma 3.1
Let \(0\le \rho ,\delta \le 1.\) Assume that \(a\in S^{m}_{\rho ,\delta ,u,2k}(\mathbb {T}^n\times \mathbb {Z}^n).\) Let \(\widehat{a}(\eta ,\cdot )\) be the Fourier transform of the symbol with respect to x, i.e., the Fourier transform of the smooth function \(x\mapsto a(x,\cdot )\). Then, for every \(k\in \mathbb {N}\) we have
Proof
The proof can be found in [40], Lemma 4.2.1.\(\square \)
With notation above, we present our results on the r-nuclearity of periodic pseudo-differential operators. We reserve the notation \(A\lesssim B\) if there exists \(c>0\) independent of A and B such that \(A\le c\cdot B.\) The conjugate exponent \(p'\) of p, \(1\le p\le \infty \) is defined by \(1/p+1/p'=1.\) Our starting point is the following result (Theorem 6.2 of [34]).
Lemma 3.2
Let \(1<p_1\le 2,\) \(\alpha >0,\) \(n\in \mathbb {N}\) and \(\beta =(\alpha +\frac{1}{p'_1})^{-1}.\) If \(w_1=\alpha n\) then the Fourier transform is a bounded operator from \(B_{p_1,\beta }^{\alpha n}(\mathbb {T}^n)\) into \(L^{\beta }(\mathbb {Z}^n).\)
By using the lemma above, we obtain the following result on the r-nuclearity of pseudo-differential operators on periodic Besov spaces.
Theorem 3.3
Let \(0<r\le 1,\) \(0<\alpha \le \frac{1}{2},\) \(0\le \rho ,\delta \le 1,\) and \(k>\frac{n}{2},\) \(k\in \mathbb {N}.\) Let us consider \(a\in S^{m}_{\rho ,\delta , 0,2k}(\mathbb {T}^n\times \mathbb {Z}^n).\) Under the following conditions,
-
\(w_{1}=\alpha \cdot n, \,\,1< p_1\le 2,\) \(q_1=(\alpha +\frac{1}{p_1'})^{-1}.\)
-
\(0\le w_{2}<2k-n,\,\, m<-\frac{n}{r}-w_2-\delta (2k),\) \(1\le p_2\le \infty ,\) \(1\le q_2\le \infty ,\)
the pseudo-differential operator \(T_a: B^{w_1}_{p_1,q_1}(\mathbb {T}^n)\rightarrow B^{w_2}_{p_2,q_2}(\mathbb {T}^n) \) is r-nuclear.
Proof
We begin by writing
where \(H_{\xi }(x)=e^{i2\pi x\xi }a(x,\xi )\) and \(G_{\xi }(f)=\widehat{f}(\xi ).\) By Lemma 3.2, for every \(\xi \in \mathbb {Z}^n\) we have
Now, if \(1\le q_2<\infty \) we observe that
where
Hence, we have
where F is the sequence on \(\mathbb {N}\) given by
Since \(L^{1}(\mathbb {N})\subset L^{q_2}(\mathbb {N})\) is a continuous inclusion, we have \(\Vert F \Vert _{L^{q_2}}\lesssim \Vert F \Vert _{L^{1}}. \) Hence,
If \(q_2=\infty ,\) by definition of Besov norm we have
Now, by Lemma 3.1 we have \(|\widehat{a}(\eta -\xi ,\xi )|\le C\langle \eta -\xi \rangle ^{-2k}\langle \xi \rangle ^{m+\delta (2k)}. \) On the other hand, by Peetre’s inequality (Proposition 3.3.31 of [40]) we can write
From this, for all \(1\le q_2\le \infty \) we obtain,
From the condition \(0\le w_2<2k-n \) we deduce the convergence of the series
Hence, we have
Since \(0<\alpha \le \frac{1}{2},\) we deduce that \(q_{1}\ge 1.\) Hence \(B^{w_1}_{p_1,q_1}\) is a Banach space. So, \(T_a: B^{w_1}_{p_1,q_1}(\mathbb {T}^n)\rightarrow B^{w_2}_{p_2,q_2}(\mathbb {T}^n) \) is a r-nuclear operator.\(\square \)
In the previous theorem the r-nuclearity has been established for \(w_{2}\ge 0.\) In the following theorem we provide an analysis of the problem for \(w_{2}<0.\)
Theorem 3.4
Let \(0\le \delta ,\rho \le 1,\) and \(0<\alpha \le \frac{1}{2}.\) If \(a\in S^{m}_{\rho ,\delta ,0,2k}\), under the following conditions
-
\(w_{1}=\alpha \cdot n, \,\,1< p_1\le 2,\) \(q_1=(\alpha +\frac{1}{p_1'})^{-1},\)
-
\(-\infty<w_2<-\frac{n}{2},\) \(1\le p_2,q_2\le \infty ,\) \(m\le -\delta (2k),\) \(k>n/4,\)
the operator \(T_{a}: B^{w_1}_{p_1,q_1}\rightarrow B^{w_2}_{p_2,q_2} \) is nuclear. Moreover, if we assume
-
\(w_{1}=\alpha \cdot n, \,\,1< p_1\le 2,\) \(q_1=(\alpha +\frac{1}{p_1'})^{-1},\)
-
\(w_2\le 0,\) \(1\le p_2,q_2\le \infty ,\) \(m<-\frac{n}{r}- \delta (2k),\) \(k>n/2,\)
the operator \(T_a\) is r-nuclear for all \(0<r\le 1.\)
Proof
From the proof of Theorem 3.3, we have that \(\Vert G_{\xi } \Vert _{B^{w_1}_{p_1,q_1}}\lesssim 1\) and
If \(-\infty<w_2<-n/2,\) we deduce that
By the Young’s inequality, \(\langle \eta \rangle ^{w_2}\in L^{2}(\mathbb {Z})\) and \(\langle \eta \rangle ^{-2k}\in L^{2}(\mathbb {Z})\) implies that
With this in mind, using the fact that \(\Vert G_{\xi } \Vert _{B^{w_1}_{p_1,q_1}}\lesssim 1,\) and the condition \(m\le -\delta (2k)\) we obtain
This inequality implies the nuclearity of \(T_{a}.\) Now, we will treat the case \(w_2\le 0,\) \(k>n/2.\) In fact, we have
Thus,
This proves the r-nuclearity of \(T_a\) when \(m<-\frac{n}{r}-\delta \cdot 2k.\) \(\square \)
In order to get r-nuclearity of operators from Hölder into Besov spaces, we recall the following lemma (see [4, 42, 43].)
Lemma 3.5
Let \(1\le p\le 2\) and let \(s_p=1/p-1/2.\) Then, the Fourier transform \(f\mapsto \mathscr {F}f\) from \(\Lambda ^s(\mathbb {T})\) into \(L^{p}(\mathbb {T})\) is a bounded operator for all s, \(s_p<s<1.\) In particular, if \(p=1\) we obtain the Bernstein Theorem.
Now we study the r-nuclearity of periodic operators from Hölder spaces (resp. Lebesgue) into Besov spaces.
Theorem 3.6
Let \(0<r\le 1,\) \(0\le \rho ,\delta \le 1,\) and \(k>\frac{n}{2},\) \(k\in \mathbb {N}.\) Let us consider \(a\in S^{m}_{\rho ,\delta , 0,2k}(\mathbb {T}^n\times \mathbb {Z}^n).\) Under the following conditions,
-
\(X^{(n)}=L^{p}(\mathbb {T}^n),\) \(1\le p\le 2\) or \(X^{(1)}=B^{s}_{\infty ,\infty }(\mathbb {T}^1),\) \(0<s<1.\)
-
\(0\le w_{2}<2k-n,\,\, m<-\frac{n}{r}-w_2-\delta (2k),\) \(1\le p_2\le \infty ,\) \(1\le q_2\le \infty ,\)
the pseudo-differential operator \(T_a: X^{(n)} \rightarrow B^{w_2}_{p_2,q_2}(\mathbb {T}^n) \) is r-nuclear.
Proof
If we assume that \(X:=X(\mathbb {T}^n)\) is a Banach space of periodic functions with the property that \(\Vert \widehat{f}\Vert _{L^{\infty }(\mathbb {Z}^n)} \le C\Vert f\Vert _{X(\mathbb {T}^n)},\) then we obtain
Now, we note that in the following cases, X has the mentioned property:
-
\(X=L^{1}(\mathbb {T}^n).\) (As a consequence of \(\Vert \widehat{f}\Vert _{L^\infty }\le \Vert f \Vert _{L^1}.\))
-
\(X=L^{p}(\mathbb {T}^n),\) \(1<p \le 2.\) (Hausdorff-Young Inequality).
-
\(X=\Lambda ^{s}(\mathbb {T}^1)=B^{s}_{\infty ,\infty }(\mathbb {T}),\) \(0<s< 1.\) In fact, by Lemma 3.5, if \(p>(s+\frac{1}{2})^{-1}\) then
$$\begin{aligned}\Vert \widehat{f}\Vert _{L^p}\lesssim \Vert f \Vert _{\Lambda ^s}.\end{aligned}$$
Hence
As a consequence of this, we obtain the r-nuclearity of \(T_{a}:X\rightarrow B^{w_2}_{p_2,q_2},\) where \(0\le w_{2}<2k-n,\,\, m<-\frac{n}{r}-w_2-\delta (2k),\) \(1\le p_2\le \infty \) and \(1\le q_2\le \infty .\) \(\square \)
We end this section with the following result on r-nuclearity of periodic operators on Hölder spaces.
Corollary 3.7
Let \(0< r\le 1 \), \(0<s,w< 1,\) and \(0\le \rho ,\delta \le 1.\) Let us assume that \(a\in S^{m}_{\rho ,\delta ,0,2}(\mathbb {T}\times \mathbb {Z}).\) If \(m<-\frac{1}{r}-w-2\delta ,\) then \(T_a:\Lambda ^{s}(\mathbb {T})\rightarrow \Lambda ^{w}(\mathbb {T})\) is a r-nuclear operator.
Proof
Let us apply Theorem 3.6 with \(X^{(1)}=B^{s}_{\infty ,\infty }(\mathbb {T})=\Lambda ^{s}(\mathbb {T}),\) \(k=1,\) and \(w_{2}=w.\) \(\square \)
4 Trace Formulae for r-Nuclear Pseudo-Differential Operators on Besov Spaces
In this section we provide trace formulae for r-nuclear operators on periodic Besov spaces. We recall the following result due to Grothendieck (see [23]).
Theorem 4.1
Let E be a Banach space and \(T:E\rightarrow E\) be a \(\frac{2}{3}\)-nuclear operator. Then the nuclear trace agrees with the sum of the eigenvalues \(\lambda _{n}(T)\) of T, (with multiplicities counted).
Using this result we have our first Grothendieck–Lidskii trace formula for r-nuclear operators on periodic Besov spaces:
Theorem 4.2
Let \(0<r\le \frac{2}{3},\) \(0<\alpha \le \frac{1}{2},\) \(0\le \rho ,\delta \le 1,\) and \(k>\frac{n}{2},\) \(k\in \mathbb {N}.\) Let us consider \(a\in S^{m}_{\rho ,\delta , 0,2k}(\mathbb {T}^n\times \mathbb {Z}^n).\) Under the following conditions,
-
\(0<w_{1}=\alpha \cdot n<2k-n, \,\,1< p_1\le 2,\) \(q_1=(\alpha +\frac{1}{p_1'})^{-1}.\)
-
\(m<-\frac{n}{r}-w_1-\delta (2k),\)
the pseudo-differential operator \(T_a:B^{w_1}_{p_1,q_1}\rightarrow B^{w_1}_{p_1,q_1}\) is r-nuclear and the trace of T, is given by
where \(\lambda _{n}(T_a)\) is the sequence of eigenvalues of \(T_{a}\) with multiplicities taken into account.
Proof
We observe that by Theorem 3.3, the operator \(T_a\) is r-nuclear. Let us denote by \(\lambda _{n}(T_a)\) the sequence of eigenvalues of \(T_{a}\) with multiplicities taken into account. Since \(0<r\le \frac{2}{3},\) from the Theorem 4.1 we obtain
\(\square \)
Corollary 4.3
Let \(0<r\le 1,\) \(0<\alpha \le \frac{1}{2},\) \(0\le \rho ,\delta \le 1,\) and \(k>\frac{n}{2},\) \(k\in \mathbb {N}.\) Let us consider \(a\in S^{m}_{\rho ,\delta , 0,2k}(\mathbb {T}^n\times \mathbb {Z}^n).\) Under the following conditions,
-
\(0<w_{1}=\alpha \cdot n<2k-n, \,\,1< p_1\le 2,\) \(q_1=(\alpha +\frac{1}{p_1'})^{-1}.\)
-
\(m<-\frac{n}{r}-w_1-\delta (2k),\)
the pseudo-differential operator \(T_a:B^{w_1}_{p_1,q_1}\rightarrow B^{w_1}_{p_1,q_1}\) is r-nuclear and the trace of \(T_a,\) is given by
Proof
By Theorem 3.3 \(T_{a}\) is a r-nuclear operator. The trace formula (4.2) now follows from Theorem 2.2.\(\square \)
In order to prove our next trace formula, we use the following result by O. Reinov and Q. Latif, which extends the Grothendieck–Lidskii trace formula for \(r \in ( \frac{2}{3}, 1]\) (see [38]).
Theorem 4.4
Let Y be a subspace of an \(L^{p}(\mu )\) space, \(1\le p\le \infty \). Assume that T is a r-nuclear operator on Y, where \(1/r=1+|1/2-1/p|.\) Then, the (nuclear) trace of T is well defined, the sequence of eigenvalues \(\lambda _{n}(T)\) of T (with multiplicities counted) is summable and
Notice that as a consecuence of Theorem 3.3, if \(a\in S^{m}_{\rho ,\delta , 0,2k}(\mathbb {T}^n\times \mathbb {Z}^n),\) \(r= 1\), \(1<p_{1}<2\), \(\alpha =\frac{1}{p_1}- \frac{1}{2},\) and \(w_1,m\) are index satisfying the conditions stated there, the pseudo-differential operator \(T_a: B^{w_1}_{p_1,q_1}(\mathbb {T}^n)\rightarrow B^{w_2}_{p_2,q_2}(\mathbb {T}^n) \) is nuclear. It follows from Theorem 5.2 of [34] that \(Y=B^{\omega _1}_{p_{1},2}\) is a subspace of \(L^{2}(\mathbb {T}^n)\) . By applying Theorem 4.4 (with \(p=2,\) \(Y=B^{\omega _1}_{p_{1},2}\) and \(r=1\)), we conclude that (4.3) holds for \(T=T_a.\) From the Theorem 2.2, we have that
Thus, we summarize this facts in the following
Theorem 4.5
Let \(1< p_1<2\) and \(\alpha =\frac{1}{p_1}-\frac{1}{2}.\) Let \(0\le \rho ,\delta \le 1,\) and \(k>\frac{n}{2},\) \(k\in \mathbb {N}.\) Let us consider \(a\in S^{m}_{\rho ,\delta , 0,2k}(\mathbb {T}^n\times \mathbb {Z}^n).\) Under the following conditions,
-
\(0<w_{1}=\alpha \cdot n<2k-n.\)
-
\(m<-{n}-w_1-\delta (2k),\)
The operator \(T_{a}\) is nuclear on \(B^{\omega _1}_{p_{1},2}\) and
The sequence \(\lambda _{n}(T_a)\) is conformed by the eigenvalues of \(T_a\) with multiplicities counted.
5 Trace Formulae for Fourier Multipliers on the Torus
In this section we provide trace formulae for r-nuclear Fourier multipliers on periodic Besov spaces. We denote by \(S^{m}_{0}(\mathbb {T}^n\times \mathbb {Z}^n)\) the set of functions \(a:\mathbb {Z}^{n}\rightarrow \mathbb {C}\) satisfying \(|a(\xi )|\le C\langle \xi \rangle ^m.\)
Theorem 5.1
Let \(0<r\le \frac{2}{3},\) and let \(0<\alpha \le \frac{1}{2}.\) Let us consider \(a(\xi )\in S^{m}_{0}(\mathbb {T}^n\times \mathbb {Z}^n).\) Under the following conditions,
-
\(1< p_1\le 2,\) \(q_1=(\alpha +\frac{1}{p_1'})^{-1},\)
-
\(m<-\frac{n}{r}-\alpha \cdot n,\)
the Fourier multiplier \(T_a:B^{w}_{p_1,q_1}\rightarrow B^{w}_{p_1,q_1}\) is r-nuclear for every \(w\in \mathbb {R}\) and the trace of T, is given by
where \(\lambda _{n}(T_a)\) is the sequence of eigenvalues of \(T_{a}\) with multiplicities taken into account.
Proof
We observe that by Theorem 3.3, the operator \(T_a\) is r-nuclear on \(B^{\alpha \cdot n}_{p_1,q_1}(\mathbb {T}^n)\) with \(0<\alpha \cdot n<2k-n\). By using Theorem 2.3 we extend this result to every \(w\in \mathbb {R}\). Now, if we denote by \(\lambda _{n}(T_a)\) the sequence of eigenvalues of \(T_{a}\) with multiplicities taken into account and considering \(0<r\le \frac{2}{3},\) from the Theorem 4.1 we obtain
\(\square \)
An immediate consequence of the Theorem above is the following.
Corollary 5.2
Let \(0<r\le 1,\) and let \(0<\alpha \le \frac{1}{2}.\) Let us consider \(a(\xi )\in S^{m}_{0}(\mathbb {T}^n\times \mathbb {Z}^n).\) Under the following conditions,
-
\(1< p_1\le 2,\) \(q_1=(\alpha +\frac{1}{p_1'})^{-1}.\)
-
\(m<-\frac{n}{r}-\alpha \cdot n,\)
the Fourier multiplier \(T_a:B^{w}_{p_1,q_1}\rightarrow B^{w}_{p_1,q_1}\) is r-nuclear for every \(w\in \mathbb {R}\) and the nuclear trace of \(T_a,\) is given by
Proof
By Theorem 3.3 \(T_{a}\) is a r-nuclear operator. The trace formula (4.2) now follows from Theorem 2.2.\(\square \)
Now we present the following result which can be proved by using similar arguments as above.
Theorem 5.3
Let \(1< p_1<2\) and \(\alpha =\frac{1}{p_1}-\frac{1}{2}.\) Let us consider \(a(\xi )\in S^{m}_{0}(\mathbb {T}^n\times \mathbb {Z}^n).\) If \(m<-{n}-\alpha \cdot n,\) the Fourier multiplier \(T_{a}\) is a nuclear operator on \(B^{w}_{p_{1},2}\) for every \(w\in \mathbb {R}\) and
The sequence \(\lambda _{n}(T_a)\) is conformed by the eigenvalues of \(T_a\) with multiplicities counted.
Remark 5.4
Now, we discuss our main results in the periodic case. Theorem 3.3, if we consider smooth symbols (i.e with derivatives of arbitrary order), we obtain the r-nuclearity in Besov spaces of pseudo-differential on the torus \(\mathbb {T}^n,\) associated to symbols of order less that \(-\frac{n}{r},\) and some conditions of the parameters \(p_{i},q_i\) and on \(w_i.\) This is a expected fact, in analogy with some results by Ruzhansky and Delgado in \(L^{p}\) spaces (c.f. [11,12,13,14]). The conclusion above is same for Theorem 3.4. Also, it is important to mention that trace formulae obtained in the last two sections are versions in Besov spaces of ones obtained by Delgado and Wong in \(L^p\) spaces [9].
We end this section with the following examples where, by using results above we compute the trace of the heat kernel and suitable powers of the Bessel potential on periodic Besov spaces.
Example 5.5
Let \(\mathcal {L}_{\mathbb {T}^n}\) be the Laplacian on the torus \(\mathbb {T}^n,\) for every \(s\in \mathbb {R},\) the Bessel potential of order s denoted by \((I-\mathcal {L}_{\mathbb {T}^n})^{s}\) is the periodic operator with symbol \(a_s(x,\xi )=\langle \xi \rangle ^{s}.\) If \(0<r\le 1,\) and \(0<\alpha \le \frac{1}{2}\), by using Corollary 4.3, under the following conditions,
-
\(\alpha >0, \,\,1< p_1\le 2,\) \(q_1=(\alpha +\frac{1}{p_1'})^{-1}\), and \(m<-\frac{n}{r}-\alpha \cdot n,\)
the operator \((I-\mathcal {L}_{\mathbb {T}^n})^{-\frac{m}{2} }\) with symbol \(a(\xi )=\langle \xi \rangle ^{-m}\in S^{-m}_{1,0}(\mathbb {T}^n\times \mathbb {Z}^n)\) is r-nuclear on every \(B^{w_1}_{p_1,q_1}\) and its trace is given by
Example 5.6
If \(t>0,\) the heat kernel \(e^{-t\mathcal {L}_{\mathbb {T}^n} }\) is the operator with symbol \(a_t(x,\xi )=e^{-t|\xi |^{2}}\in S^{-\infty }_{1,0}(\mathbb {T}^n\times \mathbb {Z}^n).\) Newly, by Corollary 4.3, if \(w_1,p_1\) and \(q_{1}\) satisfy the condition above, \(e^{-t\mathcal {L}_{\mathbb {T}^n} }\) is a r-nuclear operator on \(B^{w_1}_{p_1,q_1}\) and its trace is given by
References
Achour, D., Rueda, P., Sánchez-Pérez, E.A., Yahi, R.: Lipschitz operator ideals and the approximation property. J. Math. Anal. Appl. 436(1), 217–236 (2016)
Alberti, G., Csönyei, M., Pelczyński, A., Preiss, D.: BV has the bounded approximation property. J. Geom. Anal. 15(1), 1–7 (2005)
Anisca, R., Chlebovec, C.: Subspaces of \(l^2(X)\) without the approximation property. J. Math. Anal. Appl. 395(2), 523–530 (2012)
Bloom, W.R.: Bernstein’s inequality for locally compact Abelian groups. Journal the Australian mathematical society 17, 88–101 (1974)
Böttcher, A. Grudsky, S. Huybrechs, D. Iserles, A. First-order trace formulae for the iterates of the Fox-Li operator. A panorama of modern operator theory and related topics, 207–224, Oper. Theory Adv. Appl., 218, Birkhuser Springer Basel AG, Basel, 2012
Brudnyi, A.: On the approximation property for Banach spaces predual to H-spaces. J. Funct. Anal. 263(9), 2863–2875 (2012)
Cardona, D.: On the singular values of the Fox-Li operator. J. Pseudo-Differ. Oper. Appl. 6(4), 427–438 (2015)
Cardona, D.: Besov continuity for Multipliers defined on compact Lie groups. Palest. J. Math. 5(2), 35–44 (2016)
Delgado, J., Wong, M.W.: \(L^p\)-nuclear pseudo-differential operators on \(\mathbb{Z}\) and \(\mathbb{S}^1.,\). Proc. Amer. Math. Soc. 141(11), 3935–3942 (2013)
Delgado, J.: Trace formulas for nuclear operators in spaces of Bochner integrable functions. Monatsh. Math 172(3–4), 259–275 (2013)
Delgado, J. Ruzhansky, M.: \(L^p\)-nuclearity, traces, and Grothendieck-Lidskii formula on compact Lie groups., J. Math. Pures Appl. (9) 102 (2014), no. 1, 153-172
Delgado, J. Ruzhansky,M.: Schatten classes and traces on compact groups, Math. Res. Lett., to appear, arXiv:1303.3914
Delgado, J., Ruzhansky, M.: Schatten classes on compact manifolds: kernel conditions. J. Funct. Anal. 267(3), 772–798 (2014)
Delgado, J., Ruzhansky, M.: Kernel and symbol criteria for Schatten classes and r-nuclearity on compact manifolds. C. R. Math. Acad. Sci. Paris 352(10), 779–784 (2014)
Delgado, J.: On the \(r\)-nuclearity of some integral operators on Lebesgue spaces. Tohoku Math. J. (2) 67 (2015), no. 1, 125–135
Delgado, J. Ruzhansky, M. The metric approximation property of variable Lebesgue spaces and nuclearity. arXiv:1410.4687
Delgado, J., Ruzhansky, M., Wang, B.: Approximation property and nuclearity on mixed-norm \(L^p\), modulation and Wiener amalgam spaces. J. Lond. Math. Soc. 94, 391–408 (2016)
Delgado, J. Ruzhansky, M. Wang, B. Grothendieck-Lidskii trace formula for mixed-norm \(L^p\) and variable Lebesgue spaces. to appear in J. Spectr. Theory
Delgado, J. Ruzhansky, M. Tokmagambetov, N. Schatten classes, nuclearity and nonharmonic analysis on compact manifolds with boundary, arXiv:1505.02261, to appear in J. Math. Pures Appl
Enflo, P.: A counterexample to the approximation problem in Banach spaces. Acta Math. 130, 309–317 (1973)
Feichtinger, H. Führ, H. Pesenson, I. Geometric Space-Frequency Analysis on Manifolds, arXiv:1512.08668
Fischer V., Ruzhansky M., Quantization on nilpotent Lie groups, Progress in Mathematics, Vol. 314, Birkhauser, 2016
Grothendieck, A.: Produits tensoriels topologiques et espaces nucléaires, Memoirs Amer. Math. Soc. 16, Providence, 1955 (Thesis, Nancy, 1953)
Haagerup, U., de Laat, T.: Simple Lie groups without the approximation property. Duke Math. J. 162(5), 925–964 (2013)
Hermann, K. Eigenvalue distribution of compact operators. Operator Theory: Advances and Applications, 16. Birkhuser Verlag, Basel, 1986
Kim, J.M., Lee, K.Y.: Weak approximation properties of subspaces. Banach J. Math. Anal. 9(2), 248–252 (2015)
Kim, J.M., Zheng, B.: The strong approximation property and the weak bounded approximation property. J. Funct. Anal. 266(8), 5439–5447 (2014)
Lancien, G., Perneck, E.: Approximation properties and Schauder decompositions in Lipschitz-free spaces. J. Funct. Anal. 264(10), 2323–2334 (2013)
Lee, K.Y.: The separable weak bounded approximation property. Bull. Korean Math. Soc. 52(1), 69–83 (2015)
Lee, K.Y.: Approximation properties in fuzzy normed spaces. Fuzzy Sets and Systems 282, 115–130 (2016)
Li, J., Fang, X.: C, p-weak approximation property in Banach spaces. (Chinese). Chinese Ann. Math. Ser. A 36(3), 247–256 (2015)
Lima, A., Lima, V., Oja, E.: Bounded approximation properties in terms of \(C[0,1]\). Math. Scand. 110(1), 45–58 (2012)
Mayer, D.H.: On the thermodynamic formalism for the Gauss map. Comm. Math. Phys. 130(2), 311–333 (1990)
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
Oja, E., Veidenberg, S.: Lifting convex approximation properties from Banach spaces to their dual spaces and the related local reflexivity. J. Math. Anal. Appl. 436(2), 729–739 (2016)
Pietsch, A. Operator ideals. Mathematische Monographien, 16. VEB Deutscher Verlag der Wissenschaften, Berlin, 1978
Pietsch, A.: History of Banach spaces and linear operators. Birkhäuser Boston Inc, Boston, MA (2007)
Reinov, O.I., Laif, Q.: Grothendieck-Lidskii theorem for subspaces of Lpspaces. Math. Nachr. 286(2–3), 279–282 (2013)
Roginskaya, M. Wojciechowski, M. Bounded Approximation Property for Sobolev spaces on simply-connected planar domains. arXiv:1401.7131
Ruzhansky, M., Turunen, V.:Pseudo-differential Operators and Symmetries: Background Analysis and Advanced Topics Birkhaüser-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 2013, no. 11, 2439-2496
Szász, O. Über den Konvergenzexponenten der Fourierschen Reihen gewisser Funktionenklassen, Sitzungsberichte der Bayerischen Akademie der Wissenschaften Mathematisch-physikalische Klasse. 135–150, (1922)
Szász, O. Über die Fourierschen Reihen gewisser Funktionenklassen. Mathematische Annalen. 530–536. (1928)
Acknowledgements
The author is indebted with Alexander Cardona for helpful comments on an earlier draft of this paper. The author would like to warmly thank the anonymous referee for his remarks and important advices leading to several improvements of the original paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Michael Ruzhansky.
The author was supported by the Faculty of Sciences of the Universidad de los Andes, Project: Operadores en grupos de Lie compactos, 2016-I. No new data was created or generated during the course of this research.
Rights and permissions
About this article
Cite this article
Cardona, D. Nuclear Pseudo-Differential Operators in Besov Spaces on Compact Lie Groups. J Fourier Anal Appl 23, 1238–1262 (2017). https://doi.org/10.1007/s00041-016-9512-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00041-016-9512-8