The weighted inequalities for a certain class of quasilinear integral operators on the cone of monotone functions (Q483490)

Let \(\mathcal{M}^+\) be the set of all non-negative Lebesgue measurable functions on \([0,\infty)\) and \(\mathcal{M}^{\downarrow}\subset \mathcal{M}^+\) be the subset of non-increasing functions. Let functions \(u,v,w,\rho \in \mathcal{M}^+ \), \(0<p,r<\infty\) and \(0<q\leq \infty\). The author examines the problem of characterizing the inequality \[ \left( \int_0^\infty [Rf(x)]^r \rho(x) dx \right)^{\frac 1r} \leq C \left( \int_0^\infty [f(x)]^p v(x) dx \right)^{\frac 1p}, \;\;f\in \mathcal{M}^{\downarrow}, \] where the constant \(C\) is independent of \(f\) and assumed to be the least possible and the quasilinear integral operator \(R\) is one of the following operators: \[ Tf(x)=\left( \int_x^\infty \left( \int_0^t fu\right)^q w(t)dt\right)^{1/q}, \;\;f\in \mathcal{M}^{\downarrow}, \] \[ {\mathcal{I}} f(x) = \left( \int_0^x \left( \int_t^\infty fu\right)^q w(t)dt\right)^{1/q}, \;\;f\in \mathcal{M}^{\downarrow}, \] \[ Sf(x)=\left( \int_x^\infty \left( \int_t^\infty fu\right)^q w(t)dt\right)^{1/q}, \;\;f\in \mathcal{M}^{\downarrow}, \] \[ {\mathcal S} f(x)=\left( \int_0^x \left( \int_0^t fu\right)^q w(t)dt\right)^{1/q}, \;\;f\in \mathcal{M}^{\downarrow}. \] In the following text, the relation \(A \lesssim B\) means that \(A\leq cB\) with a constant \(c\) depending only on \(p,q\) and \(r\); the formula \(A\approx B\) amounts \(A\lesssim B\lesssim A\). Let \[ V(t)=\int_0^t v, \;\;U(t)=\int_0^t u, \;\;W(t)=\int_t^\infty w, \;\;0<t<\infty. \] For given \(0<c<d\leq \infty\), \(0<t<\infty\) and \(h\in {\mathcal M}^+\) put \[ I_th(x)=\chi_{[t,\infty)}(x)\left(\int_{\sigma^{-1}(t)}^x\left(\int_s^\infty h\right)^{1/p}u(s)ds\right)^p, \] \[ I_{[c,d]}h(x)=\chi_{[c,d]}(x)\left(\int_{\sigma^{-1}(c)}^x\left(\int_s^d h\right)^{1/p}u(s)ds\right)^p, \] \[ ||I_t||_{L_v^p \rightarrow L_w^q} =\sup_{0\not= h\in {\mathcal M}^+}\frac{\left( \int_0^\infty |I_th|^q w\right)^{1/q}}{\left( \int_0^\infty |h|^pv\right)^{1/p}}, \] and similarly for \(||I_{[c,d]}||_{L_v^p \rightarrow L_w^q}\), where \( \sigma^{-1}(x)=\inf \left\{ y>0: \;\int_0^y \rho \geq \frac 12 \int_0^x \rho \right\}\). The main theorem involving the operator \(T\) is the following. Theorem 1. Assume that \(0<q\leq \infty\), \(0<p<\infty\), and \(0<r<\infty\). Then the best constant \(C_T\) in the inequality \[ \left( \int_0^\infty [Tf(x)]^r \rho(x) dx \right)^{\frac 1r} \leq C_T \left( \int_0^\infty [f(x)]^p v(x) dx \right)^{\frac 1p}, \;\;f\in \mathcal{M}^{\downarrow}, \] satisfies the estimate \(C_T \approx A_1+A_2+B\), where \(A_1\) and \(A_2\) are the best constants in \[ \left( \int_0^\infty \rho(x)[W(x)]^{\frac rq}\left(\int_0^x \left(\int_s^\infty h\right)^{1/p}u(s)ds\right)^r dx\right)^{p/r} \leq A_1^p \int_0^\infty hV, \;\;h\in {\mathcal M}^+, \] \[ \left(\int_0^\infty \left[ \left(\int_x^\infty \left(\int_y^\infty h\right)^{q/p}[U(y)]^qw(y)dy\right)^{p/q}\right]^{r/p}\rho(x)dx \right)^{p/r} \leq A_2^p \int_0^\infty hV, \;\;h\in {\mathcal M}^+, \] and the constant \(B\) is of the form \[ B= \sup_{t>0}\left(\int_0^t\rho \right)^{1/r} || I_t||^{\frac 1p}_{L_V^1 \rightarrow L_w^{q/p}}, \; \text{ for } \; p\leq r, \] and \[ B= \left(\int_0^\infty \rho(x) \left[\left(\int_0^x\rho\right) ||I_{[\sigma^{-1}(x),\sigma(x)]}||_{L_V^1 \rightarrow L_w^{q/p}}\right]^{s/p} dx \right)^{1/s}, \; \text{ for } \; r<p \] with \(\frac 1s=\frac 1r-\frac 1p\). The constants \(A_1\), \(A_2\) are also described. Similar results are obtained for the other three operators: \({\mathcal I}\), \(S\) and \({\mathcal S}\), too.