In
operator theory
In mathematics, operator theory is the study of linear operators on function spaces, beginning with differential operators and integral operators. The operators may be presented abstractly by their characteristics, such as bounded linear operators ...
, a dilation of an operator ''T'' on a
Hilbert space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natural ...
''H'' is an operator on a larger Hilbert space ''K'', whose restriction to ''H'' composed with the orthogonal projection onto ''H'' is ''T''.
More formally, let ''T'' be a bounded operator on some Hilbert space ''H'', and ''H'' be a subspace of a larger Hilbert space '' H' ''. A bounded operator ''V'' on '' H' '' is a dilation of T if
:
where
is an orthogonal projection on ''H''.
''V'' is said to be a unitary dilation (respectively, normal, isometric, etc.) if ''V'' is unitary (respectively, normal, isometric, etc.). ''T'' is said to be a compression of ''V''. If an operator ''T'' has a
spectral set , we say that ''V'' is a normal boundary dilation or a normal
dilation if ''V'' is a normal dilation of ''T'' and
.
Some texts impose an additional condition. Namely, that a dilation satisfy the following (calculus) property:
:
where ''f(T)'' is some specified
functional calculus
In mathematics, a functional calculus is a theory allowing one to apply mathematical functions to mathematical operators. It is now a branch (more accurately, several related areas) of the field of functional analysis, connected with spectral the ...
(for example, the polynomial or ''H''
∞ calculus). The utility of a dilation is that it allows the "lifting" of objects associated to ''T'' to the level of ''V'', where the lifted objects may have nicer properties. See, for example, the
commutant lifting theorem
In operator theory, the commutant lifting theorem, due to Sz.-Nagy and Foias, is a powerful theorem used to prove several interpolation results.
Statement
The commutant lifting theorem states that if T is a contraction on a Hilbert space H, U ...
.
Applications
We can show that every contraction on Hilbert spaces has a unitary dilation. A possible construction of this dilation is as follows. For a contraction ''T'', the operator
:
is positive, where the
continuous functional calculus
In mathematics, particularly in operator theory and C*-algebra theory, a continuous functional calculus is a functional calculus which allows the application of a continuous function to normal elements of a C*-algebra.
Theorem
Theorem. Let ' ...
is used to define the square root. The operator ''D
T'' is called the defect operator of ''T''. Let ''V'' be the operator on
:
defined by the matrix
:
''V'' is clearly a dilation of ''T''. Also, ''T''(''I - T*T'') = (''I - TT*'')''T'' and a limit argument
[.] imply
:
Using this one can show, by calculating directly, that ''V'' is unitary, therefore a unitary dilation of ''T''. This operator ''V'' is sometimes called the Julia operator of ''T''.
Notice that when ''T'' is a real scalar, say
, we have
:
which is just the unitary matrix describing rotation by θ. For this reason, the Julia operator ''V(T)'' is sometimes called the ''elementary rotation'' of ''T''.
We note here that in the above discussion we have not required the calculus property for a dilation. Indeed, direct calculation shows the Julia operator fails to be a "degree-2" dilation in general, i.e. it need not be true that
:
.
However, it can also be shown that any contraction has a unitary dilation which does have the calculus property above. This is
Sz.-Nagy's dilation theorem
The Sz.-Nagy dilation theorem (proved by Béla Szőkefalvi-Nagy) states that every contraction ''T'' on a Hilbert space ''H'' has a unitary dilation ''U'' to a Hilbert space ''K'', containing ''H'', with
:T^n = P_H U^n \vert_H,\quad n\ge 0.
Moreove ...
. More generally, if
is a
Dirichlet algebra In mathematics, a Dirichlet algebra is a particular type of algebra associated to a compact Hausdorff space ''X''. It is a closed subalgebra of ''C''(''X''), the uniform algebra of bounded continuous functions on ''X'', whose real parts are dense ...
, any operator ''T'' with
as a spectral set will have a normal
dilation with this property. This generalises Sz.-Nagy's dilation theorem as all contractions have the unit disc as a spectral set.
Notes
References
*.
*.
*{{Citation , last1 = Sz.-Nagy , first1 = B. , last2 = Foiaş , first2 = C. , title = Harmonic analysis of operators on Hilbert space , publisher = North-Holland Publishing Company , year = 1970 , isbn = 9780720420357.
Operator theory
Unitary operators