The \(L^{p_ 1} \times L^{p_ 2} \times \cdots \times L^{p_ k}\) boundedness for some rough operators (Q1815473)

Suppose \(\Omega\) is homogeneous of degree zero and \(\Omega\in L^s(S^{n-1})\) \((s>1)\), where \(S^{n-1}\) denotes the unit sphere of \(\mathbb{R}^n\). Let \(k\in \mathbb{Z}\), \(k\geq 2\), \(\theta_j\) \((j=1, 2, \ldots, k)\) be fixed, distinct, and nonzero real numbers, and \(0<\alpha<n\). The authors consider the following \(k\)-sublinear fractional maximal operator \(M_{\Omega,\alpha}(f_1, f_2, \ldots, f_k)\) \(=\sup_{r>0}r^{\alpha-n}\int_{|y|<r}|\Omega(y)||f_1(x-\theta_1 y)|\cdots |f_k(x-\theta_k y)|dy\), and the \(k\)-linear fractional integral operator \(T_{\Omega,\alpha}(f_1,\ldots, f_k)=\) \(\int_{\mathbb{R}^n}\Omega(y)|y|^{\alpha-n} f_1(x-\theta_1 y)\cdots f_k(x-\theta_k y) dy\). Their results are as follows: Theorem 1. Suppose \(s>n/(n-\alpha)\), and \(p_1, p_2,\ldots, p_k>1\) and \(1/q=1/p_1+1/p_2+\cdots+1/p_k-\alpha/n\). Then, \(T_{\Omega,\alpha}\) is a bounded operator from \(L^{p_1}(\mathbb{R}^n)\times L^{p_2}(\mathbb{R}^n)\times\cdots \times L^{p_k}(\mathbb{R}^n)\) to \(L^{q}(\mathbb{R}^n)\) for \(n/(n+\alpha)\leq p<n/\alpha\). Theorem 2. Suppose \(\alpha\), \(\Omega\), \(s\), \(p_j\), and \(q\) be as in the assumptions in Theorem 1. Then, \(M_{\Omega, \alpha}\) is a bounded operator from \(L^{p_1}(\mathbb{R}^n)\times L^{p_2}(\mathbb{R}^n)\times\cdots \times L^{p_k}(\mathbb{R}^n)\) to \(L^{q}(\mathbb{R}^n)\) for \(n/(n+\alpha)\leq p\leq n/\alpha\). These extend the classical case \(k=1\), \(\theta_1=1\), and Grafakos' result for \(T_{\Omega, \alpha}\) in the case \(\Omega=1\) and \(k\geq 2\) [\textit{L. Grafakos}, Stud. Math. 102, No. 1, 49-56 (1992; Zbl 0808.42014)].