An equivalence theorem for some integral conditions with general measures related to Hardy's inequality. II. (Q2382697)

[For part I see ibid. 326, No. 1, 398--413 (2007; Zbl 1113.26024).] The two-measure Hardy inequality \[ \left(\int_\mathbb{R}\left(\int_{(-\infty,2)}f\,d \lambda\right)^2 \,d\mu(2)\right)^{1/2}\leq C\left(\int_\mathbb{R} f^p \,d\lambda \right)^{1/p}\tag{1} \] has been studied by many authors, among others by \textit{L.-E. Persson} and \textit{V. D. Stepanov} [J. Inequal. Appl. 7, No. 5, 727--746 (2002; Zbl 1024.26008)]. In the present paper the authors study the three-measure Hardy inequality \[ \left(\int_\mathbb{R}|f\,d\sigma|^q \,d\mu(x)\right)^{1/q}\leq C\left(\int_\mathbb{R}|f|^p \,d\nu\right)^{1/p}.\tag{2} \] They prove the following theorem: ``Let \(1<p<\infty\) and \(0<q<\infty\). Let \(E=\{z\in \mathbb{R};\mu[x,\infty]\geq 0\}\) and define the measure \(\sigma_E\) by \(\sigma_E(F)= \sigma(E\cap F)\). A necessary condition for (2) is that the measure \(\sigma_E\) is absolutely continuous with respect to \(\nu\) (i.e., \(\sigma_E\ll\nu)\). Under this condition (2) holds if and only if (1) holds for all non-negative measurable functions \(f\). Here the measure \(\lambda\) is defined, by \(d\lambda= (\frac{d \sigma_E}{d\nu})^{p'-1}\,d\sigma_E\).'' Here \(p'=p|(p-1)\) is the conjugate exponent of \(p\). Two theorems more are proved. Many ``technical'' lemmas related with the main results are proved.