No label defined (Q4949999)

The following two types of inequalities \[ \begin{gathered} \int_{\{x; f(x)>t\}}F\big(f(x)\big) dx \tag{1} \\ \leq a \mathcal A(t)\int_{\{x; f(x)>t\}}f(x) dx +b\int_{\{x; h(x)>t\}}F\big(h(x)\big) dx +c F(t) \big|\{x; f(x)>t\}\big|\end{gathered} \] (\(a\), \(b\), \(c\) are nonnegative constants such that \(\frac{a+c}{a+c-1}>1\)) and \[ \begin{gathered} \int_{\{x; f(x)\leq t\}}F\big(f(x)\big) dx \tag{2} \\ \leq \alpha t\int_{\{x; f(x)>t\}}\mathcal A\big(f(x)\big) dx +\beta\int_{\{x; f(x)\leq t\}}f(x)\mathcal A\big(h(x)\big) dx +\gamma t\int_{\{x; f(x)>t\}}\mathcal A\big(h(x)\big) dx \end{gathered} \] (\(\alpha\), \(\beta\), \(\gamma\) are nonnegative constants) are studied (\(F(t)=t\mathcal A(t)\) is a convex function, \(\mathcal A:(0,\infty)\to(0,\infty)\) is a continuous increasing function satisfying the \(\Delta_2\)-condition, \(\mathcal A(0)=0\), and \(f\), \(h\) are nonegative functions from the Orlicz space \(L_F(\mathbb R^n)\)). The author shows that (i) If inequality (1) is satisfied with some function \(\mathcal A=A\) and constants \(a=\alpha\), \(b=\beta\) and \(c=\gamma\) (for all \(f, h\in L_F(\mathbb R^n)\), \(F(t)=tA(t)\)) then there exists a number \(p_0>1\) such that inequality (1) with \(\mathcal A=A^p\), \(p\in(1,p_0)\), \(F(t)=tA^p(t)\) and some constants \(a=a(\alpha,\gamma,p)\), \(b=b(\alpha,\beta,\gamma,p)\), \(c=c(\alpha,\gamma,p)\) is satisfied (for all \(f, h\in L_F(\mathbb R^n)\), \(F(t)=tA^p(t)\)). (ii) If inequality (2) holds (for all \(f, h\in L_F(\mathbb R^n)\), \(F(t)=tA(t)\)) then there are constants \(\varepsilon_0=\varepsilon_0(\alpha,\beta,\gamma)\in(0,1)\) such that the inequality \[ \int_{\mathbb R^n}f(x)A^{1-\varepsilon}\big(f(x)\big) dx\leq k \int_{\mathbb R^n}h(x)A^{1-\varepsilon}\big(h(x)\big) dx \] (with \(\varepsilon\in(0,\varepsilon_0)\)) holds (for all \(f, h\in L_F(\mathbb R^n)\), \(F(t)=tA^{1-\varepsilon}(t)\)). Some applications of the results are presented.