Académique Documents
Professionnel Documents
Culture Documents
Contents
Preface
1
1
2
8
15
27
Bibliography
35
37
37
38
46
51
58
65
74
88
Bibliography
105
107
107
108
112
116
121
122
129
135
142
145
Bibliography
149
iii
iv
CONTENTS
151
151
152
160
172
178
186
Bibliography
195
197
197
198
213
Bibliography
223
225
225
239
259
Bibliography
273
Index
275
Preface
The purpose of this book, that can be seen as a continuation of the
previous one entitled Advances on Inequalities of the Schwarz, Gr
uss
and Bessel Type in Inner Product Spaces (Nova Science Publishers,
NY, 2005), is to give a comprehensive introduction to other classes of
inequalities in Inner Product Spaces that have important applications
in various topics of Contemporary Mathematics such as: Linear Operators Theory, Partial Differential Equations, Nonlinear Analysis, Approximation Theory, Optimization Theory, Numerical Analysis, Probability Theory, Statistics and other fields.
The monograph is intended for use by both researchers in various
fields of Mathematical Inequalities, domains which have grown exponentially in the last decade, as well as by postgraduate students and
scientists applying inequalities in their specific areas.
The aim of Chapter 1 is to present some fundamental analytic properties concerning Hermitian forms defined on real or complex linear
spaces. The basic inequalities as well as various properties of superadditivity and monotonicity for the diverse functionals that can be naturally associated with the quantities involved in the Schwarz inequality
are given. Applications for orthonormal families, Gram determinants,
linear operators defined on Hilbert spaces and sequences of vectors are
also pointed out.
In Chapter 2, classical and recent refinements and reverse inequalities for the Schwarz and the triangle inequalities are presented. Further on, the inequalities obtained by Buzano, Richards, Precupanu
and Moore and their extensions and generalizations for orthonormal
families of vectors in both real and complex inner product spaces are
outlined. Recent results concerning the classical refinement of Schwarz
inequality due to Kurepa for the complexification of real inner product
spaces are also reviewed. Various applications for integral inequalities
including a version of Heisenberg inequality for vector valued functions
in Hilbert spaces are provided as well.
The aim of Chapter 3 is to survey various recent reverses for the
generalised triangle inequality in both its simple form, that are closely
v
vi
PREFACE
CHAPTER 1
y ax X0 := X0 X (x) .
Proof. We follow the argument in [5].
If (e, e) 6= 0, then the element
x := y
(y, e)
e
(e, e)
has the property that (x, e) = 0, i.e., x X (e) . This proves that X is
a sum of the subspaces L (e) and X (s) . The fact that the sum is direct
is obvious.
Suppose that (e, e) 6= 0 and that (, ) is positive semi-definite on
X. Then for each y X we have y = ae + z with a K and z X (e) ,
from where we get
|(e, y)|2 (e, e) (y, y) = (e, e) (z, z) .
(1.4)
From (1.4) we get the inequality (1.3), with x = e, in the case that
(e, e) > 0 and (1.2) in the case that (e, e) < 0. In addition to this, from
(1.4) we observe that the case of equality holds in (1.2) or in (1.3) if
(e)
and only if (z, z) = 0, i.e., if and only if y ae X0 .
Conversely, if (1.3) holds for all x, y X, then (x, x) has the same
sign over the whole of X, i.e., (, ) is semi-definite on X. In the same
manner, from (1.2), for y X (e) , we get (e, e) (y, y) 0, which implies
(y, y) 0, i.e., (, ) is positive semi-definite on X (e) .
Now, suppose that (, ) is positive semi-definite on X (e) for at least
one e K. Let us prove that (, ) is positive semi-definite on X (f ) for
each f K.
For a given f K, consider the vector
(e, f )
(1.5)
e0 := e
f.
(f, f )
Now,
(e, e) (f, f ) |(e, f )|2
,
(e , e ) = (e , e) =
(f, f )
and together with
0
(e0 , f ) = 0
for any y X
imply (e0 , e0 ) 0.
There are two cases to be considered: (e0 , e0 ) > 0 and (e0 , e0 ) = 0.
If (e0 , e0 ) > 0, then for any x X (f ) , the vector
x0 := x ae0
with a =
(x, e0 )
(e0 , e0 )
(x0 , f ) = 0
which implies
x0 X (e)
and
x, y X
(e)
(1.8) (x, y) =
f = b (e e0 )
with b =
(f, f )
.
(e, f )
Now write
(e)
X (e) = X0
(e)
(e)
X+ ,
(e)
(e0 , y)
y.
(y, y)
(e)
(e, f )
(f, y) ,
(f, f )
(e)
(e)
From X0 X (f ) and
X+ X (f ) we get X (e) X (f ) . Since
L
e
/ X (f ) and X = L (e) X (e) , we deduce X (e) = X (f ) and then (, )
is positive semi-definite on X (f ) .
The theorem is completely proved.
In the case of complex linear spaces we may state the following
result as well [5]:
Theorem 2 (Kurepa, 1968). Let X be a complex linear space and
(, ) a hermitian functional on X.
(1) The functional (, ) is semi-definite on X if and only if there
exists at least one vector e X with (e, e) 6= 0 such that
(1.9)
for all y X;
(2) There is no nonzero Hermitian functional (, ) such that the
inequality
(1.10)
(e, e) 6= 0,
(x, x)
,
(e, e)
then (1.11) leads to [Re (e, y)]2 < (e, e) (y, y), contradicting (1.10).
Hence, if a Hermitian functional (, ) is not semi-definite and if
(e, e) 6= 0, then the function y 7 [Re (e, y)]2 (e, e) (y, y) takes
both positive and negative values.
The theorem is completely proved.
and
Im z := {0, y} .
(e, e) < 0
x, y X
y = y 1 u1 + y 2 u2 ,
and
1 = D (u1 , u1 ) , 2 = D (u2 , u2 ) .
Since for the functional D we have the relations (1.15) and (1.14), we
conclude that D is not a semi-definite functional on Y. Hence 1 2 < 0,
so we can take 1 < 0 and 2 > 0.
Set
X + := {x| (x, e) = (x, f ) = 0, x X} .
Obviously, (x, e) = (x, f ) = 0 if and only if (x1 u1 ) = (x2 u2 ) = 0.
Now, if y X, then the vector
(1.16)
x := y
(y, u1 )
(y, u2 )
u1
u2
(u1 , u1 )
(u2 , u2 )
or
for any x, y X.
Now, let us observe that H (X) is a convex cone in the linear space
of all mappings defined on X 2 with values in K, i.e.,
(e) (, )1 , (, )2 H (X) implies that (, )1 + (, )2 H (X) ;
(ee) 0 and (, ) H (X) implies that (, ) H (X) .
We can introduce on H (X) the following binary relation [1]:
(1.18) (, )2 (, )1
if and only if
kxk2 kxk1
for all x X.
(x, y)k
1
:=
kx + yk2k kx yk2k + i kx + iyk2k kx iyk2k
4
with x, y X and k {1, 2}, that (x, y)2 = (x, y)1 for all x, y X.
((, )1 + (, )2 ; x, y)
((, )1 ; x, y) + ((, )2 ; x, y)
( 0)
((, )2 ; x, y) ((, )1 ; x, y)
( 0)
10
kx + yk kxk + kyk
for any x, y X
((, ) ; x, y) = 2 r ((, ) ; x, y)
11
( 0) ;
((, )1 + (, )2 ; x, y)
= kxk22 kxk21 kyk22 kyk21 |(x, y)2 + (x, y)1 |2
kxk22 kyk22 + kxk21 kyk21 + kxk21 kyk22 + kxk22 kyk21
(|(x, y)2 | + |(x, y)1 |)2
= ((, )2 ; x, y) + ((, )1 ; x, y)
+ kxk21 kyk22 + kxk22 kyk21 2 |(x, y)2 (x, y)1 | .
12
12
It is obvious that ((, ) ; x, y) = [ ((, ) ; x, y)] 2 and thus it is monotonic nondecreasing on H (X) . Before we prove that (; x, y) is also
superadditive, which apparently does not follow from the properties of
pointed out in the subsection above, we need the following simple
lemma:
Lemma 1. If (, ) is a nonnegative Hermitian form on X, x, y X
and kyk =
6 0, then
(1.29)
13
|(x,
y)|
+
(1.30)
kx yk2 =
,
kyk2
for any x, y X with kyk =
6 0.
Taking the infimum over K in (1.30), we deduce the desired
result (1.29).
For the subclass J P (X) , of all inner products defined on X, of
H (X) and y 6= 0, we may define
kxk2 kyk2 |(x, y)|2
kyk2
((, ) ; x, y)
=
.
kyk2
((, ) ; x, y) =
((, )1 + (, )2 ; x, y)
kxk21 + kxk22 kyk21 + kyk22 |(x, y)1 + (x, y)2 |2
=
kyk21 kyk22
= inf kx yk21 + kx yk22 ,
K
14
Also,
(1.32)
((, )i ; x, y) =
= inf kx yk2i ,
K
i = 1, 2.
15
Proof. Utilising the identities (1.31) and (1.32) and taking into
account that (; x, y) is superadditive, we can state that
(1.36) ((, )1 + (, )2 ; x, y)
kyk21 + kyk22
kyk21 + kyk22
((, )1 ; x, y) +
((, )2 ; x, y)
kyk21
kyk22
= ((, )1 ; x, y) + ((, )2 ; x, y)
2
2
kyk2
kyk1
+
((, )1 ; x, y) +
((, )2 ; x, y)
kyk1
kyk2
and a similar inequality with x instead of y. These show that the desired
inequality (1.35) holds true.
Remark 3. Obviously, all the inequalities above remain true if
(, )i , i = 1, 2 are nonnegative Hermitian forms for which we have
kxki , kyki 6= 0.
Finally, we may state and prove the superadditivity result for the
mapping (see [2]):
Theorem 7 (Dragomir-Mond, 1996). The mapping defined by
(1.28) is superadditive on H (X) .
Proof. Without loss of generality, if (, )i H (X) and x, y X,
we may assume, for instance, that kyki 6= 0, i = 1, 2.
If so, then
2
2
kyk1
kyk2
((, )1 ; x, y) +
((, )2 ; x, y)
kyk1
kyk2
1
16
is a Hermitian form on H.
It is obvious that if F1 , F2 F (I) \ {} and F1 F2 = , then
(, )F1 F2 = (, )F1 + (, )F2 .
We can define the functional : F (I) H 2 R+ by
(1.39)
where
! 12
kxkF :=
|hx, ei i|2
= [(x, x)F ] 2 ,
x H.
iF
( 0)
( 0) ,
17
! 12
|hx, ei i|
|hy, ei i|
iF
iF
X
hx, ei i hei , yi
iF
and
(1.41)
kxk
X
iF
|hx, ei i|
! 12
2
kyk
|hy, ei i|
iF
X
hx, yi
hx, ei i hei , yi
iF
( 0) ,
18
#!2
kykF1
kyk2F2 kyk2F1
( 0) ,
12
X
iF
2
X
X
2
2
|hx, ei i|
|hy, ei i|
hx, ei i hei , yi
iF
( 0)
iF
and
(1.45) kxk2 kyk2 |hx, yi|2
!
kxk2
|hx, ei i|2
!
kyk2
iF
|hy, ei i|2
iF
2
X
hx, ei i hei , yi
hx, yi
( 0) ,
iF
for any x, y H.
On utilising Corollary 2 we may state the following different superadditivity property for the mapping (; x, y) .
19
2
X
X
X
2
2
|hx, ei i|
|hy, ei i|
hx, ei i hei , yi
iF
iF
iF
2
X
X
X
|hx, ei i|2
|hy, ei i|2
hx, ei i hei , yi ,
iF
iF
iF
20
hx, ei i hei , yi .
iF
By Bessels inequality, we observe that (, )C,F is a nonnegative hermitian form and, obviously
(, )I + (, )C,F = h, i .
Utilising the superadditivity properties from Section 1.3, one may state
the following refinement of the Schwarz inequality:
(1.49) kxk kyk |hx, yi|
! 21
X
|hx, ei i|2
|hy, ei i|2
iF
iF
! 12
+
kxk2
|hx, ei i|2
X
hx, ei i hei , yi
iF
! 12
X
kyk2
|hy, ei i|2
iF
iF
X
hx, yi
hx, ei i hei , yi
( 0) ,
iF
|hx, ei i|2
|hy, ei i|2
hx, ei i hei , yi
iF
iF
iF
!
!
X
X
+ kxk2
|hx, ei i|2
kyk2
|hy, ei i|2
X
iF
iF
2
X
hx, yi
hx, ei i hei , yi
iF
( 0)
21
and
(1.51)
1
kxk2 kyk2 |hx, yi|2 2
2 12
X
X
X
|hx, ei i|2
|hy, ei i|2
hx, ei i hei , yi
iF
iF
iF
!
!
"
X
X
+
kxk2
|hx, ei i|2
kyk2
|hy, ei i|2
iF
iF
2 12
X
hx, yi
hx, ei i hei , yi
( 0) ,
iF
hxn , x1 i hxn , x2 i hxn , xn i
The determinant
(x1 , . . . , xn ) := det G (x1 , . . . , xn )
is called the Gram determinant associated to the system {x1 , . . . , xn } .
If {x1 , . . . , xn } does not contain the null vector 0, then [4]
(1.52)
22
hx, yi hx, x1 i
hx, xn i
hx1 , yi
.
:= det
G (x1 , . . . , xn )
hxn , yi
n
Y
kxi k2 p (x, y)
i=1
= (x, y)
n
Y
i=1
23
"
kyk
n
Y
#
2
kxi k (y, x1 , . . . , xn )
i=1
2
n
Y
hx, yi
kxi k2 (x1 , . . . , xn ) (x, y) ,
i=1
for each x, y H.
Observing that, for a given set of nonzero vectors {x1 , . . . , xn } ,
n
Y
p (x, y) + q (x, y) = (x, y)
kxi k2 ,
i=1
for any x, y H, then, on making use of the superadditivity properties of the various functionals defined in Section 1.3, we can state the
following refinements of the Schwarz inequality in inner product spaces:
(1.55) [kxk kyk |hx, yi|]
n
Y
kxi k2
i=1
1
"
kyk
n
Y
2
# 12
kxi k2 (y, x1 , . . . , xn )
i=1
n
Y
2
hx, yi
kxi k (x1 , . . . , xn ) (x, y)
( 0) ,
i=1
n
Y
2
2
2
(1.56) kxk kyk |hx, yi|
kxi k4
i=1
24
"
kyk
n
Y
#
2
kxi k (y, x1 , . . . , xn )
i=1
2
n
Y
hx, yi
kxi k2 (x1 , . . . , xn ) (x, y)
( 0) ,
i=1
and
(1.57)
1
2
n
Y
kxi k2
i=1
1
(x, x1 , . . . , xn ) (y, x1 , . . . , xn ) | (x1 , . . . , xn ) (x, y)|2 2
("
#
n
Y
+
kxk2
kxi k2 (x, x1 , . . . , xn )
"
kyk2
i=1
n
Y
kxi k2 (y, x1 , . . . , xn )
i=1
2 21
n
Y
hx, yi
kxi k2 (x1 , . . . , xn ) (x, y)
( 0) .
i=1
( 0) ,
(1.59) kAk4 kxk2 kyk2 |hx, yi|2
kAxk2 kAyk2 |hAx, Ayi|2
( 0)
25
kBxk m kxk
for any x H,
where m > 0 is given, then the hermitian forms [x, y]2 := hBx, Byi ,
[x, y]1 := m2 hx, yi , have the property that [, ]2 [, ]1 . Therefore,
from the monotonicity results established in Section 1.3, we can state
that
(1.62) kBxk kByk |hBx, Byi| m2 [kxk kyk |hx, yi|]
(1.63)
( 0) ,
( 0)
|hx,
yi|
kxk2 kyk2
for x, y 6= 0, which is an improvement of (1.63).
We recall that a linear self-adjoint operator P : H H is nonnegative if hP x, xi 0 for any x H. P is called positive if hP x, xi = 0
and positive definite with the constant > 0 if hP x, xi kxk2 for
any x H.
If A, B : H H are two linear self-adjoint operators such that
A B (this means that A B is nonnegative), then the corresponding
hermitian forms (x, y)A := hAx, yi and (x, y)B := hBx, yi satisfies the
property that (, )A (, )B .
If by P (H) we denote the cone of all linear self-adjoint and nonnegative operators defined in the Hilbert space H, then, on utilising
26
( 0)
( 0)
( 0) ,
( 0) ,
and
(1.67)
1
hU x, xi hU y, yi |hU x, yi|2 2
1
+ h(I U ) x, xi h(I U ) y, yi |h(I U ) x, yi|2 2
( 0)
kxk2 kyk2 |hx, yi|2
12
for any x, y H.
Note that (1.67) is a better result than (1.66).
Finally, if we assume that D P (H) with D I, where >
0, i.e., D is positive definite on H, then we may state the following
inequalities
1
( 0) ,
( 0) ,
27
( 0)
X
iI
pi kxi k
X
2
pi kyi k2
iI
X
pi hxi , yi i ,
iI
28
( 0) ,
(1.74)
( 0) ,
iI
iI
kxi k2 sin2 i
kyi k2 sin2 i
i=1
i=1
i=1
! 12
n
n
X
X
+
kxi k2 cos2 i
kyi k2 cos2 i
n
X
n
X
i=1
i=1
n
X
hxi , yi i cos2 i 0.
i=1
29
n
X
kxi k
kyi k
hxi , yi i
(1.77)
i=1
i=1
i=1
! 21 n
n
n
X
X
X
2
2
pi hxi , yi i 0.
= sup
pi kxi k
pi kyi k
pSn (1)
n
X
n
X
i=1
i=1
i=1
2n
X
(1.78)
pi kxi k
pi kyi k
pi hxi , yi i
i=1
i=1
i=1
! 12 n
n
n
X
X
X
p2k kx2k k2
p2k ky2k k2
p2k hx2k , y2k i
k=1
k=1
k=1
! 12
n
n
X
X
+
p2k1 kx2k1 k2
p2k1 ky2k1 k2
2n
X
2n
X
k=1
k=1
n
X
p2k1 hx2k1 , y2k1 i
( 0) .
k=1
n
X
(1.79)
pi hxi , yi i
i=1
i=1
i=1
"
# 12
X
X
X
=
sup
pi kxi k2
pi kyi k2
pi hxi , yi i 0.
6=I{1,...,n}
"
n
X
n
X
2
pi kxi k
pi kyi k2
iI
iI
iI
n
X
i=1
pi kxi k
n
X
2
! 12
pi kyi k2
i=1
n
X
pi hxi , yi i
i=1
is nondecreasing, i.e.,
(1.80)
Sk+1 Sk ,
k2
30
iI
iI
21
12
P
P
2
2
pi kxi k
pi kyi k
iI
det iI
12
21
P
P
2
2
qi kyi k
qi kxi k
0.
iI
iI
(ii) If p q 0, then
(1.83) (p, I, x, y) (q, I, x, y)
21
12
P
P
2
2
pi kyi k
pi kxi k
iI
det iI
12
21
P
P
2
2
(pi qi ) kyi k
(pi qi ) kxi k
iI
iI
0.
31
21
12
P
P
2
2
pi kxi k
pi kyi k
iI
det iI
12
12
P
P
2
2
pi kxi k
pi kyi k
iJ
0.
iJ
12
12
P
P
2
2
pi kxi k
pi kyi k
iI
iI
! 21
! 12
det
P
P
2
2
pi kxi k
pi kyi k
iI\J
0.
iI\J
kxi k2 sin2 i
kyi k2 sin2 i
hxi , yi i sin2 i
iI
iI
iI
X
X
+
kxi k2 cos2 i
kyi k2 cos2 i
iI
iI
2
X
hxi , yi i cos2 i
iI
21
12
P
P
2
2
2
2
kxi k sin i
kyi k sin i
iI
iI
det
12
12
P
P
2
2
2
2
kyi k cos i
kxi k cos i
iI
iI
0,
where xi , yi H, i R, i I and I Pf (N) \ {} .
32
p2k kx2k k
p2k ky2k k
p2k hx2k , y2k i
2n
X
k=1
k=1
n
X
p2k1 kx2k1 k2
k=1
k=1
n
X
p2k1 ky2k1 k2
k=1
2
n
X
p2k1 hx2k1 , y2k1 i
k=1
21
n
12
n
P
P
2
2
p2k kx2k k
p2k ky2k k
k=1
k=1
det
12 n
12
n
P
P
2
2
p2k1 kx2k1 k
p2k1 ky2k1 k
k=1
k=1
0.
Remark 6. The above results (1.82) (1.87) have been obtained
for the case where x and y are real or complex numbers by Dragomir
and Mond [1].
Further, if we use Corollaries 2 and 1, then we can state the following propositions as well.
Proposition 13. We have
(i) For any p, q S+ (R) , I Pf (N) \ {} and x, y S (H) \ {0}
we have
(1.88) (p + q, I, x, y) (p, I, x, y) (q, I, x, y)
(P
P
2
2
iI pi kxi k
iI qi kxi k
max P
(q,
I,
x,
y)
+
P
2
2 (p, I, x, y) ,
iI qi kxi k
iI pi kxi k
)
P
P
2
2
p
ky
k
q
ky
k
i
i
i
iI i
0.
PiI
2 (q, I, x, y) + P
2 (p, I, x, y)
q
ky
k
p
ky
k
i
i
i
i
iI
iI
33
q
)
ky
k
(p
q
)
kx
k
i
i
i
i
i
i
iI
max
, iI
(p, I, x, y) 0.
P
P
2
2
iI pi kxi k
iI pi kyi k
Proposition 14. We have
(i) For any I, J Pf (N) \ {} , with IJ = and p S+ (R) , x, y
S (H) \ {0} , we have
(1.90) (p, I J, x, y) (p, I, x, y) (p, J, x, y)
(P
P
2
2
jJ pj kxj k
iI pi kxi k
max P
2 (p, J, x, y) + P
2 (p, I, x, y) ,
jJ pj kxj k
iI pi kxi k
)
P
P
2
2
jJ pj kyj k
iI pi kyi k
0.
P
2 (p, J, x, y) + P
2 (p, I, x, y)
jJ pj kyj k
iI pi kyi k
(ii) If 6= J I, I 6= J, I, J Pf (N) \ {} and p S+ (R) \ {0} ,
x, y S (H) \ {0} , then
(1.91) (p, I, x, y) (p, J, x, y)
(P
)
2 P
2
kI\J pk kxk k
kI\J pk kyk k
max
(p, J, x, y) 0.
P
2 , P
2
iI pi kxi k
iI pi kyi k
Remark 7. The results in Proposition 13 have been obtained by
Dragomir and Mond in [2] for the case of scalar sequences x and y.
1.5.3. The Case of Mapping . With the assumptions in the
first subsections, we can define the following functional
1
2 21
X
X
X
=
pi kxi k2
pi kyi k2
pi hxi , yi i ,
iI
iI
iI
34
2 21
X
X
X
2
2
(1.92)
kxi k
kyi k
hxi , yi i
iI
iI
iI
kxi k2 sin2 i
iI
X
iI
2 21
X
2
2
2
kyi k sin i
hxi , yi i sin i
iI
2 21
X
X
X
2
2
2
2
2
+
kxi k cos i
kyi k cos i
hxi , yi i cos i 0.
iI
iI
iI
2n
2 12
2n
2n
X
X
X
pi kxi k2
pi kyi k2
pi hxi , yi i
(1.93)
i=1
n
X
i=1
p2k kx2k k
k=1
i=1
n
X
2
k=1
n
X
n
2 12
X
p2k ky2k k2
p2k hx2k , y2k i
k=1
p2k1 kx2k1 k2
k=1
n
X
p2k1 ky2k1 k2
k=1
2 12
n
X
p2k1 hx2k1 , y2k1 i
( 0) .
k=1
Bibliography
[1] S.S. DRAGOMIR and B. MOND, On the superadditivity and monotonicity of
Schwarzs inequality in inner product spaces, Contributions, Macedonian Acad.
of Sci and Arts, 15(2) (1994), 5-22.
[2] S.S. DRAGOMIR and B. MOND, Some inequalities for Fourier coefficients in
inner product spaces, Periodica Math. Hungarica, 32 (3) (1995), 167-172.
35
CHAPTER 2
for any x, y H. The equality holds in (2.1) if and only if the vectors
x and y are linearly dependent, i.e., there exists a nonzero constant
K so that x = y. p
If we denote kxk := hx, xi, x H, then one may state the following properties
(n) kxk 0 for any x H and kxk = 0 iff x = 0;
(nn) kxk = || kxk for any K and x H;
(nnn) kx + yk kxk+kyk for any x, y H (the triangle inequality);
i.e., kk is a norm on H.
In this chapter we present some classical and recent refinements and
reverse inequalities for the Schwarz and the triangle inequalities. More
precisely, we point out upper bounds or positive lower bounds for the
nonnegative quantities
kxk kyk |hx, yi| , kxk2 kyk2 |hx, yi|2
and
kxk + kyk kx + yk
under various assumptions for the vectors x, y H.
37
38
x, z H
39
for every x, y, z H.
Putting z = y in (2.3), we get:
0 kx + yk2 kyk2 |hx + y, yi|2
(2.4)
for every x, y H.
Both inequalities (2.4) and (2.5) have been obtained in [15].
We note here that the inequality (2.4) is in fact equivalent to the
following statement
(2.6) sup kx + yk2 kyk2 |hx + y, yi|2 = kxk2 kyk2 |hx, yi|2
K
for each x, y H.
The following corollary may be stated [15, Corollary 2] (see also
[18, Corollary 2.2]):
Corollary 3 (Dragomir, 1985). For any x, y, z H\ {0} we have
the inequality
hx, yi 2 hy, zi 2 hz, xi 2
hx, yi hy, zi hz, xi
+
+
1+2
(2.7)
kxk2 kyk2 kzk2 .
kxk kyk kyk kzk kzk kxk
Proof. By the modulus properties we obviously have
hx, zi kyk2 hx, yi hy, zi |hx, zi| kyk2 |hx, yi| |hy, zi| .
Therefore, by (2.2) we may state that
kxk2 kyk2 |hx, yi|2 kyk2 kzk2 |hy, zi|2
|hx, zi|2 kyk4 2 |hx, yi hy, zi hz, xi| kyk2 + |hx, yi|2 |hy, zi|2 ,
which, upon elementary calculation, is equivalent to (2.7).
Remark 10. If we utilise the elementary inequality a2 + b2 + c2
3abc when a, b, c 0, then one can state the following inequality
hx, yi hy, zi hz, xi hx, yi 2 hy, zi 2 hz, xi 2
+
(2.8) 3
kyk kzk + kzk kxk
kxk2 kyk2 kzk2 kxk kyk
for any x, y, z H\ {0} . Therefore, the inequality (2.7) may be regarded as a reverse inequality of (2.8).
The following refinement of the Schwarz inequality holds [15, Theorem 2] (see also [18, Corollary 1.1]):
40
kxk kyk |hx, yi hx, ei he, yi| + |hx, ei he, yi| |hx, yi| .
(2.13)
(2.14)
(2.16)
kAyk = sup {|hx, Ayi hx, ei he, Ayi| + |hx, ei he, Ayi|}
kxk=1
sup
kyk=1,kxk=1
41
Remark 12. Let (H; h, i) be a Hilbert space. Then for any continuous linear functional f : H K, f 6= 0, there exists, by the Riesz representation theorem a unique vector e H\ {0} such that f (x) = hx, ei
for x H and kf k = kek .
If E is a nonzero linear subspace of H and if we denote by E its
orthogonal complement, i.e., we recall that E := {y H|y x} then
for any x E and y E , by (2.14) we may state that
e
e
,
kxk kyk 2 x,
y,
kxk
kyk
giving, for x, y 6= 0, that
(2.18)
(2.19)
for any E a nonzero linear subspace of the Hilbert space H and a given
functional f H \ {0} .
We note that the inequality (2.19) has been obtained in [15, Eq.
10].
2.2.2. A Conditional Inequality. The following result providing a lower bound for the norm product under suitable conditions holds
[19] (see also [18, Theorem 1]):
Theorem 12 (Dragomir-Sandor, 1986). Let x, y, a, b H, where
(H; h, i) is an inner product space, be such that
(2.20)
kak2 2 Re hx, ai
and
kyk2 2 Re hy, bi
21
2 Re hy, bi kbk2
12
42
Observe that
(2.22) |hx, yi hx, bi ha, yi + ha, bi|
= |hx a, y bi|2
kx ak2 ky bk2
= kxk2 2 Re hx, ai kak2
kyk2 2 Re hy, bi kbk2 .
Applying the elementary inequality (2.11) we have
h
1 i2
2 2
2
(2.23)
kxk 2 Re hx, ai kak
h
1 i2
2
2 2
kyk 2 Re hy, bi kbk
h
1 i
1
kxk kyk 2 Re hx, ai kak2 2 2 Re hy, bi kbk2 2 .
Since
1
0 2 Re hx, ai kak2 2 kxk
1
0 2 Re hy, bi kbk2 2 kyk
and
hence
kxk kyk 2 Re hx, ai kak2
12
2 Re hy, bi kbk2
12
12
2 kyk2
12
+ |hx, yi| 1 kxk2 kyk2 + |hx, yi|2 .
Proof. Follows by Theorem 12 on choosing a = hx, yi y, b =
hy, xi x. We omit the details.
43
2.2.3. A Refinement for Orthonormal Families. The following result provides a generalisation for a refinement of the Schwarz
inequality incorporated in (2.9) [15, Theorem 3] (see also [8, Theorem]
or [18, Theorem 3]):
Theorem 13 (Dragomir, 1985). Let (H; h, i) be an inner product
space over the real or complex number field K and {ei }iI an orthonormal family in I. For any F a nonempty finite part of I we have the
following refinement of Schwarzs inequality:
X
X
(2.26)
kxk kyk hx, yi
hx, ei i hei , yi +
|hx, ei i hei , yi|
iF
iF
X
X
hx, yi
hx, ei i hei , yi +
hx, ei i hei , yi
iF
iF
|hx, yi| ,
where x, y H.
Proof. We follow the proof in [15].
We apply the Schwarz inequality to obtain
*
+2
X
X
(2.27) x
hx, ei i ei , y
hy, ei i ei
iF
iF
2
2
X
X
hx, ei i ei
y
hy, ei i ei
.
x
iF
iF
iF
and
*
x
+
X
iF
hx, ei i ei , y
X
iF
hy, ei i ei
= hx, yi
X
iF
hx, ei i hei , yi ,
44
2
X
(2.28) hx, yi
hx, ei i hei , yi
iF
!
kxk2
|hx, ei i|2
kyk2
iF
|hy, ei i|2
iF
for any x, y H.
Further, we need the following Aczel type inequality
(2.29)
2i
!2
!
X
2i
iF
iF
i i
iF
P
P
provided that 2 iF 2i and 2 iF 2i , where , , i , i R,
i F.
For an Aczel inequality that holds under slightly weaker conditions
and a different proof based on polynomials, see [26, p. 57].
For the sake of completeness, we give here a direct proof of (2.29).
Utilising the elementary inequality (2.11), we can write
! 12 2
(2.30) 2
2i
! 12 2
iF
2i
iF
||
2i
iF
2i
21
and ||
iF
2i
12
! 12
||
X
iF
2i
, then
! 12
X
iF
2i
X
iF
iF
Since ||
! 12 2
! 12
2i
45
showing that
(2.31)
! 12 2
! 12
||
2i
iF
2i
!2
i i
iF
iF
and then, by (2.30) and (2.31) we deduce the desired result (2.29).
By Bessels inequality we obviously have that
X
X
kxk2
|hx, ei i|2
and
kyk2
|hy, ei i|2 ,
iF
iF
kxk2
|hx, ei i|2
!
kyk2
iF
|hy, ei i|2
iF
!2
kxk kyk
iF
Since kxk kyk iF |hx, ei i hei , yi| 0, hence by (2.28) and (2.32) we
deduce the first part of (2.26).
The second and third parts are obvious.
When the vectors are orthogonal, the following result may be stated
[8] (see also [18, Corollary 3.1]).
46
ak
|zk |2 .
k=1
k=1
x, x0 , y, y 0 H;
( + i ) (x, y) := (x y, x + y) ,
x, y H and , R.
where , , R. Then
(2.37)
sup f () =
[0,2]
1
1
1
( + ) + ( )2 + 4 2 2 .
2
2
Proof. Since
1 cos 2
1 + cos 2
sin2 =
, cos2 =
, 2 sin cos = sin 2,
2
2
hence f may be written as
1
1
(2.38)
f () = ( + ) + ( ) cos 2 + sin 2.
2
2
If = 0, then (2.38) becomes
f () =
1
1
( + ) + ( ) cos 2.
2
2
1
1
( + ) + | | = max {, } .
2
2
48
Let 2 , 2 for which tan =
. Then f can be written as
2
f () =
( + ) +
sin (2 + ) .
2
cos
sup f () =
[0,2]
1
||
( + ) +
.
2
|cos |
Since
sin2
( )2
=
,
cos2
4 2
hence,
1
( )2 + 4 2 2
1
=
,
|cos |
2 ||
and from (2.39) we deduce the desired result (2.37).
The following result holds [6].
Theorem 16 (Dragomir, 2004). Let (H; h, i) be a complex inner
product space. If x, y, z H are such that
(2.40)
Im hx, zi = Im hy, zi = 0,
|hx + iy, zi| = ei hx + iy, zi = ei (x + iy) , z .
|hx + iy, zi| = Re ei (x + iy) , z
= Re h(cos i sin ) (x + iy) , zi
= Re hcos x + sin y i sin x + i cos y, zi
= Re hcos x + sin y, zi + Im hsin x cos y, zi
= Re hcos x + sin y, zi + sin Im hx, zi cos Im hy, zi
= Re hcos x + sin y, zi ,
and for the last equality we have used the assumption (2.40).
Taking the square and using the Schwarz inequality for the inner
product h, i , we have
|hx + iy, zi|2 = [Re hcos x + sin y, zi]2
(2.42)
= sup
kxk2 cos2 + 2 Re hx, yi sin cos + kyk2 sin 2
[0,2]
1
=
2
h
i 21
2
2 2
2
2
2
kxk + kyk + kxk kyk + 4 Re hx, yi
50
|hw, wi
C | = kxk2 kyk2
2
+ 4 hx, yi2 ,
where w = x iy HC .
Applying Theorem 16 for the complex space HC and complex inner
product h, iC , we deduce
1
(2.44)
|hw, eiC |2 kek2 kwk2C + |hw, wi
C | kek2 kwk2C ,
2
which is Kurepas inequality (2.35).
Corollary 7. Let x, y, z be as in Theorem 16. In addition, if
Re hx, yi = 0, then
2
1
(2.45)
Re hx, zi + Re2 hy, zi 2 kzk max {kxk , kyk} .
Remark 16. If H is a real space and h, i a real inner product on
H, then for any x, y, z H with hx, yi = 0 we have
1
(2.46)
hx, zi2 + hy, zi2 2 kzk max {kxk , kyk} .
2.3.3. A Related Result. Utilising Lemma 2, we may state and
prove the following result as well.
Theorem 17 (Dragomir, 2004). Let (H, h, i) be a real or complex
inner product space. Then we have the inequalities:
h
2
1
2
2
(2.47)
|hv, ti| + |hw, ti| + |hv, ti|2 |hw, ti|2
2
1 o
+ 4 (Re hv, ti Re hw, ti + Im hv, ti Im hw, ti)2 2
h
i 12
1
2
2
2
2
2 2
2
ktk kvk + kwk + kvk kwk + 4 Re (v, w)
2
kvk2 + kwk2 ktk2 ,
for all v, w, t H.
Proof. Observe that, by Schwarzs inequality
(2.48)
51
Since
I () := kcos v + sin wk2
= cos2 kvk2 + 2 Re (v, w) sin cos + kwk2 sin2 ,
hence, as in Theorem 16,
h
i 12
1
2
2
2
2 2
2
.
sup I () =
kvk + kwk + kvk kwk + 4 Re (v, w)
2
[0,2]
Also, denoting
J () := |cos hv, zi + sin hw, zi|
i
= cos |hv, zi| + 2 sin cos Re hv, zi hw, zi + sin2 |hw, zi|2 ,
2
52
for any a, b, x H.
It is clear that for a = b, the above inequality becomes the standard
Schwarz inequality
|ha, xi|2 kak2 kxk2 ,
(2.51)
a, x H;
, when ha, bi =
6 0
kak
|ha,bi| kbk
x=
a + b ,
when ha, bi = 0,
kak
kbk
where , K.
It might be useful to observe that, out of (2.50), one may get the
following discrete inequality:
n
n
X
X
(2.52)
p i ai x i
pi xi bi
i=1
i=1
! 12 n
n
n
n
X
X
X
X
1
2
2
pi |ai |
pi |bi |
+
p i ai b i
pi |xi |2 ,
2
i=1
i=1
i=1
i=1
where pi 0, ai , xi , bi C, i {1, . . . , n} .
If one takes in (2.52) bi = ai for i {1, . . . , n} , then one obtains
(2.53)
n
#
" n
n
n
n
X
1 X
X
X
X
2
2
p i ai x i
p i ai x i
pi |ai | +
p i ai
pi |xi |2 ,
2
i=1
i=1
i=1
i=1
i=1
i=1
i=1
i=1
53
kxk2
kbk
ha, xi
x = a + b.
kxk2
a,
b
a
kxk2
kxk2
and since
2
2
ha, xi
|ha, xi|2
2 |ha, xi|
2
2
2 x a
= ||
2
2 Re + kak
kxk
kxk
kxk
| 1|2 |ha, xi|2 + kxk2 kak2 |ha, xi|2
=
kxk2
and
ha, xi
ha, xi hx, bi ha, bi
x a, b =
kxk2
kxk2
hence by (2.55) we deduce the desired inequality (2.55).
The case of equality is obvious from the above considerations related
to the Schwarzs inequality (2.51).
54
2
2
||
kxk
kxk
Therefore, by (2.55) and (2.58), one may deduce the following double
inequality:
1
kbk
(2.59)
|ha, bi|
||
kxk
h
1 ii
| 1|2 |hx, ai|2 + kxk2 kak2 |ha, xi|2 2
|ha, xi hx, bi|
kxk2
1
kbk
|ha, bi| +
||
kxk
h
1i
2
2
2
2
2 2
| 1| |hx, ai| + kxk kak |hx, ai|
,
kxk2
1+
2 1 + Re
and, in particular, for = 1, the inequality:
ha, xi hx, bi ha, bi kak kbk
(2.61)
.
kxk2
2
2
Proof. It follows by Theorem 18 on choosing = 1 + and we
omit the details.
Remark 19. Using the continuity property of modulus, we get from
(2.60) that:
|ha, bi| + kak kbk
|ha, xi hx, bi|
,
|| = 1, Re 6= 1,
2
2 1 + Re
kxk
which provides, as the best possible inequality, the above result due to
Buzano (2.50).
55
Remark 20. If the space is real, then the inequality (2.55) is obviously equivalent to:
(2.62)
1
ha, bi
kbk
|| kxk
ha, xi hx, bi
kxk2
1
ha, bi
kbk
+
( 1)2 ha, xi2 + kxk2 kak2 ha, xi2 2
|| kxk
ha,
bi
kxk2
kxk
for any a, b, x H with x 6= 0.
56
1
kbk
kxk2 kak2 |ha, xi|2 2
kxk
ha, xi hx, bi
kxk2
1
kbk
ha, bi
i=1
i=1
i=1
provided that ai are real numbers while zi are complex for each i
{1, ..., n} .
In [25], S. Kurepa proved the following generalisation of the de
Bruijn result:
Theorem 19 (Kurepa, 1966). Let (H; h, i) be a real inner product
space and (HC , h, iC ) its complexification. Then for any a H and
z HC , one has the following refinement of Schwarzs inequality
1
kak2 kzk2C + |hz, ziC | kak2 kzk2C ,
2
where z denotes the conjugate of z HC .
(2.68)
|ha, ziC |2
57
58
X
X
X
X
X
1
1
i a2i
i zi2 +
i a2i
i zi2
i ai zi
2 i=1
i=1
2 i=1
i=1
i=1
#
"
X
1X 2 X
i ai
i |zi |2 +
i zi2 .
2
i=1
i=1
i=1
L2
Similarly, if by
(S, , ) we understand the Hilbert space of all
complex-valued functions f : S RC with the property that for the
measurable function 0 with S (t) d (t) = 1 we have
Z
(t) |f (t)|2 d (t) < ,
S
2 S
S
Z
Z
1
+ (t) f 2 (t) d (t) (t) a2 (t) d (t)
2 S
S
Z
1
59
(2.75)
1
[kak kbk + |ha, bi|] kxk2 ,
2
for any a, b, x H.
It is clear that the above inequality becomes, for a = b, the Schwarzs
inequality
|ha, xi|2 kak2 kxk2 ,
(2.76)
a, x H;
(2.77)
The main aim of the present section is to obtain similar results for
families of orthonormal vectors in (H; h, i) , real or complex space,
that are naturally connected with the celebrated Bessel inequality and
improve the results of Busano, Richard and Kurepa.
2.5.2. A Generalisation for Orthonormal Families. We say
that the finite family {ei }iI (I is finite) of vectors is orthonormal if
hei , ej i = 0 if i, j I with i 6= j and kei k = 1 for each i I. The
following result may be stated [11]:
Theorem 21 (Dragomir, 2004). Let (H; h, i) be an inner product space over the real or complex number field K and {ei }iI a finite
orthonormal family in H. Then for any a, b H, one has the inequality:
X
1
1
(2.78)
ha, ei i hei , bi ha, bi kak kbk .
2
2
iI
The case of equality holds in (2.78) if and only if
(2.79)
X
iI
1
ha, ei i ei = a +
2
X
iI
!
1
b
.
ha, ei i hei , bi ha, bi
2
kbk2
60
(2.81)
f, e H;
hf, ei e
.
kek2
P
Let f := 2 iI ha, ei i ei a and e := b. Then, by Schwarzs inequality
(2.81), we may state that
*
2
+2
X
X
(2.82)
ha, ei i ei a, b
2
ha, ei i ei a
kbk2
2
iI
iI
*
2
ha, ei i ei a, b
iI
=2
iI
and
2
X
ha, ei i ei a
2
iI
2
*
+
X
X
= 4
ha, ei i ei
4 Re
ha, ei i ei , a + kak2
iI
iI
X
X
=4
|ha, ei i|2 4
|ha, ei i|2 + kak2
iI
2
iI
= kak ,
hence by (2.82) we deduce the desired inequality (2.78).
Finally, as (2.79) is equivalent to
!
X
X
a
1
b
ha, ei i ei =
ha, ei i hei , bi ha, bi
2,
2
2
kbk
iI
iI
61
iI
iI
iI
1
[kak kbk + |ha, bi|]
2
kak kbk .
Remark 22. If the space (H; h, i) is real, then, obviously, (2.78)
is equivalent to:
X
1
1
(2.87)
(ha, bi kak kbk)
ha, ei i hei , bi [kak kbk + ha, bi] .
2
2
iI
Remark 23. It is obvious that if the family comprises of only a
x
, x H, x 6= 0, then from (2.86) we recapture
single element e = kxk
the refinement of Buzanos inequality incorporated in (2.75) while from
(2.87) we deduce Richards result from (2.77).
62
1 mi
Re hx, ei i Re hy, ei i
Mi 1,
kxk
kyk
iI
1 ni
Im hx, ei i Im hy, ei i
Ni 1,
kxk
kyk
iI
and
(2.89)
then
(2.90)
(mi + ni ) 1
iI
X
Re hx, yi
1+2
(Mi + Ni ) .
kxk kyk
iI
1
kxk kyk .
2
Since
Re [hx, ei i hei , yi] = Re hx, ei i Re hy, ei i + Im hx, ei i Im hy, ei i ,
hence by (2.91) we have:
(2.92)
1
1
kxk kyk + Re hx, yi
2X
2
X
Re hx, ei i Re hy, ei i +
Im hx, ei i Im hy, ei i
iI
iI
1
1
kxk kyk + Re hx, yi .
2
2
Utilising the assumptions (2.88) and (2.89), we have
X
X Re hx, ei i Re hy, ei i X
(2.93)
mi
Mi
kxk
kyk
iI
iI
iI
63
and
(2.94)
X
iI
ni
X Im hx, ei i Im hy, ei i
iI
kxk kyk
Ni .
iI
Re hx, yi
1.
kxk kyk
P
Consequently, the left inequality in (2.90) is of interest when
iI (mi + ni ) >
P
0, while the right inequality in (2.90) is of interest when iI (Mi + Ni ) <
0.
2.5.3. Refinements of Kurepas Inequality. The following result holds [11].
Theorem 22 (Dragomir, 2004). Let {ej }jI be a finite orthonormal
family in the real inner product space (H; h, i) . Then for any w
HC , where (HC ; h, iC ) is the complexification of (H; h, i) , one has the
following Bessels type inequality:
X
X
1
1
(2.95)
C + |hw, wi
C|
hw, ej i2C
hw, ej i2C hw, wi
2
2
jI
jI
1
kwk2C + |hw, wi
C | kwk2C .
2
Proof. We follow the proof in [11].
Define fj HC , fj := (ej , 0) , j I. For any k, j I we have
64
21
2
is orthonormal.
If by trig t, we denote either sin t or cos t, t [, ] , then on using
the results from Sections 2.5.2 and 2.5.3, we may state the following
inequality:
(2.98)
Z
n Z
1 X
f (t) trig (kt) dt
g (t) trig (kt) dt
k=1
2
Z
1
f (t) g (t)dt
2
Z
Z
1
2
|f (t)| dt
|g (t)|2 dt,
4
where all trig (kt) is either sin kt or cos kt, k {1, . . . , n} and f
L2 [, ] .
This follows by Theorem 21.
65
If one uses Corollary 12, then one can state the following chain of
inequalities
(2.99)
Z
n Z
1 X
f (t) trig (kt) dt
g (t) trig (kt) dt
k=1 n Z
Z
1 X
f (t) trig (kt) dt
g (t) trig (kt) dt
k=1
Z
Z
1
1
f (t) g (t)dt +
f (t) g (t)dt
2
2
" Z
#
12 Z
Z
|f (t)|2 dt
|g (t)|2 dt
+
f (t) g (t)dt
2
1
Z
Z
2
2
|f (t)| dt
|g (t)|2 dt ,
where f L2 [, ] .
Finally, by employing Theorem 22, we may state:
2
n Z
X
f (t) trig (kt) dt
k=1
2
Z
n Z
1 X
1 Z
1 2
2
f (t) trig (kt) dt
f (t) dt +
f (t) dt
2
2
k=1
Z
Z
Z
1
|f (t)|2 dt +
f 2 (t) dt
|f (t)|2 dt,
where f L2 [, ] .
66
2
2
kxk
kyk
kxk2 kyk2
kak kbk + ha, bi
.
2
In the right-hand side or in the left-hand side of (2.100) we have equality if and only if there are , R such that
(2.100)
(2.101)
hy, bi
1
hx, ai
(a + b) .
2 x+
2 y =
2
kxk
kyk
(2.103)
2 hx, ai x = (a + b) kxk2 .
+
.
kxk kyk
2 kxk kak kyk kak
2
In [27], M.H. Moore pointed out the following reverse of the Schwarz
inequality
(2.106)
y, z H,
67
(2.108)
|hy, zi| max 1 2, 1 4, 0 kyk kzk .
Utilising Richards inequality (2.102) written in the following equivalent form:
hx, ai hx, bi
hx, ai hx, bi
(2.109) 2
kak kbk ha, bi 2
+ kak kbk
2
kxk
kxk2
for any a, b H and a H\ {0} , Precupanu has obtained the following
Moores type result:
Theorem 25 (Precupanu , 1976). Let (H; h, i) be a real inner
product space. If a, b, x H and 0 < 1 < 2 are such that:
(2.110)
then
(2.111)
221 1 kak kbk ha, bi 221 + 1 kak kbk .
then
(2.115)
|ha, bi| 1 4 + 22 kak kbk .
68
hy, ai
2
kyk kak
and 1 + 2 1, then
(2.116)
hx, yi
1
3
( 1 + 2 )2
kxk kyk
2
2
( 1) .
hx, ai hx, bi
( 2 kak kbk)
kxk2
and 1 1 0 (1 2 0) , then
(2.117)
[1 ] 21 1
ha, bi
( 22 + 1 [ 1]) .
kak kbk
69
jJ
1
1
2
hx, ei i hfj , yi hei , fj i hx, yi kxk kyk .
2
2
iI,jJ
X
jJ
v
kvk2
kvk2
showing that, in Schwarzs inequality
|hu, vi|2 kuk2 kvk2 ,
(2.121)
iI
and, similarly
kvk2 = kyk2 .
Also,
hu, vi = 4
iI,jJ
X
iI
hx, ei i hei , yi 2
X
jJ
hx, fj i hfj , yi .
70
Therefore, by Schwarzs inequality (2.121) we deduce the desired inequality (2.118). By (2.122), the case of equality holds in (2.118) if
and only if there exists a K such that
!
X
X
2
hx, ei i ei x = 2
hy, fj i fj y ,
iI
jJ
for any x H.
If in the above theorem we assume that I = J and fi = ei , i I,
then we get from (2.118) the Schwarz inequality |hx, yi| kxk kyk .
If I J = , I J = K, gk = ek , k I, gk = fk , k J and
{gk }kK is orthonormal, then from (2.118) we get:
X
1
1
(2.124)
hx, gk i hgk , yi hx, yi kxk kyk ,
x, y H
2
2
kK
which has been obtained earlier by the author in [16].
e
If I and J reduce to one element, namely e1 = kek
, f1 = kff k with
e, f 6= 0, then from (2.118) we get
hx, ei he, yi hx, f i hf, yi
hx, ei hf, yi he, f i 1
(2.125)
+
hx,
yi
2
kek2
kf k2
kek2 kf k2
1
kxk kyk ,
x, y H
2
which is the corresponding complex version of Precupanu s inequality
(2.100).
If in (2.125) we assume that x = y, then we get
|hx, ei|2 |hx, f i|2
hx, ei hf, ei he, f i 1
2
(2.126)
+
kxk
kek2
2
kf k2
kek2 kf k2
1
kxk2 .
2
71
1
[|hx, yi| + kxk kyk] .
2
kxk .
We observe that (2.128) will generate Bessels inequality if
{ei }iI , {fj }jJ are disjoint parts of a larger orthonormal family.
72
1
[kxk kyk + |hx, yi|] .
2
In particular, we have
X
X
X
(2.132) 0
hx, ei i2 +
hx, fj i2 2
hx, ei i hx, fj i hei , fj i
iI
jJ
iI,jJ
kxk ,
for any x H.
Remark 29. Similar particular inequalities to those incorporated
in (2.124) (2.130) may be stated, but we omit them.
2.6.3. Refinements of Kurepas Inequality. The following result may be stated [10].
Theorem 29 (Dragomir, 2004). Let (H; h, i) be a real inner product space and {ei }iI , {fj }jJ two finite families in H. If (HC ; h, iC )
73
1
kwk2C + |hw, wi
C | kwk2C .
2
Proof. Define gj HC , gj := (ej , 0) , j I. For any k, j I we
have
hgk , gj iC = h(ek , 0) , (ej , 0)iC = hek , ej i = kj ,
therefore {gj }jI is an orthonormal family in (HC ; h, iC ) .
If we apply Corollary 14 for (HC ; h, iC ) , x = w, y = w,
we may
write:
X
X
(2.134)
hw, ei iC hei , wi
C+
hw, fj i hfj , wi
jJ
iI
X
2
hw, ei iC hfj , wiC hei , fj i
iI,jJ
X
X
1
kwkC kwk
C+
hw, ei iC hei , wi
C+
hw, fj i hfj , wi
2
iI
jJ
X
1
C
2
hw, ei iC hfj , wiC hei , fj i hw, wi
2
iI,jJ
1
[|hw, wi
C | + kwkC kwk
C] .
2
74
1
kwk2C + |hw, wi
C | kwk2C .
2
If in (2.135) one assumes that the family {ei }iI contains only one
a
element e = kak
, a 6= 0, then by selecting w = z, one would deduce
(2.71), which is a refinement for Kurepas inequality.
2.7. Some New Refinements of the Schwarz Inequality
2.7.1. Refinements. The following result holds [12].
Theorem 30 (Dragomir, 2004). Let (H; h, i) be an inner product
space over the real or complex number field K and r1 , r2 > 0. If x, y H
are with the property that
(2.136)
kx yk r2 r1 |kxk kyk| ,
75
(2.140)
hence from (2.139) and (2.140) we deduce the desired inequality (2.137).
To prove the sharpness of the constant 12 in (2.137), let us assume
that there is a constant C > 0 such that
(2.141)
kxk kyk Re hx, yi C r22 r12 ,
provided that x and y satisfy (2.136).
Let e H with kek = 1 and for r2 > r1 > 0, define
r 1 r2
r2 + r 1
(2.142)
x=
e and y =
e.
2
2
Then
kx yk = r2 and |kxk kyk| = r1 ,
showing that the condition (2.136) is fulfilled with equality.
If we replace x and y as defined in (2.142) into the inequality (2.141),
then we get
r22 r12
C r22 r12 ,
2
which implies that C 21 , and the theorem is completely proved.
The following corollary holds.
Corollary 16. With the assumptions of Theorem 30, we have the
inequality:
q
2
2
(2.143)
kxk + kyk
kx + yk
r22 r12 .
2
2
Proof. We have, by (2.137), that
(kxk + kyk)2 kx + yk2 = 2 (kxk kyk Re hx, yi) r22 r12 0
which gives
(2.144)
(kxk + kyk) kx + yk +
2
q
r22 r12
kx + yk +
q
2
r22
r12
kx + yk +
2
r22
r12
76
iI
iF
kxk
|hx, ei i|2
iI
1
r2 r12
P 2
1 ( 0) .
2 2
2
iI |hx, ei i|
1
2
is best possible.
P
Proof. Consider y := iI hx, ei i ei . Obviously, since H is a Hilbert
space, y H. We also note that
v
2 s
X
u
X
X
u
t
kyk =
hx, ei i ei
=
|hx, ei i|2 ,
hx, ei i ei
=
The constant
iI
iI
iI
77
Since
! 12
kxk kyk Re hx, yi = kxk
*
Re x,
|hx, ei i|
+
X
iI
hx, ei i ei
iI
! 12
! 21
=
|hx, ei i|2
kxk
|hx, ei i|2
iI
iI
q
kxk |hx, ei| = 2 + 2
|hx, ei| =
r22 r12
r22 r12
2r1
r22 r12
2r1
78
(2.153)
The constant
1
2
kyk2
1 2
r2 r12
( 0) .
2
|hx, yi|
is best possible.
kxk + kyk R kx + yk ;
79
|kxk kyk| r kx yk ;
80
Define x =
r+1
e,
2
y=
r1
e
2
|kxk kyk| = r,
kx yk = 1
X
`2p (K) := x := (xi ) xi K, i N and
pi kxi k2 < .
iN
i=1
It is well known that `2p (K) endowed with the inner product h, ip
defined by
X
hx, yip :=
pi (xi , yi )
i=1
! 21
pi kxi k2
i=1
(2.163)
for each i N. Then we have the following refinement of the CauchyBunyakovsky-Schwarz inequality
(2.164)
X
i=1
pi kxi k
X
2
! 12
pi kyi k2
i=1
pi Re (xi , yi )
i=1
The constant
1
2
is best possible.
1 2
r2 r12 0.
2
81
X
X
2
2
2
(2.165)
pi kxi yi k r2 r1
pi (kxi k kyi k)2
i=1
i=1
! 12
pi kxi k2
i=1
! 12 2
pi kyi k2
i=1
X
X
(2.167)
pi kxi k2
+
pi kyi k2
i=1
i=1
! 12
pi kxi + yi k
i=1
q
2
r22 r12 .
2
X
X
X
2
2
(2.169)
pi kxi k
pi kyi k
pi Re (xi , yi )
i=1
i=1
i=1
1 2
R 1 r2 .
2
82
! 12
pi kxi + yi k2
r.
i=1
X
X
(2.171)
pi kxi k2
+
pi kyi k2
i=1
i=1
"
# 12
pi (kxi k + kyi k)2
i=1
(2.173)
holds true. Then we have the following refinement of the Schwarz inequality
! 21
X
X
X
pi Re (xi , yi )
(2.174)
pi kxi k2
pi kyi k2
i=1
i=1
i=1
X
1
1 r2
pi kxi yi k2 .
2
i=1
The constant
1
2
83
i=1
X
X
pi kxi k2
pi kyi k2
i=1
i=1
! 12
pi (kxi k kyi k)2
i=1
21
(t) kf (t)k dt
2
84
Z
(t) kf (t)k dt
(2.176)
a
12
(t) kg (t)k dt
2
1
2
The constant
1 2
r2 r12 ( 0) .
2
Z
21
(t) (kf (t) g (t)k) dt
2
(2.177)
a
Z
r2 r 1
12
(t) (kf (t)k kg (t)k)2 dt .
12
(t) (kf (t)k kg (t)k) dt
Z
12
12 Z b
b
(t) kg (t)k2 dt ,
(t) kf (t)k2 dt
a
a
2
1
2
85
12
12 Z b
2
(t) kg (t)k dt
(t) kf (t)k dt
+
2
(2.180)
q
Z b
12
2
2
2
(t) kf (t) + g (t)k dt
r22 r12 .
2
2
a
(t) kf (t)k dt
(2.182)
a
12
(t) kg (t)k dt
2
a
b
The constant
1
2
1 2
R 1 r2 .
2
(2.183)
b
2
(t) kf (t)k dt
(2.184)
a
12
(t) kg (t)k dt
2
The constant
1
2
1
(t) kf (t) g (t)k2 dt.
2
a
86
The following theorem provides a version of the Heisenberg inequalities in the general setting of Hilbert spaces [12].
Theorem 34 (Dragomir, 2004). Let : [a, b] H be an absolutely
continuous function with the property that b k (b)k2 = a k (a)k2 .
Then we have the inequality:
Z b
2
Z b
Z b
2
2
2
2
(2.186)
k (t)k dt 4
t k (t)k dt
k0 (t)k dt.
a
a
0
for g (t) = (t) , h (t) = t (t) , t [a, b] , then we deduce the desired
inequality (2.176).
87
The fact that 4 is the best constant in (2.176) follows from the fact
that in the (CBS) inequality, the case of equality holds iff g (t) = h (t)
for a.e. t [a, b] and a given scalar in K. We omit the details.
For details on the classical Heisenberg inequality, see, for instance,
[23].
Utilising Proposition 19, we can state the following refinement [12]
of the Heisenberg inequality obtained above in (2.186):
Proposition 22. Assume that : [a, b] H is as in the hypothesis
of Theorem 34. In addition, if there exists r2 , r1 > 0 so that
k0 (t) + t (t)k r2 r1 |k0 (t)k |t| k (t)k|
for a.e. t [a, b] , then we have the inequality
Z
b
2
t k (t)k dt
a
12
Z
1 b
k (t)k dt
k (t)k2 dt
2 a
1
(b a) r22 r12 ( 0) .
2
0
t2 k (t)k2 dt
21
Z
1 b
2
0
k (t)k2 dt
k (t)k dt
2 a
1
(b a) R2 1 r2 ( 0) .
2
88
b
2
t2 k (t)k dt
Z
a
21
Z
1 b
0
k (t)k2 dt
k (t)k dt
2 a
Z b
1
2
1 2
k0 (t) + t (t)k dt ( 0) .
2
a
2
and
kxk kyk
Re hx, yi
or the corresponding expressions where Re hx, yi is replaced by either
|Re hx, yi| or |hx, yi| , under suitable assumptions for the vectors x, y in
an inner product space (H; h, i) over the real or complex number field
K.
In this class of results, we mention the following recent reverses of
the Schwarz inequality due to the present author, that can be found,
for instance, in the survey work [4], where more specific references are
provided:
Theorem 35 (Dragomir, 2004). Let (H; h, i) be an inner product
space over K (K = C, R) . If a, A K and x, y H are such that either
Re hAy x, x ayi 0,
(2.188)
or, equivalently,
1
A
+
a
x
(2.189)
y
2 |A a| kyk ,
2
then the following reverse for the quadratic form of the Schwarz inequality
(2.190)
2
2
14 |A a|2 kyk4 A+a
kyk
hx,
yi
2
1
|A a|2 kyk4 kyk2 Re hAy x, x ayi
4
1
|A a|2 kyk4
4
89
holds.
If in addition, we have Re (A
a) > 0, then
hx, yi
1 Re A + a
|A + a|
1
p
(2.191) kxk kyk
p
|hx, yi| ,
2
2
Re (A
a)
Re (A
a)
and
(2.192)
1 |A a|2
(0 ) kxk kyk |hx, yi|
|hx, yi|2 .
4 Re (A
a)
2
1 |A a|2
hx, yi
kyk2 .
kxk kyk Re
|A + a|
4 |A + a|
The multiplicative constants 14 and 21 above are best possible in the sense
that they cannot be replaced by a smaller quantity.
For some classical results related to Schwarz inequality, see [3], [21],
[28], [29], [30] and the references therein.
The main aim of the present section is to point out other results in
connection with both the quadratic and simple forms of the Schwarz
inequality. As applications, some reverse results for the generalised
triangle inequality, i.e., upper bounds for the quantity
n
n
X
X
(0 )
kxi k
xi
i=1
i=1
90
kx yk (kxk + kyk) ,
with (0, 1], then one has the following reverse of the Schwarz
inequality
(2.200)
(2.201)
kyk kxk
,
then we have the following reverse of Schwarzs inequality
(2.202)
91
The case of equality holds in the last inequality in (2.202) if and only
if
kxk = kyk
(2.203)
The constant
1
2
and
kx yk = .
+
2 .
kxk kyk
kyk2
kxk2
(2.204)
Since, obviously
kxk2 kyk2
2
+
kyk2 kxk2
(2.205)
with equality iff kxk = kyk , hence by (2.204) we deduce the second
inequality in (2.202).
The case of equality and the best constant are obvious and we omit
the details.
Remark 33. In [24], Hile obtained the following inequality
(2.206)
kxkv+1 kykv+1
kkxk x kyk yk
kx yk
kxk kyk
v
provided x, y H\ {0} .
The following inequality is due to Goldstein, Ryff and Clarke [22,
p. 309]:
Re hx, yi
(2.209) kxk2r + kyk2r 2 kxkr kykr
kxk kyk
2r2
kx yk2 if r 1
r2 kxk
kyk2r2 kx yk2
if r < 1
92
r1
1 2 kxk
r
kx yk2 if r 1,
2
kyk
1 kxk 1r kx yk2
if r < 1.
(2.210)
kyk
r2
2
2 kxk
r kykr kx yk if r 1,
kykr2 kx yk2
if r < 1.
kxkr
Since
kxk
kyk
hence, by (2.211) one has
22
r
+
kyk
kxk
r
2,
r2
2
2 kxk
r kykr kx yk if r 1,
Re hx, yi
kxk kyk
kykr2
kxkr
kx yk2
if r < 1.
y
(2.212)
kyk2
93
(2.216)
The proof is similar to the ones outlined above and we omit it.
For the case of complex inner product spaces, we may state the
following result [7].
Proposition 30. Let (H; h, i) be a complex inner product space
and C a given complex number with Re , Im > 0. If x, y H
are such that
Im
(2.217)
x Re y
r,
then we have the inequality
(0 ) kxk kyk |hx, yi| kxk kyk Re hx, yi
1 Re 2
r .
2 Im
The equality holds in the second inequality in (2.218) if and only if the
case of equality holds in (2.217) and Re kxk = Im kyk .
(2.218)
94
(2.222)
0 kxk kyk |hx, yi| kxk kyk Re
hx, yi
||2
I 2,
2
2
2
||
where
(2.223)
1
1
I :=
(|Re |p + |Im |p ) p (kx ykq + kx + ykq ) q ,
p > 1, p1 + 1q = 1;
2
2
(2.224)
kx
yk 2 || kxk kyk Re
hx, yi .
||2
95
kx
yk = k(Re + i Im ) x (Re i Im ) yk
= kRe (x y) + i Im (x + y)k
|Re | kx yk + |Im | kx + yk .
max {, } (a + b)
(2.226) a + b
1
1
p
( + p ) p (aq + bq ) q , p > 1, p1 + 1q = 1,
provided , , a, b 0.
The following result may be stated [7].
Proposition 31. Let (H; h, i) be an inner product over K and
e H, kek = 1. If (0, 1) , then
(2.227) Re [hx, yi hx, ei he, yi]
1
1
kx + (1 ) yk2 |hx + (1 ) y, ei|2 .
4 (1 )
The constant
1
4
is best possible.
z, w H
Re hx hx, ei e, y hy, ei ei
1
=
Re hx hx, ei e, (1 ) y h(1 ) y, ei ei
(1 )
1
1
kx + (1 ) yk2 |hx + (1 ) y, ei|2 ,
4 (1 )
proving the desired inequality (2.227).
Remark 35. For = 12 , we get the simpler inequality:
2
x + y
2 x + y
(2.228)
Re [hx, yi hx, ei he, yi]
, e ,
2
2
96
that has been obtained in [4, p. 46], for which the sharpness of the
inequality was established.
The following result may be stated as well [7].
Theorem 37 (Dragomir, 2004). Let (H; h, i) be an inner product
space over K and p 1. Then for any x, y H we have
0 kxk kyk |hx, yi| kxk kyk Re hx, yi
1
1
2
1
kx yk2p |kxk kyk|2p p .
(2.229)
(2.230)
(2.231)
we have
p
2p Dp + kx + yk2p
giving
1
(kxk + kyk)2p kx + yk2p ,
p
2
which is clearly equivalent to the first branch of the third inequality in
(2.229).
With the above notation, we also have
Dp
(2.232)
97
1 | |2 .
+
x
e
2
4
Proof. We start with the following known equality (see for instance [5, eq. (2.6)])
(2.234) kxk2 |hx, ei|2
h
i
= Re ( hx, ei) hx, ei Re he x, x ei
holding for x H, e H, kek = 1 and , K.
We also know that (see for instance [14])
2
1
2
(2.235)
Re he x, x ei =
x 2 e
4 | | .
Since
(2.236)
i
h
Re ( hx, ei) hx, ei
= (Re Re hx, ei) (Re hx, ei Re )
+ (Im Im hx, ei) (Im hx, ei Im ) ,
98
1 | |2 .
kxk |hx, ei|
x
e
2
4
2
99
Utilising the identity (2.233) we deduce the desired result (2.242). The
case of equality is obvious.
Further on, we can state the following reverse of the quadratic
Schwarz inequality [7]:
Proposition 34. Let (H; h, i) be an inner product space over K,
e H, kek = 1. If , K and x H are such that either
Re he x, x ei 0
(2.243)
or, equivalently,
x
e
| | ,
2
2
(2.244)
then
(2.245)
1
| |2 .
4
The case of equality holds in (2.245) if it holds either in (2.243) or
(2.244).
1
4
x a
(2.247)
kak ,
100
|| |hx, ai|
kxk kak
(2.248)
and
||2
(0 ) kxk kak |hx, ai|
|hx, ai|2 .
(2.249)
kak2 ,
kxk Re hx, ai + 2 kak
2
(2.251)
2 kxk kak kxk2 + kak2 ,
hence by (2.250) and (2.251) we deduce the first inequality in (2.248).
The other inequalities are obvious.
Remark 37. The above inequality (2.248) contains in particular
the reverse (2.191) of the Schwarz inequality. Indeed, if we assume
that = 1, = +
, , K, with = Re (
) > 0, then the
2
2
2
condition || is equivalent to | + | 4 Re (
) which is
2
actually | | 0. With this assumption, (2.247) becomes
x + a
1 | | kak ,
2
2
which implies the reverse of the Schwarz inequality
+ hx, ai
Re
q
kxk kak
2 Re
| + |
q
|hx, ai| ,
2 Re
which is (2.191).
The following particular case of Theorem 38 may be stated [7]:
101
i=1
for each
i=1
i=1
i=1
and
(2.258)
n
X
i=1
xi =
n
X
i=1
kxi k
n
X
i=1
!
ki e.
i {1, . . . , n} ,
102
e
kxi k
(2.259)
for each
i {1, . . . , n} ,
then
(2.260)
(0 )
n
X
n
X
kxi k
xi
i=1
n
X
1
2
i=1
ri2 kxi k
i=1
2 n
P
max ri
kxi k ;
1in
i=1
p1 n
1q
1 P
n
P
q
2p
, p > 1,
ri
kxi k
2
i=1
i=1
n
P
1
p
1
q
= 1;
i=1
kkxi k xi ek ri kxi k
for each
i {1, . . . , n} .
On utilising the inequalities (2.198) and (2.209) one may state the
following corollary of Theorem 39 [7].
Corollary 22. Let e, xi H\ {0} , i {1, . . . , n} with kek = 1.
Then we have the inequality
n
n
X
X
(2.262)
(0 )
kxi k
xi
min {A, B} ,
i=1
i=1
103
where
A := 2
n
X
i=1
kxi k
kxi ek
kxi k + 1
2
,
and
n
p
kx kp1 kxi ek2 , if p 1
2 i=1 i
1P
i
xi
di ,
(2.264)
e
i {1, . . . , n} ,
Re i
then
(2.265)
(0 )
n
X
i=1
n
n
X
1X
Re i 2
kxi k
xi
d .
2
Im i i
i=1
i=1
The proof follows by Theorems 30 and 39 and the details are omitted.
Finally, by the use of Theorem 37, we can state [7]:
104
(kx
k
+
1)
kx
+
ek
,
i
i
1 i=1
2
n
1
P
Bibliography
[1] C. BLATTER, Zur Riemannschen Geometrie im Grossen auf dem Mobiusband.
(German) Compositio Math. 15 (1961), 88107.
[2] N.G. de BRUIJN, Problem 12, Wisk. Opgaven, 21 (1960), 12-14.
[3] M.L. BUZANO, Generalizzazione della diseguaglianza di Cauchy-Schwarz.
(Italian), Rend. Sem. Mat. Univ. e Politech. Torino, 31 (1971/73), 405409
(1974).
[4] S.S. DRAGOMIR, Advances in Inequalities of the Schwarz, Gr
uss and Bessel
Type in Inner Product Spaces, RGMIA Monographs, Victoria University, 2004.
[ONLINE: http://rgmia.vu.edu.au/monographs/].
[5] S.S. DRAGOMIR, A generalisation of Gr
uss inequality in inner product spaces
and applications, J. Mathematical Analysis and Applications, 237 (1999), 7482.
[6] S.S. DRAGOMIR, A generalisation of Kurepas inequality, RGMIA Res. Rep.
Coll., 7(E) (2004), Art. 23. [ONLINE http://rgmia.vu.edu.au/v7(E).html]
[7] S.S. DRAGOMIR, A potpourri of Schwarz related inequalities in inner product
spaces, ArXiv:math. MG/0501129v1 [ONLINE ]
[8] S.S. DRAGOMIR, A refinement of Cauchy-Schwarzs inequality, Gazeta Mat.
Metod. (Bucharest, Romania), 8 (1987), 94-95.
[9] S.S. DRAGOMIR, Discrete Inequalities of the Cauchy-Bunyakovsky-Schwarz
Type, Nova Science Publishers, NY, 2004.
[10] S.S. DRAGOMIR, Generalizations of Precupanus inequality for orthornormal
families of vectors in inner product spaces, RGMIA Res. Rep. Coll., 7(E)
(2004), Art. 26. [ONLINE http://rgmia.vu.edu.au/v7(E).html]
[11] S.S. DRAGOMIR, Inequalities for orthornormal families of vectors in
inner product spaces related to Buzanos, Richards and Kurepas
results, RGMIA Res. Rep. Coll., 7(E) (2004), Art. 25. [ONLINE
http://rgmia.vu.edu.au/v7(E).html]
[12] S.S. DRAGOMIR, Refinements of the Schwarz and Heisenberg inequalities in
Hilbert spaces, J. Inequal. Pure & Appl. Math., 5(3) (2004), Art. 60. [ONLINE:
http://jipam.vu.edu.au/article.php?sid=446]
[13] S.S. DRAGOMIR, Reverses of the triangle inequality in inner product spaces, RGMIA Res. Rep. Coll., 7(E) (2004), Article 7. [ONLINE:
http://rgmia.vu.edu.au/v7(E).html].
[14] S.S. DRAGOMIR, Some Gr
uss type inequalities in inner product spaces,
J. Inequal. Pure & Appl. Math., 4(2) (2003), Article 42. [Online:
http://jipam.vu.edu.au/article.php?sid=280].
[15] S.S. DRAGOMIR, Some refinements of Schwartz inequality, Simpozionul de
Matematici si Aplicatii, Timisoara, Romania, 1-2 Noiembrie 1985, 1316.
105
106
BIBLIOGRAPHY
[16] S.S. DRAGOMIR, Refinements of Buzanos and Kurepas inequalities in inner product spaces, RGMIA Res. Rep. Coll., 7(E) (2004), Art. 24. [ONLINE
http://rgmia.vu.edu.au/v7(E).html]
[17] S.S. DRAGOMIR and B. MOND, On the superadditivity and monotonicity of
Schwarzs inequality in inner product spaces, Contributios, Macedonian Acad.
Sci. Arts., 15(2) (1994), 5-22.
CHAPTER 3
k=1
0r
Re hxi , ai
,
kxi k
i {1, . . . , n} .
Then
(3.2)
n
X
i=1
n
X
kxi k
xi
,
i=1
n
X
i=1
xi = r
n
X
!
kxi k a.
i=1
A generalisation of this result for orthonormal families is incorporated in the following result [1].
107
108
0 rk
Re hxi , ak i
,
kxi k
i {1, . . . , n} , k {1, . . . , m} .
Then
(3.5)
m
X
! 21
rk2
n
X
i=1
k=1
n
X
kxi k
xi
,
i=1
n
X
xi =
i=1
n
X
!
kxi k
i=1
m
X
r k ak .
k=1
!2
kxi k
2
n
X
xi
i=1
and
P
2
k ni=1 xi k
P
2.
( ni=1 kxi k)
Applications for vector valued integral inequalities and for complex
numbers are given as well.
3.2. Some Inequalities of Diaz-Metcalf Type
3.2.1. The Case of One Vector. The following result with a
natural geometrical meaning holds [3]:
Theorem 42 (Dragomir, 2004). Let a be a unit vector in the inner
product space (H; h, i) and (0, 1) . If xi H, i {1, . . . , n} are
such that
(3.7)
109
n
n
X
X
p
2
1
kxi k
xi
,
i=1
i=1
n
X
xi =
1 2
i=1
n
X
!
kxi k a.
i=1
kxi k2 + 1 2 2 Re hxi , ai ,
p
kx k2
2 Re hxi , ai
p i
+ 1 2 p
,
1 2
1 2
(3.12)
+ q 2 pq, p, q 0, > 0
we have
p
kxi k2
(3.13)
2 kxi k p
+ 1 2
1 2
and thus, by (3.11) and (3.13), we deduce
Re hxi , ai p
1 2 ,
kxi k
for each i {1, . . . , n} . Applying Theorem 40 for r =
deduce the desired inequality (3.8).
1 2 , we
Re hM a xi , xi mai 0
110
or, equivalently,
1
M
+
m
xi
(M m)
a
2
2
(3.15)
n
n
X
2 mM X
(3.16)
kxi k
xi
,
m + M i=1
i=1
or, equivalently,
(3.17)
(0 )
n
X
i=1
2
n
X
M
kxi k
xi
2 mM
i=1
n
X
xi
.
i=1
n
n
X
2 mM X
(3.18)
xi =
kxi k a.
m
+
M
i=1
i=1
Proof. Firstly, we remark that if x, z, Z H, then the following
statements are equivalent:
(i) Re
x,
hZ Z+z
x 1 zi 0;
(ii) x 2
2 kZ zk .
Using this fact, one may simply realize that (3.14) and (3.15) are
equivalent.
Now, from (3.14), we get
kxi k2 + mM (M + m) Re hxi , ai ,
M +m
kxi k2
Re hxi , ai ,
+ mM
(3.19)
mM
mM
for each i {1, . . . , n} .
Using the inequality (3.12) from Theorem 42, we also have
kxi k2
+ mM ,
2 kxi k
mM
for each i {1, . . . , n} .
Utilizing (3.19) and (3.20), we may conclude with the following
inequality
M +m
Re hxi , ai ,
kxi k
mM
(3.20)
which is equivalent to
(3.21)
111
2 mM
Re hxi , ai
m+M
kxi k
2 mM
, we deduce the desired conclusion.
m+M
The equivalence between (3.16) and (3.17) follows by simple calculation and we omit the details.
3.2.2. The Case of m Vectors. In a similar manner to the one
used in the proof of Theorem 42 and by the use of the Diaz-Metcalf
inequality incorporated in Theorem 41, we can also prove the following
result [3] :
Proposition 35. Let a1 , . . . , an be orthonormal vectors in H. Suppose the vectors x1 , . . . , xn H\ {0} satisfy
(3.22)
k=1
i=1
i=1
k=1
Re hMk ak xi , xi k ak i 0,
or, equivalently,
(3.26)
1
M
+
k
k
xi
(Mk k ) ,
a
k
2
2
112
m
X
k=1
k M k
(k + Mk )2
! 12
n
X
i=1
n
X
kxi k
xi
.
i=1
n
X
n
X
xi = 2
i=1
!
kxi k
i=1
m
X
k=1
p
k M k
ak .
k + M k
(0 )
n
X
i=1
n
n
X
X
kxi k
xi
ki .
i=1
i=1
(3.31)
kxi k
i=1
n
X
ki
i=1
and
(3.32)
n
X
i=1
xi =
n
X
kxi k
i=1
n
X
!
ki e.
i=1
i=1
i=1
113
P
By Schwarzs inequality for e and ni=1 xi , we have
* n
+ * n
+
X
X
(3.34) Re e,
xi Re e,
xi
i=1
i=1
*
n
n
+
n
X
X
X
xi
=
xi
.
e,
xi kek
i=1
i=1
i=1
i=1
i=1
i=1
i=1
e =
n
X
xi .
i=1
Replacing
Pn
i=1
i=1
i=1
kxi k kek2 =
n
X
i=1
Pn
ki ,
i=1
Pn
i=1
114
(3.37)
(3.38)
n
X
i=1
n
n
m
1
X
1 X X
xi
+
Mik .
kxi k
m
i=1
m i=1 k=1
(3.39)
kxi k
i=1
1 XX
Mik
m i=1 k=1
and
(3.40)
n
X
xi =
i=1
n
X
i=1
1 XX
kxi k
Mik
m i=1 k=1
m
X
ek .
k=1
*
kxi k Re e,
n
X
i=1
+
xi
n
X
Mik ,
i=1
(3.41)
n
X
i=1
* m
+
n
n
m
X X
1
1 XX
kxi k
Re
ek ,
xi +
Mik .
m
m
i=1
i=1 k=1
k=1
115
Pn
P
By Schwarzs inequality for m
k=1 ek and
i=1 xi we have
* m
+ * m
+
n
n
X X
X
X
Re
ek ,
xi Re
(3.42)
ek ,
xi
i=1
k=1
* m k=1 n i=1+
X X
ek ,
xi
k=1
i=1
m
n
X
X
ek
xi
i=1
k=1
n
X
xi
,
= m
i=1
since, obviously,
v
2 v
u m
m
m
X
u
X
u
uX
t
ek
= t
ek
=
kek k2 = m.
k=1
k=1
k=1
n
n
m
m X
1 XX
=
Mik
kxi k
m i=1 k=1
m i=1
=
n
X
i=1
1 XX
kxi k
Mik ,
m i=1 k=1
116
with
(3.43)
m
X
ek =
n
X
xi .
i=1
k=1
Replacing
Pn
i=1
k=1
i=1 k=1
i=1
n
X
kxi k
i=1
m
X
kek k =
n X
m
X
Mik
i=1 k=1
k=1
giving
=
n
X
i=1
1 XX
kxi k
Mik .
m i=1 k=1
(0 )
n
X
i=1
n
X
kxi k
xi
i=1
2
1
1+
Re
* n
X
+
xi , e
i=1
n
X
p
xi
.
p
1 2 1 + 1 2
i=1
117
(3.47)
i=1
kxi k p
1+
Re
* n
X
+
xi , e
i=1
and
(3.48)
n
X
xi
i=1
n
X
i=1
kxi k p
1+
Re
* n
X
+
xi , e e.
i=1
kxi k Re hxi , ei
1
p
1 2
1 Re hxi , ei
2
=p
1 2 1 +
1 2
Re hxi , ei
i {1, . . . , n} ,
Re hM e xi , xi mei 0,
or, equivalently,
(3.51)
xi M + m e
1 (M m)
2
2
118
kxi k
xi
Re
(3.52) (0 )
xi , e
2 mM
i=1
i=1
i=1
2
n
M m
X
xi
.
2 mM
i=1
(3.53)
kxi k
Re
xi , e
2
mM
i=1
i=1
and
(3.54)
n
X
i=1
xi =
n
X
i=1
kxi k
2
* n
+
M m
X
Re
xi , e e.
2 mM
i=1
kxi k Re hxi , ei
Re hxi , ei
2 mM
for each i {1, . . . , n} .
Now, making use of Theorem 44, we deduce the conclusion of the
theorem. We omit the details.
Remark 39. If one uses Theorem 45 instead of Theorem 44 above,
then one can state the corresponding generalisation for families of orthonormal vectors of the inequalities (3.46) and (3.52) respectively. We
do not provide them here.
3.4.2. The Case of Arbitrary Balls. Now, on utilising a slightly
different approach, we may point out the following result [3]:
Theorem 48 (Dragomir, 2004). Let (H; h, i) be an inner product
space over K and e, xi H, i {1, . . . , n} with kek = 1. If ri > 0,
119
n
X
i=1
n
n
X
1X
kxi k
ri2 .
xi
2
i=1
i=1
n
X
i=1
xi =
n
X
i=1
1X 2
kxi k
r
2 i=1 i
!
e.
2 kxi k kxi k2 + 1,
1
kxi k Re hxi , ei ri2
2
Re hMi e x, x mi ei 0
120
i=1
i=1
(3.65)
i=1
1 X (Mi mi )2
kxi k
4 i=1 Mi + mi
and
n
X
(3.66)
xi =
i=1
n
X
i=1
1 X (Mi mi )2
kxi k
4 i=1 Mi + mi
!
e.
kxi k +
Mi + m i
2
2
Mi + m i
1
2 Re xi ,
e + (Mi mi )2
2
4
and since
2
Mi + m i
2
kxi k kxi k +
Mi + m i
2
2
,
then we get
Mi + m i
Mi + m i
1
kxi k 2
Re hxi , ei + (Mi mi )2 ,
2
2
2
4
or, equivalently,
1 (Mi mi )2
kxi k Re hxi , ei
4
Mi + m i
for each i {1, . . . , n} .
2
i mi )
Now, making use of Theorem 44 for ki := 41 (M
, i {1, . . . , n} ,
Mi +mi
we deduce the desired result.
Remark 40. If one uses Theorem 45 instead of Theorem 44 above,
then one can state the corresponding generalisation for families of orthonormal vectors of the inequalities in (3.56) and (3.64) respectively.
We omit the details.
121
(0 )
(3.68)
1 r2 (kxk + kyk) kx + yk .
Taking the square in (3.68) we deduce
1 r2 kxk2 + 2 kxk kyk + kyk2 kxk2 + 2 Re hx, yi + kyk2
which is clearly equivalent to (3.67).
Now, assume that (3.67) holds with a constant C > 0 instead of
1
, i.e.,
2
(3.69)
2 Cr
2
2 1+r
giving
1
1 + r2 C
2
for any r (0, 1) . If in this inequality we let r 0+, then we get
C 12 and the proposition is proved.
122
2
2
(kxk + kyk)
The constant
1
2
M m
M +m
2
.
i=1
1i<jn
The case of equality holds in (3.71) if and only if it holds in (3.70) for
each i, j with 1 i < j n.
123
i,j=1
n
X
kxi k kxj k
i=1
n
X
j=1
Re hxi , xj i
i,j=1
i,j=1
1i<jn
1j<in
=2
1i<jn
kij ,
1i<jn
kij .
kij
2
2
1i<jn
1i<jn
124
then the following refinement of the quadratic generalised triangle inequality is valid:
2
!2
n
n
n
X
2
X
X
X
(3.74)
kxi k
xi
+ 2
ij
xi
.
i=1
i=1
1i<jn
i=1
The equality holds in the first part of (3.74) iff the case of equality holds
in (3.73) for each 1 i < j n.
The following result holds [4].
Proposition 39. Let (H; h, i) be as above, xi H, i {1, . . . , n}
and r > 0 such that
kxi xj k r
(3.75)
for 1 i < j n. Then
(3.76)
n
X
!2
kxi k
i=1
2
n
X
n (n 1) 2
r .
xi
+
2
i=1
(3.78)
X
1i<jn
kij =
n (n 1) 2
r ,
4
125
k=i
k=1
Pn1
i=1
k=1
for n 2, xi H, i {1, . . . , n} .
If we choose in (3.80), n = 2, x1 = 12 e, x2 = 12 e, e H, kek = 1,
then we get 1 2c, giving c 21 .
The following result providing a reverse of the quadratic generalised
triangle inequality in terms of the sup-norm of the forward differences
also holds [4].
Proposition 40. Let (H; h, i) be an inner product space and xi
H, i {1, . . . , n} . Then we have the inequality
!2
n
n
X
2 n2 (n2 1)
X
(3.81)
kxi k
xi
+
max kxk k2 .
1kn1
12
i=1
The constant
1
12
i=1
126
j1
X
k=i
for 1 i < j n.
Squaring the above inequality, we get
kxj k2 + kxi k2 2 Re hxi , xj i + (j i)2 max kxk k2
1kn1
(3.82)
1
2
1
(j i)2 max kxk k2
1kn1
2
state that
n
X
!2
kxi k
i=1
n
X
2
xi
+
i=1
X
1i<jn
However,
n
n
X
1X
2
(j i) =
(j i) = n
k2
2
i,j=1
1i<jn
k=1
n
X
!2
k
k=1
n2 (n2 1)
=
12
giving the desired inequality.
To prove the sharpness of the constant, assume that (3.81) holds
with a constant D > 0, i.e.,
!2
n
n
X
2
X
(3.83)
kxi k
xi
+ Dn2 n2 1 max kxk k2
1kn1
i=1
i=1
for n 2, xi H, i {1, . . . , n} .
If in (3.83) we choose n = 2, x1 = 12 e, x2 = 12 e, e H, kek = 1,
1
then we get 1 12D giving D 12
.
The following result may be stated as well [4].
127
i=1
1
p
1i<jn
k=1
1
q
where p > 1, + = 1.
The constant E = 1 in front of the double sum cannot generally be
replaced by a smaller constant.
Proof. Using Holders inequality, we have
kxj xi k
j1
X
kxk k (j i)
j1
X
1
q
k=i
! p1
kxk kp
k=i
1
(j i) q
n1
X
! p1
kxk kp
k=1
for 1 i < j n.
Squaring the previous inequality, we get
kxj k2 + kxi k2 2 Re hxi , xj i + (j i)
2
q
n1
X
! p2
kxk kp
k=1
for 1 i < j n.
Utilising the same argument from the proof of Proposition 40, we
deduce the desired inequality (3.84).
Now assume that (3.84) holds with a constant E > 0, i.e.,
!2
n
! p2
n
n1
X
2
X
X
X
2
p
kxi k
xi
+ E
(j i) q
kxk k
,
i=1
i=1
1i<jn
k=1
1
6
128
i=1
and since
X
1i<jn
k=1
(j i)
1i<jn
= 1 + (1 + 2) + (1 + 2 + 3) + + (1 + 2 + + n 1)
=
n1
X
(1 + 2 + + k) =
k=1
n1
X
k (k + 1)
k=1
n (n2 1)
,
6
hence the inequality (3.84) is proved. The best constant may be shown
in the same way as above but we omit the details.
3.6.3. A Different Quadratic Inequality. Finally, we may state
and prove the following different result [4].
Theorem 50 (Dragomir, 2004). Let (H; h, i) be an inner product
space, yi H, i {1, . . . , n} and M m > 0 are such that either
(3.86)
or, equivalently,
1
M
+
m
yi
(M m) kyj k for 1 i < j n.
(3.87)
y
j
2
2
Then we have the inequality
!2
n
2
n
n1
X
X
1 (M m)2 X
(3.88)
kyi k
yi
+
k kyk+1 k2 .
2
M + m k=1
i=1
i=1
The case of equality holds in (3.88) if and only if
1 (M m)2
(3.89)
kyi k kyj k Re hyi , yj i =
kyj k2
4
M +m
for each i, j with 1 i < j n.
Proof. Taking the square in (3.87), we get
kyi k2 +
(M m)2
kyj k2
M +m
M +m
2 Re yi ,
yj
2
+
1
(M m)2 kyj k2
n
129
M +m
2
kyi k kyj k
M +m
1
2 Re yi ,
yj + (M m)2 kyj k2 ,
2
n
1<jn
n
X
n
X
j=2
j=3
kyj k2 +
n
X
j=2
2<jn
n1<jn
kyj k2 + +
(j 1) kyj k2 =
n
X
kyj k2 + kyn k2
j=n1
n1
X
k kyk+1 k2 ,
k=1
130
i=1
i=1
The equality holds in (3.93) if and only if it holds in (3.92) for each
i, j with 1 i < j n.
Proof. Firstly, let us observe that the following identity holds
true:
n
!2
n
X
2
X
(3.94)
kxi k k
xi
i=1
i=1
*
+
n
n
n
X
X
X
=
kxi k kxj k k
xi ,
xj
=
i,j=1
n
X
i=1
j=1
i,j=1
=2
n
X
kxi k2 ,
i=1
1i<jn
2
!2
n
n
n
n
X
X
X
X
(3.95) 0
kxi k
kxi k2 k
xi
kxi k2 .
i=1
i=1
i=1
i=1
P
Remark 46. Since k = 1 and ni=1 kxi k2 0, hence by (3.93) one
may deduce the following reverse of the triangle inequality
n
n
X
X
(3.96)
kxi k k
xi
,
i=1
i=1
131
Pn
i=1
kxi k ,
i=1
we get
(3.98) (k 1)
n
X
kxi k +
i=1
n
X
!2
kxi k
i=1
!2
X
n
k1
+1
kxi k .
n
i=1
1
k
xi
kxi k
n
i=1
i=1
i=1
2
n
X
xi
.
i=1
132
p
kxi k2
2
x
j
p
+ 1 2 p
Re xi ,
,
kxj k
1 2
1 2
for 1 i < j n.
On the other hand, by the elementary inequality
p
(3.103)
+ q 2 pq, p, q 0, > 0
we have
p
kxi k2
(3.104)
2 kxi k p
+ 1 2 .
1 2
Making use of (3.102) and (3.104), we deduce that
1
kxi k kxj k p
Re hxi , xj i
1 2
for 1 i < j n.
Now, applying Lemma 5 for k = 1
12
result.
Remark 47. If we assume that kxi k = 1, i {1, . . . , n} , satisfying
the simpler condition
(3.105)
kxj xi k
for 1 i < j n,
P
then, from (3.100), we deduce the following lower bound for k ni=1 xi k ,
namely
n
h
i 12
X
p
(3.106)
n + n (n 1) 1 2
xi
.
i=1
p
The equality holds in (3.106) iff 1 2 = Re hxi , xj i for 1 i < j
n.
Remark 48. Under the hypothesis of Proposition 41, we have the
coarser but simpler reverse of the triangle inequality
n
n
X
X
p
4
(3.107)
1 2
kxi k
xi
.
i=1
i=1
12
(3.108)
n
X
s
kxi k
i=1
133
n
X
p
p
xi
,
n 1 2 + 1 1 2
i=1
n
or, equivalently,
1
M
+
m
xi
(M m) kxj k for 1 i < j n
(3.110)
x
j
2
2
hold. Then
2 mM
(3.111)
M +m
n
X
i=1
!2
kxi k
2
n
M m X
M +m
kxi k2
i=1
2
n
X
xi
.
i=1
M +m
kxi k kxj k =
Re hxi , xj i for 1 i < j n.
2 mM
M +m
kxi k2
Re hxi , xj i ,
+ mM kxj k2
mM
mM
and since, obviously
kxi k2
+ mM kxj k2
2 kxi k kxj k
mM
134
hence
M +m
kxi k kxj k
Re hxi , xj i , for 1 i < j n.
2 mM
Applying Lemma 6 for k =
M
+m
2 mM
Remark 49. We also must note that a simpler but coarser inequality that can be obtained from (3.111) is
! 12 n
n
X
X
2 mM
kxi k
xi
,
M +m
i=1
i=1
(3.114)
i, j {1, . . . , n} .
i, j {1, . . . , n}
and thus
kxi k
kxj k2 2 Re hxi , xj i ,
i, j {1, . . . , n} .
135
0 r1 kxk k Re hxk , ei ,
0 r2 kxk k Im hxk , ei
k=1
n
X
xk = (r1 + ir2 )
k=1
n
X
!
kxk k e.
k=1
k=1
n
X
!2
Re hxk , ei
r12
k=1
n
X
!2
kxk k
k=1
and
(3.122)
n
X
k=1
!2
Im hxk , ei
r22
n
X
k=1
!2
kxk k
136
If we add (3.121) and (3.122) and use (3.120), then we deduce the
desired inequality (3.118).
Now, if (3.119) holds, then
!
n
n
n
q
X
X
X
2
2
xk
= |r1 + ir2 |
kxk k kek = r1 + r2
kxk k
k=1
k=1
k=1
k=1
and
(3.124)
r1 kxk k = Re hxk , ei ,
r2 kxk k = Im hxk , ei
n
X
xk =
k=1
* n
X
+
xk , e e
k=1
and from (3.124), by multiplying the second equation with i and summing both equations over k from 1 to n, we deduce
* n
+
n
X
X
(3.126)
(r1 + ir2 )
kxk k =
xk , e .
k=1
k=1
kxk iek 2
137
k=1
k=1
1 22 kxk k Im hxk , ei
Re hM1 e xk , xk m1 ei 0,
Re hM2 ie xk , xk m2 iei 0
or, equivalently,
(3.133)
M
+
m
1
1
xk
e
2
xk M2 + m2 ie
2
1
(M1 m1 ) ,
2
1
(M2 m2 ) ,
2
138
X
n
n
X
m 2 M2
m 1 M1
kxk k e.
+i
(3.135)
xk = 2
M
M
2 + m2
1 + m1
k=1
k=1
Proof. From the first inequality in (3.132)
2 m 1 M1
(3.136)
0
kxk k Re hxk , ei
M1 + m 1
for each k {1, . . . , n} .
Now, the proof follows the same path as the one of Corollary 29
and we omit the details.
3.8.2. The Case of m Orthonormal Vectors. In [1], the authors have proved the following reverse of the generalised triangle inequality in terms of orthonormal vectors [5].
Theorem 55 (Diaz-Metcalf, 1966). Let e1 , . . . , em be orthonormal
vectors in (H; h, i), i.e., we recall that hei , ej i = 0 if i 6= j and kei k =
1, i, j {1, . . . , m} . Suppose that the vectors x1 , . . . , xn H satisfy
0 rk kxj k Re hxj , ek i ,
j {1, . . . , n} , k {1, . . . , m} . Then
! 21 n
n
m
X
X
X
(3.137)
kxj k
xj
,
rk2
k=1
j=1
j=1
n
X
j=1
xj =
n
X
!
kxj k
j=1
m
X
rk ek .
k=1
0 rk kxj k Re hxj , ek i ,
0 k kxj k Im hxj , ek i
139
k=1
j=1
j=1
k=1
k=1
m
X
k=1
x=
m
X
hx, ek i ek .
k=1
P
Applying Bessels inequality for x = nj=1 xj , we have
n
* n
n
2
+2
m X
m X
X
2 X
X
(3.145)
xj
xj , ek =
hxj , ek i
j=1
j=1
k=1
k=1 j=1
!
!2
m X
n
n
X
X
=
Re hxj , ek i + i
Im hxj , ek i
j=1
j=1
k=1
!2
!2
m
n
n
X
X
X
=
Re hxj , ek i +
Im hxj , ek i .
k=1
j=1
j=1
n
X
j=1
!2
kxj k
140
and
(3.147)
n
X
!2
n
X
2k
Im hxj , ek i
j=1
!2
kxj k
j=1
2
!2
!2
n
n
n
m
X
X
X
X
rk2
xj
kxj k + 2k
kxj k
j=1
j=1
j=1
k=1
!
2 m
n
X
X
=
kxj k
rk2 + 2k ,
j=1
k=1
n
X
k=1
!2
kxj k
j=1
m
X
rk2 + 2k ,
k=1
k=1
j=1
and
(3.149)
rk kxj k = Re hxj , ek i ,
k kxj k = Im hxj , ek i
k=1
j=1
141
j=1
kxj iek k k
k=1
j=1
j=1
k=1
The proof employs Theorem 56 and is similar to the one from Corollary 29. We omit the details.
Corollary 32. Let e1 , . . . , em be as in Corollary 31 and Mk
mk > 0, Nk nk > 0, k {1, . . . , m} . If x1 , . . . , xn H are such that
either
Re hMk ek xj , xj mk ek i 0, Re hNk iek xj , xj nk iek i 0
or, equivalently,
M
+
m
k
k
xj
ek
2
N
+
n
k
k
xj
ie
k
2
1
(Mk mk ) ,
2
1
(Nk nk )
2
142
n
n
X
X
X
n k Nk
m k Mk
ek .
+i
(3.155)
xj = 2
kxj k
Nk + n k
Mk + m k
j=1
j=1
k=1
The proof employs Theorem 56 and is similar to the one in Corollary
30. We omit the details.
3.9. Applications for Vector-Valued Integral Inequalities
Let (H; h, i) be a Hilbert space over the real or complex number
field, [a, b] a compact interval in R and : [a, b] [0, ) a Lebesgue
Rb
integrable function on [a, b] with the property that a (t) dt = 1. If,
by L ([a, b] ; H) we denote the Hilbert space of all Bochner measurable
Rb
functions f : [a, b] H with the property that a (t) kf (t)k2 dt < ,
then the norm kk of this space is generated by the inner product
h, i : H H K defined by
Z b
hf, gi :=
(t) hf (t) , g (t)i dt.
a
(3.156)
for a.e. t [a, b] and each i {1, . . . , n} , then we have the inequality
(3.157)
12
n Z b
X
p
2
2
1
(t) kfi (t)k dt
i=1
2 12
n
X
(t)
fi (t)
dt .
i=1
i=1
Z
12
(t) 2 dt
=
12
n Z b
2 mM X
2
(t) kfi (t)k dt
m + M i=1
a
2 12
Z b
n
X
(t)
fi (t)
dt .
a
i=1
12
n
n Z b
X
2 mM X
2
(t) kfi (t)k dt
g (t) ,
fi (t) =
m + M i=1
a
i=1
for a.e. t [a, b] .
The following proposition providing a reverse of the integral generalised triangle inequality may be stated [4].
Proposition 44. Let (H; h, i) be a Hilbert space and : [a, b]
Rb
[0, ) as above. If g L ([a, b] ; H) is so that a (t) kg (t)k2 dt = 1
and fi L ([a, b] ; H) , i {1, . . . , n} , and M m > 0 are so that
either
(3.159)
144
or, equivalently,
fi (t) m + M fj (t)
1 (M m) kfj (t)k
2
2
for a.e. t [a, b] and 1 i < j n, then we have the inequality
"
(3.160)
n Z
X
i=1
12 #2
(t) kfi (t)k2 dt
2
n
X
(t)
fi (t)
dt
a
i=1
!
Z
n1
X
1 (M m)2 b
(t)
k kfk+1 (t)k2 dt.
+
2
m+M
a
k=1
Z
21 Z b
12
(t) kfi (t)k2 dt
(t) kfj (t)k2 dt
1 (M m)2
=
4
m+M
145
21 #2
b
2 mM X
(3.161)
(t) kfi (t)k2 dt
m + M i=1
a
2
n Z b
M m X
+
(t) kfi (t)k2 dt
m+M
i=1 a
2
Z b
n
X
(t)
fi (t)
dt.
a
i=1
21 Z b
12
(t) kfi (t)k2 dt
(t) kfj (t)k2 dt
M +m
=
2 mM
(3.162)
0 1 arg (zk ) 2 <
2
for each k {1, . . . , n} . Then we have the inequality
q
n
n
X
X
(3.163)
sin2 1 + cos2 2
|zk |
zk .
k=1
k=1
n
X
k=1
zk = (cos 2 + i sin 1 )
n
X
k=1
|zk | .
146
b2k
tan2 2 ,
a2k
k {1, . . . , n}
,
2
ak
cos2 2
k {1, . . . , n} , 2 0,
2
and
1 + tan2 1
1
a2k + b2k
=
,
2
2
ak
tan 1
sin2 1
k {1, . . . , n} , 1 0,
2
(3.166)
k=1
k=1
k=1
147
k=1
Bibliography
[1] J.B. DIAZ and F.T. METCALF, A complementary triangle inequality in
Hilbert and Banach spaces, Proceedings Amer. Math. Soc., 17(1) (1966), 88-97.
[2] S.S. DRAGOMIR, Advances in inequalities of the Schwarz,
Gruss and Bessel type in inner product spaces,
Preprint,
http://front.math.ucdavis.edu/math.FA/0309354.
[3] S.S. DRAGOMIR, Reverses of the triangle inequality in inner product
spaces, RGMIA Res. Rep. Coll., 7(2004), Supplement, Article 7, [ONLINE:
http://rgmia.vu.edu.au/v7(E).html].
[4] S.S. DRAGOMIR, Quadratic reverses of the triangle inequality in inner product spaces, RGMIA Res. Rep. Coll., 7(2004), Supplement, Article 8, [ONLINE:
http://rgmia.vu.edu.au/v7(E).html].
[5] S.S. DRAGOMIR, Some reverses of the generalised triangle inequality in complex inner product spaces, RGMIA Res. Rep. Coll., 7(2004), Supplement, Article 8, [ONLINE: http://rgmia.vu.edu.au/v7(E).html].
[6] J. KARAMATA, Teorija i Praksa Stieltjesova Integrala (Serbo-Coratian)
(Stieltjes Integral, Theory and Practice), SANU, Posebna izdanja, 154,
Beograd, 1949.
[7] S.M. KHALEELULA, On Diaz-Metcalfs complementary triangle inequality,
Kyungpook Math. J., 15 (1975), 9-11..
[8] M. MARDEN, The Geometry of the Zeros of a Polynomial in a Complex
Variable, Amer. Math. Soc. Math. Surveys, 3, New York, 1949.
C,
On a complementary inequality of the triangle inequality
[9] P.M. MILICI
(French), Mat. Vesnik 41(1989), No. 2, 83-88.
J.E. PECARI
149
CHAPTER 4
provided
arg f (x) , x [a, b]
for given 0, 2 .
This integral inequality is the continuous version of a reverse inequality for the generalised triangle inequality
n
n
X
X
(4.3)
cos
|zi |
zi ,
i=1
i=1
provided
a arg (zi ) a + , for i {1, . . . , n} ,
where a R and 0, 2 , which, as pointed out in [8, p. 492],
was first discovered by M. Petrovich in 1917, [9], and, subsequently
rediscovered by other authors, including J. Karamata [6, p. 300 301],
H.S. Wilf [10], and in an equivalent form, by M. Marden [7].
The first to consider the problem in the more general case of Hilbert
and Banach spaces, were J.B. Diaz and F.T. Metcalf [1] who showed
151
152
4.
i=1
provided
Re hxi , ai
,
i {1, . . . , n} ,
kxi k
and a H is a unit vector, i.e., kak = 1. The case of equality holds in
(4.4) if and only if
!
n
n
X
X
(4.5)
xi = r
kxi k a.
0r
i=1
i=1
Re hxi , ak i
,
kxi k
Then
m
X
! 21
rk2
k=1
i {1, . . . , n} , k {1, . . . , m} .
n
X
i=1
n
X
kxi k
xi
,
i=1
xi =
n
X
i=1
!
kxi k
m
X
r k ak .
k=1
The main aim of this chapter is to survey some recent reverses of the
triangle inequality for Bochner integrable functions f with values in
Hilbert spaces and defined on a compact interval [a, b] R. Applications for Lebesgue integrable complex-valued functions are provided as
well.
4.2. Multiplicative Reverses
4.2.1. Reverses for a Unit Vector. We recall that f L ([a, b] ; H) ,
the space of Bochner integrable functions with values in a Hilbert space
H, if and only if f : [a, b] H is Bochner measurable on [a, b] and the
Rb
Lebesgue integral a kf (t)k dt is finite.
The following result holds [2]:
153
kf (t)k K Re hf (t) , ei
154
4.
= K Re he, ei = K
giving
Z
1 b
kf (t)k dt,
=
K a
and thus the equality (4.8) is necessary.
This completes the proof.
A more appropriate result from an applications point of view is
perhaps the following result [2].
Corollary 33. Let e be a unit vector in the Hilbert space (H; h, i) ,
(0, 1) and f L ([a, b] ; H) so that
kf (t) ek
(4.11)
155
+ q 2 pq, p, q 0, > 0
we have
p
kf (t)k2
(4.15)
2 kf (t)k p
+ 1 2
1 2
for each t [a, b] .
Making use of (4.14) and (4.15), we deduce
1
kf (t)k p
Re hf (t) , ei
1 2
for a.e. t [a, b] .
Applying Theorem 57 for K = 1
12
equality (4.12).
In the same spirit, we also have the following corollary [2].
Corollary 34. Let e be a unit vector in H and M m > 0. If
f L ([a, b] ; H) is such that
(4.16)
or, equivalently,
(4.17)
1
M
+
m
(M m)
f (t)
e
2
2
Z b
Z
2 mM b
(4.18)
kf (t)k dt
f (t) dt
,
M +m a
a
or, equivalently,
Z b
(0 )
kf (t)k dt
f (t) dt
a
a
2 Z
M m
b
.
f
(t)
dt
M +m
Z
(4.19)
The equality holds in (4.18) (or in the second part of (4.19)) if and
only if
Z b
Z b
2 mM
(4.20)
f (t) dt =
kf (t)k dt e.
M +m
a
a
156
4.
(4.21)
+ mM
Re hf (t) , ei
mM
mM
for a.e. t [a, b] .
On the other hand
kf (t)k2
(4.22)
2 kf (t)k
+ mM ,
mM
for any t [a, b] .
Utilising (4.21) and (4.22), we may conclude with the following
inequality
M +m
kf (t)k
Re hf (t) , ei ,
2 mM
for a.e. t [a, b] .
(4.23)
157
i=1
Rb
Proof. By Bessels inequality applied for a f (t) dt and the orthonormal vectors {e1 , . . . , en } , we have
Z b
2
2
n Z b
X
f
(t)
dt
(4.26)
f
(t)
dt,
e
i
a
i=1
n
X
Re
f (t) dt, ei
i=1
n Z b
X
i=1
2
Z
a
2
Re hf (t) , ei i dt .
implying
(4.27)
n Z
X
i=1
2 X
2
Z b
n
2
Re hf (t) , ei i dt
ki
kf (t)k dt .
i=1
i=1
n
X
i=1
i=1
ki2
! 12 Z
kf (t)k dt,
a
158
4.
i=1
(4.28)
i=1
and
Z
(4.30)
Im
= 0 for each i {1, . . . , n} .
f (t) dt, ei
a
i=1
n Z b
X
i=1
Re hf (t) , ei i ei dt
n Z
X
i=1
kf (t)k dt ki ei
kf (t)k dt
=
a
n
X
ki ei ,
i=1
159
i=1
i=1
Proof. From the proof of Theorem 57, we know that (4.25) implies
the inequality
q
1 2i kf (t)k Re hf (t) , ei i , i {1, . . . , n} , for a.e. t [a, b] .
p
Now, applying Theorem 58 for ki := 1 2i , i {1, . . . , n}, we deduce the desired result.
A different results is incorporated in (see [2]):
Corollary 36. Let {e1 , . . . , en } be a family of orthonormal vectors
in H, Mi mi > 0, i {1, . . . , n} and f L ([a, b] ; H) such that
(4.32)
or, equivalently,
1
M
+
m
i
i
f (t)
(Mi mi )
e
i
2
2
for i {1, . . . , n} and a.e. t [a, b] . Then we have the reverse of the
continuous triangle inequality
" n
# 12 Z
Z b
b
X 4mi Mi
,
kf
(t)k
dt
f
(t)
dt
2
(m
+
M
)
a
a
i
i
i=1
with equality if and only if
!
Z b
Z b
n
X
2 m i Mi
f (t) dt =
kf (t)k dt
ei .
m
+
M
i
i
a
a
i=1
160
4.
2 m i Mi
kf (t)k Re hf (t) , ei i , i {1, . . . , n} and a.e. t [a, b] .
m i + Mi
Now, applying Theorem 58 for ki :=
the desired result.
2 mi Mi
,
mi +Mi
i {1, . . . , n} , we deduce
and
Z
(4.36)
Z
Z
kf (t)k dt
f (t) dt =
a
k (t) dt e.
Rb
161
k
(t)
dt
a
a
b
a
b
kf (t)k dt
k (t) dt
(4.39)
Rb
Rb
kf (t) ek
162
4.
Z b
2
f (t) dt
p
.
2
2
a
1 1+ 1
The equality holds in (4.42) if and only if
Z b
Z b
2
Re
f (t) dt, e
(4.43)
kf (t)k dt p
p
2
2
a
a
1 1+ 1
and
Z
(4.44)
f (t) dt
a
Z b
=
kf (t)k dt p
a
1+
Z
p
Re
f (t) dt, e e.
Re hf (t) , ei
p
1 2
kf (t)k Re hf (t) , ei p
1 2 1 +
1 2
Re hf (t) , ei
12
1+ 12
163
Re hf (t) , ei , we
(4.45)
or, equivalently,
(4.46)
1
M
+
m
(M m)
f (t)
e
2
2
2
Z b
M m
Re
f (t) dt, e
2 mM
a
2
Z
M m
b
f (t) dt
.
2 mM
a
kf (t)k dt
Re
f (t) dt, e
2 mM
a
a
and
2
Z
Z b
Z b
b
M m
Re
f (t) dt, e e.
f (t) dt =
kf (t)k dt
2 mM
a
a
a
Proof. Observe that (4.45) is clearly equivalent to
kf (t)k2 + mM (M + m) Re hf (t) , ei
for a.e. t [a, b] , giving the inequality
M +m
kf (t)k2
Re hf (t) , ei
+ mM
mM
mM
for a.e. t [a, b] .
164
4.
Since, obviously,
kf (t)k2
+ mM
2 kf (t)k
mM
for any t [a, b] , hence we deduce the inequality
M +m
Re hf (t) , ei for a.e. t [a, b] ,
kf (t)k
mM
which is clearly equivalent to
2
M m
kf (t)k Re hf (t) , ei
Re hf (t) , ei
2 mM
for a.e. t [a, b] .
Finally, applying Theorem 59, we obtain the desired result.
We can state now (see also [3]):
Corollary 39. If f L ([a, b] ; H) and r L2 ([a, b] ; H) , e H,
kek = 1 are such that
(4.48)
kf (t) ek r (t)
1
kf (t)k Re hf (t) , ei r2 (t)
2
165
M +m
L [a, b] and either
1
M
(t)
+
m
(t)
f (t)
[M (t) m (t)]
e
(4.50)
2
2
or, equivalently,
(4.51)
166
4.
4.3.2. Additive Reverses for Orthonormal Families. The following reverse of the continuous triangle inequality for vector valued
integrals holds [3].
Theorem 60 (Dragomir, 2004). Let f L ([a, b] ; H) , where H is
a Hilbert space over the real or complex number field K, {ei }i{1,...,n}
an orthonormal family in H and Mi L [a, b] , i {1, . . . , n} . If we
assume that
kf (t)k Re hf (t) , ei i Mi (t) for a.e. t [a, b] ,
(4.53)
Z
(4.56)
Z
f (t) dt =
1X
kf (t)k dt
n i=1
Mi (t) dt
a
n
X
ei .
i=1
i=1
*Z
+ *Z
+
n
n
b
b
X
X
Re
f (t) dt,
ei
f (t) dt,
ei
a
a
i=1
i=1
Z b
Z b
X
n
f (t) dt
ei
= n
f (t) dt
,
a
a
i=1
167
since
v
2 v
u n
n
n
X
u
X
u
uX
t
ei
=
ei
= t
kei k2 = n.
i=1
i=1
i=1
ei =
f (t) dt.
a
i=1
Replacing
(4.61)
Rb
a
i=1
i=1
Finally, we note that (4.59) and (4.61) will produce the required
identity (4.56), and the proof is complete.
168
4.
(4.62)
12
n
2
1X
i p
1 +
.
p
n i=1 1 2 1 + 1 2
i
i
The equality holds in the first inequality in (4.63) if and only if
*Z
+
Z b
n
b
1X
2i
ei
kf (t)k dt Re
f (t) dt,
p
p
n i=1 1 2 1 + 1 2
a
a
i
and
Z
f (t) dt
a
*Z
kf (t)k dt Re
=
a
+
n
2
X
1
i p
ei
f (t) dt,
p
n i=1 1 2 1 + 1 2
i
n
X
ei .
i=1
169
i
ei
f (t) dt
p
p
n
a
i=1 1 2 1 + 1 2
i
Z b
n
X
1
p
f (t) dt
=
n
a
i=1
2 12
2i
1
2i
1+
2i
,
or, equivalently,
1
M
+
m
i
i
(Mi mi )
f (t)
e
i
2
2
for a.e. t [a, b] and each i {1, . . . , n} .Then we have
Z b
Z b
1
(4.65)
kf (t)k dt
f (t) dt
n a
a
*Z
2 +
n
b
Mi m i
1X
+ Re
f (t) dt,
ei
n i=1
2 m i Mi
a
4 ! 12
Z b
n
X
Mi m i
1
1 + 1
.
f (t) dt
n i=1
4mi Mi
n a
The equality holds in the first inequality in (4.65) if and only if
*Z
2 +
Z b
n
b
Mi m i
1X
kf (t)k dt Re
f (t) dt,
ei
n i=1
2 m i Mi
a
a
170
4.
and
Z
f (t) dt
a
*Z
kf (t)k dt Re
=
a
1X
f (t) dt,
n i=1
2 +!
Mi m i
ei
2 m i Mi
n
X
ei .
i=1
2
Mi m i
kf (t)k Re hf (t) , ei i
Re hf (t) , ei i
2 m i Mi
for a.e. t [a, b] and i {1, . . . , n} .
Applying Theorem 60 for
2
Mi m i
Mi (t) :=
Re hf (t) , ei i ,
2 m i Mi
t [a, b] , i {1, . . . , n} ,
"Z
f (t) dt =
a
1X
kf (t)k dt
n i=1
Z
a
# X
n
2
ri (t) dt
ei .
i=1
171
e
i
2
2
or, equivalently,
Re hMi (t) ei f (t) , f (t) mi (t) ei i 0
for a.e. t [a, b] and any i {1, . . . , n}, then we have the inequality
Z b
Z b
1
(4.69)
kf (t)k dt
f
(t)
dt
n
a
a
!
Z b
n
1 X
[Mi (t) mi (t)]2
+
dt .
4n i=1
Mi (t) + mi (t)
a
The equality holds in (4.69) if and only if
!
Z b
Z b
n
1 X
[Mi (t) mi (t)]2
kf (t)k dt
dt
4n i=1
Mi (t) + mi (t)
a
a
and
Z
f (t) dt
a
Z
=
a
1 X
kf (t)k dt
4n i=1
Z
a
!! n
X
[Mi (t) mi (t)]2
dt
ei .
Mi (t) + mi (t)
i=1
172
4.
4 Mi (t) + mi (t)
,
4 Mi (t) + mi (t)
t [a, b] , i {1, . . . , n} ,
(4.70)
for a.e. (t, s) . Then we have the following quadratic reverse of the
continuous triangle inequality:
2
Z b
2
Z b
ZZ
(4.71)
kf (t)k dt
f (t) dt
+ 2
k (t, s) dtds.
a
The case of equality holds in (4.71) if and only if it holds in (4.70) for
a.e. (t, s) .
Proof. We observe that the following identity holds
2
Z b
2
Z b
(4.72)
kf (t)k dt
f (t) dt
a
a
Z b
Z b
Z bZ b
=
kf (t)k kf (s)k dtds
f (t) dt,
f (s) ds
a
Z bZ
Z bZ
kf (t)k kf (s)k dtds
=
a
Z bZ
=
a
173
and thus
ZZ
(4.73)
I=2
and, by the identities (4.72) and (4.73), we deduce the desired inequality (4.71).
The case of equality is obvious and we omit the details.
Remark 51. From (4.71) one may deduce a coarser inequality that
can be useful in some applications. It is as follows:
Z b
Z Z
12
Z b
(0 )
kf (t)k dt
k (t, s) dtds .
f (t) dt
2
a
for a.e. (t, s) , then the following refinement of the quadratic triangle inequality is valid
2
Z b
2
Z b
ZZ
(4.75)
kf (t)k dt
f (t) dt
+ 2
k (t, s) dtds
a
a
Z b
2 !
.
f
(t)
dt
a
The equality holds in (4.75) iff the case of equality holds in (4.74) for
a.e. (t, s) .
The following result holds [4].
Theorem 61 (Dragomir, 2004). Let f L ([a, b] ; H) be such that
there exists M 1 m 0 such that either
(4.76)
or, equivalently,
1
M +m
(4.77)
f (s)
f (t)
2 (M m) kf (s)k
2
174
4.
1 (M m)2
+
2
M +m
(s a) kf (s)k2 ds.
1
4
1 (M m)2
kf (s)k2
4
M +m
(M m)2
M +m
kf (s)k2 , we deduce
2
2
Z b
kf (t)k dt
f
(t)
dt
a
1 (M m)2
+
2
M +m
ZZ
kf (s)k2 ds
175
Since
ZZ
Z b Z s
Z b
2
2
kf (s)k ds =
kf (s)k dt ds =
(s a) kf (s)k2 ds,
2
2
Z b
kf (t)k dt
f
(t)
dt
a
or, equivalently,
1
Z b
M +m 2
(4.83)
kf (t)k dt
2 Mm
a
2
M m
2 Mm
Z b
2
f
(t)
dt
a
Z b
.
f
(t)
dt
a
M +m
kf (t)k kf (s)k =
Re hf (t) , f (s)i ,
2 Mm
Re hf (t) , f (s)i
+ M m kf (s)k2
Mm
Mm
and, obviously, since
kf (t)k2
+ M m kf (s)k2 ,
2 kf (t)k kf (s)k
Mm
hence
M +m
Re hf (t) , f (s)i
kf (t)k kf (s)k
Mm
176
4.
2
M m
Re hf (t) , f (s)i .
2 Mm
2
M m)
Mm
2
2
Z b
(4.85)
kf (t)k dt
f (t) dt
a
a
2
M m
+
Re hf (t) , f (s)i .
2 Mm
On the other hand, since
Z
Z b
Z b
1
= Re
f (t) dt,
f (s) ds
2
a
a
Z b
2
1
f (t) dt
=
2 a
ZZ
or, equivalently,
1
f (t)
(4.87)
f (s)
2 | | kf (s)k
2
for a.e. (t, s) . Then we have the inequality:
Z b
+
(4.88)
[(b s) + (s a)] kf (s)k2 ds
2
a
Z b
2
f (s) ds
.
a
177
The case of equality holds in (4.88) if and only if the case of equality
holds in either (4.86) or (4.87) for a.e. (t, s) .
Proof. The inequality (4.86) is obviously equivalent to
kf (t)k2 + kf (s)k2 ( + ) Re hf (t) , f (s)i
(4.89)
(4.90)
a
Z b
Z s
2
dt ds
kf (t)k dt ds +
kf (s)k
a
a
Z b Z s
= ( + )
Re hf (t) , f (s)i dt ds.
2
b Z b
Z s
2
kf (t)k dt
s kf (s)k2 ds
kf (t)k dt ds = s
2
a
s
a
b
=b
kf (s)k2 ds
s kf (s)k2 ds
a
a
Z b
(b s) kf (s)k2 ds
=
a
and
Z b
kf (s)k
a
Z b
(s a) kf (s)k2 ds.
dt ds =
Since
d
ds
Z b
2 !
Z s
Z s
d
f (t) dt
f (t) dt,
f (t) dt
= ds
a
a
a
Z s
Z s
= f (s) ,
f (t) dt +
f (t) dt, f (s)
a
a
Z s
= 2 Re
f (t) dt, f (s) ,
a
178
4.
hence
Z b Z
a
Z s
Z b
Re hf (t) , f (s)i dt ds =
Re
f (t) dt, f (s) ds
a
a
Z s
2 !
Z
1 b d
ds
=
f
(t)
dt
2 a ds
a
Z b
2
1
.
=
f
(t)
dt
2
a
s [a, b]
s [a, b] .
Taking into account the above remark, we may state the following
corollary [4].
Corollary 45. Assume that f, , are as in Theorem 63.
a) If 1, then we have the inequality
Z b
2
Z b
+
2
.
(b a)
kf (s)k ds
f
(s)
ds
2
a
a
b) If 0 < < 1, then we have the inequality
Z b
2
Z b
+
2
.
(b a)
kf (s)k ds
f
(s)
ds
2
a
a
4.5. Refinements for Complex Spaces
4.5.1. The Case of a Unit Vector. The following result holds
[5].
Theorem 64 (Dragomir, 2004). Let (H; h, i) be a complex Hilbert
space. If f L ([a, b] ; H) is such that there exists k1 , k2 0 with
(4.91)
179
Z b
2
Z b
2
=
kek2
f
(t)
dt
f
(t)
dt
a
a
Z b
2
2 Z b
f (t) dt, e =
hf (t) , ei dt
a
Z b
Z b
2
=
Re hf (t) , ei dt + i
Im hf (t) , ei dt
a
a
Z b
2 Z b
2
=
Re hf (t) , ei dt +
Im hf (t) , ei dt .
a
implying
b
Z
(4.96)
a
2
2
Z b
2
Re hf (t) , ei dt k1
kf (t)k dt
a
and
Z
(4.97)
a
Z b
2
2
2
kf (t)k dt .
Im hf (t) , ei dt k2
a
If we add (4.96) and (4.97) and use (4.94), we deduce the desired inequality (4.92).
180
4.
k12 + k22
a
b
kf (t)k dt,
a
and
(4.99)
k1 kf (t)k = Re hf (t) , ei ,
k2 kf (t)k = Im hf (t) , ei
and from (4.99), by multiplying the second equality with i, the imaginary unit, and integrating both equations on [a, b] , we deduce
Z b
Z b
f (t) dt, e .
kf (t)k dt =
(4.101)
(k1 + ik2 )
a
181
kf (t)k2
p
+
1 21
1 21
2 Re hf (t) , ei
p
1 21
kf (t)k2
2 kf (t)k p
+
1 21
1 21 ,
q
1 22 kf (t)k Im hf (t) , ei
182
4.
or, equivalently,
f (t) M1 + m1 e
2
M
+
m
2
2
f (t)
ie
2
(4.110)
1
(M1 m1 ) ,
2
1
(M2 m2 ) ,
2
m 1 M1
m 2 M2
(4.111) 2
2 +
(M1 + m1 )
(M2 + m2 )2
12 Z
kf (t)k dt
a
Z b
.
f
(t)
dt
a
Z b
Z b
m 1 M1
m 2 M2
(4.112)
f (t) dt = 2
+i
kf (t)k dt e.
M1 + m 1
M2 + m 2
a
a
Proof. From the first inequality in (4.109), we get
kf (t)k2 + m1 M1 (M1 + m1 ) Re hf (t) , ei
implying
(4.113)
M1 + m 1
kf (t)k2 p
+ m 1 M1
Re hf (t) , ei
m 1 M1
m 1 M1
kf (t)k2 p
2 kf (t)k
+ m 1 M1 ,
m 1 M1
2 m 1 M1
(4.115)
0
kf (t)k Re hf (t) , ei
M1 + m 1
for a.e. t [a, b] .
Using the same argument as in the proof of Corollary 46, we deduce
the desired inequality. We omit the details.
183
4.5.2. The Case of Orthonormal Vectors. The following result holds [5].
Theorem 65 (Dragomir, 2004). Let {e1 , . . . , en } be a family of
orthonormal vectors in the complex Hilbert space (H; h, i). If kj , hj
0, j {1, . . . , n} and f L ([a, b] ; H) are such that
(4.116)
kj kf (t)k Re hf (t) , ej i ,
hj kf (t)k Im hf (t) , ej i
j=1
j=1
j=1
(4.120)
j=1
x=
n
X
hx, ej i ej .
j=1
Rb
a
2
2 X
n Z b
n Z b
X
=
hf
(t)
,
e
i
dt
f
(t)
dt,
e
j
j
j=1
j=1
184
4.
Z b
2
n Z b
X
=
Re
hf
(t)
,
e
i
dt
+
i
Im
hf
(t)
,
e
i
dt
j
j
a
a
j=1
" Z
2 Z b
2 #
n
b
X
=
Re hf (t) , ej i dt +
Im hf (t) , ej i dt
.
a
j=1
and
Z
Z
Im hf (t) , ej i dt hj
(4.124)
kf (t)k dt
n
X
kj2
h2j
Z
2
kf (t)k dt ,
j=1
which combined with (4.122) will produce the desired inequality (4.117).
Now, if (4.118) holds true, then
Z b
Z b
n
X
kf (t)k dt
(kj + ihj ) ej
f (t) dt
=
a
a
j=1
2 21
Z b
n
X
=
kf (t)k dt
(kj + ihj ) ej
a
j=1
Z
"
kf (t)k dt
n
X
# 12
kj2 + h2j
j=1
j=1
185
and
(4.126)
j=1
kf (t) iek k k
for each k {1, . . . , n} and for a.e. t [a, b] , then we have the
inequality
" n
# 21 Z
Z b
b
X
2
2
(4.129)
2 k k
kf (t)k dt
f (t) dt
.
a
k=1
Z
=
a
X
n q
q
1 2k + i 1 2k ek .
kf (t)k dt
k=1
186
4.
1
(Mk mk ) ,
2
1
(Nk nk )
2
for each k {1, . . . , n} and a.e. t [a, b] , then we have the inequality
(4.131) 2
( m
X
k=1
m k Mk
n k Nk
2 +
(Mk + mk )
(Nk + nk )2
) 12 Z
kf (t)k dt
a
Z b
f (t) dt
.
a
n
X
m k Mk
k=1
n k Nk
+i
Mk + m k
Nk + n k
ek .
187
|arg f (t)| ,
0,
,
2
1
cos
|Im f (t)|
tan ,
Re f (t)
> 1, then
K 2 1 = tan ,
2
(4.138)
1r
|f (t)| dt
f (t) dt .
a
188
4.
2
f (t) dt = 1 r ( + i)
|f (t)| dt.
a
Z b
Z
2 mM b
(4.141)
|f (t)| dt
f (t) dt ,
M +m a
a
or, equivalently,
(4.142)
Z b
(0 )
|f (t)| dt
f (t) dt
a
a
2 Z
M m b
.
f
(t)
dt
M +m
Z
The equality holds in (4.141) (or in the second part of (4.142)) if and
only if
Z b
Z b
2 mM
f (t) dt =
( + i)
|f (t)| dt.
M +m
a
a
The proof follows by Corollary 34 and we omit the details.
Remark 55. Since
M e f (t) = M Re f (t) + i [M Im f (t)] ,
f (t) me = Re f (t) m i [Im f (t) m]
hence
h
i
(4.143) Re (M e f (t)) f (t) me
= [M Re f (t)] [Re f (t) m]
+ [M Im f (t)] [Im f (t) m] .
189
It is obvious that, if
(4.144)
m Re f (t) M
m Im f (t) M
and
(4.145)
then, by (4.143),
i
h
Re (M e f (t)) f (t) me 0
where e has been defined above. Then we have the following reverse of
the continuous triangle inequality
Z b
Z b
(4.147)
|f (t)| dt
f (t) dt
(0 )
a
p
1 2 1 + 1 2
Z b
Z b
Re f (t) dt +
Im f (t) dt .
a
The proof follows by Corollary 37, and the details are omitted.
On the other hand, the following result is perhaps more useful for
applications [3]:
190
4.
(4.149)
2
Z b
M m Z b
Re f (t) dt +
Im f (t) dt .
2 Mm
a
a
The proof may be done on utilising Corollary 38, but we omit the
details
Subsequently, on making use of Corollary 40, one may state the
following result as well [3]:
Proposition 53. Let f be as in Proposition 51 and the measurable
functions K, k : [a, b] [0, ) with the property that
(K k)2
L [a, b]
K +k
and
k (t) Re f (t) K (t) and k (t) Im f (t) K (t)
for a.e. t [a, b] , where , are assumed to be positive and satisfying
the condition 2 + 2 = 1. Then the following reverse of the continuous
triangle inequality is valid:
Z b
Z b
|f (t)| dt
f (t) dt
(0 )
a
a
Z b
1
[K (t) k (t)]2
dt.
4 a K (t) + k (t)
The constant 14 is best possible in the sense that it cannot be replaced
by a smaller quantity.
Remark 57. One may realise that similar results can be stated if
the Corollaries 41-44 obtained above are used. For the sake of brevity,
we do not mention them here.
191
and
m Im f (s) Im f (t) M Im f (s)
for a.e. a t s b.
Utilising Theorems 61, 62 and 63 we may state the following results
incorporating quadratic reverses of the continuous triangle inequality
[4]:
Proposition 54. With the above assumptions for f, M and m, and
if (4.151) holds true, then we have the inequalities
2
Z b
2 Z b
|f (t)| dt
f (t) dt
a
a
Z
1 (M m)2 b
+
(s a) |f (s)|2 ds,
2
M +m a
1 Z
Z b
M + m 2 b
|f (t)| dt
f (t) dt ,
2 Mm
a
a
and
Z
2
Z b
M + m b
2
.
[(b s) + mM (s a)] |f (s)| ds
f
(s)
ds
2
a
Remark 58. One may wonder if there are functions satisfying the
condition (4.152) above. It suffices to find examples of real functions
: [a, b] R verifying the following double inequality
(4.153)
192
4.
(4.155)
0 1 arg f (t) 2 <
2
for a.e. t [a, b] . Then we have the inequality
Z b
Z b
q
2
2
(4.156)
sin 1 + cos 2
|f (t)| dt
f (t) dt .
a
,
2
cos 2 2
[Re f (t)]
193
=
,
2
2
tan 1
sin 1
[Im f (t)]
for a.e. t [a, b] , giving the simpler inequalities
|f (t)| cos 2 Re (f (t)) ,
|f (t) e| 1 ,
|f (t) ie| 2
Bibliography
[1] J.B. DIAZ and F.T. METCALF, A complementary triangle inequality in
Hilbert and Banach spaces, Proceedings Amer. Math. Soc., 17(1) (1966), 88-97.
[2] S.S. DRAGOMIR, Reverses of the continuous triangle inequality for
Bochner integral of vector valued function in Hilbert spaces. Preprint,
RGMIA Res. Rep. Coll., 7(2004), Supplement, Article 11, [Online
http://rgmia.vu.edu.au/v7(E).html].
[3] S.S. DRAGOMIR, Additive reverses of the continuous triangle inequality for Bochner integral of vector valued functions in Hilbert spaces.
Preprint, RGMIA Res. Rep. Coll., 7(2004), Supplement, Article 12, [Online
http://rgmia.vu.edu.au/v7(E).html].
[4] S.S. DRAGOMIR, Quadratic reverses of the continuous triangle inequality for Bochner integral of vector-valued functions in Hilbert spaces,
Preprint, RGMIA Res. Rep. Coll., 7(2004), Supplement, Article 8, [Online
http://rgmia.vu.edu.au/v7(E).html].
[5] S.S. DRAGOMIR, Some reverses of the continuous triangle inequality for
Bochner integral of vector-valued functions in complex Hilbert spaces,
Preprint, RGMIA Res. Rep. Coll., 7(2004), Supplement, Article 13, [Online
http://rgmia.vu.edu.au/v7(E).html].
[6] J. KARAMATA, Teorija i Praksa Stieltjesova Integrala (Serbo-Croatian)
(Stieltjes Integral, Theory and Practice), SANU, Posebna izdanja, 154,
Beograd, 1949.
[7] M. MARDEN, The Geometry of the Zeros of a Polynomial in a Complex Variable, Amer. Math. Soc. Math. Surveys, 3, New York, 1949.
J.E. PECARI
195
CHAPTER 5
Z
hf, gi :=
12
(t) kf (t)k dt ,
2
b
2
(t) kf (t)k dt
(5.1)
a
(t) kg (t)k2 dt
Z b
2
(t) hf (t) , g (t)i dt ,
a
provided f, g L2 ([a, b] ; K) .
The case of equality holds in (5.1) iff there exists a constant K
such that f (t) = g (t) for a.e. t [a, b] .
197
198
Z b
2
(t) (t) f (t) dt
,
a
L2
L2
provided
([a, b]) and f
([a, b] ; K) , where L2 ([a, b]) denotes
Rb
the Hilbert space of scalar functions for which a (t) | (t)|2 dt < .
The equality holds in (5.2) iff there exists a vector e K such that
f (t) = (t)e for a.e. t [a, b] .
In this chapter some reverses of the inequalities (5.1) and (5.2) are
given under various assumptions for the functions involved. Natural
applications for the Heisenberg inequality for vector-valued functions
in Hilbert spaces are also provided.
5.2. Some Reverse Inequalities
5.2.1. The General Case. The following result holds [1].
Theorem 66 (Dragomir, 2004). Let f, g L2 ([a, b] ; K) and r > 0
be such that
kf (t) g (t)k r kg (t)k
(5.3)
Z b
2
(t) hf (t) , g (t)i dt
a
Z b
Z b
2
(t) kf (t)k dt
(t) kg (t)k2 dt
Z
2
(t) Re hf (t) , g (t)i dt
r2
199
(5.5)
gk2
(t) dt = r2
and
kgk2
b
2
(t) kg (t)k dt r
(t) dt = r2
We next point out some general reverse inequalities for the second
(CBS) inequality (5.2) [1].
Theorem 67 (Dragomir, 2004). Let L2 ([a, b]) , g L2 ([a, b] ; K)
and a K, r > 0 such that kak > r. If the following condition holds
(5.6)
kg (t)
(t) ak r | (t)|
for a.e. t [a, b] , (note that, if (t) 6= 0 for a.e. t [a, b] , then the
condition (5.6) is equivalent to
(5.7)
g (t)
a
r
(t)
200
12
(t) kg (t)k dt
2
(t) | (t)| dt
a
Z b
1
q
Re
(t) (t) g (t) dt, a
2
a
2
kak r
Z b
kak
q
(t) (t) g (t) dt
;
2
a
2
kak r
a
12
(5.9) 0
(t) | (t)| dt
(t) kg (t)k dt
a
a
Z b
(t) (t) g (t) dt
a
Z b
12
Z b
(t) | (t)|2 dt
(t) kg (t)k2 dt
a
a
Z b
a
Re
(t) (t) g (t) dt,
kak
a
2
r
q
q
2
2
2
2
kak r kak + kak r
Z b
a
Re
(t) (t) g (t) dt,
kak
a
Z b
2
r
q
(t) (t) g (t) dt
q
;
2
2
a
2
2
kak r kak + kak r
Z
(t) | (t)| dt
(5.10)
a
(t) kg (t)k2 dt
1
kak r2
2
Z b
2
Re
(t) (t) g (t) dt, a
a
Z b
2
kak
,
(t)
(t)
g
(t)
dt
kak2 r2
a
2
201
and
Z
0
(5.11)
b
2
(t) kg (t)k2 dt
(t) | (t)| dt
a
Z b
2
(t)
(t)
g
(t)
dt
a
Z b
Z b
(t) | (t)|2 dt
(t) kg (t)k2 dt
a
Z b
2
a
Re
(t) (t) g (t) dt,
kak
a
2
Z
b
r2
Re
(5.12)
b
2
(t) | (t)|2 dt
a
Z b
(t) (t) g (t) dt, a .
2 Re
(5.13)
202
1
kak2 r2
(t) kg (t)k2 dt
Z b
q
2
+ kak r2
(t) | (t)|2 dt
a
Z b
2
q
Re
(t) (t) g (t) dt, a .
2
a
2
kak r
On the other hand, by the elementary inequality
1
p + q 2 pq,
> 0, p, q 0,
kak2 r2
(t) kg (t)k2 dt
kak
Z
r2
Making use of (5.14) and (5.15), we deduce the first part of (5.8).
The second part of (5.8) is obvious by Schwarzs inequality
Z b
Z b
Re
(t) (t) g (t) dt, a
(t) (t) g (t) dt
kak .
a
If (t) =
1
,
ba
kxk q
203
5.2.2. Some Particular Cases. It has been shown in [2] that, for
A, a K (K = C, R) and x, y H, where (H; h, i) is an inner product
over the real or complex number field K, the following inequality holds
hx, yi
1 Re A + a
kxk kyk
(5.16)
1
2
[Re (A
a)] 2
1
|A + a|
1 |hx, yi|
2 [Re (A
a)] 2
provided Re (A
a) > 0 and
Re hAy x, x ayi 0,
(5.17)
or, equivalently,
(5.18)
x a + A y
1 |A a| kyk ,
2
2
2
[Re
(A
a
)]
hx,
yi
1
1
2
[Re (A
a)] 2
1
2
2 [Re (A
a)]
1 A + a
|hx, yi|
1
2
[Re (A
a)] 2
and
(5.20)
1 |A + a| 2 [Re (A
a)] 2
|hx, yi| .
1
2
[Re (A
a)] 2
If one assumes that A = M, a = m, M m > 0, then, from (5.16),
(5.19) and (5.20) we deduce the much simpler and more useful results:
(5.21)
kxk kyk
1 M +m
Re hx, yi ,
2
Mm
(5.22)
2
M m
Re hx, yi
Mm
204
and
(5.23)
2
M m
|hx, yi| ,
Mm
provided
Re hM y x, x myi 0
or, equivalently
(5.24)
1
M
+
m
(M m) kyk .
x
y
2
2
Squaring the second inequality in (5.16), we can get the following results as well:
(5.25)
1 |A a|2
0 kxk kyk |hx, yi|
|hx, yi|2 ,
4 Re (A
a)
2
provided (5.17) or (5.16) holds. Here the constant 14 is also best possible.
Using the above inequalities for vectors in inner product spaces,
we are able to state the following theorem concerning reverses of the
(CBS) integral inequality for vector-valued functions in Hilbert spaces
[1].
Theorem 68 (Dragomir, 2004). Let f, g L2 ([a, b] ; K) and ,
K with Re (
) > 0. If
(5.26)
f (t)
(5.27)
g (t)
2 | | kg (t)k
2
for a.e. t [a, b] , then we have the inequalities
Z b
12
Z b
2
2
(5.28)
(t) kf (t)k dt
(t) kg (t)k dt
a
a
h
i
Rb
(5.29)
12 Z b
12
(t) kf (t)k2 dt
(t) kg (t)k2 dt
Z
205
0
a
)]
(t)
hf
(t)
,
g
(t)i
dt
a
1
1
2
[Re (
)] 2
1
2 Z b
2
[Re
(
)]
1
,
(t)
hf
(t)
,
g
(t)i
dt
1
2
a
[Re (
)] 2
b
Z
(5.30)
21 Z b
12
2
(t) kf (t)k dt
(t) kg (t)k dt
a
Z b
(t) hf (t) , g (t)i dt
2
0
a
1 Z
)] 2 b
1 | + | 2 [Re (
,
(t)
hf
(t)
,
g
(t)i
dt
1
2
2
a
[Re (
)]
and
Z
(5.31)
b
2
(t) kf (t)k dt
a
(t) kg (t)k2 dt
Z b
2
(t) hf (t) , g (t)i dt
a
2
2 Z b
1 | |
(t) hf (t) , g (t)i dt .
4 Re (
) a
The constants
1
2
and
1
4
In the case where , are positive real numbers, the following corollary incorporating more convenient reverses for the (CBS) integral inequality, may be stated [1].
Corollary 50. Let f, g L2 ([a, b] ; K) and M m > 0. If
(5.32)
206
(t) kf (t)k2 dt
12
(t) kg (t)k2 dt
1 M +m
2
mM
b
Z
(5.35)
21 Z b
12
2
(t) kf (t)k dt
(t) kg (t)k dt
2
0
a
a
b
m
1
(t) Re hf (t) , g (t)i dt,
2
mM
a
a
Z
(5.36)
21 Z b
12
2
(t) kf (t)k dt
(t) kg (t)k dt
a
Z b
(t) hf (t) , g (t)i dt
2
0
a
1
2
2
M m
mM
Z b
(t) hf (t) , g (t)i dt ,
a
and
Z
(5.37)
(t) kf (t)k dt
a
(t) kg (t)k2 dt
Z b
2
(t) hf (t) , g (t)i dt
a
Z
2
1 (M m)2 b
.
(t)
hf
(t)
,
g
(t)i
dt
4
mM
a
The constants
1
2
and
1
4
207
| | | (t)|
g (t)
(5.38)
(t)
e
2
2
for a.e. t [a, b] , or, equivalently
(5.39)
Re h
(t) e g (t) , g (t)
(t) ei 0
for a.e. t [a, b] , (note that, if (t) 6= 0 for a.e. t [a, b] , then (5.38)
is equivalent to
g (t) +
1
(5.40)
e
| |
(t)
2
2
for a.e. t [a, b] , and (5.39) is equivalent to
*
+
g (t) g (t)
(5.41)
Re e
,
e 0
(t) (t)
for a.e. t [a, b]), then the following reverse inequalities are valid:
12
(t) | (t)| dt
(t) kg (t)k dt
a
a
h
Ei
DR b
+
Re
(t)
(t)
g
(t)
dt,
e
a
Z
(5.42)
2 [Re (
)] 2
Z b
1
| + |
(t) (t) g (t) dt
1
;
2 [Re (
a
)] 2
Z
(5.43)
12
(t) | (t)| dt
(t) kg (t)k dt
a
Z b
(t) (t) g (t) dt
2
0
a
Z
21
(t) | (t)| dt
(t) kg (t)k dt
a
Z b
+
Re
(t) (t) g (t) dt, e
| + |
a
2
208
| |2
p
p
2 Re (
) | + | + 2 Re (
)
Z b
+
Re
(t) (t) g (t) dt, e
| + |
a
Z b
| |2
;
p
(t)
(t)
g
(t)
dt
p
a
2 Re (
) | + | + 2 Re (
)
b
(t) | (t)| dt
(5.44)
a
(t) kg (t)k2 dt
1
1
4 Re (
)
Z b
2
Re +
(t) (t) g (t) dt, e
a
Z b
2
1 | + |
(t) (t) g (t) dt
4 Re (
) a
2
and
Z
(5.45)
b
2
(t) | (t)| dt
a
(t) kg (t)k2 dt
Z b
2
(t) (t) g (t) dt
a
Z b
Z b
2
(t) | (t)| dt
(t) kg (t)k2 dt
a
Z b
2
+
Re
(t) (t) g (t) dt, e
| + |
a
1
| |2
4 | + |2 Re (
)
Z b
2
Re +
(t) (t) g (t) dt, e
a
Z b
2
1 | |
.
(t)
(t)
g
(t)
dt
4 Re (
)
a
2
The constants
1
2
and
1
4
209
e
2 (M m)
(t)
2
(5.46)
g (t) g (t)
Re M e
,
me
(t)
(t)
(5.47)
0
b
2
(5.48)
a
1
2
1
2
12
(t) kg (t)k dt
(t) | (t)| dt
a
Z b
M +m
Re
(t) (t) g (t) dt, e
Mm
a
Z b
M +m
;
(t)
(t)
g
(t)
dt
Mm
a
Z
(5.49)
12
(t) | (t)| dt
(t) kg (t)k dt
a
Z b
(t) (t) g (t) dt
Z
0
a
Z
12
(t) | (t)| dt
(t) kg (t)k dt
a
Z b
Re
(t) (t) g (t) dt, e
Z
2
M m
2 Mm
2
M m
2 Mm
Z
Re
(t) (t) g (t) dt, e
Z b
(t) (t) g (t) dt
a
210
Z
(5.50)
(t) kg (t)k2 dt
(t) | (t)| dt
a
Z b
2
(M + m)
Re
(t) (t) g (t) dt, e
Mm
a
Z b
2
(M + m)2
(t) (t) g (t) dt
Mm
a
2
and
Z
(5.51)
(t) | (t)| dt
a
(t) kg (t)k2 dt
Z b
2
(t) (t) g (t) dt
a
Z b
Z b
2
(t) | (t)| dt
(t) kg (t)k2 dt
a
Z b
2
Re
(t) (t) g (t) dt, e
a
The constants
1
2
and
Z b
2
(M m)
Re
(t) (t) g (t) dt, e
Mm
a
Z b
2
(M m)2
.
(t)
(t)
g
(t)
dt
Mm
a
2
1
4
The following theorem provides a version of the Heisenberg inequalities in the general setting of Hilbert spaces [1].
Theorem 70 (Dragomir, 2004). Let : [a, b] H be an absolutely
continuous function with the property that b k (b)k2 = a k (a)k2 .
Then we have the inequality:
Z b
2
Z b
Z b
2
2
2
2
(5.53)
k (t)k dt 4
t k (t)k dt
k0 (t)k dt.
a
211
k (t)k2 dt
a
b Z b
d
2
k (t)k2 dt
= t k (t)k
t
dt
a
a
Z b
d
2
2
= b k (b)k a k (a)k
t h (t) , (t)i dt
dt
a
Z b
=
t [h0 (t) , (t)i + h (t) , 0 (t)i] dt
a
Z b
= 2
t Re h0 (t) , (t)i dt
a
Z b
Re h0 (t) , (t) (t)i dt.
=2
(5.54)
Z
Re hg (t) , h (t)i dt
b
2
kg (t)k dt
a
12
kh (t)k dt
2
for g (t) = 0 (t) , h (t) = t (t) , t [a, b] , then we deduce the desired
inequality (5.53).
The fact that 4 is the best possible constant in (5.53) follows from
the fact that in the (CBS) inequality, the case of equality holds iff
g (t) = h (t) for a.e. t [a, b] and a given scalar in K. We omit the
details.
For details on the classical Heisenberg inequality, see, for instance,
[4].
The following reverse of the Heisenberg type inequality (5.53) holds
[1].
Theorem 71 (Dragomir, 2004). Assume that : [a, b] H is as
in the hypothesis of Theorem 70. In addition, if there exists a r > 0
such that
(5.55)
212
k0 (t)k dt,
a
provided
k0 (t) t (t)k |t| k (t)k
for a.e. t [a, b] , where > 0 is a given positive number.
The following result also holds [1].
Theorem 72 (Dragomir, 2004). Assume that : [a, b] H is as in
the hypothesis of Theorem 70. In addition, if there exists M m > 0
such that
Re hM t (t) 0 (t) , 0 (t) mt (t)i 0
(5.59)
1 (M + m)2
16
Mm
Z
a
2
k (t)k dt
2
213
and
Z
t k (t)k dt
(5.62)
a
1
k (t)k dt
4
2
Z
2
k (t)k dt
2
1 (M m)2
16
Mm
Z
2
k (t)k dt
2
respectively.
Proof. We use Corollary 50 for the choices f (t) = 0 (t) , g (t) =
1
t (t) , (t) = ba
, to get
Z
k (t)k dt
a
t2 k (t)k2 dt
(M + m)2
4M m
Z
2
Re h (t) , t (t)i dt .
0
Since, by (5.57)
Z
a
Z b
2
2
1
2
Re h (t) , t (t)i dt =
k (t)k dt ,
4
a
0
kf (t) g (t)k r
214
Z
21
(t) kf (t)k dt
(t) kg (t)k dt
a
Z b
(t) Re hf (t) , g (t)i dt
2
Z
b
2
(t) kf (t)k dt
a
12
(t) kg (t)k dt
2
1
r2 .
2
1
The constant 2 in front of r2 is best possible in the sense that it cannot
be replaced by a smaller quantity.
Proof. We will use the following result obtained in [2]:
In the inner product space (H; h, i) , if x, y H and r > 0 are
such that kx yk r, then
0 kxk kyk |hx, yi| kxk kyk |Re hx, yi|
1
kxk kyk Re hx, yi r2 .
2
1
2
The constant 2 in front of r is best possible in the sense that it cannot
be replaced by a smaller constant.
If (5.63) holds true, then
Z b
Z b
2
2
2
kf gk =
(t) kf (t) g (t)k dt r
(t) dt = r2
(5.65)
and thus kf gk r.
Applying the inequality (5.65) for L2 ([a, b] ; K) , h, ip , we deduce the desired inequality (5.64).
1
If we choose (t) = ba
, f (t) = x, g (t) = y, x, y K, t [a, b] ,
then from (5.64) we recapture (5.65) for which the constant 12 in front
of r2 is best possible.
215
We next point out some general reverse inequalities for the second
CBS inequality (5.2)[3].
Theorem 74 (Dragomir, 2004). Let L2 ([a, b]) , g L2 ([a, b] ; K)
and v K, r > 0. If
g (t)
(5.66)
v
r
(t)
for a.e. t [a, b] , then we have the inequality
Z b
21
Z b
2
2
(5.67)
0
(t) | (t)| dt
(t) kg (t)k dt
a
a
Z b
(t) (t) g (t) dt
a
Z
12
(t) kg (t)k dt
2
(t) | (t)| dt
a
Z b
v
(t) (t) g (t) dt,
kvk
a
Z b
12
Z b
(t) | (t)|2 dt
(t) kg (t)k2 dt
a
a
Z b
v
Re
(t) (t) g (t) dt,
kvk
a
Z b
12
Z b
2
2
(t) | (t)| dt
(t) kg (t)k dt
a
a
Z b
v
Re
(t) (t) g (t) dt,
kvk
a
2 Z b
1 r
(t) | (t)|2 dt.
2 kvk a
a
216
Since, obviously
Z
(5.70) 2 kvk
b
2
(t) | (t)| dt
a
12
(t) kg (t)k dt
2
a
b
21
(t) | (t)| dt
(t) kg (t)k dt
a
Z b
Z b
2
2 Re
(t) (t) g (t) dt, v + r
(t) | (t)|2 dt,
2
1
2
Re hy x, x yi 0,
or, equivalently,
(5.72)
x + y
1 | | kyk ,
2
2
217
kxk kyk Re
hx, yi
| + |
+
kxk kyk Re
hx, yi
| + |
(5.73)
1 | |2
kyk2 .
4 | + |
The constant 14 is best possible in (5.73) in the sense that it cannot be
replaced by a smaller constant.
If we assume that = M, = m with M m > 0, then from
(5.73) we deduce the much simpler and more useful result
(5.74)
1 (M m)2
kyk2 ,
4
Mm
(5.75)
0
a
21
(t) kf (t)k dt
(t) kg (t)k dt
a
Z b
(t) hf (t) , g (t)i dt
2
218
Z
12
(t) kg (t)k2 dt
(t) kf (t)k2 dt
a
a
Z b
+
Re
(t) hf (t) , g (t)i dt
| + | a
Z b
21
Z b
2
2
(t) kf (t)k dt
(t) kg (t)k dt
a
a
Z b
+
Re
(t) hf (t) , g (t)i dt
| + | a
Z
1 | |2 b
(t) kg (t)k2 dt.
4 | + | a
The constant
1
4
1
4
L2
([a, b] ; K) ; h, i ,
is a best constant in
(5.78)
g
(t)
2
2
for a.e. t [a, b] , then
Z
(5.80)
0
a
21
(t) kf (t)k dt
(t) kg (t)k dt
a
Z b
(t) hf (t) , g (t)i dt
2
Z
219
12
(t) kf (t)k2 dt
(t) kg (t)k2 dt
a
Z b
(t) Re hf (t) , g (t)i dt
Z
Z
b
2
(t) kf (t)k dt
12
(t) kg (t)k dt
2
a
b
1 (M m)2
4
M +m
The constant
1
4
is best possible.
e
| |
(t)
2
2
for a.e. t [a, b] , or, equivalently,
*
+
g (t) g (t)
(5.82)
Re e
,
e 0
(t) (t)
for a.e. t [a, b] , then we have the inequalities
Z
(5.83)
21
(t) | (t)| dt
(t) kg (t)k dt
a
Z b
(t) (t) g (t) dt
Z
0
a
Z
21
(t) | (t)| dt
(t) kg (t)k dt
a
Z b
(t) (t) g (t) dt, e
Z
220
12
(t) | (t)|2 dt
(t) kg (t)k2 dt
a
a
Z b
+
Re
(t) (t) g (t) dt, e
| + |
a
Z b
12
Z b
2
2
(t) | (t)| dt
(t) kg (t)k dt
a
a
Z b
+
Re
(t) (t) g (t) dt, e
| + |
a
Z
1 | |2 b
(t) | (t)|2 dt.
4 | + | a
Z
The constant
1
4
+
e
2
and
r :=
1
| | .
2
e
(M m)
(t)
2
2
for a.e. t [a, b] , or, equivalently,
+
*
g (t) g (t)
me 0
,
Re M e
(t) (t)
for a.e. t [a, b], then we have the inequalities:
Z b
12
Z b
2
2
(5.84)
0
(t) | (t)| dt
(t) kg (t)k dt
a
a
Z b
(t) (t) g (t) dt
a
Z
12
(t) | (t)| dt
(t) kg (t)k dt
a
Z b
(t) (t) g (t) dt, e
Z
Z
221
21
(t) kg (t)k2 dt
(t) | (t)|2 dt
a
Z b
Re
(t) (t) g (t) dt, e
Z
12
(t) kg (t)k dt
2
(t) | (t)| dt
a
Z b
Re
(t) (t) g (t) dt, e
a
2
The constant
1
4
1 (M m)
4
M +m
5.3.3. Applications for the Heisenberg Inequality. The following reverse of the Heisenberg type inequality (5.53) holds [3].
Theorem 77 (Dragomir, 2004). Assume that : [a, b] H is as
in the hypothesis of Theorem 70. In addition, if there exists a r > 0
such that
(5.85)
k0 (t) + t (t)k r
k (t)k2 dt
2 a
a
a
1
r2 (b a) .
2
Proof. We observe, by the identity (5.54), that
Z b
Z
1 b
0
(5.87)
Re h (t) , (t) (t)i dt =
k (t)k2 dt.
2
a
a
Now, if we apply Theorem 73 for the choices f (t) = t (t) , g (t) =
1
, t [a, b] , then we deduce the desired inequality
t0 (t) , (t) = ba
(5.86).
Remark 62. It is interesting to remark that, from (5.87), we obviously have
Z b
Z
1 b
2
0
(5.88)
k (t)k dt =
Re h (t) , t (t)i dt .
2 a
a
222
(5.89)
for a.e. t [a, b] .
k (t)k2 dt
2
a
a
a
2 Z b
1 (M m)
t2 k (t)k2 dt.
4
M +m a
Proof. The proof follows by Corollary 52 applied for the function
g (t) = t (t) and f (t) = 0 (t) , and on making use of the identity
(5.88). We omit the details.
Remark 63. If one is interested in reverses for the Heisenberg inequality for real or complex valued functions, then all the other inequalities obtained above for one scalar and one vectorial function may be
applied as well. For the sake of brevity, we do not list them here.
Bibliography
[1] S.S. DRAGOMIR, Reverses of the Cauchy-Bunyakovsky-Schwarz and Heisenberg integral inequalities for vector-valued functions in Hilbert Spaces,
Preprint, RGMIA Res. Rep. Coll., 7(2004), Supplement, Article 20. [Online
http://http://rgmia.vu.edu.au/v7(E).html].
[2] S.S. DRAGOMIR, New reverses of Schwarz, triangle and Bessel inequalities in
inner product spaces, Australian J. Math. Anal. & Appl., 1(2004), No.1, Article
1 [Online http://ajmaa.org].
[3] S.S. DRAGOMIR, New reverses of the Cauchy-Bunyakovsky-Schwarz integral inequality for vector-valued functions in Hilbert spaces and applications,
Preprint, RGMIA Res. Rep. Coll., 7(2004), Supplement, Article 21. [Online
http://http://rgmia.vu.edu.au/v7(E).html].
[4] G.H. HARDY, J.E. LITTLEWOOD and G. POLYA, Inequalities, Cambridge
University Press, Cambridge, United Kingdom, 1952.
223
CHAPTER 6
hyn , y1 i hyn , y2 i hyn , yn i
Following [4, p. 129 133], we state here some general results for
the Gram determinant that will be used in the sequel.
(1) Let {x1 , . . . , xn } H. Then (x1 , . . . , xn ) 6= 0 if and only if
{x1 , . . . , xn } is linearly independent;
(2) Let M = span {x1 , . . . , xn } be ndimensional in H, i.e., {x1 , . . . ,
xn } is linearly independent. Then for each x H, the distance
d (x, M ) from x to the linear subspace H has the representations
d2 (x, M ) =
(6.1)
(x1 , . . . , xn , x)
(x1 , . . . , xn )
and
(6.2)
d2 (x, M ) = kxk2 T G1 ,
where G = G (x1 , . . . , xn ) , G1 is the inverse matrix of G and
T = (hx, x1 i , hx, x2 i , . . . , hx, xn i) ,
denotes the transpose of the column vector .
225
226
6. OTHER INEQUALITIES
(6.3)
P
2
( ni=1 |hx,xi i|2 )
if x
/ M ,
kxk Pn
2
hx,x
ix
k
k
i
i
i=1
d2 (x, M ) =
if x M ,
kxk2
(6.4)
d (x, M ) = kxk
(6.5)
n
X
|hx, xi i|2 .
i=1
(x2 , . . . , xn )
(x1 , . . . , xn )
(xk+1 , . . . , xn ) ,
(x1 , . . . , xk )
(x1 , . . . , xk )
(x1 , . . . , xn ) (x1 , . . . , xk ) (xk+1 , . . . , xn )
(6.7)
and
(6.8)
2 (x1 + y1 , x2 , . . . , xn )
1
2 (x1 , x2 , . . . , xn ) + 2 (y1 , x2 , . . . , xn ) .
The main aim of this section is to point out some upper bounds
for the distance d (x, M ) in terms of the linearly independent vectors
{x1 , . . . , xn } that span M and x
/ M , where M is the orthogonal
complement of M in the inner product space (H; h, i).
As a by-product of this endeavour, some refinements of the generalisations for Bessels inequality due to several authors including: Boas,
Bellman and Bombieri are obtained. Refinements for the well known
Hadamards inequality for Gram determinants are also derived.
<
Pn
i=1
P
kxi k2 ni=1 |hx, xi i|2
(x1 , . . . , xn ) .
Pn
2
kx
k
i
i=1
i=1
i=1
i=1
i=1
i,j=1
i=1
i=1
Note that the equality case holds in (6.13) if and only if, by (6.12),
(6.14)
P
Pn
2
n
2 .
kx
k
k i=1 hx, xi i xi k
i
i=1
Since {x1 , . . . , xn } are linearly independent, hence (6.14) cannot be
achieved and then we have strict inequality in (6.13).
Finally, on using (6.13) and (6.15) we get the desired result (6.9).
228
6. OTHER INEQUALITIES
Remark 64. It is known that (see (6.4)) if not all {x1 , . . . , xn } are
orthogonal on each other, then the following result, which is well known
in the literature as Hadamards inequality holds:
(x1 , . . . , xn ) < kx1 k2 kx2 k2 kxn k2 .
(6.16)
P
Pn1
2
2
kxn k2 n1
i=1 kxi k
i=1 |hxn , xi i|
(x1 , . . . , xn1 , xn ) <
Pn1
2
i=1 kxi k
(x1 , . . . , xn1 )
kxn k2 (x1 , . . . , xn1 ) .
Multiplying the above inequalities, we deduce
(6.17)
(x1 , . . . , xn1 , xn )
< kx1 k
n
Y
kxk k Pk1
i=1
k=2
n
Y
kxi k2
k1
X
!
2
|hxk , xi i|
i=1
kxj k2 ,
j=1
2
n
X
i zi
i=1
n
P
max |i |2
kzi k2 ;
1in
i=1
n
1 n
p1
P
P
2
2
kzi k
|i |
i=1
i=1
where > 1, 1 + 1 = 1;
|i |2 max kzi k2 ;
1in
i=1
P
max {|i j |}
|hzi , zj i| ;
1i6=jn
1i6=jn
"
# 1
! 1
2
n
n
P
P
P
|i |
|i |2
|hzi , zj i|
i=1
i=1
1i6=jn
+
where
> 1, 1 + 1 = 1;
"
#
2
n
n
P
P
|i |
|i |2 max |hzi , zj i| ;
1i6=jn
i=1
i=1
where any term in the first branch can be combined with each term from
the second branch giving 9 possible combinations.
Out of these, we select the following ones that are of relevance for
further consideration:
(6.19)
2
n
X
i zi
i=1
max kzi k
1in
n
X
|i |2
i=1
+ max |hzi , zj i|
1i<jn
n
X
i=1
|i |
n
X
!2
|i |
i=1
n
X
|i |2
i=1
max kzi k + (n 1) max |hzi , zj i|
2
1in
1i<jn
230
6. OTHER INEQUALITIES
and
2
n
X
i zi
(6.20)
i=1
max kzi k
n
X
2
1in
|i |2 +
n
X
i=1
!2
|i |2
i=1
n
X
1/2
|i |4
i=1
! 21
X
|hzi , zj i|
1i6=jn
n
X
! 12
|i |2 max kzi k2 +
1in
i=1
|hzi , zj i|2
1i6=jn
Note that the last inequality in (6.19) follows by the fact that
n
X
!2
|i |
i=1
n
X
|i |2 ,
i=1
! 12
|hxi , xj i|2
i=1
1i6=jn
! 21
max kxi k2 +
1in
P
1i6=jn
n
P
|hxi , xj i|2
|hx, xi i|2
or, equivalently,
(6.22) (x1 , . . . , xn , x)
! 12
|hxi , xj i|2
1in
!
P
max kxi k +
1in
|hx, xi i|2
i=1
1i6=jn
n
P
1
2
|hxi , xj i|
1i6=jn
(x1 , . . . , xn ) .
Proof. Utilising the inequality (6.20) for i = hx, xi i and zi = xi ,
i {1, . . . , n} , we can write:
2
n
X
(6.23)
hx, xi i xi
i=1
n
X
i=1
! 12
|hxi , xj i|2
1i6=jn
for any x H.
Now, since, by the representation formula (6.3)
Pn
n
2
X
2
2
i=1 |hx, xi i|
(6.24)
d (x, M ) = kxk Pn
|hx, xi i|2 ,
2
k i=1 hx, xi i xi k i=1
for x
/ M , hence, by (6.23) and (6.24) we deduce the desired result
(6.21).
Remark 65. In 1941, R.P. Boas [2] and in 1944, R. Bellman
[1], independent of each other, proved the following generalisation of
Bessels inequality:
! 21
n
X
X
(6.25)
|hy, yi i|2 kyk2 max kyi k2 +
|hyi , yj i|2 ,
i=1
1in
1i6=jn
232
6. OTHER INEQUALITIES
(x1 , . . . , xn )
kx1 k2
k1
P
kxk k
k=2
n
Y
i=1
max kxi k2 +
1ik1
n
Y
|hxk , xi i|2
P
! 12
2
|hxi , xj i|
1i6=jk1
kxj k2 .
j=1
n
2
X
(6.27)
hx, xi i xi
i=1
n
X
|hx, xi i|
i=1
max kxi k + (n 1) max |hxi , xj i| .
2
1in
1i6=jn
Utilising (6.27) and (6.24) we may state the following result as well
[16]:
Theorem 81 (Dragomir, 2005). Let {x1 , . . . , xn } , M and x be as
in Theorem 79. Then
(6.28) d2 (x, M )
P
2
2
kxk max kxi k + (n 1) max |hxi , xj i| ni=1 |hx, xi i|2
1in
1i6=jn
2
max kxi k + (n 1) max |hxi , xj i|
1in
1i6=jn
or, equivalently,
(6.29) (x1 , . . . , xn , x)
P
2
2
kxk max kxi k + (n 1) max |hxi , xj i| ni=1 |hx, xi i|2
1in
1i6=jn
1i6=jn
(x1 , . . . , xn ) .
Remark 67. The above result (6.28) provides a refinement for the
following generalisation of Bessels inequality:
(6.30)
n
X
|hx, xi i| kxk
i=1
max kxi k + (n 1) max |hxi , xj i| ,
2
1in
1i6=jn
(6.31) (x1 , . . . , xn )
kx1 k2
k1
P
|hxk , xi i|
n
Y
i=1
2
kxk k
n
Y
1i6=jk1
|hxi , xj i|
kxj k2 .
j=1
234
6. OTHER INEQUALITIES
n
n
P
P
|i |2 max
|hzi , zj i| ;
1in j=1
i=1
!q ! 1q
p1 n
P
n
n
P
P
|hzi , zj i|
|i |2p
i=1 j=1
i=1
where p > 1, p1 + 1q = 1;
max |i |2
|hzi , zj i| .
1in
i,j=1
We can state and prove now another upper bound for the distance
d (x, M ) as follows [16].
Theorem 82 (Dragomir, 2005). Let {x1 , . . . , xn } , M and x be as
in Theorem 79. Then
"
#
n
n
P
P
kxk2 max
|hxi , xj i|
|hx, xi i|2
1in
d2 (x, M )
(6.33)
j=1
i=1
"
max
1in
n
P
#
|hxi , xj i|
j=1
or, equivalently,
(6.34) (x1 , . . . , xn , x)
"
2
kxk max
1in
n
P
#
|hxi , xj i|
j=1
i=1
"
max
1in
n
P
n
P
|hx, xi i|2
(x1 , . . . , xn ) .
|hxi , xj i|
j=1
for any x H.
i=1
j=1
i=1
j=1
k1
P
|hxk , xi i|2
n
Y
i=1
2
2
#
"
(6.38) (x1 , . . . , xn ) kx1 k
kxk k
k1
P
k=2
max
|hxi , xj i|
1ik1
n
Y
j=1
kxj k2 .
j=1
for p > 1,
1
p
1
q
i=1
= 1.
i,j=1
236
6. OTHER INEQUALITIES
i=1
i,j=1
Based on (6.40), we can state the following result that provides yet
another upper bound for the distance d (x, M ) [16].
Theorem 83 (Dragomir, 2005). Let {x1 , . . . , xn } , M and x be as
in Theorem 79. Then
! 21
n
n
P
P
kxk2
|hxi , xj i|2
|hx, xi i|2
(6.41)
i=1
i,j=1
d2 (x, M )
! 12
n
P
|hxi , xj i|2
i,j=1
or, equivalently,
(6.42) (x1 , . . . , xn , x)
kxk2
n
P
! 12
|hxi , xj i|2
i,j=1
n
P
i=1
n
P
! 12
|hx, xi i|2
(x1 , . . . , xn ) .
|hxi , xj i|2
i,j=1
or, equivalently,
X +
1
i
i
ei
(6.44)
x
2
2
iI
iI
! 12
X
iI
|i i |2
then
(6.45)
(0 ) kxk2
X
iI
|hx, ei i|2
1X
| i |2 .
4 iI i
1
4
i=1
(6.47)
or, equivalently,
(6.48)
n
2
1
X
(x1 , . . . , xn , x)
(i i ) xi
(x1 , . . . , xn ) .
4
i=1
2
n
X
i
i
d2 (x, M ) = inf kx yk2
x
xi
yM
2
i=1
238
6. OTHER INEQUALITIES
for d2 (x, M ) . For instance, if we use the inequality (6.19) we can state
the inequality:
n
2
X
(i i ) xi
i=1
n
X
2
2
i=1
1i<jn
1X
(6.51) d (x, M )
|i i |2
4 i=1
2
max kxi k + (n 1) max |hxi , xj i| ,
2
1in
1i<jn
)
x
i
i
i
i=1
! 12
n
X
X
|i i |2 max kxi k2 +
|hxi , xj i|2 ,
1in
i=1
1i6=jn
1X
(6.52) d (x, M )
|i i |2
4 i=1
max kxi k2 +
1in
! 12
X
|hxi , xj i|2
1i6=jn
239
(6.54)
x, y H
or, equivalently,
|hx, yi| kxk kyk ,
(6.55)
x, y H.
The case of equality holds iff there exists a scalar K such that
x = y.
By a multiplicative reverse of the Schwarz inequality we understand
an inequality of the form
(6.56)
(1 )
kxk kyk
kxk2 kyk2
k1 or (1 )
k2
|hx, yi|
|hx, yi|2
with appropriate k1 and k2 and under various assumptions for the vectors x and y, while by an additive reverse we understand an inequality
of the form
(6.57)
(6.58)
(1 )
kxk kyk
kxk kyk
kyk
q
|hx, yi|
Re hx, yi
kyk2 r2
240
6. OTHER INEQUALITIES
(6.60)
r2
kyk
r2
kyk +
kyk
Re hx, yi
r2
and
(0 ) kxk2 kyk2 |hx, yi|2
(6.61)
(6.62)
or, equivalently,
1
a
+
A
|A a| kyk ,
x
y
2
2
(6.63)
then
(6.64)
2
1
|A a|2 kyk4
4
kyk2 Re hAy x, x ayi
1
|A a|2 kyk4 .
4
The constant
1
4
(6.66)
241
2 Re (A
a) hx, yi
1 Re A + a
p
2
Re (A
a)
and
(6.67)
1 |A a|2
|hx, yi|2 .
(0 ) kxk kyk |hx, yi|
4 Re (A
a)
2
The constants
1
2
and
1
4
(6.68)
and
(6.69)
1
2
2
M m
Re hx, yi .
2 mM
X
2
2
`p (K) := x = (xi )iN xi K, i N and
pi kxi k < .
i=1
It is well known that `2p (K) endowed with the inner product
hx, yip :=
pi hxi , yi i
i=1
X
kxkp :=
pi kxi k2
.
i=1
242
6. OTHER INEQUALITIES
(6.70)
pi kxi k
X
2
i=1
i=1
X
pi kyi k2
pi hxi , yi i
i=1
(6.71)
i=1 pi Re hxi , yi i
1
P
2 2
i=1 pi kyi k
qP
,
2
2
p
ky
k
r
i
i=1 i
i=1
(6.72)
(6.73) (0 )
pi kxi k
X
2
i=1
X
i=1
! 12
pi kyi k2
i=1
i=1
pi kxi k2
X
pi hxi , yi i
! 12
pi kyi k2
pi Re hxi , yi i
i=1
i=1
r2
pi Re hxi , yi i
i=1
"
#
r
12 r
P
P
P
pi kyi k2 r2
+
pi kyi k2 r2
pi kyi k2
i=1
i=1
i=1
243
and
2
X
2
(0 )
pi kxi k
pi kyi k
pi hxi , yi i
i=1
i=1
i=1
"
#2
X
X
X
pi kxi k2
pi kyi k2
pi Re hxi , yi i
(6.74)
i=1
r2
X
2
i=1
i=1
pi kxi k2 .
i=1
yk2p
X
i=1
pi kxi yi k r
pi
i=1
pi kyi k2 = kyk2p ,
i=1
or, equivalently,
1
a
+
A
xi
(6.76)
yi
2 |A a| kyi k
2
for each i N
then
(6.77)
X
X
2
2
(0 )
pi kxi k
pi kyi k
pi hxi , yi i
i=1
i=1
i=1
!
2
X
1
2
2
pi kyi k
|A a|
4
i=1
A+a P
2
P
2
i=1 pi kyi k
i=1 pi hxi , yi i
2
P
2 P
i=1 pi kyi k
i=1 pi Re hAyi xi , xi ayi i
!2
X
1
|A a|2
pi kyi k2 .
4
i=1
244
6. OTHER INEQUALITIES
X
X
(6.78)
pi kxi k2
pi kyi k2
i=1
(6.79)
i=1
(0 )
P
Re A + a
p
hx
,
y
i
i
i
i
i=1
p
Re (A
a)
|A a| X
p
pi hxi , yi i ,
Re (A
a)
i=1
pi kxi k
i=1
1 Re
X
2
! 21
pi kyi k2
pi Re hxi , yi i
i=1
i=1
h
P
i
p
A+a
2 Re (A
a)
i=1 pi hxi , yi i
p
Re (A
a)
and
(6.80)
X
(0 )
pi kxi k
pi kyi k
pi hxi , yi i
i=1
i=1
i=1
2
1 |A a|2 X
p
hx
,
y
i
i
i i .
4 Re (A
a) i=1
X
2
`2p (K) := = (i )iN i K, i N and
pi |i | <
i=1
X
X
X
2
2
(6.81)
pi |i |
pi kxi k
pi i xi
,
i=1
i=1
i=1
245
2
n
n
X
X
pi |i |2
pi kxi k2
pi i xi
i=1
i=1
1 XX
=
pi pj ki xj j xi k2 ,
2 i=1 j=1
for any n N, n 1.
In the following we establish some reverses of the (CBS) inequality
in some of its various equivalent forms that will be specified where they
occur [11].
Theorem 88 (Dragomir, 2005). Let `2p (K) , x `2p (K) and
a K, r > 0 such that kak > r. If the following condition holds
kxi i ak r |i |
(6.82)
for each i N,
a
i
then we have the following inequalities
(6.84)
X
2
pi |i |
pi kxi k2
i=1
i=1
! 12
kak2 r2
kak
kak2 r2
(6.85)
Re
*
X
! 21
+
pi i xi , a
i=1
X
pi i xi
;
i=1
X
pi i xi
i=1
i=1
i=1
*
! 12
+
X
X
X
a
pi |i |2
pi kxi k2
Re
pi i xi ,
kak
i=1
i=1
i=1
X
2
pi |i |
pi kxi k2
246
6. OTHER INEQUALITIES
r2
kak
kak +
Re
kak
r2
r2
kak
(6.86)
r2
r2
kak +
*
X
kak2 r
i=1
a
pi i xi ,
kak
X
pi i xi
;
2
i=1
" *
+#2
X
1
Re
pi i xi , a
kak2 r2
i=1
2
2
X
kak
pi i xi
2
2
kak r
X
2
pi |i |
pi kxi k2
i=1
i=1
i=1
and
2
X
0
pi |i |
pi kxi k
pi i xi
i=1
i=1
i=1
"
*
+#2
X
X
X
a
pi |i |2
pi kxi k2 Re
pi i xi ,
kak
i=1
i=1
i=1
" *
+#2
X
r2
Re
pi i xi , a
kak2 kak2 r2
i=1
2
2
X
r
pi i xi
.
2
2
kak r
(6.87)
i=1
X
X
X
(6.89)
pi kxi k2 + kak2 r2
pi |i |2 2 Re
pi i xi , a .
i=1
i=1
i=1
(6.90) q
kak2 r2
247
pi kxi k +
kak
r2
i=1
pi |i |2
i=1
2
2
Re
kak
r2
*
X
+
pi i xi , a .
i=1
p + q 2 pq,
> 0, p, q 0,
X
X
(6.91) 2
pi |i |2
pi kxi k2
i=1
i=1
kak r2
pi kxi k +
kak
r2
i=1
pi |i |2 .
i=1
Making use of (6.90) and (6.91), we deduce the first part of (6.84).
The second part is obvious by Schwarzs inequality
*
+
X
X
Re
pi i xi , a
pi i xi
kak .
i=1
i=1
kxk q
248
6. OTHER INEQUALITIES
(6.93)
| |
e
(6.94)
2
i
2
for each i N and (6.93) is equivalent to
xi xi
Re e ,
e 0
i i
for each i N), then the following reverses of the (CBS) inequality
are valid:
! 21
P
+
X
X
Re
h
p
x
,
ei
i
i
i
i=1
pi |i |2
pi kxi k2
(6.95)
1
2 [Re ()] 2
i=1
i=1
1
| + |
X
p
x
i i i
;
1
2 [Re ()] 2
i=1
(6.96)
X
2
pi |i |
pi kxi k2
i=1
i=1
pi |i |
i=1
! 12
X
pi i xi
i=1
! 12
pi kxi k2
i=1
"
Re
| + |
*
X
+#
pi i xi , e
i=1
2
| |
p
p
2 Re () | + | + 2 Re ()
"
*
+#
+
X
Re
pi i xi , e
| + | i=1
X
p
pi i xi
;
p
2 Re () | + | + 2 Re ()
| |2
i=1
(6.97)
pi |i |2
i=1
249
pi kxi k2
i=1
" (
*
+)#2
X
1
+
Re
pi i xi , e
4 Re (
)
i=1
2
2
X
1 | + |
pi i xi
4 Re (
)
i=1
and
(6.98)
X
i=1
pi |i |
pi |i |2
X
i=1
i=1
2
X
pi kxi k
pi i xi
2
i=1
pi kxi k2
i=1
"
Re
| + |
*
X
+)#2
pi i xi , e
i=1
"
*
+#)2
X
| |
+
Re
pi i xi , e
4 | + |2 Re (
)
i=1
2
X
| |2
p
i i i
.
4 Re (
)
2
i=1
(6.99)
xi
1
M
+
m
(M m)
e
i
2
2
(6.100)
xi xi
Re M e ,
me 0
i i
250
6. OTHER INEQUALITIES
for each i N, then the following, much simpler reverses of the (CBS)
inequality may be stated:
(6.101)
(6.102)
X
2
pi |i |
pi kxi k2
i=1
i=1
! 12
*
+
X
M +m
Re
pi i xi , e
2 mM
i=1
M +m
X
pi i xi
;
2 mM
i=1
! 12
X
pi i xi
i=1
i=1
i=1
! 12
*
+
X
X
X
pi |i |2
pi kxi k2
Re
pi i xi , e
X
pi |i |2
pi kxi k2
i=1
i=1
i=1
2
*
X
(M m)
Re
pi i xi , e
2
i=1
2
M+ m
mM
X
(M m)2
p
x
i i i
;
2
2
M+ m
mM i=1
(6.103)
X
X
pi |i |2
pi kxi k2
pi i xi
i=1
i=1
i=1
" *
+#2
X
(M + m)2
Re
pi i xi , e
4mM
i=1
2
X
(M + m)2
pi i xi
4mM
i=1
and
(6.104)
X
i=1
X
X
pi |i |2
pi kxi k2
pi i xi
i=1
i=1
" *
+#2
X
X
pi |i |2
pi kxi k2 Re
pi i xi , e
i=1
i=1
2
251
(M m)
4mM
(M m)2
4mM
"
Re
i=1
*
X
+#2
pi i xi , e
i=1
2
X
p
x
i i i
.
i=1
i=1
0r
Re hxi , ai
,
kxi k
i=1
kxi ak ,
i {1, . . . , n}
Re hM a xi , xi mai 0,
or, equivalently,
1
M
+
m
xi
(M m) ,
(6.110)
a
2
2
i {1, . . . , n} ,
i {1, . . . , n} ,
n
n
X
2 mM X
kxi k
xi
.
(6.111)
M + m i=1
i=1
252
6. OTHER INEQUALITIES
Note that the inequalities (6.105), (6.107), and (6.111) are sharp;
necessary and sufficient equality conditions were provided (see [5] and
[10]).
It is obvious, from Theorem 88, that, if
(6.112)
kxi ak r,
for
i {1, . . . , n} ,
(6.113)
kxi k n
kxi k2
i=1
i=1
Re
* n
X
kak2 r2
kak
kak2 r2
+
xi , a
i=1
n
X
xi
i=1
and
(6.114)
n
X
0
kxi k
xi
i=1
i=1
! 12
n
n
X
X
2
kxi k
xi
n
i=1
i=1
! 12
* n
+
n
X
X
a
2
kxi k
Re
xi ,
n
kak
i=1
i=1
* n
+
X
r2
a
Re
q
xi ,
q
kak
2
2
2
2
i=1
kak r kak + kak r
n
X
r2
q
xi
.
q
i=1
kak2 r2 kak + kak2 r2
n
X
We note that for kak = 1 and r (0, 1) , the inequality (6.89) becomes
! 12
n
n
X
X
p
(6.115)
1 r2
kxi k (1 r2 ) n
kxi k2
i=1
i=1
Re
* n
X
+
xi , a
i=1
253
n
X
xi
i=1
(6.116)
n
X
i=1
n
X
kxi k
xi
i=1
* n
+
X
r2
Re
xi , a
1 + 1 r2
i=1
n
2
X
r
xi
.
2
1+ 1r
i=1
1 r2
1 r2
xi + e
1 | | for each i {1, . . . , n} ,
2
2
or, equivalently,
Re he xi , xi ei 0 for each i {1, . . . , n} ,
then we have the following reverses of the generalised triangle inequality:
(6.118)
n
X
kxi k
n
X
i=1
! 12
2
kxi k
i=1
P
+
h ni=1 xi , ei
p
2 Re (
)
n
X
+
1
p
xi
2
Re (
) i=1
Re
254
6. OTHER INEQUALITIES
and
(6.119)
n
X
0
kxi k
xi
i=1
i=1
! 12
n
n
X
X
n
kxi k2
xi
i=1
i=1
+
! 12
* n
n
X
X
Re q
xi , e
kxi k2
n
Re
i=1
i=1
n
X
| |2
p
p
2 Re (
) | + | + 2 Re (
)
"
* n
+#
+
X
Re
xi , e
+
i=1
n
X
p
xi
.
p
2 Re (
) | + | + 2 Re (
)
| |2
i=1
d2 (x, M ) =
(x1 , . . . , xn , x)
(x1 , . . . , xn )
255
and
(6.121)
P
2
( ni=1 |hx,xi i|2 )
if x
/ M ,
kxk Pn
2
k i=1 hx,xi ixi k
2
d (x, M ) =
kxk2
if x M ,
i
i
|hx, xi i| r for each i {1, . . . , n} ,
(note that if hx, xi i 6= 0 for each i {1, . . . , n} , then (6.122) can be
written as
x
i
(6.123)
a
r for each i {1, . . . , n}),
hx, xi i
then we have the inequality
(6.124)
Pn
2
kak2
i=1 |hx, xi i|
d (x, M ) kxk
P
n
2
kak2 r2
i=1 kxi k
0.
2
|hx, xi i|2 .
2
k i=1 hx, xi i xi k i=1
Also, by the inequality (6.86) applied for i = hx, xi i , pi =
{1, . . . , n} , we can state that
Pn
2
1
kak2
i=1 |hx, xi i|
(6.126)
Pn
Pn
2
2
2
2
kak r
k i=1 hx, xi i xi k
i=1 kxi k
1
,
n
256
6. OTHER INEQUALITIES
Remark 73. Utilising (6.120), we can state the following result for
Gram determinants
(6.127) (x1 , . . . , xn , x)
"
#
Pn
2
2
|hx,
x
i|
kak
i
i=1
P
(x1 , . . . , xn ) 0
kxk2
n
2
kak2 r2
i=1 kxi k
for x
/ M and x, xi , a and r are as in Proposition 60.
The following corollary of Proposition 60 may be stated as well [11].
Corollary 55. Let {x1 , . . . , xn } be a system of linearly independent vectors, M = span {x1 , . . . , xn } , x H\M and , K with
Re (
) > 0. If e H, kek = 1 and
+
1
(6.128)
xi hx, xi i 2 e
2 | | |hx, xi i|
or, equivalently,
E
D
Re hx, xi ie xi , xi hx, xi ie 0,
for each i {1, . . . , n} , then
(6.129)
Pn
2
1 | + |2
i=1 |hx, xi i|
Pn
d (x, M ) kxk
0,
2
4 Re (
)
i=1 kxi k
2
or, equivalently,
(6.130) (x1 , . . . , xn , x)
#
"
2
2 Pn
1 | + |
i=1 |hx, xi i|
kxk2
P
(x1 , . . . , xn ) 0.
n
2
4 Re (
)
i=1 kxi k
6.2.6. Applications for Fourier Coefficients. Let (H; h, i) be
a Hilbert space over the real or complex number field K and {ei }iI an
orthornormal basis for H. Then (see for instance [4, p. 54 61])
(i) Every element x H can be expanded in a Fourier series, i.e.,
X
x=
hx, ei i ei ,
iI
257
x, y H;
iI
a
hy, ei i
then we have the following reverse of the Schwarz inequality
1
kxk kyk q
(6.132)
Re [
a hx, yi]
|a|2 r2
|a|
|hx, yi| ;
|a|
(6.133)
hx, yi
kxk kyk Re
|a|
a
r2
Re
q
hx, yi
q
|a|
2
2
2
2
|a| r |a| + |a| r
q
(6.134)
r2
r2
2
|a|
r2
kxk2 kyk2
|a| +
|a|
|hx, yi| ;
r2
1
(Re [
a hx, yi])2
2
|a| r
2
|a|2
2
|hx, yi|2
2
|a| r
258
6. OTHER INEQUALITIES
and
(0 ) kxk2 kyk2 |hx, yi|2
2
a
2
2
kxk kyk Re
hx, yi
|a|
2
r2
a
Re
2
hx, yi
|a|
|a| |a|2 r2
(6.135)
r2
|hx, yi| .
|a|2 r2
(6.136)
or, equivalently,
(6.137)
hx, ei i
hei , xi
Re e
e 0
hy, ei i
hei , yi
(6.139)
e
kxk kyk Re
hx, yi
| + |
259
| |2
p
p
2 Re (
) | + | + 2 Re (
)
#
"
+
e
Re
hx, yi
| + |
| |2
|hx, yi|
p
p
2 Re (
) | + | + 2 Re (
)
and
(6.140)
e
2
2
kxk kyk Re
hx, yi
| + |
2
| |2
+
Re
e hx, yi
2
4 | + | Re (
)
| |2
|hx, yi|2 .
4 Re (
)
x B (x, r) := {z H| kz ak r} ,
260
6. OTHER INEQUALITIES
(6.143)
or, equivalently,
x
| | kyk
y
2
2
(6.144)
kxk kyk Re
hx, yi
| + |
+
kxk kyk Re
hx, yi
| + |
(6.145)
The constant
1
4
1 | |2
kyk2 .
4 | + |
(6.146)
or, equivalently,
1
m
+
M
x
y
2 (M m) kyk
2
(6.147)
holds, then
(6.148)
The constant
1
4
is sharp.
1 (M m)2
kyk2 .
4
M +m
261
X
`2p (K) := x = (xi ) |xi K, i N and
pi kxi k2 < .
i=1
`2p
pi hxi , yi i
i=1
! 12
pi kxi k2
i=1
X
X
X
(6.149)
pi kxi k2
pi kyi k2
pi hxi , yi i
i=1
i=1
i=1
X
`2p (K) := = (i ) i K, i N and
pi |i |2 <
iN
i=1
and x
(6.150)
`2p
X
X
X
2
2
pi |i |
pi kxi k
pi i xi
i=1
i=1
i=1
262
6. OTHER INEQUALITIES
(6.151)
then
(6.152)
! 21
X
pi kyi k
pi hxi , yi i
(0 )
pi kxi k
i=1
i=1
i=1
! 12
X
X
X
2
2
pi kxi k
pi kyi k
pi Re hxi , yi i
i=1
i=1
i=1
! 12
X
X
X
2
2
pi Re hxi , yi i
pi kxi k
pi kyi k
i=1
i=1
i=1
1
r2 .
2
The constant 12 in front of r2 is best possible in the sense that it cannot
be replaced by a smaller quantity.
Proof. If (6.151) holds true, then
kx
yk2p
X
i=1
pi kxi yi k r
pi = r 2
i=1
`2p
or, equivalently,
+
1
(6.154)
xi 2 yi
2 | | kyi k for each i N
263
holds, then:
(0 )
(6.155)
pi kxi k
i=1
! 12
pi kyi k
i=1
i=1
pi kxi k
X
pi hxi , yi i
! 12
pi kyi k2
i=1
"i=1
#
+ X
Re
pi hxi , yi i
| + | i=1
! 12
X
X
pi kxi k2
pi kyi k2
i=1
i=1
"
+ X
Re
pi hxi , yi i
| + | i=1
1 | |2 X
pi kyi k2 .
4 | + | i=1
The constant
1
4
pi Re hyi xi , xi yi i 0,
i=1
hence,
on applying
the inequality (6.145) for the Hilbert space
`2p (K) , h, ip , we deduce the desired inequality (6.155).
The best constant follows by Theorem 90 and we omit the details.
Corollary 57. If the conditions (6.153) and (6.154) hold for =
M, = m with M m > 0, then
(6.156)
! 21
X
pi hxi , yi i
(0 )
pi kxi k
pi kyi k2
i=1
i=1
i=1
! 12
X
X
X
pi kxi k2
pi kyi k2
pi Re hxi , yi i
i=1
X
2
i=1
i=1
264
6. OTHER INEQUALITIES
pi kxi k
i=1
The constant
1
4
X
2
! 21
pi kyi k
i=1
2 X
1 (M m)
4
M +m
pi Re hxi , yi i
i=1
pi kyi k2 .
i=1
is best possible.
(6.157)
(note that if i 6= 0 for any i N, then the condition (6.157) is equivalent to the simpler one
xi
(6.158)
i v
r for each i N),
then
(6.159)
! 12
X
(0 )
pi i xi
i=1
i=1
i=1
! 12 *
+
X
X
X
v
pi |i |2
pi kxi k2
pi i xi ,
kvk
i=1
i=1
i=1
! 21 *
+
X
X
X
v
2
2
pi |i |
pi kxi k
Re
pi i xi ,
kvk
i=1
i=1
i=1
*
! 21
+
X
X
X
v
2
2
Re
pi i xi ,
pi |i |
pi kxi k
kvk
i=1
i=1
i=1
X
pi |i |2
pi kxi k2
The constant
1
2
1 r2 X
pi |i |2 .
2 kvk i=1
is best possible in (6.159).
kxi k2 + |i |2 kvk2 2 Re hi xi , vi + r2 |i |2
265
for each i N.
If we multiply (6.160) by pi 0, i N and sum over i N, then
we deduce
(6.161)
pi kxi k2 + kvk2
i=1
pi |i |2
i=1
2 Re
*
X
+
pi i xi , v
+r
i=1
pi |i |2 .
i=1
Since, obviously
(6.162)
2 kvk
X
2
pi |i |
pi kxi k2
i=1
i=1
! 12
pi kxi k2 + kvk2
i=1
pi |i |2 ,
i=1
X
X
2 kvk
pi |i |2
pi kxi k2
i=1
i=1
2 Re
*
X
+
pi i xi , v
i=1
+r
pi |i |2 ,
i=1
xi i
(6.163)
e
2 | | |i |
2
for each i N, or, equivalently,
(6.164)
Re hi e xi , xi i ei
266
6. OTHER INEQUALITIES
X
X
X
(6.167)
pi i xi
(0 )
pi |i |2
pi kxi k2
i=1
i=1
i=1
! 12 *
+
X
X
X
pi |i |2
pi kxi k2
pi i xi , e
i=1
i=1
i=1
! 12
X
X
pi |i |2
pi kxi k2
i=1
i=1
"
*
+#
X
Re
pi i xi , e
| + | i=1
! 12
X
X
pi |i |2
pi kxi k2
i=1
i=1
"
Re
| + |
The constant
1
4
*
X
+#
pi i xi , e
i=1
1 | |2 X
pi |i |2 .
4 | + | i=1
is best possible.
X
2
pi |i |
pi kxi k2
i=1
i=1
! 12
X
pi i xi
i=1
! 12
*
+
X
pi i xi , e
i=1
i=1
i=1
+
! 12 *
X
X
X
2
2
Re
pi |i |
pi kxi k
pi i xi , e
i=1
i=1
i=1
! 21
*
+
X
X
X
2
2
Re
pi i xi , e
pi |i |
pi kxi k
267
X
2
pi |i |
pi kxi k2
i=1
i=1
2 X
1 (M m)
4
M +m
The constant
1
4
i=1
pi |i |2 .
i=1
is best possible.
X
X
(6.169)
r
kxi k
xi
,
i=1
i=1
X
X
p
(6.171)
1 2
kxi k
xi
i=1
i=1
kxi ak ,
i {1, . . . , n} ,
Re hM a xi , xi mai 0,
or, equivalently,
M +m
1
(6.174)
a
(M m) ,
xi
2
2
i {1, . . . , n} ,
i {1, . . . , n} ,
268
6. OTHER INEQUALITIES
n
n
X
2 mM X
kxi k
(6.175)
xi
.
M + m i=1
i=1
It is obvious from Theorem 91, that, if
(6.176)
kxi vk r,
i {1, . . . , n} ,
for
kxi k2
xi ,
n
n i=1
kvk
i=1
! 12 * n
+
n
X
1X
1
v
2
kxi k
Re
xi ,
n i=1
n i=1
kvk
! 12
* n
+
n
X
X
1
1
v
kxi k2
Re
xi ,
n i=1
n i=1
kvk
1 r2
.
2 kvk
(6.178)
1X
kxi k
n i=1
1X
kxi k2
n i=1
! 12
,
Re he xi , xi ei 0,
i {1, . . . , n} ,
269
kxi k2
n
n i=1
i=1
! 12 "
* n
+#
n
X
1
1X
kxi k2
Re
xi , e
n i=1
| + | n i=1
! 12
"
* n
+#
n
X
1
1X
kxi k2
Re
xi , e
n i=1
| + | n i=1
1 | |2
.
4 | + |
Now, making use of (6.178) and (6.182) we can establish the following
additive reverse of the generalised triangle inequality [12]
n
n
X
1
X
| |2
kxi k
xi
n
(6.183)
(0 )
,
4
| + |
i=1
i=1
provided either (6.180) or (6.181) hold true.
6.3.5. Applications for Fourier Coefficients. Let (H; h, i) be
a Hilbert space over the real or complex number field K and {ei }iI an
orthonormal basis for H. Then (see for instance [4, p. 54 61]):
(i) Every element x H can be expanded in a Fourier series, i.e.,
X
x=
hx, ei i ei ,
iI
x, y H;
270
6. OTHER INEQUALITIES
We must remark that all the results from the second and third sections may be stated for K = K where K is the Hilbert space of complex
(real) numbers endowed with the usual norm and inner product .
Therefore we can state the following reverses of the Schwarz inequality [12]:
Proposition 65. Let (H; h, i) be a Hilbert space over K and
{ei }iI an orthonormal base for H. If x, y H, y 6= 0, a K (C, R)
with r > 0 such that
hx, ei i
for each i I,
(6.184)
hy, ei i a r
then we have the following reverse of the Schwarz inequality:
(0 ) kxk kyk |hx, yi|
a
kxk kyk Re hx, yi
|a|
a
(6.185)
The constant
1
2
hx, ei i
hei , xi
Re e
e 0
hy, ei i
hei , yi
271
kxk kyk Re
hx, yi e
| + |
+
kxk kyk Re
hx, yi e
| + |
(6.188)
1 | |2
kyk2 .
4 | + |
The constant
1
4
is best possible.
Bibliography
[1] R. BELLMAN, Almost orthogonal series, Bull. Amer. Math. Soc., 50 (1944),
517-519.
[2] R.P. BOAS, A general moment problem, Amer. J. Math., 63 (1941), 361-370.
[3] E. BOMBIERI, A note on the large sieve, Acta Arith., 18 (1971), 401-404.
[4] F. DEUTSCH, Best Approximation in Inner Product Spaces, CMS Books in
Mathematics, Springer-Verlag, New York, Berlin, Heidelberg, 2001.
[5] J.B. DIAZ and F.T. METCALF, A complementary triangle inequality in
Hilbert and Banach spaces, Proc. Amer. Math. Soc., 17(1) (1966), 88-99.
[6] S.S. DRAGOMIR, A counterpart of Bessels inequality in inner product spaces
and some Gr
uss type related results, RGMIA Res. Rep. Coll., 6 (2003), Supplement, Article 10. [ONLINE: http://rgmia.vu.edu.au/v6(E).html].
[7] S.S. DRAGOMIR, Advances in Inequalities of the Schwarz, Gr
uss and Bessel
Type in Inner Product Spaces, RGMIA Monographs, Victoria University, 2004.
[ONLINE http://rgmia.vu.edu.au/monographs/advancees.htm].
[8] S.S. DRAGOMIR, New reverses of Schwarz, triangle and Bessel inequalities in
inner product spaces, Australian J. Math. Anal. & Appl., 1(1) (2004), Art. 1.
[ONLINE http://ajmaa.org/].
[9] S.S. DRAGOMIR, Reverses of Schwarz, triangle and Bessel inequalities in inner
product spaces, J. Ineq. Pure & Appl. Math., 5(3) (2004), Art. 74. [ONLINE
http://jipam.vu.edu.au/article.php?sid=432].
[10] S.S. DRAGOMIR, Reverses of the triangle inequality in inner product
spaces, RGMIA Res. Rep. Coll., 7 (2004), Supplement, Article 7. [ONLINE:
http://rgmia.vu.edu.au/v7(E).html].
[11] S.S. DRAGOMIR, Reversing the CBS-inequality for sequences of vectors in
Hilbert spaces with applications (I), RGMIA Res. Rep. Coll., 8(2005), Supplement, Article 2. [ONLINE http://rgmia.vu.edu.au/v8(E).html].
[12] S.S. DRAGOMIR, Reversing the CBS-inequality for sequences of vectors in
Hilbert spaces with applications (II), RGMIA Res. Rep. Coll., 8(2005), Supplement, Article 3. [ONLINE http://rgmia.vu.edu.au/v8(E).html].
[13] S.S. DRAGOMIR, Some Bombieri type inequalities in inner product spaces,
J. Indones. Math. Soc., 10(2) (2004), 91-97.
[14] S.S. DRAGOMIR, Reverses of the triangle inequality in inner product
spaces, RGMIA Res. Rep. Coll., 7 (2004), Supplement, Article 7. [ONLINE
http://rgmia.vu.edu.au/v7(E).html].
[15] S.S. DRAGOMIR, On the Boas-Bellman inequality in inner product spaces,
Bull. Austral. Math. Soc., 69(2) (2004), 217-225.
[16] S.S. DRAGOMIR, Upper bounds for the distance to finite-dimensional subspaces in inner product spaces, RGMIA Res. Rep. Coll., 7(1) (2005), Article
2. [ONLINE: http://rgmia.vu.edu.au/v7n1.html].
273
274
BIBLIOGRAPHY
J.E. PECARI
Index
Clarke, 91
complex function, 56
complex numbers, vi, 32, 57, 107, 108,
145, 240, 253
complex sequence, 58
complexification, 6, 7, 38, 46, 50, 53,
56, 57, 63, 73
convex cone, 8
de Bruijn, 46, 52, 56
Diaz-Metcalf, 107, 108, 111, 138
discrete inequality, 52, 56, 80
Dragomir, 3840, 43, 48, 50, 5355,
57, 59, 6163, 68, 71, 72, 74, 76,
78, 79, 86, 88, 94, 96, 97, 99, 101,
108, 109, 112, 114, 116119, 122,
128, 129, 131, 133135, 138, 153,
156, 160, 166, 172, 173, 175, 176,
178, 183, 198, 199, 204, 206, 210
213, 215, 217, 219, 221, 222, 227,
228, 230, 232237, 239, 240, 245,
259, 260, 264
276
INDEX
INDEX
self-adjoint operator, 25
strong nondecreasing, 11, 18
strong superadditive, 11, 17
superadditivity, 1, 14, 15, 18, 20, 23,
26
supremum, 40, 41, 51
triangle inequality, v, vi, 10, 37, 55,
64, 71, 78, 89, 101, 102, 107, 108,
111, 112, 116, 121, 122, 124, 125,
130, 132134, 138, 139, 142, 143,
145, 151, 152, 159, 166, 172, 173,
186, 189192, 241, 251, 253, 261,
267, 269
upper bounds, vi, 37, 88, 89, 108, 226
vector-valued function, vi, 198, 204,
217
vectors, 1, 38, 1517, 21, 23, 27, 28,
37, 38, 4143, 45, 47, 59, 6668,
72, 88, 89, 101, 103, 107109, 111,
114, 116, 118, 120, 122, 135139,
141, 152157, 159161, 163, 166,
180, 181, 183, 185, 195, 198, 204,
206, 217, 225228, 231, 235239,
241, 244, 251, 255, 256, 261, 267
Wilf, 107, 151
277