No label defined (Q4374773)

This paper is devoted to derivation of accurate values of constants which are involved in links between Gehring and Muckenhoupt classes. For example, the main result, which is Theorem 1, states that \(f\) belongs to \(A_p(I, C={1\over c} ({p-1\over p-c})^{p-1})\) for all \(p>c\) whenever \(f\) is in \(G_\infty(I,c)\). Here \(c>1\) and \(I\) is any bounded real interval. The notation \(G_\infty(I,c)\) will indicate the class of nonnegative functions verifying \(\operatorname {ess}\sup_{y\in J}f(y)\leq c |J|^{-1}\int_Jf(z) dz\) for every interval \(J\subset I\), and \(A_p(I,k)\) will denote the class of nonnegative functions satisfying \((|J|^{-1}\int_Jf(z) dz) (|J|^{-1}\int_Jf(z)^{-{1\over {p-1}}} dz)^{p-1}\leq k\) for each interval \(J\subset I\). It is proved in Remark 1 that the constant \(C\) and the lower bound for \(p\) cannot be improved. Moreover, various results involving other classes as \(A_1\), \(G_q\) are given in this paper. The proof of the main result is based on the inequality \[ \Biggl(b^{-1}\int_0^bg(z) dz\Biggr) \Biggl(b^{-1}\int_0^bg(z)^{-{1\over {p-1}}} dz\Biggr)^{p-1}\leq C\qquad \text{for all } b\in (0,l)\tag \(*\) \] which is shown by the authors to be true whenever \(g\) is a nonnegative function of bounded variation over \((0,l)\) and satisfies \((b^{-1}\int_0^bg(z) dz)\leq g(b)\leq c(b^{-1}\int_0^bg(z) dz)\) for all \(b\in (0,l)\). To benefit from \((*)\), they make use of non decreasing rearrangement of functions and a sort of covering Lemma (p. 873) which was already introduced by \textit{B. Bojarski, C. Sbordone} and \textit{I. Wik} [Stud. Math. 101, No. 2, 155-163 (1992; Zbl 0808.42010)] to study connections of Gehring and Muckenhoupt classes. The present paper should be considered as completing the work of these last three authors.