- Research
- Open access
- Published:
Structure of a generalized class of weights satisfy weighted reverse Hölder’s inequality
Journal of Inequalities and Applications volume 2023, Article number: 76 (2023)
Abstract
In this paper, we will prove some fundamental properties of the power mean operator
of order p and establish some lower and upper bounds of the compositions of operators of different powers, where g, λ are a nonnegative real valued functions defined on \(\mathbb{I}\) and \(\Upsilon(t)=\int _{0}^{t}\lambda ( s ) \,ds\). Next, we will study the structure of the generalized class \(\mathcal{U}_{p}^{q}(B)\) of weights that satisfy the reverse Hölder inequality
for some \(p< q\), \(p.q\neq 0\), and \(B>1\) is a constant. For applications, we will prove some self-improving properties of weights in the class \(\mathcal{U}_{p}^{q}(B)\) and derive the self improving properties of the weighted Muckenhoupt and Gehring classes.
1 Introduction
In [20], Muckenhoupt introduced a full characterization of Muckenhoupt \(A^{p}\)-class of weights in connection with the boundedness of the Hardy-Littlewood maximal operator in the space \(L_{u}^{p}(\mathbb{R}_{+})\) with a weight u. Another important class of weights, the Gehring class \(G^{q}\), for \(1< q<\infty \), was introduced by Gehring [11, 12] in connection with local integrability properties of the gradient of quasiconformal mappings. Due to the importance of these two classes in mathematical and harmonic analysis, their structure has been studied by several authors, and various results regarding the relationship between them and their applications have been established. We refer the reader to the papers [1, 2, 4–10, 13, 14, 16–19, 26–30, 32] and the references cited therein.
In the following, for the sake of completeness, we present the background and the basic definitions that will be used in this paper. We fix an interval \(\mathbb{I}\subset \mathbb{R}_{+}=[0,\infty )\) and consider subintervals I of \(\mathbb{I}\) of the form \([0,t]\), for \(0< t<\infty \) and denote by \(\vert I \vert \) the Lebesgue measure of I. Throughout the paper, we assume that \(1< p<\infty \). A weight u is a nonnegative locally integrable function defined on \(\mathbb{R}_{+}\). Most often u, which is a positive function of real numbers defined on \(\mathbb{R}_{+}\), will appear in the role of the weight in \(L_{u}^{p}(\mathbb{R}_{+})\)-estimates, i.e. we shall consider the norm
In the literature, a nonnegative measurable weight function u defined on a bounded interval \(\mathbb{I}\) is called an \(A^{p}(\mathcal{C})\)-Muckenhoupt weight for \(1< p<\infty \) if there exists a constant \(\mathcal{C}<\infty \) such that
for every subinterval \(I\subset \mathbb{I}\). Muckenhoupt [20] proved the following result. If \(1< p<\infty \) and u satisfies the \(A^{p}\)-condition (1) on the interval \(\mathbb{I}\), with constant \(\mathcal{C} \), then there exist constants q and \(\mathcal{C}_{1}\) depending on p and \(\mathcal{C}\) such that \(1< q< p\), and u satisfies the \(A^{q}\)-condition
for every subinterval \(I\subset \mathbb{I}\). In other words, Muckenhoupt’s result (see also Coifman and Fefferman [3]) for self-improving property states that: if \(u\in A^{p}(\mathcal{C})\) then there exists a constant \(\epsilon >0\) and a positive constant \(\mathcal{C}_{1}\) such that \(u\in A^{p-\epsilon }(\mathcal{C}_{1})\), and then
In [20], Muckenhoupt introduced the characterizations of \(A^{p}\)-class of weights in connection with the boundedness of the Hardy-Littlewood maximal operator
in the space \(L_{u}^{p}(\mathbb{R}_{+})\) with a weight u. In particular, Muckenhoupt proved the following result: If \(g(x)\) is nonnegative weight on an interval \(\mathbb{I}\) and \(1< p<\infty \), then the inequality
holds if and only if the inequality (1) holds, where the constant K independent of g. Another important class of weights, which is related to the Muckenhoupt class, is the \(G^{q}\)-class for \(1< q<\infty \) of weights that satisfy the reverse Hölder inequality. This class has been introduced by Gehring [11, 12] in connection with local integrability properties of the gradient of quasiconformal mappings. A weight u satisfies the \(G^{q}\)-condition (or is said to belong to the Gehring class \(G^{q}(\mathcal{K})\)) if there exists \(\mathcal{K>}1\) such that the inequality
holds. Gehring result says that if a weight satisfies a reverse Hölder inequality for some exponent, then it satisfies a reverse Hölder inequality for a slightly larger exponent. In particular, Gehring proved that there exists \(\epsilon =\epsilon (n,q,\mathcal{K})>0\) such that \(u\in L^{p}(I)\) for \(p< q+\epsilon \), while for each p, there exists a new constant \(\mathcal{K}_{p}=\mathcal{K}_{p}(n,q,\mathcal{K},p)\) such that
In other words, Gehring’s result for self-improving property states that:
The proof of Gehring’s inequality has been obtained using the Calderón-Zygmund Decomposition Theorem and the scale structure of \(L^{p}\)-spaces. In [25], Popoli established the sharp results for the self-improving and the transition properties of Gehring \(G^{q}\) and Muckenhoupt \(A^{p}\) weights by unifying the corresponding sharp results for weights satisfying a general reverse Hölder inequality in a general space named \(B_{q}^{p}\). We say that u belongs to the class \(B_{q}^{p}(K)\) if u satisfies the reverse Hölder inequality
for some constants \(p>q\) and for every subinterval \(I\subseteq \mathbb{I}\). Popoli showed that the optimal exponents of integrability as well as the best constants in the integral inequalities could be obtained by means of the function
provided the appropriate setting of variables. Actually, by observing that the function ω is strictly increasing for x in \((-\infty ,0)\) and strictly decreasing in \((0,+\infty )\), we have that the equation \(\omega (p,q,x)=B\), \(B>1\) admits only one negative solution \(\nu _{-}=\nu _{-}(p,q,B) \) and one positive solution \(\nu _{+}=\nu _{+}(p,q,B)\). One way of establishing Gehring’s Lemma involves exploiting the correspondence between a weighted Muckenhoupt class and a reverse Hölder class. In fact from (5), we get that
By taking \(q=p/ ( p-1 ) \), we have from (8) that (here \(U(I)=\int _{I}u(t)\,dt\))
which is a weighted \(A_{u}^{p}(\mathcal{K}^{p}\mathcal{)}\) condition for \(u^{-1}\) with respect the weight u and \(p=q/(q-1)\). This shows that if \(u\in G^{q}(\mathcal{K})\) then \(u^{-1}\in A_{u}^{p}(\mathcal{C)}\) with \(\mathcal{C}=\mathcal{K}^{1/p}\) where \(p=q/(q-1)\). On the other hand, in considering mean convergence problems for various series in [21–23], it was natural to consider the weighted Hardy-Littlewood maximal operator
where \(m(t)\) was a suitable measure, and the quotient is to taken as zero if the numerator and the denominator are both zero or both infinity. In [20], the author proved that if m is a Borel measure on an interval \(\mathbb{I}\), which is 0 on sets consisting of single points, \(1< p<\infty \) and \(g(x)\) be a nonnegative weight on \(\mathbb{I}\), then \(\mathcal{M}g\) is bounded on \(L_{u}^{p}(\mathbb{R}_{+})\) if and only if
for every subinterval \(I\subset \mathbb{I}\), where \(\mathcal{C}\) is a positive constant independent of g. So, it was natural to study the structure of the Muckenhoput class \(A_{\lambda }^{p}(\mathcal{C})\) with a weight λ and the Gehring \(G_{\lambda }^{q}\) with a weight λ. A nonnegative measurable weight function u defined on a bounded interval \(\mathbb{I}\) is called an \(A_{\lambda}^{p}(\mathcal{C})\)-Muckenhoupt weight for \(p>1\) if there exists a constant \(\mathcal{C}<\infty \) such that
for every subinterval \(I\subset \mathbb{I}\), where \(\Upsilon (I)=\int _{I}\lambda (t)\,dt\). In [24], Popoli extended the results established in [15] and proved that the self-improving property holds and gave explicit and sharp values of exponents. We say that the nonnegative measurable function u satisfies the weighted Gehring \(G_{\lambda}^{q}\)-condition if there exists a constant \(\mathcal{K}\geq 1\) such that
for all \(I\subset \mathbb{I}\), where \(\Upsilon (I)=\int _{I}\lambda (x)\,dx\). For a given exponent \(q>1\), we define the \(G^{q}\)-norm of u as
where the supremum is taken over all intervals \(I\subseteq \mathbb{I}\) and represents the best constant for which the \(G_{\lambda }^{q}\)-condition holds true independently on the interval \(I\subseteq \mathbb{I}\). In [31, Theorem 4.1], Sbordone proved that if (12) holds and \(\lambda(x)\,dx\) is a doubling measure, i.e. there exists a constant \(d>0\) such that \(\Upsilon (2I)\leq d\Upsilon (I)\), then there exists a \(p>q\) such that
By the weighted power mean operator \(\mathcal{M}_{q}g\) of order \(q\neq 0\) and nonnegative weight g defined on \(\mathbb{I}\), we call the operator
In the present paper, we consider the class \(\mathcal{U}_{p}^{q}(B)\) of all nonnegative weights g satisfying the reverse Hölder inequality
where the constant \(B>1\) is independent of \(\mathbb{I}\) and p, q such that \(q>p\). The smallest constant, independent of the interval \(\mathbb{I}\) and satisfying the inequality (16), is called the \(\mathcal{U}_{p}^{q}\)-norm of the weight g and will be denoted by \(\mathcal{U}_{p}^{q}(g)\) and given by
We say that g is a \(\mathcal{U}_{p}^{q}\)-weight if its \(\mathcal{U}_{p}^{q}\)-norm is finite, i.e.
When we fix a constant \(\mathcal{C}>1\), the triple of real numbers \((p,q,\mathcal{C})\) defines the \(\mathcal{U}_{p}^{q}\) class:
and we will refer to \(\mathcal{C}\) as the \(\mathcal{U}_{p}^{q}\)-constant of the class. It is immediate to observe that the classes \(A_{\lambda }^{p}\) and \(G_{\lambda }^{q}\) are special cases of the class \(\mathcal{U}_{p}^{q}\) of weights as follows:
The paper is organized as follows: In Sect. 2, we state and prove some basic lemmas concerning the bounds of power mean operator \(\mathcal{M}_{p}g\). In Sect. 3, we establish some lower and upper bounds of the compositions using two special functions \(\rho _{p}\) and \(\rho _{q}\) defined later and prove some inclusion properties. For example, we prove that if \(g\in \mathcal{U}_{p}^{q}(B)\) then \(\mathcal{M}_{q}g\in \mathcal{U}_{p}^{\eta } ( B_{1} ) \) with exact values of η and \(B_{1}\). In Sect. 4, we present some applications of the main results and prove the self-improving properties of a monotone weights from \(\mathcal{U}_{p}^{q}\), i.e. we will prove that if \(g\in \mathcal{U}_{p}^{q}(B)\) then \(g\in \mathcal{U}_{p}^{\eta } ( B_{1} ) \) with exact values of η and \(B_{1}\). For illustrations, we will derive the self-improving properties of the Muckenhoupt and Gehring weights as special cases. The results in this paper improve the results in [24, 31] in the sense that the results are valid for arbitrary parameters \(p< q\), \(p.q\neq 0\) and can be considered the natural extension of the results in [7].
2 Basic lemmas and some fundamental properties
In this section, we state and prove the basic lemmas that will give some properties of the power mean operator that will be used to prove the main results later. We will assume that \(\mathbb{I}\) is a fixed finite subset of \(\mathbb{R}_{+}\), and we recall the power mean operator \(\mathcal{M}_{p}g\) that we will consider in this paper is given by
for any nonnegative weight \(g:\mathbb{I}\rightarrow \mathbb{R}^{+}\) and \(p\in \mathbb{R}\backslash \{0\}\) and \(\Upsilon (t)=\int _{0}^{t}\lambda (s)\,ds \). For the sake of conventions, we assume that \(0\cdot \infty =0\) and \(0/0=0\).
Lemma 1
Assume that \(g:\mathbb{I}\rightarrow \mathbb{R}^{+}\) is any nonnegative weight and \(p\in \mathbb{R}\backslash \{0\}\). Then the following properties hold:
\((1)\). If g is nonincreasing, then \(\mathcal{M}_{p}g\) is nonincreasing and \(\mathcal{M}_{p}g(t)\geq g(t)\), for all \(t \in \mathbb{I}\).
\((2)\). If g is nondecreasing, then \(\mathcal{M}_{p}g\) is nondecreasing and \(\mathcal{M}_{p}g(t)\leq g(t)\), for all \(t \in \mathbb{I}\).
Proof
1). From the definition of \(\mathcal{M}_{p}g\) and the fact that g is nonincreasing, we get for \(p=1\) that
For the general case when \(p\neq 1\), we also have for all \(t\in \mathbb{I}\) that
From this inequality, we get that
Now, using (19) and the fact that g is nonincreasing, we obtain that
that is \(( \mathcal{M}_{p}g(t) ) ^{{\prime }}\leq 0\) for all \(t\in \mathbb{I}\), and thus \(\mathcal{M}_{p}g(t)\) is nonincreasing.
2). From the definition of \(\mathcal{M}_{p}g(t)\) and the fact that \(g(t)\) is nondecreasing, we have for \(p=1\) that
For the general case when \(p\neq 1\), we also have for all \(t\in \mathbb{I}\) that
From this inequality, we see that
Then, using inequality (21) and the fact that g is nondecreasing and proceeding as in the first case, we obtain that
which implies that \(( \mathcal{M}_{p}g(t) ) ^{{\prime }}\geq 0\) for all \(t\in \mathbb{I}\), and thus \(\mathcal{M}_{p}g(t)\) is nondecreasing. The proof is complete. □
As in the proof of Lemma 1, we can also prove the following results.
Lemma 2
Assume that \(g:\mathbb{I}\rightarrow \mathbb{R}^{+}\) is any nonnegative weight and \(q\in \mathbb{R}\backslash \{0\}\). Then the following properties hold:
\((1)\). If g is nonincreasing, then \(\mathcal{M}_{q}g\) is nonincreasing and \(\mathcal{M}_{q}g(t)\geq g(t)\), for all \(t \in \mathbb{I}\).
\((2)\). If g is nondecreasing, then \(\mathcal{M}_{q}g\) is nondecreasing and \(\mathcal{M}_{q}g(t)\leq g(t)\), for all \(t \in \mathbb{I}\).
To prove the main results in this section, we will use the properties of the function
of the variable for \(\eta \in (-\infty ,\min (0,p))\cup (\max (0,p),\infty ) \). It is clear that the function \(\rho _{p}(\eta )\) is continuous and increases from 1 to +∞ on \((-\infty ,\min (0,p))\) and from 0 to 1 on \((\max (0,p),\infty )\) and
We set
The function \(S_{p,q}(\eta )\) is continuous and increases from 1 to +∞ on \((-\infty ,\min (0,p))\) and decreases from +∞ to 1 on \((\max (0,q),\infty )\). Therefore, for any \(B>1\), the equation
has two roots: a positive root \(\eta ^{+}\) and a negative root \(\eta ^{-}\).
Theorem 3
Let \(p< q\), \(p.q\neq 0\), and \(g:\mathbb{I\rightarrow R}^{+}\) be any nonnegative weight. If \(g\in \mathcal{U}_{p}^{q}(B)\) for \(B>1\), then
where \(\eta ^{+}\) and \(\eta ^{-}\) are the roots of (22).
Proof
From the definition of \(\mathcal{M}_{p}g(t)\), we have that
The second term in (24) is given by
By combining (25) and (24), we obtain
Integrating (26) from 0 to t and dividing by \(\Upsilon (t)\), we have that
From the definition of \(\mathcal{M}_{q}g\), we see that the first term in (27) is given by
Now, we have the term
By applying reverse Hölder’s inequality for \(p/q<1\) and \(p/(p-q)\), we obtain that
By substituting (29) and (28) into (27), dividing by \(p [ \mathcal{M}_{p} ( \mathcal{M}_{q}g ) (t) ] ^{p}\), and then applying (16), we obtain that
By setting
we see that inequality (30) can be written in the form
This inequality can be written now as
or equivalently
This means that \(\eta \in (-\infty ,\eta ^{-}]\cup {}[ \eta ^{+},+\infty )\). The properties of the weight \(\rho _{p}\) imply that \(\rho _{p}(\eta ^{+})\leq \rho _{p}(\eta )\leq \rho _{p}(\eta ^{-})\), and since
we obtain that
which is the desired inequality (23). The proof is complete. □
Theorem 4
Let \(p< q\), \(p.q\neq 0\), and \(g:\mathbb{I\rightarrow R}^{+}\) be any nonnegative weight. If \(g\in \mathcal{U}_{p}^{q}(B)\) for \(B>1\), then
where \(\eta ^{+}\) and \(\eta ^{-}\) are the roots of (22).
Proof
From the definition of \(\mathcal{M}_{p}g(t)\), we obtain that
Proceeding as in the proof of Theorem 3, we get that
From the definition of \(\mathcal{M}_{p}g\), we see that the first term in (36) is given by
Now, we simplify the term
By applying Hölder’s inequality for \(q/p>1\) and \(q/(q-p)\), we obtain
By substituting (37) and (38) into (36), dividing by \(q [ \mathcal{M}_{q} ( \mathcal{M}_{p}g ) (t) ] ^{q}\), and applying (16), we obtain
This inequality now takes the form
By setting
we see that the inequality (40) takes the form
or equivalently,
This means that \(\eta \in (-\infty ,\eta ^{-}]\cup {}[ \eta ^{+},+\infty )\). The properties of the weight \(\rho _{q}\) imply that \(\rho _{q}(\eta ^{+})\leq \rho _{q}(\eta )\leq \rho _{q}(\eta ^{-})\), and since
we obtain that
which is the required inequality (34). The proof is complete. □
The assumptions and the conclusions of Theorems 3 and 4 will be used in proving the following theorems.
Theorem 5
Assume that the conditions in Theorems 3and 4hold. Then the compositions
are nonincreasing
are nondecreasing.
Proof
Using the definition of \(\mathcal{M}_{q} ( \mathcal{M}_{p}g ) (t) \), we see that
From the definition of \(\mathcal{M}_{q} ( \mathcal{M}_{p}g ) (t)\), we see that
This and (44) imply that
That is
We note that the same equality remains valid if p and q change places, that is
It is clear that the signs of the derivatives of the left-hand side of (45) and (46) are determined by the signs of the terms in the square brackets on the right-hand side. In turn, the signs of the square brackets are determined by inequalities (23) and (34). For example, the left-hand side in (23) means that the derivative
is nonnegative. Hence, the function \(( \Upsilon (t) ) ^{1/\eta ^{+}}\mathcal{M}_{p} ( \mathcal{M}_{q}g ) (t)\) is nondecreasing. Analogously, we can prove the monotonicity of the remaining functions mentioned in the theorem. This completes the proof. □
3 Main results
In this section, first, we prove that the power mean operators \(\mathcal{M}_{p}g\) and \(\mathcal{M}_{q}g\) of the weight \(g\in \mathcal{U}_{p}^{q}\) satisfy the the reverse Hölder inequality with some better exponents.
Theorem 6
Let \(p< q\), \(p.q\neq 0\), and g be any nonnegative weight, and \(\eta ^{+}\) and \(\eta ^{-}\) are the roots of equation (22).
\((i)\). If \(g\in \mathcal{U}_{p}^{q}(B)\) for \(B>1\) and \(\eta <\eta ^{+}\) and \(\eta \neq 0\), then
\((\mathit{ii})\). If \(g\in \mathcal{U}_{p}^{q}(B)\) for \(B>1\) and \(\eta >\eta ^{-}\), and \(\eta \neq 0\), then
Proof
\((i)\). Since η is either positive or negative, we will discuss the two cases:
1). Assume that \(\eta >0\). By raising (34) to the power η, we obtain for \(s< t\) that
Using the monotonicity of
we have that
Let \(\eta <\eta ^{+}\). By integrating from 0 to t and dividing by \(\Upsilon (t)\), and raising it to the power \(1/\eta >0\), we get that
Since
we have
Similarly, since \(\eta ^{-}<0\), then \(-\eta /\eta ^{-}>0\) and hence \(-\eta /\eta ^{-}+1>1\), we have that
In this case, we have
By substituting (52) and (53) into (51), we obtain
which implies that
that is the second relation in (47) in the case \(\eta >0\).
2). Assume that \(\eta <0\). By raising (34) to the power η, we obtain for \(s< t\) that
Using the monotonicity of
we have that
By integrating from 0 to t and dividing by \(\Upsilon (t)\), and raising it to the power \(1/\eta <0\), we get that
Proceeding as in the proof of the first case, we then obtain that
This gives us gain that
which is the first relation in (47) in the case \(\eta <0\). Similarly, we can prove the first relation in (47) using the relation (23). Analogously, we prove the two relations in (48) using the same technique and inequalities (23) and (34). The proof is complete. □
In Theorem 6, we proved that the power mean operators \(\mathcal{M}_{p}g\) and \(\mathcal{M}_{q}g\) of the weight \(g\in \mathcal{U}_{p}^{q}\) satisfy the reverse Hölder inequality with some better exponents. However, the fact that the mean \(\mathcal{M}_{p}g\) or \(\mathcal{M}_{q}g\) belongs to some class \(\mathcal{U}_{p}^{q}\) does not imply that the weight g itself belongs to \(\mathcal{U}_{p}^{q}\). Thus, Theorem 6 does not guarantee the self-improvement of the summability exponents of the weight \(g\in \mathcal{U}_{p}^{q}\). But, if we additionally assume the condition of the monotonicity of the weight g, then we can obtain the following results for self-improving of exponents.
Theorem 7
Let \(p< q\), \(p.q\neq 0\), and g be any nonnegative weight belongs to \(\mathcal{U}_{p}^{q}(B)\) for \(B>1\), and \(\eta ^{+}\) and \(\eta ^{-}\) are the roots of the equation (22).
\((1)\). If g is nonincreasing, and \(\eta <\eta ^{+}\), then
\((2)\). If g is nondecreasing, and \(\eta >\eta ^{-}\), then
Proof
\((1)\). Since g is nonincreasing, and since
we have that \(\mathcal{M}_{q}g(t)\geq g(t)\), and so
By applying the second relation in (47), we obtain that
By applying the left-hand side of the inequality (23), and since \(\mathcal{M}_{q}g(t)\) is nonincreasing (see Lemma 1), we from have (59) and (60) that
That is
which is the first relation in (57). Similarly, since g is nonincreasing, we have \(\mathcal{M}_{p}g(t)\geq g(t)\), and so
By applying the first relation in (47), we obtain that
By applying the left hand side of the inequality (34), and using (61), (62) and the fact that \(\mathcal{M}_{p}g(t)\) is nonincreasing (see Lemma 1), we have that
That is
which is the second relation in (57).
\((2)\). Since g is nondecreasing, then by Lemma 1, the fact that \(\mathcal{M}_{p}g(t)\) is nondecreasing and \(\mathcal{M}_{p}g(t)\leq g(t)\), we have that
By applying the first relation in (48), we obtain that
By applying the right-hand side of the inequality (34), we have that
By combining (63) and (65), we have that
that is
which is the second relation in (58). Again, since g is nondecreasing, Lemma 2 implies that \(\mathcal{M}_{q}g(t)\) is nondecreasing and \(\mathcal{M}_{q}g(t)\leq g(t)\), and so
By applying the second relation in (48), we obtain that
By applying the right-inequality in (23), we have that
By combining (66) and (67), we have that
That is
which is the first relation in (58). The proof is complete. □
In the following, we will apply the above results in deriving the self-improving properties of the two Muckenhoupt and Gehring classes
Theorem 8
Let \(p>1\) and g be any nonnegative and nondecreasing weight belonging to \(A_{\lambda }^{p}(B)\) for \(B>1\). Then \(g\in A_{\lambda }^{\eta }(B_{2}^{{\prime \prime }})\) for \(\eta \in (\eta ^{-}, p]\) where \(\eta ^{-}\) is the root of the equation
and
Proof
Since \(A_{\lambda }^{p}:=\mathcal{U}_{\frac{1}{1-p}}^{1}\), then equation (22) becomes \(C_{p,q}(\eta )=B\), which is written by
By applying the transform \(\eta \rightarrow 1/(1-x)\), we see that \(\eta ^{-}\) is determined from the equation
which is the desired equation (68) and the constant \(B_{2}^{{\prime \prime }}\) is obtained from (58) and given by
The proof is complete. □
Theorem 9
Let \(q>1\) and g be any nonnegative and nondecreasing weight belonging to \(G_{\lambda }^{q}(B)\) for \(B>1\). Then \(g\in G_{\lambda }^{\eta }(B_{1}^{{\prime \prime }})\) for \(\eta \in {}[ q, \eta ^{+})\) where \(\eta ^{+}\) is the root of the equation
and
Proof
Since \(G_{\lambda }^{q}:=\mathcal{U}_{1}^{q}\), then equation (22) becomes \(C_{p,q}(\eta )=B\), which is written by
which is the desired equation (70), and the constant \(B_{1}^{{\prime \prime }}\) is obtained from (57) and given by
The proof is complete. □
4 Conclusion
In this paper, we have considered a class of generalized Hölder inequalities and proved the self-improving properties of the weights in this class. The main results are proved by employing some properties of a mean operator and additional properties of the composition of different operators with different powers. By employing the self-improving properties of the general class, we have derived the self-improving properties of the Muckenhoupt weights and the Gehring weights, which are compatible with the results obtained by some authors in the literature.
Availability of data and materials
No data were used to support this study.
References
Basile, L., D’Apuzzo, L., Squillante, M.: The limit class of Gehring type \({f}_{\infty }\). Boll. Unione Mat. Ital. (9) 11, 871–884 (1997)
Bojarski, B., Sbordone, C., Wik, I.: The Muckenhoupt class \(\mathcal{A}_{1}(\eta )\). Stud. Math. 101, 155–163 (1992)
Coifman, R.R., Fefferman, C.: Weighted norm inequalities for maximal weights and singular integrals. Stud. Math. 51, 241–250 (1974)
Corporente, R.: Weighted integral inequalities, BMO-spaces and applications. Dissertation thesis (2007)
Cruz-Uribe, D., Neugebauer, C.J.: The structure of the reverse Hölder classes. Trans. Am. Math. Soc. 347(8), 2941–2960 (1995)
D’Apuzzo, L., Sbordone, C.: Reverse Hölder inequalities. A sharp result. Rend. Mat. Appl. (7) 10, 357–366 (1990)
Didenko, V.D., Korenovskii, A.A.: The reverse Hölder inequality for power means. J. Math. Sci. 183, 762–771 (2012)
Didenko, V.D., Korenovskiii, A.A.: Power means and the reverse Hölder inequality. Stud. Math. 207, 85–95 (2011)
Dindoš, M., Wall, T.: The sharp \(\mathcal{A}^{p}\) constant for weights in a reverse Hölder class. Rev. Mat. Iberoam. 25, 559–594 (2009)
Garcia-Cuerva, J., Rubio de Francia, J.L.: Weighted Norm Inequalities and Related Topics. North-Holland Mathematics Studies, vol. 116. North-Holland, Amsterdam (1985)
Gehring, F.W.: The \(L^{p}\)-integrability of the partial derivatives of a quasiconformal mapping. Bull. Am. Math. Soc. 97, 465–466 (1973)
Gehring, F.W.: The \(L^{p}\)-integrability of the partial derivatives of a quasi-conformal mapping. Acta Math. 130, 265–277 (1973)
Hunt, R., Muckenhoupt, B., Wheeden, R.: Weighted norm inequalities for the conjugate weight and Hilbert transform. Trans. Am. Math. Soc. 176, 227–251 (1973)
Johnson, R., Neugebauer, C.J.: Homeomorphisms preserving \(\mathcal{A}_{p}\). Rev. Mat. Iberoam. 3, 249–273 (1987)
Korenovskii, A.A.: The exact continuation of a reverse Hölder inequality and Muckenhoupt’s conditions. Math. Notes 52, 1192–1201 (1992)
Korenovskii, A.A., Fomichev, V.V.: Self-improvement of summability factors of weights satisfying the reverse Hölder inequality in limit cases. Ukr. Math. J. 62, 552–563 (2010)
Magyar, A., Stein, E.M., Wainger, S.: Analogues in harmonic analysis: spherical averages. Ann. Math. 155, 189–208 (2002)
Malaksiano, N.A.: Exact inclusion of Gehring classes in Muckenhoupt classes. Math. Notes 70(5), 673–681 (2001)
Malaksiano, N.A.: The precise embeddings of one-dimensional Muckenhoupt classes in Gehring classes. Acta Sci. Math. 68, 237–248 (2002)
Mucheknhoupt, B.: Weighted norm inequalities for the Hardy maximal weight. Trans. Am. Math. Soc. 165, 207–226 (1972)
Muckenhoupt, B.: Hermite conjugate expansions. Trans. Am. Math. Soc. 139, 243–260 (1969)
Muckenhoupt, B.: Mean convergence of Hermite and Laguerre series. II. Trans. Am. Math. Soc. 147, 433–460 (1970)
Muckenhoupt, B., Stein, E.M.: Classical expansions and their relation to conjugate harmonic functions. Trans. Am. Math. Soc. 118, 17–92 (1965)
Popoli, A.: Weighted reverse Hölder inequalities. Rend. Accad. Sci. Fis. Mat. 62, 187–212 (1995)
Popoli, A.: Sharp integrability exponents and constants for Muckenhoupt and Gehring weights as solutions to a unique equation. Ann. Acad. Sci. Fenn., Math. 43, 785–805 (2018)
Popoli, A.: Limits of the \(\mathcal{A}_{p}\)-constants. J. Math. Anal. Appl. 478, 1218–1229 (2019)
Saker, S.H., Alzabut, J., O’Regan, D., Agarwal, R.P.: Self-improving properties of weighted Gehring classes with applications to partial differential equations. Adv. Differ. Equ. 2021, 397, 1–20 (2021)
Saker, S.H., O’Regan, D., Agarwal, R.P.: A higher integrability theorem from a reverse weighted inequality. Bull. Lond. Math. Soc. 51, 967–977 (2019)
Saker, S.H., Osman, M.M., Krnić, M.: Higher integrability theorems on time scales from reverse Hölder’s inequalities. Appl. Anal. Discrete Math. 13, 819–838 (2019)
Saker, S.H., Rezk, H.M., Abohela, I., Baleanu, D.: Refinement multidimensional dynamic inequalities with general kernels and measures. J. Inequal. Appl. 2019, 306, 1–16 (2019)
Sbordone, S.: Rearrangement of functions and reverse Hölder inequalities. In: Ennio De Giorgi colloquium (Paris, 1983), Res. Notes in Math., vol. 125, pp. 139–148. Pitman, Boston (1985)
Zakarya, M., El-Hamid, H.A.A., AlNemer, G., Rezk, H.M.: More on Hölder’s inequality and it’s reverse via the diamond-alpha integral. Symmetry 12(10), 1–19 (2020)
Acknowledgements
Princess Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2023R45), Princess Nourah bint Abdulrahman University, Riyadh, Saudi Arabia.
Funding
Princess Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2023R45), Princess Nourah bint Abdulrahman University, Riyadh, Saudi Arabia.
Author information
Authors and Affiliations
Contributions
Software and Writing-original draft, SHS, HMR and GA; Writing-review and editing SHS, HMR and MZ. All authors have read and agreed to the published version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Saker, S.H., Zakarya, M., AlNemer, G. et al. Structure of a generalized class of weights satisfy weighted reverse Hölder’s inequality. J Inequal Appl 2023, 76 (2023). https://doi.org/10.1186/s13660-023-02963-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-023-02963-9