Revision as of 20:24, 3 February 2012 edit94.197.100.236 (talk) →Contractions on a Hilbert space: expand definition, cite source← Previous edit | Revision as of 20:27, 3 February 2012 edit undo94.197.100.236 (talk) Further reading: MlakNext edit → | ||
Line 270: | Line 270: | ||
title=Harmonic analysis of operators on Hilbert space|edition=Second|series= Universitext|publisher= Springer|year= 2010|id= ISBN 978-1-4419-6093-1}} | title=Harmonic analysis of operators on Hilbert space|edition=Second|series= Universitext|publisher= Springer|year= 2010|id= ISBN 978-1-4419-6093-1}} | ||
*{{citation|last=Riesz|first= F.|last2=Sz.-Nagy|first2= B.|title=Functional analysis. Reprint of the 1955 original|series= Dover Books on Advanced Mathematics|publisher=Dover|year= 1995|pages=466-472|id= ISBN 0-486-66289-6}} | *{{citation|last=Riesz|first= F.|last2=Sz.-Nagy|first2= B.|title=Functional analysis. Reprint of the 1955 original|series= Dover Books on Advanced Mathematics|publisher=Dover|year= 1995|pages=466-472|id= ISBN 0-486-66289-6}} | ||
==Further reading== | |||
* {{citation | title=Unitary dilations of contraction operators | volume=46 | series=Rozprawy matematyczne | first=Włodzimierz | last=Mlak | publisher=Panstwowe Wydawnictwo Naukowe | year=1965 }} | |||
] | ] |
Revision as of 20:27, 3 February 2012
In operator theory, a bounded operator T: X → Y between normed vector spaces X and Y is said to be a contraction if its operator norm ||T|| ≤ 1. Every bounded operator becomes a contraction after suitable scaling. The analysis of contractions provides insight into the structure of operators, or a family of operators. The theory of contractions on Hilbert space is largely due to Béla Szőkefalvi-Nagy and Ciprian Foias.
Contractions on a Hilbert space
Consider the special case where T is a contraction acting on a Hilbert space . We define some basic objects associated with T.
The defect operators of T are the operators DT = (1 − T*T) and DT* = (1 − TT*). The square root is the positive semidefinite one given by the spectral theorem. The defect spaces and are the ranges Ran(DT) and Ran(DT*) respectively. The positive operator DT induces an inner product on . The inner product space can be identified naturally with Ran(DT). A similar statement holds for .
The defect indices of T are the pair
The defect operators and the defect indices are a measure of the non-unitarity of T.
A contraction T on a Hilbert space can be canonically decomposed into an orthogonal direct sum
where U is a unitary operator and Γ is completely non-unitary in the sense that it has no reducing subspaces on which its restriction is unitary: that is, there is no non-trivial subspace M invariant under Γ and Γ* such that the restriction Γ|M is unitary. If U = 0, T is said to be a completely non-unitary contraction. A special case of this decomposition is the Wold decomposition for an isometry, where Γ is a proper isometry.
Contractions on Hilbert spaces can be viewed as the operator analogs of cos θ and are called operator angles in some contexts. The explicit description of contractions leads to (operator-)parametrizations of positive and unitary matrices.
Dilation theorem for contractions
Sz.-Nagy's dilation theorem, proved in 1953, states that for any contraction T on a Hilbert space H, there is a unitary operator U on a larger Hilbert space K ⊇ H such that if P is the orthogonal projection of K onto H then T =P U P for all n > 0. The operator U is called a dilation of T and is uniquely determined if U is mininal, i.e. K is the smallest closed subspace invariant under U and U* containing H.
In fact define
the orthogonal direct sum of countably many copies of H.
Let V be the isometry on defined by
Let
Define a unitary W on by
W is then a unitary dilation of T with H considered as the first component of .
The minimal dilation U is obtained by taking the restriction of W to the closed subspace generated by powers of W applied to H.
Dilation theorem for contraction semigroups
There is an alternative proof of Sz.-Nagy's dilation theorem, which allows significant generalisations.
Let G be a group, U(g) a unitary representation of G on a Hilbert space K and P an orthogonal projection onto a closed subspace H = PK of K.
The operator-valued function
with values in operators on K satisfies the positive-definiteness condition
where
Moreover
Conversely, by a generalisation of the Gelfand-Naimark construction, every operator-valued positive-definite function arises in this way.
In fact let be the space of functions on G of finite support with values in H with inner product
G acts unitarily on by
Moreover H can be indentified with a closed subspace of using the isometric embedding sending v in H to fv with
If P is the projection of onto H, then
using the above identification.
When G is a separable topological group, Φ is continuous in the strong (or weak) operator topology if and only if U is.
In this case functions supported on a countable dense subgroup of G are dense in , so that is separable.
When G = Z any contraction operator T defines such a function Φ through
for n > 0. The above construction then yields a minimal unitary dilation.
The same method can be applied to prove a second dilation theorem of Sz._Nagy for a one-parameter strongly continuous contraction semigroup T(t) (t ≥ 0) on a Hilbert space H. Cooper (1947) had previosuly proved the result for one-parameter semigroups of isometries,
The theorem states that there is a larger Hilbert space K containing H and a unitary representation U(t) of R such that
and the translates U(t)H generate K.
In fact T(t) defines a continuous operator-valued positove-definite function Φ on R through
for t > 0. Φ is positive-definite on cyclic subgroups of R, by the argument for Z, and hence on R itself by continuity.
The previous construction yields a minimal unitary representation U(t) and projection P.
The Hille-Yosida theorem assigns a closed unbounded operator A to every contractive one-parameter semigroup T'(t) through
where the domain on A consists of all ξ for which this limit exists.
A is called the generator of the semigroup and satisfies
on its domain. When A is a self-adjoint operator
in the sense of the spectral theorem and this notation is used more generally in semigroup theory.
The cogenerator of the semigroup is the contraction defined by
A can be recovered from T using the formula
In particular a dilation of T on K ⊃ H immediately gives a dilation of the semigroup.
Functional calculus
Let T be totally non-unitary contraction on H. Then the minimal unitary dilation U of T on K ⊃ H is unitarily equivalent to a direct sum of copies the bilateral shift operator, i.e. multiplication by z on L(S).
If P is the orthogonal projection onto H then for f in L = L(S) it follows that the operator f(T) can be defined by
Let H be the space of bounded holomorphic functions on the unit disk D. Any such function has boundary values in L and is uniquely determined by these, so that there is an embedding H ⊂ L.
For f in H, f(T) can be defined without reference to the unitary dilation.
In fact if
for |z| < 1, then for r < 1
is holomorphic on |z| < 1/r.
In that case fr(T) is defined by the holomorphic functional calculus and f(T) can be defined by
The map sending f to f(T) defines an algebra homomorphism of H into bounded operators on H. Moreover if
then
This map has the following continuity property: if a uniformly bounded sequence fn tends almost everywhere to f, then fn(T) tends to f(T) in the strong operator topology.
For t ≥ 0, let et be the inner function
If T is the cogenerator of a one-parameter semigroup of completely non-unitary contractions T(t), then
and
C0 contractions
A completely non-unitary contraction T is said to belong to the class C0 if and only if f(T) = 0 for some non-zero f in H. In this case the set of such f forms an ideal in H. It has the form φ ⋅ H where g is an inner function, i.e. such that |φ| = 1 on S: φ is uniquely determined up to multiplication by a complex number of modulus 1 and is called the minimal function of T. It has properties analogous to the minimal polynomial of a matrix.
The minimal function φ admits a canonical factorization
where |c|=1, B(z) is a Blaschke product
with
and P(z) is holomorphic with non-negative real part in D. By the Herglotz representation theorem,
for some non-negative finite measure μ on the circle: in this case, if non-zero, μ must be singular with respect to Lebesgue measure. In the above decomposition of φ, either of the two factors can be absent.
The minimal function φ determines the spectrum of T. Within the unit disk, the spectral values are the zeros of φ. There are at most countably many such λi, all eigenvalues of T, the zeros of B(z). A point of the unit circle does not lie in the spectrum of T if and only if φ has a holomorphic continuation to a neighbourhood of that point.
φ reduces to a Blaschke product exactly when H equals the closure of the direct sum (not necessarily orthogonal) of the generalized eigenspaces
Quasi-similarity
Two contractions T1 and T2 are said to be quasi-similar when there are bounded operators A, B with trivial kernel and dense range such that
The following properties of a contraction T are preserved under quasi-similarlity:
- being unitary
- being completely non-unitary
- being in the class C0
- being multiplicity free, i.e. having a commutative commutant
Two quasi-similar C0 contractions have the same minimal function and hence the same spectrum.
The main classification theorem for C0 contractions states that two multiplicity free C0 contractions are quasi-similar if and only if they have the same minimal function (up to a scalar multiple).
A model for multiplicity free C0 contractions with minimal function φ is given by taking
where H is the Hardy space of the circle and letting T be multiplication by z.
Examples.
- If a contraction T if quasi-similar to an operator S with
with the λi's distinct, of modulus less than 1, such that
and (ei) is an orthonormal basis, then S, and hence T, is C0 and multiplicity free. Hence H is the closure of direct sum of the λi-eigenspaces of T, each having multiplicity one. This can also be seen directly using the definition of quasi-similarity.
- The results above can be applied equally well to one-parameter semigroups, since, from the functional calculus, two semigroups are quasi-similar if and only if their cogenerators are quasi-similar.
See also
Notes
- Cooper, James Bell (1987), Saks spaces and applications to functional analysis, North-Holland mathematics studies : a series of tutorials in pure and applied mathematics (2nd ed.), Elsevier, p. 341, ISBN 0444702199
- Sz.-Nagy et al. 2010, p. 10-14
- Sz.-Nagy et al. 2010, p. 24-28
- Sz.-Nagy et al. 2010, p. 28-30
- Sz.-Nagy et al. 2010, p. 143, 147
- Sz.-Nagy et al. 2010, p. 87-88
- Sz.-Nagy et al. 2010, p. 138
- Sz.-Nagy et al. 2010, p. 395-440
- Sz.-Nagy et al. 2010, p. 126
References
- Bercovici, H. (1988), Operator theory and arithmetic in H, Mathematical Surveys and Monographs, vol. 26, American Mathematical Society, ISBN 0-8218-1528-8
- Cooper, J. L. B. (1947), "One-parameter semigroups of isometric operators in Hilbert space", Ann. of Math., 48: 827–842
- Gamelin, T. W. (1969), Uniform algebras, Prentice-Hall
- Hoffman, K. (1962), Banach spaces of analytic functions, Prentice-Hall
- Sz.-Nagy, B.; Foias, C.; Bercovici, H.; Kérchy, L. (2010), Harmonic analysis of operators on Hilbert space, Universitext (Second ed.), Springer, ISBN 978-1-4419-6093-1
- Riesz, F.; Sz.-Nagy, B. (1995), Functional analysis. Reprint of the 1955 original, Dover Books on Advanced Mathematics, Dover, pp. 466–472, ISBN 0-486-66289-6
Further reading
- Mlak, Włodzimierz (1965), Unitary dilations of contraction operators, Rozprawy matematyczne, vol. 46, Panstwowe Wydawnictwo Naukowe