Abstract
In this paper, we study elements of symbolic calculus for pseudo-differential operators associated with the weighted symbol class \(M_{\rho , \Lambda }^m({\mathbb {T}}\times {\mathbb {Z}})\) (associated to a suitable weight function \(\Lambda \) on \({\mathbb {Z}}\)) by deriving formulae for the asymptotic sums, composition, adjoint, transpose. We also construct the parametrix of M-elliptic pseudo-differential operators on \({\mathbb {T}}\). Further, we prove a version of Gohberg’s lemma for pseudo-differetial operators with weighted symbol class \(M_{\rho , \Lambda }^0({\mathbb {T}}\times {\mathbb {Z}})\) and as an application, we provide a sufficient and necessary condition to ensure that the corresponding pseudo-differential operator is compact on \(L^2({\mathbb {T}})\). Finally, we provide Gårding’s and Sharp Gårding’s inequality for M-elliptic operators on \({\mathbb {Z}}\) and \({\mathbb {T}}\), respectively, and present an application in the context of strong solution of the pseudo-differential equation \(T_{\sigma } u=f\) in \(L^{2}\left( {\mathbb {T}}\right) \).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The theory of pseudo-differential operators plays an important role in modern mathematics due to the fact that it has drawn a significant motivation from partial differential equations, signal processing, and time-frequency analysis, see [15, 23, 30]. Pseudo-differential operators acting on functions defined on smooth manifolds are an essential generalization of differential operators. The study of pseudo-differential operators originated in 1960s with the works of Kohn and Nirenberg [25] and Hörmander [23] in the study of singular integral differential operators, mainly for inverting differential operators to solve elliptic differential equations. In 1974, Beals and Fefferman [3] introduced the calculus for more general symbols. They constructed symbol classes in which the weight \(1+|\xi |\) was substituted with some appropriate weights in the symbol estimates. Ever since the theory is a key tool, mostly for its connections with mathematical physics and in many areas of harmonic analysis, quantum field theory, and the index theory.
In general, using the Mikjlin-Hörmander theorem for Fourier multipliers, pseudo-differential operators associated to the class \(S_{1, 0}^{0}\) are \(L^{p}\)-bounded. It is also well known that the \(L^2\)-boundedness property holds for pseudo-differential operators associated with the symbols, \(S_{\rho , \delta }^{0}\) with \(0 \le \delta < \rho \le 1\) (see [2, 23]). However, the situation becomes completely different for the case \(p\ne 2\). Fefferman [13] proved that the pseudo-differential operators whose symbols belong to the class \(S_{\rho , 0}^{0}\) with \(0<\rho <1\) are not in general \(L^{p}\)-bounded for \(p \ne 2\). To avoid the difficulty described above, Taylor in [36] introduced a suitable symbol subclass \(M_{\rho ,0}^{m}\), of \(S_{\rho , 0}^{0}\) and developed symbolic calculus for the associated pseudo-differential operators. Further, Garello and Morando [17, 18] introduced subclass \(M_{\rho , \Lambda }^{m}\) of \(S_{\rho , \Lambda }^{m}\), which are just a weighted version of the symbol class introduced by Taylor and developed the symbolic calculus for the associated pseudo-differential operators with many applications to study the regularity of multi-quasi-elliptic operators.
Considerable attention has been devoted in the past sixteen years to study various properties of pseudo-differential operators associated with the symbol class \(M_{\rho , \Lambda }^{m}\) on \({\mathbb {R}}^n\) in various directions by several researchers. For instance, the symbolic calculus, parametrix, and \(L^p,1< p < \infty ,\) boundedness of pseudo-differential operators with symbol in \(M_{\rho , \Lambda }^{m}, m>0\) has been studied by Wong [39]. Further, Kalleji [24] constructed a weighted symbol class \(M_{\rho , \Lambda }^m(\mathbb { T}^n\times {\mathbb {Z}}^n), m\in {\mathbb {R}}\) associated to a suitable weight function \(\Lambda \) on \({\mathbb {Z}}^n\) and study minimal and maximal extensions, among some other results for pseudo-differential operators associated with symbol in \(M_{\rho , \Lambda }^m({\mathbb {Z}}^n\times {\mathbb {T}}^n).\) We also note that recently, the authors in [26] constructed and studied M-elliptic pseudo-differential operators on \({\mathbb {Z}}^n\) with symbol in \(M_{\rho , \Lambda }^m({\mathbb {Z}}^n\times {\mathbb {T}}^n)\) which is just a weighted version of the Hörmander symbol class \( S_{\rho }^{m}\left( {\mathbb {Z}}^{n} \times {\mathbb {T}}^{n}\right) \) on \({\mathbb {Z}}^n\), introduced by Botchway, Kibiti and Ruzhansky [4]. More details about discrete pseudo-differential operators can be found in [5, 6, 9, 10]. This paper investigates M-elliptic pseudo-differential operators on \(\mathbb { T}\). In particular, we investigate elements of symbolic calculus for pseudo-differential operators associated with the class \(M_{\rho , \Lambda }^m({\mathbb {T}}\times {\mathbb {Z}})\) by deriving formulae for the asymptotic sums of symbols, composition, adjoint, transpose. We also construct the parametrix of M-elliptic pseudo-differential operators on \({\mathbb {T}}\).
Another important result in analysis is the Gohberg lemma due to its application in spectral theory and the singular integral equations. Gohberg lemma was first obtained by Gohberg [19] to investigate integral operators. In 1970, the Gohberg lemma for pseudo-differential operators with bounded symbols was obtained by Grušhin [20]. Later, for symbols in the Hörmander class \(S^0_{1, 0}({\mathbb {S}}^1\times {\mathbb {Z}})\), an analogue of Gohberg’s lemma has been proved in [27] to prove the spectral invariance. Further, this theory has been extended to compact Lie group by the first author and Ruzhansky in [12]. Recently, for symbols in the Hörmander class \(S^0_{ 1,0}(\Omega \times {\mathcal {I}})\), Ruzhansky and Velasquez-Rodriguez [29] investigated a “non-harmonic version” of Gohberg’s lemma, and provided a sufficient and necessary condition to ensure that the corresponding pseudo-differential operator is a compact operator in \(L^2(\Omega )\). In this manuscript, we also establish a version of the Gohberg lemma but for the weighted symbol class \(M_{\rho , \Lambda }^0({\mathbb {T}}\times {\mathbb {Z}})\). As an application of Gohberg’s lemma, we also provide a sufficient and necessary condition to ensure that the corresponding pseudo-differential operator is compact on \(L^2({\mathbb {T}})\). Particularly, we evaluate the norm of \(T_\sigma -K\), where K is a compact operator and \(\sigma \in M_{\rho , \Lambda }^0({\mathbb {T}}\times {\mathbb {Z}})\), and give estimates for the essential spectrum of such operator \(T_\sigma \). Using the relation between the lattice quantization and the toroidal quantization developed in [4], we prove Gohberg’s lemma for the weighted symbol class \(M_{\rho , \Lambda }^0({\mathbb {Z}}\times {\mathbb {T}})\) on \({\mathbb {Z}}.\)
Gårding’s type inequality plays a crucial role in the study of several problems related to initial value problem of parabolic type. Investigation of Gårding’s inequality for strongly elliptic operators was first proved by Gårding [16] to derive the existence of solutions of the Dirichlet problem for elliptic operators as well as to study the distribution of the eigenvalues. After that, considerable attention has been devoted by several researchers to studying Gårding’s inequality for pseudo-differential operators associated with the Hörmander symbols with applications to PDE in different contexts. For example, Gårding’s inequality for pseudo-differential operators associated with the Hörmander symbols on \({\mathbb {R}}^n\) with \(0 \le \delta \le \rho \le 1\), on compact Lie group with matrix-valued symbols, and in context of non-harmonic analysis on general smooth manifolds can be found in [7, 11, 22, 33, 36]. Here we would like to note that, recently, the first and second authors proved the Gårding’s inequality for SG M-elliptic operators to obtain results about the existence and uniqueness of solutions of the parabolic type IVP. On the other hand, in order to deal with non-elliptic problems, Hörmander proved in [21] sharp Gårding’s inequality for operators with symbols having nonnegative real part. The sharp Gårding’s inequality and its generalizations become an essential tool to investigate the existence of solutions to a wide class of boundary value problems and to analyze the global solvability and the local well-posedness of the Cauchy problem for evolution equations. The sharp Gårding’s inequality on \({\mathbb {R}}^n\) is one of the most important tools of the microlocal analysis with numerous applications in the theory of PDE [14, 21]. Notably, the sharp Gårding’s inequality requires the condition imposed on the full symbol. Further, the sharp Gårding’s inequality for the Kohn-Nirenberg classes \(S^m_{1,0}(G)\) proved in [31]. Recently, the authors in [8] extended these inequality for the Hörmander classes \(S^m_{\rho ,\delta }(G)\) for all \(0 \le \delta <\rho \le 1\). In this paper, we prove the Gårding’s and sharp Gårding’s inequality for M-elliptic pseudo-differential operator with symbol in \(M_{\rho , \Lambda }^0({\mathbb {T}}\times {\mathbb {Z}})\) on \({\mathbb {T}}\) and \(M_{\rho , \Lambda }^0({\mathbb {Z}}\times {\mathbb {T}})\) on \({\mathbb {Z}}\), respectively. We also present an application of Gårding’s inequality in the context of strong solution of the pseudo-differential equation \(T_{\sigma } u=f\) in \(L^{2}\left( {\mathbb {T}}\right) \).
The presentation of this manuscript is divided into six sections, including the introduction as follows:
-
In Sect. 2 we first recall some of the basics of Fourier analysis and important properties of periodic pseudo-differential operators on \({\mathbb {T}}\). We also recall the weighted symbol class \(M_{\rho , \Lambda }^{m}({\mathbb {T}} \times {\mathbb {Z}} ), m\in {\mathbb {R}}\) associated to a suitable weight function \(\Lambda \) on \({\mathbb {Z}}\) from [24].
-
In Sect. 3 we study elements of symbolic calculus for pseudo-differential operators associated with symbol in the weighted class \(M_{\rho , \Lambda }^m({\mathbb {Z}}\times {\mathbb {T}})\) by deriving formulae for the asymptotic sums, composition, adjoint, transpose. By recalling the definition of M-ellipticity for symbols we construct the parametrix of M-elliptic pseudo-differential operators.
-
In Sect. 4 we study compact M-elliptic pseudo-differential operators on \({\mathbb {T}}\). We prove a version of Gohberg’s lemma for pseudo-differential operators on \(\mathbb { T}\) and \({\mathbb {Z}}\) with symbol in the weighted symbol class \(M_{\rho , \Lambda }^0({\mathbb {T}}\times {\mathbb {Z}})\) and \(M_{\rho , \Lambda }^0({\mathbb {Z}}\times {\mathbb {T}})\), respectively. Further, we provide a sufficient and necessary condition to ensure the compactness of a pseudo-differential operator on \(L^2({\mathbb {T}})\) (also on \(\ell ^2({\mathbb {Z}})\)) with symbol in \(M_{\rho , \Lambda }^0({\mathbb {T}}\times {\mathbb {Z}})\) (respectively in \(M_{\rho , \Lambda }^0({\mathbb {Z}}\times {\mathbb {T}})\)).
-
In Sect. 5 we prove Gårding’s and Sharp Gårding’s inequality for M-elliptic operators on \({\mathbb {Z}}\) and \({\mathbb {T}}\), respectively.
-
In Sect. 6 we discuss an application of Gårding’s inequality in the context of strong solution of the pseudo-differential equation \(T_{\sigma } u=f\) in \(L^{2}\left( {\mathbb {T}}\right) \).
Note that, these results can be extended easily from \({\mathbb {T}}\) to the n-dimensional torus \({\mathbb {T}}^{n}\) given by \( {\mathbb {T}}^{n}=\underbrace{{\mathbb {T}}\times \cdots \times {\mathbb {T}}}_{n \text { times }},\) and similarly from \({\mathbb {Z}}\) to \({\mathbb {Z}}^{n}.\)
2 Preliminaries
In this section, we first recall some notation and basic properties of periodic Fourier analysis and pseudo-differential operators on \({\mathbb {T}}\). We also recall the toroidal symbol class \(S_{\rho , \Lambda }^{m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \) in the view of Ruzhansky–Turunen theory [30] as well as the weighted symbol class \(M_{\rho , \Lambda }^m({\mathbb {T}}\times {\mathbb {Z}})\) from [24]. We refer [24, 27, 28, 30, 37] for more details and the study of various operator theoretical properties of pseudo-differential operators on \({\mathbb {T}}.\)
The Fourier transform \({\hat{f}}\) of a function \(f \in L^{1}\left( {\mathbb {T}}\right) \) is defined by
where dx is the normalized Haar measure on \( {\mathbb {T}}\). The above periodic Fourier transform can be extended to \(L^{2}\left( {\mathbb {T}}\right) \) using the standard density arguments. We normalize the Haar measures on \({\mathbb {T}}\) in such a manner so that the following Plancherel formula holds:
The inverse of the periodic Fourier transform is given by
where f belongs to a suitable function space, namely, the Schwartz space of \({\mathbb {Z}}\), \({\mathcal {S}}({\mathbb {Z}}),\) the space of rapidly decaying functions from \({\mathbb {Z}}\rightarrow {\mathbb {C}}\).
Definition 2.1
(Forward and backward differences \(\triangle _{k}\) and \({\bar{\triangle }}_{k}\)) Let \(\sigma : {\mathbb {Z}} \rightarrow {\mathbb {C}}\). We define the forward and backward partial difference operators \(\triangle _{k}\) and \({\bar{\triangle }}_{k}\), respectively, by
Let us now recall the Hörmander symbol class, \( S_{\rho }^{m}\left( {\mathbb {T}}\times {\mathbb {Z}}\right) \), on \({\mathbb {T}}\), which is same as defined in [30].
Definition 2.2
Let \(m \in {\mathbb {R}}\) and \(\rho >0.\) We say that a function \(\sigma : {\mathbb {T}} \times {\mathbb {Z}} \rightarrow {\mathbb {C}}\) belongs to \( S_{\rho }^{m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \) if \(\sigma (x, k) \) is smooth in x for all \(k \in {\mathbb {Z}},\) and for all \(\alpha , \beta \in {\mathbb {N}}_0\), there exists a positive constant \(C_{\alpha , \beta }\) such that
Now, we will define the Hörmander symbol class, \( S_{\rho , \Lambda }^{m}\left( {\mathbb {T}}\times {\mathbb {Z}}\right) \), associtaed with a weight function \(\Lambda \).
Definition 2.3
Let \(\Lambda \) be a positive function. We say that \(\Lambda \) is a weight function if there exist suitable positive constants, \(\mu _{0} \le \mu _{1}\) and \(C_{0}, C_{1}\) such that
Furthermore, we assume that there exists a real constant \(\mu \) such that \(\mu \ge \mu _1\) and for all \(\alpha \),\(\gamma \) \(\in {\mathbb {N}}_{0}\) with \(\gamma \in \{0,1\}\), we can find a positive constant \(C_{\alpha ,\gamma }\) such that
Definition 2.4
Let \(m \in {\mathbb {R}}\) and \(\rho \in \left( 0, \frac{1}{\mu }\right] \). Then the toroidal symbol class \(S_{\rho , \Lambda }^{m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \) is the set of all functions \(\sigma : {\mathbb {T}} \times {\mathbb {Z}} \rightarrow {\mathbb {C}}\) which are smooth in x for all \(k \in {\mathbb {Z}}\), and for all \(\alpha , \beta \in {\mathbb {N}}_{0}\), there exists a positive constant \(C_{\alpha , \beta }\) such that
As usual we set
and
Let \(\sigma \in S_{\rho ,\Lambda }^{m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). Define a pseudo-differential operator \(T_{\sigma }\) associated with symbol \(\sigma \) by
for every \(f \in C^{\infty }\left( {\mathbb {T}}\right) \). We write \({\text {Op}} (S_{\rho , \Lambda }^{m}({\mathbb {T}} \times {\mathbb {Z}}))\) for the class of pseudo-differential operators associated with the symbol class \(S_{\rho , \Lambda }^{m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \).
Now, we will describe the main ingredient of this paper, namely the symbol class \(M_{\rho , \Lambda }^{m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \).
Definition 2.5
For \(m \in {\mathbb {R}}\) and \(\rho \in \left( 0, \frac{1}{\mu }\right] \), the symbol class, \(M_{\rho , \Lambda }^{m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \) consists of all functions \(\sigma : {\mathbb {T}} \times {\mathbb {Z}} \rightarrow {\mathbb {C}}\) which are smooth in x for all \(k \in {\mathbb {Z}}\), and for \(\gamma \in \{0,1\},\)
In the same manner, we write \({\text {Op}} (M_{\rho , \Lambda }^{m}({\mathbb {T}} \times {\mathbb {Z}}))\) for the class of pseudo-differential operators associated with the symbol class \(M_{\rho , \Lambda }^{m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \).
Remark 2.6
For every \(m \in {\mathbb {R}}\) and \(\rho \in \left( 0, \frac{1}{\mu }\right] \), we have
Lemma 2.7
For every \(m \in {\mathbb {R}}\) and \(0<\rho \le \frac{1}{\mu }\), there exists a positive integer \(N_{0}\) such that
More precisely, \(N_{0}:=\left( \frac{1}{\mu _{0}}-\rho \right) \). Moreover,
Proof
The proof of the above lemma is similar to the proof of Lemma 3.10 in [26]. \(\square \)
3 Symbolic calculus and parametrix for \(M_{\rho , \Lambda }^{m}({\mathbb {T}} \times {\mathbb {Z}})\)
In this section we study the symbolic calculus for pseudo-differential operators associated with symbol in \(M_{\rho , \Lambda }^m({\mathbb {T}} \times {\mathbb {Z}})\) by deriving formulae for composition, adjoint, transpose of the operators. We also construct the parametrix of M-elliptic pseudo-differential operators. We start this section with the following result related to the asymptotic sums of symbols.
Theorem 3.1
Let \(\left\{ m_{j}\right\} _{j \in {\mathbb {N}}_{0}}\) be a strictly decreasing sequence of real numbers such that \(m_{j} \rightarrow -\infty \) as \(j \rightarrow \infty \). Suppose \( \sigma _{j} \in M_{\rho , \Lambda }^{m_{j}}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) , j \in {\mathbb {N}}_{0}\). Then there exists a symbol \(\sigma \in M_{\rho , \Lambda }^{m_{0}}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \) such that
i.e.,
for every positive integer N.
Proof
Let \(\sigma _{j} \in M_{\rho , \Lambda }^{m_{j}}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). Then from Remark 2.6, we have \(\sigma _{j} \in S_{\rho , \Lambda }^{m_{j}}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). Consider \(\psi \in C^{\infty }\left( {\mathbb {R}}\right) \) such that \(0 \le \psi \le 1\) and
Let \(\left( \epsilon _{j}\right) _{j=0}^{\infty }\) be a sequence of positive real numbers such that \(\epsilon _{j}>\epsilon _{j+1} \rightarrow 0\). Define \(\psi _{j}:{\mathbb {Z}}\rightarrow {\mathbb {R}},\) by \(\psi _{j}(k):=\psi \left( \epsilon _{j} k\right) \). It is clear that if \(\alpha \ge 1\), then the support of \(\Delta _{k}^{\alpha } \psi _{j}\) is bounded. Since \(\sigma _{j} \in S_{\rho , \Lambda }^{m_{j}}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \), so using discrete Leibniz formula, we have
where \(C_{j \alpha \beta }\) is a positive constant. This means that, \(\psi _{j}(k) \sigma _{j}(x,k) \in S_{\rho , \Lambda }^{m_{j}}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) .\) Note that, when j is large enough, \(\Delta _{k}^{\alpha }\left( \psi _{j}(k) \sigma _{j}(x,k)\right) \), (where \(\alpha \in {\mathbb {N}}_{0}\)), vanishes for any fixed \(k \in {\mathbb {Z}}\). This justifies the definition
Clearly, \(\sigma \in S_{\rho , \Lambda }^{m_{0}}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). Further, we have
Since \(\epsilon _{j}>\epsilon _{j+1}\) and \(\epsilon _{j} \rightarrow 0\) as \(j \rightarrow \infty \), so \(\sum _{j=0}^{N-1}\left| \Delta _{k}^{\alpha }\partial _{x}^{\beta }\left\{ (\psi _{j}(k)-1) \sigma _{j}(x,k)\right\} \right| \) vanishes, whenever |k| is large. Thus, there exists a positive constant \(C_{r N \alpha \beta }\) such that
for any \(r \in {\mathbb {R}}\). On the other hand, one can easily show that
where \(C_{N \alpha \beta }^{\prime }\) is a positive constant. This shows that for every \(N \in {\mathbb {N}}\), we have
Since \(m_{j} \rightarrow -\infty \), as \(j \rightarrow \infty \), using left inclusions in (2.4), we have \(\sigma -\sum _{j=0}^{N-1} \sigma _{j} \in \) \(S_{\rho , \Lambda }^{m_{N}}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \subset M_{\rho , \Lambda }^{m_{0}}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \) for a sufficiently large N. Hence \(\sigma (x,k) \in M_{\rho , \Lambda }^{m_{0}}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). Furthermore, for all \(N \ge 2\) and \(N^{\prime } > N\)
with \(r_{N^{\prime }} \in S_{\rho , \Lambda }^{m_{N^{\prime }}}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). By choosing a sufficiently large \(N^{\prime }\) so that \(m_{N^{\prime }}<m_{N}-\) \(N_{0}\), we have \(r_{N^{\prime }} \in S_{\rho , \Lambda }^{m_{N}-N_{0}}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \subset M_{\rho , \Lambda }^{m_{N}}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \) and therefore \(\sigma -\sum _{j=0}^{N-1} \sigma _{j} \in \) \(M_{\rho , \Lambda }^{m_{N}}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). This completes the proof of the theorem. \(\square \)
The following results on the basic symbolic calculus of pseudo-differential operators with weighted M-symbols on \({\mathbb {T}} \times {\mathbb {Z}}\) are analogs of results for pseudo-differential operators with symbols in \(S^{m}\left( {\mathbb {T}}^n \times {\mathbb {Z}}^n \right) \) given in [30] and symbols in \(M_{\rho ,\Lambda }^{m}\left( {\mathbb {Z}}^n \times {\mathbb {T}}^n \right) \) given in [26].
Theorem 3.2
Let \(\sigma \in M_{\rho ,\Lambda }^{m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \) and \(\tau \in M_{\rho ,\Lambda }^{\mu }\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). Then \(T_\sigma T_\tau = T_\lambda \), where \(\lambda \in M_{\rho ,\Lambda }^{m+\mu }\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \) and
Here the asymptotic expansion means that
for every positive integer N.
Theorem 3.3
Let \(\sigma \in M_{\rho ,\Lambda }^{m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). Then the formal adjoint \(T_{\sigma }^{*}\) of \(T_{\sigma }\) is the pseudo-differential operator \(T_{\tau }\), where \(\tau \in M_{\rho ,\Lambda }^{m}\) and
Here the asymptotic expansion means that
for every positive integer N.
Let \(\sigma \in M_{\rho ,\Lambda }^{m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \), where \(m \in {\mathbb {R}}\). Then \(\sigma \) is said to be M-elliptic if there exist positive constants C and R such that
with \(|k| \ge R\). Naturally, a pseudo-differential operator \(T_{\sigma }\) corresponding to such \(\sigma \), is said to be M-elliptic.
The following lemma is analogous to the Lemma 2 in [17], which can be proved in the similar way. So we skip the proof here.
Lemma 3.4
Let \(p(x,k) \in M_{\rho , \Lambda }^{m}({\mathbb {T}} \times {\mathbb {Z}})\) and \(\psi (x, k) \in C^{\infty }\left( {\mathbb {T}} \times {\mathbb {R}}\right) \), be such that there exist two sufficiently large positive constants \(R^{\prime \prime }>R^{\prime }\) so that \(\psi (x, k)=0\), for all \(x \in {\mathbb {T}}\) and \(|k| \le R^{\prime }\), and \(\psi (x, k)=1\), for all \(x \in {\mathbb {T}}\) and \(|k| \ge R^{\prime \prime }\). Then \(q(x,k)=\frac{\psi (x, k)}{p(x, k)} \in M_{\rho , \Lambda }^{-m}({\mathbb {T}} \times {\mathbb {Z}})\).
Using the above lemma, we obtain the parametrix of the elliptic operators.
Theorem 3.5
A symbol \(\sigma \) is elliptic in \(M_{\rho ,\Lambda }^{m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \) if and only if there exists a symbol \(\tau \) in \(M_{\rho ,\Lambda }^{-m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \) such that
and
where R and S are pseudo-differential operators with symbols in \(\bigcap _{m \in {\mathbb {R}}} M_{\rho ,\Lambda }^{m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \), and I is the identity operator.
Proof
First suppose that there exists a symbol \(\tau \) in \(M_{\rho ,\Lambda }^{-m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \) such that (3.1) and (3.2) are true. From (3.2), we can conclude that
Hence, by Theorem 3.2, we have
So, we can find two positive constants C and \(C_{0}\) such that
Let \(R \in {\mathbb {N}}\) such that \(C(1+R)^{-\rho \mu _{0}}<\frac{1}{2}\). Then it follows that
and hence
since
Hence \(\sigma \) is an M-elliptic symbol of order m.
Conversely, let us assume that \(\sigma \) is an M-elliptic symbol of order m. Then there exist positive constants C and R such that
for all \(x \in {\mathbb {T}}\) and for all \(k \in {\mathbb {Z}}\) with \(|k| \ge R\). The idea is to find a sequence of symbols \(\tau _{j} \in M_{\rho ,\Lambda }^{-m-\rho j}( {\mathbb {T}} \times {\mathbb {Z}}), j=0,1,2, \ldots .\) Let us assume that this can been done. Then, by Theorem 3.1, there exists a symbol \(\tau \in M_{\rho ,\Lambda }^{-m}({\mathbb {T}} \times {\mathbb {Z}})\) such that \(\tau \sim \sum _{j=0}^{\infty } \tau _{j}\), and, by Theorem 3.2, the symbol \(\lambda \) of the product \(T_{\tau } T_{\sigma }\) is in \(M_{\rho ,\Lambda }^{0}({\mathbb {T}} \times {\mathbb {Z}})\) such that
for every positive integer N. Also \(\tau \sim \sum _{j=0}^{\infty } \tau _{j}\) implies that
for every positive integer N. Hence, by (3.3) and (3.4),
for every positive integer N. But we can write
To find a sequence of symbols \(\tau _{j} \in M_{\rho ,\Lambda }^{-m-\rho j}({\mathbb {T}} \times {\mathbb {Z}}), j=0,1,2, \ldots \), we choose \(\psi \) to be any function in \(C^{\infty }\left( {\mathbb {R}}^{n}\right) \) such that \(\psi (k)=1\), for \(|k| \ge 2 R\) and \(\psi (k)=0\), for \(|k| \le R\). Define
From Lemma 3.4, it is clear that \(\tau _0 \in M_{\rho , \Lambda }^{-m}({\mathbb {T}} \times {\mathbb {Z}})\). Now define, \(\tau _{l}\), for \(l \ge 1\), inductively by
Then it can be shown that \(\tau _{j} \in M_{\rho ,\Lambda }^{-m-\rho j}( {\mathbb {T}} \times {\mathbb {Z}}), j=0,1,2, \ldots \). Now, by (3.7), \(\tau _{0} \sigma =1\), for \(|k| \ge 2 R\). The second term on the right hand side of (3.6) vanishes for \(|k| \ge 2 R\) by (3.7) and (3.8). Also the third term there,
whenever \(|\gamma |+j \ge N\). Hence, by (3.6),
for every positive integer N. Thus, by (3.5) and (3.9),
for every positive integer N. Hence, if we pick R to be the pseudo-differential operator with symbol \(\lambda -1\), then the proof of (3.1) is complete.
By a similar argument, we can find another symbol, \(\kappa \in M_{\rho ,\Lambda }^{-m}({\mathbb {T}} \times {\mathbb {Z}})\), such that
where \(R^{\prime }\) is a pseudo-differential operator with symbol in \(\bigcap _{m \in {\mathbb {R}}} M_{\rho ,\Lambda }^{m}({\mathbb {T}} \times {\mathbb {Z}})\). By (3.1) and (3.10),
Since \(R T_{\kappa }\) and \(T_{\tau } R^{\prime }\) are pseudo-differential operators with symbols in \(\cap _{m \in {\mathbb {R}}} M_{\rho ,\Lambda }^{m}({\mathbb {T}} \times {\mathbb {Z}})\), it follows that
where
is another pseudo-differential operator with symbol in \(\bigcap _{m \in {\mathbb {R}}} M_{\rho ,\Lambda }^{m}({\mathbb {T}} \times {\mathbb {Z}})\). Hence, by (3.10) and (3.11),
where
Since S is a pseudo-differential operator with symbol in \(\bigcap _{m \in {\mathbb {R}}} M_{\rho ,\Lambda }^{m}({\mathbb {T}} \times {\mathbb {Z}})\), it follows that (3.2) is proved. \(\square \)
4 Compact M-elliptic pseudo-differential operators
This section is devoted to study the compact M-elliptic pseudo-differential operators on \({\mathbb {T}}\) and \({\mathbb {Z}}\). First, we prove Gohberg’s lemma for pseudo-differential operators on \({\mathbb {T}}\) and \({\mathbb {Z}}\) with symbol in the weighted symbol class \(M_{\rho , \Lambda }^0({\mathbb {T}}\times {\mathbb {Z}})\) and \(M_{\rho , \Lambda }^0({\mathbb {Z}}\times {\mathbb {T}})\), respectively. Using Gohberg’s lemma, we provide a necessary and sufficient condition to ensure the compactness of a pseudo-differential operator on \(L^2({\mathbb {T}})\) and \(\ell ^2({\mathbb {Z}})\). We start this section by recalling the definition of Fredholm operators.
Let X and Y be two complex Banach spaces. A closed linear operator \(A: X \rightarrow Y\) with dense domain \({\mathcal {D}}(A)\) is said to be Fredholm if the null space N(A) of A, and the null space \(N\left( A^{t}\right) \) of the adjoint \(A^{t}\) of A are finite-dimensional, and the range space R(A) of A is a closed subspace of Y. For a Fredholm operator A, the index i(A) of A is defined by
Let X be a complex Banach space and A: \(X \rightarrow X\) be a closed linear operator with dense domain \({\mathcal {D}}(A)\). Then the spectrum \(\Sigma (A)\) of A is defined by
where \(\rho (A)\) is the resolvent set of A given by
and I is the identity operator on X. The essential spectrum \(\Sigma _{w}(A)\) of A (defined in [38]) is given by
where
For a detailed study on essential spectrum of an operator, we refer to [34, 35].
For \(-\infty<s<\infty \), let \(J_{s}\) be the pseudo-differential operator with symbol \(\sigma _{s}\) given by
Clearly, \(\sigma _{s} \in M_{\rho ,\Lambda }^{-s}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). In literature, \(J_{s}\) is called the Bessel potential of order s. For \(s \in {\mathbb {R}}\) and \(1\,<\,p\,<\,\infty \), we define the Sobolev space, \(H_{\Lambda }^{s,p}\) by
Then \(H_{\Lambda }^{s,p}\) is a Banach space in which the norm \(\Vert \,\Vert _{s,p}\) is given by
Note that \(H_{\Lambda }^{0,p} = L^p({\mathbb {T}}).\)
The following well-known compact Sobolev embedding theorem is just the weighted version of [27, Theorem 2.5].
Theorem 4.1
Let \(s<t\). Then the inclusion \(i: H_{\Lambda }^{t, p} \hookrightarrow H_{\Lambda }^{s, p}\) is compact for \(1< p < \infty \).
The following boundedness result on weighted Sobolev space can be found in [24].
Theorem 4.2
Let \(\sigma \in M_{\rho ,\Lambda }^{m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) ,-\infty<m<\infty \). Then \(T_{\sigma }: H_{\Lambda }^{s, p} \rightarrow H_{\Lambda }^{s-m, p}\) is a bounded linear operator for \(1<p<\infty \).
The following proposition is the weighted version of [28, Theorem 4.5] for \(M_{\rho ,\Lambda }^{0}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \) class.
Proposition 4.3
Let \(\sigma \in M_{\rho ,\Lambda }^{0}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \) be such that
Then
A bounded linear operator A on a complex separable and infinite-dimensional Hilbert space X is essentially normal if \(A A^{t}-A^{t} A\) is compact.
The next result is about the essential normality of pseudo-differential operators with wrighted symbol of order 0.
Proposition 4.4
Let \(\sigma \in M_{\rho ,\Lambda }^{0}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). Then the bounded linear operator \(T_{\sigma }\): \(L^{2}\left( {\mathbb {T}}\right) \rightarrow L^{2}\left( {\mathbb {T}}\right) \) is essentially normal.
Proof
Let \(\tau \in M_{\rho ,\Lambda }^{0}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \) be such that \(T_{\sigma }^{t}=T_{\tau }\). Then using Theorem 3.2, we have
where \(\gamma \) and \({\tilde{\gamma }}\) are symbols of order 0. Moreover, \(\gamma -\sigma \tau \in M_{\rho ,\Lambda }^{-\rho }\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \) and \({\tilde{\gamma }}-\sigma \tau \in M_{\rho ,\Lambda }^{-\rho }\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). Therefore, \(\gamma -{\tilde{\gamma }} \in M_{\rho ,\Lambda }^{-\rho }\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). Hence, by Theorem 4.1 and 4.2, we get
is compact, which completes the proof. \(\square \)
The following theorem is known as Gohberg’s lemma in the literature.
Theorem 4.5
Let \(\sigma \in M_{\rho ,\Lambda }^{0}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). Then for all compact operators K on \(L^{2}\left( {\mathbb {T}}\right) \),
where
Here \(\Vert \cdot \Vert _{*}\) denotes the norm in the \(C^{*}\)-algebra of all bounded linear operators on \(L^2({\mathbb {T}})\).
Proof
Let u be a nonzero function in \(C^{\infty }\left( {\mathbb {T}}\right) \). Then
where \({\mathcal {F}}_{{\mathbb {Z}}} \sigma \) is the Fourier transform of \(\sigma \) with respect to the second variable in the sense of distribution. Since \(\sigma \in C^{\infty }\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \), it follows that for all \(k \in {\mathbb {Z}}\), there exists \(x_{k} \in [-\pi , \pi ]\) such that
By the definition of d, there exists a sequence \(\left\{ \left( x_{k_{m}}, k_{m}\right) \right\} _{m=1}^{\infty }\) such that
and
as \(m \rightarrow \infty \). For \(m=1,2, \ldots \), we define the function \(u_{k_{m}}\) on \({\mathbb {T}}\) by
Then
and moreover, using the Riemann-Lebesgue lemma, one can easily show that \(u_{k_{m}} \rightarrow 0\) weakly as \(k \rightarrow \infty \). Let \(K: L^{2}({\mathbb {T}}) \rightarrow L^{2}({\mathbb {T}})\) be a compact operator and \(\epsilon \) be an arbitrary positive number. Then
as \(m \rightarrow \infty \), and hence, for sufficiently large m,
\(\square \)
Lemma 4.6
\(\left\| \sigma \left( \cdot , k_{m}\right) u_{k_{m}}-T_{\sigma } u_{k_{m}}\right\| _{L^{2}\left( {\mathbb {T}}\right) } \rightarrow 0\) as \(m \rightarrow \infty \).
We assume the lemma for a moment and continue with the proof of Theorem 4.5. By Lemma 4.6, we have
for sufficiently large m. Since \(\sigma \in C^{\infty }\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \), so all derivatives of \(\sigma \left( \cdot , k_{m}\right) \) exist and are bounded, and hence, there exists a positive number \(\delta \) such that for all x in \(\left[ -\pi +x_{k_{m}}, \pi +x_{k_{m}}\right] \) with \(\left| x-x_{k_{m}}\right| <\delta \), we have
Choose \(u \in C^{\infty }\left( {\mathbb {T}}\right) \) be such that
Then \(u_{k_{m}}(x)=0\) for all x in \(\left[ -\pi +x_{k_{m}}, \pi +x_{k_{m}}\right] \) with \(\left| x-x_{k_{m}}\right| \ge \delta .\) So,
Hence, by (4.4),
Thus, by (4.2), (4.3), and (4.5), for sufficiently large m, we get
Letting \(m \rightarrow \infty \), we get
Finally, using the fact that \(\epsilon \) is an arbitrary positive number, we have
\(\square \)
Proof of Lemma 4.6
Let
Then for \(k=1,2, \ldots \),
where \(u_{x_{k_m}} = u (x-x_{k_m}).\) In the view of Example 2.4 in [32], the function \(q(x) = e^{-2 \pi i x} -1\) gives rise to a strongly admissible difference operator on \({\mathbb {T}}\) with the property that
Let N be a positive integer. Then by the Taylor expansion formula (see [32])
where h(x) is the geodesic distance from x and the identity element of \({\mathbb {T}}\). Using (4.6) and (4.7), we can write
Define
and
So, we have
where \(q^{N}(x):={\mathcal {O}}\left( h(x)^{N}\right) \) vanishes at the identity element of \({\mathbb {T}}\). Hence,
Define
and
Now using the fact that \(u_{x_{k_{m}}} \in C^{\infty }({\mathbb {T}})\), we obtain
where \(C = \sum _{\alpha =1}^{N-1} C_{\alpha }.\) Clearly \(|T_{N}^{1}(x)| \rightarrow 0\) uniformly on \({\mathbb {T}}\) as \(m \rightarrow \infty \), and hence, \(\Vert T_{N}^{1}\Vert _{L^{2}({\mathbb {T}})} \rightarrow 0\) as \(m \rightarrow \infty \).
Similarly, \(|T_{N}^{2}(x)| \le C_{0} \,\Lambda (k_m)^{-\rho \,N} \le C_{0} \,\Lambda (k_m)^{-\rho }\rightarrow 0\) uniformly on \({\mathbb {T}}\) as \(m \rightarrow \infty \), and hence, \(\Vert T_{N}^{2}\Vert _{L^{2}({\mathbb {T}})} \rightarrow 0\) as \(m \rightarrow \infty \). This completes the proof of the theorem. \(\square \)
Now we recall the definition of the Calkin algebra, which will be used to prove the main result of this section. Let \(B\left( L^{2}\left( {\mathbb {T}}\right) \right) \) and \(K\left( L^{2}\left( {\mathbb {T}}\right) \right) \) denotes the \(C^{*}\)-algebra of bounded linear operators on \(L^{2}\left( {\mathbb {T}}\right) \) and the ideal of compact operators on \(L^{2}\left( {\mathbb {T}}\right) \), respectively. The Calkin algebra \(B\left( L^{2}\left( {\mathbb {T}}\right) \right) / K\left( L^{2}\left( {\mathbb {T}}\right) \right) \) is a *-algebra with respect to the product and the adjoint defined as follows:
and
for all A and B in \(B\left( L^{2}\left( {\mathbb {T}}\right) \right) .\) Two elements [A] and [B] be in the Calkin algebra \(B\left( L^{2}\left( {\mathbb {T}}\right) \right) / K\left( L^{2}\left( {\mathbb {T}}\right) \right) \) are equal if and only if \( A-B \in K\left( L^{2}\left( {\mathbb {T}}\right) \right) \).
The norm \(\Vert \cdot \Vert _{C}\) in \(B\left( L^{2}\left( {\mathbb {T}}\right) \right) / K\left( L^{2}\left( {\mathbb {T}}\right) \right) \) is given by
It can be shown that \(B\left( L^{2}\left( {\mathbb {T}}\right) \right) / K\left( L^{2}\left( {\mathbb {T}}\right) \right) \) is a \(C^{*}\)-algebra. Using the Calkin algebra, (4.1) in Gohberg’s lemma is the same as
Now we are ready to prove our main theorem in this section.
Theorem 4.7
Let \(\sigma \in M_{\rho ,\Lambda }^{0}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). Then \(T_{\sigma }\) is a compact operator on \(L^{2}\left( {\mathbb {T}}\right) \) if and only if \(d=0\), where
Proof
First, let us assume that \(d=0\). Then \(T_{\sigma }\) is compact if and only if \(\left[ T_{\sigma }\right] =0\) in \(B\left( L^{2}\left( {\mathbb {T}}\right) \right) / K\left( L^{2}\left( {\mathbb {T}}\right) \right) \). By Proposition 4.4, \(T_{\sigma }\) is essentially normal on \(L^{2}\left( {\mathbb {T}}\right) \), which implies that \(\left[ T_{\sigma }\right] \) is normal in the Calkin algebra \(B\left( L^{2}\left( {\mathbb {T}}\right) \right) / K\left( L^{2}\left( {\mathbb {T}}\right) \right) \). Hence,
where \(r\left( \left[ T_{\sigma }\right] \right) \) is the spectral radius of \(\left[ T_{\sigma }\right] \), and by Proposition 4.3, we get \(\Sigma _{w}\left( T_{\sigma }\right) =\{0\}\). Therefore, by Atkinson’s theorem (see [1]), the spectrum of \(\left[ T_{\sigma }\right] \) in the Calkin algebra \(B\left( L^{2}\left( {\mathbb {T}}\right) \right) / K\left( L^{2}\left( {\mathbb {T}}\right) \right) \) is
This implies that
Hence, it follows that
Therefore \(T_{\sigma }\) is compact.
Now, to prove the converse part, assume that \(d \ne 0\), then we need to show that \(T_{\sigma }\) is not compact on \(L^{2}\left( {\mathbb {T}}\right) \). Suppose that \(T_{\sigma }\) is compact, then putting \(K=T_{\sigma }\) in (4.1) will contradict our assumption that \(d \ne 0\). This completes the proof of the theorem. \(\square \)
Now our aim is to study the Gohberg’s lemma and characterization of compact operators on \(\ell ^{2}({\mathbb {Z}})\) with symbol in \(M_{\rho ,\Lambda }^{0}\left( {\mathbb {Z}} \times {\mathbb {T}}\right) \) class (defined in [26]). The main ingredient is the relation between the weighted periodic and discrete symbols which can be found in [26].
Theorem 4.8
Let \(\sigma : {\mathbb {Z}} \times {\mathbb {T}} \rightarrow {\mathbb {C}}\) be a measurable function such that the pseudo-differential operator \(T_{\sigma }: \ell ^{2}\left( {\mathbb {Z}}\right) \rightarrow \ell ^{2}\left( {\mathbb {Z}}\right) \) is a bounded linear operator. If we define \(\tau : {\mathbb {T}}\times {\mathbb {Z}} \rightarrow {\mathbb {C}}\) by
then
where \(T_{\tau }^{*}\) is the adjoint of \(T_{\tau }\). We also have
where \(T_{\sigma }^{*}\) is the adjoint of \(T_{\sigma }\).
As a corollary of Theorems 4.5 and 4.8, we obtain the following estimates for the distance between a given operator and the space of compact operators on \( \ell ^2({\mathbb {Z}}).\)
Corollary 4.9
Let \(\sigma \in M_{\rho ,\Lambda }^{0}\left( {\mathbb {Z}} \times {\mathbb {T}}\right) \). Then for all compact operators K on \(\ell ^{2}\left( {\mathbb {Z}}\right) \),
where
Here \(\Vert \cdot \Vert _{**}\) denotes the norm in the \(C^{*}\)-algebra of all bounded linear operators on \(\ell ^2({\mathbb {Z}})\).
Proof
We define \(\tau : {\mathbb {T}}\times {\mathbb {Z}} \rightarrow {\mathbb {C}}\) by
Since \(\sigma \in M_{\rho ,\Lambda }^{0}\left( {\mathbb {Z}} \times {\mathbb {T}}\right) \), we have \(\tau \in M_{\rho ,\Lambda }^{0}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). Then, by Theorem 4.5, we have the following estimate for all compact operators \(K^{\prime }\) on \(L^{2}\left( {\mathbb {T}}\right) :\)
We need to show that
for all compact operators K on \(\ell ^{2}\left( {\mathbb {Z}}\right) .\) Let \(K: \ell ^{2}\left( {\mathbb {Z}}\right) \rightarrow \ell ^{2}\left( {\mathbb {Z}}\right) \) be any arbitrary compact operator. This implies that \(K^{*}: \ell ^{2}\left( {\mathbb {Z}}\right) \rightarrow \ell ^{2}\left( {\mathbb {Z}}\right) \) is also a compact operator. Then \(K_{1} = {\mathcal {F}}_{{\mathbb {Z}}} K^{*} {\mathcal {F}}_{{\mathbb {Z}}}^{-1}: L^2({\mathbb {T}}) \rightarrow L^2({\mathbb {T}})\) is a compact operator. Hence, by (4.9) and (4.11), we have
and this completes the proof of the estimate (4.12). \(\square \)
The following corollary gives us a necessary and sufficient condition for an operator to be compact on \( \ell ^2({\mathbb {Z}})\) for symbol class \(M_{\rho ,\Lambda }^{0}\left( {\mathbb {Z}} \times {\mathbb {T}}\right) .\)
Corollary 4.10
Let \(\sigma \in M_{\rho ,\Lambda }^{0}\left( {\mathbb {Z}} \times {\mathbb {T}}\right) \). Then \(T_{\sigma }\) is a compact operator on \(\ell ^{2}\left( {\mathbb {Z}}\right) \) if and only if \(d=0\), where
Proof
First, let us assume that \(d = 0.\) Define
Since \(\sigma \in M_{\rho ,\Lambda }^{0}\left( {\mathbb {Z}} \times {\mathbb {T}}\right) \), we have \(\tau \in M_{\rho ,\Lambda }^{0}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) \). Hence, by Theorem 4.7, \(T_{\sigma }\) is compact on \(L^{2}\left( {\mathbb {T}}\right) \). This implies that \(T_{\sigma }^{*}\) is a compact operator on \(L^{2}\left( {\mathbb {T}}\right) \). Hence, by (4.8), \(T_{\sigma }\) is a compact operator on \(\ell ^{2}\left( {\mathbb {Z}}\right) \).
Now, to prove the converse part, assume that \(d \ne 0\), then we need to show that \(T_{\sigma }\) is not compact on \(\ell ^{2}\left( {\mathbb {Z}}\right) \). Suppose that \(T_{\sigma }\) is compact, then putting \(K=T_{\sigma }\) in (4.10) will contradict our assumption that \(d \ne 0\). This completes the proof of the theorem. \(\square \)
5 Gårding’s and sharp Gårding’s inequalities on \({\mathbb {T}}\) and \({\mathbb {Z}}\)
The main aim of this section is to prove Gårding’s and sharp Gårding’s inequalities for M-elliptic operators on \({\mathbb {T}}\) and \({\mathbb {Z}}\), respectively. First, we state the Gårding’s inequality for M-elliptic operators on \({\mathbb {T}}\), which is analogous to the [4, Corollary 5.7]. The proof can be done in similar lines, so we skip the proof here.
Theorem 5.1
(Gårding’s inequality for M-elliptic operators on \({\mathbb {T}}\)) Let \(m>0\). Let \(\sigma \in M_{\rho , \Lambda }^{2\,m}\left( {\mathbb {T}}\times {\mathbb {Z}}\right) \) be elliptic such that \(\sigma (x, k) \ge 0\) for all x and co-finitely many k. Then there exist \(C_{0}, C_{1}>0\) such that for all \(f \in H_{\Lambda }^{m,2}\left( {\mathbb {T}}\right) \), we have
Now, we will show that Theorem 5.1 implies the corresponding Gårding inequality for M-elliptic operators on \({\mathbb {Z}}\). As there is no regularity concept on the lattice, the statement is given in terms of weighted \(\ell ^{2}\)-spaces. For this, we need the following definition:
Definition 5.2
For \(s \in {\mathbb {R}}\), let us define the weighted space \(\ell _{s,\Lambda }^{2}\left( {\mathbb {Z}}\right) \) as the space of all \(f: {\mathbb {Z}}\rightarrow {\mathbb {C}}\) such that
We observe that the symbol \(\sigma _{s}(k)=\Lambda (k)^{s}\) belongs to \(M_{\rho ,\Lambda }^{s}\left( {\mathbb {Z}} \times {\mathbb {T}}\right) \), and \(f \in \ell _{s,\Lambda }^{2}\left( {\mathbb {Z}}\right) \) if and only if \(T_{\sigma _{s}} f \in \ell ^{2}\left( {\mathbb {Z}}\right) \).
Theorem 5.3
(Gårding’s inequality for M-elliptic operators on \({\mathbb {Z}}\)) Let \(m>0\). Let \(\sigma \in M_{\rho , \Lambda }^{2\,m}\left( {\mathbb {Z}}\times {\mathbb {T}}\right) \) be elliptic such that \(\sigma (k,x) \ge 0\) for all x and co-finitely many k. Then there exist \(C_{1}, C_{2}>0\) such that for all \(f \in \ell _{m,\Lambda }^{2}\left( {\mathbb {Z}}\right) \), we have
Proof
Let \(\tau (x, k)=\overline{\sigma (-k, x)}\). Then by Theorem 4.8, we have
and if \(\sigma \) is elliptic on \({\mathbb {Z}} \times {\mathbb {T}}\), then \(\tau \) is elliptic on \({\mathbb {T}} \times {\mathbb {Z}}\). Also, if \(\sigma \ge 0\), then \(\tau \ge 0\). Then by Theorem 5.1, for all \(g \in H_{\Lambda }^{m,2}\left( {\mathbb {T}}\right) \), we have
Let \(f \in \ell _{m,\Lambda }^{2}\left( {\mathbb {Z}}\right) \) and \(g={\mathcal {F}}_{{\mathbb {Z}}} f\). Then \(g \in H_{\Lambda }^{m,2}\left( {\mathbb {T}}\right) \), and
Now by Theorem 4.8,
so that \({\mathcal {F}}_{{\mathbb {Z}}} T_{\sigma } f=T_{\tau }^{*} g.\) Substituting (5.3) into (5.2), we get
and this completes the proof. \(\square \)
We now proceed to prove the sharp Gårding inequality for M-elliptic operators on \({\mathbb {T}}\) and \({\mathbb {Z}}\), respectively. For this, first we will state the sharp Gårding’s inequality for M-elliptic operators on \({\mathbb {T}}\) without proof as it follows similar lines to the proof of [4, Corollary 5.9].
Theorem 5.4
(Sharp Gårding’s inequality for M-elliptic operators on \({\mathbb {T}}\)) Let \(\sigma \in M_{\rho , \Lambda }^{m}\left( {\mathbb {T}}\times {\mathbb {Z}}\right) \) be such that \(\sigma (x, k) \ge 0\), for all \((x,k) \in {\mathbb {T}} \times {\mathbb {Z}}\). Then there exists a positive constant C such that for all \(f \in H_{\Lambda }^{\frac{m-1}{2},2}\left( {\mathbb {T}}\right) \), we have
In the following result, we prove that Theorem 5.4 implies the corresponding sharp Gårding’s inequality for M-elliptic operators on \({\mathbb {Z}}\).
Theorem 5.5
(Sharp Gårding’s inequality for M-elliptic operators on \({\mathbb {Z}}\)) Let \(\sigma \in M_{\rho , \Lambda }^{m}\left( {\mathbb {Z}}\times {\mathbb {T}}\right) \) be such that \(\sigma (k, x) \ge 0\) for all \((k,x) \in {\mathbb {Z}} \times {\mathbb {T}}\). Then there exists a positive constant C such that for all \(f \in \ell _{\frac{m-1}{2},\Lambda }^{2}\left( {\mathbb {Z}}\right) \), we have
Proof
Let \(\tau (x, k)=\overline{\sigma (-k, x)}\). Then by Theorem 4.8, we have
Using the same argument and notation as in the proof of Theorem 5.3, and by Theorem 5.4, we get
and this completes the proof of the theorem. \(\square \)
6 Applications
In this section, we present an application of Gårding’s inequality for the class \(M_{\rho , \Lambda }^{m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) .\) Let \(T_{\sigma , 0} \) and \(T_{\sigma , 1}\) are the minimal and maximal pseudo differential operator of \(T_\sigma \) on \(L^2({\mathbb {T}})\) defined as in [24]. First, we recall the following definitions about strongly elliptic symbols and strong solutions.
Definition 6.1
Let \(\sigma \in M_{\rho ,\Lambda }^m\left( {\mathbb {T}} \times {\mathbb {Z}}\right) ,\) \(m \in {\mathbb {R}}\). Then \(\sigma \) is said to be strongly M-elliptic if there exist positive constants C and R for which
Definition 6.2
Let \(\sigma \in M_{\rho ,\Lambda }^{2\,m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) , m>0\), and let \(f \in L^{p}\left( {\mathbb {T}}\right) , 1<p<\infty \). A function \(u \in L^{p}\left( {\mathbb {T}}\right) \) is a strong solution of the equation \(T_{\sigma } u=f\) if \(u \in {\mathcal {D}}\left( T_{\sigma , 0}\right) \) and \(T_{\sigma , 0} u=f\).
We recall that
Now, proceeding similarly as in Theorem 18.2 of [40], we have the following result related to the strong solution of the equation \(T_{\sigma } u=f\) on \({\mathbb {T}}\).
Lemma 6.3
Let \(\sigma \in M_{\rho ,\Lambda }^{2\,m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) , m>0\), be an M-elliptic symbol such that
for some positive constant C. Then for every function f in \(L^{2}\left( {\mathbb {T}}\right) \), the pseudo-differential equation \(T_{\sigma } u=f\) has a unique strong solution u in \(L^{2}\left( {\mathbb {T}}\right) \).
In the next result, we provide sufficient conditions for the existence and uniqueness of strong solutions in \(L^{2}({\mathbb {T}})\) for the pseudo-differential operator \(T_{\sigma }\) with strongly elliptic symbol.
Theorem 6.4
Let \(\sigma \in M_{\rho ,\Lambda }^{2\,m}\left( {\mathbb {T}} \times {\mathbb {Z}}\right) , m>0\), be a strongly elliptic symbol. Then for all f in \(L^{2}\left( {\mathbb {T}}\right) \) there exists a real number \(\lambda _{0}\) such that for all \(\lambda \ge \lambda _{0}\), the pseudo-differential equation \(\left( T_{\sigma }+\lambda I\right) u=f\) on \({\mathbb {T}}\) has a unique strong solution u in \(L^{2}\left( {\mathbb {T}}\right) \), where I is the identity operator on \(L^{2}\left( {\mathbb {T}}\right) \).
Proof
From Gårding’s inequality (5.1), there exist constants \(A>0\) and \(\lambda _{0}\) such that
Now for any \(\lambda \ge \lambda _{0}\), we get
This shows that \( T_{\sigma }\) satisfies the condition (6.1). Thus by Lemma 6.3, the pseudo-differential equation \(\left( T_{\sigma }+\lambda I\right) u=f\) has a unique strong solution u in \(L^{2}\left( {\mathbb {T}}\right) \) and this completes the proof. \(\square \)
References
Atkinson, F.V.: The normal solubility of linear equations in normed spaces. Mat. Sbornik N.S. 28(70), 3–14 (1951)
Beals, R.: A general class of pseudo-differential operators. Duke Math. J. 42, 1–42 (1975)
Beals, R., Fefferman, C.: Spatially inhomogeneous pseudodifferential operators, I. Comm. Pure Appl. Math. 27, 1–24 (1974)
Botchway, L.N.A., Kibiti, P.G., Ruzhansky, M.: Difference equations and pseudo-differential operators on \({\mathbb{Z} }^n\). J. Funct. Anal. 278(11), 108473 (2017)
Cardona, D.: Pseudo-differential Operators on \({\mathbb{Z} }^n\) with applications to discrete fractional integral operators. Bull. Iran. Math. Soc. 45(4), 1227–1241 (2019)
Cardona, D., del Corral, C., Kumar, V.: Dixmier traces for discrete pseudo-differential operators. J. Pseudo-Differ. Oper. Appl. 11, 647–656 (2020)
Cardona, D., Delgado, J., Ruzhansky, M.: Analytic functional calculus and Gårding inequality on graded Lie groups with applications to diffusion equations, arXiv:2111.07469 (2021)
Cardona, D., Federico, S., Ruzhansky, M.: Subelliptic sharp Gårding inequality on compact Lie groups, arXiv:2110.00838 (2021)
Cardona, D., Kumar, V.: Multilinear analysis for discrete and periodic pseudo-differential operators in \(L^p\) spaces. Rev. Integr. temas Mat. 36(2), 151–164 (2018)
Cardona, D., Kumar, V.: \(L^p\)-boundedness and \(L^p\)-nuclearity of multilinear pseudo-differential operators on \({\mathbb{Z} }^n\) and the torus \({\mathbb{T} }^n,\). J. Fourier Anal. Appl. 25(6), 2973–3017 (2019)
Cardona, D., Kumar, V., Ruzhansky, M., Tokmagambetov, N.: Global Functional calculus, lower/upper bounds and evolution equations on manifolds with boundary. Adv. Oper. Theory 8, 50 (2023)
Dasgupta, A., Ruzhansky, M.: The Gohberg lemma, compactness, and essential spectrum of operators on compact Lie groups. J. Anal. Math. 128, 179–190 (2016)
Fefferman, C.: \(L^p\)-bounds for pseudo-differential operators. Isr. J. Math. 14, 413–417 (1973)
Fefferman, C., Phong, D.H.: On positivity of pseudo-differential operators. Proc. Natl. Acad. Sci. USA 75, 4673–4674 (1978)
Fischer, V., Ruzhansky, M.: Quantization on Nilpotent Lie Groups, Progress in Mathematics, vol. 314. Birkhäuser, Basel (2016)
Gårding, L.: Dirichlet’s problem for linear elliptic partial differential equations. Math. Scand. 1, 55–72 (1953)
Garello, G., Morando, A.: A class of \(L^p\) bounded pseudodifferential operators. In: Begehr, H.G.W., Gilbert, R.P., Wong, M.W. (Eds.) Progress in Analysis, Vol. I, pp. 689–696. World Scientific (2003)
Garello, G., Morando, A.: \(L^p\)-bounded pseudo-differential opearors and regularity for multi-quasi elliptic equations. Integr. Equ. Oper. Theory 51, 501–517 (2005)
Gohberg, I.C.: On the theory of multi-dimensional singular integral equations. Sov. Math. Dokl. 1, 960–963 (1960)
Grušhin, V.V.: Pseudo-differential operators in \({\mathbb{R}}^n\) with bounded symbols. Funkcional. Anal. i Priložen 4(3), 37–50 (1970)
Hörmander, L.: Pseudo-differential operators and non-elliptic boundary problems. Ann. Math. 83(2), 129–209 (1966)
Hörmander, L.: The Cauchy problem for differential equations with double characteristics. J. Anal. Math. 32, 118–196 (1977)
Hörmander, L.: The Analysis of Linear Partial Differential Operators III. Springer, Berlin (1985)
Kalleji, M.K.: Essential spectrum of \(M\)-hypoelliptic pseudo-differential on the torus. J. Pseudo-Differ. Oper. Appl. 6, 439–459 (2016)
Kohn, J.J., Nirenberg, L.: An algebra of pseudo-differential operators. Comm. Pure Appl. Math. 18, 269–305 (1965)
Kumar, V., Mondal, S.S.: Symbolic calculus and m-ellipticity of pseudo-differential operators on \( \mathbb{Z} ^n\). Anal. Appl. (Singap.) 21(06), 1447–1475 (2023)
Molahajloo, S., Wong, M.W.: Ellipticity, Fredholmness and spectral invariance of pseudo-differential operators on \({\mathbb{S}}^1\). J. Pseudo-Differ. Oper. Appl. 1, 183–205 (2010)
Pirhayati, M.: Spectral theory of pseudo-differential operators on \({\mathbb{S} }^1\). In: Pseudo-Differential Operators: Analysis, Applications and Computations. Birkhäuser, Basel (2008)
Ruzhansky, M., Velasquez-Rodriguez, J.P.: Non-harmonic Gohberg’s lemma, Gershgorin theory and heat equation on manifolds with boundary. Math. Nachr. 294(9), 1783–1820 (2021)
Ruzhansky, M., Turunen, V.: Pseudo-differential Operators and Symmetries: background analysis and advanced topics. In: Volume 2 of Pseudo-differential Operators. Theory and Applications. Birkhäuser-Verlag, Basel (2010)
Ruzhansky, M., Turunen, V.: Sharp Gårding inequality on compact Lie groups. J. Funct. Anal. 260(10), 2881–2901 (2011)
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(3), 476–499 (2014)
Ruzhansky, M., Wirth, J.: Global functional calculus for operators on compact Lie groups. J. Funct. Anal. 267, 772–798 (2014)
Schechter, M.: On the essential spectrum of an arbitrary operator I. J. Math. Anal. Appl. 13, 205–215 (1966)
Schechter, M.: Spectra of Partial Differential Operators, 2nd edn. North-Holland (1986)
Taylor, M.E.: Pseudo-differential Operators. Princton University Press, Princton (1981)
Velasquez-Rodriguez, J.P.: On some spectral properties of pseudo-differential operators on \({\mathbb{T}}\). J. Fourier Anal. Appl. 25(5), 2703–2732 (2019)
Wolf, F.: On the essential spectrum of partial differential boundary problems. Comm. Pure Appl. Math. 12, 211–228 (1959)
Wong, M.W.: \(M\)-elliptic pseudo-differential operators on \(L^{p}\left({\mathbb{R}}^{n}\right)\). Math. Nachr. 279, 319–326 (2006)
Wong, M.W.: An Introduction to Pseudo-differential Operators, Volume 6 of Series on Analysis, Applications and Computation, 3rd ed. World Scientific, Hackensack (2014)
Acknowledgements
The first and third authors were supported by Core Research Grant(RP03890G), Science and Engineering Research Board (SERB), DST, India. The second author was supported by IIT Delhi Institute fellowship.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Karlheinz Gröchenig.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Dasgupta, A., Mohan, L. & Mondal, S.S. Weighted periodic and discrete pseudo-differential Operators. Monatsh Math 204, 427–454 (2024). https://doi.org/10.1007/s00605-024-01976-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-024-01976-w