Weighted norm inequalities for multilinear Fourier multipliers (Q2844841)

Denote by \(\mathcal{S}(\mathbb{R}^n)\) the space of all Schwartz functions on \(\mathbb{R}^n\). For any \(f\in\mathcal{S}(\mathbb{R}^n)\), the Fourier transform \(\widehat{f}\) is defined by NEWLINE\[NEWLINE\widehat{f}(\xi):=\int_{\mathbb{R}^n}e^{-ix\cdot\xi}f(x)\,dx \quad (\xi\in\mathbb{R}^n). NEWLINE\]NEWLINE Let \(N\in\mathbb{N}\) and \(m\in L^{\infty}(\mathbb{R}^{Nn})\). For \(f_1,\,\ldots,\, f_N\in\mathcal{S}(\mathbb{R}^n)\), the \(N\)-linear Fourier multiplier operator \(T_m\) is defined by NEWLINE\[NEWLINE T_m(f_1,\,\ldots,\,f_N)(x):=\frac{1}{(2\pi)^{Nn}} \int_{\mathbb{R}^{Nn}}e^{ix\cdot(\xi_1+\cdots+\xi_N)} m(\xi_1,\,\ldots,\,\xi_N)\widehat{f_1}(\xi_1)\cdots\widehat{f_N}(\xi_N)\,d\xi_1\ldots d\xi_N.NEWLINE\]NEWLINENEWLINENEWLINELet \(p\in(1,\infty)\). It is said that a weight \(w\geq0\) belongs to the Muckenhoupt class \(A_p(\mathbb{R}^{n})\), if NEWLINE\[NEWLINE\sup_{B\subset\mathbb{R}^{n}}\left\{\frac{1}{|B|}\int_B w(x)\,dx\right\} \left\{\frac{1}{|B|}\int_B [w(x)]^{1-p'}\,dx\right\}^{p-1}<\infty, NEWLINE\]NEWLINE where the supremum is taken over all balls \(B\subset\mathbb{R}^{n}\) and \(p':=p/(p-1)\). Moreover, let \(p\in(1,\infty)\) and \(w\geq0\) on \(\mathbb{R}^{n}\). Then the weighted Lebesgue space \(L^p(w)\) is defined to be the set of all measurable functions \(f\) on \(\mathbb{R}^{n}\) such that NEWLINE\[NEWLINE\|f\|_{L^p(w)}:=\left\{\int_{\mathbb{R}^{n}}|f(x)|^pw(x)\,dx\right\}^{1/p}<\infty. NEWLINE\]NEWLINENEWLINENEWLINEFor \(m\in L^\infty(\mathbb{R}^{Nn})\), \(k\in\mathbb{Z}\) and \(\xi:=(\xi_1,\,\ldots,\,\xi_N)\in\mathbb{R}^{n}\times\cdots \times\mathbb{R}^{n}\), set NEWLINE\[NEWLINEm_k(\xi):=m(2^k\xi_1,\,\ldots,\,2^k\xi_N)\Psi(\xi_1,\,\ldots,\,\xi_N),NEWLINE\]NEWLINE where \(\Psi\in\mathcal{S}(\mathbb{R}^{Nn})\) satisfies NEWLINE\[NEWLINE\mathrm{supp}\Psi\subset\{\xi\in\mathbb{R}^{Nn}:\;1/2\leq|\xi|\leq2\} \quad \text{and} \quad \sum_{k\in\mathbb{Z}}\Psi(\xi/2^k)=1 \;\mathrm{for\;all}\;\xi\in\mathbb{R}^{Nn}\backslash\{0\}. NEWLINE\]NEWLINE Let \(1<p_1,\,\ldots,\,p_N<\infty\), \(1/p_1+\cdots+1/p_N=1/p\) and \(Nn/2<s\leq Nn\). Assume thatNEWLINENEWLINE(i) \(\min\{p_1,\,\ldots,\,p_N\}>Nn/s\) and \(w\in A_{\min\{p_1s/(Nn),\,\ldots,\,p_Ns/(Nn)\}}(\mathbb{R}^{n})\); orNEWLINENEWLINE(ii) \(\min\{p_1,\,\ldots,\,p_N\}<(Nn/s)'\), \(p\in(1,\infty)\) and \(w^{1-p'}\in A_{p's/(Nn)}(\mathbb{R}^{n})\).NEWLINENEWLINEThe authors of this article prove that, if \(m\in L^\infty(\mathbb{R}^{Nn})\) satisfies NEWLINE\[NEWLINE\sup_{k\in\mathbb{Z}}\|m_k\|_{H^s(\mathbb{R}^{Nn})}<\infty,NEWLINE\]NEWLINE where \(H^s(\mathbb{R}^{Nn})\) denotes the Sobolev space, then \(T_m\) is bounded from \(L^{p_1}(w)\times\cdots\times L^{p_N}(w)\) to \(L^p(w)\). Moreover, by using the Sobolev space of product type and multiple weights, the authors also obtain an improvement of the above result under assumption (i).