A Hörmander type multiplier theorem for multilinear operators (Q992795)

For \(m\in L^\infty(\mathbb R^{2n})\), the bilinear Fourier multiplier operator \(T_m\) is defined by \[ T_m(f,g)(x)=(2\pi)^{-2n}\int_{\mathbb R^n}\int_{\mathbb R^n}e^{ix\cdot(\xi+\eta)} m(\xi,\eta)\hat f(\xi)\hat g(\eta)\,d\xi\,d\eta. \] Let \(\Psi\in\mathcal S(\mathbb R^{2n})\) be such that \(\operatorname {supp}\Psi\subset \{z\in \mathbb R^{2n}\); \(1/2\leq|z|<2\}\) and \(\sum_{j\in\mathbb Z}\Psi(z/2^j)=1\) \((z\neq0)\). The author shows the following: Let \(s>n\), \(1<p,q,r<\infty\) and \(1/p+1/q=1/r\). If \(m\in L^\infty(\mathbb R^{2n})\) satisfies \[ \sup_{k\in\mathbb Z} \big\|m(2^k\xi,2^k\eta)\Psi(\xi,\eta)\big\|_{H^s(\mathbb R^{2n})}<\infty , \] then \(T_m\) is bounded from \(L^p(\mathbb R^n)\times L^q(\mathbb R^n)\) to \(L^r(\mathbb R^n)\), where \(H^s(\mathbb R^{2n})\) is the Sobolev space. From this it follows: Under the same assumption on \(p,q,r\), if \(m\in C^{n+1}(\mathbb R^{2n}\setminus \{0\})\) satisfies \( |\partial_\xi^\alpha\partial_\eta^\beta m(\xi,\eta)| \leq C_{\alpha,\beta}(|\xi|+|\eta|)^{-(|\alpha|+|\beta|)} \) for \(|\alpha|+|\beta|\leq n+1\) and \((\xi,\eta)\in \mathbb R^{n}\times\mathbb R^n \setminus \{(0,0)\}\), then \(T_m\) is bounded from \(L^p(\mathbb R^n)\times L^q(\mathbb R^n)\) to \(L^r(\mathbb R^n)\). These two results correspond to the linear case, which is known as Hörmander's multiplier theorem, where \(s>n\) is replaced by \(s>n/2\) in the first, and \(n+1\) is replaced by \([n/2]+1\) in the second case. The second one improves the known ones, \(4n\) by Coifman and Meyer [see \textit{K. Yabuta}, Tohoku Math. J., II. Ser. 34, 251--275 (1982; Zbl 0495.47024)] and \(2n+1\) by \textit{L. Grafakos} and \textit{R. H. Torres} [Adv. Math. 165, No.~1, 124--164 (2002; Zbl 1032.42020)].