 Research
 Open Access
 Published:
Some new sharp limit Hardytype inequalities via convexity
Journal of Inequalities and Applications volume 2014, Article number: 6 (2014)
Abstract
Some new limit cases of Hardytype 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.
MSC:26D15.
1 Introduction
Hardy’s inequality in its original continuous form reads (see [1, 2]): If f is nonnegative and pintegrable over (0,\mathrm{\infty}), then
In 1928 Hardy himself (see [3]) proved the first weighted version of (1.1), namely that the following inequality
holds for all measurable and nonnegative functions f on (0,\mathrm{\infty}), whenever a<p1, p\ge 1.
The constant C={(\frac{p}{p1a})}^{p} in (1.2) is sharp. There exists nowadays a lot of information about Hardytype 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 Hardytype inequalities with sharp constant in the limit case and when the interval (0,\mathrm{\infty}) is replaced by a finite interval (0,\ell ), \ell <\mathrm{\infty}. 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 \alpha >0, 1\le p\le \mathrm{\infty} and f be a nonnegative and measurable function on [0,1]. Then
and
with the usual modification if p=\mathrm{\infty}.
Proof The proof is given in [6] for 1\le p<\mathrm{\infty}. For completeness we present a short proof for p=\mathrm{\infty}. We consider first (1.3).
We have that
After a change of variable and easy calculations, we get that
and, hence,
In the same way we can prove the inequality corresponding to p=\mathrm{\infty} in (1.4),
□
Remark 1.1 This result is due to Bennett [6]. He derived it as an important tool when he described the intermediate spaces between L and L{log}^{+}L with the Peetre real (K) method. This result was later on completed and applied in various ways in, e.g., [7–9]. In fact, the constant {\alpha}^{1} in both (1.3) and (1.4) is sharp. This was not pointed out in [6], but it is a consequence of our Theorem 2.3.
Next we note that a local variant of (1.2) reads: If 0<\ell <\mathrm{\infty}, a<p1, p\ge 1, then
However, this inequality is not best possible, but also a ‘sharp’ variant of this inequality is known.
Proposition B Let 0<\ell \le \mathrm{\infty}, p\ge 1, a<p1 and f be a nonnegative and measurable function on [0,\ell ). Then
The constant C={(\frac{p}{p1a})}^{p} is sharp.
Remark 1.2 Inequality (1.8) was proved in [10] (see also [11]) and independently in [12] (for an elementary proof and some further results, see also [13]). Another elementary proof of (1.8) can be found in the recent paper [14]. This proof shows, in particular, that (1.8) holds also for p<0 (here we must assume that f>0 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 Hardytype inequalities (see Theorem 1.3 in [14]).
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 C={\alpha}^{1} in Proposition A is sharp in both (1.1) and (1.2)). Up to our knowledge, there is not known any other Hardytype inequalities with this property. The method of proof is completely different from that in [6] 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 [14] 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 a=p1 and \alpha =1/p). 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 wellknown lemma of independent interest will be used in the proof of Theorem 2.3.
Lemma 2.1 It yields that
for all h>0. Equality holds if and only if h=1.
Remark 2.2 The crucial inequality (2.1) is called ‘a fundamental relationship’ in the book [15] (p.12). Two proofs are pointed out in this book. Another proof follows by observing that y(x)={x}^{p} is convex for p\ge 1 or p<0 and concave for 0<p\le 1, and that the equation of the tangent at the point x=1 is y=pxp+1. In the general case, the tangent will be y={\mathrm{\Psi}}^{\prime}(1)x+\mathrm{\Psi}(1){\mathrm{\Psi}}^{\prime}(1), which implies a generalization of (2.1), when \mathrm{\Psi}(x) is convex/concave.
The main result in this section is a refinement and extension of Proposition A.
Theorem 2.3 Let \alpha ,p>0 and f be a nonnegative and measurable function on [0,1].

(a)
If p>1, then
\begin{array}{c}{\alpha}^{p1}{({\int}_{0}^{1}f(x)\phantom{\rule{0.2em}{0ex}}dx)}^{p}+{\alpha}^{p}{\int}_{0}^{1}{[log(e/x)]}^{\alpha p1}{({\int}_{0}^{x}f(y)\phantom{\rule{0.2em}{0ex}}dy)}^{p}\frac{dx}{x}\hfill \\ \phantom{\rule{1em}{0ex}}\le {\int}_{0}^{1}{x}^{p}{[log(e/x)]}^{(1+\alpha )p1}{f}^{p}(x)\frac{dx}{x}\hfill \end{array}(2.2)and
\begin{array}{c}{\alpha}^{p1}{({\int}_{0}^{1}f(x)\phantom{\rule{0.2em}{0ex}}dx)}^{p}+{\alpha}^{p}{\int}_{0}^{1}{[log(e/x)]}^{\alpha p1}{({\int}_{x}^{1}f(y)\phantom{\rule{0.2em}{0ex}}dy)}^{p}\frac{dx}{x}\hfill \\ \phantom{\rule{1em}{0ex}}\le {\int}_{0}^{1}{x}^{p}{[log(e/x)]}^{(1\alpha )p1}{f}^{p}(x)\frac{dx}{x}.\hfill \end{array}(2.3)Both constants {\alpha}^{p1} and {\alpha}^{p} in (2.2) and (2.3) are sharp. Equality is never attained unless f is identically zero.

(b)
If 0<p<1, 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.

(c)
If p=1 we have equality in (2.2) and (2.3) for any measurable function f and any \alpha >0.
Proof (a) Let p>1. Suppose that f is a continuous function and define for x\in (0,1] the function
Differentiation gives that
with
Thus, according to Lemma 2.1, we have that \frac{d}{dx}F(x;\alpha ,p)>0, i.e., F(x;\alpha ,p) is strictly increasing. Hence, in particular,
By applying Hölder’s inequality, we find that
with
Hence, we get that
Since I(x)\to 0 as x\to {0}_{+}, we have that {lim}_{x\to {0}_{+}}F(x;\alpha ,p)=0 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 \alpha >0, p>1 and some constants 0<{K}_{1},{K}_{2}<\mathrm{\infty}. Assume that (2.4) holds for some constant {K}_{2}\ge {\alpha}^{p} and consider the test function
Then we have that
and
Hence, by (2.4), we have that
i.e., that
By letting \epsilon \to {0}_{+}, we find that {K}_{2}\le {\alpha}^{p}. This contradiction shows that the sharp constant {K}_{2} in (2.4) is {K}_{2}={\alpha}^{p}. We consider now (2.4) with {K}_{2}={\alpha}^{p} and assume that it holds with some {K}_{1}>{\alpha}^{p1}. By using the same test function {f}_{\epsilon} in (2.5), we get that
i.e.,
Hence, by letting \epsilon \to {0}_{+}, we obtain that {K}_{1}\le {\alpha}^{p1}. This shows that {K}_{1}={\alpha}^{p1} 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 0<p<1. 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 p=1 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 p=\mathrm{\infty} we get equality in inequality (1.5) for f(x)=\frac{1}{x}{(log\frac{e}{x})}^{(1+\alpha )}. 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 p=\mathrm{\infty} 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 x=lt, the result in Proposition A can be formulated for the interval (0,\ell ) instead of (0,1). 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 \ell <\mathrm{\infty} only for \ell =1, so in the sequel we consider only this case.
Remark 3.2 Inequality (1.7) has no sense if a=p1, p>1. However, it is reasonable to ask if the following (limit) inequality can hold for some K>0
In fact, this is not the case. Assume that (3.1) holds for all measurable functions f and some K<\mathrm{\infty}. Let \epsilon >0 and insert the test function
into (3.1). A simple calculation shows that
and since (p+p\epsilon )/(\epsilon p(\epsilon +1/p))\to \mathrm{\infty} as \epsilon \to {0}^{+}, we get a contradiction. This shows that (3.1) cannot hold for any K<\mathrm{\infty}. However, by using Proposition A with \alpha =1/p, we can see that the related inequality
holds and that the constant {p}^{p} is sharp.
Inspired by Remark 3.2 and the technique used in [14] to prove (1.7), we formulate the following estimate of the same type as that in Proposition A.
Proposition 3.3 Let p\in \mathbb{R}\setminus \{0\}, f be a positive and measurable function on (0,1) and u and v be two weight functions on (0,1) such that
If p\ge 1 or p<0, then
(for the case p<0, we assume that f>0).
If 0<p\le 1, then (3.3) holds in the reverse direction. Inequality (3.3) and the reverse inequality for 0<p<1 are sharp and equality holds for f(x)\equiv C, C>0.
Proof By using Jensen’s inequality with the convex function \mathrm{\Psi}(x)={x}^{p}, p\ge 1 or p<0, and Fubini’s theorem, we obtain that
Since for f\equiv C we get equality in our inequality, the sharpness statement is also proved. The proof for the case 0<p<1 follows similarly, since the only inequality above holds in the reverse direction. □
Example 3.4 By using Proposition 3.3 with v(x)={x}^{p}{(log\frac{e}{x})}^{\alpha p1}, we find that
where u(x):=x{\int}_{x}^{1}{y}^{p2}{(log(e/y))}^{\alpha p1}\phantom{\rule{0.2em}{0ex}}dy. 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 {I}_{1} and {I}_{2} are defined in (3.4) and
Moreover, a similar improvement of (1.4) can be stated.
Example 3.6 If \alpha =1/p, p>1, we obtain the following sharp inequality (cf. also (3.2))
as a limit case of the Hardy inequality (corresponding to the case a=p1).
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 \mathrm{\Psi}(x) instead of the special case \mathrm{\Psi}(x)={x}^{p}, cf. [16] and the references given there.
Remark 3.8 By using suitable variable transformations, all inequalities in this paper can be reformulated over the interval [1,\mathrm{\infty}) instead of over the interval [0,1].
Finally, we present the following variant of Theorem 2.3.
Theorem 3.9 Let \alpha ,p>0 and f be a nonnegative and measurable function on [1,\mathrm{\infty}).

(a)
If p>1, then
\begin{array}{c}{\alpha}^{p1}{({\int}_{1}^{\mathrm{\infty}}f(x)\phantom{\rule{0.2em}{0ex}}dx)}^{p}+{\alpha}^{p}{\int}_{1}^{\mathrm{\infty}}{[log(ex)]}^{\alpha p1}{({\int}_{x}^{\mathrm{\infty}}f(y)\phantom{\rule{0.2em}{0ex}}dy)}^{p}\frac{dx}{x}\hfill \\ \phantom{\rule{1em}{0ex}}\le {\int}_{1}^{\mathrm{\infty}}{x}^{p}{[log(ex)]}^{(1+\alpha )p1}{f}^{p}(x)\frac{dx}{x}\hfill \end{array}(3.5)and
\begin{array}{c}{\alpha}^{p1}{({\int}_{1}^{\mathrm{\infty}}f(x)\phantom{\rule{0.2em}{0ex}}dx)}^{p}+{\alpha}^{p}{\int}_{1}^{\mathrm{\infty}}{[log(ex)]}^{\alpha p1}{({\int}_{1}^{x}f(y)\phantom{\rule{0.2em}{0ex}}dy)}^{p}\frac{dx}{x}\hfill \\ \phantom{\rule{1em}{0ex}}\le {\int}_{1}^{\mathrm{\infty}}{x}^{p}{[log(ex)]}^{(1\alpha )p1}{f}^{p}(x)\frac{dx}{x}.\hfill \end{array}(3.6)Both constants {\alpha}^{p1} and {\alpha}^{p} in (3.5) and (3.6) are sharp. Equality is never attained unless f is identically zero.

(b)
If 0<p<1, 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.

(c)
If p=1, we have equality in (3.5) and (3.6) for any measurable function f and any \alpha >0.
Proof Substitute f(x) by \frac{1}{{x}^{2}}f(\frac{1}{x}) in Theorem 2.3 and make a change of variables. □
References
Hardy GH: Notes on a theorem of Hilbert. Math. Z. 1920, 6: 314317. 10.1007/BF01199965
Hardy GH: Notes on some points in the integral calculus, LX. An inequality between integrals. Messenger of Math. 1925, 54: 150156.
Hardy GH: Notes on some points in the integral calculus, LXIV. Further inequalities between integrals. Messenger of Math. 1928, 57: 1216.
Kokilashvili V, Meshki A, Persson LE: 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 L{log}^{+}L. Ark. Mat. 1973, 11: 215228. 10.1007/BF02388518
Persson LE: On a weaktype theorem with applications. Proc. Lond. Math. Soc. 1979, 38: 295308.
Nursultanov E, Tikhonov S: Convolution inequalities in Lorentz spaces. J. Fourier Anal. Appl. 2011, 17: 486505. 10.1007/s0004101091599
Brezis H, Waigner S: A note on limiting cases of Sobolev embeddings and convolution inequalities. Commun. Partial Differ. Equ. 1980, 5: 773789. 10.1080/03605308008820154
Yang B, Zeng Z, Debnath L: On new generalizations of Hardy’s integral inequality. J. Math. Anal. Appl. 1998,217(1):321327. 10.1006/jmaa.1998.5758
Yang B, Debnath L: Generalizations of Hardy’s integral inequalities. Int. J. Math. Sci. 1999,22(3):535542. 10.1155/S0161171299225355
Cizmesija A, Pecaric J: Some new generalizations of inequalities of Hardy and LevinCochranLee. Bull. Aust. Math. Soc. 2001, 63: 105113. 10.1017/S000497270001916X
Cizmesija A, Pecaric J, Persson LE: Strengthened Hardy and PólyaKnopp’s inequalities. J. Approx. Theory 2003, 125: 7484. 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: Hardytype inequalities via convexity  the journey so far. Aust. J. Math. Anal. Appl. 2011,7(2):119.
Acknowledgements
The work of the third named author, Natasha Samko, was supported by FCTCEAF (Portugal) under the project PEstOE/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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors have contributed in all parts to equal extent.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Barza, S., Persson, LE. & Samko, N. Some new sharp limit Hardytype inequalities via convexity. J Inequal Appl 2014, 6 (2014). https://doi.org/10.1186/1029242X20146
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X20146
Keywords
 integral inequalities
 Hardytype inequalities
 limit cases
 sharp constants
 convexity