On the boundedness of product kernel operators with measures (Q2918686)

Let \(\mu\) and \(\nu\) be regular Borel measures on \(\mathbb{R}^n\) (or on \(\mathbb{R}_+^n\)) and suppose that \(\mu\) is of product form, i.e., there are regular Borel measures \(\mu_i\) on \(\mathbb{R}\) (or on \(\mathbb{R}_+\)) such that \(\mu=\mu_1\times \dots \times \mu_n\). In the case of \(1<p \leq q <\infty\) and under the strong doubling condition on \(\mu_i\) for \(i=1, \dots, n\), the authors characterize the \(L^p(\mu)-L^q(\nu)\) boundedness for certain multiple kernel operators NEWLINE\[NEWLINE (K_{\mu}f)(x_1, \dots,x_n) :=\int_{(0,x_1]} \dots \int_{(0,x_n]} \left( \prod_{i=1}^nk_i(x_i,t_i)\right)f(t_1, \dots,t_n)\, d\mu(t_1, \dots,t_n). NEWLINE\]NEWLINE Here, the kernels \(k_i\) are assumed to be positive valued and to fulfill a certain integral inequality. The proofs are based on a necessary and sufficient condition for \(L^p(\mu)-L^q(\nu)\)-boundedness of the multiple Hardy operator NEWLINE\[NEWLINE (\mathcal{H}_nf)(x_1, \dots,x_n)=\int_{(0,x_1]\times \dots \times (0,x_n]} f(t_1, \dots,t_n)\, d\mu(t_1, \dots,t_n), NEWLINE\]NEWLINE which is proven in the paper as well. Analogous results in the unweighted case have been know previously and are due to V.\,Kokilashvili and A.\,Meskhi. As a corollary, a characterization of the two-weighted double discrete Hardy inequality is given. The final section of the paper provides a Fefferman-Stein type inequality for the multiple Riemann-Liouville transform with measure.