On the continuity of Fourier multipliers on \(\dot{W}^{l,1}(\mathbb{R}^d)\) and \(\dot{W}^{l,\infty}(\mathbb{R}^d)\) (Q2149506)

Given a nonnegative integer \(l\) and a parameter \(1\leq p\leq \infty ,\) the space \(\overset{\cdot }{W^{l,p}}\left(\mathbb{R}^{d}\right) \) consists of those distributions \(f\) on \(\mathbb{R}^{d}\) for which \(\nabla ^{l}f\in L^{p}\left(\mathbb{R}^{d}\right) .\) This space is endowed with the seminorm given by \[ \left\Vert f\right\Vert _{\overset{\cdot }{W^{l,p}}\left(\mathbb{R}^{d}\right) }=\left\Vert \nabla ^{l}f\right\Vert _{L^{p}\left(\mathbb{R}^{d}\right) }=\max_{\alpha \in \mathbb{N}^{d},\left\vert \alpha \right\vert =l}\left\Vert \nabla ^{\alpha}f\right\Vert _{L^{p}\left(\mathbb{R}^{d}\right) }. \] Let \(L_{\mathrm{loc}}^{1}\left(\mathbb{R}^{d}\right) \) be the set of locally integrable functions on \(\mathbb{R}^{d}.\) Given a function \(m\in L_{\mathrm{loc}}^{1}\left(\mathbb{R}^{d}\right) ,\) we say that \(m\) is a Fourier multiplier on \(\overset{\cdot }{W^{l,p}}\left(\mathbb{R}^{d}\right) \) if, for each Schwartz function \(f\in \mathcal{S}\left(\mathbb{R}^{d}\right) \) the distribution \(m\overset{\wedge }{f}\) is tempered and if, in addition, the following holds: \[ \left\Vert T_{m}f\right\Vert _{\overset{\cdot }{W^{l,p}}}\leq C\left\Vert f\right\Vert _{\overset{\cdot }{W^{l,p}}},\text{ \ }\forall \text{ }f\in \mathcal{S}\left(\mathbb{R}^{d}\right), \] for some constant \(C>0.\) \(T_{m}\) is defined by the relation \[ \overset{\wedge }{T_{m}f}\text{ }=m\overset{\wedge }{f}\text{ },\forall \text{ }f\in \mathcal{S}\left(\mathbb{R}^{d}\right) , \] where \(\left( \overset{\wedge }{.}\right) \) is the Fourier transform. \textit{A. Bonami} and \textit{S. Poornima} proved in [J. Funct. Anal. 71, 175--181 (1987; Zbl 0627.46034)] that the only Fourier multipliers on \( \overset{\cdot }{W^{l,1}}\left(\mathbb{R}^{d}\right) \) which are homogeneous functions of degree zero and continuous outside the origin are the constant functions. When \(l=1\), this result was generalized by \textit{K. Kazaniecki} and \textit{M. Wojciechowski} and they proved that if \(d\geq 2\) and if \(m\) is a Fourier multiplier on \(\overset{\cdot }{W^{l,1}}\left(\mathbb{R}^{d}\right) ,\) then \(m\in C_{b}\left( \mathbb{R}^{d}\right)\) [Ann. Inst. Fourier 66, No. 3, 1247--1260 (2016; Zbl 1351.42015)]. In this paper, the author further generalizes the results of Kazaniecki and Wojciechowski and proves in Theorem 3 and in Theorem 4 that given an integer \(l\geq 1,\) every multiplier on \(\overset{\cdot }{W^{l,1}}\left(\mathbb{R}^{d}\right) \) or \(\overset{\cdot }{W^{l,\infty }}\left(\mathbb{R}^{d}\right) \) is a bounded continuous function on \(\mathbb{R}^{d}.\)