Fourier multiplier theorems for Triebel-Lizorkin spaces

For \(m\in L^\infty\), the multiplier operator \(T_m\) is defined as \(T_ mf(x):=(m\hat f)^{\vee}(x)\), where for a function \(f\), \(\hat f(\xi)\) is its Fourier transform and \(f^\vee\) is its inverse Fourier transform. Let \(B_0:=\{x: |x|\le2\}\) and \(B_k:=\{x\in\mathbb R^d: 2^k<|x|\le 2^{k+1}\}\) for \(k\in\mathbb Z^+\). Suppose \(0<u\le \infty\), \(t>0\) and \(s\in\mathbb R\). The Herz space \(K^{s,t}_u\) is the collection of \(f\in L^u_{\mathrm{loc}}\) such that \[ \|f\|_{K^{s,t}_u}:=\left(\sum_{k=0}^\infty 2^{skt}\|f\|^t_{L^u(B_k)}\right)^{1/t}<\infty \] with the usual modification if \(t=\infty\). Let \[ \mathcal K^{s,t}_u[m]:=\sup_{k\in\mathbb Z}\left\|\left(m(2^k\cdot)\varphi\right)^\vee\right\|_{K^{s,t}_u}<\infty, \] where \(\varphi\) is a cutoff function such that \(0\le\varphi\le 1\), \(\varphi=1\) on \(1/2\le |\xi|\le 2\), and \(\mathrm{supp}\,(\varphi)\subset \{1/4\le |\xi|\le 4\}\). The author studies the optimal condition of triples \((u, t, s)\) for which \(\mathcal K^{s,t}_u[m]<\infty\) implies the boundedness of \(T_m\) on Triebel-Lizorkin space \(\dot F^{0,q}_p\). He first obtains the multiplier theorem for Besov space \(\dot B^{0,q}_p\) that for \(0<p\), \(q\le \infty\) and \(r:=\min(1,p)\), if \(0<u\le r\), then \[ \|T_m f\|_{\dot B^{0,q}_p}\lesssim \mathcal K^{0,r}_u[m]\|f\|_{\dot B^{0,q}_p}, \] and if \(r<u\le \infty\), then \[ \|T_m f\|_{\dot B^{0,q}_p}\lesssim \mathcal K^{d/r-d/u,r}_u[m]\|f\|_{\dot B^{0,q}_p}. \] And he shows that \(\mathcal K^{s,t}_u[m]<\infty\) implies the \(\dot F^{0,q}_p\)-boundedness of \(T_m\) and \[ \|T_m f\|_{\dot F^{0,q}_p}\lesssim \mathcal K^{s,t}_u[m]\|f\|_{\dot F^{0,q}_p}, \] if one of the following conditions holds: \begin{itemize} \item [(1)] \(0<p,q\le\infty\), \(p\not=q\), \(r:=\min(p,q)<1\), \(0<u\le r\), \(t>0\) and \(s>0\); \item [(2)] \(0<p,q\le\infty\), \(p\not=q\), \(r:=\min(p,q)<1\), \(r<u\le \infty\), \(t>0\) and \(s>0\) satisfying one of the following two conditions: \(s=d/r-d/u\) and \(t\le r\), or \(s>d/r-d/u\); \item [(3)] \(1\le p,q\le\infty\), \(p\not=q\), \(0<u\le 1\), \(t>0\) and \(s>0\); \item [(4)]\(1\le p,q\le\infty\), \(p\not=q\), \(1<u\le \infty\), \(t>0\) and \(s>0\) satisfying one of the following two conditions: \(s=d-d/u\) and \(t\le 1\), or \(s>d-d/u\). \end{itemize} Moreover, the author also considers the sharpness of the conditions on \(s\) and \(t\), and endpoint multiplier results with weighted Herz space conditions.

Recommendations

Cites work

Cited in

(17)

This page was built for publication: Fourier multiplier theorems for Triebel-Lizorkin spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2272947)