Woo Young Lee Lecture Notes on Operator Theory
Woo Young Lee Lecture Notes on Operator Theory
Woo Young Lee Lecture Notes on Operator Theory
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
CHAPTER 5.<br />
TOEPLITZ THEORY<br />
5.1.3 Toeplitz <strong>Operator</strong>s<br />
Let P be the orthog<strong>on</strong>al projecti<strong>on</strong> of L 2 (T) <strong>on</strong>to H 2 (T). For φ ∈ L ∞ (T), the Toeplitz<br />
operator T φ with symbol φ is defined by<br />
T φ f = P (φf) for f ∈ H 2 .<br />
Remember that {z n : n = 0, 1, 2, · · · } is an orth<strong>on</strong>ormal basis for H 2 . Thus if<br />
φ ∈ L ∞ has the Fourier coefficients<br />
̂φ(n) = 1<br />
2π<br />
∫ 2π<br />
0<br />
φz n dt,<br />
then the matrix (a ij ) for T φ with respect to the basis {z n : n = 0, 1, 2, · · · } is given<br />
by:<br />
a ij = (T φ z j , z i ) = 1 ∫ 2π<br />
φz i−j dt = ̂φ(i − j).<br />
2π<br />
Thus the matrix for T φ is c<strong>on</strong>stant <strong>on</strong> diag<strong>on</strong>als:<br />
⎡<br />
⎤<br />
c 0 c −1 c −2 c −3 · · ·<br />
c 1 c 0 c −1 c −2 · · ·<br />
(a ij ) =<br />
c 2 c 1 c 0 c −1 · · ·<br />
, where c<br />
⎢<br />
⎣<br />
c 3 c 2 c 1 c 0 · · · ⎥<br />
j = ̂φ(j) :<br />
⎦<br />
.<br />
. .. . .. . .. . ..<br />
Such a matrix is called a Toeplitz matrix.<br />
Lemma 5.1.10. Let A ∈ B(H 2 ). The matrix A relative to the orth<strong>on</strong>ormal basis<br />
{z n : n = 0, 1, 2, · · · } is a Toeplitz matrix if and <strong>on</strong>ly if<br />
U ∗ AU = A, where U is the unilateral shift.<br />
Proof. The hypothesis <strong>on</strong> the matrix entries a ij = ⟨Az j , z i ⟩ of A if and <strong>on</strong>ly if<br />
Noting Uz n = z n+1 for n ≥ 0, we get<br />
0<br />
a i+1,j+1 = a ij (i, j = 0, 1, 2, · · · ). (5.1)<br />
(5.1) ⇐⇒ ⟨U ∗ AUz j , z i ⟩ = ⟨AUz j , Uz i ⟩ = ⟨Az j+1 , z i+1 ⟩ = ⟨Az j , z i ⟩, ∀ i, j<br />
⇐⇒ U ∗ AU = A.<br />
Remark. AU = UA ⇔ A is an analytic Toeplitz operator (i.e., A = T φ with φ ∈ H ∞ ).<br />
C<strong>on</strong>sider the mapping ξ : L ∞<br />
→ B(H 2 ) defined by ξ(φ) = T φ . We have:<br />
162