Skip to main content

More results on a functional generalization of the Cauchy-Schwarz inequality

Abstract

By using a specific functional property, some more results on a functional generalization of the Cauchy-Schwarz inequality, such as an extension of the pre-Grüss inequality and a refinement of the Cauchy-Schwarz inequality via the generalized Wagner inequality, are given for both discrete and continuous cases.

MSC:26D15, 26D20.

1 Introduction

It is well known that the discrete version of the Cauchy-Schwarz inequality [1]

( i = 1 n a i b i ) 2 i = 1 n a i 2 i = 1 n b i 2 ( a i , b i R),
(1)

and its integral representation in the space of continuous real-valued functions C([a,b],R), i.e., the Cauchy-Bunyakovsky inequality [1]

( a b f ( x ) g ( x ) d x ) 2 a b f 2 (x)dx a b g 2 (x)dx,
(2)

play an important role in different branches of modern mathematics such as Hilbert space theory, classical real and complex analysis, numerical analysis, probability and statistics, qualitative theory of differential equations and their applications. To date, a large number of generalizations and refinements of the inequalities (1) and (2) have been investigated in the literature, e.g., [27].

Recently in [8], we have presented a functional generalization of the Cauchy-Bunyakovsky-Schwarz inequality for both discrete and continuous cases as follows.

Theorem 1 Let { a i 1 , a i 2 , , a i m } i = 1 n and { b i 1 , b i 2 , , b i k } i = 1 n be real numbers for any m,kN. If F m ( x 1 , x 2 ,, x m ) and G k ( x 1 , x 2 ,, x k ) are two arbitrary functions of m and k variables, then the following inequality holds:

(3)

Moreover, for the integral form of the above inequality, if { f j ( x ) } j = 1 m and { g j ( x ) } j = 1 k are real functions on [α,β], then

(4)

Thus, inequalities (3) and (4) are respectively generalizations of the discrete and continuous Cauchy-Bunyakovsky-Schwarz inequalities for m=k=1, F 1 ( a i 1 )= a i 1 and G 1 ( b i 1 )= b i 1 in (3) and F 1 ( f 1 )= f 1 (x) and G 1 ( g 1 )= g 1 (x) in (4).

Also, the equality holds if in (3) F m ( a i 1 , a i 2 ,, a i m )=r G k ( b i 1 , b i 2 ,, b i k ) where r is constant and F m ( f 1 , f 2 ,, f m )=R G k ( g 1 , g 2 ,, g k ) in (4) where R is constant.

The aim of this paper is to extend the results of the above-mentioned theorem by using a specific functional property.

2 On the generalized Cauchy-Schwarz inequality

Suppose that L is a linear functional applied to the arbitrary function h(x), and then consider the following special function:

H(x;h,λ)=h(x)+λL(h) ( λ R { 0 } ) .
(5)

One of the important properties of H(x;h,λ) is that

L ( H ) = L ( h + λ L ( h ) ) = L ( h ) + λ L ( h ) L ( 1 ) = ( 1 + λ L ( 1 ) ) L ( h ) = K L ( h ) ( K : = 1 + λ L ( 1 ) ) .
(6)

This means that only for once one can take an arbitrary linear functional on both sides of the function (5) and not more because

L ( L ( H ) ) =L ( K L ( h ) ) =KL(h)L(1)= K L(h) ( K : = K L ( h ) ; K : = 1 + λ L ( 1 ) ) .

More generally, the property (6) can be considered for two special functions:

{ H 1 ( x ; h 1 , λ 1 ) = h 1 ( x ) + λ 1 L ( h 1 ) ( λ 1 R { 0 } ) , H 2 ( x ; h 2 , λ 2 ) = h 2 ( x ) + λ 2 L ( h 2 ) ( λ 2 R { 0 } ) ,
(7)

as

L ( H 1 H 2 ) = L ( ( h 1 + λ 1 L ( h 1 ) ) ( h 2 + λ 2 L ( h 2 ) ) ) = L ( h 1 h 2 ) + K L ( h 1 ) L ( h 2 ) ( K : = λ 1 + λ 2 + L ( 1 ) λ 1 λ 2 ) .
(8)

By using the aforesaid functional property, many classical inequalities such as Chebyshev, Stefensen and Aczel inequalities have been generalized in [9]. Here we wish to apply the property (8) to extend the results of Theorem 1. For this purpose, we first express the following lemma.

Lemma 2 Let the linear functional L be defined in such a way that L( h 2 (x))0 for any arbitrary function h(x), and H 1 , H 2 be defined as (7). Then the following inequality holds:

L 2 ( H 1 H 2 )L ( H 1 2 ) L ( H 2 2 ) .
(9)

Proof The proof is straightforward if one defines a positive quadratic polynomial P:RR as

P(t; H 1 , H 2 )=L ( ( H 1 t + H 2 ) 2 ) =L ( H 1 2 ) t 2 +2L( H 1 H 2 )t+L ( H 2 2 ) 0

for any tR, and then notes that the discriminant Δ of P must be negative. □

It is now well known that the linear functional applied in the inequality (3) is L()=() where L(1)=n and L( h 2 )0. So, by noting (7), if we define

{ H 1 , m ( a i 1 , a i 2 , , a i m ) = h 1 , m ( a i 1 , a i 2 , , a i m ) H 1 , m ( a i 1 , a i 2 , , a i m ) = + λ 1 i = 1 n h 1 , m ( a i 1 , a i 2 , , a i m ) ( λ 1 = p / n ) , H 2 , k ( b i 1 , b i 2 , , b i k ) = h 2 , k ( b i 1 , b i 2 , , b i k ) H 2 , k ( b i 1 , b i 2 , , b i k ) = + λ 2 i = 1 n h 2 , k ( b i 1 , b i 2 , , b i k ) ( λ 2 = q / n ) ,

where p,qR, then we obtain

L ( H 1 , m ( a i 1 , a i 2 , , a i m ) ) = i = 1 n ( h 1 , m ( a i 1 , a i 2 , , a i m ) p n i = 1 n h 1 , m ( a i 1 , a i 2 , , a i m ) ) = ( 1 p ) i = 1 n h 1 , m ( a i 1 , a i 2 , , a i m ) , L ( H 1 , m 2 ( a i 1 , a i 2 , , a i m ) ) = i = 1 n h 1 , m 2 ( a i 1 , a i 2 , , a i m ) + p ( p 2 ) n ( i = 1 n h 1 , m ( a i 1 , a i 2 , , a i m ) ) 2 0 ,

and

L ( H 1 , m ( a i 1 , a i 2 , , a i m ) H 2 , k ( b i 1 , b i 2 , , b i k ) ) = i = 1 n h 1 , m ( a i 1 , a i 2 , , a i m ) h 2 , k ( b i 1 , b i 2 , , b i k ) + p q ( p + q ) n i = 1 n h 1 , m ( a i 1 , a i 2 , , a i m ) i = 1 n h 2 , k ( b i 1 , b i 2 , , b i k ) .

Hence, substituting these relations in the inequality (9) eventually yields

(10)

in which { a i 1 , a i 2 , , a i m } i = 1 n and { b i 1 , b i 2 , , b i k } i = 1 n are two sequences of real numbers, m,kN and h 1 , m ( x 1 , x 2 ,, x m ) and h 2 , k ( y 1 , y 2 ,, y k ) are two arbitrary functions of m and k variables. Moreover, the equality holds if in (10) p=q and h 1 , m ( a i 1 , a i 2 ,, a i m )= r h 2 , k ( b i 1 , b i 2 ,, b i k ) for the constant r .

Similarly, for the continuous case, the corresponding linear functional applied in (4) is L()= α β ()dx, where L(1)=βα and again L( h 2 )0. So, if one sets

{ H 1 , m ( f 1 , f 2 , , f m ) = h 1 , m ( f 1 , f 2 , , f m ) p β α α β h 1 , m ( f 1 , f 2 , , f m ) d x , H 2 , k ( g 1 , g 2 , , g k ) = B k ( g 1 , g 2 , , g k ) q β α α β h 2 , k ( g 1 , g 2 , , g k ) d x ,

in which p,qR and { f j ( x ) } j = 1 m and { g j ( x ) } j = 1 k are real functions on [α,β], then by using the inequality (9), one finally obtains

(11)

The equality holds in (11) if p=q and h 1 , m ( f 1 , f 2 ,, f m )= R h 2 , k ( g 1 , g 2 ,, g k ) for the constant R .

In this section we study two special cases of inequalities (10) and (11) which are remarkable.

Example 3 (An extension of the pre-Grüss inequality)

Before deriving the main result, let us recall some initial comments.

The space of p-power integrable functions on the interval [a,b] is shown by L p [a,b] (1p<) with the norm

f p = ( a b | f ( t ) | p d t ) 1 / p ,

and the space of all essentially bounded functions on [a,b] is denoted by L [a,b] with the norm

f =ess sup x [ a , b ] | f ( x ) | .

On the space L 2 [a,b], the inner product of Chebyshev type is defined by

f,g= 1 b a a b f(x)g(x)dx,

while the standard inner product is in the form

(f,g)=(ba)f,g.

For two absolutely continuous functions f,g:[a,b]R such that f,g,fg L 1 [a,b], the Chebyshev functional is defined by

Tf,g=f,gf,11,g= 1 b a a b f(x)g(x)dx 1 ( b a ) 2 a b f(x)dx a b g(x)dx.

In 1882, Chebyshev [10] proved that if f , g L [a,b], then

| T f , g | 1 12 ( b a ) 2 f g .

Later on, Grüss [11] in 1934 showed that

| T f , g | 1 4 ( M 1 m 1 )( M 2 m 2 ),

where m 1 , m 2 , M 1 and M 2 are real numbers satisfying the conditions

m 1 f(x) M 1 and m 2 g(x) M 2 for all x[a,b].

A remarkable point on the Chebyshev functional is that it can be represented in terms of the relation (8) as

f,gf,11,g= f f , 1 , g 1 , g =L ( H 1 ( x ; f , 1 ) H 2 ( x ; g , 1 ) ) ,

where

H 1 (x;f,1)=f(x) 1 b a a b f(t)dt, H 2 (x;g,1)=g(x) 1 b a a b g(t)dt,

and

L(h)=1,h= 1 b a a b h(x)dx.

Thus, substituting the above functions into the inequality (9) generates the well-known pre-Grüss inequality [[1], p.296] as

( T f , g ) 2 Tf,fTg,g 1 16 ( M 1 m 1 ) 2 ( M 2 m 2 ) 2 .
(12)

On the other hand, the inequality (12) can be extended via the inequality (11). For this purpose, if the following generalized Chebyshev functional is defined as

T λ f,g=f,gλf,11,g(λR),

then, firstly, the aforesaid point is also valid for T λ f,g when λ1 so that we have

f , g λ f , 1 1 , g = f ( 1 ± 1 λ ) f , 1 , g ( 1 ± 1 λ ) 1 , g = 1 b a a b ( f ( x ) ( 1 ± 1 λ ) b a a b f ( t ) d t ) × ( g ( x ) ( 1 ± 1 λ ) b a a b g ( t ) d t ) d x .

Secondly, substituting m=k=1 and h 1 , 1 (x)= h 2 , 1 (x)=x in the inequality (11) yields

( T p + q p q f , g ) 2 T p ( 2 p ) f,f T q ( 2 q ) g,g(p,qR).
(13)

For p=q=1 the above inequality gives the same result as the pre-Grüss inequality (12) while for p=q=0 (or p=q=2) the Cauchy-Schwarz inequality is obtained. Also, for p=q and p(2p)=w, the Wagner inequality [7] is derived. An interesting case of the inequality (13) is when T p + q p q f,g=f,g (i.e., 1/p+1/q=1), which reveals its importance in numerical integration formulas.

Moreover, since p,qR, we can find the optimal parameters for the inequality (13). For this purpose, we consider two (positive) functions as follows:

F 1 (p)= T q ( 2 q ) g,g T p ( 2 p ) f,f ( T p + q p q f , g ) 2 ,
(14)

and

F 2 (q)= T p ( 2 p ) f,f T q ( 2 q ) g,g ( T p + q p q f , g ) 2 .
(15)

The problem is now how to minimize F 1 (p) or F 2 (q). Since the final forms of both functions (14) and (15) are quadratic, i.e., as

F 1 (p)= A 1 2 (q) p 2 + B 1 (q)p+ C 1 (q)(q constant),

and

F 2 (q)= A 2 2 (p) q 2 + B 2 (p)q+ C 2 (p)(p constant),

to minimize, e.g., F 1 (p), after some computations, we finally get

F 1 (p)=0p= ( b a ) T q g , g a b f ( t ) d t + ( q 1 ) a b f ( t ) g ( t ) d t a b g ( t ) d t ( b a ) T 1 g , g a b f ( t ) d t ,
(16)

where qR. In particular, replacing q=1 in (16) gives the same as the pre-Grüss inequality.

Example 4 (A refinement of the Cauchy-Schwarz inequality via the generalized Wagner inequality)

The following inequality for two sequences of real numbers { a i } i = 1 n and { b i } i = 1 n and a real parameter α0 is known in the literature as the Wagner inequality [[1], p.85]

( i = 1 n a i b i + α i = 1 n a i i = 1 n b i ) 2 ( i = 1 n a i 2 + α ( i = 1 n a i ) 2 ) ( i = 1 n b i 2 + α ( i = 1 n b i ) 2 ) .
(17)

This inequality is generalized in [[8], Re. 16] as follows:

(18)

Clearly, for p=q{R(0,2)} and p(p2)/n=α in (18), the inequality (17) is derived. Moreover, (18) is also a special case of the inequality (10).

Now, in order to obtain a refinement for the Cauchy-Schwarz inequality, we first assume in (18) that pq=p+q. This yields q(q2)=p(p2)/ ( p 1 ) 2 , and therefore we wish to have

( i = 1 n a i b i ) 2 ( i = 1 n a i 2 + p ( p 2 ) n ( i = 1 n a i ) 2 ) ( i = 1 n b i 2 p ( p 2 ) n ( p 1 ) 2 ( i = 1 n b i ) 2 ) i = 1 n a i 2 i = 1 n b i 2 ,
(19)

which is equivalent to

p ( p 2 ) n ( p 1 ) 2 i = 1 n a i 2 ( i = 1 n b i ) 2 + p ( p 2 ) n i = 1 n b i 2 ( i = 1 n a i ) 2 p 2 ( p 2 ) 2 n 2 ( p 1 ) 2 ( i = 1 n a i ) 2 ( i = 1 n b i ) 2 0 .

After some initial computations, the left-hand side of the above inequality is decomposable in terms of the variable p in the form

λ 2 p(p2)(p1+ S )(p1 S )0,
(20)

in which

λ 2 = 1 n 2 ( p 1 ) 2 ( i = 1 n a i ) 2 ( n i = 1 n b i 2 ( i = 1 n b i ) 2 ) 0,

and

S= ( i = 1 n b i ) 2 ( n i = 1 n a i 2 ( i = 1 n a i ) 2 ) ( i = 1 n a i ) 2 ( n i = 1 n b i 2 ( i = 1 n b i ) 2 ) 0.
(21)

Hence, by noting that p{R(0,2)}, then p(p2)0 and the eligible region of the solution for the inequality (20) is p{R(0,2)}[1 S ,1+ S ]. For instance, if

i = 1 n a i 2 ( i = 1 n a i ) 2 i = 1 n b i 2 ( i = 1 n b i ) 2 ,
(22)

in (19) then it is directly concluded that S1 in (21) and conversely. Therefore, the solution of (20) would be either p[2,1+ S ] or p[1 S ,0]. This means that the refinement (19) is valid for any p[2,1+ S ] or p[1 S ,0] provided that the condition (22) holds.

Similarly, the latter result holds for the continuous case and we have

Corollary 5 If f,gC([a,b],R), then the following refinement for the Cauchy-Bunyakovsky inequality holds:

( a b f ( x ) g ( x ) d x ) 2 ( a b f 2 ( x ) d x + p ( p 2 ) b a ( a b f ( x ) d x ) 2 ) × ( a b g 2 ( x ) d x p ( p 2 ) ( b a ) ( p 1 ) 2 ( a b g ( x ) d x ) 2 ) a b f 2 ( x ) d x a b g 2 ( x ) d x ,

provided that p{R(0,2)}[1 S ,1+ S ] where

S = ( a b g ( x ) d x ) 2 ( ( b a ) a b f 2 ( x ) d x ( a b f ( x ) d x ) 2 ) ( a b f ( x ) d x ) 2 ( ( b a ) a b g 2 ( x ) d x ( a b g ( x ) d x ) 2 ) 0.

References

  1. Mitrinovic DS, Pecaric JE, Fink AM: Classical and New Inequalities in Analysis. Kluwer Academic, Dordrecht; 1993.

    Book  Google Scholar 

  2. Callebaut DK: Generalization of the Cauchy-Schwarz inequality. J. Math. Anal. Appl. 1965, 12: 491–494. 10.1016/0022-247X(65)90016-8

    Article  MathSciNet  Google Scholar 

  3. Dragomir SS: A survey on Cauchy-Bunyakovsky-Schwarz type discrete inequalities. J. Inequal. Pure Appl. Math. 2003., 4(3): Article ID 63

    Google Scholar 

  4. Dragomir SS, Cho YJ, Pearce CEM, Kim SS: Cauchy-Schwarz functionals. Bull. Aust. Math. Soc. 2000, 62: 479–491. 10.1017/S0004972700019006

    Article  MathSciNet  Google Scholar 

  5. Dragomir SS, Cho YJ, Kim SS: Some new results related to Bessel and Grüss inequalities in 2-inner product spaces and applications. Bull. Korean Math. Soc. 2005, 42: 591–608.

    Article  MathSciNet  Google Scholar 

  6. Masjed-Jamei M, Dragomir SS, Srivastava HM: Some generalizations of the Cauchy-Schwarz and the Cauchy-Bunyakovsky inequalities involving four free parameters and their applications. Math. Comput. Model. 2009, 49: 1960–1968. 10.1016/j.mcm.2008.09.014

    Article  MathSciNet  Google Scholar 

  7. Wagner SS: Not. Am. Math. Soc.. 1965, 12: 220.

    Google Scholar 

  8. Masjed-Jamei M: A functional generalization of the Cauchy-Schwarz inequality and some subclasses. Appl. Math. Lett. 2009, 22: 1335–1339. 10.1016/j.aml.2009.03.001

    Article  MathSciNet  Google Scholar 

  9. Masjed-Jamei M, Qi F, Srivastava HM: Generalizations of some classical inequalities via a special functional property. Integral Transforms Spec. Funct. 2010, 21: 327–336. 10.1080/10652460903259915

    Article  MathSciNet  Google Scholar 

  10. Chebyshev PL: Sur les expressions approximative des integrals par les auters prises entre les mêmes limites. Proc. Math. Soc. Charkov 1882, 2: 93–98.

    Google Scholar 

  11. Grüss G:Uber das Maximum des absoluten Betrages von 1 b a a b f(x)g(x)dx 1 ( b a ) 2 a b f(x)dx a b g(x)dx. Math. Z. 1935, 39: 215–226. 10.1007/BF01201355

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The work of the first author is supported by the grant from ‘Iran National Science Foundation’ No. 91002576. The second author gratefully acknowledges the support from the Deanship of Scientific Research (DSR) at King Abdulaziz University during this research.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Nawab Hussain.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

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

Masjed-Jamei, M., Hussain, N. More results on a functional generalization of the Cauchy-Schwarz inequality. J Inequal Appl 2012, 239 (2012). https://doi.org/10.1186/1029-242X-2012-239

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2012-239

Keywords