A Hardy inequality and applications to reverse Hölder inequalities for weights on \(\mathbb{R}\). (English) Zbl 1396.26035

Nikolidakis, Eleftherios N.

J. Math. Soc. Japan 70, No. 1, 141-152 (2018).

The following Hardy-type inequality is obtained:
Theorem. Let \((a_n)_n\) be a sequence of non-negative real numbers. We define for every sequence \((\lambda_n)_n\) of positive numbers the following quantities \(A_n=\lambda_1a_1+\dots +\lambda_na_n\) and \(\Lambda_n=\lambda_1 + \dots +\lambda_n\). Then the following inequality is true: \[ \sum_{n=1}^N \lambda_n \left( \frac{A_n}{\Lambda_n} \right)^p \leq \frac{p}{p-1} \sum_{n=1}^N \lambda_n a_n \left( \frac{A_n}{\Lambda_n} \right)^{p-1} -\frac{1}{p-1} \Lambda_n \left(\frac{A_N}{\Lambda_N}\right)^p, \] for any \(N\in \mathbb{N}\).
As a consequence of the above-mentioned theorem, we have the following result.
Corollary. Let \(g:[0,1] \rightarrow \mathbb{R}^+\) be integrable function, \(p>1\) and additionally assume that \(\int_0^1g=f\). Then the following inequality is true \[ \int_0^1 \left( \frac 1t \int_0^t g \right)^p dt \leq \frac{p}{p-1} \int_0^1 \left(\frac 1t \int_0^t g\right)^{p-1}g(t)dt -\frac{1}{p-1}f^p. \]
Also, the following general result is obtained.
Theorem. Let \(g:[0,1] \rightarrow \mathbb{R}^+\) be an integrable function, \(p>1\) and additionally assume that \(\int_0^1g=f\). Then, the following inequality is true, for any \(q\) such that \(1\leq q\leq p\) \[ \int_0^1 \left( \frac 1t \int_0^t g \right)^p dt \leq \left(\frac{p}{p-1}\right)^q \int_0^1 \left(\frac 1t \int_0^t g\right)^{p-q}g^q(t)dt -\frac{q}{p-1}f^p. \] Moreover, the inequality is sharp in the sense that, the constant \((p/(p-1))^q\) cannot be decreased, while the constant \(q/(p-1)\) cannot be increased for any fixed \(f\).
As an application, the author obtained the exact best possible range of \(p>q\) such that any non-increasing \(g\) which satisfies a reverse Hölder inequality with exponent \(q\) and constant \(c\) upon the subintervals of \((0,1]\) should additionally satisfy a reverse Hölder inequality with exponent \(p\) and in general different constant \(c'\). Namely, the following result is given.
Theorem. Let \(g:(0,1] \rightarrow \mathbb{R}^+\) be non-increasing satisfying a reverse Hölder inequality with exponent \(q>1\) and constant \(c \geq 1\) for all intervals of the form \((0,t]\), i.e., \[ \frac 1t \int_0^t g^q \leq c\cdot \left( \frac 1t \int_0^t g\right)^q \] holds for any \(t\in (0,1]\). Then, for every \(p\in [q,p_0)\) the inequality \[ \frac 1t \int_0^t g^p \leq c'\cdot \left( \frac 1t \int_0^t g\right)^p \] is true for any \(t\in (0,1]\), where \(c'=c'(p,q,c)\) and \(p_0>q\) is a root of the following equation \[ \frac{p_0-q}{p_0}\cdot \left( \frac{p_0}{p_0-1}\right)^q \cdot c=1. \] As a consequence \(g\in L^p\) for every \(p\in [q,p_0)\). Moreover, the result is sharp, i.e., the value of \(p_0\) cannot be decreased.
The above-mentioned result about the reverse Hölder inequalities are already known, see [L. D’Apuzzo and C. Sbordone, Rend. Mat. Appl., VII. Ser. 10, No. 2, 357–366 (1990; Zbl 0711.42027)], but here an alternative proof is given based on the obtained Hardy-type inequalities.

Reviewer: Sanja Varošanec (Zagreb)

MSC:

26D15	Inequalities for sums, series and integrals
42B25	Maximal functions, Littlewood-Paley theory

Keywords:

Hardy inequalities; reverse Hölder inequalities; weights

Citations:

Zbl 0711.42027

References:

[1]	L. D’Appuzzo and C. Sbordone, Reverse Hölder inequalities, A sharp result, Rend. Mat. (7), 10 (1990), 357-366. · Zbl 0711.42027
[2]	B. Bojarski, Remarks on the stability of reverse Hölder inequalities and quasiconformal mappings, \doihref10.5186/aasfm.1985.1000Ann. Acad. Sci. Fenn. Ser. AI Math., \bf10 (1985), 89-94. · Zbl 0582.30016
[3]	E. T. Copson, Note on series of positive terms, \doihref10.1112/jlms/s1-3.1.49J. London Math. Soc., 3 (1928), 49-51. · JFM 54.0227.01
[4]	E. T. Copson, Some integral inequalities, \doihref10.1017/S0308210500017868Proc. Roy. Soc. Edinburgh Sect. A, 75 (1975/1976), 157-164. · Zbl 0331.26015
[5]	E. B. Elliott, A simple exposition of some recently proved facts as to convergency, \doihref10.1112/jlms/s1-1.2.93J. London Math. Soc., 1 (1926), 93-96. · JFM 52.0207.02
[6]	F. W. Gehring, The \(L^p\)-integrability of the partial derivatives of a quasiconformal mapping, \doihref10.1007/BF02392268Acta Math., 130 (1973), 265-277. · Zbl 0258.30021
[7]	G. H. Hardy, Note on a theorem of Hilbert, \doihref10.1007/BF01199965Math Z., 6 (1920), 314-317. · JFM 47.0207.01
[8]	G. H. Hardy, Notes on some points in the integral calculus (LXIT), An inequality between integrals, Messenger of Math., 57 (1928), 12-16.
[9]	G. H. Hardy and J. E. Littlewood, Elementary theorems concerning power series with positive coefficients and moment constants of positive functions, \doihref10.1515/crll.1927.157.141J. Reine Angew. Math., 157 (1927), 141-158. · JFM 53.0193.03
[10]	G. H. Hardy, J. E. Littlewood and G. Polya, Inequalities, Cambridge University Press, Cambridge, 1934. · Zbl 0010.10703
[11]	A. A. Korenovskii, Sharp extension of a reverse Hölder inequality and the Muckenhoupt condition, Math. Notes, 52 (1992), 1192-1201.
[12]	A. Kufner, L. Maligranda and L. E. Persson, The prehistory of the Hardy inequality, \doihref10.2307/27642033Amer. Math. Monthly, 113 (2006), 715-732. · Zbl 1153.01015
[13]	E. Landau, I. Schur and G. H. Hardy, A note on a theorem concerning series of positive terms: Extract from a letter, \doihref10.1112/jlms/s1-1.1.38J. London Math. Soc., 1 (1926), 38-39.
[14]	L. Leindler, Generalization of inequalities of Hardy and Littlewood, Acta Sci. Math., 31 (1970), 279-285. · Zbl 0203.06103
[15]	N. Levinson, Generalizations of an inequality of Hardy, \doihref10.1215/S0012-7094-64-03137-0Duke Math. J., 31 (1964), 389-394. · Zbl 0126.28101
[16]	E. R. Love, Generalizations of Hardy’s and Copson’s inequalities, \doihref10.1112/jlms/s2-30.3.431J. London Math. Soc., \bf30 (1984), 431-440. · Zbl 0526.26010
[17]	J. Nemeth, Generalizations of the Hardy-Littlewood inequality, Acta Sci. Math. (Szeged), 32 (1971), 295-299. · Zbl 0226.26020
[18]	E. N. Nikolidakis, A sharp integral Hardy type inequality and applications to Muckenhoupt weights on R, \doihref10.5186/aasfm.2014.3947Ann. Acad. Sci. Fenn. Math., 39 (2014), 887-896. · Zbl 1320.26028
[19]	B. G. Pachpatte, Mathematical Inequalities, North Holland Mathematical Library, 67 (2005). · Zbl 1091.26008
[20]	J. B. G. Pachpatte, On a new class of Hardy type inequalities, \doihref10.1017/S0308210500022095Proc. Roy. Soc. Edinburgh Sect. A, \bf105 (1987), 265-274. · Zbl 0624.26014