New York Journal of Mathematics Estelle L. Basor and Torsten Ehrhardt

advertisement
New York Journal of Mathematics
New York J. Math. 5 (1999) 1{16.
On a Class of Toeplitz + Hankel Operators
Estelle L. Basor and Torsten Ehrhardt
Abstract. In this paper we study operators of the form M () = T ()+ H ()
where T () and H () are the Toeplitz and Hankel operators acting on `2 . We
investigate the connection between Fredholmness and invertibility of M ()
for functions 2 L1 (T). Using this relationship we establish necessary and
sucient conditions for the invertibility of M () with piecewise continuous .
Finally, we consider several stability problems related to M (), in particular
the stability of the nite section method.
Contents
1. Introduction
2. Basic properties of M ()
3. Fredholmness and invertibility for PC symbols
4. Stability of the nite section method for PC symbols
5. Stability for approximate identities of PC symbols
References
1.
1
2
6
11
13
16
Introduction
This paper is devoted to the study of operators of the form
(1)
M () = T () + H ():
Here 2 L1 (T) is a Lebesgue measurable and essentially bounded function on the
unit circle T with Fourier coecients . The Toeplitz and Hankel operators are
dened as usual in terms of the innite matrices
; ;
(2)
H () = + +1 1 =0 :
T () = ; 1 =0 The operators are considered as acting on the Hilbert space `2 = `2 (Z+) of one-sided
square-summable sequences.
n
j
k
j
jk
k
jk
Received May 12, 1998.
Mathematics Subject Classication. 47B35 secondary: 47A10, 47A35.
Key words and phrases. Toeplitz operators, Hankel operators, Fredholm Index, Invertibility,
Spectrum, Stability.
The rst author was supported in part by NSF Grant DMS-9623278.
The second author was supported in part by DAAD Grant 213/402/537/5.
1
c 1999 State University
of New York
ISSN 1076-9803/99
2
Estelle L. Basor and Torsten Ehrhardt
The operators M () represent a special case of Toeplitz + Hankel operators of
the form T () + H () with arbitrary functions and in L1 (T). Unfortunately,
it seem hopeless to ask for invertibility in this general setting, even if and are
continuous functions. However, in this paper we will show that the operators M ()
possess certain properties that make it possible to solve invertibility and related
problems for piecewise continuous .
In the next section we establish basic properties of M (). Among other things,
it turns out that in the case of even functions the invertibility of M () is almost
trivial. In the general case we obtain the remarkable result that M () is invertible
if and only if M () is Fredholm and has index zero. As in the Toeplitz case, this is
the key for studying invertibility.
In the third section we establish necessary and sucient conditions for the invertibility of M () in the case of piecewise continuous . These results are based
on Fredholm criteria that can be obtained from the work of Power 6] or Bottcher
and Silbermann 3]. Additional considerations are needed in order to determine the
Fredholm index. We also give a geometric description of the spectrum of M ().
As an application of the invertibility results, we investigate in the fourth section
the stability of the sequence of the nite sections
(3)
M () = T () + H ():
Here the n n Toeplitz and Hankel matrices are dened by
;
1:
; 1
(4)
H () = + +1 ;=0
T () = ; ;=0
The function is assumed to be piecewise continuous. The proof of the stability
criterion relies on results obtained by Roch and Silbermann 7] and Spitkovsky and
Tashbaev 8].
Another application is treated in the last section. There we examine the stability
problem for sequences fM ( )g as ! 1. Here f g are certain sequences of
(smooth) functions related to a given piecewise continuous function . For example,
the function may arise from any approximate identity of . The proofs are based
on results of 5].
The investigations taken up in this paper (in particular the afore-mentioned applications) are motivated by a recent paper 2]. There the asymptotic behavior of
the determinants of Toeplitz + Hankel matrices, det M () for certain piecewise
continuous functions is studied. The interest in the asymptotic behavior of these
determinants came from random matrix theory. For certain matrix ensembles one
needs to nd the asymptotic formula for the determinant of a sum of Wiener{Hopf
and Hankel integral operators, which is the continuous analogue of the problem
considered here. The desired asymptotic formula allows one to compute the distribution function for a discontinuous random variable. The discontinuous case is
particularly important because it corresponds to counting the number of eigenvalues of a random matrix in an interval. For more details on this topic we refer the
reader to the literature given in 2].
n
n
n
n
n
j
k
n
jk
n
j
k
jk
n
2.
Basic properties of M ()
In this section we present basic properties of M () with symbols 2 L1(T).
We rst introduce some notation. Let `2 (Z) be the Hilbert space of two-sided
On a Class of Toeplitz
+ Hankel Operators
3
square-summable sequences. The Laurent operator acting on `2 (Z) with generating
function 2 L1 (T) is dened by the innite matrix
; (5)
L() = ; 1 =;1 :
It is well known that kL()k = kk1 . We also need the projection
0
(6)
P : (x ) 2Z 7! (y ) 2Z y = x0 ifif kk <
0
the associated projection Q = I ; P , and the ip operator
(7)
J : (x ) 2Z 7! (x;1; ) 2Z:
2
Note that JP = QJ , J = I , and that P , Q and J are selfadjoint. Moreover, we
have JL()J = L(e) where e is the function dened by e(t) = (1=t), t 2 T. It is
easy to observe that
(8)
T () = PL()P
H () = PL()JP
when identifying the image of P with the space `2 = `2(Z+). Hence
(9)
M () = PL()(I + J )P:
In the following, it will occasionally be convenient to identify `2 with the Hardy
space H 2 (T) and `2 (Z) with the Lebesgue space L2 (T) and to consider the operators
as acting on these spaces. In this setting, P is the Riesz projection, L() represents
the multiplication operator, and J is the operator that maps a function f (t) into
the function 1=t f (1=t).
As a rst result, we establish an estimate of the norm of M ().
p
Proposition 2.1. Let 2 L1(T). Then kk1 kM ()k 2 kk1.
Proof. Notice that
k(I + J )P k2 = kP (I + J ) (I + J )P k = 2 kP (I + J )P k = 2 kP k = 2:
p
Hence k(I + J )P k = 2. Taking (9) into account, the upper estimate follows.
Now let U denote the multiplication operator f (t) 7! t f (t) on L2 (T). Since
U U; = I and JU = U; J , it is easy to see that
U; M ()U = (U; PU )L()(U; PU ) + (U; PU; )L()J (U; PU ):
Because U; PU ! I and U; PU; ! 0 strongly on L2 (T) as n ! 1, we have
(10)
U; M ()U ! L()
2
strongly on L (T) as n ! 1. Note that U are isometries on L2 (T), and therefore
(10) implies the lower estimate.
The examples of functions (t) = 1 and (t) = t show that the lower and upper
estimates can in general not be improved.
Recall that for Toeplitz and Hankel operators the following relations hold:
(11)
T () = T ()T () + H ()H (e)
(12)
H () = T ()H () + H ()T (e):
Adding both equations, it follows that
M () = T ()M () + H ()M (e)
j
k k
k k
k
jk
k
k
k k
k k
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
4
Estelle L. Basor and Torsten Ehrhardt
and hence
(13)
M () = M ()M () + H ()M (e ; ):
This formula is in some sense the analogue of (11).
Let H 1 (T) be the Hardy space of all functions 2 L1 (T) for which = 0
for each n > 0. Moreover, denote by L1
even(T) the C -algebra of all functions
1
1
e
2 L (T) for which = . If 2 H (T) or 2 L1
even(T), then (13) simplies to
(14)
M () = M ()M ():
This means that there exist two classes of functions for which M () is multiplicative.
If 2 H 1 (T), then M () = T (). The properties of such Toeplitz operators are
well known. The second class, which consists of even functions, is considered next.
Theorem 2.2. The mapping : 7! M () is a -isomorphism from L1even(T)
onto a -subalgebra of L(`2 ).
Proof. Using the fact that JL() = L(e)J and J 2 = I , and equation (9), we can
write
M () = 1=2 P (I + J )L()(I + J )P:
Now it is easy to see that () = (), where denotes the complex conjugate of
. The fact that is multiplicative follows from (14). Because of Proposition 2.1,
the mapping has a trivial kernel. Hence is a -isomorphism.
We remark that this result implies in particular that kM ()k = kk1 for even
. This improvement of Proposition 2.1 can be proved
p directly by invoking the
above identity along with k(I + J )P k = kP (I + J )k = 2.
We see from Theorem 2.2 that the case of operators M () with even symbols is
especially simple. In particular, one can solve the invertibility problem completely.
In what follows, for a Banach algebra B , the notation GB stands for the group
of all invertible elements in this Banach algebra.
Corollary 2.3. Let 2 L1even(T). Then M () is invertible if and only if 2
GL1
even(T). Moreover, if this is true, then the inverse is given by M (;1 ).
In general, the invertibility problem is much more delicate. We will see below
how invertibility can be related to Fredholmness. A necessary Fredholm condition
is given next.
Proposition 2.4. Let 2 L1(T), and suppose that M () is Fredholm. Then
2 GL1 (T).
Proof. The proof is based on standard arguments. If M () is a Fredholm operator,
then there exist a > 0 and a (nite rank) projection K on the kernel of M ()
such that
kM ()f k 2 (T) + kKf k 2(T) kf k 2 (T)
for all f 2 H 2 (T). Putting Pf instead of f , this implies that
kM ()f k 2(T) + kPKPf k 2(T) + k(I ; P )f k 2 (T) kf k 2(T)
for all f 2 L2 (T). Replacing f by U f and observing again that U are isometries
on L2 (T), it follows that
kU; M ()U f k 2(T) + kPKPU f k 2(T) + kU; (I ; P )U f k 2(T) kf k 2(T):
n
H
L
H
H
L
L
L
n
n
n
L
n
n
L
n
n
L
L
On a Class of Toeplitz
+ Hankel Operators
5
Now we take the limit n ! 1. Because U ! 0 weakly, we have PKPU ! 0
strongly. It remains to apply (10) and again the fact that U; PU ! I strongly.
We obtain
kL()f k 2(T) kf k 2(T):
This implies the desired assertion.
The next result is concerned with an assertion about the kernel and cokernel of
M (). It is the analogue of Coburn's result for Toeplitz operators. We begin with
the following observation. Given 2 L1 (T), dene
(15)
K = t 2 T (t) = (t;1 ) = 0 :
This denition of course depends on the choice of representatives for however
the following remarks are independent of that choice. Note that the characteristic
function is real and even. Thus M ( ) is a selfadjoint projection (Theorem 2.2).
Since M ()M ( ) = M ( ) = 0, we obtain that
(16)
im M ( ) ker M ():
If the set K has Lebesgue measure zero, then obviously M ( ) = 0, whereas if K
has a positive Lebesgue measure, then the image of M ( ) is innite dimensional.
The latter fact can be seen by decomposing K into pairwise disjoint and even sets
K1 : : : K with positive Lebesgue measure. Then M ( ) = M ( 1 ) + +
M ( n ), where M ( 1 ) : : : M ( n ) are mutually orthogonal projections which
are all nonzero (by Proposition 2.1). This shows that dim im M ( ) n for all n.
Theorem 2.5. Let 2 L1(T) and let K be as above. Then ker M () = im M ( )
or ker M () = f0g.
Proof. As before we consider the operator M () as being dened on H 2(T). Then
M () and its adjoint can be written in the form:
M () = PL()(I + J )P
M () = P (I + J )L()P:
Suppose that we have functions f+ g+ 2 H 2 (T) such that M ()f+ = 0 and
M ()g+ = 0 with g+ 6= 0. We have to show that f+ 2 im M ( ). Introducing the functions
f (t) = f+ (t) + t;1 f+ (t;1 )
f;(t) = (t)f (t)
g(t) = (t)g+ (t)
g;(t) = g(t) + t;1 g(t;1 )
it follows at once that f; g; 2 H;2 (T), where H;2 (T) denotes the kernel of P . We
obtain from the denition of g; that t;1 g; (t;1 ) = g; (t). Hence g; = 0 by checking
the Fourier coecients. It follows that t;1 g(t;1 ) = ;g(t). On the other hand, the
denition of f says that t;1 f (t;1 ) = f (t). This implies that (fg)(t;1 ) = ;(fg)(t).
Also from the above relations we conclude that fg = fg+ = f;g+ . Because
f; 2 H;2 (T) and g+ 2 H 2 (T), we have f;g+ 2 H;1 (T). Considering again the
Fourier coecients, this shows fg = f; g+ = 0. Since g+ 2 H 2 (T) and g+ 6= 0
the F. and M. Riesz Theorem says that g+ (t) 6= 0 almost everywhere on T, and
thus we obtain f; = 0. Hence f = 0. Because t;1 f (t;1 ) = f (t), we have also
ef = 0. The denition of the set K now implies that (1 ; )f = 0. Noting that
M (1 ; )f+ = 0, we nally arrive at f+ 2 im M ( ).
n
n
n
L
K
n
L
K
K
K
K
K
K
n
K
K
K
K
K
K
K
K
K
K
K
6
Estelle L. Basor and Torsten Ehrhardt
Combining Theorem 2.5 with Proposition 2.4 we obtain the following result.
Corollary 2.6. Let 2 L1(T). If M () is Fredholm, then M () has a trivial
kernel or a trivial cokernel.
We remark that the previous assertion need not be true for Toeplitz + Hankel
operators in general. A counterexample is given by T () + H () with (t) = 1 and
(t) = ;t.
Another conclusion is the next statement, which reduces the invertibility problem
for M () to the Fredholm problem and the index computation.
Corollary 2.7. Let 2 L1(T). Then M () is invertible if and only if M () is
Fredholm and has index zero.
Note that in the case of a continuous function , the operator M () is just T ()
plus a compact operator. This in conjunction with the well known invertibility
result for Toeplitz operators puts us in position to obtain the following simple
result. If is continuous, then M () is invertible if and only if does not vanish
on T and has winding number zero.
Finally, we give a sucient invertibility condition that relies on factorization.
This condition follows directly from equation (14). Suppose that 2 L1 (T) can
be factored in the form = ; 0 with ; 2 GH 1 (T) and 0 2 GL1
even(T). Then
M () is invertible and the inverse equals
(17)
M ;1 () = M (;0 1 )T (;;1 ):
It seems very likely that one can formulate a necessary and sucient invertibility
(or Fredholm) criterion for M () in terms of a factorization of the symbol with
precise conditions on the factors as is well known in the Toeplitz case. However,
we must admit that we have not been able to accomplish such a result.
3.
Fredholmness and invertibility for P C symbols
Let PC stand for the C -algebra of all piecewise continuous functions on the unit
circle, i.e., functions for which the one-sided limits ( 0) := lim !+0 (e )
exist for each 2 T. In this section we want to establish Fredholmness and invertibility criteria for M () with piecewise continuous. With regard to Corollary 2.7,
it is necessary in this connection to determine the Fredholm index of M ().
The -subalgebra of L(`2 ) generated by Toeplitz and Hankel operators with
piecewise continuous symbols has been examined by Power 6]. The description
given there allows us to derive necessary and sucient conditions for Fredholmness
of operators of the form T () + H () with 2 PC . A similar examination
was made also by Bottcher and Silbermann 3, Sect. 4.95{4.102], using a dierent
method.
We recall these results for the special case = . For this purpose we introduce
the set T+ = f t 2 T j Im t > 0 g.
Proposition 3.1. Let 2 PC . Then M () is Fredholm if and only if
b () := ( + 0)( + 0) + ( ; 0)( ; 0)(1 ; )
is nonzero for all 2 0 1] and all 2 T+ and
p
b () := ( + 0) + ( ; 0)(1 ; ) ; i ( + 0) ; ( ; 0) (1 ; )
i
On a Class of Toeplitz
+ Hankel Operators
7
is nonzero for all 2 0 1] and all 2 f;1 1g.
Proof. In the above references, the condition for 2 f;1 1g is stated explicitly.
In addition, for 2 T+ one has the requirement that the matrix B () given by
p
0
1
( + 0) + ( ; 0)(1 ; )
( + 0) ; ( ; 0) (1 ; )
@
A
p
( ; 0) ; ( + 0) (1 ; ) ( + 0) + ( ; 0)(1 ; )
be invertible for each 2 0 1]. But it is easy to see that det B () = b ().
Corollary 3.2. Let 2 PC . Then M () is Fredholm if and only if ( 0) 6= 0
for each 2 T and the following is satised:
1 arg ( ; 0)( ; 0) 2= Z + 1 for each 2 T (18)
+
2
( + 0)( + 0)
2
1 arg ( ; 0) 2= Z + for each 2 f;1 1g:
(19)
2
( + 0)
4
Proof. If 2 T+ is xed and runs from 0 to 1, then the value of b () runs
along the line segment from ( ; 0)( ; 0) to ( + 0)( + 0). Similarly, if
2 f;1 1g is xed and runs from 0 to 1, then the value of b () runs along
the half circle with endpoints ( ; 0) and ( + 0) in positive ( = 1) or negative
( = ;1) direction, respectively.
The preceding corollary settles completely the problem of Fredholmness for M ()
with piecewise continuous . However, we have to carry the considerations a little
bit further in order to obtain information about the index of M ().
Theorem 3.3. Let 2 PC . Then M () is Fredholm if and only if can be written
in the form (t) = t{ exp ((t)) with { 2 Z and 2 PC such that the following is
satised :
(i) jIm () + Im ()j < 1=2 for each 2 T+
(ii) ;3=4 < Im 1 () ;< 1=4 and ;1=4 < Im ;1 () < 3=4.
Here () := (2);1 ( ; 0) ; ( + 0) . Moreover, in this case we have
ind M () = ;{, and M () is invertible if { = 0.
Proof. The \if" part is trivial. Now suppose that M () is Fredholm and hence that
the conditions of Corollary 3.2 are satised. For each point 2 T+ f;1 1g one
can choose a piecewise continuous logarithm of which is dened and satises the
conditions (i) and (ii) on an open neighborhood of f g. Because of compactness it
suces to consider only a nite covering of these neighborhoods. By gluing together
the dierent pieces of logarithms of in a suitable way (by altering them locally
by constants of 2iZ if necessary), it is possible to construct a function 2 PC
with = exp that satises the above conditions with the possible exception of
one point, say = ;1. At this point, the size of the jump can be transformed into
the proper value by replacing (t) by (t) ; { log t with suitable { 2 Z. But this
yields the desired representation.
In order to prove the index formula, we rely on the representation
; just considered
and introduce for each 2 0 1] the functions (t) = t{ exp (t) . It easy to
see that also the operators M ( ) are Fredholm. Because the mapping 2 0 1] 7!
M ( ) 2 L(`2 ) is continuous, the index of M ( ) remains constant for 2 0 1].
8
Estelle L. Basor and Torsten Ehrhardt
Note that 1 = and 0 = t{ . So we have ind M () = ind M (t{ ) = ind T (t{ ) =
;{.
In applications, it is often customary to represent a piecewise continuous function
as a certain product. Let t 2 PC with 2 C be the function
(20)
t (e ) = exp(i ( ; ))
0 < < 2:
This function is continuous and nonvanishing on T n f1g and may have a jump at
1 whose size is characterized by t (1 ; 0)=t (1 + 0) = exp(2i ). Each invertible
function 2 PC with nitely many jump discontinuities can be written in the form
i
(e ) = b(e )
(21)
i
i
Y
R
r
=1
t r (e ( ; r ) )
i where b is a continuous nonvanishing function and 1 : : : 2 (; ].
Theorem 3.4. Suppose that 2 PC has nitely many jumps. Then M () is
invertible if and only if can be written in the form
R
(22)
Y
(e ) = b(e )t + (e )t ; (e ( ; ) ) t r+ (e ( ; r ) )t r; (e ( + r ) )
R
i
i
i
i i r
=1
i where 1 : : : 2 (0 ) are pairwise distinct points, b is a continuous nonvanishing
function with winding number zero, and
(i) jRe ( + + ; )j < 1=2 for each 1 r R
(ii) ;3=4 < Re + < 1=4 and ;1=4 < Re ; < 3=4.
Proof. As stated in Theorem 3.3, M () is invertible if and only if = exp with the above conditions on . These conditions imply that also has nitely
many jumps, and hence one can always decompose = 1 + 2 where 1 (e )
is continuous and 2 (e ) is piecewise linear with respect to . The factor exp 1
represents the function b, and the factor exp 2 can be identied with the product
of the functions t . Observe that t (e ) is the exponential of a piecewise linear
function. The conditions on the 's are just a restatement of the conditions on the
's.
R
r
r
i
i
i
Now we proceed with describing the essential spectrum of M (), i.e., the set of
all z 2 C for which M () ; zI is not Fredholm. We introduce the following sets.
Let
n
p
o
C1(a b) = z 2 C z = a + (b ; a) i (1 ; ) 2 0 1]
n
L(a b) = z 2 C z = a + (b ; a) 2 0 1]
o
be the half circles and the line segment, respectively, with endpoints a and b.
Obviously, C1 (a a) = L(a a) = fag as a special case. We also dene
n
o
H(a1 a2 b1 b2 ) = z 2 C (a1 ;z )(a2;z )(1;)+(b1;z )(b2;z ) = 0 2 0 1] :
Note that H(a1 a2 b1 b2 ) is symmetric in a1 and a2 as well as in b1 and b2 . In
case of coinciding parameters we simply have H(a1 c b1 c) = L(a1 b1 ) fcg. In
On a Class of Toeplitz
+ Hankel Operators
9
general H is more complicated. If one parameterizes z = x + iy (x y 2 R), then
H(a1 a2 b1 b2 ) is a certain subset of the following cubic curve in x and y:
Im A(x + iy)B (x + iy)
(23)
= 0:
Here A(z ) = (a1 ; z )(a2 ; z ) and B (z ) = (b1 ; z )(b2 ; z ). The entire cubic curve
is obtained by taking in R f1g instead of 0 1]. The reader can easily verify
that the \geometric form" of H may be quite dierent.
Corollary 3.5. Let 2 PC . Then the essential spectrum of M () is equal to
H ( ; 0) ( ; 0) ( + 0) ( + 0) C ( ; 0) ( + 0) :
2T+
2f;1 1g
Proof. This follows from Proposition 3.1. The essential spectrum consists exactly
of the points z 2 C for which there exist a 2 T+ f;1 1g and 2 0 1] such
that b ( ; z ) = 0.
We remark in this connection that the essential range of 2 PC , i.e., the
spectrum of as an element of L1 (T), is just f ( 0) j 2 T g. Hence the
essential range of is always contained in the essential spectrum of M (). In
general this inclusion is proper.
In what follows we give a geometric description of the spectrum of M (). We
will assume for simplicity that has only nitely many jumps and is piecewise
smooth. The general case could be treated with the same ideas, but would require
more detailed explanations.
First of all, the values of (t) as t runs along T (in positive orientation) describe a
certain curve. This curve may be closed if is continuous, or may consist of several
components if has jumps (see Figure 1). Moreover, this curve has a natural
orientation induced from t 2 T.
Now we ll in certain additional pieces as follows. If the function is discontinuous at 2 f;1 1g, then we add the half circle C (( ; 0) ( + 0)). If is
discontinuous at 2 T n f;1 1g, but is continuous at , then we ll in the line
segment L(( ; 0) ( +0)). Finally, if has jumps at both 2 Tnf;1 1g, then
we add H(( ; 0) ( ; 0) ( + 0) ( + 0)). These new pieces constitute themselves oriented curves, where the orientation is now induced from the parameter
2 0 1] that occurs in the denition of these sets.
Gluing together these pieces with the former curve we obtain an oriented curve
# . By Corollary 3.5, the image of # is exactly sp ess M (). Remark again that
the \geometric form" of this curve may be quite dierent. For instance, it may
consist of several closed oriented curves (see Figure 2).
Because # possesses an orientation, it is possible to associate to each point
z 2= im # a winding number wind (# z ). If # consists of several components,
this is just the sum of the usual winding numbers with respect to these components.
These considerations now allow us to describe the spectrum of M ():
(24)
n
o
sp M () = im # z 2= im # wind (# z ) 6= 0 :
The proof can be carried out by continuously deforming . We leave the details to
the reader.
10
Estelle L. Basor and Torsten Ehrhardt
1+
-1-
0.5
i-
i+
-0.5
-i +
-i-
-0.5
-1 +
1-
Figure 1.
1
0.5
Image of a piecewise continuous function with four jumps.
0.5
-0.5
0.5
1
-0.5
Essential spectrum of M () with corresponding to
the function in Figure 1.
Figure 2.
The gures above give an example of the image of a piecewise continuous curve
and its (essential) spectrum. The example comes from a product of four of the
standard t functions, with jumps at 1 ;1 i and ;i and values of equal to
1=3 ;3=4 5=12 and 1=3 respectively and a normalizing factor of ;e; 24 for picture purposes only. In this example, the spectrum consists of the area bounded by
the curve in Figure 2. As one can see the spectrum as well as the essential spectrum
of this operator is not connected, contrasted to the Toeplitz case.
i=
On a Class of Toeplitz
+ Hankel Operators
11
Stability of the nite section method for P C symbols
4.
If one considers the nite truncations of the innite matrix M (), one obtains
the sequence fM ()g1=1 of n n matrices, the so-called nite sections. This
sequence is said to be stable if the matrices are invertible for suciently large n
and if their inverses (considered as operators in L(`2 )) are uniformly bounded.
The problem of stability occurs naturally when examining, for instance, the
question whether the inverses of M () converge strongly on `2 to the inverse of
M (). This question is obviously of interest in numerical analysis, but it also
emerges in the investigation of the asymptotic behavior of the determinants of
M () (see 2]).
Employing Banach algebra methods, necessary and sucient conditions for the
stability of sequences of the form fT () + H ()g1=1 with 2 PC were established by Roch and Silbermann in 7, Theorem 5.3]. These conditions say that the
sequence is stable if and only if the operators T () + H () and T (e) are invertible
and if certain operators A (associated to each point 2 T+ f;1 1g) are invertible. Spitkovsky and Tashbaev pointed out that the invertibility of the operators
A can be reduced to the factorization of certain 2 2 matrix functions, and above
all they solved the corresponding factorization problem 8].
Invertibility criteria for Toeplitz operators with piecewise continuous symbols are
well known 3]. But the invertibility of Toeplitz + Hankel operators in the general
case remains still unsolved.
We proceed with recalling the stability results 7, 8] for the special case = .
Proposition 4.1. Let 2 PC . Then the sequence fM ()g1=1 is stable if and
only if the operators M () and T (e) are invertible and the following conditions are
satised :
(i) j ()j < 1=2, j ()j < 1=2 and j () + ()j < 1=2 for each 2 T+
(ii) ;1=2 < 1 () < 1=4 and ;1=4 < ;1 () < 1=2.
Here () := (2);1 arg (( ; 0)=( + 0)) where the argument is chosen in
(; ].
Proof. As said before, one has to analyze the invertibility of certain operators A
with 2 T+ f;1 1g. We refer to 8, Theorem 4] and to the proof given there. It
is stated that the operators A are invertible if and only if ( 0) 6= 0 for each
2 T (which is already a consequence of the invertibility of M () or of T (e)) and
if the following conditions A) and B) are fullled:
A) For 2 T+, the values ( ) = ( ; 0)=( +0) and ( ) = ( ; 0)=( +0)
are not negative, and if 1 and 2 are the zeros of the quadratic polynomial
0)( ; 0) + 1 + ( ; 0)( ; 0) 2 ; (( ;
+ 0)( + 0)
( + 0)( + 0)
then 1 and 2 are not negative, and
0 = arg ( ) + arg ( ) ; arg 1 ; arg 2 where the arguments are chosen in (; ). However, the zeros of the quadratic
polynomial are just 1 = 1 and 2 = ( )( ). Now it is easily seen that this is
equivalent to (i).
n
n
n
n
n
n
n
n
n
12
Estelle L. Basor and Torsten Ehrhardt
B) For 2 f;1 1g, zero does not lie in the closed half disk that has the boundary
L ( ; 0) ( + 0) C ( ; 0) ( + 0) :
Again this is equivalent to (ii).
Note that the preceding result completely solves the stability problem for sequences fM ()g1=1 with 2 PC . We now want to point out what stability
means for functions represented in the form (21).
Theorem 4.2. Suppose that 2 PC has nitely many jumps. Then fM ()g1=1
is stable if and only if can be written in the form
n
n
n
(25)
n
Y
(e ) = b(e )t + (e )t ; (e ( ; ) ) t r+ (e ( ; r ) )t r; (e ( + r ) )
R
i
i
i
i i r
=1
i where 1 : : : 2 (0 ) are pairwise distinct points, b is a continuous nonvanishing
function with winding number zero, and
(i) jRe + j < 1=2, jRe ; j < 1=2 and jRe ( + + ; )j < 1=2 for each 1 r R
(ii) ;1=2 < Re + < 1=4 and ;1=4 < Re ; < 1=2.
R
r
r
r
r
Proof. First of all note that T (e) is invertible if and only if so is T (). This, in
turn, is equivalent to the condition that can be written in the form (25) such
that the moduli of the real parts of the 's are less than 1=2 and that the winding
number of b is zero 3].
Now assume that M () is stable. It is not too hard to see that the conditions
(i) and (ii) of Proposition 4.1 imply that can be represented in the form (25)
by choosing values of the 's corresponding to the appropriate (): The winding
number condition on b follows from the invertibility of M () or T (). Note that
the reverse implication is trivial.
n
Comparing the preceding theorem with Theorem 3.4, we can draw the immediate
conclusion that | in contrast to the (scalar) Toeplitz case | the invertibility of
M () does in general not guarantee the stability of the sequence fM ()g1=1 of
nite sections.
Another point is that we had to use in the proof only the invertibility of either
M () or T (). This has its explanation in the following. \If 2 PC is invertible
and satises conditions (i) and (ii) of Proposition 4.1, then both M () and T ()
are Fredholm and ind M () = ind T (). In particular, under these assumptions,
M () is invertible if and only if so is T ()." We omit a proof of these assertions,
which can be carried out by similar arguments as in the proof of Theorem 3.3.
In contrast, it is possible that both M () and T () are invertible but conditions
(i) and (ii) of Proposition 4.1 are not fullled (hence fM ()g1=1 is not stable).
We give two concrete examples of functions and note that representation (21) is
not unique. The rst example is
n
n
(e ) = t + (e )t ; (e ( ; ))
= ;t +;1 (e )t ; +1 (e ( ; ) )
i
(26)
i
i
i i n
n
On a Class of Toeplitz
+ Hankel Operators
13
where Re + 2 (1=4 1=2) and Re ; 2 (;1=2 ;1=4). The second example is
(e ) = t 1+ (e ( ; 1 ) )t 1; (e ( + 1 ) )t 2+ (e ( ; 2 ) )t 2; (e ( + 2 ) )
(27)
= e ( 2 ; 1 ) t 1+;1 (e ( ; 1) )t 1; (e ( + 1) )t 2+ +1 (e ( ; 2 ) )t 2; (e ( + 2 ) )
where 1 2 2 (0 ), 1 6= 2 , Re 1+ 2 (0 1=2), Re 1; 2 (0 1=2), Re (1+ + 1; ) 2
(1=2 1), Re 2+ 2 (;1=2 0), Re 2; 2 (;1=2 0) and Re (2+ + 2; ) 2 (;1 ;1=2).
In both examples, the rst and second representation guarantee the invertibility of
T () and M (), respectively.
i
i i i i i i i i i Stability for approximate identities of P C symbols
5.
Let 0 1) be an unbounded index set. Given a (generalized) sequence
f g 2 of functions in L1 (T), one can consider the sequence fM ( )g 2 of
operators. This sequence is said to be stable if
(i) There exists a 0 2 0 1) such that the operators M ( ) are invertible for
each 2 0 1) \ (ii) sup 2 0 1)\ kM ( );1 kL( 2) is nite.
It is, of course, hopeless to examine the stability problem for arbitrary such sequences. We will therefore restrict ourselves to certain classes that will be described
below.
Let K be a function in L1 (R) which satises
`
Z1
(28)
;1
K (x) dx = 1:
For 2 0 1) we introduce the linear bounded mappings k : L1 (T) ! L1(T)
dened by
(k )(e ) =
(29)
ix
Z1
;1
(e ( ; ) )K (y) dy:
i x
y
The mapping k is called the approximate identity generated by K . A typical
example of an approximate identity is the harmonic extension h dened by
(30)
1
X
h :
n
=;1
1
X
j je e 7!
inx
=;1
n
n
inx
n
0 < 1:
n
The use of the index instead of should not cause
; confusion.
The relationship
is constituted through h = k with K (x) = 1= (1 + x2 ) and = ;1= log .
Other examples of approximate identities are the Fejer-Cesaro means and the moving average 1]. We remark that stability of Toeplitz operators fT (k )g for quite
general types of approximating identities was rst examined by Bottcher and Silbermann 4] (see also 3, Chap. 3]).
For a given approximate identity k generated by K we dene a function f by
ix Z
(31)
f 11 +
=
K (y) dy x 2 R:
; ix
;1
Note that f 2 PC;1 , where PC;1 denotes the set of functions in PC which are
continuous on T n f;1g. In particular f (;1 + 0) = 0 and f (;1 ; 0) = 1. Remark
that in most cases of interest (e.g., if K (x) 0), the spectrum of f in L1 (T) is
just 0 1].
x
14
Estelle L. Basor and Torsten Ehrhardt
For an invertible function 2 PC;1 , the Cauchy index is dened as follows:
; (32)
ind = 21 arg e =;
where arg is chosen in PC;1 . Given a function 2 PC and 2 T we introduce
for a xed approximate identity with corresponding function f , the function
(33)
(e ) = ( + 0)f (e ) + ( ; 0)(1 ; f (e )):
Note that 2 PC;1 and (;1 0) = ( 0).
It is the goal of what follows to investigate sequences fM (k )g 2 with 2
PC . In 5], various sequences of convolution type operators with such generating
functions have been examined in view of stability, including sequences of the form
fT (k ) + H (k )g 2 . The stability criterion established there says that the
latter sequence is stable if and only if certain associated operators are invertible.
Unfortunately, these invertibility problems could not be handled in general. We
will indicate next how the special case = can be treated.
Theorem 5.1. Let k be an approximate identity and let 2 PC . Then the
sequence fM (k )g 2 is stable if and only if M () is invertible, for each 2 T
the functions 2 PC;1 are invertible and the following is satised :
(i) jind + ind j < 1=2 for each 2 T+
(ii) ;1=4 < ind 1 < 3=4 and ;3=4 < ind ;1 < 1=4.
Proof. It can be derived from 5, Corollary 3.2] that fM (k )g 2 is stable if and
only if the operators M (), A = T ( ) + H ( ) for 2 f;1 1g and
L( )P + Q L( )Q A =
L(f )P L(f )Q + P
for 2 T+ are invertible. As to the operator A , it is easily seen that
:
;P ;
P
Q
A = I0 I0 + LL((f )) ;
Q
Hence the invertibility of A is equivalent to the invertibility of the singular integral operator
L( ) ; P ;
f
I + P Q
L(f ) ; Q = PL( ) + QL( ):
This, in turn, is equivalent to saying that the functions and are invertible in
;1
;1
PC;1 and that jind ( f )j < 1=2. Now observe that ind ( f ) = ind ;
ind f = ind + ind .
If = 1, then A1 = M (1 ). The invertibility can be analyzed by Theorem 3.3.
It follows that the function with 1 = exp appearing there is also in PC;1 .
Hence Im = arg 1 up to a constant and by denition Im ;1 () = ind 1 .
If = ;1, then A;1 = WM (b;1 )W where b;1 (t) ;= ;1 (;t),; t 2 T, is the
\rotated" function and W 2 L(`2 ) is the operator W : x 0 7! (;1) x 0 .
So we are left with the invertibility of M (b;1 ). We can argue as above, and it follows
similarly that Im = arg b;1 up to a constant. Hence Im 1 () = ind ;1 .
i
i
i
i
k
k
k
k
k
On a Class of Toeplitz
+ Hankel Operators
15
The previous result answers the question about stability for the case under consideration completely, and in general no further essential simplications are possible.
In the special case where the spectrum of f is just 0 1], the situation is dierent.
Corollary 5.2. Let k be an approximate identity with sp 1(T)f = 0 1] and let
2 PC . Then the sequence fM (k )g 2 is stable if and only if M () is invertible
and the conditions (i) and (ii) of Proposition 4.1 are satised.
Proof. We remark that is invertible if and only if ( 0) 6= 0 and j ()j < 1=2.
Moreover, () = ;ind by denition.
The next result discusses the stability condition in terms of the product representation. The proof can be carried out in the same way as the proof of Theorem 4.2.
Corollary 5.3. Let k be an approximate identity with sp 1(T)f = 0 1]. Assume
that 2 PC has nitely many jumps. Then fM (k )g 2 is stable if and only if
can be written in the form and with the conditions stated in Theorem 4.2.
We can conclude that the invertibility of M () does in general not guarantee the
stability of fM (k )g 2 . Again this contrasts the Toeplitz case 5, Sect. 3.3].
Now we turn our attention to another type of sequences. They are obtained
by considering exponentials of approximate identities of piecewise continuous functions.
Theorem 5.4. Let k be an approximate identity and let 2 PC . Then the
sequence fM (exp(k ))g 2 is stable if and only if fullls the conditions (i) and
(ii) stated in Theorem 3.3.
Proof. This can be veried by combining Theorem 2.2 and Proposition 3.4 of 5]
(see also 5, Corollary 3.5] for a related situation). One arrives at similar invertibility
conditions as stated in Theorem 5.1 above. The only dierence is that one has to
replace by exp and by exp . The argumentation is analogous. Finally
note that exp 2 PC;1 and ind exp = Im ;1 ( ) = ;Im (). Moreover,
the conditions (i) and (ii) of Theorem 3.3 ensure the invertibility of M (exp ).
This theorem (in conjunction with Theorem 3.3) has an interesting consequence.
Suppose that M () with 2 PC is invertible. Then one can always nd a 2 PC
with = exp such that the sequence fM (exp(k ))g 2 is stable. One just has
to choose with the conditions stated in Theorem 3.3. Observe that if (the
logarithm of ) is not chosen \properly", then the sequence fails to be stable. The
constructed sequence is a so-called approximating sequence for the operator M ()
in the sense that M (exp(k )) ! M () strongly on `2 as ! 1.
A special case of the previous theorem, which is of interest in applications 2],
is considered next. Let t with 0 < 1 and 2 C be the (smooth) function
dened by
;
;
(34)
t (e ) = 1 ; e; ; 1 ; e :
Corollary 5.5. The sequence fM ( )g0 1 dened by
L
L
i
(35)
(e ) = b(e )t
i
i
+ i
(e )t
i
<
; (ei(;) )
Y
R
r
=1
i
t
r+ (
e ( ; r ) )t
i e ( + r))
r; (
i 16
Estelle L. Basor and Torsten Ehrhardt
where 1 : : : 2 (0 ) are pairwise distinct points and b is a continuous nonvanishing function with winding number zero, is stable (as ! 1 ; 0) if and only if
the parameters satisfy the conditions (i) and (ii) of Theorem 3.4.
Proof. The functions t are the exponentials of the harmonic extensions h of
the piecewise linear functions log t (e ) = i ( ; ), 0 < < 2. Hence the
assertion can be deduced for functions (35) with b replaced by b := exp (h log b).
Because b ! b in the norm of L1 (T), the actual and the modied sequence of
operators dier only by a sequence tending to zero in the operator norm.
R
i
References
1] N. I. Achieser, Vorlesungen uber Approximationstheorie, Akademie Verlag, Berlin, 1967,
MR 36 #5567.
2] E. L. Basor, T. Ehrhardt, Asymptotic formulas for determinants of a sum of nite Toeplitz
and Hankel matrices , to appear.
3] A. Bottcher, B. Silbermann, Analysis of Toeplitz Operators, Springer Verlag, Berlin, 1990,
MR 92e:47001, Zbl 732.47029.
4] A. Bottcher, B. Silbermann, Local spectra of approximate identities, cluster sets, and Toeplitz
operators , Wiss. Z. Tech. Hochsch. Karl-Marx-Stadt, 28 (1986), 175{180, MR 88e:47049,
Zbl 605.47025.
5] T. Ehrhardt, B. Silbermann, Approximate identities and stability of discrete convolution
operators with ip , to appear in Operator Theory: Advances and Applications.
6] S. C. Power, C -algebras generated by Hankel operators and Toeplitz operators ,
J. Funct. Anal. 31 (1979), 52{68, MR 80d:47043, Zbl 401.46036.
7] S. Roch, B. Silbermann, A symbol calculus for nite sections of singular integral operators with shift and piecewise continuous coecients , J. Funct. Anal. 78 (1988), 365{389,
MR 89d:47117, Zbl 644.45002.
8] I. M. Spitkovsky, A. M. Tashbaev, Factorization of certain piecewise constant matrix functions and its applications , Math. Nachr. 151 (1991), 241{261, MR 92i:47061, Zbl 771.47007.
Department of Mathematics, California Polytechnic State University, San Luis
Obispo, CA 93407
ebasor@calpoly.edu
Fakultat fur Mathematik, Technische Universitat Chemnitz, 09107 Chemnitz, Germany
tehrhard@mathematik.tu-chemnitz.de
This paper is available via http://nyjm.albany.edu:8000/j/1999/5-1.html.
Download