Open Access

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

Journal of Inequalities and Applications20122012:239

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

Received: 17 July 2012

Accepted: 1 October 2012

Published: 17 October 2012

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.

Keywords

functional generalization of the Cauchy-Bunyakovsky-Schwarz inequalityChebyshev functionalextension of the pre-Grüss inequalitygeneralized Wagner inequalityrefinement of the Cauchy-Schwarz inequality

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 ) d x a b g 2 ( x ) d x ,
(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 , k N . 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 ) ) = K L ( 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 : R R as
P ( t ; H 1 , H 2 ) = L ( ( H 1 t + H 2 ) 2 ) = L ( H 1 2 ) t 2 + 2 L ( H 1 H 2 ) t + L ( H 2 2 ) 0

for any t R , 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 , q R , 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 , k N 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 ( ) = α β ( ) d x , 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 , q R 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 ] ( 1 p < ) 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 ) d x ,
while the standard inner product is in the form
( f , g ) = ( b a ) f , g .
For two absolutely continuous functions f , g : [ a , b ] R such that f , g , f g L 1 [ a , b ] , the Chebyshev functional is defined by
T f , g = f , g f , 1 1 , g = 1 b a a b f ( x ) g ( x ) d x 1 ( b a ) 2 a b f ( x ) d x a b g ( x ) d x .
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 , g f , 1 1 , 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 ) d t , H 2 ( x ; g , 1 ) = g ( x ) 1 b a a b g ( t ) d t ,
and
L ( h ) = 1 , h = 1 b a a b h ( x ) d x .
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 T f , f T g , 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 , 1 1 , 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 , q R ) .
(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 ( 2 p ) = 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 , q R , 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 ) = 0 p = ( 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 q R . 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 ( p 2 ) / 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 p q = p + q . This yields q ( q 2 ) = p ( p 2 ) / ( 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 ( p 2 ) ( p 1 + S ) ( p 1 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 ( p 2 ) 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 S 1 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 , g C ( [ 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 .

Declarations

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.

Authors’ Affiliations

(1)
Department of Mathematics, K.N. Toosi University of Technology, Tehran, Iran
(2)
Department of Mathematics, King Abdulaziz University, Jeddah, Saudi Arabia

References

  1. Mitrinovic DS, Pecaric JE, Fink AM: Classical and New Inequalities in Analysis. Kluwer Academic, Dordrecht; 1993.View ArticleGoogle Scholar
  2. Callebaut DK: Generalization of the Cauchy-Schwarz inequality. J. Math. Anal. Appl. 1965, 12: 491–494. 10.1016/0022-247X(65)90016-8MathSciNetView ArticleGoogle Scholar
  3. Dragomir SS: A survey on Cauchy-Bunyakovsky-Schwarz type discrete inequalities. J. Inequal. Pure Appl. Math. 2003., 4(3): Article ID 63Google Scholar
  4. Dragomir SS, Cho YJ, Pearce CEM, Kim SS: Cauchy-Schwarz functionals. Bull. Aust. Math. Soc. 2000, 62: 479–491. 10.1017/S0004972700019006MathSciNetView ArticleGoogle 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.MathSciNetView ArticleGoogle 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.014MathSciNetView ArticleGoogle 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.001MathSciNetView ArticleGoogle 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/10652460903259915MathSciNetView ArticleGoogle 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 ) d x 1 ( b a ) 2 a b f ( x ) d x a b g ( x ) d x . Math. Z. 1935, 39: 215–226. 10.1007/BF01201355MathSciNetView ArticleGoogle Scholar

Copyright

© Masjed-Jamei and Hussain; 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.