Download as docx, pdf, or txt
Download as docx, pdf, or txt
You are on page 1of 15

Operator Norm Inequalities of Minkowski Type

Prepared by: Shno Farhad Muhammed

University of Salahaddin, Physics Department, College of Education Shaqlawa

E-mail: shnoo.farhadd@gmail.com

2017-2018

Abstract

In this paper, we collect and illustrate some results about generalization for Hiai and Zhan inequality and for a
unitarily invariant norm presented operator norm inequalities of Minkowski type for the Schatten p- norm.
Keywords: Minkowski inequality and Schatten p- norm.
1. Introduction

T he Minkouski inequality established that the LP spaces are normed vector spaces in
mathematical analysis. The proofs of Minkouski inequality could be found in many
books. In [1] Lulea proved a simple proof for Minkouski inequality different from a classical
proof. Shebrawi used operator norm for the type of these inequalities in [2]. Assume that we
have two normed vector spaces namely V and W. A linear operator T :V → W is said to be
bounded whenever there is a number c where c is a constant such that ‖Tx‖W =c ‖x‖V , ∀ x ∈ V
. A linear transformation V : H 1 → H 2 from first Hilbert space H 1 to the second Hilbert space
H 2 is a unitary if it has preserve the inner product. A norm on the space of operators
satisfying ¿∨¿ A∨¿∨¿ = ¿∨¿ UAV ∨¿∨¿ is said to be a unitarily invariant norm for all A and
all unitary operators U and V in B(H), denoted by ¿∨¿ .∨¿∨¿ [2,3,4]. An absolute value of
1
an operator A∈ B ( H ) is symbol by ¿ A∨¿ and defined by ¿ A∨¿ = ( A∗A) 2 [5,6]. A Schatten

p- norm on the Schatten p-classes is a unitarily invariant norms whenever if ¿∨A∨¿ p=¿ ¿,
where p ≥1. Moreover,¿∨A∨¿ p=¿ ¿ . ¿∨A∨¿ 1 is called the trace norm of A whenever p is
equal to one. Note ¿∨¿ A∨¿ r∨¿ p ¿ =¿∨A∨¿ rrp ∀ r , p ∈ R +¿¿[7].

1
2. Norm Inequalities of Minkouski Type
We start by generalize the below inequality for operators A1 , A 2 ,… , A n ∈ B(H ). When Hiai
and Zhan provide it in [9].

¿∨¿| A1 + A2| +|B1 + B2| ∨¿∨¿ ¿ ≤ 2| p 2| (¿∨¿| A1| +|B1| ∨¿∨¿ p + ¿∨¿| A 2| +|B2| ∨¿∨¿ p ¿ ¿
1 1 1 1 1
p p − p p p p p

.
Lemma 2.1[8]
Every unitarily invariant norm satisfies the following equations below whenever
A1 , A 2 ,… , A n ∈ B(H ) an operators.

n
a - If r ≥ 1 then ¿∨¿ ∑ A i ∨¿∨≤∨¿∨¿.
r
(1)
i=1

b – If 0< r ≤ 1 then¿∨¿ ¿. (2)

c- If r ≥ 1 then ¿∨¿ ¿. (3)

n
d- If 0< r ≤ 1 then ¿∨¿ ∑ A i ∨¿∨≤ n ∨¿∨¿.
r 1−r
(4)
i=1

Proof (a):
n
By mathematical induction if r = 1 then ¿∨¿ ∑ A i ∨¿∨≤∨¿∨¿.
1

i=1

n
Suppose that it is true for r = p then ¿∨¿ ∑ A i ∨¿∨≤∨¿∨¿ .
p

i=1

We have to prove for r = p + 1


n n n
Now ¿∨¿ ∑ A i ∨¿∨≤∨¿∨∑ A i ∑ A i1∨¿∨¿
p+ 1 p

i=1 i=1 i=1

≤∨¿∨¿ .

Proof (b):
By mathematical induction if r = 1 then ¿∨¿ ¿.
Suppose that it is true for r = p then ¿∨¿ ¿.
We have to prove for r = p + 1
Now ¿∨¿ ¿
n
≤∨¿∨∑ A ip +1∨¿∨¿.
i=1

2
Proof (c):
By mathematical induction if r = 1 then ¿∨¿ ¿.
Suppose that it is true for r = p then¿∨¿ ¿.
We have to prove for r = p + 1
Now ¿∨¿ ¿ ≤∨¿∨¿
n n
≤n p−1
∨¿∨∑ Ai ∨¿∨¿∨¿ ∑ Ai1∨¿∨¿p

i=1 i=1

n
≤ n p−1∨¿∨∑ Ai p +1∨¿∨¿.
i=1

Proof (d):
n
By mathematical induction if r = 1 then ¿∨¿ ∑ A i ∨¿∨≤∨¿∨¿.
1

i=1

n
Suppose that it is true for r = p then¿∨¿ ∑ A i ∨¿∨≤ n ∨¿∨¿.
p 1− p

i=1

We have to prove for r = p + 1


n n n
Now ¿∨¿ ∑ A i ∨¿∨≤∨¿∨∑ A i ∑ A i ∨¿∨¿
p+ 1 p 1

i=1 i=1 i=1

n n
≤∨¿∨∑ A ip ∨¿∨¿∨¿ ∑ A i1 ∨¿∨¿
i=1 i=1

1− p
≤n ∨¿∨¿

Theorem 2.2 [2]

Every unitarily invariant norm satisfies the following equations below whenever
A1 , A 2 ,… , A n and B1 , B2 , … , Bn ∈ B(H ) and p ∈¿.
n 1 n 1
1 1
n
−¿ − ∨¿¿
p 2 ¿∨¿ ∑ ¿ A i + Bi∨¿ ∨¿∨¿ ¿ ¿ ≤ ¿∨¿ ∑ ¿ A i∨¿ ∨¿∨¿ ¿ ¿ +
p p p p

i=1 i =1

n 1
¿∨¿ ∑ ¿ B i∨¿ ∨¿∨¿ ¿ ¿ .
p p
(5)
i=1

3
n 1 n 1
And ¿∨¿ ∑ ¿ A i∨¿ ∨¿∨¿ ¿ ¿ + ¿∨¿ ∑ ¿ B i∨¿ ∨¿∨¿ ¿ ¿
p p p p

i=1 i=1

n 1 n 1
1 1
≤ n
¿ − ∨¿ ¿
p 2 ( ¿∨¿ ∑ ¿ A i + Bi∨¿ p ∨¿∨¿ p ¿ ¿ + ¿∨¿ ∑ ¿ A i−Bi∨¿ p∨¿∨¿ p ¿ ¿ ).
i=1 i=1

(6)

Proof:

[ ] [ ]
A1 0 … 0 B1 0 … 0
A2 0 … 0 B2 0 … 0 n
Let A = and B = . By operators in B ( ⊕i=1 H ) , then
⋮ ⋮ ⋱ ⋮ ⋮ ⋮ ⋱ ⋮
An 0 … 0 Bn 0 … 0

[ ]
n

Thus ¿ A+ B∨¿ ¿ = 2 ∑ ¿ A i + Bi∨¿2 ¿ 0 0 ¿ … 0¿⋮ ⋮¿ ⋱ ⋮¿


i=1
¿ … 0 0 0 ⋯ 0

1 1 1
Apply ¿∨¿ ¿ A + B∨¿ p∨¿∨¿ p ≤ ¿∨¿| A|p∨¿∨¿ p +¿∨¿|B|p∨¿∨¿ p ¿ ¿ ¿ on both operators A

and B we get the following inequality

¿∨¿ ¿ ¿+ ¿∨¿ ¿ ¿

≤ ¿∨¿ ¿ ¿ + ¿∨¿ ¿ ¿ (7)

Since for p ∈[1 , 2], from equation (2) and (4) we get the following equation

¿∨¿ ¿ (8)

¿∨¿ ¿ (9)

n p
1−
and ¿∨¿ ∑ ¿ A i + Bi∨¿ ∨¿∨≤ n
p 2
∨¿∨¿ ¿ (10)
i=1

Since for p¿2, from equation (1) and equation (3) we have
n
¿∨¿ ∑ ¿ A i + Bi∨¿ p ∨¿∨≤∨¿∨¿ ¿ (11)
i=1

¿∨¿ ¿ (12)

¿∨¿ ¿ (13)

Thus inequality (5) follows, by combining equation (8), equation (9) and equation (10) by
equation (7).
4
For inequality (6), replacing Ai by Ai + Bi and replacing Bi by Ai −¿ Bi in equation (5) we
get the following inequality
n 1 n 1
¿∨¿ ∑ ¿ A i + Bi∨¿ ∨¿∨¿ p +¿∨¿ ∑ ¿ A i−Bi∨¿ ∨¿∨¿ p ¿ ¿ ¿ ¿
p p

i=1 i =1

n 1 n 1
1 1
(¿∨¿ ∑ ¿ A i + Bi∨¿ ∨¿∨¿ p +¿∨¿ ∑ ¿ A i−Bi∨¿ ∨¿∨¿ p ¿ ¿ ¿ ¿
¿ − ∨¿¿ p p
p 2
≤n i=1 i =1

n 1
¿∨¿ ∑ ¿ A i + Bi+ A i−Bi∨¿ p∨¿∨¿ p ¿ ¿
i=1

n 1 n 1
1 1
(¿∨¿ ∑ ¿ A i + Bi∨¿ ∨¿∨¿ p +¿∨¿ ∑ ¿ A i−Bi∨¿ ∨¿∨¿ p ¿ ¿ ¿ ¿ )
¿ − ∨¿¿ p p
p 2
≤n i=1 i =1

n 1
1 1
2∨¿∨∑ ¿ A i∨¿ p∨¿∨¿ ¿ ¿ p
≤n
¿ − ∨¿¿
p 2 (
i=1

n 1 n 1
¿∨¿ ∑ ¿ A i + Bi∨¿ ∨¿∨¿ +¿∨¿ ∑ ¿ A i−Bi∨¿ ∨¿∨¿ ¿ ¿ ¿ ¿ )
p p p p
(14)
i=1 i =1

Again replacing Ai by Ai + Bi and replacing Bi by Bi− Ai in equation (5) we get the following
inequality
n 1
1 1
2∨¿∨∑ ¿ Bi∨¿ p∨¿∨¿ p ¿ ¿ ≤n
¿ − ∨¿¿
p 2 (
i=1

n 1 n 1
¿∨¿ ∑ ¿ A i + Bi∨¿ p ∨¿∨¿ p +¿∨¿ ∑ ¿ A i−Bi∨¿ p ∨¿∨¿ p ¿ ¿ ¿ ¿ ) (15)
i=1 i =1

By adding equation (14) with equation (15) and divide by two we get the complete proof.
Example 2.1

Let C 1 , C 2 , C3 , D1 , D 2 , D3 ∈ B( H ) and p ∈ [ 1 , ∞ ) then prove that every unitarily invariant


norm satisfies the following equations:
3 1 3 1
1 1
¿∨¿ ∑ ¿ Ci + D i ∨¿ ∨¿∨¿ p ¿ ¿ ≤ ¿∨¿ ∑ ¿C i∨¿ ∨¿∨¿ p ¿ ¿ +
−¿ − ∨¿ ¿ p p
p 2
3 i=1 i =1

3 1
¿∨¿ ∑ ¿ Di∨¿ p ∨¿∨¿ p ¿ ¿ . (16)
i=1

3 1 3 1
And ¿∨¿ ∑ ¿ Ci ∨¿ ∨¿∨¿ ¿ ¿ + ¿∨¿ ∑ ¿ Di∨¿ ∨¿∨¿ ¿ ¿ .
p p p p

i=1 i=1

3 1 3 1
1 1
≤ 3¿ p −2 ∨¿ ¿ ( ¿∨¿ ∑ ¿ Ci + Di ∨¿ p∨¿∨¿ p ¿ ¿ + ¿∨¿ ∑ ¿ Ci −Di∨¿ p ∨¿∨¿ p ¿ ¿ ).
i=1 i=1

(17)

Proof:
5
[ ] [ ]
C1 0 0 D1 0 0
Suppose that C = C2 0 0 and D = D2 0 0 .
C3 0 0 D3 0 0

By operators in B ( ⊕3i=1H ) , then

[ ]
3

¿ C+ D∨¿ ¿=
2 ∑ ¿ Ci + Di ∨¿2 ¿ 0 0
0¿ 0¿0¿0¿
i=1
0 ¿

1 1 1
Apply ¿∨¿ ¿ C+ D∨¿ p∨¿∨¿ p ≤ ¿∨¿|C|p ∨¿∨¿ p + ¿∨¿| D|p∨¿∨¿ p ¿ ¿ ¿ on both operators C

and D we get the following inequality:

¿∨¿ ¿ ¿+ ¿∨¿ ¿ ¿

≤ ¿∨¿ ¿ ¿ + ¿∨¿ ¿ ¿ (18)

Since for p ∈[1 , 2], from equation (2) and (4) we get the following equation

¿∨¿ ¿ (19)

¿∨¿ ¿ (20)

3 p
1−
and ¿∨¿ ∑ ¿ Ci + Di ∨¿ ∨¿∨≤ 3
p 2
∨¿∨¿ ¿ (21)
i=1

Since for p¿2, from equation (1) and equation (3) we have
3
¿∨¿ ∑ ¿ Ci + Di ∨¿ p∨¿∨≤∨¿∨¿ ¿ (22)
i=1

¿∨¿ ¿ (23)

¿∨¿ ¿ (24)

Thus inequality (16) follows, by combining equation (19), equation (20) and equation (21) by
equation (18).

For inequality (17), replacing C i byC i + Di and replacing Di by C i −¿ Di in equation (16)


we get the following inequality
3 1 3 1
¿∨¿ ∑ ¿ Ci + D i ∨¿ ∨¿∨¿ +¿∨¿ ∑ ¿ C i−Di∨¿ ∨¿∨¿ ¿ ¿¿ ¿
p p p p

i=1 i=1

6
3 1 3 1
1 1
(¿∨¿ ∑ ¿ Ci + D i ∨¿ ∨¿∨¿ +¿∨¿ ∑ ¿ C i−Di∨¿ ∨¿∨¿ ¿ ¿¿ ¿
¿ − ∨¿¿ p p p p
p 2
≤3 i=1 i=1

3 1
¿∨¿ ∑ ¿ Ci + Di +C i−Di∨¿ ∨¿∨¿ ¿ ¿ p p

i=1

3 1 3 1
1 1
(¿∨¿ ∑ ¿ Ci + D i ∨¿ ∨¿∨¿ p +¿∨¿ ∑ ¿ C i−Di∨¿ ∨¿∨¿ p ¿ ¿¿ ¿ )
¿ − ∨¿¿ p p
p 2
≤3 i=1 i=1

3 1
1 1
2∨¿∨∑ ¿ C i∨¿ p ∨¿∨¿ p ¿ ¿ ≤3
¿ − ∨¿¿
p 2 (
i=1

3 1 3 1
¿∨¿ ∑ ¿ Ci + D i ∨¿ p∨¿∨¿ p +¿∨¿ ∑ ¿ C i−Di∨¿ p∨¿∨¿ p ¿ ¿¿ ¿ ) (25)
i=1 i=1

Again replacing C i by C i+ D i and replacing Di by Di−C i in equation (5) we get the following
inequality
3 1
1 1
2∨¿∨∑ ¿ Di ∨¿ ∨¿∨¿ ¿ ¿ p p
≤3
¿ − ∨¿¿
p 2 (
i=1

3 1 3 1
¿∨¿ ∑ ¿ Ci + D i ∨¿ ∨¿∨¿ +¿∨¿ ∑ ¿ D i−C i∨¿ ∨¿∨¿ ¿ ¿¿ ¿ )
p p p p

i=1 i=1

3 1
1 1
2∨¿∨∑ ¿ Di ∨¿ p∨¿∨¿ p ¿ ¿ ≤ 3¿ p − 2 ∨¿¿(
i=1

3 1 3 1
¿∨¿ ∑ Ci + D i ∨¿ p∨¿∨¿ p +¿∨¿ ∑ ¿ (−1 ) (C ¿ ¿ i−D i )∨¿ p ∨¿∨¿ p ¿ ¿ ¿ ¿ ¿ )
i=1 i=1

3 1
1 1
2∨¿∨∑ ¿ Di ∨¿ p∨¿∨¿ p ¿ ¿ ≤ 3¿ p − 2 ∨¿¿(
i=1

3 1 3 1
¿∨¿ ∑ Ci + D i ∨¿ ∨¿∨¿ p +¿∨¿ ∑ ¿ C i−Di∨¿ ∨¿∨¿ p ¿ ¿ ¿¿ )
p p

i=1 i=1

(26)
By adding equation (25) with equation (26) and divide by two we get the result (17).
Lemma 2.3[2]
Every unitarily invariant norm satisfies the following equations whenever A1 , A 2 ,… , A n and
B1 , B2 , … , Bn ∈ B ( H ) ∧ p ∈ ¿ .
1 1
¿∨¿ ¿ ¿ ≤ n 2 − p ¿∨¿ ¿ ¿ (27)

Theorem 2.4[2]
Every unitarily invariant norm satisfies the following equations whenever A1 , A 2 ,… , A n ,
B1 , B2 , … , Bn ∈ B(H ) and p ∈¿ .
1
−(1− )
n p ¿∨¿ ¿ ¿ ≤∨¿∨¿ ¿ + ¿∨¿ ¿ ¿ . (28)

7
And ¿∨¿ ¿ ¿ + ¿∨¿ ¿ ¿
1
≤ n1− p ( ¿∨¿ ¿ ¿ + ¿∨¿ ¿ ¿ (29)

Proof:
By using inequality (2), (4), (18) and (27), respectively, we have
Since ¿∨¿ ¿ ¿
1
1−
p
≤n ∨¿∨¿ ¿
1
Multiplying both side of above inequality by n−(1− p ) us gets prove of inequality (28).

From inequality (28) replacing Ai by Ai + Bi and replacing Bi and Ai −¿ Bi we get


1
2 n−(1− p )∨¿∨¿ ¿

(30)
Again From (17) replacing Ai by Ai + Biand replacing Bi by Bi−¿ Ai we get
1
2n−(1− p )∨¿∨¿ ¿

(31)
1
(1− )
p
Adding (30) and (31) and multiplying by n us gets prove of inequality (29).
2
Example 2.2
Suppose that C 1 , C 2 , C3 , C 4 , D1 , D 2 , D3 , D 4 ∈ B( H ) and p ∈ [ 2 , ∞ ) then prove that for each
unitarily invariant norm satisfies the following equations:
1
−(1− )
4 p ¿∨¿ ¿ ¿ ≤∨¿∨¿ ¿ + ¿∨¿ ¿ ¿ . (32)

And ¿∨¿ ¿ ¿ + ¿∨¿ ¿ ¿


1
≤ 4 1− p ( ¿∨¿ ¿ ¿ + ¿∨¿ ¿ ¿ (33)

Proof:
By using inequality (2), (4), (18) and (28), respectively, we have
Since ¿∨¿ ¿ ¿
1
≤ 4 2 ∨¿∨¿ ¿
1
2
≤ 4 ∨¿∨¿ ¿
1
1−
p
≤4 ∨¿∨¿ ¿

8
1
Multiplying both side of above inequality by 4 −(1− p ) us gets prove of inequality (32).

From inequality (32) replacing C i and Diin equation (32) by C i + Di and C i −¿ Di we get
1
2 4 −(1− p )∨¿∨¿ ¿ (34)

Again From (32) replacing C i and Diin equation (32) by C i + Di and Di−¿ C i we get

( ) ( )
4 1 4 1
1
24 −(1− )
p
∨¿∨¿ ¿ ≤∨¿∨ ∑ ¿ Ci + D i p p
∨¿∨+¿∨¿ ∑ ¿ C i−Di p p
∨¿∨¿ (35)
i=1 i=1

Adding (34) and (35) we get


1
2 4 −(1− p ) ¿

≤ 2¿
1
(1− )
p
Multiplying both side of above inequality by 4 us gets prove of inequality (33).
2
3. Schallent P- Norm [2]
In this section, discover some norm inequalities of Minkouski type for the Schallent P- norm.
Where this inequalities obtain from generalized the inequalities below.
1
1 (1− )
r
¿∨¿( A ¿ ¿1+ A 2)+(B ¿ ¿1+ B2 )∨¿ ∨¿ ¿ ¿ ¿ ≤ 2
p p
p
(
r

1 1
¿∨¿ A 1∨¿ p+ ¿ B1∨¿ p∨¿ rp + ¿∨¿ A2 ∨¿ p +¿ B2∨¿ p ∨¿rp ¿ ¿ ¿ ¿)
and
1 1
¿ − ∨ ¿ ¿¿¿
¿∨¿ ¿ ≤2 p r p ).

Theorem 3.1

Suppose that A1 , A 2 ,… , A n , B1 , B2 , … , Bn ∈ B( H ) and p , r ∈ ¿. Then


1
−(1− ) n 1 n 1
r n 1
¿∨∑ ¿ Ai + Bi∨¿ ∨¿ ¿ ≤ ¿∨∑ ¿ A i∨¿ ∨¿ +¿∨∑ ¿ Bi∨¿ ∨¿ ¿ ¿
p p p p
a-n p p p
r r
r i=1 i=1
i=1

(36)
and

n 1 n 1 (1− 1r )
¿∨∑ ¿ A i∨¿ p∨¿ +¿∨∑ B∨¿ i∨¿ p ∨¿ ≤n
r
p
r
p p
¿ ¿ ¿ ¿ (37)
i=1 i=1

1 1
−¿ − ∨¿¿∨¿ ¿¿¿
b-n p r (38)

9
and

¿∨¿ ¿ ¿ ≤n
|1p − 1r |¿
(39)

Proof (a):
From the note after definition of trace and the triangle inequality, that
n n 1
¿∨∑ ¿ A i + Bi∨¿∨¿1=¿∨∑ ¿ Ai + Bi∨¿ pr∨¿1pr ¿ ¿
i=1 i=1

n
=¿∨∑ ¿ A i + Bi∨¿∨¿ pr ¿
i=1

‖[ ]‖ ‖[ ]‖
A1 0 … 0 B1 0 … 0
0 A2 … 0 0 B2 … 0
= +
⋮ ⋮ ⋱ ⋮ ⋮ ⋮ ⋱ ⋮
0 0 … An pr 0 0 … Bn pr

n 1 n 1
=¿∨∑ ¿ A i∨¿ ∨¿ +¿∨∑ ¿ Bi∨¿ ∨¿ ¿ ¿
pr pr pr pr
1 1
i=1 i=1

(40)

Now, from the note after definition of trace, (2), (3) and (40) we have
n 1 ( r −1) n 1
¿∨∑ ¿ A i + Bi∨¿ p ∨¿rp ¿ ≤ n pr
¿∨∑ ¿ Ai + Bi∨¿ ∨¿ ¿
pr pr
1
i=1 i=1

1 1
(1− ) (1− )
r r
p p
)
≤n ¿ ≤n ¿

1
−(1− )
r
Multiply both side of above inequality by p
we get the proving of inequality (36).
n
1
−(1− )
r
For proving inequality (37) follows from (36) and (17) we get p
)
n ¿
n 1
≤∨¿ ∑ ¿ A i+ Bi ∨¿ p∨¿rp ¿
i=1

1
(1− )
r
Multiply both side of above inequality by p
we get the proving the inequality (37).
n
10
Proof (b):
First suppose that r≤p. by using the note after definition of trace, (2), (4)and (40) we have ¿∨¿ ¿ ¿
1 1
−( − )
≤n p r
¿ ¿) (41)

For p¿r, by using the note after definition of trace and (27) we have ¿∨¿ ¿ ¿
1 1
( − )
≤n p r
¿ ¿) (42)

From inequality (41) and (42) we get


¿∨¿ ¿ ¿)
1 1
Multiply both side of above inequality by n−¿ p − r ∨¿¿ we get the proof of (38).

The proof of (39) follows by changing Ai by Ai + Biand Biby Ai −¿ Bi in (38) we get


1 1
−¿ − ∨¿¿∨¿ ¿¿¿
n p r ≤ ¿∨¿ ¿ ¿

From above inequality we get


1 1
−¿ − ∨¿ ¿∨¿¿ ¿¿
2n p r ≤ ¿∨¿ ¿ ¿ (43)

Again changing Ai and Biin equation (39) by Ai + Bi and Bi−¿ Ai respectively we get
1 1
−¿ − ∨¿¿∨¿ ¿¿¿
n p r ≤ ¿∨¿ ¿ ¿

(44)
1 1
−¿ − ∨¿ ¿∨¿¿ ¿¿
From inequality (43) and (44) we get 2n p r

≤ 2¿
1 1
¿ − ∨¿
p r
Multiply both side of above inequality by n ¿ we get proving (39).
2
From (36), (37), (38) and (39) complete the proof of Theorem (3.1).

Example 3.1
Suppose that C 1 , C 2 , C3 , C 4 , D1 , D 2 , D3 , D 4 ∈ B(H ) and p , r ∈ ¿ then prove that
1
−(1− ) 4 1 4 1
r n 1
¿∨∑ ¿ Ci + Di∨¿ ∨¿ ¿ ≤ ¿∨∑ ¿ Ci ∨¿ ∨¿ r + ¿∨∑ ¿ D i∨¿ ∨¿r ¿ ¿
p p p p
a-4 p p p
r i=1 i =1
i=1

(45)
and

4 1 4 1 (1− 1r )
¿∨∑ ¿ Ci ∨¿ p∨¿ + ¿∨∑ ¿ D i∨¿ p∨¿ ≤ 4
r
p
r
p p
¿ ¿ ¿ (46)
i=1 i =1

1 1
b-4 −¿ p − r ∨¿ ¿∨¿¿ ¿¿ (47)

and
11
¿∨¿ ¿ ¿ ≤4
|1p −1r| ¿
(48)

Proof (a):
From the note after definition of trace and the triangle inequality, that
4 4 1
¿∨∑ ¿ Ci + Di ∨¿∨¿ 1=¿∨∑ ¿ Ci + Di∨¿ ∨¿ ¿ ¿ pr pr
1
i=1 i=1

4 pr
=¿∨∑ ¿ Ci + D i ∨¿∨¿ ¿ pr
pr
i=1

4
=¿∨∑ ¿ Ci + Di ∨¿∨¿ pr ¿
i=1

‖[ ]‖ ‖[ ]‖
C1 0 0 0 D1 0 0 0
0 C2 0 0 0 D2 0 0
= +
0 0 C3 0 0 0 D3 0
0 0 0 C4 pr 0 0 0 D4 pr

4 1 4 1
=¿∨∑ ¿ Ci ∨¿ ∨¿ +¿∨∑ ¿ D i∨¿ ∨¿ ¿ ¿
pr pr pr pr
1 1
i=1 i=1

(49)

Now, from the note after definition of trace, (2), (3) and (49) we have
4 1
¿∨∑ ¿ Ci + Di ∨¿ p∨¿ rp ¿ = ¿∨¿ ¿ ¿
i=1

( r −1 ) 4 1
¿∨∑ ¿ Ci + Di ∨¿ ∨¿ ¿
pr pr pr
≤4 1
i=1

1
(1− )
r
p
≤4 ¿

1
(1− )
r
p
)
≤4 ¿
1
−(1− )
r
Multiply both side of above inequality by p
we get
4

12
1
−(1− ) 4 1 4 1
r 4 1
¿∨∑ ¿ Ci + Di∨¿ ∨¿ ¿ ≤ ¿∨∑ ¿ Ci ∨¿ ∨¿ + ¿∨∑ ¿ D i∨¿ ∨¿ ¿ ¿
p p p p
4 p p p
r r it is proving
r i=1 i =1
i=1

(45).
1
−(1− )
r
For proving inequality (46) follows from (45) and (6) we get p
)
4 ¿
1 1
−(1− ) −(1− )
r r
≤ p
) p
)
4 ¿ ≤4 ¿
− ( r −1) 4 1
¿∨∑ ¿ C i+ Di∨¿ ∨¿ ¿
pr pr pr
≤4 1
i=1

4 1
≤∨¿ ∑ ¿C i + D i∨¿ ∨¿ ¿
p p
r
i=1

1
−(1− )
r
≤ ¿∨¿ ¿ ¿ p
4 ¿
1
(1− )
r
Multiply both side of above inequality by p
we get ¿
4

This is proving the inequality (46).

Proof (b):
First suppose that r≤p. by using the note after definition of trace, (2), (4)and (49) we have ¿∨¿ ¿ ¿
4 1
≤ ¿∨∑ ¿C i + Di∨¿ r∨¿ 1r ¿
i=1

4 1 4 1
≤ ¿∨∑ ¿C i∨¿ r∨¿ 1r +¿∨∑ ¿ Di∨¿r∨¿1r ¿ ¿
i=1 i=1

1 1 1 1
( − ) ( − )
r p r p
≤4 ¿¿ ¿4 ¿¿
1 1
¿∨¿ ¿ ¿ ≤ 4−( p − r ) ¿ ¿) (50)

For p¿r, by using the note after definition of trace and (27) we have ¿∨¿ ¿ ¿
1
p( )
1−
p
r ¿∨¿ ¿ ¿) (51)
≤4 ¿
From inequality (50) and (51) we get
¿∨¿ ¿ ¿)
1 1
Multiply both side of above inequality by 4 −¿ p − r ∨¿ ¿ we get
1 1
−¿ − ∨¿ ¿∨¿¿ ¿¿
4 p r it is proves (47).

13
The proof of (48) follows by changing C i and Diin equation (47) by C i + Di and C i −¿ Di
respectively we get
1 1
−¿ − ∨¿ ¿∨¿¿ ¿¿
4 p r ≤ ¿∨¿ ¿ ¿
1 1
−¿ − ∨¿ ¿∨¿¿ ¿¿
2×4 p r ≤ ¿∨¿ ¿ ¿ (52)

Again changing C i and Diin equation (24) by C i + Di and Di−C i respectively we get
1 1
−¿ − ∨¿ ¿∨¿¿ ¿¿
4 p r ≤ ¿∨¿ ¿ ¿
1 1
−¿ − ∨¿ ¿∨¿¿ ¿¿
2×4 p r ≤ ¿∨¿ ¿ ¿ (53)

1 1
−¿ − ∨¿ ¿∨¿¿ ¿¿
From inequality (52) and (53) we get 2×4 p r

≤ 2¿

1 1
¿ − ∨¿
p r
Multiply both side of above inequality by 2 ¿ we get proving (48).
2

References

[1] Lulea, L.M. (1995). A simple proof of the Holder and the Minkowski inequality. The American
Mathematical Monthly, 102(3): 256-259[cited 2018 March 2].
14
Available from: https://scholar.google.com
[2] Sherbowi, K. (2008). Operaton norm inequalities of Minkowski type. Journal of Inequalities in Pure and
Applied Mathematics, 9(26): 1-11[cited 2018 March 2].
Available from: https://scholar.google.com
[3] Scheter, M. (2002). Principle of Functional Analysis. Americal Mathematical Society, Rhode Island.
[4] Debnath, L. and Minkusinki, P. (1990). Introduction to Hilbert Spaces with Applications. Boston,
Academicpress.
[5] Gohbery, I,C. and Krein, M.G. (1969). Introduction to the Theory of Linear No Self Adjoint Operators
in Hilbert Space. American Mathematical Society, providence.
[6] Schatten, R. (1960). Norm ideals of completely continuous operators. Springer, Velag Berlin.
[7] Simon, B. (1979). Trace Ideal and Their Applications. Cambridge, VP.
[8] Bhatia, R. and Kittaneh, F. (2004). Clarkson inequality with several operators. Bull London Mathematical
Society, 36: 820-832[cited 2018 March 5].
Available from: https://scholar.google.com
[9] Hiai, F. and Zhan, X. (2002). Inequalities involving unitarily invariant norms and operator monotone
functions. Linear Algebra Application, 341: 151-169.

15

You might also like