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

From MaRDI portal
Revision as of 01:55, 3 August 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Pseudo-differential operators on \(\mathbb{Z}^n\) with applications to discrete fractional integral operators
scientific article

    Statements

    Pseudo-differential operators on \(\mathbb{Z}^n\) with applications to discrete fractional integral operators (English)
    0 references
    0 references
    23 August 2019
    0 references
    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.
    0 references
    pseudo-differential operators
    0 references
    Calderón-Vaillancourt theorem
    0 references
    Gohberg lemma
    0 references
    discrete fractional integral operator
    0 references
    hypothesis-\(K^*\)
    0 references
    Waring's problem
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references