Fourier multiplier theorems for Triebel-Lizorkin spaces (Q2272947)

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.