On the failure of multilinear multiplier theorem with endpoint smoothness conditions (Q2072149)

Let $n$ be a positive integer and let $\sigma$ be a bounded function on $(\mathbb{R}^{d})^n$. The $n$-linear multiplier operator $T_\sigma$ associated with $\sigma$ is defined by $$T_\sigma(f_1,\dots,f_{n})(x)=\int_{(\mathbb{R}^{d})^n}\sigma(\xi_1,\dots,\xi_{n})\biggl(\prod_{j=1}^nf_{j}(\xi_{j})\biggr)e^{2\pi i<x,\sum_{j=1}^n\xi_{j}>}d\xi_1\dots d\xi_{n}$$ for Schwartz functions $f_1,\dots,f_{n}$ in $S(\mathbb{R}^{d})$, where $f^i$ is the Fourier transform of the function $f$. The study boundedness of the function $T_\sigma$ $$T_\sigma:L^{p_1}\times\cdots\times L^{p_{n}}\to L^{p}$$ is one of principal questions in harmonic analysis as a multilinear extension of classical Fourier multiplier theorems, where $(1/(p_1))+\dots+(1/(p_{n}))=(1/p)$. There have been many attempts to characterize \(\sigma\) for which the boundedness holds. In this work the author studies a multilinear version of the Hörmander multiplier theorem namely $$||T_\sigma(f_1,\dots,f_{n})||_{L^{p}}\sup_{k\in\mathbb{Z}}||\sigma(2^{k},\dots,2^{k}.)\varphi^n||_{L_{(s_1,\dots,s_{n})}^2}||f_1||_{H^{p_1}}\dots||f_{n}||_{H^{p_{n}}}.$$ It is shown that this estimate does not hold in the limiting case $$\min(s_1,\dots,s_{n})=(d/2)\text{ or }\sum_{k\in J}(((s_{k})/d)-(1/(p_{k})))=-(1/2)$$ for some $J\subset\{1,\dots,n\}$. This provides the necessary and sufficient condition on $(s_1,\dots,s_{n})$ for the boundedness of $T_\sigma$.