Subnormal operator: Difference between revisions

Revision as of 14:55, 15 June 2017

Latest revision as of 12:09, 22 July 2025

(8 intermediate revisions by 5 users not shown)

Line 2:

==Definition==

Let ''H'' be a Hilbert space. A bounded operator ''A'' on ''H'' is said to be '''subnormal''' if ''A'' has a [[normal extension]]. In other words, ''A'' is subnormal if there exists a Hilbert space ''K'' such that ''H'' can be embedded in ''K'' and there exists a normal operator ''N'' of the form

:<math>N = \begin{bmatrix} A & B\\ 0 & C\end{bmatrix}</math>

Line 13:

=== Normal operators ===

Every normal operator is subnormal by definition, but the converse is not true in general. A simple class of examples can be obtained by weakening the properties of [[unitary operator]]s. A unitary operator is an isometry with [[dense set|dense]] [[range (mathematics)of a function|range]]. Consider now an isometry ''A'' whose range is not necessarily dense. A concrete example of such is the [[unilateral shift]], which is not normal. But ''A'' is subnormal and this can be shown explicitly. Define an operator ''U'' on

:<math>H \oplus H</math>

Line 57:

Given a subnormal operator ''A'', its normal extension ''B'' is not unique. For example, let ''A'' be the unilateral shift, on ''l''²('''N'''). One normal extension is the bilateral shift ''B'' on ''l''²('''Z''') defined by

:<math>B (\cdotsldots, a_{-1}, {\hat a_0}, a_1, \cdotsldots) = (\cdotsldots, {\hat a_{-1}}, a_0, a_1, \cdotsldots),</math>

where ˆ denotes the zero-th position. ''B'' can be expressed in terms of the operator matrix

Line 70:

:<math>

B' (\cdotsldots, a_{-2}, a_{-1}, {\hat a_0}, a_1, a_2, \cdotsldots) = (\cdotsldots, - a_{-2}, {\hat a_{-1}}, a_0, a_1, a_2, \cdotsldots).

</math>

===Minimality===

Thus one is interested in the normal extension that is, in some sense, smallest. More precisely, a normal operator ''B'' acting on a Hilbert space ''K'' is said to be a '''minimal extension''' of a subnormal ''A'' if '' K' '' ⊂ ''K'' is a reducing subspace of ''B'' and ''H'' ⊂ '' K' '', then ''K' '' = ''K''. (A subspace is a [[reducing subspace]] of ''B'' if it is invariant under both ''B'' and ''B*''.)<ref>{{citation|author=John B. Conway|title=The Theory of Subnormal Operators|url=https://books.google.com/books?id=Ho7yBwAAQBAJ&pg=PA38|accessdate=15 June 2017|year=1991|publisher=American Mathematical Soc.|isbn=978-0-8218-1536-6|pages=38–}}</ref>

One can show that if two operators ''B''₁ and ''B''₂ are minimal extensions on ''K''₁ and ''K''₂, respectively, then there exists a unitary operator

Line 80:

:<math>U: K_1 \rightarrow K_2.</math>

Also, the following interwiningintertwining relationship holds:

:<math>U B_1 = B_2 U. \,</math>

Line 87:

:<math>

\sum_{i=0}^n (B_1^*)^i h_i = h_0+ B_1 ^* h_1 + (B_1^*)^2 h_2 + \cdots + (B_1^*)^n h_n \quad \mboxtext{where} \quad h_i \in H.

</math>

Line 99:

:<math>

\left\langle \sum_{i=0}^n (B_1^*)^i h_i, \sum_{j=0}^n (B_1^*)^j h_j\right\rangle

= \sum_{i j} \langle h_i, (B_1)^i (B_1^*)^j h_j\rangle

= \sum_{i j} \langle (B_2)^j h_i, (B_2)^i h_j\rangle

= \left\langle \sum_{i=0}^n (B_2^*)^i h_i, \sum_{j=0}^n (B_2^*)^j h_j\right\rangle ,

</math>

, the operator ''U'' is unitary. Direct computation also shows (the assumption that both ''B''₁ and ''B''₂ are extensions of ''A'' are needed here)

:<math>\mboxtext{if} \quad} g = \sum_{i=0}^n (B_1^*)^i h_i ,</math>

:<math>\mboxtext{then} \quad} U B_1 g = B_2 U g = \sum_{i=0}^n (B_2^*)^i A h_i.</math>

When ''B''₁ and ''B''₂ are not assumed to be minimal, the same calculation shows that above claim holds verbatim with ''U'' being a [[partial isometry]].

Line 118:

{{DEFAULTSORT:Subnormal Operator}}

[[Category:Operator theory]]

[[Category:Linear operators]]