Skip to main content

A sharpened and generalized version of Aczél-Vasić-Pečarić inequality and its application

Abstract

In this paper, we present a sharpened and generalized version of Aczél-Vasić-Pečarić inequality. As an application, an integral type of Aczél-Vasić-Pečarić inequality is obtained.

MSC:26D15, 26D10.

1 Introduction

In 1956, Aczél [1] established the following inequality, which is of wide application in the theory of functional equations in non-Euclidean geometry.

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)

Later, in 1959, Popoviciu [2] gave a generalization of the above inequality.

Theorem B Let p>1, q>1, 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

( 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)

In 1982, Vasić and Pečarić [3] presented the following reversed version of inequality (2).

Theorem C Let p<1 (p0), 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

( 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 .
(3)

Recently inequalities (2) and (3) were generalized and refined in many different ways; see, for example, [410] and [11]. In [12], Wu established an interesting generalization of Aczél-Popoviciu inequality (2) as follows.

Theorem D Let p,q>0, a i , b i >0 (i=1,2,,n), let k (1k<n) be a positive integer such that i = 1 k a i p i = k + 1 n a i p >0 and i = 1 k b i q i = k + 1 n b i q >0. Then

( i = 1 k a i p i = k + 1 n a i p ) 1 p ( i = 1 k b i q i = k + 1 n b i q ) 1 q 2 max { 1 1 p 1 q , 0 } ( i = 1 k a i p ) 1 p ( i = 1 k b i q ) 1 q ( i = k + 1 n a i p ) 1 p ( i = k + 1 n b i q ) 1 q 2 max { 1 1 p 1 q , 0 } max { p , q , 1 } ( i = 1 k a i p ) 1 p ( i = 1 k b i q ) 1 q ( i = k + 1 n a i p i = 1 k a i p i = k + 1 n b i q i = 1 k b i q ) 2 ,
(4)

and equality holds if and only if

i = 1 k a i p i = k + 1 n a i p = i = 1 k b i q i = k + 1 n b i q =2

for 1 p + 1 q <1, or

i = 1 k a i p i = k + 1 n a i p = i = 1 k b i q i = k + 1 n b i q

for 1 p + 1 q =1.

The main purpose of this work is to give a sharpened and generalized version of Aczél-Vasić-Pečarić inequality (3). Moreover, a new Aczél-Vasić-Pečarić type integral inequality is established.

2 A sharpened and generalized version of Aczél-Vasić-Pečarić inequality

We begin this section with some lemmas, which will be used in the sequel.

Lemma 2.1 [13]

If x>1, α1 or α<0, then

( 1 + x ) α 1+αx.
(5)

The inequality is reversed for 0<α<1. The sign of equality holds if and only if x=0 or α=1.

Lemma 2.2 [14]

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 .
(6)

The sign of 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.

Lemma 2.3 Let x>1, y>1, and let p<0, q<0. Then

xy+ ( 1 x p ) 1 p ( 1 y q ) 1 q 2 min { 1 1 p 1 q , 0 } ( 1 min { p 1 , q 1 } ( x p y q ) 2 ) ,
(7)

and equality holds if and only if x p = y q = 1 2 .

Proof Case (I). When p<q<0, it implies that 1 q <0, 1 p 1 q >0. By applying Lemma 2.2 and Lemma 2.1, we have

x y + ( 1 x p ) 1 p ( 1 y q ) 1 q = ( x p ) 1 q ( y q ) 1 q ( x p ) 1 p 1 q + ( 1 y q ) 1 q ( 1 x p ) 1 q ( 1 x p ) 1 p 1 q 2 min { 1 1 p 1 q , 0 } ( x p + ( 1 y q ) ) 1 q ( y q + ( 1 x p ) ) 1 q ( x p + ( 1 x p ) ) 1 p 1 q = 2 min { 1 1 p 1 q , 0 } ( 1 ( x p y q ) 2 ) 1 q 2 min { 1 1 p 1 q , 0 } ( 1 q 1 ( x p y q ) 2 ) .
(8)

Case (II). When q<p<0, it implies that 1 p <0, 1 q 1 p >0. By using Lemma 2.2 and Lemma 2.1, we obtain

x y + ( 1 x p ) 1 p ( 1 y q ) 1 q = ( y q ) 1 p ( x p ) 1 p ( y q ) 1 q 1 p + ( 1 x p ) 1 p ( 1 y q ) 1 p ( 1 y q ) 1 q 1 p 2 min { 1 1 p 1 q , 0 } ( y q + ( 1 x p ) ) 1 p ( x p + ( 1 y q ) ) 1 p ( y q + ( 1 y q ) ) 1 q 1 p = 2 min { 1 1 p 1 q , 0 } ( 1 ( x p y q ) 2 ) 1 p 2 min { 1 1 p 1 q , 0 } ( 1 p 1 ( x p y q ) 2 ) .
(9)

Case (III). When p=q, p<0, q<0. From Lemma 2.2 and Lemma 2.1 we have

x y + ( 1 x p ) 1 p ( 1 y q ) 1 q = ( y p ) 1 p ( x p ) 1 p + ( 1 x p ) 1 p ( 1 y p ) 1 p 2 min { 1 2 p , 0 } ( y p + ( 1 x p ) ) 1 p ( x p + ( 1 y p ) ) 1 p = 2 min { 1 2 p , 0 } ( 1 ( x p y p ) 2 ) 1 p = 2 min { 1 1 p 1 q , 0 } ( 1 ( x p y q ) 2 ) 1 p 2 min { 1 1 p 1 q , 0 } ( 1 p 1 ( x p y q ) 2 ) .
(10)

Combining inequalities (8)-(10) yields inequality (7). The condition of equality in (7) follows immediately from Lemma 2.2 and Lemma 2.1. The proof of Lemma 2.3 is completed. □

Lemma 2.4 Let 0<x<1, y>1, and let p>0, q<0. Then

xy+ ( 1 x p ) 1 p ( 1 y q ) 1 q 2 min { 1 1 p 1 q , 0 } ( 1 min { p 1 , q 1 } ( x p y q ) 2 ) ,
(11)

and equality holds if and only if x p = y q = 1 2 for 1 p + 1 q <1, or x p = y q for 1 p + 1 q =1.

Proof By using Lemma 2.2 and Lemma 2.1, we have

x y + ( 1 x p ) 1 p ( 1 y q ) 1 q = ( x p ) 1 q ( y q ) 1 q ( x p ) 1 p 1 q + ( 1 y q ) 1 q ( 1 x p ) 1 q ( 1 x p ) 1 p 1 q 2 min { 1 1 p 1 q , 0 } ( x p + ( 1 y q ) ) 1 q ( y q + ( 1 x p ) ) 1 q ( x p + ( 1 x p ) ) 1 p 1 q = 2 min { 1 1 p 1 q , 0 } ( 1 ( x p y q ) 2 ) 1 q 2 min { 1 1 p 1 q , 0 } ( 1 q 1 ( x p y q ) 2 ) = 2 min { 1 1 p 1 q , 0 } ( 1 min { p 1 , q 1 } ( x p y q ) 2 ) .
(12)

In addition, the condition of equality for inequality (11) can easily be obtained by Lemma 2.1 and Lemma 2.2. The proof of Lemma 2.4 is completed. □

Theorem 2.5 Let a i >0, b i >0 (i=1,2,,n), let p0, q<0, and let k (1k<n) be a positive integer such that i = 1 k a i p i = k + 1 n a i p >0 and i = 1 k b i q i = k + 1 n b i q >0. Then

( i = 1 k a i p i = k + 1 n a i p ) 1 p ( i = 1 k b i q i = k + 1 n b i q ) 1 q 2 min { 1 1 p 1 q , 0 } ( i = 1 k a i p ) 1 p ( i = 1 k b i q ) 1 q ( 1 n k ) min { 1 1 p 1 q , 0 } ( i = k + 1 n a i b i ) 2 min { 1 1 p 1 q , 0 } min { p 1 , q 1 } ( i = 1 k a i p ) 1 p ( i = 1 k b i q ) 1 q × ( i = k + 1 n a i p i = 1 k a i p i = k + 1 n b i q i = 1 k b i q ) 2 ,
(13)

and equality holds if and only if ( 2 n 2 k ) 1 i = 1 k a i p = a k + 1 p = a k + 2 p == a n p and ( 2 n 2 k ) 1 i = 1 k b i q = b k + 1 q = b k + 2 q == b n q for 1 p + 1 q <1, or i = 1 k a i p i = 1 k b i q = a k + 1 p b k + 1 q = a k + 2 p b k + 2 q == a n p b n q for 1 p + 1 q =1.

Proof Case (I). When p>0, q<0. From the hypotheses of Theorem 2.5, we find that

0 < ( i = 1 k a i p i = k + 1 n a i p i = 1 k a i p ) 1 p < 1 , ( i = 1 k b i q i = k + 1 n b i q i = 1 k b i q ) 1 q > 1 .

Thus, by using Lemma 2.4 with a substitution

x= ( i = 1 k a i p i = k + 1 n a i p i = 1 k a i p ) 1 p ,y= ( i = 1 k b i q i = k + 1 n b i q i = 1 k b i q ) 1 q

in (11), we have

( i = 1 k a i p i = k + 1 n a i p i = 1 k a i p ) 1 p ( i = 1 k b i q i = k + 1 n b i q i = 1 k b i q ) 1 q + ( i = k + 1 n a i p i = 1 k a i p ) 1 p ( i = k + 1 n b i q i = 1 k b i q ) 1 q 2 min { 1 1 p 1 q , 0 } × [ 1 min { p 1 , q 1 } ( i = 1 k a i p i = k + 1 n a i p i = 1 k a i p i = 1 k b i q i = k + 1 n b i q i = 1 k b i q ) 2 ] ,
(14)

which implies

( i = 1 k a i p i = k + 1 n a i p ) 1 p ( i = 1 k b i q i = k + 1 n b i q ) 1 q + ( i = k + 1 n a i p ) 1 p ( i = k + 1 n b i q ) 1 q 2 min { 1 1 p 1 q , 0 } ( i = 1 k a i p ) 1 p ( i = 1 k b i q ) 1 q × [ 1 min { p 1 , q 1 } ( i = k + 1 n a i p i = 1 k a i p i = k + 1 n b i q i = 1 k b i q ) 2 ] .
(15)

Hence, we obtain

( i = 1 k a i p i = k + 1 n a i p ) 1 p ( i = 1 k b i q i = k + 1 n b i q ) 1 q 2 min { 1 1 p 1 q , 0 } ( i = 1 k a i p ) 1 p ( i = 1 k b i q ) 1 q ( i = k + 1 n a i p ) 1 p ( i = k + 1 n b i q ) 1 q 2 min { 1 1 p 1 q , 0 } min { p 1 , q 1 } × ( i = 1 k a i p ) 1 p ( i = 1 k b i q ) 1 q ( i = k + 1 n a i p i = 1 k a i p i = k + 1 n b i q i = 1 k b i q ) 2 ,
(16)

where the equality holds if and only if i = k + 1 n a i p i = 1 k a i p = i = k + 1 n b i q i = 1 k b i q = 1 2 for 1 p + 1 q <1, or i = k + 1 n a i p i = 1 k a i p = i = k + 1 n b i q i = 1 k b i q for 1 p + 1 q =1.

On the other hand, by using Lemma 2.2, we obtain

( i = k + 1 n a i p ) 1 p ( i = k + 1 n b i q ) 1 q ( 1 n k ) min { 1 1 p 1 q , 0 } ( i = k + 1 n a i b i ) ,
(17)

where the equality holds if and only if a k + 1 = a k + 2 == a n and b k + 1 = b k + 2 == b n for 1 p + 1 q <1, or a k + 1 p b k + 1 q = a k + 2 p b k + 2 q == a n p b n q for 1 p + 1 q =1.

Combining the above two inequalities gives the desired result.

Case (II). When p<0, q<0. By the same method as in the above case (I) and using Lemma 2.3 and Lemma 2.2, we get that inequality (13) is also valid. The proof of Theorem 2.5 is completed. □

Remark 2.6 If we set k=1, 1 p + 1 q =1, and i = 2 n a i p a 1 p = i = 2 n b i q b 1 q in Theorem 2.5, then inequality (13) reduces to inequality (3).

If we set k=1, then from Theorem 2.5 we obtain the following sharpened and generalized version of Aczél-Vasić-Pečarić inequality (3).

Corollary 2.7 Let p0, q<0, and let a i >0, b i >0, a 1 p i = 2 n a i p >0, b 1 q i = 2 n b i q >0 (i=1,2,,n). Then

( a 1 p i = 2 n a i p ) 1 p ( b 1 q i = 2 n b i q ) 1 q 2 min { 1 1 p 1 q , 0 } a 1 b 1 ( 1 n 1 ) min { 1 1 p 1 q , 0 } ( i = 2 n a i b i ) 2 min { 1 1 p 1 q , 0 } min { p 1 , q 1 } a 1 b 1 [ i = 2 n ( a i p a 1 p b i q b 1 q ) ] 2 ,
(18)

and equality holds if and only if ( 2 n 2 ) 1 p a 1 = a 2 == a n and ( 2 n 2 ) 1 p b 1 = b 2 == b n for 1 p + 1 q <1, or a 1 p b 1 q = a 2 p b 2 q == a n p b n q for 1 p + 1 q =1.

In particular, if we set 1 p + 1 q 1, then from Corollary 2.7 we get the sharpened version of Aczél-Vasić-Pečarić inequality (3) as follows.

Corollary 2.8 Let p>0, q<0, 1 p + 1 q 1, and let a i >0, b i >0, a 1 p i = 2 n a i p >0, b 1 q i = 2 n b i q >0 (i=1,2,,n). Then

( 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 ) a 1 b 1 q [ i = 2 n ( a i p a 1 p b i q b 1 q ) ] 2 ,
(19)

and equality holds if and only if a 2 p b 2 q = a 3 p b 3 q == a n p b n q and 1 p + 1 q =1.

3 Application

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

Theorem 3.1 Let p>0, q<0, 1 p + 1 q =1, let A>0, B>0, and let f(x), g(x) be positive Riemann integrable functions on [a,b] such that A p a b f p (x)dx>0 and B q a b g q (x)dx>0. Then

( A p a b f p ( x ) d x ) 1 p ( B q a b g q ( x ) d x ) 1 q A B a b f ( x ) g ( x ) d x A B q [ a b ( f p ( x ) A p g q ( x ) B q ) d x ] 2 .
(20)

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 i = a + b a n i , i = 0 , 1 , , n , Δ x k = b a n , k = 1 , 2 , , n .

Since

A p a b f p (x)dx>0, B q a b g q (x)dx>0,

we have

A p lim n k = 1 n f p ( a + k ( b a ) n ) b a n >0,

and

B q lim n k = 1 n g q ( a + k ( b a ) n ) b a n >0.

Hence, there exists a positive integer N such that

A p k = 1 n f p ( a + k ( b a ) n ) b a n >0,

and

B q k = 1 n g q ( a + k ( b a ) n ) b a n >0for all n>N.

By using Corollary 2.8, we obtain that for any n>N, the following inequality holds:

[ A p k = 1 n f p ( a + k ( b a ) n ) b a n ] 1 p [ B q k = 1 n g q ( a + k ( b a ) n ) b a n ] 1 q A B k = 1 n f p ( a + k ( b a ) n ) g q ( a + k ( b a ) n ) ( b a n ) 1 p + 1 q A B q { k = 1 n [ 1 A p f p ( a + k ( b a ) n ) b a n 1 B q g q ( a + k ( b a ) n ) b a n ] } 2 .
(21)

Since

1 p + 1 q =1,

we have

[ A p k = 1 n f p ( a + k ( b a ) n ) b a n ] 1 p [ B q k = 1 n g q ( a + k ( b a ) n ) b a n ] 1 q A B k = 1 n f p ( a + k ( b a ) n ) g q ( a + k ( b a ) n ) ( b a n ) A B q { k = 1 n [ 1 A p f p ( a + k ( b a ) n ) 1 B q g q ( a + k ( b a ) n ) ] ( b a n ) } 2 .
(22)

In view of the hypotheses that f(x), g(x) are positive Riemann integrable functions on [a,b], we conclude that f(x)g(x), f p (x) and g q (x) are also integrable on [a,b]. Passing the limit as n in both sides of inequality (22), we obtain inequality (20). The proof of Theorem 3.1 is completed. □

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 Russian)

    MathSciNet  Google Scholar 

  2. Popoviciu T: On an inequality. Gaz. Mat. Fiz., Ser. A 1959, 11(64):451–461. (in Romanian)

    MathSciNet  Google Scholar 

  3. Vasić PM, Pečarić JE: On Hölder and some related inequalities. Mathematica 1982, 25: 95–103.

    MATH  Google 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 579567

    Google Scholar 

  5. Tian J: Reversed version of a generalized sharp Hölder’s inequality and its applications. Inform. Sci. 2012, 201: 61–69.

    MathSciNet  Article  MATH  Google Scholar 

  6. Tian J, Hu XM: A new reversed version of a generalized sharp Hölder’s inequality and its applications. Abstr. Appl. Anal. 2013., 2013: Article ID 901824

    Google Scholar 

  7. Tian J, Hu XM: Refinements of generalized Hölder’s inequality. J. Math. Inequal. 2013, 7(4):701–710.

    MathSciNet  Article  MATH  Google Scholar 

  8. Tian JF: Property of a Hölder-type inequality and its application. Math. Inequal. Appl. 2013, 16(3):831–841.

    MathSciNet  MATH  Google Scholar 

  9. Tian JF, Wang S: Refinements of generalized Aczél’s inequality and Bellman’s inequality and their applications. J. Appl. Math. 2013., 2013: Article ID 645263

    Google Scholar 

  10. Wu S: Improvement of Aczél’s inequality and Popoviciu’s inequality. J. Inequal. Appl. 2007., 2007: Article ID 72173 10.1155/2007/72173

    Google Scholar 

  11. Zhou X: Some generalizations of Aczél, Bellman’s inequalities and related power sums. J. Inequal. Appl. 2012., 2012: Article ID 130

    Google Scholar 

  12. Wu S: A further generalization of Aczél’s inequality and Popoviciu’s inequality. Math. Inequal. Appl. 2007, 10(3):565–573.

    MathSciNet  MATH  Google Scholar 

  13. Beckenbach EF, Bellman R: Inequalities. Springer, Berlin; 1983.

    MATH  Google Scholar 

  14. Tian JF: Reversed version of a generalized Aczél’s inequality and its application. J. Inequal. Appl. 2012., 2012: Article ID 202

    Google Scholar 

Download references

Acknowledgements

The author would like to express his sincere thanks to the anonymous referees for making 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. 13ZD19).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jingfeng Tian.

Additional information

Competing interests

The author declares that he has have no competing interests.

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.

Reprints and Permissions

About this article

Cite this article

Tian, J. A sharpened and generalized version of Aczél-Vasić-Pečarić inequality and its application. J Inequal Appl 2013, 497 (2013). https://doi.org/10.1186/1029-242X-2013-497

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2013-497

Keywords

  • Aczél’s inequality
  • Aczél-Vasić-Pečarić inequality
  • Hölder’s inequality