Pseudo-differential operators on \(\mathbb{Z}^n\) with applications to discrete fractional integral operators (Q2321602)

The author considers Fourier multipliers on \(\mathbb{Z}^n\): \[ t_m f(n'):=\int\limits_{\mathbb{T}^n} e^{i2\pi n'\cdot\xi}m(\xi)(\mathscr{F}f)(\xi)d\xi,\,\,\,f\in \mathscr{S}(\mathbb{Z}^n),\,n'\in\mathbb{Z}^n, \] where \(\mathbb{T}^n=[0,1]^n,\) and \(\mathscr{F}:\mathscr{S}(\mathbb{Z}^n)\rightarrow C^{\infty}(\mathbb{T}^n)\) is the discrete Fourier transform defined on the discrete Schwartz class \(\mathscr{S}\). Let \(1 < p < \infty\). It is proved that \(\bullet\) \(t_m:\ell^1(\mathbb{Z}^n)\rightarrow\ell^{p,\infty}(\mathbb{Z}^n)\) extends to a bounded operator if and only if \(\mathscr{F}^{-1}m\in \ell^{p,\infty}(\mathbb{Z}^n).\) \(\bullet\) \(t_m:\ell^1(\mathbb{Z}^n)\rightarrow\ell^{p}(\mathbb{Z}^n)\) extends to a bounded operator if and only if \(\mathscr{F}^{-1}m\in \ell^{p}(\mathbb{Z}^n).\) These results are applied to the investigation of discrete fractional integral operators \[ I_{k,\lambda+i\gamma}f(n')=\sum_{m=1}^{\infty}\frac{f(n'-m^k)}{m^{\lambda+i\gamma}},\,\,\,f\in \mathscr{S}(\mathbb{Z}),\,n'\in\mathbb{Z}. \] The main result is the following. Let \(1< p<\infty,\) \(k\in\mathbb{N},\) \(0<\lambda<1,\) and \(\gamma\in \mathbb{R}\), then \(\bullet\) \(I_{k,\lambda+i\gamma}\) is of weak type \((1,p)\) if and only if \(\lambda\geq \frac{1}{p}.\) \(\bullet\) \(I_{k,\lambda+i\gamma}\) is bounded from \(\ell^1\) into \(\ell^p\) if and only if \(\lambda> \frac{1}{p}.\) Discrete versions of the Calderón-Vaillancourt theorem (about the \(L^2\)-boundedness of pseudo-differential operators) and the Gohberg lemma (concerning the compactness of pseudo-differential operators in \(L^2\)) also are proved.