Toeplitz operator

From HandWiki

In operator theory, a Toeplitz operator is the compression of a multiplication operator on the circle to the Hardy space.

Details

Let S1 be the circle, with the standard Lebesgue measure, and L2(S1) be the Hilbert space of square-integrable functions. A bounded measurable function g on S1 defines a multiplication operator Mg on L2(S1). Let P be the projection from L2(S1) onto the Hardy space H2. The Toeplitz operator with symbol g is defined by

Tg=PMg|H2,

where " | " means restriction.

A bounded operator on H2 is Toeplitz if and only if its matrix representation, in the basis {zn, n ≥ 0}, has constant diagonals.

Theorems

  • Theorem: If g is continuous, then Tgλ is Fredholm if and only if λ is not in the set g(S1). If it is Fredholm, its index is minus the winding number of the curve traced out by g with respect to the origin.

For a proof, see (Douglas 1972). He attributes the theorem to Mark Krein, Harold Widom, and Allen Devinatz. This can be thought of as an important special case of the Atiyah-Singer index theorem.

  • Axler-Chang-Sarason Theorem: The operator TfTgTfg is compact if and only if H[f¯]H[g]H+C0(S1).

Here, H denotes the closed subalgebra of L(S1) of analytic functions (functions with vanishing negative Fourier coefficients), H[f] is the closed subalgebra of L(S1) generated by f and H, and C0(S1) is the space (as an algebraic set) of continuous functions on the circle. See (S.Axler, S-Y. Chang, D. Sarason 1978).

See also

References