<< ŮÚū. 4(‚ŮŚ„Ó 11)—őńŇ–∆ņÕ»Ň >>
2 2
Indeed, under the consideration, VA = 0, WA = 0. So

VA (I + VA )‚ą’1 = VA and WA (I + WA )‚ą’1 = WA .

Hence őł = VA WA . Now Lemma 5.4.2 yields the required result.
Furthermore, Lemmas 5.3.1 and 5.2.3 yield the following:
72 5. Block Matrices

Lemma 5.4.4 The inequalities

(I + VA )‚ą’1 ‚Č¤ M (VA ) := (1 + V D‚ą’1 ‚ąÜPk )
2‚Č¤k‚Č¤m

and
(I + WA )‚ą’1 ‚Č¤ M (WA ) := (1 + W D‚ą’1 ‚ąÜPk )
1‚Č¤k‚Č¤m‚ą’1

are valid.

5.5 Proof of Theorem 5.1.1
In the present section, D, V and W are the diagonal, upper diagonal and
lower diagonal parts of the matrix in (1.1), respectively, that is,
Ô£« Ô£∂ Ô£« Ô£∂
A11 0 ... 0 0 A12 . . . A1m
Ô£¬0 0Ô£· Ô£¬ . . . A2m Ô£·
A22 . . . Ô£·, V = Ô£¬ 0 0
D=Ô£¬ Ô£· , (5.1)
Ô£≠. .Ô£ł Ô£≠ . ... .Ô£ł
... . .
0 0 . . . Amm 0 0 ... 0

Ô£« Ô£∂
and
0 0 ... 0
Ô£¬ A21 ... 0 Ô£·
0
W =Ô£¬ Ô£·. (5.2)
Ô£≠. .Ô£ł
... .
Am1 Am2 ... 0
Recall that VA ‚Č° V D‚ą’1 , WA ‚Č° W D‚ą’1 .
Lemma 5.5.1 Let D be invertible. Then the inequalities

(I + VA )‚ą’1 ‚Č¤ Mup (5.3)
‚ąě

and
(I + WA )‚ą’1 ‚Č¤ Mlow (5.4)
‚ąě

are valid.
ňÜ
Proof: Let ŌÄ = {Pk , k = 1, .., m} be the chain of the projectors onto the
ňÜ
standard basis. That is, for an h = (hk ) ‚ąą Cn ,
ňÜ
Pk h = (h1 , ...., hőĹk , ..., 0),
ňÜ
where őĹk = dim Pk . Then according to (5.1) D and V are ŌÄ -diagonal and
ňÜ
ŌÄ -nilpotent operators, respectively. Moreover,
ňÜ
k‚ą’1
‚ąÜPk = Vk A‚ą’1 ‚ąÜPk = Ajk A‚ą’1 ‚ąÜPk .
‚ą’1 ňÜ ňÜ ňÜ
VD kk kk
j=1
5.5. Proof of Theorem 5.1.1 73

But, clearly,
k‚ą’1
up
Ajk A‚ą’1 ‚ąÜPk = max Ajk A‚ą’1
ňÜ = vk .
‚ąě ‚ąě
kk kk
j
j=1

Therefore inequality (5.3) is due to the previous lemma. Inequality (5.4) can
be similarly proved. 2

Lemma 5.5.2 Let D be invertible. Then the inequalities

VA (I + VA )‚ą’1 ‚Č¤ Mup ‚ą’ 1 (5.5)
‚ąě

and
WA (I + WA )‚ą’1 ‚Č¤ Mlow ‚ą’ 1 (5.6)
‚ąě

are valid.

Let B = (bjk )n be a positive matrix with the property
Proof: k=1

Bh ‚Č• h (5.7)

for any nonnegative h ‚ąą Cn . Then
n
B‚ą’I bjk ‚ą’ őījk ] = B ‚ą’ 1.
= max [ (5.8)
‚ąě ‚ąě
j=1,...,n
k=1

Here őījk is the Kronecker symbol. Furthermore, since VA is nilpotent,
n‚ą’1
‚ą’1
|VA |k = (I ‚ą’ |VA |)‚ą’1 ‚ą’ I
‚Č¤
VA (I + VA ) ‚ąě,
‚ąě ‚ąě
k=1

where |VA | is the matrix whose entries are the absolute values of the entries
of VA . Moreover,
n‚ą’1
|VA |k h ‚Č• h
k=0

for any nonnegative h ‚ąą Cn . So according to (5.7) and (5.8)

VA (I + VA )‚ą’1 ‚Č¤ (I ‚ą’ |VA |)‚ą’1 ‚ą’ 1.
‚ąě ‚ąě

Since
ňÜ ňÜ
|VA |‚ąÜPk = VA ‚ąÜPk ‚ąě,
‚ąě

inequality (5.3) with ‚ą’|VA | instead of VA yields inequality (5.5). Inequality
(5.6) can be proved similarly. 2

The assertion of Theorem 5.1.1 follows from Lemmas 5.4.2, 5.5.1 and
5.5.2.
74 5. Block Matrices

5.6 Notes
Many books and papers are devoted to the invertibility of block matrices, cf.
(Feingold and Varga, 1962), (Fiedler, 1960), (Gantmacher, 1967), (Ostrowski,
1961), etc. In these works, the Hadamard theorem is mainly generalized to
block matrices. Note that the generalized Hadamard theorem does not assert
that a block triangular matrix with nonsingular diagonal blocks is invertible.
But it is not hard to check that such a matrix is always invertible.
Theorem 5.1.1 gives us the invertibility conditions which improve well-
known results for matrices that are ‚ÄĚclose‚ÄĚ to block triangular matrices.
Moreover, we derive an estimate for the norm of the inverse matrices.
Chapter 5 is based on the paper (Gil‚Ä™, 2002).

References
 Feingold D.G. and Varga, R.S. (1962). Block diagonally dominant ma-
trices and generalization of the Gershgorin circle theorem. PaciÔ¬Āc J. of
Mathematics, 12, 1241-1250.
 Fiedler, M. (1960) Some estimates of spectra of matrices. Symposium
of the Numerical Treatment of Ordinary DiÔ¬Äerential Equations, Integral
and Integro- DiÔ¬Äerential Equations, Birkh¬īuser Verlag, Rome, 33-36.
a

 Gantmacher, F. R. (1967). Theory of Matrices, Nauka, Moscow (in Rus-
sian).
 Gil‚Ä™, M.I. (2002). Invertibility and spectrum localization of nonselfad-
joint operators, Adv. Appl. Mathematics, 28, 40-58.

 Horn, R. A. and Johnson, C. R. (1991). Topics in Matrix Analysis ,
Cambridge University Press, Cambridge.
 Ostrowski, A.M. (1961). On some metrical properties of operator matri-
ces and matrices partitioned into blocks. J. Math. Ann. Appl., 2, 161-
209.
6. Norm Estimates for
Functions of
Compact Operators in a
Hilbert Space

The present chapter contains the estimates for the norms of the resolvents
and analytic functions of Hilbert-Schmidt operators and resolvents of von
Neumann-Schatten operators.

6.1 Bounded Operators in a Hilbert Space
In this section we recall very brieÔ¬‚y some basic notions of the theory of
operators in a Hilbert space. More details can be found in any textbook on
Hilbert spaces (e.g. (Ahiezer and Glazman, 1981), (Dunford and Schwartz,
1963) ).
In the sequel H denotes a separable Hilbert space with a scalar product
(., .) and the norm
(h, h) (h ‚ąą H).
h=

A sequence {hn } of elements of H converges strongly (in the norm) to h ‚ąą H
if hn ‚ą’ h ‚Ü’ 0 as n ‚Ü’ ‚ąě. Any separable Hilbert space possesses an
orthonormal basis. This means that there is a sequence {ek ‚ąą H}, such that

(ek , ej ) = 0 if j = k and (ek , ek ) = 1 (j, k = 1, 2, ...)

M.I. Gil‚Ä™: LNM 1830, pp. 75‚Ä“96, 2003.
c Springer-Verlag Berlin Heidelberg 2003
76 6. Functions of Compact Operators

and any h ‚ąą H can be represented as
‚ąě
h= ck ek
k=1

with ck = (h, ek ) (k = 1, 2, . . .). In addition, this series strongly converges.
If the closed linear span of vectors {vk ‚ąą H}‚ąě coincides with H, then the
k=1
set of these vectors is said to be complete in H.
A linear operator A acting in H is called a bounded one, if there is a
constant a such that

Ah ‚Č¤ a h for all h ‚ąą H.

The quantity
Ah
A = sup
h
h‚ąąH

is called the norm of A. A sequence {An } of bounded linear operators con-
verges strongly to an operator A, if the sequence of elements {An h} strongly
converges to Ah for every h ‚ąą H. {An } converges in the uniform operator
topology (in the operator norm ) to an operator A, if An ‚ą’ A ‚Ü’ 0 as
n ‚Ü’ ‚ąě. A bounded linear operator A‚ą— is called adjoint to A, if

(Af, g) = (f, A‚ą— g) for every h, g ‚ąą H.

The relation A = A‚ą— is true. A bounded operator A is a selfadjoint one,
if A = A‚ą— . A is a unitary operator, if AA‚ą— = A‚ą— A = I. Here and below
I ‚Č° IH is the identity operator in H. A selfadjoint operator A is positive
(negative) deÔ¬Ānite, if

(Ah, h) ‚Č• 0 ((Ah, h) ‚Č¤ 0) for every h ‚ąą H.

A selfadjoint operator A is strongly positive (strongly negative) deÔ¬Ānite, if
there is a constant c > 0, such that

(Ah, h) ‚Č• c (h, h) ((Ah, h) < ‚ą’c (h, h)) for every h ‚ąą H.

A bounded linear operator satisfying the relation AA‚ą— = A‚ą— A is called a
normal operator. It is clear that unitary and selfadjoint operators are ex-
amples of normal ones. The operator B ‚Č° A‚ą’1 is the inverse one to A, if
AB = BA = I. An operator P is called a projector if P 2 = P . If, in addition,
P ‚ą— = P , then it is called an orthogonal projector (an orthoprojector).
A point ő» of the complex plane is said to be a regular point of an operator
A, if the operator Rő» (A) ‚Č° (A ‚ą’ Iő»)‚ą’1 (the resolvent) exists and is bounded.
The complement of all regular points of A in the complex plane is the spectrum
of A. The spectrum of A is denoted by ŌÉ(A). The spectrum of a selfadjoint
operator is real, the spectrum of a unitary operator lies on the unit circle.
6.2. Compact Operators in a Hilbert Space 77

The quantity
rs (A) = sups‚ąąŌÉ(A) |s|
is the spectral radius of A. An operator V is called a quasinilpotent one, if
its spectrum consists of zero, only. If there is a nontrivial solution e of the
equation
Ae = ő»(A)e,
where ő»(A) is a number, then this number is called an eigenvalue of operator
A, and e ‚ąą H is an eigenvector corresponding to ő»(A). Any eigenvalue is a
point of the spectrum. An eigenvalue ő»(A) has the (algebraic) multiplicity
r ‚Č¤ ‚ąě if
dim(‚ą™‚ąě ker(A ‚ą’ ő»(A)I)k ) = r.
k=1

In the sequel ő»k (A), k = 1, 2, ... are the eigenvalues of A repeated according
to their multiplicities.
A vector v satisfying (A ‚ą’ ő»(A)I)n v = 0 for a natural n, is a root vector
of operator A corresponding to ő»(A).

6.2 Compact Operators in a Hilbert Space
All the results, presented in this section can be found, for instance, in (Go-
hberg and Krein, 1969, Chapters 2 and 3). The set of all linear completely
continuous (compact) operators in H is deÔ¬Āned by C‚ąě .
Recall that the spectrum of an operator from C‚ąě is either Ô¬Ānite, or the
sequence of the eigenvalues of A converges to zero, any nonzero eigenvalue
has the Ô¬Ānite multiplicity. Moreover, any normal operator A ‚ąą C‚ąě can be
represented in the form
‚ąě
A= ő»k (A)Ek , (2.1)
k=1

where Ek are eigenprojectors of A, i.e. the projectors deÔ¬Āned by Ek h =
(h, dk )dk for all h ‚ąą H. Here dk are the normal eigenvectors of A. Recall
that eigenvectors of normal operators are mutually orthogonal. A completely
continuous positive deÔ¬Ānite selfadjoint operator has non-negative eigenvalues,
only. Let A ‚ąą C‚ąě be positive deÔ¬Ānite and represented by (2.1). Then we
write
‚ąě
ő»ő≤ (A)Ek (ő≤ > 0).
ő≤
A := k
k=1

A completely continuous quasinilpotent operator is called a Volterra operator.
Let {ek } be an orthogonal normal basis in H, and the series
‚ąě
(Aek , ek ) (A ‚ąą C‚ąě )
k=1
78 6. Functions of Compact Operators

converges. Then the sum of this series is called the trace of A:
‚ąě
T race A = T r A = (Aek , ek ).
k=1

An operator A satisfying the condition

T r (A‚ą— A)1/2 < ‚ąě

is called a nuclear operator. An operator A, satisfying the relation

T r (A‚ą— A) < ‚ąě

is said to be a Hilbert-Schmidt operator.
The eigenvalues ő»k ((A‚ą— A)1/2 ) (k = 1, 2, ...) of the operator (A‚ą— A)1/2
are called the singular numbers (s-numbers) of A and are denoted by sk (A).
That is,
sk (A) ‚Č° ő»k ((A‚ą— A)1/2 ) (k = 1, 2, ...).
Enumerate singular numbers of A taking into account their multiplicity and
in decreasing order. The set of completely continuous operators acting in a
Hilbert space and satisfying the condition
‚ąě
sp (A) ]1/p < ‚ąě,
Np (A) := [ k
k=1

for some p ‚Č• 1, is called the von Neumann - Schatten ideal and is denoted by
Cp . Np (.) is called the norm of the ideal Cp . It is not hard to show that

T r (AA‚ą— )p/2 .
p
Np (A) =

Thus, C1 is the ideal of nuclear operators (the Trace class) and C2 is the
ideal of Hilbert-Schmidt operators. N2 (A) is called the Hilbert-Schmidt norm.
Sometimes we will omit index 2 of the Hilbert-Schmidt norm, i.e.

T r (A‚ą— A).
N (A) := N2 (A) =

For any orthogonal normal basis {ek } we can write
‚ąě
2 1/2
N2 (A) = ( Aek ) .
k=1

This equality is equivalent to the following one:
‚ąě
|ajk |2 )1/2 ,
N2 (A) = ( (2.2)
j,k=1
6.3. Triangular Representations 79

where ajk = (Aek , ej ) (j, k = 1, 2, . . .) are entries of a Hilbert-Schmidt oper-
ator A in basis {ek }.
For all p ‚Č• 1, the following propositions are true (the proofs can be found
in the books (Gohberg and Krein, 1969, Section 3.7), and (Pietsch, 1988)):
If A ‚ąą Cp , then also A‚ą— ‚ąą Cp . If A ‚ąą Cp and B is a bounded linear
operator, then both AB and BA belong to Cp . Moreover,

Np (AB) ‚Č¤ Np (A) B and Np (BA) ‚Č¤ Np (A) B .

In addition, the inequality
n n
sp (A) (n = 1, 2, . . .)
p
|ő»j (A)| ‚Č¤ (2.3)
j
j=1 j=1

is valid, cf. (Gohberg and Krein, 1969, Theorem II.3.1).

Lemma 6.2.1 If A ‚ąą Cp and B ‚ąą Cq (1 < p, q < ‚ąě), then AB ‚ąą Cs with

1 11
=+.
s pq

Moreover,
Ns (AB) ‚Č¤ Np (A)Nq (B). (2.4)

For the proof of this lemma see (Gohberg and Krein, 1969, Section III.7).
We need also the following result (Lidskij‚Ä™s theorem).

Theorem 6.2.2 The trace of A ‚ąą C1 does not depend on a choice of an
orthogonal normal basis and
‚ąě
Tr A = ő»k (A).
k=1

The proof of this theorem can be found in (Gohberg and Krein, 1969, Section
III.8).

6.3 Triangular Representations
of Compact Operators
Let R0 be a set in the complex plane and let > 0. By S(R0 , ) we denote
the -neighborhood of R0 . That is,

dist{R0 , S(R0 , )} ‚Č¤ .
80 6. Functions of Compact Operators

Lemma 6.3.1 Let A be a bounded operator and let > 0. Then there is a
őī > 0, such that, if a bounded operator B satisÔ¬Āes the condition A ‚ą’ B ‚Č¤ őī,
then ŌÉ(B) lies in S(ŌÉ(A), ) and
Rő» (A) ‚ą’ Rő» (B) ‚Č¤
for any ő», which does not belong to S(ŌÉ(A), ).
For the proof of this lemma we refer the reader to the book (Dunford and
Schwartz, 1963, p. 585).
Lemma 6.3.2 Let V ‚ąą Cp , p > 1 be a Volterra operator. Then there is
a sequence of nilpotent operators, having Ô¬Ānite dimensional ranges and con-
verging to V in the norm Np (.).
Proof: Let T = V ‚ą’ V ‚ą— . Due to the well-known Theorems 22.1 and 16.3
from the book (Brodskii, 1971), for an > 0, there is a Ô¬Ānite chain {Pk }n
k=0
of orthogonal projectors onto invariant subspaces of V :
0 = Range(P0 ) ‚ä‚ Range(P1 ) ‚ä‚ .... ‚ä‚ Range(Pn ) = H,
such that with the notation
n
Pk‚ą’1 T ‚ąÜPk (‚ąÜPk = Pk ‚ą’ Pk‚ą’1 ),
Wn =
k=1

(k)
the inequality Np (Wn ‚ą’ V ) < is valid. Furthermore, let {em }‚ąě be an
m=1
orthonormal basis in ‚ąÜPk H. Put
l
(k)
(., e(k) )e(k) (k = 1, ..., n; l = 1, 2, ....).
Ql = m m
m=1

(k)
strongly converge to ‚ąÜPk as l ‚Ü’ ‚ąě. Moreover,
Clearly, Ql
(k) (k) (k)
Ql ‚ąÜPk = ‚ąÜPk Ql = Ql .
Since,
n k‚ą’1
Wn = ‚ąÜPj T ‚ąÜPk ,
k=1 j=1

the operators
n k‚ą’1
(j) (k)
Wnl = Ql T Ql
k=1 j=1

have Ô¬Ānite dimensional ranges and tend to Wn in the norm Np as l ‚Ü’ ‚ąě,
since T ‚ąą Cp . Thus, Wnl tend to V in the norm Np as l, n ‚Ü’ ‚ąě. Put
k
(l) (j)
Lk = Ql (k = 1, ..., n).
j=1
6.3. Triangular Representations 81

(l) (l) (l) n
Then Lk‚ą’1 Wnl Lk = Wnl Lk . Hence we easily have Wnl = 0. This proves
the lemma. 2

We recall the following well-known result, cf. (Gohberg and Krein, 1969,
Lemma I.4.2).

Lemma 6.3.3 Let M = H be the closed linear span of all the root vectors
of an operator A ‚ąą C‚ąě and let QA be the orthogonal projector of H onto
M ‚ä• , where M ‚ä• is the orthogonal complement of M in H. Then QA AQA is
a Volterra operator.

The previous lemma means that A can be represented by the matrix

BA A12
A= (3.1)
0 V1

acting in M ‚ä• M ‚ä• . Here BA = A(I ‚ą’ QA ), V1 = QA AQA is a Volterra
operator in QA H and A12 = (I ‚ą’ QA )AQA .

Theorem 6.3.4 Let A ‚ąą C‚ąě . Then there are a normal operator D and a
Volterra operator V , such that

A = D + V and ŌÉ(D) = ŌÉ(A). (3.2)

Moreover, A, D and V have the same invariant subspaces.

Proof: Let M be the linear closed span of all the root vectors of A, and
PA is the projector of H onto M . So the system of the root vectors of the
operator BA = APA is complete in M . Thanks to the well-known Lemma
I.3.1 from (Gohberg and Krein, 1969), there is an orthonormal basis (Schur‚Ä™s
basis) {ek } in M , such that

j‚ą’1
BA ej = Aej = ő»j (BA )ej + ajk ek (j = 1, 2, ...). (3.3)
k=1

We have BA = DB + VB , where DB ek = ő»k (BA )ek , k = 1, 2, ... and VB =
BA ‚ą’ DB is a quasinilpotent operator. But according to (3.1) ő»k (BA ) =
ő»k (A), since V1 is a quasinilpotent operator. Moreover DB and VB have
the same invariant subspaces. Take the following operator matrix acting in
M ‚ä• M ‚ä•:
DB 0 VB A12
D= and V = .
0 0 0 V1
Since the diagonal of V contains VB and V1 only, ŌÉ(V ) = ŌÉ(VB )‚ą™ŌÉ(V1 ) = {0}.
So V is quasinilpotent and (3.2) is proved. From (3.1) and (3.3) it follows
that A, D and V have the same invariant subspace, as claimed. 2
82 6. Functions of Compact Operators

DeÔ¬Ānition 6.3.5 Equality (3.2) is said to be the triangular representation
of A. Besides, D and V will be called the diagonal part and nilpotent part of
A, respectively.

Lemma 6.3.6 Let A ‚ąą Cp , p ‚Č• 1. Let V be the nilpotent part of A. Then
there exists a sequence {An } of operators, having n-dimensional ranges, such
that
ŌÉ(An ) ‚äÜ ŌÉ(A), (3.4)
and
n ‚ąě
p
|ő»(A)|p as n ‚Ü’ ‚ąě.
|ő»(An )| ‚Ü’ (3.5)
k=1 k=1
Moreover,

Np (An ‚ą’ A) ‚Ü’ 0 and Np (Vn ‚ą’ V ) ‚Ü’ 0 as n ‚Ü’ ‚ąě, (3.6)

where Vn are the nilpotent parts of An (n = 1, 2, ...).

Proof: Again, let M be the linear closed span of all the root vectors of A,
and PA the projector of H onto M . So the system of root vectors of the
operator BA = APA is complete in M . Let DB and VB be the nilpotent
parts of BA , respectively. According to (3.3), put
n
Pn = (., ek )ek .
k=1

Then
ŌÉ(BA Pn ) = ŌÉ(DB Pn ) = {ő»1 (A), ..., ő»n (A)}. (3.7)
In addition, DB Pn and VB Pn are the diagonal and nilpotent parts of BA Pn ,
respectively. Due to Lemma 6.3.2, there exists a sequence {Wn } of nilpotent
operators having n-dimensional ranges and converging in Np to the operator
V1 . Put
BA Pn Pn A12
An = .
0 Wn
Then the diagonal part of An is
DB Pn 0
Dn =
0 0
and the nilpotent part is
V B Pn Pn A12
Vn = .
0 Wn

So relations (3.6) are valid. According to (3.7), relation (3.5) holds. Moreover
Np (Dn ‚ą’DB ) ‚Ü’ 0. So relation (3.5) is also proved. This Ô¬Ānishes the proof. 2
6.4. Resolvents of Hilbert-Schmidt Operators 83

6.4 Resolvents of Hilbert-Schmidt Operators
Let A be a Hilbert-Schmidt operator. The following quantity plays a key role
in this section:
‚ąě
2
|ő»k (A)|2 ]1/2 ,
‚ą’
g(A) = [N2 (A) (4.1)
k=1

where N2 (A) is the Hilbert-Schmidt norm of A, again. Since
‚ąě ‚ąě
2
ő»2 (A)| = |T race A2 |,
|ő»k (A)| ‚Č• | k
k=1 k=1

one can write
g 2 (A) ‚Č¤ N2 (A) ‚ą’ |T race A2 |.
2
(4.2)
If A is a normal Hilbert-Schmidt operator, then g(A) = 0, since
‚ąě
2
|ő»k (A)|2
N2 (A) =
k=1

in this case. Let AI = (A ‚ą’ A‚ą— )/2i. We will also prove the inequality

N2 (A ‚ą’ A‚ą— )
2
2 2
g (A) ‚Č¤ = 2N2 (AI ) (4.3)
2
(see Lemma 6.5.2 below). Again put ŌĀ(A, ő») := inf t‚ąąŌÉ(A) |ő» ‚ą’ t|.

Theorem 6.4.1 Let A be a Hilbert-Schmidt operator. Then
‚ąě
g k (A)
‚ąö
Rő» (A) ‚Č¤ (ő» ‚ąą ŌÉ(A)). (4.4)
ŌĀk+1 (A, ő») k!
k=0

Proof: Due to Lemma 6.3.6 there exists a sequence {An } of operators,
having n-dimension ranges, such that the relations (3.4),

N2 (An ) ‚Ü’ N2 (A) and g(An ) ‚Ü’ g(A) as n ‚Ü’ ‚ąě (4.5)

are valid. But due to Corollary 2.1.2,
n‚ą’1
g k (An )
‚ąö
Rő» (An ) ‚Č¤ (ő» ‚ąą ŌÉ(An )).
ŌĀk+1 (An , ő») k!
k=0

According to (3.4) ŌĀ(An , ő») ‚Č• ŌĀ(A, ő»). Now, letting n ‚Ü’ ‚ąě in the latter
relation, we arrive at the stated result. 2
An additional proof of this theorem can be found in (Gil‚Ä™, 1995, Chapter
2).
84 6. Functions of Compact Operators

Theorem 6.4.1 is precise. Inequality (4.4) becomes the equality

Rő» (A) = ŌĀ‚ą’1 (A, ő»),

if A is a normal operator, since g(A) = 0 in this case.
Note that for an arbitrary constant c > 1, Schwarz‚Ä™s inequality implies
the relations
‚ąě ‚ąök k
‚ąě ‚ąě k 2k ‚ąě
xk cx cx 1 1/2 c 2
ecx /2 (x ‚Č• 0).
‚ąö= ‚ąö ‚Č¤ =
k! j=0 cj c‚ą’1
k! k=0 ck k!
k=0 k=0
(4.6)
With c = 2, we have
‚ąě
‚ąö
xk 2
‚ąö ‚Č¤ 2 ex (x ‚Č• 0).
k!
k=0

Now Theorem 6.4.1 implies the inequality

b0 g 2 (A)
a0
Rő» (A) ‚Č¤ exp [ 2 ] for all regular ő», (4.7)
ŌĀ(A, ő») ŌĀ (A, ő»)

where according to (4.6), one can take.
‚ąö
c c
a0 = and b0 = for any c > 1. In particular, a0 = 2 and b0 = 1.
c‚ą’1 2
(4.8)
Moreover, letting n ‚Ü’ ‚ąě in Theorem 2.14.1, we get (4.7) with

a0 = e1/2 and b0 = 1/2. (4.9)

We thus have proved
Theorem 6.4.2 Let A ‚ąą C2 . Then there are nonnegative constants a0 , b0 ,
such that estimate (4.7) is valid. Moreover, a0 and b0 can be taken as in
(4.8) or in (4.9).
In particular, if V ‚ąą C2 is a quasinilpotent operator, then
2
a0 b0 N2 (V )
Rő» (V ) ‚Č¤ exp [ ] for all ő» = 0.
|ő»|2
|ő»|

6.5 Equalities for Eigenvalues
of a Hilbert-Schmidt Operator
Lemma 6.5.1 Let V be a Volterra operator and VI ‚Č° (V ‚ą’ V ‚ą— )/2i ‚ąą C2 .
2 2
Then V ‚ąą C2 . Moreover, N2 (V ) = 2N2 (VI ).
6.5. Equalities for Eigenvalues 85

Proof: By Theorem 6.2.2 we have T race V 2 = T race (V ‚ą— )2 = 0, because
V is a Volterra operator. Hence,

N2 (V ‚ą’ V ‚ą— ) = T race (V ‚ą’ V ‚ą— )2 = T race (V 2 + V V ‚ą— + V ‚ą— V + (V ‚ą— )2 )
2

= T race (V V ‚ą— + V ‚ą— V ) = 2T race (V V ‚ą— ).

We arrive at the result. 2

Lemma 6.5.2 Let A ‚ąą C2 . Then
‚ąě ‚ąě
2 2 2
|Im ő»k (A)|2 = N2 (V ),
2
‚ą’ |ő»k (A)| = ‚ą’2
N2 (A) 2N2 (AI )
k=1 k=1

where V is the nilpotent part of A.

Proof: Let D be the diagonal part of A. By (3.3), it is simple to check that
V D‚ą— is a Volterra operator (see also Lemma 7.3.4). By Theorem 6.2.2,

T race V D‚ą— = T race V ‚ą— D = 0. (5.1)

From the triangular representation (3.2) it follows that

T r AA‚ą— = T r (D + V )(D‚ą— + V ‚ą— ) = T r AA‚ą— = T r (DD‚ą— ) + T r (V V ‚ą— ).

Besides, due to (3.2) ŌÉ(A) = ŌÉ(D). Thus,
‚ąě
2
|ő»k (A)|2 .
N2 (D) =
k=1

So the relation
‚ąě
2 2
|ő»k (A)|2
‚ą’
N2 (V )= N2 (A)
k=1

is proved. Furthermore, from the triangular representation (3.2) it follows
that
‚ą’4T r A2 = T r (A ‚ą’ A‚ą— )2 = T r (D + V ‚ą’ D‚ą— ‚ą’ V ‚ą— )2 .
I

Hence, thanks to (5.1), we obtain

‚ą’4T r A2 = T r (D ‚ą’ D‚ą— )2 + T r (V ‚ą’ V ‚ą— )2 .
I

That is, N2 (AI ) = N2 (VI ) + N2 (DI ), where VI = (V ‚ą’ V ‚ą— )/2i and DI =
2 2 2

(D ‚ą’ D‚ą— )/2i. Taking into account Lemma 6.5.1, we arrive at the equality
2 2 2
2N2 (AI ) ‚ą’ 2N2 (DI ) = N2 (V ).
86 6. Functions of Compact Operators

Besides, due to (3.2) ŌÉ(A) = ŌÉ(D). Thus,
‚ąě
2
|Im ő»k (A)|2 ,
N (DI ) =
k=1

and we arrive at the required result. 2

Replace in Lemma 6.5.2, operator A by Aeit and AeiŌ„ with real numbers
t, Ō„ . Then we get
Corollary 6.5.3 Let A ‚ąą C2 . Then
‚ąě
2 it ‚ą— ‚ą’it
|eit ő»k (A) ‚ą’ e‚ą’it ő»k (A)|2 =
N (Ae ‚ą’ A e )‚ą’
k=1
‚ąě
2 iŌ„ ‚ą— ‚ą’iŌ„
|eiŌ„ ő»k (A) ‚ą’ e‚ą’iŌ„ ő»k (A)|2 (t, Ō„ ‚ąą R).
‚ą’A e )‚ą’
N (Ae
k=1

In particular, take t = 0 and Ō„ = ŌÄ/2. Then due to Corollary 6.5.3,
‚ąě ‚ąě
2 2 2
|Re ő»k (A)|2
N (AI ) ‚ą’ |Im ő»k (A)| = N (AR ) ‚ą’ (5.2)
k=1 k=1

with AR = (A + A‚ą— )/2 .

6.6 Operators Having
Hilbert-Schmidt Powers
Assume that for some positive integer p > 1,
Ap is a Hilbert-Schmidt operator. (6.1)
Note that under (6.1) A can, in general, be a noncompact operator. Below
in this section we will give a relevant example.
Theorem 6.6.1 Let (6.1) hold for some integer p > 1. Then
‚ąě
g k (Ap )
(ő»p ‚ąą ŌÉ(Ap )),
‚ąö
Rő» (A) ‚Č¤ Tő»,p (6.2)
k+1 (Ap , ő»p ) k!
ŌĀ
k=0

where
p‚ą’1
Ak ő»p‚ą’k‚ą’1 ,
Tő»,p = (6.3)
k=0
and
ŌĀ(Ap , ő»p ) = inf |tp ‚ą’ ő»p |
t‚ąąŌÉ(A)

is the distance between ŌÉ(Ap ) and the point ő»p .
6.7. Resolvents of Neumann-Schatten Operators 87

Proof: We use the identity

p‚ą’1
p p
Ak ő»p‚ą’k‚ą’1 = (A ‚ą’ Iő»)Tő»,p .
A ‚ą’ Iő» = (A ‚ą’ Iő»)
k=0

This implies
(A ‚ą’ Iő»)‚ą’1 = Tő»,p (Ap ‚ą’ Iő»p )‚ą’1 . (6.4)

Thus,
(A ‚ą’ Iő»)‚ą’1 ‚Č¤ Tő»,p (Ap ‚ą’ Iő»p )‚ą’1 . (6.5)

Applying Theorem 6.4.1 to the resolvent (Ap ‚ą’Iő»p )‚ą’1 = Rő»p (Ap ), we obtain:
‚ąě
g k (Ap )
p
(ő»p ‚ąą ŌÉ(Ap )).
‚ąö
R (A ) ‚Č¤
ő»p
ŌĀk+1 (Ap , ő»p ) k!
k=0

This and (6.4) complete the proof. 2
According to (6.5) Theorem 6.4.2 gives us

Corollary 6.6.2 Let condition (6.1) hold for some integer p > 1. Then

b0 g 2 (Ap )
a0 Tő»,p
exp [ 2 p p ] (ő»p ‚ąą ŌÉ(Ap )),
Rő» (A) ‚Č¤
ŌĀ(Ap , ő»p ) ŌĀ (A , ő» )

where constants a0 and b0 can be taken from (4.8) or from (4.9).

Example 6.6.3 Consider a noncompact operator satisfying condition (6.1).

Let H be an orthogonal sum of Hilbert spaces H1 and H2 : H = H1 ‚ä• H2 ,
and let A be a linear operator deÔ¬Āned in H by the formula

B1 T
A= ,
0 B2

where B1 and B2 are bounded linear operators acting in H1 and H2 , respec-
tively, and a bounded linear operator T maps H2 into H1 . Evidently A2 is
deÔ¬Āned by the matrix

2
B1 B1 T + T B2
2
A= .
2
0 B2

If B1 , B2 ‚ąą C2 and T is a noncompact one, then A2 ‚ąą C2 , while A is a
noncompact operator.
88 6. Functions of Compact Operators

6.7 Resolvents of Neumann-Schatten
Operators
Let
A ‚ąą C2p for some integer p > 1. (7.1)

Then due to (2.4), condition (6.1) holds. So we can directly apply Theorem
6.6.1, but in appropriate situations the following result is more convenient.

Theorem 6.7.1 Let A ‚ąą C2p (p = 2, 3, ...). Then

p‚ą’1 ‚ąě
(2N2p (A))pk+m
‚ąö
Rő» (A) ‚Č¤ (ő» ‚ąą ŌÉ(A)). (7.2)
ŌĀpk+m+1 (A, ő») k!
m=0 k=0

The proofs of this theorem and the next one are presented in the next section.
An additional proof of Theorem 6.7.1 can be found in (Gil‚Ä™, 1995, Section
2.6). Put
1
(p)
őłj = , (7.3)
[j/p]!
where [x] means the integer part of a real number x. Now the previous
theorem implies

Corollary 6.7.2 Let A ‚ąą C2p (p = 2, 3, ...). Then

(p)
‚ąě
őłj (2N2p (A))j
Rő» (A) ‚Č¤ (ő» ‚ąą ŌÉ(A)). (7.4)
ŌĀj+1 (A, ő»)
j=0

Theorem 6.7.3 Under condition (7.1) there are constants a0 , b0 > 0, such
that the estimate
p‚ą’1
(2N2p (A))m b0 (2N2p (A))2p
Rő» (A) ‚Č¤ a0 ] (ő» ‚ąą ŌÉ(A))
exp [ (7.5)
ŌĀm+1 (A, ő») ŌĀ2p (A, ő»)
m=0

holds. These constants can be taken as in (4.8) or in (4.9).

Since, condition (7.1) implies AI ‚Č° (A ‚ą’ A‚ą— )/2i ‚ąą C2p , additional estimates
for the resolvent under condition (7.1) are derived in Section 7.9 below.

6.8 Proofs of Theorems 6.7.1 and 6.7.3
We need the following result.
6.8. Proof of Theorems 6.7.1 and 6.7.3 89

Lemma 6.8.1 Let A be a linear operator acting in a Euclidean space Cn
with n = jp and integers p ‚Č• 1, j > 1. Then
p‚ą’1 j kp+m
N2p (V )
‚ąö
Rő» (A) ‚Č¤ (ő» ‚ąą ŌÉ(A)) (8.1)
ŌĀpk+m+1 (A, ő») k!
m=0 k=0

where V is the nilpotent part of A, . is the Euclidean norm.
Proof: Since A = D + V , where D is the diagonal part of A,

(A ‚ą’ ő»I)‚ą’1 = (D + V ‚ą’ ő»I)‚ą’1 = (D ‚ą’ ő»I)‚ą’1 (I + Bő» )‚ą’1 (8.2)

where Bő» = ‚ą’V Rő» (D). By the identity
p‚ą’1 p
(I ‚ą’ Bő» )(I + Bő» + . . . + Bő» ) = I ‚ą’ Bő»

we have
(A ‚ą’ ő»I)‚ą’1 = (D + V ‚ą’ ő»I)‚ą’1 =
p‚ą’1 p
(D ‚ą’ ő»I)‚ą’1 (I + Bő» + . . . + Bő» )(I ‚ą’ Bő» )‚ą’1 . (8.3)
pj
n
Clearly, Bő» is a nilpotent operator. So Bő» = Bő» = 0 and
j
p kp
Bő» )‚ą’1
(I ‚ą’ = Bő» .
k=0

Thus,
p‚ą’1 j
p‚ą’1 p kp+m
‚ą’1
Bő» )‚ą’1
(I ‚ą’ Bő» ) ‚ą’
= (I + Bő» + . . . + Bő» )(I = Bő» .
m=0 k=0

Hence,
p‚ą’1 j
kp+m
Rő» (A) = Rő» (D) Bő» . (8.4)
m=0 k=0

Taking into account that ŌÉ(A) = ŌÉ(D), we can assert that Rő» (D) is a
bounded operator for all regular points ő» of A. But
p p
N2 (Bő» ) ‚Č¤ N2p (Bő» ) (8.5)

(see relation (2.4)). Now let us use Theorem 2.5.1. It gives
p
k
N2 (Bő» )
pk p
k
‚Č¤‚ąö
‚Č¤
Bő» ő≥n,k N2 (Bő» ) .
k!
Thus, (8.5) ensures the estimate
kp
N2p (Bő» )
pk
‚ąö
‚Č¤
Bő» .
k!
90 6. Functions of Compact Operators

Furthermore, it is clear that

N2p (Bő» ) = N2p (V Rő» (D)) ‚Č¤ N2p (V ) Rő» (D) .

Since D is normal and ŌÉ(A) = ŌÉ(D),

Rő» (D) = ŌĀ‚ą’1 (D, ő») = ŌĀ‚ą’1 (A, ő»). (8.6)

Hence,
N2p (V )
N2p (Bő» ) ‚Č¤ . (8.7)
ŌĀ(A, ő»)
Thus,
kp
N2p (V )
pk
‚ąö.
‚Č¤
Bő»
ŌĀkp (A, ő») k!
m m
Evidently, Bő» ‚Č¤ N2p (Bő» ). Now relation (8.7) implies
m
N2p (V )
m
‚Č¤m
Bő» .
ŌĀ (A, ő»)

Consequently,
kp+m
N2p (V )
pk+m
‚ąö.
‚Č¤
Bő»
ŌĀkp+m (A, ő») k!
Taking into account (8.4), we have
p‚ą’1 j
kp+m
N2p (V )
‚ąö.
Rő» (A) ‚Č¤ Rő» (D)
ŌĀkp+m (A, ő») k!
m=0 k=0

Now (8.6) yields the required result. 2
Letting j ‚Ü’ ‚ąě in the last lemma, we easily get

Corollary 6.8.2 Let A ‚ąą C2p (p = 1, 2, ...). Then
p‚ą’1 ‚ąě kp+m
N2p (V )
‚ąö
Rő» (A) ‚Č¤ (ő» ‚ąą ŌÉ(A)),
ŌĀpk+m+1 (A, ő») k!
m=0 k=0

where V is the nilpotent part of A.

Proof of Theorem 6.7.1: Due to inequality (2.3) N2p (D) ‚Č¤ N2p (A).
Thus, the triangular representation implies

N2p (V ) ‚Č¤ N2p (A) + N2p (D) ‚Č¤ 2N2p (A). (8.8)

Now, the required result follows from the previous lemma. 2
To prove Theorem 6.7.3, we need the gollowing
6.9. Functions of Hilbert-Schmidt Operators 91

Lemma 6.8.3 Under condition (7.1), let V be the nilpotent part of A. Then
there are constants a0 , b0 > 0, such that the inequality
p‚ą’1
(N2p (V ))m b0 (N2p (V ))2p
Rő» (A) ‚Č¤ a0 ] (ő» ‚ąą ŌÉ(A))
exp [
ŌĀm+1 (A, ő») ŌĀ2p (A, ő»)
m=0

holds. These constants can be taken as in (4.8) or in (4.9).
Proof: According to (8.3),
p‚ą’1
p
‚ą’1 ‚ą’1 k
(I ‚ą’ Bő» )‚ą’1 .
(A ‚ą’ ő»I) ‚Č¤ (D ‚ą’ ő»I) Bő» (8.9)
k=0
p
It is not hard to check that Bő» is a Volterra operator (see also Lemma 7.3.4)
p
below. Moreover, Bő» ‚ąą C2 . Due to Theorem 6.4.2,
p
2
p
(I ‚ą’ Bő» )‚ą’1 ‚Č¤ e1/2 eN2 (Bő» )/2 . (8.10)
But
p p p
N2 (Bő» ) ‚Č¤ N2p (Bő» ) ‚Č¤ N2p (V ) Rő» (D) p .
p p
In addition, (8.6) implies that N2 (Bő» ) ‚Č¤ N2p (A)ŌĀ‚ą’p (A, ő»). Now relations
(8.7), (8.9) and (8.10) yield the required result. 2

The assertion of Theorem 6.7.3 follows from the previous lemma and
(8.8).

6.9 Regular Functions of
Hilbert-Schmidt Operators
Let A be a bounded linear operator acting in a separable Hilbert space H
and f be a scalar-valued function, which is analytic on a neighborhood of
ŌÉ(A). Let a contour C consist of a Ô¬Ānite number of rectiÔ¬Āable Jordan curves,
oriented in the positive sense customary in the theory of complex variables.
Suppose that C is the boundary of an open set M ‚äÉ ŌÉ(A) and M ‚ą™ C is
contained in the domain of analycity of f . We deÔ¬Āne f (A) by the equality
1
f (A) = ‚ą’ f (ő»)Rő» (A)dő» (9.1)
2ŌÄi C

(see the book by Dunford and Schwartz (1966, p. 568)).
Theorem 6.9.1 Let A be a Hilbert-Schmidt operator and let f be a holo-
morphic function on a neighborhood of the closed convex hull co(A) of the
spectrum of A. Then
‚ąě
g k (A)
(k)
f (A) ‚Č¤ sup |f (ő»)| . (9.2)
(k!)3/2
k=0 ő»‚ąąco(A)
92 6. Functions of Compact Operators

Proof: Thanks to Corollary 6.3.6, there is a sequence {An } of operators
having n-dimensional ranges, such that relations (4.5) hold. Corollary 2.7.2
implies
n‚ą’1
g k (An )
sup |f (k) (ő»)|
f (An ) ‚Č¤ . (9.3)
(k!)3/2
ő»‚ąąco(An )
k=0

Due to the well-known Lemma VII.6.5 from (Dunford and Schwartz, 1966)
we have
f (An ) ‚ą’ f (A) ‚Ü’ 0 as n ‚Ü’ ‚ąě.
Letting n ‚Ü’ ‚ąě in (9.3), due to Lemma 6.3.6, we arrive at the stated result.
2
Theorem 6.9.1 is precise: inequality (9.2) becomes the equality

f (A) = sup |f (¬µ)|,
¬µ‚ąąŌÉ(A)

if A is a normal operator and

sup |f (ő»)| = sup |f (ő»)|,
ő»‚ąąco(A) ő»‚ąąŌÉ(A)

because g(A) = 0 in this case.

Corollary 6.9.2 Let A be a Hilbert-Schmidt operator. Then
‚ąě
tk g k (A)
At ő±(A)t
‚Č¤e for all t ‚Č• 0,
e
(k!)3/2
k=0

where ő±(A) = sup Re ŌÉ(A). In addition,
m
m!rs (A)g k (A)
m‚ą’k
m
‚Č¤
A (m = 1, 2, ...).
(m ‚ą’ k)!(k!)3/2
k=0

Recall that rs (A) is the spectral radius of operator A. In particular, if V ‚ąą C2
is a Volterra operator, then
m
N2 (V )
m
‚Č¤‚ąö
V (m = 1, 2, ...). (9.4)
m!
Note that an independent proof of inequality (9.4) can be found in Section
2.3 of the book (Gil‚Ä™, 1995). In addition, that inequality allows us to estimate
a power of a Volterra von Neumann - Schatten operator.
Lemma 6.9.3 For some integer p ‚Č• 1, let V ‚ąą C2p be a Volterra operator.
Then
pk+m
N2p (V )
kp+m
‚ąö
‚Č¤ (k = 0, 1, 2, ...; m = 0, ..., p ‚ą’ 1).
V (9.5)
k!
6.10. A Relation for Determinants 93

p
Relation (2.4) implies N2 (V p ) ‚Č¤ N2p (V ). Thus V p ‚ąą C2 . Due to
Proof:
(9.4)
kp
N2 (V p )
k N2p (V )
pk
‚Č¤‚ąö ‚Č¤‚ąö
V .
k! k!
Since V m ‚Č¤ N2p (V ),
m

kp kp+m
N2p (V ) N2p (V )
pk+m m
‚ąö ‚ąö
‚Č¤V ‚Č¤
V ,
k! k!
as claimed. 2
Inequality (9.5) can be rewritten in the following way:
Corollary 6.9.4 For some integer p ‚Č• 1, let V ‚ąą C2p be a Volterra operator.
Then
(p) j
V j ‚Č¤ őłj N2p (V ) (j = 1, 2, ...).
(p)
Recall that őłj is given in Section 6.7.

6.10 A Relation between
Determinants and Resolvents
Let A ‚ąą C2 . Then the generalized determinant
‚ąě
(1 ‚ą’ ő»k )eő»k (ő»k ‚Č° ő»k (A))
det2 (I ‚ą’ A) :=
k=1

is Ô¬Ānite (Dunford and Schwartz, 1963, p. 1038). The following theorem is due
to Carleman (see the next section), but we suggest a new proof and correct
a misprint in Theorem XI.6.27 of the book (Dunford and Schwartz, 1963).
Theorem 6.10.1 Let A ‚ąą C2 . Then

(I ‚ą’ A)‚ą’1 det2 (I ‚ą’ A) ‚Č¤ exp [(N2 (A) + 1)/2].
2
(10.1)

Proof: Thanks to Theorem 2.11.1,
1
(I ‚ą’An )‚ą’1 det (I ‚ą’An ) ‚Č¤ [1+ (N2 (An )‚ą’2Re T race (An )+1)](n‚ą’1)/2
2
n‚ą’1
for any n-dimensional operator An . Hence,

(I ‚ą’ An )‚ą’1 det (I ‚ą’ An ) ‚Č¤ exp [(N2 (An ) ‚ą’ 2Re T race (An ) + 1)/2].
2

Rewrite this relation as

(I ‚ą’ An )‚ą’1 det (I ‚ą’ An )exp [Re T race (An )] ‚Č¤ exp [(N2 (An ) + 1)/2].
2
94 6. Functions of Compact Operators

Or
n
‚ą’1
|(1 ‚ą’ ő»k (An ))eő»k (An ) | ‚Č¤ exp [(N2 (An ) + 1)/2].
2
(I ‚ą’ An )
k=1

Hence,
(I ‚ą’ An )‚ą’1 det2 (I ‚ą’ An ) ‚Č¤ exp [(N2 (An ) + 1)/2].
2
(10.2)
Let An , n = 1, 2, ... converge to A in the norm N2 (.) and satisfy conditions
(3.4). Then
det2 (I ‚ą’ An ) ‚Ü’ det2 (I ‚ą’ A).
This Ô¬Ānishes the proof. 2
Replacing in (10.1) A by ő»‚ą’1 A, we get

Corollary 6.10.2 Let A ‚ąą C2 . Then
2
1 1 N2 (A)
‚ą’1 ‚ą’1
(ő»I ‚ą’ A) det2 (I ‚ą’ ő» A) ‚Č¤ ] (ő» ‚ąą ŌÉ(A)). (10.3)
exp [ +
2|ő»|2
|ő»| 2

In particular, if V ‚ąą C2 is quasinilpotent, then
2
1 1 N2 (V )
‚ą’1
(ő»I ‚ą’ V ) ‚Č¤ exp [ + ] (ő» = 0). (10.4)
2|ő»|2
|ő»| 2

Moreover, relation (10.4) implies.
Corollary 6.10.3 Let A ‚ąą C2 . Then

g 2 (A)
1 1
Rő» (A) ‚Č¤ ] (ő» ‚ąą ŌÉ(A)).
exp [ + 2 (10.5)
ŌĀ(A, ő») 2 2ŌĀ (A, ő»)

Indeed, due to (3.2), Rő» (A) = Rő» (D)(I + V Rő» (D))‚ą’1 . Lemma 7.3.4 below
yields that V Rő» (D) is a Volterra operator. So according to (10.4),
2
1 N2 (V Rő» (D))
‚ą’1 ‚ą’1
‚Č¤ exp [ + ]‚Č¤
(I + V Rő» (D)) (I + V Rő» (D))
2 2
2 2
1 N2 (V ) Rő» (D)
exp [ + ].
2 2
But due to Lemma 6.5.2, N2 (V ) = g(A). Thus,

g 2 (A)
1 1
Rő» (A) ‚Č¤ Rő» (D)(I + V Rő» (D))‚ą’1 ‚Č¤ exp [ + 2 ],
ŌĀ(A, ő») 2 2ŌĀ (A, ő»)

as claimed.
Note that Corollary 6.10.3 gives us an additional proof of Theorem 6.4.2.
6.11. Notes 95

6.11 Notes
Theorems 6.4.1, 6.7.1 and 6.9.1 were derived in the papers (Gil‚Ä™, 1979a), (Gil‚Ä™,
1992) and (Gil‚Ä™, 1979b), respectively (see also (Gil‚Ä™, 1995, Chapter 2)), but
in the present chapter we suggest the new proofs. Theorems 6.4.2 and 6.7.3
are probably new.
In the book (Dunford and Schwartz, 1963, p. 1038), instead of (10.3), it
is erroneously stated that
2
1 N2 (A)
‚ą’1 ‚ą’1
(ő»I ‚ą’ A) det2 (I ‚ą’ ő» A) ‚Č¤ |ő»| exp [ + ].
2|ő»|2
2

Note that the very interesting estimates for the resolvents of operators from
Cp are established in the papers (Dechevski and Persson, 1994 and 1996).

References
 Ahiezer, N. I. and Glazman, I. M. (1981). Theory of Linear Operators
in a Hilbert Space. Pitman Advanced Publishing Program, Boston.

 Brodskii, M. S. (1971). Triangular and Jordan Representations of Linear
Operators, Transl. Math. Mongr., v. 32, Amer. Math. Soc., Providence,
R. I.

 Dechevski, L. T. and Persson, L. E. (1994). Sharp generalized Carle-
man inequalities with minimal information about the spectrum, Math.
Nachr., 168, 61-77.

 Dechevski, L. T. and Persson, L. E. (1996). On sharpness, applications
and generalizations of some Carleman type inequalities, TňÜhuku Math.
o
J., 48, 1-22.

 Dunford, N. and Schwartz, J. T. (1966). Linear Operators, part I. Gen-
eral Theory. Interscience publishers, New York.
 << ŮÚū. 4(‚ŮŚ„Ó 11)—őńŇ–∆ņÕ»Ň >>