- Open Access
Some new sharp limit Hardy-type inequalities via convexity
Journal of Inequalities and Applications volume 2014, Article number: 6 (2014)
Some new limit cases of Hardy-type inequalities are proved, discussed and compared. In particular, some new refinements of Bennett’s inequalities are proved. Each of these refined inequalities contain two constants, and both constants are in fact sharp. The technique in the proofs is new and based on some convexity arguments of independent interest.
In 1928 Hardy himself (see ) proved the first weighted version of (1.1), namely that the following inequality
holds for all measurable and non-negative functions f on , whenever , .
The constant in (1.2) is sharp. There exists nowadays a lot of information about Hardy-type inequalities, see, e.g., the books [4, 5] and the references given there. In particular, in these books it is pointed out that such inequalities are specially important for a great variety of applications, e.g., to the theory of function spaces, interpolation theory, approximation theory, partial differential equations, etc.
However, there exist very few Hardy-type inequalities with sharp constant in the limit case and when the interval is replaced by a finite interval , . We continue by giving two such examples, where the first one (Bennett’s inequalities) also has direct applications, e.g., to interpolation theory (see Remark 1.1 below).
Proposition A Let , and f be a non-negative and measurable function on . Then
with the usual modification if .
Proof The proof is given in  for . For completeness we present a short proof for . We consider first (1.3).
We have that
After a change of variable and easy calculations, we get that
In the same way we can prove the inequality corresponding to in (1.4),
Remark 1.1 This result is due to Bennett . He derived it as an important tool when he described the intermediate spaces between L and with the Peetre real method. This result was later on completed and applied in various ways in, e.g., [7–9]. In fact, the constant in both (1.3) and (1.4) is sharp. This was not pointed out in , but it is a consequence of our Theorem 2.3.
Next we note that a local variant of (1.2) reads: If , , , then
However, this inequality is not best possible, but also a ‘sharp’ variant of this inequality is known.
Proposition B Let , , and f be a non-negative and measurable function on . Then
The constant is sharp.
Remark 1.2 Inequality (1.8) was proved in  (see also ) and independently in  (for an elementary proof and some further results, see also ). Another elementary proof of (1.8) can be found in the recent paper . This proof shows, in particular, that (1.8) holds also for (here we must assume that a.e.) and that (1.8) is in fact equivalent to the basic inequality
(which holds by Jensen’s inequality) and also to a number of other Hardy-type inequalities (see Theorem 1.3 in ).
In Section 2 of this paper, we prove a refined version of Proposition A, where all involved constants are sharp (see Theorem 2.3 which, in particular, shows that the constant in Proposition A is sharp in both (1.1) and (1.2)). Up to our knowledge, there is not known any other Hardy-type inequalities with this property. The method of proof is completely different from that in  and is based on a convexity argument (see Lemma 2.1 and Remark 2.2).
In Section 3 we present some further results and remarks. In particular, we use the idea from the proof of Theorem 2.1 in  to derive a sharp inequality of the same type as those in Proposition A (see Proposition 3.3 and Example 3.6) and compare these results. Also in this case the proof is based on a convexity argument. Moreover, we discuss the connections between the results above (e.g., that Proposition A is in a sense almost a limit case of Proposition B when and ). All inequalities we derive are sharp but the optimal test functions are different. Therefore, we can in particular formulate another strict improvement of Proposition A (see, e.g., Remark 3.5 and Example 3.6).
2 A refinement of Proposition A
The following well-known lemma of independent interest will be used in the proof of Theorem 2.3.
Lemma 2.1 It yields that
for all . Equality holds if and only if .
Remark 2.2 The crucial inequality (2.1) is called ‘a fundamental relationship’ in the book  (p.12). Two proofs are pointed out in this book. Another proof follows by observing that is convex for or and concave for , and that the equation of the tangent at the point is . In the general case, the tangent will be , which implies a generalization of (2.1), when is convex/concave.
The main result in this section is a refinement and extension of Proposition A.
Theorem 2.3 Let and f be a non-negative and measurable function on .
If , then(2.2)
Both constants and in (2.2) and (2.3) are sharp. Equality is never attained unless f is identically zero.
If , then both (2.2) and (2.3) hold in the reverse direction and the constants in both inequalities are sharp. Equality is never attained unless f is identically zero.
If we have equality in (2.2) and (2.3) for any measurable function f and any .
Proof (a) Let . Suppose that f is a continuous function and define for the function
Differentiation gives that
Thus, according to Lemma 2.1, we have that , i.e., is strictly increasing. Hence, in particular,
By applying Hölder’s inequality, we find that
Hence, we get that
Since as , we have that and, in particular,
Hence, we have proved that (2.2) holds for all continuous functions. By standard approximation arguments, (2.2) holds for all measurable functions.
Now we prove the sharpness of inequality (2.2). We consider the inequality
for , and some constants . Assume that (2.4) holds for some constant and consider the test function
Then we have that
Hence, by (2.4), we have that
By letting , we find that . This contradiction shows that the sharp constant in (2.4) is . We consider now (2.4) with and assume that it holds with some . By using the same test function in (2.5), we get that
Hence, by letting , we obtain that . This shows that is the sharp constant in (2.4) and consequently in (2.2).
The proof of (2.3) is similar. For this we define
and argue similarly as before. The proof of the sharpness of (2.3) consists only of small modifications of the proof above. By Lemma 2.1 it is clear that we cannot have equality neither in (2.2) nor in (2.3) unless f is identically zero. The proof is complete.
(b) Let . In this case the crucial convexity inequality from Lemma 2.1 holds in the reversed direction. Hence, the proofs of the reverse of (2.2) and (2.3) consist only of small modifications of the proofs of (2.2) and (2.3), respectively.
(c) The equality for in both (2.2) and (2.3) is just a consequence of partial integration and limiting arguments or of straightforward modifications of the proof above. □
Remark 2.4 Easy calculations show that if we get equality in inequality (1.5) for . Hence, in this case, inequality (1.5) cannot be improved in the same manner as above to a refined inequality of the type (2.2). In the same way, we find that for the case inequality (1.6) cannot be improved to some refined inequality of the type (2.3).
3 Further results and remarks
Remark 3.1 We note that, by making the variable transformation , the result in Proposition A can be formulated for the interval instead of . Hence, it can be compared with that of Proposition B. The same argument shows that it is no loss of generality to formulate Proposition B with only for , so in the sequel we consider only this case.
Remark 3.2 Inequality (1.7) has no sense if , . However, it is reasonable to ask if the following (limit) inequality can hold for some
In fact, this is not the case. Assume that (3.1) holds for all measurable functions f and some . Let and insert the test function
into (3.1). A simple calculation shows that
and since as , we get a contradiction. This shows that (3.1) cannot hold for any . However, by using Proposition A with , we can see that the related inequality
holds and that the constant is sharp.
Inspired by Remark 3.2 and the technique used in  to prove (1.7), we formulate the following estimate of the same type as that in Proposition A.
Proposition 3.3 Let , f be a positive and measurable function on and u and v be two weight functions on such that
If or , then
(for the case , we assume that ).
If , then (3.3) holds in the reverse direction. Inequality (3.3) and the reverse inequality for are sharp and equality holds for , .
Proof By using Jensen’s inequality with the convex function , or , and Fubini’s theorem, we obtain that
Since for we get equality in our inequality, the sharpness statement is also proved. The proof for the case follows similarly, since the only inequality above holds in the reverse direction. □
Example 3.4 By using Proposition 3.3 with , we find that
where . Both inequalities (1.3) and (3.4) are sharp but the optimal test functions are completely different so the two results cannot be compared.
Remark 3.5 Example 3.4 shows, in fact, that we have the following strict improvement of inequality (1.3) in Proposition A,
where and are defined in (3.4) and
Moreover, a similar improvement of (1.4) can be stated.
Example 3.6 If , , we obtain the following sharp inequality (cf. also (3.2))
as a limit case of the Hardy inequality (corresponding to the case ).
Remark 3.7 The simple proof of Proposition 3.3 shows that it can be generalized also to multidimensional cases and to integral inequalities with general measures. We can also formulate Proposition 3.3 in terms of a general convex function instead of the special case , cf.  and the references given there.
Remark 3.8 By using suitable variable transformations, all inequalities in this paper can be reformulated over the interval instead of over the interval .
Finally, we present the following variant of Theorem 2.3.
Theorem 3.9 Let and f be a non-negative and measurable function on .
If , then(3.5)
Both constants and in (3.5) and (3.6) are sharp. Equality is never attained unless f is identically zero.
If , then both (3.5) and (3.6) hold in the reverse direction and the constants in both inequalities are sharp. Equality is never attained unless f is identically zero.
If , we have equality in (3.5) and (3.6) for any measurable function f and any .
Proof Substitute by in Theorem 2.3 and make a change of variables. □
Hardy GH: Notes on a theorem of Hilbert. Math. Z. 1920, 6: 314-317. 10.1007/BF01199965
Hardy GH: Notes on some points in the integral calculus, LX. An inequality between integrals. Messenger of Math. 1925, 54: 150-156.
Hardy GH: Notes on some points in the integral calculus, LXIV. Further inequalities between integrals. Messenger of Math. 1928, 57: 12-16.
Kokilashvili V, Meshki A, Persson L-E: Weighted Norm Inequalities for Integral Transforms with Product Weights. Nova Science Publishers, New York; 2010.
Kufner A, Persson LE: Weighted Inequalities of Hardy Type. World Scientific, River Edge; 2003.
Bennett C: Intermediate spaces and the class . Ark. Mat. 1973, 11: 215-228. 10.1007/BF02388518
Persson LE: On a weak-type theorem with applications. Proc. Lond. Math. Soc. 1979, 38: 295-308.
Nursultanov E, Tikhonov S: Convolution inequalities in Lorentz spaces. J. Fourier Anal. Appl. 2011, 17: 486-505. 10.1007/s00041-010-9159-9
Brezis H, Waigner S: A note on limiting cases of Sobolev embeddings and convolution inequalities. Commun. Partial Differ. Equ. 1980, 5: 773-789. 10.1080/03605308008820154
Yang B, Zeng Z, Debnath L: On new generalizations of Hardy’s integral inequality. J. Math. Anal. Appl. 1998,217(1):321-327. 10.1006/jmaa.1998.5758
Yang B, Debnath L: Generalizations of Hardy’s integral inequalities. Int. J. Math. Sci. 1999,22(3):535-542. 10.1155/S0161171299225355
Cizmesija A, Pecaric J: Some new generalizations of inequalities of Hardy and Levin-Cochran-Lee. Bull. Aust. Math. Soc. 2001, 63: 105-113. 10.1017/S000497270001916X
Cizmesija A, Pecaric J, Persson L-E: Strengthened Hardy and Pólya-Knopp’s inequalities. J. Approx. Theory 2003, 125: 74-84. 10.1016/j.jat.2003.09.007
Persson LE, Samko N: What should have happened if Hardy had discovered this? J. Inequal. Appl. 2012., 2012: Article ID 29
Beckenbach EF, Bellman R Ergebnisse der Mathematik und ihrer Grenzgebiete 30. In Inequalities. Springer, Berlin; 1961.
Oguntuase JA, Persson LE: Hardy-type inequalities via convexity - the journey so far. Aust. J. Math. Anal. Appl. 2011,7(2):1-19.
The work of the third named author, Natasha Samko, was supported by FCT-CEAF (Portugal) under the project PEst-OE/MAT/UI4032/2011. The first named author would also like to thank the group of Applied Modeling of Karlstad University for support. We thank both referees for some good suggestions, which helped to improve the final version of this paper.
The authors declare that they have no competing interests.
All authors have contributed in all parts to equal extent.
About this article
Cite this article
Barza, S., Persson, L. & Samko, N. Some new sharp limit Hardy-type inequalities via convexity. J Inequal Appl 2014, 6 (2014). https://doi.org/10.1186/1029-242X-2014-6
- integral inequalities
- Hardy-type inequalities
- limit cases
- sharp constants