Abstract
In this paper, we present some new extensions of Hölder’s inequality and give a condition under which the equality holds. We also show that many existing inequalities related to the Hölder inequality are particular cases of the inequalities presented. At the same time, we further promote new inequalities based on the already introduced Hölder inequality.
Similar content being viewed by others
1 Introduction
Let \(a_{ij}>0\), \(1\leq i\leq m\), \(1\leq j\leq n\), \(p_{j}>1\), and \(\sum_{j=1}^{n} p_{j}^{-1} =1\). The following Hölder inequality is well known:
The integral form of the Hölder inequality is
ln addition, from (1) the famous Cauchy inequality follows:
Analytic inequalities [1,2,3,4,5,6,7,8,9,10,11,12], especially Hölder’s inequalities play an important role in mathematical analysis, harmonic analysis, functional analysis, and partial differential equations. It is precisely because of the importance of the Hölder inequality that more and more authors have invested in its research and have made a lot of optimization and advancement. In this paper, we describe the discrete and continuous forms of the Hölder inequality and its associated inferences.
Yang’s [13, 14] insights into inequalities have further led to several inferences. Qi’s [15, 16] several integral inequalities explain the integral form of the inequality and further elaboration of the integral form of the Hölder inequality. Tian [17,18,19,20], Tian and Ha [21, 22], Tian, Ha, and Wang [23], Tian and Pedrycz [24], Kwon and Bae [25], Tian, Zhu and Cheung [26], and Zhao and Cheung [27] give a series of meaningful improvements, generalization, properties, and applications of Hölder’s inequality. The papers in the references are of great guiding significance to the conception and promotion of this paper.
From the paper by Yang [14] we can get the following conclusions.
Let the function \(h:(-\infty ,+\infty )\to (0,+\infty )\) be defined as
It is easy to see that \(h\in C^{\infty }\) and (1) becomes
it is not difficult to see \(h(0)=\sum_{i=1}^{m}\prod_{j=1}^{n} a_{ij}\), \(h(1)=\prod_{j=1}^{n} (\sum_{i=1}^{m} a_{ij}^{p_{j}} )^{1/p_{j}}\) under the conditions \(p_{k}>1\), \(k=1, 2, \ldots , n\), and \(\sum_{k=1} ^{n} 1/p_{k}=1\). From (2) it follows that
and the equation holds if and only if \(t=0\) or \(a_{ik}^{p_{k}}/\prod_{j=1}^{n} a_{ij}=a_{jk}^{p_{k}}/\prod_{j=1}^{n} a_{ij}\) for \(1\leq i\), \(j\leq m\), \(k=1,2,\ldots ,n\).
From (2) and (3), it is natural to consider the function \(h(t)\) more deeply. Similarly, we can define the function \(g(t)\) related to the integral form of Hölder’s inequality:
where \(f_{k}(x)>0\), \(x\in [a,b]\), \(k=1,2,\ldots ,n\), and \(f_{k}\in L ^{p_{k}}[a,b]\).
The integral expression of Hölder’s inequality now becomes
As can be seen from the paper of Yang [14], (2) and (4) are generalized to the case \(p_{j}>1\), \(\sum_{k=1}^{n} 1/p_{k}=r\). We will show that \(h_{r}(t)\) and \(g_{r}(t)\) are concave functions on \(\mathbb{R}\) and that \(\min_{t\in \mathbb{R}} h_{r}(t)=h_{r}(0)\) and \(\min_{t\in \mathbb{R}} g_{r}(t)=g_{r}(0)\); moreover, \(h_{r}^{\prime }(t)t\geq 0\) and \(g_{r}^{\prime }(t)t \geq 0\) for \(t\in \mathbb{R}\). Therefore, we obtain refinements of (3) and (5):
where \(0\leq h_{r}^{\prime }(\tau )\leq h_{r}^{\prime }(1)\) and \(0\leq g_{r}^{\prime }(s) \leq g_{r}^{\prime }(1)\). We also obtain conditions at which the equalities hold.
2 Main results
We begin this section with three lemmas, which will be used in the sequel.
From Yang [13] we get the following lemma.
Lemma 2.1
([13])
If A and B are positive numbers, then
and the equality holds if and only if \((A-B)t=0\).
Lemma 2.2
([14])
Let \(rp_{k}>1\), \(\sum_{k=1}^{n}\frac{1}{p_{k}}=r\), \(a_{ij}>0\), \(1\leq i\leq m\), \(1\leq j\leq n\), \(b_{i}= (\prod_{j=1} ^{n} a_{ij} )^{\frac{1}{r}}\), \(d_{ik}=a_{ik}^{rp_{k}}/\prod_{j=1} ^{n} a_{ij}\), \(1\leq i\leq m\), \(1\leq k\leq n\). Then
Proof
By the definition of \(b_{i}\) and \(d_{ik}\) we have for \(i=1,2,\ldots ,m\):
Therefore
Thus the proof of the lemma is completed. □
Lemma 2.3
([14])
Let \(rp_{k}>1\), \(\sum_{k=1}^{n}\frac{1}{p_{k}}=r\), \(f_{k}(x)>0\), \(F(x)= (\prod_{j=1}^{n}f_{j}(x) )^{\frac{1}{r}}\), \(g_{k}(x)=f_{k}^{rp_{k}}/F^{r}(x)\), \(x\in [a, b]\), \(k=1,2,\ldots ,n\). Then
Proof
After a simple operation, we have
Thus the proof of the lemma is completed. □
The main result of this paper is the following theorem.
As can be seen from Kwon and Bae [25], we can get the continuous function \(h_{r}(t)\) proposed by Theorem 2.4. In this paper, we consider continuous variables \(f(x,y)\) instead of discrete variables \(a_{ij}\). At the same time, we will introduce the discrete form of \(h_{r}(t)\) used in this paper by the continuous function.
Theorem 2.4
Let \(X= (X,\mu )\) and \((Y,\nu )\) be positive measure spaces with \(\mu (X)=1\) and \(0<\nu (Y)<\infty \). Let \(f(x,y)\) be a real-valued bounded measurable function on \(X\times Y\). Define the function \(h_{r}(t):\mathbb{R}\to \mathbb{R}^{+}\) by
where \(G(y)=e^{\int _{X} f(x,y) \,d\mu (x)}\) and \(H(x,y)=rf(x,y)-\int _{X} f(x,y) \,d\mu (x)\).
Then the discrete form of \(h_{r}(t)\) can be further pushed out:
where \(rp_{k}>1\), \(\sum_{k=1}^{n}\frac{1}{p_{k}}=r\), \(X_{ij}>0\) \((1\leq i\leq m,1\leq j\leq n)\), and \(X_{ij}\) are measurable.
Proof
Take X, Y as two discrete spaces \(X={1,2,3,\ldots ,n}\), \(Y={1,2,3, \ldots ,m}\), and take a positive sequence \(p_{j}\) satisfying \(\sum_{j=1}^{n}\frac{1}{p_{j}}=r\). Set μ, ν as
where \(\delta _{j}\) and \(\delta _{i}\) denote the unit mass concentrated at j and i, respectively. Then \((X,2^{X},\mu )\) and \((Y,2^{Y}, \nu )\) are positive measure spaces with \(\mu (X)=1\) and \(0<\nu (Y)=m< \infty \). Here \(2^{\lbrace \cdot \rbrace }\) means the set of all subsets of \(\lbrace \cdot \rbrace \). Let
Then
Therefore \(h_{r}(t)\) has the expression
Thus the proof of the theorem is completed. □
Theorem 2.5
Let \(a_{ij}>0\) \((1\leq i\leq m, 1\leq j\leq n)\), \(rp_{k}>1\), \(\sum_{k=1}^{n} 1/p_{k}=r\). Define the positive function
Then the function \(h_{r}(t)\) defined by (8) is concave, that is, \(h_{r}^{\prime \prime }(t)\geq 0\) for \(t\in \mathbb{R}\), and the equality holds if and only if
In this case, \(h_{r}(t)\) is a constant.
Proof
It is easy to see from (2) that \(h_{r}(t)\) can be expressed in the following equivalent form:
Let \(b_{i}= (\prod_{j=1}^{n} a_{ij} )^{\frac{1}{r}}\), \(d_{ik}=a_{ik}^{rp_{k}}/b_{i}^{r}\),
Let \(H_{r}(t)=\ln h_{r}(t)\),
Then by Lemmas 2.1 and 2.2 we obtain
Therefore \(H_{r}^{\prime }(t)=0\) if and only if \(t=0\) or
Similarly, by Lemmas 2.1 and 2.2 we obtain
It is easy to see that \(H_{r}^{\prime \prime }\geq 0\) and the equality holds at some \(t_{0}\) if and only if
Since \(h_{r}^{\prime }(t)=h_{r}(t)H_{r}^{\prime }(t)\), we have \(h_{r}^{\prime \prime }(t)=h _{r}(t) [ (H_{r}^{\prime }(t) )^{2}+H_{r}^{\prime \prime }(t) ]\geq 0\), and \(h_{r}^{\prime \prime }(t)=0\) if and only if \(H_{r}^{\prime }(t)=0\) and \(H_{r}^{\prime \prime }(t)=0\).
The proof of the theorem is completed. □
From our discussion we see that \(h_{r}^{\prime \prime }(t)\geq 0\) and the equality holds at some \(t_{0}\in \mathbb{R}\) if and only if (9) holds. In this case, \(h_{r}^{\prime \prime }(t)\equiv 0\) and \(h_{r}^{\prime }(t)=h_{r}^{\prime }(0)=\mathrm{const}\). Since, by by the proof, \(h_{r}^{\prime }(t)=h _{r}(0)H_{r}^{\prime }(0)=0\), which yields \(h_{r}(t)=h_{r}(0)=\mathrm{const}\), \(t\in \mathbb{R}\).
Corollary 2.6
If (9) holds, then \(h_{r}(t)=\mathrm{const}\). Otherwise, \(h_{r}^{\prime \prime }(t)>0\), \(t\in \mathbb{R}\), and \(h_{r}^{\prime }(t)t>0\) for \(t\neq 0\); in particular, for \(0=t_{1}< t_{2}<\cdots <t_{N}=1\), we have
If \(r=1\), then we get a refinement of (1),
Corollary 2.7
If (9) holds, then \(h_{r}(t)=\mathrm{const}\). Otherwise,
and \(0< h_{r}^{\prime }(\tau )< h_{r}^{\prime }(1)\), where
Theorem 2.8
Let \(f_{k}(x)>0\), \(x\in [a,b]\), \(k=1,2,\ldots ,n\), and \(f_{k}\in L ^{p_{k}}[a,b]\). Define the positive function
The function \(g_{r}(t)\) defined by (10) is concave, that is, \(g_{r}^{\prime \prime }(t)\geq 0\) for \(t\in \mathbb{R}\), and the equality holds if and only if
Proof
It is known from Lemma 2.3 that if \(F(x)= (\prod_{j=1} ^{n} f_{j}(x) )^{\frac{1}{r}}\) and \(g_{k}(x)=f_{k}^{rp_{k}}(x)/F ^{r}(x)\), then
Let \(G_{r}(t)=\ln g_{r}(t)\). Then
Then by Lemmas 2.1 and 2.3 we obtain
Therefore \(G_{r}^{\prime }(t)=0\) if and only if
Similarly, by Lemmas 2.1 and 2.3 we obtain
It is easy to see \(G_{r}^{\prime \prime }(t)\geq 0\) and the equality holds at some \(t_{0}\) if and only if
Since \(g_{r}^{\prime }(t)=g_{r}(t)G_{r}^{\prime }(t)\), we have \(g_{r}^{\prime \prime }(t)=g _{r}(t) [ (G_{r}^{\prime }(t) )^{2}+G_{r}^{\prime \prime }(t)]\geq 0\), and \(g_{r}^{\prime \prime }(t)=0\) if and only if \(G_{r}^{\prime }(t)=0\) and \(G_{r}^{\prime \prime }(t)=0\).
Thus the proof of the theorem is completed. □
Corollary 2.9
If \(g_{k}(x)=\mathrm{const}\), then \(g_{r}(t)=\mathrm{const}\). Otherwise, \(g_{r}^{\prime \prime }(t)>0\), \(t\in \mathbb{R}\), and \(g_{r}^{\prime }(t)t>0\) for \(t\neq 0\); in particular, for \(0=t_{1}< t_{2}<\cdots <t_{N}=1\), we have
Corollary 2.10
If (11) holds, then \(g_{r}(t)=\mathrm{const}\). Otherwise,
and \(0< g_{r}^{\prime }(s)< g_{r}^{\prime }(1)\), where
Next, we use the existing inequalities to derive the inequalities obtained in Kwon and Bae [25].
Theorem 2.11
Let \(a_{ij}>0\), \(p_{k}>1\), \(\alpha _{kj}\in \mathbb{R}\), \(1\leq i\leq m\), \(1 \leq j\), \(k\leq n\), \(\sum_{k=1}^{n}\frac{1}{p_{k}}=1\), and \(\sum_{k=1} ^{n}\alpha _{kj}=0\). Then
Moreover, for the integral form of this inequality, if \(f_{j}(x)>0\) \((j=1,2,\ldots ,n)\), \(x\in [a,b]\), \(-\infty < a< b<+\infty \), and \(f_{j}(x)\in C[a,b]\), then
Proof
From (2) we can see that \(h(0)\) is the minimum point of \(h(t)\).
Thus \(h(0)\leq h(t)\), that is,
Under the assumptions of (2), taking \(t=-p_{k}\alpha _{kj}\) for \(j\neq k\) and \(t=\alpha _{kk}/(1-\frac{1}{p_{k}})\) for \(j=k\) with \(\sum_{k=1}^{n}\alpha _{kj}=0\), we have
Similarly, the integral expression of Hölder’s inequality now becomes \(g(0)\leq g(t)\), that is,
Next, we make some changes to \(g(t)\). Taking \(t=-p_{k}\alpha _{kj}\) for \(j\neq k\) and \(t=\alpha _{kk}/(1-\frac{1}{p_{k}})\) for \(j=k\) with \(\sum_{k=1}^{n}\alpha _{kj}=0\), we have
Thus, the proof of the theorem is completed. □
Similarly, we also consider the case \(p_{j}>1\), \(\sum_{k=1}^{n}\frac{1}{p _{k}}=r\).
Theorem 2.12
Let \(a_{ij}>0\), \(rp_{k}>1\), \(\alpha _{kj}\in \mathbb{R}\), \(1\leq i\leq m\), \(1 \leq j\), \(k\leq n\), \(\sum_{k=1}^{n}\frac{1}{p_{k}}=r\), and \(\sum_{k=1} ^{n}\alpha _{kj}=0\). Then
Moreover, for the integral form of this inequality, if \(f_{j}(x)>0\) \((j=1,2,\ldots ,n)\), \(x\in [a,b]\), \(-\infty < a< b<+\infty \), and \(f_{j}(x)\in C[a,b]\), then
Proof
From (8) we get that \(h_{r}(0)\) is the minimum point of \(h_{r}(t)\). Thus, \(h_{r}(0)\leq h_{r}(t)\), that is,
Under the assumptions of (8), taking \(t=-rp_{k}\alpha _{kj}\) for \(j\neq k\) and \(t=\alpha _{kk}/(1-\frac{1}{rp_{k}})\) for \(j=k\) with \(\sum_{k=1}^{n}\alpha _{kj}=0\), we have
Similarly, the integral expression of Hölder’s inequality now becomes \(g_{r}(0)\leq g_{r}(t)\), that is,
Similarly to discrete \(h_{r}(t)\), we also make some changes to the continuous \(g_{r}(t)\). Taking \(t=-rp_{k}\alpha _{kj}\) for \(j\neq k\) and \(t=\alpha _{kk}/(1-\frac{1}{p_{k}})\) for \(j=k\) with \(\sum_{k=1}^{n} \alpha _{kj}=0\), we have
Thus the proof of the theorem is completed. □
3 Conclusion
As is well known, the Hölder inequality and its derivative theorems play an important role in mathematical analysis. In this paper, we have presented a wider range of discrete function \(h_{r}(t)\) and continuous function \(g_{r}(t)\) based on the existing discrete function \(h(t)\) and continuous function \(g(t)\). In addition, we give a proof and application of \(h_{r}(t)\) and \(g_{r}(t)\), and, finally, by using the results obtained we get an extension of Hölder’s inequality to the new inequality. In the future research, we will continue to explore other derived inequalities of Hölder’s inequality.
References
Qi, F.: An algebraic inequality. J. Inequal. Pure Appl. Math. 2(1), Article ID 13 (2001)
Qi, F., Chen, S.-X.: Complete monotonicity of the logarithmic mean. Math. Inequal. Appl. 10(4), 799–804 (2007)
Qi, F., Li, W.-H.: A unified proof of several inequalities and some new inequalities involving Neuman–Sándor mean. Miskolc Math. Notes 15(2), 665–675 (2014)
Qi, F., Luo, Q.-M.: A simple proof of monotonicity for extended mean values. J. Math. Anal. Appl. 224(2), 356–359 (1998)
Tian, J.-F.: Note on common fixed point theorems in fuzzy metric spaces using the CLRg property. Fuzzy Sets Syst. https://doi.org/10.1016/j.fss.2019.01.018
Yang, Zh.-H., Tian, J.-F.: Monotonicity rules for the ratio of two Laplace transforms with applications. J. Math. Anal. Appl. 470(2), 821–845 (2019)
Yang, Zh.-H., Tian, J.-F.: A comparison theorem for two divided differences and applications to special functions. J. Math. Anal. Appl. 464(1), 580–595 (2018)
Yang, Zh.-H., Tian, J.-F.: An accurate approximation formula for gamma function. J. Inequal. Appl. 2018, 56 (2018)
Yang, Zh.-H., Tian, J.-F.: Two asymptotic expansions for gamma function developed by Windschitl’s formula. Open Math. 16, 1048–1060 (2018)
Yang, Zh.-H., Tian, J.-F.: Sharp inequalities for the generalized elliptic integrals of the first kind. Ramanujan J. 48(1), 91–116 (2019)
Yang, Zh.-H., Tian, J.-F.: A class of completely mixed monotonic functions involving the gamma function with applications. Proc. Am. Math. Soc. 146(11), 4707–4721 (2018)
Zhang, S.-Q., Qi, F.: Some integral inequalities. J. Henan Norm. Univ. Nat. Sci. 27(1), 88–89 (1997)
Yang, X.-J.: A note on Hölder inequality. Appl. Math. Comput. 134, 319–322 (2003)
Yang, X.-J.: Hölder’s inequality. Appl. Math. Lett. 16, 897–903 (2003)
Qi, F.: Several integral inequalities. J. Inequal. Pure Appl. Math. 1(2), Article ID 19 (2000)
Qi, F., Luo, Q.-M.: Refinements and extensions of an inequality. Math. Inform. Q. 9(1), 23–25 (1999)
Tian, J.-F.: New property of a generalized Hölder’s inequality and its applications. Inf. Sci. 288, 45–54 (2014)
Tian, J.-F.: Reversed version of a generalized sharp Hölder’s inequality and its applications. Inf. Sci. 201, 61–69 (2012)
Tian, J.-F.: Inequalities and mathematical properties of uncertain variables. Fuzzy Optim. Decis. Mak. 10(4), 357–368 (2011)
Tian, J.-F.: Triple diamond-alpha integral and Hölder-type inequalities. J. Inequal. Appl. 2018, 111 (2018)
Tian, J.-F., Ha, M.-H.: Properties of generalized sharp Hölder’s inequalities. J. Math. Inequal. 11(2), 511–525 (2017)
Tian, J.-F., Ha, M.-H.: Extensions of Hölder’s inequality via pseudo-integral. Math. Probl. Eng. 2018, Article ID 4080619 (2018)
Tian, J.-F., Ha, M.-H., Wang, Ch.: Improvements of generalized Hölder’s inequalities and their applications. J. Math. Inequal. 12(2), 459–471 (2018)
Tian, J.-F., Pedrycz, W.: New refinements of generalized Hölder’s inequality and their applications. Math. Inequal. Appl. 19(3), 805–822 (2016)
Kwon, E.-G., Bae, E.-K.: On a continuous form of Hölder inequality. J. Math. Anal. Appl. 343, 585–592 (2008)
Tian, J.-F., Zhu, Y.-R., Cheung, W.-S.: N-tuple Diamond-Alpha integral and inequalities on time scales. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. https://doi.org/10.1007/s13398-018-0609-6
Zhao, C.-J., Cheung, W.-S.: Hölder’s reverse inequality and its application. Publ. Inst. Math. 99(113), 211–216 (2016)
Acknowledgements
The authors would like to express their sincere thanks to the anonymous referees for their great efforts to improve this paper.
Funding
This work was supported by the Fundamental Research Funds for the Central Universities (No. 2015ZD29) and the Higher School Science Research Funds of Hebei Province of China (No. Z2015137).
Author information
Authors and Affiliations
Contributions
The authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have 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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Yan, F., Gao, Q. Extensions and demonstrations of Hölder’s inequality. J Inequal Appl 2019, 97 (2019). https://doi.org/10.1186/s13660-019-2048-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2048-0