Weighted multilinear Hardy operators and commutators (Q494975): Difference between revisions

Let \(m\in \mathbb N\), and \(\omega:[0,1]^m\to[0,\infty)\) be an integrable function. The weighted multilinear Hardy operator \(\mathcal H_\omega^m\) is defined as \[ \mathcal H_\omega^m(\vec f)(x):=\int_{0<t_1<t_2<\dots<t_m<1} \Bigl(\prod_{i=1}^m f_i(t_ix)\Bigr)\omega(\vec t)\,d\vec t, \;x\in \mathbb R^n, \] where \(\vec f =(f_1,\dots,f_m)\), \(\vec t=(t_1,\dots,t_m)\). When \(m=n=1\) and \(\omega\equiv 1\), this operator reduces to the classical Hardy operator \(x^{-1}\int_0^x f(t)\,dt\). One of the main results is: Let \(1 < p, p_i < \infty\), \(i=1,\dots,m\) and \(1/p=1/p_1+\dots+1/p_m\). Then, \(\mathcal H_\omega^m\) is bounded from \(L^{p_1}(\mathbb R^n)\times\dots \times L^{p_m}(\mathbb R^n)\) to \(L^p(\mathbb R^n)\) if and only if \[ \mathbb A_m=\int_{0<t_1,t_2<\dots,t_m<1}(\prod_{i=1}^m t_i^{-n/p_i})) \omega(\vec t)\,d\vec t<\infty \] Moreover, \[ \|\mathcal H_\omega^m\|_{L^{p_1}(\mathbb R^n)\times\dots \times L^{p_m}(\mathbb R^n)\to L^{p}(\mathbb R^n)}= \mathbb A_m. \] The authors show also the boundedness on central Morrey spaces. Moreover, they obtain sufficient and necessary conditions of the weight functions so that the commutators of \(\mathcal H_\omega^m\) and functions in central BMO space are bounded on the product of central Morrey spaces. These results are further used to prove sharp estimates of some inequalities for Riemann-Liouville integral operator and Weyl's integral operator. These results extend the case \(m=1\) in [\textit{J. Xiao}, J. Math. Anal. Appl. 262, No. 2, 660--666 (2001; Zbl 1009.42013)], [\textit{Z. W. Fu} et al., Proc. Am. Math. Soc. 137, No. 10, 3319--3328 (2009; Zbl 1174.42018)], and [\textit{Z. W. Fu} et al., Abstr. Appl. Anal. 2012, Article ID 780132, 18 p. (2012; Zbl 1253.26009)].