Académique Documents
Professionnel Documents
Culture Documents
Rajendra Bhatia
1
and
Hideki Kosaki
2
To Roger Horn on his 65th birthday
Abstract. We consider matrices M with entries m
ij
= m(
i
,
j
)
where
1
, . . . ,
n
are positive numbers and m is a binary mean dom-
inated by the geometric mean, and matrices W with entries w
ij
=
1/m(
i
,
j
) where m is a binary mean that dominates the geometric
mean. We show that these matrices are innitely divisible for several
much-studied classes of means.
AMS Subject Classications: 15A45, 15A57, 42A82, 47A63.
Keywords: mean, positive denite matrix, innitely divisible matrix,
operator monotone function, Fourier transform.
1
Theoretical Statistics and Mathematics Unit, Indian Statistical Institute,
7, S. J. S. Sansanwal Marg, New Delhi - 110 016, India. Email: rbh@isid.ac.in
2
Graduate School of Mathematics, Kyushu University, Higashi-ku,
Fukuoka 812-8581, Japan. Email: kosaki@math.kyushu-u.ac.jp
2 Rajendra Bhatia and Hideki Kosaki
1. Introduction
Let A = [a
ij
] and B = [b
ij
] be nn positive semidenite matrices. By
the well-known theorem of Schur the Hadamard product AB = [a
ij
b
ij
]
is positive semidenite. Thus for each positive integer m, the mth
Hadamard power A
m
= [a
m
ij
] is positive semidenite.
Suppose A is positive semidenite and all its entries a
ij
are nonneg-
ative. We say A is innitely divisible if for every real number r 0
the matrix A
r
= [a
r
ij
] is positive semidenite. By Schurs theorem
and continuity A is innitely divisible if and only if every fractional
Hadamard power A
1/m
is positive semidenite.
It is easy to see that every 2 2 positive semidenite matrix with
nonnegative entries is innitely divisible. This is not always the case for
matrices of order n > 2. We refer the reader to some old papers [H2],
[H3] on innitely divisible matrices and the recent work [B2] where
diverse examples of such matrices are given.
The motivation for this paper stems from the following observation.
Let
1
, . . . ,
n
be any given positive numbers. Consider the matrices
A whose entries are given by one of the following rules:
a
ij
= min(
i
,
j
),
a
ij
=
1
max(
i
,
j
)
,
a
ij
= H(
i
,
j
),
a
ij
=
1
A(
i
,
j
)
,
a
ij
=
_
j
,
where H(
i
,
j
) is the harmonic mean of
i
and
j
, and A(
i
,
j
) their
arithmetic mean. Then all these ve matrices are innitely divisible.
How general is this phenomenon?
A binary operation m on positive numbers is called a mean if it
satises the following conditions:
Mean matrices and innite divisibility 3
(i) m(a, b) = m(b, a).
(ii) min(a, b) m(a, b) max(a, b).
(iii) m(a, b) = m(a, b) for all > 0.
(iv) m(a, b) is an increasing function of a and b.
(v) m(a, b) is a continuous function of a and b.
Let
1
<
2
< <
n
be positive numbers and let m(a, b) be a mean.
Suppose m(a, b)
j
)]
are positive semidenite. We will say that f is innitely divisible if for
every r 0 the function (f(x))
r
is positive denite.
We will use a theorem of Roger Horn [H1] on operator monotone
functions. We refer the reader to [B1, Chapter V] for the theory of
4 Rajendra Bhatia and Hideki Kosaki
such functions. One of the key facts is that a (dierentiable) function
f : [0, ) [0, ) is operator monotone if and only if for all choices
of n positive numbers
1
, . . . ,
n
, the n n matrices
(1)
_
f(
i
) f(
j
)
j
_
are positive semidenite. (If
i
=
j
, the dierence quotient is taken to
mean f
(
i
).) This was proved by C. Loewner and the matrices in (1)
are called Loewner matrices. Another theorem of Loewner says that f
is operator monotone if and only if it has an analytic continuation to a
mapping of the upper half-plane into itself. Horn [H1] showed that this
analytic continuation is a one-to-one (also called univalent or schlicht)
map if and only if all Loewner matrices (1) are innitely divisible.
The matrix E all whose entries are equal to one is called the at
matrix. This is clearly innitely divisible. Hence, if G(
i
,
j
) represents
the geometric mean of
i
and
j
, then the matrices [G(
i
,
j
)] and
[1/G(
i
,
j
)] both are innitely divisible. As a consideration of 2 2
matrices shows, for no other mean can these two matrices be positive
denite at the same time.
A matrix C whose entries are
c
ij
=
1
i
+
j
,
is called a Cauchy matrix. This is an innitely divisible matrix. See
[B2] for dierent proofs of this fact. From this it follows that the matrix
W with entries
w
ij
=
1
A(
i
,
j
)
,
where A(., .) represents the arithmetic mean is innitely divisible, as is
the matrix M with entries
m
ij
= H(
i
,
j
),
where H represents the harmonic mean. This fact about Cauchy ma-
trices will be used again in the next section.
Mean matrices and innite divisibility 5
2. Examples
2.1. The logarithmic mean. The logarithmic mean L(a, b) is dened
as
L(a, b) =
_
_
_
ab
log alog b
, (a = b),
a (a = b).
We have
ab L(a, b)
1
2
(a + b), which is a renement of the
arithmetic-geometric mean inequality. The matrix W with entries
(2) w
ij
=
1
L(
i
,
j
)
=
log
i
log
j
j
is the Loewner matrix of the schlicht function log z mapping the upper
half-plane into itself. Hence, by the theorem of Horn [H1] this matrix
is innitely divisible. We will see other proofs of this fact later in this
paper.
Another representation for the mean L is given by the integral for-
mula
1
L(a, b)
=
_
0
dt
(t +a)(t +b)
.
For each t 0, the matrix with entries
1
(t +
i
)(t +
j
)
is congruent to the at matrix, and is thus positive denite (and inn-
itely divisible). It follows immediately that the matrix (2) is positive
denite.
It was observed in [BP] that the positive deniteness of all matrices
(2) is equivalent to the function
f(x) =
x
sinh x
being positive denite. The same argument now shows that this func-
tion is innitely divisible.
6 Rajendra Bhatia and Hideki Kosaki
2.2. The Heinz means. For 0 1, the Heinz mean is dened as
H
(a, b) =
a
b
1
+a
1
b
2
.
For each pair (a, b) of positive numbers the function H
(a, b) of is
symmetric about the point = 1/2 and attains its minimum value
there. The minimum value is H
1/2
(a, b) =
(
i
,
j
)
=
2
1
j
+
1
i
j
=
2
i
_
12
i
+
12
j
_
j
.
Then W = XCX, where X is a positive diagonal matrix and C is a
Cauchy matrix. Hence W is innitely divisible.
2.3. The Binomial means. The binomial means also called power
means, are dened as
B
(a, b) =
_
a
+b
2
_
1/
, .
It is understood that
B
0
(a, b) = lim
0
B
(a, b) =
ab,
B
(a, b) = lim
(a, b) = lim
(a, b) =
ab
B
(a, b)
.
For 0 let W be the matrix with entries
w
ij
=
1
B
(
i
,
j
)
=
2
1/
_
i
+
j
_
1/
.
Mean matrices and innite divisibility 7
This matrix is innitely divisible since every Cauchy matrix has that
property. The relation (3) then shows that for each 0 the matrix
M with entries
m
ij
= B
(
i
,
j
)
is also innitely divisible.
2.4. The Lehmer means. This family is dened as
L
p
(a, b) =
a
p
+b
p
a
p1
+b
p1
, p .
The special values p = 0, 1/2, and 1 give the harmonic, geometric, and
arithmetic means, respectively. For xed a and b, the function L
p
(a, b)
is an increasing function of p. We have
L
(a, b) = lim
p
L
p
(a, b) = max(a, b),
L
(a, b) = lim
p
L
p
(a, b) = min(a, b).
A small calculation shows that
(4) L
1p
(a, b) =
ab
L
p
(a, b)
.
We will show that for each p 1/2 the matrix W with entries
(5) w
ij
=
1
L
p
(
i
,
j
)
=
p1
i
+
p1
j
p
i
+
p
j
,
is innitely divisible.
First, observe that it is enough to prove this for p 1, because that
would say that every matrix of the form
(6)
_
i
+
i
+
j
_
, 0 < < 1,
is innitely divisible. If 1/2 p 1, we let r = 1 p, and note that
0 r 1/2. The expression (5) in this case can be written as
w
ij
=
r
i
+
r
j
p
i
+
p
j
=
1
r
i
r
i
+
r
j
p
i
+
p
j
1
r
j
.
Since r/p 1, the innite divisibility of this last matrix W follows
from that of (6).
8 Rajendra Bhatia and Hideki Kosaki
Observe further that if the matrices in (5) have been proved to be
innitely divisible for p 1/2, then the relation (4) can be used to
show that for each p 1/2, the matrix M with entries
m
ij
= L
p
(
i
,
j
)
is innitely divisible. Thus we may restrict our attention to the matri-
ces in (6).
Following the ideas in [BP] we make the substitution
i
= e
x
i
, and
then write the entries of (6) as
e
x
i
+e
x
i
e
x
i
+e
x
j
=
e
x
i
/2
e
x
i
/2
e
(x
i
x
j
)/2
+e
(x
j
x
i
)/2
e
(x
i
x
j
)/2
+e
(x
j
x
i
)/2
e
x
j
/2
e
x
j
/2
.
Thus the matrix in (6) is innitely divisible if and only if the matrix
_
cosh (x
i
x
j
)
cosh (x
i
x
j
)
_
, 0 < < 1,
is innitely divisible. This is equivalent to the statement of the follow-
ing theorem:
Theorem 1. For 0 < < 1 the function
f(x) =
cosh x
cosh x
is innitely divisible.
Proof. We will show that for a, b > 0 the function
cosh bx
cosh(a +b)x
is innitely divisible. Using the identity
cosh (a +b)x = 2 cosh ax cosh bx cosh (a b)x
we obtain
(7)
cosh bx
cosh (a +b)x
=
1
2 cosh ax
1
1
cosh (ab)x
2 cosh ax cosh bx
.
Mean matrices and innite divisibility 9
Let r be any real number in (0, 1). Then for |t| < 1 we have the power
series expansion
1
(1 t)
r
=
n=0
a
n
t
n
,
where the coecients a
n
are the nonnegative numbers given by a
0
= 1
and
a
n
=
r(r + 1)(r + 2) (r +m+ 1)
m!
, m > 1.
Hence we have from (7)
(8)
_
cosh bx
cosh(a +b)x
_
r
=
1
2
r
(cosh ax)
r
n=0
a
n
2
n
cosh
n
(a b)x
cosh
n
ax cosh
n
bx
.
We already know that the function 1/ cosh(x) is innitely divisible. So
the factor outside the summation in (8) is positive denite. We know
also that for 0 1, the function cosh(x)/ cosh(x) is positive
denite. Consider each of the summands in (8). Depending on whether
a b or a b, one of
cosh(a b)x
cosh ax
and
cosh(a b)x
cosh bx
is positive denite. Hence, in either case
cosh(a b)x
cosh ax cosh bx
is positive denite, and so are all its nth powers. Thus the series in (8)
represents a positive denite function for 0 < r < 1. This is enough to
show that the function in (7) is innitely divisible.
2.5. Power dierence means. This is not a standard terminology
for the following family of means that are of interest and have been
studied in detail in [HK2] and [HK3]. For any real number p let
K
p
(a, b) =
p 1
p
a
p
b
p
a
p1
b
p1
.
It is understood that
K
p
(a, b) = a.
10 Rajendra Bhatia and Hideki Kosaki
For xed a and b, the quantity K
p
(a, b) is an increasing function of p.
This family includes some of the most familiar means:
K
p1
i
p1
j
p
i
p
j
is innitely divisible. (The reader can check that from this it follows
that this matrix is innitely divisible also for 1/2 p < 1; and then
using the relation (9) one can see that for p 1/2, the matrix M with
entries m
ij
= K
p
(
i
,
j
) is innitely divisible.)
So consider the matrix (10) with p > 1. This is innitely divisible if
every matrix of the form
(11)
_
j
_
, 0 < < 1,
is innitely divisible. We can prove this by appealing to Horns theorem
cited earlier. Alternately, we can follow our analysis in Section 2.5.
Now the function cosh is replaced by sinh and we have the following
theorem in place of Theorem 1. We note that this theorem can be
Mean matrices and innite divisibility 11
deduced from Horns theorem on schicht maps, but we give a direct
proof akin to our proof of Theorem 1.
Theorem 2. For 0 < < 1 the function
(12) g(x) =
sinh x
sinh x
is innitely divisible.
Proof. Use the identity
sinh(a +b)x = 2 sinh ax cosh bx sinh(a b)x
to obtain
sinh ax
sinh(a +b)x
=
1
2 cosh bx
1
1
sinh(ab)x
2 sinh ax cosh bx
.
Let 0 b a and 0 < r < 1. We have the expansion
(13)
_
sinh ax
sinh(a +b)x
_
r
=
1
2
r
cosh
r
bx
n=0
a
n
2
n
sinh
n
(a b)x
sinh
n
ax cosh
n
bx
.
Compare this with (8). We know that the function sinh(x)/ sinh(x)
is positive denite for 0 < < 1. See [BP]. Thus the argument used in
the proof of Theorem 1 shows that (13) represents a positive denite
function. Since we assumed 0 b a, this shows that the function
(12) is innitely divisible for 1/2 1. But if is any number in
(0, 1) we can choose a sequence
=
0
<
1
<
2
< <
m
= 1
with
i
/
i+1
1/2. Then
sinh x
sinh x
=
m1
i=0
sinh
i
x
sinh
i+1
x
is innitely divisible since each factor in the product has that property.
(a, b) =
_
a
(a b)
_
1/(1)
=
_
1
b a
_
b
a
t
1
dt
_
1/(1)
.
For xed a and b, S
(a, b) =
1
e
_
a
a
b
b
_
1/(ab)
.
This is called the identric mean of a and b.
This family too leads to innitely divisible matrices. Consider rst
the case > 1, and the matrix W with entries
(14) w
ij
=
1
S
(
i
,
j
)
=
_
(
i
j
)
j
_
1/(1)
.
From the result proved in Section 2.5 the matrix
_
j
_
is innitely divisible, and therefore so is the matrix W in (14). Next
let 0 < < 1 and consider the matrix W whose entries are
w
ij
=
1
S
(
i
,
j
)
=
_
j
(
i
j
)
_
1/(1)
.
Mean matrices and innite divisibility 13
Again, by the innite divisibility of (11) this matrix too has that prop-
erty. Now consider the case 1 < < 0. Then = , where
0 < < 1. The matrix W with entries
(15) w
ij
=
1
S
(
i
,
j
)
=
_
j
(
i
j
)
j
_
1/(+1)
,
is a positive Hadamard power of a matrix of the form XLX, where X
is a positive diagonal matrix and L is a Loewner matrix of the form
_
j
_
.
This matrix is innitely divisible, and therefore so is the matrix W in
(15).
Finally, let < 1. Then = where > 1. Let M be the matrix
with entries
m
ij
= S
(
i
,
j
) =
_
j
(
i
j
)
j
_
1/(+1)
.
The arguments in the earlier cases can be applied again to show that
this matrix is innitely divisible.
2.7. Heron means. The pattern established by our examples so far
is broken by this family of means dened as
F
(a, b) = (1 )
ab +
a +b
2
, 0 1.
This is the linear interpolant between the geometric and the arithmetic
means, and each member of this family dominates the geometric mean.
Let W be the matrix with entries
(16) w
ij
=
1
F
(
i
,
j
)
=
2
(
i
+
j
) + 2(1 )
_
j
.
The question of positive deniteness of such matrices has been studied
in [B3]. Changing variables, this reduces to the question: for what
14 Rajendra Bhatia and Hideki Kosaki
values of t is the matrix V with entries
(17) v
ij
=
1
2
i
+
2
j
+t
i
j
innitely divisible? It has been observed in [B2] that V is innitely
divisible for 2 < t 2. When n = 2, the matrix V is known to be
positive denite for all t > 2; hence it is innitely divisible as well. In
general, however, a matrix of the form V need not be positive denite
for t > 2. See [BP].
Returning to (16), we can conclude from the discussion above that
the matrix W is innitely divisible for 1/2 1. However, when
0 < 1/2 < not all such matrices are positive denite, even though
the mean F
XB
1
+A
1
XB
||| |||
_
1
0
A
t
XB
1t
dt|||.
Proof. As explained in [BP] and [HK1], this inequality is a conse-
quence of the positive deniteness of the matrix V with entries
v
ij
=
1
j
+
1
i
j
2
log
i
log
j
j
for 1/4 3/4. Making the substitution
i
= e
x
i
, a small calculation
shows
v
ij
=
(
i
j
)/2 cosh((2 1)(
i
j
)/2)
sinh(
i
j
)/2
.
The positive deniteness of all such matrices is equivalent to the func-
tion (19) being positive denite.
16 Rajendra Bhatia and Hideki Kosaki
To put the inequality (20) in perspective, let us recall the generalised
Heinz inequality proved by Bhatia and Davis [BD1]:
|||A
1/2
XB
1/2
|||
1
2
|||A
XB
1
+A
1
XB
|||
1
2
|||AX +XB|||
for 0 1; and the operator arithmetic-logarithmic-geometric mean
inequality proved by Hiai and Kosaki [HK1]
|||A
1/2
XB
1/2
||| |||
_
1
0
A
t
XB
1t
dt|||
1
2
|||AX +XB|||.
The inequality (20) is a renement of these two.
The next two propositions are generalisations of Theorems 1 and 2,
respectively.
Proposition 4. Let
1
,
2
, . . . ,
n
be nonnegative real numbers and
suppose
n
i=1
i
1. Then the function
f(x) =
n
i=1
cosh(
i
x)
cosh x
is innitely divisible. In particular, if n and m are positive integers with
n m, then the function cosh
m
x/ cosh (nx) is innitely divisible.
Proof. We use induction on n. The case n = 1 is covered by Theorem
1. The equation (8) can be written in another form as
_
cosh
1
x
cosh x
_
r
=
2
r
cosh (1
1
)x
n=0
a
n
2
n
cosh
n
(1 2
1
)x
cosh
n
(1
1
)x cosh
n
1
x
.
Multiply both sides of this equation by (
n
i=2
cosh
i
x)
r
to get
_
n
i=1
cosh
i
x
cosh x
_
r
= 2
r
_
n
i=2
cosh
i
x
cosh (1
1
)x
_
r
n=0
a
n
2
n
cosh
n
(1 2
1
)x
cosh
n
(1
1
)x cosh
n
1
x
.
Since
n
i=2
i
1
1
, the induction hypothesis implies that
_
n
i=2
cosh
i
x
cosh (1
1
)x
_
r
Mean matrices and innite divisibility 17
is positive denite. The innite divisibility of f can now be deduced
by repeating the arguments in Theorem 1.
Proposition 5. Let
0
,
1
, . . . ,
n
be nonnegative real numbers. Sup-
pose
n
i=0
i
1 and
n
i=1
i
1/2. Then the function
(21) f(x) =
sinh
0
x
n
i=1
cosh
i
x
sinh x
is innitely divisible.
Proof. The function f can be expressed as
f(x) =
sinh
0
x
sinh (1
n
i=1
i
) x
sinh (1
n
i=1
i
) x
n
i=1
cosh
i
x
sinh x
.
The given conditions imply that
0
1
n
i=1
i
. So, by Theorem 2
the rst factor in the product above is innitely divisible. So to prove
the innite divisibility of the function (21) we may, and do, assume
that
0
= 1
n
i=1
i
. Then, we have
0
1/2 by the given conditions.
As in the proof of Theorem 2, we have instead of (13) the equality
_
sinh
0
x
sinh x
_
r
=
2
r
cosh
r
(1
0
)x
n=0
a
n
2
n
sinh
n
(2
0
1)x
sinh
n
0
x cosh
n
(1
0
)x
.
Hence
_
sinh
0
x
n
i=1
cosh
i
x
sinh x
_
r
= 2
r
_
n
i=1
cosh
i
x
cosh (1
0
)x
_
r
n=0
a
n
2
n
sinh
n
(2
0
1)x
sinh
n
0
x cosh
n
(1
0
)x
.
The factor outside the summation is positive denite by Proposition 4.
The function represented by the innite sum above is positive denite
by the argument used for the sum in (13). Hence f is innitely divisible.
_
0
x
x +
d
1r
, x 0
to write f as
f(x) =
sin r
_
0
(cosh x +t)
1
(cosh x +t)
1
+
d
1r
(23)
=
sin r
_
0
1
(cosh x +t) + 1
d
1r
=
sin r
_
0
1
cosh x +t +
1
2r
=
sin r
_
_ 1
1t
0
1
cosh x +t +
1
2r
+
_
1
1t
1
cosh x +t +
1
2r
_
.
The quantity t +1/ appearing in the denominators decreases from
to 1 as varies from 0 to 1/(1 t), and it decreases from 1 to t as
varies from 1/(1 t) to . Change variables by putting
u = t +
1
(and hence du =
d
2
, = (u t)
1
).
Mean matrices and innite divisibility 19
Then we obtain from (23)
f(x) =
sin r
_
_
1
1
cosh x +u
du
(u t)
r
(24)
+
_
1
t
1
cosh x +u
du
(u t)
r
_
.
Using Fubinis theorem we get from (24)
f() =
sin r
[I
1
+I
2
] ,
where
(25) I
1
=
_
1
g()
du
(u t)
r
, I
2
=
_
1
t
g()
du
(u t)
r
.
The Fourier transform of g is known; see e.g. [BD2] Section 3. When
u > 1 we have
g() =
2
u
2
1
sin( arccosh u)
sinh
.
Put this into (25) and then change the variable u to cosh . This gives
I
1
=
2
sinh
_
0
sin
(cosh t)
r
d.
When 1 < u < 1 we have
g() =
2
1 u
2
sinh( arccos u)
sinh
.
Put this expression into (25) and then change the variable u to cos .
This gives
I
2
=
2
sinh
_
arccos t
0
sinh
(cos t)
r
d.
Putting everything together we get the formula (22).
We claim that
f() 0 for all . Being the Fourier transform of the
even function f(x),
f is even. Hence it suces to show that
f() 0
for all > 0. Consider, one by one, the quantities occurring on the right
hand side of (22). The factor outside the brackets is clearly positive.
So is the rst of the two integrals. For xed and t, the function
(cosh t)
r
decreases monotonically as increases while sin is
20 Rajendra Bhatia and Hideki Kosaki
oscillatory. Hence the second integral in (22) is also positive. Thus
f() 0.
It follows from Bochners theorem that the function f of Proposition
6 is positive denite. Hence the function (18) is innitely divisible.
We end this section with a few remarks and questions.
In the earlier works [BP], [HK3], several ratios of means have been
studied and many matrices arising from these have been proved to be
positive denite. It seems most of them are also innitely divisible.
Several more examples using computations with Fourier transforms
will appear in the paper by Kosaki [K2]. In a recent paper Drissi [D]
has shown that the function in (19) is positive denite if and only if
1/2 a 1/2. His argument too is based on a calculation of Fourier
transforms.
Two general questions are suggested by our work. Let L
be the
classes of all dierentiable functions from [0, ) into itself for which
all matrices of the form
_
f(
i
) f(
j
)
j
_
are positive denite. Let M
L
+
. (See [K] or [BP].)
Question 1. Is M
M
+
?
Question 2. Are there any good characterisations of the classes
L
+
and M
+
? (The theroems of Loewner and Horn give interesting
descriptions of L
and M
, respectively.)
Mean matrices and innite divisibility 21
4. Appendix
We have the well-known formula
(26)
_
e
ix
dx
cosh
r
x
=
2
r1
|((r +i)/2)|
2
(r)
.
See e.g. [O, p.33] and [HK3, p.138]. On the other hand, putting t = 0
in (22) we see that this is also equal to
(27)
2 sin r
sinh
_
_
/2
0
sinh
cos
r
d +
_
0
sin
cosh
r
d
_
.
In this appendix we clarify the relation between these two expressions.
We set
D =
_
_
_
{z C; Re z > 0 and |Imz| < arccos t} if t [0, 1),
{z C; Re z > 0 and /2 < Imz < arccos t} if t (1, 0).
Then, (cosh z t)
r
(= exp(r log(cosh z t)) makes sense as a (single-
valued) holomorphic function on D: We note
cosh z t = cosh a cos b t +i sinh a sin b (for z = a +ib D).
(i) Case t 0: Since cos b > t 0, we have
Re (cosh z t) = cosh a cos b t cos b t > 0.
(ii) Case t < 0: For b (/2, /2) we have cos b > 0 and hence
Re (cos z t) > 0 as above. On the other hand, for b [/2, arccos t)
we have
Im(cosh z t) = sinh a sin b > 0.
In either case the range of cosh z s stays in C \ (, 0] so that
log (cosh z t) indeed makes sense on D in the standard way.
Note cosh (i arccos t) t = 0 but i arccos t D, and cosh z t
does not have a zero in D. Therefore, (for a xed real number ) the
function
f(z) =
sin z
(cosh z t)
r
22 Rajendra Bhatia and Hideki Kosaki
is holomorphic on D. We note that
| cosh(a +ib) t|
2
= (cosh a cos b t)
2
+ (sinh a sin b)
2
(28)
= sinh
2
a + cos
2
b 2t cosh a cos b +t
2
.
Lemma A.1. For each t (1, 1) and r (0, 1) we have
_
arccos t
0
sinh
(cos t)
r
d +
_
0
sin
(cosh t)
r
d
=
_
0
cosh( arccos t) sin(s) +i sinh( arccos t)cos(s)
_
t(cosh s 1) +i
1 t
2
sinh s
_
r
ds.
Proof. We x an > 0 suciently small and a large N > 0. Let
R ( D) be the rectangular region with vertices , N, N+i(arccos t)
and +i(arccos t) so that R is the contour (oriented counterclock-
wise) consisting of the four oriented edges
C
1
: N,
C
2
: N N +i(arccos t ),
C
3
: N +i(arccos t ) +i(arccos t ),
C
4
: +i(arccos t ) .
Cauchys theorem says
(29)
4
i=1
_
C
i
f(z)dz =
_
R
f(z)dz = 0,
and we will let 0 here.
From the denition we directly compute
_
C
3
f(z)dz =
_
N
1 t
2
sinh s
_
r
ds.
Secondly, from the denition we have
_
C
4
f(z)dz = i
_
arccos t
0
sin() cosh(s) +icos() sinh(s)
(cosh cos s t +i sinh sin s)
r
ds.
In this case we estimate
| cosh cos s t +i sinh sin s|
2
= sinh
2
+ cos
2
s 2t cosh cos s + t
2
(cos s t)
2
,
or equivalently,
sinh
2
2t cos s (cosh 1) = cosh
2
2t cos s cosh +2t cos s1 0.
Indeed, the quadratic polynomial g(X) = X
2
2(t cos s)X+2t cos s1
takes a minimum value at X = t cos s (< 1 for s [0, arccos t]) and
24 Rajendra Bhatia and Hideki Kosaki
g(X) g(1) = 0 for X = cosh 1. Thus, the integrand is ma-
jorized by a constant multiple of (cos s t)
r
. The integrability of this
majorant over the interval [0, arccos t] (together with the dominated
convergence theorem again) yields
(31) lim
0
_
C
4
f(z)dz =
_
arccos t
0
sinh s
(cos s t)
r
ds.
We obviously have
(32) lim
0
_
C
1
f(z)dz =
_
N
0
sin s
(cosh s t)
r
ds,
and the sum of (30),(31),(32) and lim
0
_
C
2
f(z)dz is zero (due to
(29)). Then, by letting N , we get the result since lim
N
of the
last quantity disappears thanks to the obvious estimate |
_
C
2
f(z)dz| =
O(e
rN
) (based on (28)).
When t = 0, Lemma A.1 says
_
/2
0
sinh
cos
r
d +
_
0
sin
cosh
r
d (33)
=
_
0
cosh(/2) sin(s) +i sinh(/2)cos(s)
(i sinh s)
r
ds
= e
ir/2
_
cosh(/2)
_
0
sin s
sinh
r
s
ds
+i sinh(/2)
_
0
cos s
sinh
r
s
ds
_
thanks to (i sinh s)
r
=
_
e
i/2
sinh s
_
r
= e
ir/2
sinh
r
s.
Lemma A.2.
_
0
sin s
sinh
r
s
ds =
2
r1
|((r +i)/2) |
2
(1 r)
cos(r/2) sinh(/2),
_
0
cos s
sinh
r
s
ds =
2
r1
|((r +i)/2) |
2
(1 r)
sin(r/2) cosh(/2).
Mean matrices and innite divisibility 25
With this lemma (whose proof is postponed) the quantity (33) is
e
ir/2
sinh(/2) cosh(/2)
2
r1
|((r +i)/2)|
2
(1 r)
_
cos(r/2) +i sin(r/2)
_
=
sinh
2
2
r1
|((r +i)/2)|
2
(1 r)
.
Consequently, the quantity given by (27) is equal to
2 sin r
sinh
sinh
2
2
r1
|((r +i)/2)|
2
(1 r)
=
sin r (1 r)
2
r1
|((r +i)/2)|
2
,
which is exactly (26) since (r)(1 r) = / sin r.
Proof of Lemma A.2. We set t =
1
2
log(1 x) so that
e
2t
= 1 x and sinh x =
1
2
_
1
1 x
1 x
_
=
x
2
1 x
.
Since dt = dx/2(1 x), this change of variables gives us
_
0
sin s
sinh
r
s
ds =
_
1
0
sin
_
2
log(1 x)
_
_
x/2
1 x
_
r
dx
2(1 x)
= 2
r1
_
1
0
(1 x)
r
2
1
x
r
sin
_
2
log(1 x)
_
dx
= 2
r1
Im
__
1
0
(1 x)
r
2
1
i
2
x
r
dx
_
,
_
0
cos s
sinh
r
s
ds = 2
r1
Re
__
1
0
(1 x)
r
2
1
i
2
x
r
dx
_
.
With these expressions we get the lemma from the following:
_
1
0
(1 x)
r
2
1
i
2
x
r
dx=B((r i)/2, 1 r)=
((r i)/2) (1 r)
(1 (r +i)/2)
=
sin ((r +i)/2) ((r +i)/2) ((r i)/2) (1 r)
=
|((r +i)/2) |
2
(1 r)