Compact PDF
Compact PDF
Compact PDF
579
n
X
fi (x)gi (y)
i=1
fi , gi L2 (X, ) for i = 1, . . . , n.
Define (Kf )(x) = X k(x, y)f (y)d(y), then K : L2 (X, ) L2 (X, ) is a finite
rank operator and hence compact.
R
BRUCE K. DRIVER
580
Therefore minx kz KN xk < 3 , which shows K(U ) is 3 bounded for all > 0,
K(U ) is totally bounded and hence precompact.
1
there is a subsequence xn n=1 of {xn }
such
that
K
x
1 n n=1 is convergent in
n=1
B. Working inductively, we may construct subsequences
which shows
n,l
{Kyn }n=1
onto span{n }N
n=1 . Then limN kPN y yk = 0 for all y K(H).
Define Kn Pn K a finite rank operator on H. For sake of contradiction
suppose that lim supn kK Kn k = > 0, in which case there exists xnk U
such that k(K Knk )xnk k for all nk . Since K is compact, by passing to a
subsequence if necessary, we may assume {Kxnk }
nk =1 is convergent in B. Letting
y limk Kxnk ,
k(K Knk )xnk k = k(1 Pnk )Kxnk k k(1 Pnk )(Kxnk y)k + k(1 Pnk )yk
kKxnk yk + k(1 Pnk )yk 0 as k .
But this contradicts the assumption that is positive and hence we must have
limn kK Kn k = 0, i.e. K is an operator norm limit of finite rank operators.
The converse direction follows from Corollary 35.4 and Lemma 35.6.
Corollary 35.8. If K is compact then so is K .
Proof. Let Kn = Pn K be as in the proof of Proposition 35.7, then Kn = K Pn
is still finite rank. Furthermore, using Proposition 12.16,
kK Kn k = kK Kn k 0 as n
(1)
581
P
2
kKen k2 =
m=1 kK um k allowing for the possibility that the sums
are infinite. In particular the Hilbert Schmidt norm of K,
n=1
kKkHS :=
n=1
kKen k ,
(35.1)
(K1 en , K2 en ).
n=1
PN
(4) Let PN x := n=1 (x, en )en be orthogonal projection onto span {ei : i N }
H and for K HS(H, B), let Kn := KPn . Then
kK KN k2op kK KN k2HS 0 as N ,
which shows that finite rank operators are dense in (HS(H, B), kkHS ) .
(5) If L is another Hilbert space and A : L H and C : B L are bounded
operators, then
kKAkHS kKkHS kAkop and kCKkHS kKkHS kCkop .
Proof. Items 1. and 2. By Parsavals equality and Fubinis theorem for sums,
n=1
kKen k =
X
X
n=1 m=1
|(Ken , um )| =
X
X
m=1 n=1
|(en , K um )| =
m=1
kK um k .
This proves kKkHS is well defined independent of basis and that kKkHS =
kK kHS . For x H \ {0} , x/ kxk may be taken to be the first element in an
orthonormal basis for H and hence
K x kKk .
HS
kxk
Multiplying this inequality by kxk shows kKxk kKkHS kxk and hence kKkop
kKkHS .
Item 3. For K1 , K2 L(H, B),
v
u
uX
kK1 + K2 kHS = t
kK1 en + K2 en k2
n=1
v
u
uX
t
[kK1 en k + kK2 en k]2 = k{kK1 en k + kK2 en k}
n=1 k
n=1
k{kK1 en k}
n=1 k 2 + k{kK2 en k}n=1 k
BRUCE K. DRIVER
582
From this triangle inequality and the homogeneity properties of kkHS , we now easily see that HS(H, B) is a subspace of K(H, B) and kkHS is a norm on HS(H, B).
Since
X
X
|(K1 en , K2 en )|
kK1 en k kK2 en k
n=1
n=1
v
v
u
u
uX
uX
kK1 en k2 t
kK2 en k2 = kK1 kHS kK2 kHS ,
t
n=1
n=1
the sum in Eq. (35.1) is well defined and is easily checked to define an inner product
2
on HS(H, B) such that kKkHS = (K1 , K2 )HS . To see that HS(H, B) is complete
in this inner product suppose {Km }m=1 is a kkHS Cauchy sequence in HS(H, B).
Because L(H, B) is complete, there exists K L(H, B) such that kKm Kkop 0
as m . Since
N
X
n=1
k(K Km ) en k2 = lim
kKm Kk2HS =
n=1
N
X
n=1
k(K Km ) en k2 = lim
N
X
n=1
k(K Km ) en k2
n>N
kKen k2 0 as N .
kCKkHS =
n=1
kCKen k kCkop
n=1
583
Exercise 35.1. Suppose that (X, ) is a finite measure space such that H =
L2 (X, ) is separable and k : X X R is a measurable function, such that
Z
|k(x, y)|2 d(x)d(y) < .
kkk2L2 (XX,)
XX
Define, for f H,
Kf (x) =
35.1. Since
Z
2 Z
Z
Z
2
2
d(x)
|k(x, y)f (y)| d(y)
d(x)
|k(x, y)| d(y)
|f (y)| d(y)
kkk2 kf k2 < ,
(35.2)
kKk2HS =
d(x) k(x, y)n (y)d(y)
=
n=1 X
Z
X
n=1
))2 =
d(x) (n , k(x,
2
d(x)
k(x, )H =
d(x)
d(x)
))2
(n , k(x,
n=1
Example 35.11. Suppose that Rn is a bounded set, < n, then the operator
K : L2 (, m) L2 (, m) defined by
Z
1
Kf (x) :=
f (y)dy
|x y|
is compact.
Proof. For
0, let
K f (x) :=
1
f (y)dy = [g (1 f )] (x)
|x y| +
where g (x) = |x| + 1C (x) with C Rn a suciently large ball such that
C. Since < n, it follows that
g g0 = ||
1C L1 (Rn , m).
BRUCE K. DRIVER
584
which implies
(35.3)
kK K kB(L2 ()) kg0 g kL1 (Rn ) =
1
1
dx 0 as
|x|
C |x| +
2
Z
1
dxdy < ,
|x y| +
1 0
0
0 2 0
T = 0
0 3
..
.. . .
.
.
.
..
.
|(f, T f )|
.
kf k2
585
(f + g, T (f + g)) (f g, T (f g))
M
kf + gk2 + kf gk2 =
2kf k2 + 2kgk2 = M.
|Re(f, T g)|
4
4
By replacing f be ei f where is chosen so that ei (f, T g) is real, we find
Hence
sup
kf k=kgk=1
|(f, T g)| M.
If g H \{0} and kT k = |(T g, g)|/kgk2 then, using the Cauchy Schwarz inequality,
(35.4)
kT k =
kT gk
|(T g, g)|
kT k.
kgk2
kgk
This implies |(T g, g)| = kT gkkgk and forces equality in the Cauchy Schwarz inequality. So by Theorem 12.2, T g and g are linearly dependent, i.e. T g = g
for some C. Substituting this into (35.4) shows that || = kT k. Since T is
self-adjoint,
g),
kgk2 = (g, g) = (T g, g) = (g, T g) = (g, g) = (g,
which implies that R and therefore, {kT k}.
Theorem 35.15. Let T be a S.A.C.O., then either = kT k or = kT k is an
eigenvalue of T.
Proof. Without loss of generality we may assume that T is non-zero since
otherwise the result is trivial. By Theorem 35.14, there exists fn H such that
kfn k = 1 and
(35.5)
|(fn , T fn )|
= |(fn , T fn )| kT k as n .
kfn k2
2 2(T fn , fn ) + 2 2 22 + 2 = 0 as n .
T fn fn 0 as n
f lim fn =
n
1
lim T fn
n
BRUCE K. DRIVER
586
N
X
n=1
n (, n )n for all H.
|
|
with
the further property
i
i+1
n=1
that
(35.7)
|i | =
kT k
{1 ,2 ,...i1 } kk
sup
If N = then limi |i | = 0 for if not there would exist > 0 such that
1
|i | > 0 for all i. In this case {i /i }
.
i=1 is sequence in H bounded by
By compactness of T, there exists a subsequence ik such that ik = T ik /ik is
convergent. But this is impossible since {ik } is an orthonormal set. Hence we
must have that = 0.
587
Let M span{i }N
i=1 with N = possible. Then T (M ) M and hence
T (M ) M . Using Eq. (35.7),
kT |M k kT |Mn k = |n | 0 as n
showing T |M 0.
Define P0 to be orthogonal projection onto M . Then for H,
= P0 + (1 P0 ) = P0 +
and
N
X
(, i )i
i=1
N
N
X
X
(, i )i =
i (, i )i .
T = T P0 + T
i=1
i=1
N
X
(, i )(i z)i zP0 ,
i=1
exists,
(T zI)1 =
and
k(T zI)1 k2 =
N
X
i=1
N
X
(, i )(i z)1 i z 1 P0 ,
i=1
|(, i )|2
1
1
+ 2 kP0 k2
2
|i z|
|z|
!
2 X
N
1
1
kk2 .
d2
We have thus shown that (T zI)1 exists, k(T zI)1 k d1 < and hence
z
/ (T ).
35.4. Structure of Compact Operators.
Theorem 35.18. Let K : H B be a compact operator. Then there exists N
N
N {} , orthonormal subsets {n }N
n=1 H and {n }n=1 B and a sequences
{n }N
n=1 C such that limn n = 0 if N = and
Kf =
N
X
n=1
N
X
n=1
BRUCE K. DRIVER
588
Let n :=
n and
K K K(H) be defined by
N
X
K Kf =
n (f, n )n for all f H.
n=1
Uf =
N
X
1/2
, or more precisely by
1
n (f, n )Kn .
n=1
1 1 2
(1
n Kn , m Km ) = n m (n , K Km ) = n m m m,n = m,n
which shows 1
n Kn n=1 is an orthonormal subset of B. Moreover this also shows
2
kU f k =
N
X
n=1
|(f, n )| = kP f k
1/2
U (K K)
f=
N
X
1
n ((K K)
1/2
f, n )Kn =
n=1
n=1
PN
since f = n=1 (f, n )n + P f.
From Eq. (35.9) it follows that
Kf =
N
X
N
X
n (f, n )U n =
n=1
N
X
n (f, n )n
n=1
where {n }N
n=1 is the orthonormal sequence in B defined by
n := U n = 1
n Kn .
n <
tr( K K) :=
n=1
tr(K) =
N
X
n (n , n ).
n=1
(Kem , em ) =
m=1
M X
N
N
M
X
X
X
(
n (em , n )n , em ) =
n
(em , n )(n , em )
m=1 n=1
N
X
n=1
n (PM n , n )
n=1
m=1
589
(Kem , em ) = lim
m=1
N
X
N
X
n (PM n , n ) =
n=1
N
X
n lim (PM n , n )
n=1
n (n , n ) = tr(K).
n=1
Proof.
(1) Choose {n }k1 to be an orthonormal basis for Ran(K). Then for x H,
Kx =
k
X
(Kx, n )n =
n=1
k
X
n=1
(x, K n )n =
k
X
(x, n )n
n=1
where n K n .
(2) Item 2. is a simple computation left to the reader.
(3) Since Nul(I + K) = {x H | x = Kx} Ran(K) it is finite dimensional.
(4) Since x = (I + K)x Ran(I + K)for x Nul(K), Nul(K) Ran(I + K).
Since {1 , 2 , . . . , k } Nul(K), H = Nul(K) + span ({1 , 2 , . . . , k })
and thus codim (Nul(K)) < . From these comments and Lemma 35.19,
Ran(I + K) is closed and codim (Ran(I + K)) codim (Nul(K)) < .
The assertion that Ran(I + K) = Nul(I + K ) is a consequence of Lemma
35.12 below.
590
BRUCE K. DRIVER
(35.11)
Notice that equations (35.10) and (35.11) are the same since, (using Ran(F ) is
closed)
B = Ran(F ) Ran(F ) = Ran(F ) Nul(F )
so that coker(F ) = B/Ran(F )
= Nul(F ).
Lemma 35.22. The requirement that Ran(F ) is closed in Defintion 35.21 is redundant.
Proof. By restricting F to Nul(F ) , we may assume without loss of generality
that Nul(F ) = {0}. Assuming dim coker(F ) < , there exists a finite dimensional
subspace V B such that B = Ran(F ) V. Since V is finite dimensional, V is
closed and hence B = V V . Let : B V be the orthogonal projection
operator onto V and let G F : H V which is continuous, being the
composition of two bounded transformations. Since G is a linear isomorphism, as
the reader should check, the open mapping theorem implies the inverse operator
G1 : V H is bounded.
Suppose that hn H is a sequence such that limn F (hn ) =: b exists in B.
Then by composing this last equation with , we find that limn G(hn ) = (b)
exists in V . Composing this equation with G1 shows that h := limn hn =
G1 (b) exists in H. Therefore, F (hn ) F (h) Ran(F ), which shows that
Ran(F ) is closed.
Remark 35.23. It is essential that the subspace M Ran(F ) in Lemma 35.22 is
the image of a bounded operator, for it is not true that every finite codimensional
subspace M of a Banach space B is necessarily closed. To see this suppose that B
is a separable infinite dimensional Banach space and let A B be an algebraic
basis for B, which exists by a Zorns lemma argument. Since dim(B) = and B
is complete, A must be uncountable. Indeed, if A were countable we could write
B =
n=1 Bn where Bn are finite dimensional (necessarily closed) subspaces of B.
This shows that B is the countable union of nowhere dense closed subsets which
violates the Baire Category theorem.
By separability of B, there exists a countable subset A0 A such that the closure
of M0 span(A0 ) is equal to B. Choose x0 A \ A0 , and let M span(A \ {x0 }).
0 = M
, while codim(M ) = 1. Clearly this M can
Then M0 M so that B = M
not be closed.
Example 35.24. Suppose that H and B are finite dimensional Hilbert spaces and
F : H B is Fredholm. Then
(35.12)
The formula in Eq. (35.12) may be verified using the rank nullity theorem,
dim(H) = dim Nul(F ) + dim Ran(F ),
and the fact that
dim(B/Ran(F )) = dim(B) dim Ran(F ).
591
index(F ).
Proof. Choose A : B H such that both AF I and F A I are compact.
Then F A I and A F I are compact which implies that F is Fredholm. The
assertion, index(F ) = index(F ), follows directly from Eq. (35.11).
Lemma 35.27. A bounded operator F : H B is Fredholm if and only if there
exists orthogonal decompositions H = H1 H2 and B = B1 B2 such that
(1) H1 and B1 are closed subspaces,
(2) H2 and B2 are finite dimensional subspaces, and
(3) F has the block diagonal form
(35.13)
F =
F11
F21
F12
F22
H1
H2
B1
B2
BRUCE K. DRIVER
592
1
F11 0
For the converse, assume that F is given as in Eq. (35.13). Let A
0
0
then
1
1
I 0
I F11
F12
F12
0 F11
AF =
=
+
,
0 I
0
0
0
I
so that AF I is finite rank. Similarly one shows that F A I is finite rank, which
shows that F is Fredholm.
x1
Now to compute the index of F, notice that
Nul(F ) i
x2
F11 x1 + F12 x2 = 0
F21 x1 + F22 x2 = 0
1
1
F12 x2 and (F21 F11
F12 + F22 )x2 = 0. Let D
which happens i x1 = F11
1
(F22 F21 F11 F12 ) : H2 B2 , then the mapping
1
F12 x2
F11
Nul(F )
x2 Nul(D)
x2
F11
F12
F21
F22
B1
B2
H1
,
H2
E11 E12
E=
E21 E22
and choose kEk suciently small such that kE11 k is suciently small to
guarantee that F11 + E11 is still invertible. (Recall that the
invertible opF11 + E11
erators form an open set.) Thus F + E =
has the block
593
F
0
0
0
H1
H2
B1
,
B2
T11
T21
T12
T22
B1
B2
Y1
.
Y2
0 T12
: B Y is a finite rank operator and hence
T21 T22
RF : H Y is finite rank, index(T R) = index(T ) and index(T F RF ) =
index(T F ).
loss of generality we may assume that T has the
Hence without
T 0
form T =
, (T = T11 ) and hence
0 0
Since R =
TF =
TF
0
0
0
H1
H2
Y1
.
Y2
BRUCE K. DRIVER
594
Therefore,
index(T F ) index(T ) index(F ) = index(TF ) index(T).
A=
n=1
n hn kn ,
R
such
that
kAk
=
|aji |2 < . Then evidently,
ji
P
T (A)k aji hj (ki , k) and
X X
XX
XX
kT (A)kk2 =
|
aji (ki , k)|2
|aji |2 |(ki , k)|2
|aji |2 kkk2 .
j
n=1
n kn hn )T (
n=1
n hn kn ) = T (
n=1
2n kn kn ).
595
X
n hn kn
A=
n=1
and notice that T (A)kn = n hn = Qkn for all n and T (A)k = 0 for all k nulQ =
nulQ Q. That
is T (A) = Q. P
Therefore T is surjective and Eq. (35.14)
Pholds.
i
i
Recall that 1 z = 1
c
z
for
|z|
<
1,
where
c
0
and
i=1 i
i=1 ci < .
For an operator A on H such that A 0 and kAkB(H) 1, the square root of A is
given by
A=I
ci (A I)i .
i=1
X
p
A An =
ci {(An I)i (A I)i }
i=1
and hence
(35.15)
X
p
k A An k
ci k(An I)i (A I)i k.
i=1
For the moment we will make the additional assumption that An I, where
(0, 1). Then 0 I An (1 )I and in particular kI An kB(H) (1 ).
Now suppose that Q, R, S, T are operators on H, then QR ST = (Q S)R +
S(R T ) and hence
kQR ST k kQ SkkRk + kSkkR T k.
X
p
1
1 1
1
kAAn k = kAAn k 0.
ci i(1 )i1 kAn Ak = p
k A An k
2
2
1 (1 )
i=1
BRUCE K. DRIVER
596
(35.17)
lim
An + = A + .
An
54
k A + Ak max | x + x|
x(A)
max | x + x| 0 as
0xkAk
0.
Since the above estimates are uniform in A 0 such that kAk is bounded, it is now
an easy matter to conclude that Eq. (35.17) holds even when = 0.
Now suppose that An A in B(H) and An and A are general operators. Then
An An A A in B(H). So by what we have already proved,
p
|An | An An |A| A A in B(H) as n .
We will now
Pcompute kAk1 for A H H described as in Eq. (35.14). First notice
that A =
n=1 n kn hn and
A A =
n=1
2n kn kn .
P
P
Hence P
A A = n=1 |n |kn kn and hence kAk1 = n=1 |n |. Also notice that
2
kAk2 =
n=1 |n | and kAkop = maxn |n |. Since
kAk21 = {
n=1
|n |}2
n=1
|n |2 = kAk2 ,
(35.18)
54 It is possible to give a more elementary proof here. Indeed, assume further that kAk < 1,
then for
P
i
i
(0, 1 ), k A + Ak
i=1 ci k(A + ) A k. But
i
i
X
X
i k ik
i k
kA
k
kAkik = (kAk + )i kAki ,
k
k
k=1
k=1
p
p
k(A + )i Ai k
597
P
Proof. Let A P
H 1 H be given as in Eq. (35.14) with P
n=1 |n | = kAk1 < .
Then define CA
(h
,
k
)
and
notice
that
|CA|
|n | = kAk1 , which
n
n
n
n=1
shows that C is a contraction on H 1 H. (Using the universal property of H f H
it is easily seen that C is well defined.) Also notice that for M Z+ that
(35.20)
M
X
(em em , A) =
m=1
(35.21)
M
X
X
(em em , n hn kn , ),
n=1 m=1
n (PM hn , kn ),
n=1
(em em , A) =
m=1
n (hn , kn ) = CA.
n=1
{kn }
of
eigenvectors
of
A.
That
is
A
=
n kn
n=1 for the (nulA) which consists
P
P
kn and n 0 for all n. Thus CA = n and kAk1 = n .
Proposition 35.33 (Noncommutative Fatou s Lemma). Let An be a sequence of
positive operators on a Hilbert space H and An A weakly as n , then
trA lim inf trAn .
(35.22)
(35.23)
(Aek , ek ) =
k=1
lim inf
n
k=1
k=1
lim (An ek , ek )
Now suppose that An H 1 H and An A in B(H). Then by Proposition 35.30, |An | |A| in B(H) as well. Hence by Eq. (35.22), kAk1 tr|A|
lim inf n tr|An | lim inf n kAn k1 .
Proposition 35.34. Let X be a Banach space, B : H K X be a bounded
bi-linear form, and kBk sup{|B(h, k)| : khkkkk 1}. Then there is a unique
k) = B(h, k). Moreover
: H 1 K X such that B(h
bounded linear map B
kBkop = kBk.
BRUCE K. DRIVER
598
P
is
Proof. Let A =
kn H 1 K as in Eq. (35.14). Clearly, if B
n=1 n hnP
n=1
|n ||B(hn , kn )|
n=1
op kBk.
The opposite inequality
This shows that B(A)
is well defined and that kBk
follows from the trivial computation:
k)| : kh 1 kk1 = 1} kBk
op .
kBk = sup{|B(h, k)| : khkkkk = 1} = sup{|B(h
Lemma 35.35. Suppose that P B(H) and Q B(K), then P Q : H K
H K is a bounded operator. Moreover, P Q(H 1 K) H 1 K and we have
the norm equalities
kP QkB(HK) = kP kB(H) kQkB(K)
and
kP QkB(H1 K) = kP kB(H) kQkB(K) .
We will give essentially the same proof of kP QkB(HK) = kP kB(H) kQkB(K)
as the proof on p. 299 of Reed and Simon [?]. Let A H K as in Eq. (35.14).
Then
X
n P hn kn
(P I)A =
n=1
and hence
(P I)A{(P I)A} =
Therefore,
n=1
2n P hn P hn .
n=1
2n (P hn , P hn ) kP k2
2
= kP k
kAk21 ,
2n
n=1
n=1
n=1
|n | = kP kkQkkAk,
599
n=1
X
n=1
X
n=1
X
n=1
|n |kPm hn Qm kn hn kn k1