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 4.<br />
WEIGHTED SHIFTS<br />
4.2 k-Hyp<strong>on</strong>ormality<br />
Given an n-tuple T = (T 1 , . . . , T n ) of operators acting <strong>on</strong> H, we let<br />
⎡<br />
⎤<br />
[T1 ∗ , T 1 ] [T2 ∗ , T 1 ] · · · [Tn, ∗ T 1 ]<br />
[T ∗ [T1 ∗ , T 2 ] [T2 ∗ , T 2 ] · · · [Tn, ∗ T 2 ]<br />
, T] ≡ ⎢<br />
⎣<br />
.<br />
.<br />
.<br />
⎥<br />
. ⎦ .<br />
[T1 ∗ , T k ] [T2 ∗ , T k ] · · · [Tn, ∗ T n ]<br />
By analogy with the case n = 1, we shall say that T is (jointly) hyp<strong>on</strong>ormal if<br />
[T ∗ , T] ≥ 0.<br />
An operator T ∈ B(H) is called k-hyp<strong>on</strong>ormal if (1, T, T 2 , · · · , T k ) is jointly hyp<strong>on</strong>ormal,<br />
i.e.,<br />
( ) k<br />
M k (T ) ≡ [T ∗j , T i ]<br />
i,j=1<br />
⎡<br />
[T ∗ , T ] [T ∗2 , T ] · · · [T ∗k ⎤<br />
, T ]<br />
[T ∗ , T 2 ] [T ∗2 , T 2 ] · · · [T ∗k , T 2 ]<br />
= ⎢<br />
⎥<br />
⎣<br />
.<br />
.<br />
.<br />
. ⎦ ≥ 0<br />
[T ∗ , T k ] [T ∗2 , T k ] · · · [T ∗k , T k ]<br />
An applicati<strong>on</strong> of Choleski algorithm for operator matrices shows that M k (T ) ≥ 0 is<br />
equivalent to the positivity of the following matrix<br />
⎡<br />
1 T ∗ · · · T ∗k ⎤<br />
T T ∗ T · · · T ∗k T<br />
⎢<br />
⎥<br />
⎣<br />
.<br />
.<br />
.<br />
. ⎦ .<br />
T k T ∗ T k · · · T ∗k T k<br />
The Bram-Halmos criteri<strong>on</strong> can be then rephrased as saying that<br />
T is subnormal ⇐⇒ T is k-hyp<strong>on</strong>ormal for every k ≥ 1.<br />
Recall ([Ath],[CMX],[CoS]) that T is called weakly k-hyp<strong>on</strong>ormal if<br />
⎧<br />
⎫<br />
⎨ k∑<br />
⎬<br />
LS(T, T 2 , · · · , T k ) := α<br />
⎩ j T j : α = (α 1 , · · · , α k ) ∈ C k ⎭<br />
j=1<br />
c<strong>on</strong>sists entirely of hyp<strong>on</strong>ormal operators, or equivalently, M k (T ) is weakly positive,<br />
i.e.,<br />
⎡ ⎤ ⎡ ⎤<br />
⟨ λ 1 x λ 1 x ⟩<br />
⎢<br />
M k (T ) ⎣<br />
⎥ ⎢<br />
. ⎦ , ⎣<br />
⎥<br />
. ⎦ ≥ 0 ∀ λ 1 , · · · , λ k ∈ C.<br />
λ k x λ k x<br />
109