Self-improving properties of weighted Gehring classes with applications to partial differential equations

In this paper, we prove that the self-improving property of the weighted Gehring class Gλp\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$G_{\lambda }^{p}$\end{document} with a weight λ holds in the non-homogeneous spaces. The results give sharp bounds of exponents and will be used to obtain the self-improving property of the Muckenhoupt class Aq\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$A^{q}$\end{document}. By using the rearrangement (nonincreasing rearrangement) of the functions and applying the Jensen inequality, we show that the results cover the cases of non-monotonic functions. For applications, we prove a higher integrability theorem and report that the solutions of partial differential equations can be solved in an extended space by using the self-improving property. Our approach in this paper is different from the ones used before and is based on proving some new inequalities of Hardy type designed for this purpose.


Introduction
Let I 0 be a fixed interval of R, and by |I| for any arbitrarily interval I ⊂ I 0 , we mean its Lebesgue measure. We say that u is a weight if it is a locally integrable function on the real line, positive almost everywhere (with respect to the Lebesgue measure). The weight u belongs to the Muckenhoupt class A s for 1 < s < ∞ if there exists a constant C >1 such that The A s -constant of u is in [21] and was used to prove the boundedness of the Hardy-Littlewood maximal operator Mf (x) := sup x∈I 1 |I| I f (y) dy in the class L s u (R + ) with a weight u. In fact it was proved that if 1 < s < ∞, then Mf is bounded in L s u (R + ) if and only if u ∈ A s . Hunt, Muckenhoupt, and Wheeden [12] also gave a characterization for the weights in the Hilbert operator and proved that the precise condition of the boundedness of Hilbert's operator is the A s -condition (1). Note that from Hölder's inequality A s (u) ≥ 1 for all 1 < s < ∞ and the following inclusion is true: if 1 < s < r < ∞, then A s ⊂ A r and A r (u) ≤ A s (u).
Muckenhoupt [21] and Coifman and Fefferman [20] proved that if u satisfies (1) then there exist r < s and a positive constant C 1 such that i.e., Muckenhoupt and Coifman and Fefferman's result for self-improving property states that: if u ∈ A s (C) then there exist a constant > 0 and a positive constant C 1 such that u ∈ A s-(C 1 ), and then A weight u satisfies the A 1 -Muckenhoupt condition if there exists a constant C ≥1 such that, for any arbitrary interval I ⊂ I 0 , one has Mf (x) ≤ Cu(x) for all x ∈ I.
In [21] it was proved that if (4) holds, then for every s ∈ [1, C/(C -1)] (here C > 1), the function u satisfies reverse Hölder's inequality The constant C s in (5) was improved by Bojarski et al. in [3] and replaced with C s = C 1-s /(Cs(C -1)). Another important class of weights, the G r -class for 1 < r < ∞, was introduced by Gehring [10,11] in connection with local integrability properties of the gradient of quasiconformal mappings. A weight u satisfies the G r condition (or is said to belong to G r (K)) if there exists K >1 such that The smallest constant K verifying (6) is called the G r -norm of the weight u and is denoted by G r (u) and given by where the supremum is taken over all I ⊂ I 0 . For a given fixed constant K > 1, if the weight u belongs to G r (K), then G r (u) ≤ K. Note that from Hölder's inequality G r (v) ≥ 1 for all 1 < r < ∞ and the following inclusion is true: Gehring proved that if (6) holds, then there exist s > r and a positive constant K 1 such that In other words, Gehring's result for the self-improving property states that: if u ∈ G r (K) then there exist > 0 and a positive constant K 1 such that u ∈ G r+ (K 1 ), and then Researchers (for (3) see [1, 7-9, 15-17, 22, 24], for (8) see [2,6,15,23,27,[29][30][31][32]) were interested in: (h 1 ) Finding the exact value of the limit exponent (the value of ) for which the selfimproving properties hold; (h 2 ) Finding the best constants C 1 and K 1 . Korenovskii [15] found the sharp lower bound of the exponent (self-improving property) for which (3) holds and proved that the optimal integrability exponent r * is the positive root of the equation and the exact value of is given by rr * , and the author also found an explicit value of the constant of the new class. D' Apuzzo and Sbordone [6] found the optimal integrability exponent for monotonic G r weights as a solution of an algebraic equation The relations between Gehring and Muckenhoupt classes (inclusions properties) were given by Coifman and Fefferman [4]. They proved that any Gehring class is contained in some Muckenhoupt class, and vice versa. In other words, the inclusions and hold. The sharp bound of exponents for which inclusion (12) is valid was obtained by Bojarski et al. [3] when s 1 = 1. In fact their result (inclusion property) proves that if u ∈ A 1 with A 1 (u) = C, then u ∈ G s for every 1 ≤ s < C/(C -1) with a constant . (13) The constant on the right-hand side as well as the upper bounds of s cannot be improved. In fact the weight u(t) = t 1 C-1 /C is an extremal, which gives equality in (13) and lies in L s if and only if s < C/(C -1). The sharp bounds of exponents for which inclusion (11) is valid were obtained in [18], and the sharp bounds of exponents for which inclusion (12) is valid were obtained in [19]. In [26,28] the authors employed Hardy and Hardy-Littlewood type inequalities and proved that the constant of the new class satisfies where To illustrate the interest of the G s class, Pérez [25] proved that the weighted operator is bounded in L s u (R + ) if and only if u ∈ G s . Further, Vasyunin [33] and Dindos and Wall [7] found the sharp constants respectively for Muckenhoupt and Gehring weights by using the powerful technique of the Bellman functions. In [27], Popoli obtained these results for a larger class of weights verifying a more general reverse Hölder inequality (hence for Muckenhoupt and Gehring weights as particular cases). In [31,32] Sbordone considered a new class G r ω of Gehring type with weights and proved that the self-improving property of this class also holds. We say that the nonnegative measurable function u satisfies the weighted Gehring G r ω -condition if there exists a constant K ≥ 1 such that for all I ⊂ I 0 . One can see that if u ∈ A s (C) then condition (1) holds and can be rewritten in the form where W (I) = I u(t) dt ands = s/(s -1), which is a weighted G¯s u (K) condition for u -1 with respect to the weight u. This shows that if u ∈ A s (C) then u -1 ∈ G¯s u (K) with K = C¯s then there exists s > r such that In [32] Sbordone used the self-improving property of the class G r ω and proved that the backward propagation of the class A s holds and proved A s (C) ⊂ A s-(C 1 ) without the lower bounds of the constant . The space of functions that satisfy condition (18) is called the spaces of homogeneous type. Many results from real and harmonic analysis on Euclidean spaces have their natural extensions on these spaces. Another key tool in studying the reverse Hölder inequalities are the equimeasurable properties of monotonic rearrangements and their applications in extending such results to the n-dimensional case that has been applied for the first time by Sbordone in [32] and refined in [8,9,15,17,30,31]. Our aim in this paper is to study the structure of the weighted Gehring classes and also prove that the self-improving properties hold with exact values of the exponents and the constants of transitions. Our results will be proved in the nonhomogeneous spaces, i.e., when (18) does not hold.
The paper is organized as follows: In Sect. 2, first we prove some new weighted refinement inequalities of Hardy type. Second, we study the structure of the weighted Gehring classes and also prove that the self-improving properties hold with exact values of the exponents and the constants of transitions. The technique in this paper allows us to give an improvement of the constants in the classes. We also prove that if u ∈ A 1 ω (C) then there exists s > 1 such that u ∈ G s ω (C 1 ) with a sharp constant C 1 similar to the constant obtained by Bojarski et al. [3]. We establish sharp bounds of exponents for which inclusion (3) is valid from the self-improving property G s ω (K), and we also prove a higher integrability theorem by applying the inclusion property between A 1 ω (C) and G s ω (K). In Sect. 3, we recall some applications which show the interest of our main results.

Main results
Throughout the paper, we assume (usually without mentioning) that the functions in the statements of the theorems are nonnegative and integrable, and the integrals considered are assumed to exist. We fix an interval I 0 ⊂ R + = [0, ∞) and consider subintervals I of I 0 of the form [a, s] for a < s < ∞ (or [a, ∞)) and assume that ω is a positive integrable function defined on I 0 ; here a ≥ 0. For simplicity, we set For any weight u which is a nonnegative integrable function, we define the operator Hu : I → R + by From the definition of H, we see that if u is nondecreasing, then Also, using the above inequality, we have that From these two facts, we have the following properties of Hu for nondecreasing functions.
(ii) If u is a nondecreasing function, then so is Hu.
1 As a consequence of Lemma 2.1, if r > 1 we deduce that Hu r ≤ u r when u is a nondecreasing function. We also notice from Lemma 2.1 that if u is nondecreasing, then Hu r is also nondecreasing.
Also, from the definition of H, we see that if u is nonincreasing, then Also, by using the above inequality, we have that From these two facts, we have the following properties of Hu for nonincreasing functions.

Lemma 2.2 (i) If u is nonincreasing, then Hu(t) ≥ u(t).
(ii) If u is nonincreasing, then so is Hu.
Remark 2.2 As a consequence of Lemma 2.2, if r > 1 then Hu r ≥ u r when u is a nonincreasing function. We also notice from Lemma 2.2 that if u is nonincreasing, then Hu r is also nonincreasing.
We need the following lemma in the proofs.

Theorem 2.4 Let u be a nonnegative weight and A(t) and W (t) be defined as in
Proof Let x > a. From (20), we have (here t ∈ (a, x)) Then Now, using (23), we have that This leads to Integrating both sides from a to x, we obtain which leads to Applying Hölder's inequality on the right-hand side with indices s and s/(s -1), we have which can be written as Let x → ∞ and we obtain which is (22). This completes the proof.
From Theorem 2.4 (see (25) for the second result), we get the following results in terms of Hu. (21). If s > 1, then (here t ∈ I) (21). If s > 1, then

Lemma 2.6 Let u be a nonnegative weight, and let H be defined as in
As a consequence of Lemma 2.6, if we replace s with s/r > 1 and u with u r , we get the following result. (21). If s ≥ r > 1, then

Lemma 2.7 Let u be a nonnegative weight, and let H be defined as in
The following theorem will be used in the proof of the main results. (20). If s ≥ r > 1, then (here x ∈ I)

Theorem 2.8 Let A(t) and W (t) be defined as in
Proof For any r ∈ [0, s], we define Then To prove (28) we need to prove that Now, since ((sr)/r) + (s(r -1)/r) = s -1, we can write ϒ 1 as Applying Hölder's inequality, with exponents r and r/(r -1), we get that Also, from Lemma 2.6 and using the fact that W (t) ≥ ω(t) for t > a, we see that This implies that and so Let Now, using (29) and (30), we get that Applying Lemma 2.3 with ρ = ϒ 0 and ρ = α, we have which is (28). The proof is complete. Now, we are in a position to prove the main results. First, we will extend the results due to Bojarski et al. [3] and prove that if u ∈ A 1 ω (C), then u ∈ G s ω (K) and give exact values of the new exponents with a sharp constant and exponent similar to the constants in Bojarski et al. [3]. Our method is different from the one used in [3].
Proof Let x ∈ I. From the definition of Hu(t) and Lemma 2.6, we see that This implies that Let (η) = γ η s-1 -s-1 s η s for every γ > 0 and η ≥ γ , and we see that ∈ (a, x). Taking γ = u, β = Hu(t), and δ = Cu(t), we have from Lemma 2.2 and condition (32) that γ ≤ β ≤ δ, and then Then From this inequality and (34) we get Hu(x) s , which is (33). The proof is complete.
In what follows, we prove the self-improving property of the weighted Gehring class G r ω (K) with a new constant similar to the constant obtained in [24] for the unweighted class.
Theorem 2.10 Assume that r > 1 and u is a nonincreasing nonnegative weight. If u ∈ G r ω (K), i.e., then u ∈ G s ω (K 1 ) and for every s ∈ [r, r * ), where r * is the positive root of the equation Proof Let x ∈ I. From the definition of Hu(t) and Lemma 2.7, we see that This implies that Let (z) = γ z s/r-1 -sr s z s/r for every γ > 0 and z ≥ γ , and we see (see Theorem 2.9) that is decreasing. Fix t ∈ (a, x). Now let β = Hu r (t), γ = u r and δ = KHu(t) r .
It is clear from (35) that γ ≤ β ≤ δ and with ϑ * and ϑ * respectively the nonincreasing and nondecreasing rearrangements for the function ϑ. The functions ϑ * and ϑ * are equimeasurable with ϑ in a set r 0 in the sense that for any real exponent r the following holds: It is well known that a convex function ϕ ∈ verifies the so-called Jensen inequality This makes natural to define that a weight ϑ is said to verify the reverse Jensen inequality that will be denoted by ϑ ∈ J ϕ (K) if there exists a real constant K > 1 such that for every bounded interval I the following holds: The following theorem, proved by Korenovskii in [15], provides the exact estimate for the equimeasurable rearrangements of weights verifying the reverse Jensen inequality.
Theorem 3.1 Let ϕ ∈ and ϑ ∈ J ϕ (K). Then with the same constant K as in condition (40).
It is easy to observe that, for ϕ(u) = u r or ϕ(u) = u 1 1-s , the reverse Jensen inequality corresponds respectively to the G r and the A s conditions. Similarly, for ϕ(u) = u s/r , it becomes the G s,r condition. This means that Theorems 2.9, 2.10, 3.1 will allow us to extend our proofs to obtain the same results in the general n-dimension. This will be obtained by using the properties of the measure on the space and studying the reverse of Jensen's inequality with a weight of the form where H(t) = t a |h(s)| ds. On the other hand, the self-improving property has applications in different fields, for example, in higher integrability theory and in optimal regularity of solutions to some elliptic sDEs, see Kenig [14]) and Martio and Sbordone [20]. In the following, we apply our results to prove a higher integrability theorem. Note that, for all nonnegative and nonincreasing functions u and r > 1, we have The self-improving property has applications in different fields especially in studying the optimal regularity of solutions to some elliptic SDEs (see for example Kenig [14]) where the L s solvability of the Dirichlet problem div A(x)∇u = 0 on the unit disc D, with u| D = ϕ, can be expressed in terms of G r conditions on the boundary ∂D for the harmonic measures associated with A(x), with 1/s + 1/r = 1.
Another application of the sharp results for the reverse Hölder inequalities can be found in Martio and Sbordone [20] in the study of K -quasiminimizers and their inverse. For other applications of inequalities including extrapolation theory, vector-valued inequalities, and estimate for certain classes of nonlinear partial differential equations, we refer the reader to the book [14]. In the following, we report an application of the self-improving property in the solvability of the Neumann problem for divergence form elliptic operators and L s data in the half plane by using the relation between G s and A s that has been proved by Johnson and Neugebauer [13]. We begin reporting a result contained in [13] that shows the A s -regularity of the derivative of a homeomorphism of the real line and the derivative of its inverse. Now we show that Theorem 3.3 for regularity and the self-improving Theorem 2.10 can be applied to the solvability of Neumann problems for divergence elliptic operators with L s data (see [5]). Let us consider the following Neumann problem: ϑ = 0 in R 2 + and Let us consider a quasiconformal mapping : R 2 + → R 2 + with (x, 0) = h(x), where h : R + → R + is a homeomorphism, and let us consider the pull-back Laplacian matrix If the solution of (52) is composed with , we have that u = ϑ • is a solution of the following Neumann problem: div A∇u = 0 in R 2 By using the variational formulation of the Neumann problem and assuming that dh = h dx, we can see that the Neumann data for u = ϑ • are (f • h)h . For this to belong to L s , we need that |(f • h)| s |h | s < ∞, which is equivalent, if y = h(x), dy = h (x) dx, to the fact that f ∈ L s u , where u(y) = |h (h -1 (y))| s-1 . Now, if (53) was solvable for L, then all derivatives of u restricted to R would be in L s . This implies, in particular, that if in (53) f ∈ L s (u dx), and the bound Hf L s u ≤ C f L s u holds. But it is well known that (54) holds if and only if u ∈ A s (C) (see [12]). But u ∈ A s (C) is equivalent to (h -1 ) ∈ A r (C r ) with r = s/(s -1). Now, by Theorem 3.3, this is equivalent to h ∈ G s (K) for any bounded interval I of R + with a constant K = G s (h ). Applying Theorem 2.10, we see that if s * is the unique positive root of the equation ω(x, s) = K, then we have h ∈ G s (K s ) for every s ∈ [s, s * ) and is a positive root of ω(s, s) = K.