Open Access

Reversed version of a generalized Aczél’s inequality and its application

Journal of Inequalities and Applications20122012:202

https://doi.org/10.1186/1029-242X-2012-202

Received: 3 February 2012

Accepted: 21 August 2012

Published: 11 September 2012

Abstract

In this paper, we give a reversed version of a generalized Aczél’s inequality which is due to Wu and Debnath. As an application, an integral type of the reversed version of the Aczél-Vasić-Pečarić inequality is obtained.

MSC:26D15, 26D10.

Keywords

Aczél’s inequality Aczél-Vasić-Pečarić inequality reversed version generalization

1 Introduction

In 1956, Aczél [1] established the following inequality which is of wide application.

Theorem A If a i , b i ( i = 1 , 2 , , n ) are positive numbers such that a 1 2 i = 2 n a i 2 > 0 or b 1 2 i = 2 n b i 2 > 0 , then
( a 1 2 i = 2 n a i 2 ) ( b 1 2 i = 2 n b i 2 ) ( a 1 b 1 i = 2 n a i b i ) 2 .
(1)

It is well known that Aczél’s inequality (1) plays an important role in the theory of functional equations in non-Euclidean geometry. Various refinements, generalizations and applications of inequality (1) have appeared in literature (see, e.g., [212], [13] and the references therein).

One of the most important results in the works mentioned above is the exponential generalization of (1) asserted by Theorem B.

Theorem B Let p and q be real numbers such that p , q 0 and 1 p + 1 q = 1 , and let a i , b i ( i = 1 , 2 , , n ) be positive numbers such that a 1 p i = 2 n a i p > 0 and b 1 q i = 2 n b i q > 0 . Then, for p > 1 , we have
( a 1 p i = 2 n a i p ) 1 p ( b 1 q i = 2 n b i q ) 1 q a 1 b 1 i = 2 n a i b i .
(2)

If p < 1 ( p 0 ), we have the reverse inequality.

Remark 1.1 The case p > 1 of Theorem B was proved by Popoviciu [8]. The case p < 1 was given in [10] by Vasić and Pečarić.

In another paper [11], Vasić and Pečarić presented the following extension of inequality (1).

Theorem C Let a r j > 0 , λ j > 0 , a 1 j λ j r = 2 n a r j λ j > 0 , r = 1 , 2 , , n , j = 1 , 2 , , m , and let j = 1 m 1 λ j 1 . Then
j = 1 m ( a 1 j λ j r = 2 n a r j λ j ) 1 λ j j = 1 m a 1 j r = 2 n j = 1 m a r j .
(3)

Recently, it comes to our attention that an interesting generalization of Aczél’s inequality, which was established by Wu and Debnath in [14], is as follows.

Theorem D Let a r j > 0 , λ j > 0 , a 1 j λ j r = 2 n a r j λ j > 0 , r = 1 , 2 , , n , j = 1 , 2 , , m , and let ρ = min { j = 1 m 1 λ j , 1 } . Then
j = 1 m ( a 1 j λ j r = 2 n a r j λ j ) 1 λ j n 1 ρ j = 1 m a 1 j r = 2 n j = 1 m a r j ,
(4)
and equality holds if and only if a 1 j = n 1 p j a 2 j = = n 1 p j a n j , j = 1 , 2 , , m for ρ < 1 , or
a 11 λ 1 a 1 j λ j = a 21 λ 1 a 2 j λ j = = a n 1 λ 1 a n j λ j , j = 2 , 3 , , m for  ρ = 1 .

The purpose of this work is to give a reversed version of inequality (4). As application, an integral type of the reversed version of the Aczél-Vasić-Pečarić inequality is obtained.

2 Reversed version of a generalized Aczél’s inequality

We need the following lemmas in our deduction.

Lemma 2.1 [5]

If x i 0 , λ i > 0 , i = 1 , 2 , , n , 0 < p 1 , then
i = 1 n λ i x i p ( i = 1 n λ i ) 1 p ( i = 1 n λ i x i ) p .
(5)

The inequality is reversed for p 1 or p < 0 . In each case, the sign of the equality holds if and only if x i = x j for all i , j = 1 , 2 , , n .

Lemma 2.2 [11] (Generalized Hölder’s inequality)

Let a r j > 0 ( j = 1 , 2 , , m , r = 1 , 2 , , n ). If λ 1 0 , λ j < 0 ( j = 2 , 3 , , m ), j = 1 m 1 λ j 1 , then
r = 1 n j = 1 m a r j j = 1 m ( r = 1 n a r j λ j ) 1 λ j .
(6)

The sign of the equality holds if and only if the m sets ( a r 1 ) , ( a r 2 ) , , ( a r m ) are proportional.

Lemma 2.3 Let a r j > 0 ( r = 1 , 2 , , n , j = 1 , 2 , , m ), let λ 1 0 , λ j < 0 ( j = 2 , 3 , , m ), and let τ = max { j = 1 m 1 λ j , 1 } . Then
r = 1 n j = 1 m a r j n 1 τ j = 1 m ( r = 1 n a r j λ j ) 1 λ j .
(7)

The sign of the equality holds if and only if the m sets ( a r 1 ) , ( a r 2 ) , , ( a r m ) are proportional for j = 1 m 1 λ j 1 , or a 1 j = a 2 j = = a n j , j = 1 , 2 , , m for j = 1 m 1 λ j > 1 .

Proof Case (I). When λ 1 < 0 , then τ = 1 . Obviously, inequality (7) is equivalent to inequality (6).

Case (II). When λ 1 > 0 with j = 1 m 1 λ j 1 . Write j = 1 m 1 λ j = t ( t 1 ), which implies j = 1 m 1 t λ j = 1 . By inequality (6), we have
( r = 1 n j = 1 m a r j ) 2 = s = 1 n ( i = 1 m a s i ) r = 1 n j = 1 m a r j s = 1 n ( i = 1 m a s i ) [ j = 1 m ( r = 1 n a r j t λ j ) 1 t λ j ] = s = 1 n { ( a s 1 t λ 1 r = 1 n a r 1 t λ 1 ) 1 t λ 1 j = 2 m 1 t λ j × [ j = 2 m ( a s 1 t λ 1 r = 1 n a r j t λ j ) 1 t λ j ] × [ j = 2 m ( a s j t λ j r = 1 n a r 1 t λ 1 ) 1 t λ j ] } .
(8)
Consequently, according to ( 1 t λ 1 j = 2 m 1 t λ j ) + 1 t λ 2 + 1 t λ 3 + + 1 t λ m + 1 t λ 2 + 1 t λ 3 + + 1 t λ m = 1 , by using inequality (6) on the right side of (8), we observe that
( r = 1 n j = 1 m a r j ) 2 ( s = 1 n r = 1 n a s 1 t λ 1 a r 1 t λ 1 ) 1 t λ 1 j = 2 m 1 t λ j × [ j = 2 m ( s = 1 n r = 1 n a s 1 t λ 1 a r j t λ j ) 1 t λ j ] [ j = 2 m ( s = 1 n r = 1 n a s j t λ j a r 1 t λ 1 ) 1 t λ j ] .
(9)
Additionally, using Lemma 2.1 together with t 1 , we find
(10)

Combining inequalities (9) and (10) leads to inequality (7) immediately.

Case (III). When λ 1 > 0 with j = 1 m 1 λ j 1 . Obviously, inequality (7) is equivalent to inequality (6).

The condition of the equality for inequality can easily be obtained by Lemma 2.1 and Lemma 2.2. This completes the proof of Lemma 2.3. □

Remark 2.4 It is clear that the generalized Hölder inequality (6) is a simple consequence of Lemma 2.3 presented in this article.

Theorem 2.5 Let a r j > 0 , λ 1 0 , λ j < 0 ( j = 2 , 3 , , m ), a 1 j λ j r = 2 n a r j λ j > 0 , r = 1 , 2 , , n , j = 1 , 2 , , m , and let τ = max { j = 1 m 1 λ j , 1 } . Then
j = 1 m ( a 1 j λ j r = 2 n a r j λ j ) 1 λ j n 1 τ j = 1 m a 1 j r = 2 n j = 1 m a r j ,
(11)
and the equality holds if and only if a 1 j = n 1 λ j a 2 j = = n 1 λ j a n j , j = 1 , 2 , , m for τ > 1 , or
a 11 λ 1 a 1 j λ j = a 21 λ 1 a 2 j λ j = = a n 1 λ 1 a n j λ j , j = 2 , 3 , , m for  τ = 1 .
Proof Denote
a 1 j λ j r = 2 n a r j λ j = x j λ j ,
(12)
and
j = 1 m a 1 j n τ 1 r = 2 n j = 1 m a r j = n τ 1 j = 1 m x j .
(13)
By using inequality (7), we have
j = 1 m a 1 j = j = 1 m ( x j λ j + r = 2 n a r j λ j ) 1 λ j n τ 1 ( j = 1 m x j + r = 2 n j = 1 m a r j ) ,
(14)
that is,
( x m λ m + r = 2 n a r m λ m ) 1 λ m j = 1 m 1 ( x j λ j + r = 2 n a r j λ j ) 1 λ j n τ 1 ( j = 1 m x j + r = 2 n j = 1 m a r j ) .
(15)
Therefore, from (12), (13) and (15), we obtain
( x m λ m + r = 2 n a r m λ m ) 1 λ m j = 1 m 1 a 1 j j = 1 m a 1 j .
(16)
Hence, we obtain
x m λ m a 1 m λ m r = 2 m a r m λ m ,
(17)
that is,
x m ( a 1 m λ m r = 2 m a r m λ m ) 1 λ m .
(18)
Therefore, we have
j = 1 m x j ( a 1 m λ m r = 2 m a r m λ m ) 1 λ m j = 1 m 1 x j = ( a 1 m λ m r = 2 m a r m λ m ) 1 λ m j = 1 m 1 ( a 1 j λ j r = 2 m a r j λ j ) 1 λ j = j = 1 m ( a 1 j λ j r = 2 m a r j λ j ) 1 λ j .
(19)

By using (13), we immediately obtain the desired inequality (11). The condition of the equality for inequality (11) can easily be obtained by Lemma 2.3. The proof of Theorem 2.5 is completed. □

If we set j = 1 m 1 λ j 1 , then from Theorem 2.5, we obtain the following reversed version of inequality (3).

Corollary 2.6 Let a r j > 0 , λ 1 0 , λ j < 0 ( j = 2 , 3 , , m ), j = 1 m 1 λ j 1 , a 1 j λ j r = 2 n a r j λ j > 0 , r = 1 , 2 , , n , j = 1 , 2 , , m . Then
j = 1 m ( a 1 j λ j r = 2 n a r j λ j ) 1 λ j j = 1 m a 1 j r = 2 n j = 1 m a r j .
(20)

If we set m = 2 , λ 1 = p 0 , λ 2 = q < 0 , a r 1 = a r , a r 2 = b r ( r = 1 , 2 , , n ), then from Theorem 2.5, we obtain

Corollary 2.7 Let a r > 0 , b r > 0 ( r = 1 , 2 , , n ), a 1 p r = 2 n a r p > 0 , b 1 q r = 2 n b r q > 0 , p 0 , q < 0 , ρ = max { 1 p + 1 q , 1 } . Then the following inequality holds:
( a 1 p r = 2 n a r p ) 1 p ( b 1 q r = 2 n b r q ) 1 q n 1 ρ a 1 b 1 r = 2 n a r b r .
(21)

Remark 2.8 For 1 p + 1 q = 1 , inequality (21) reduces to the famous Aczél-Vasić-Pečarić inequality (2).

3 Application

As application of the above results, we establish here an integral type of the reversed version of the Aczél-Vasić-Pečarić inequality.

Theorem 3.1 Let λ 1 > 0 , λ j < 0 ( j = 2 , 3 , , m ), j = 1 m λ j = 1 , let A j > 0 ( j = 1 , 2 , , m ), and let f j ( x ) ( j = 1 , 2 , , m ) be positive Riemann integrable functions on [ a , b ] such that A j λ j a b f j λ j ( x ) d x > 0 . Then
j = 1 m ( A j λ j a b f j λ j ( x ) d x ) 1 λ j j = 1 m A j a b j = 1 m f j ( x ) d x .
(22)
Proof For any positive integer n, we choose an equidistant partition of [ a , b ] as
a < a + b a n < < a + b a n k < < a + b a n ( n 1 ) < b , x k = a + b a n k , Δ x k = b a n , k = 1 , 2 , , n .
Since the hypothesis A j λ j a b f j λ j ( x ) d x > 0 ( j = 1 , 2 , , m ) implies that
A j λ j lim n k = 1 n f j λ j ( a + k ( b a ) n ) b a n > 0 ( j = 1 , 2 , , m ) ,
there exists a positive integer N such that
A j λ j k = 1 n f j λ j ( a + k ( b a ) n ) b a n > 0 for all  n > N  and  j = 1 , 2 , , m .
By using Theorem 2.5, we obtain that for any n > N , the following inequality holds:
(23)
Since
j = 1 m 1 λ j = 1 ,
we have
(24)

In view of the hypotheses that f j ( x ) ( j = 1 , 2 , , m ) are positive Riemann integrable functions on [ a , b ] , we conclude that j = 1 m f j ( x ) and f j λ j ( x ) are also integrable on [ a , b ] . Passing the limit as n on both sides of inequality (24), we obtain inequality (22). The proof of Theorem 3.1 is completed. □

Declarations

Acknowledgements

The author would like to express his sincere thanks to the anonymous referees for their great efforts to improve this paper. This work was supported by the NNSF of China (Grant No. 61073121), and the Fundamental Research Funds for the Central Universities (No. 11ML65).

Authors’ Affiliations

(1)
College of Science and Technology, North China Electric Power University

References

  1. Aczél J: Some general methods in the theory of functional equations in one variable, new applications of functional equations. Usp. Mat. Nauk 1956, 11(3):3–68. in RussianGoogle Scholar
  2. Beckenbach EF, Bellman R: Inequalities. Springer, Berlin; 1983.Google Scholar
  3. Díaz-Barrerro JL, Grau-Sánchez M, Popescu PG: Refinements of Aczél, Popoviciu and Bellman’s inequalities. Comput. Math. Appl. 2008, 56: 2356–2359. 10.1016/j.camwa.2008.05.013MathSciNetView ArticleGoogle Scholar
  4. Farid G, Pečarić J, Ur Rehman A: On refinements of Aczél’s, Popoviciu, Bellman’s inequalities and related results. J. Inequal. Appl. 2010., 2010: Article ID 579567Google Scholar
  5. Hardy G, Littlewood JE, Pólya G: Inequalities. Cambridge University Press, UK; 1952.Google Scholar
  6. Mitrinović DS, Pečarić JE, Fink AM: Classical and New Inequalities in Analysis. Kluwer Academic, Dordrecht; 1993.View ArticleGoogle Scholar
  7. Ouyang Y, Mesiar R: On the Chebyshev type inequality for seminormed fuzzy integral. Appl. Math. Lett. 2009, 22(12):1810–1815. 10.1016/j.aml.2009.06.024MathSciNetView ArticleGoogle Scholar
  8. Popoviciu T: On an inequality. Gaz. Mat. Fiz., Ser. A 1959, 11(64):451–461. in RomanianMathSciNetGoogle Scholar
  9. Tian J: Inequalities and mathematical properties of uncertain variables. Fuzzy Optim. Decis. Mak. 2011, 10(4):357–368. 10.1007/s10700-011-9110-9MathSciNetView ArticleGoogle Scholar
  10. Vasić PM, Pečarić JE: On Hölder and some related inequalities. Mathematica Rev. D’Anal. Num. Th. L’Approx. 1982, 25: 95–103.Google Scholar
  11. Vasić PM, Pečarić JE: On the Jensen inequality for monotone functions. An. Univ. Timişoara Ser. Şt. Matematice 1979, 17(1):95–104.Google Scholar
  12. Vong S: On a generalization of Aczél’s inequality. Appl. Math. Lett. 2011, 24: 1301–1307. 10.1016/j.aml.2011.02.020MathSciNetView ArticleGoogle Scholar
  13. Yang W: Refinements of generalized Aczél-Popoviciu’s inequality and Bellman’s inequality. Comput. Math. Appl. 2010, 59: 3570–3577. 10.1016/j.camwa.2010.03.050MathSciNetView ArticleGoogle Scholar
  14. Wu S, Debnath L: Generalizations of Aczél’s inequality and Popoviciu’s inequality. Indian J. Pure Appl. Math. 2005, 36(2):49–62.MathSciNetGoogle Scholar

Copyright

© Tian; licensee Springer 2012

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.