Dilation (operator theory): Difference between revisions
←Redirected page to Contraction (operator theory) |
m add {{refend}} |
||
(11 intermediate revisions by 8 users not shown) | |||
Line 1: | Line 1: | ||
In [[operator theory]], a '''dilation''' of an operator ''T'' on a [[Hilbert space]] ''H'' is an operator on a larger Hilbert space ''K'', whose restriction to ''H'' composed with the orthogonal projection onto ''H'' is ''T''. |
|||
#REDIRECT [[Contraction (operator theory)]] |
|||
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 |
|||
:<math>P_H \; V | _H = T</math> |
|||
where <math>P_H</math> 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]] <math>X</math>, we say that ''V'' is a '''normal boundary dilation''' or a '''normal <math>\partial X</math> dilation''' if ''V'' is a normal dilation of ''T'' and <math>\sigma(V)\subseteq \partial X</math>. |
|||
Some texts impose an additional condition. Namely, that a dilation satisfy the following (calculus) property: |
|||
:<math>P_H \; f(V) | _H = f(T)</math> |
|||
where ''f(T)'' is some specified [[functional calculus]] (for example, the polynomial or ''H''<sup>∞</sup> 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]]. |
|||
==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 |
|||
:<math>D_T = (I - T^* T)^{\frac{1}{2}}</math> |
|||
is positive, where the [[continuous functional calculus]] is used to define the square root. The operator ''D<sub>T</sub>'' is called the '''defect operator''' of ''T''. Let ''V'' be the operator on |
|||
:<math>H \oplus H</math> |
|||
defined by the matrix |
|||
:<math> V = |
|||
\begin{bmatrix} T & D_{T^*}\\ |
|||
\ D_T & -T^* |
|||
\end{bmatrix}. </math> |
|||
''V'' is clearly a dilation of ''T''. Also, ''T''(''I - T*T'') = (''I - TT*'')''T'' and a limit argument<ref>{{harvnb|Sz.-Nagy|Foiaş|1970|loc=3.1}}.</ref> imply |
|||
:<math> T D_T = D_{T^*} T.</math> |
|||
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 <math>T = \cos \theta</math>, we have |
|||
:<math> V = |
|||
\begin{bmatrix} \cos \theta & \sin \theta \\ |
|||
\ \sin \theta & - \cos \theta |
|||
\end{bmatrix}. </math> |
|||
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 |
|||
:<math>T^2 = P_H \; V^2 | _H</math>. |
|||
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]]. More generally, if <math>\mathcal{R}(X)</math> is a [[Dirichlet algebra]], any operator ''T'' with <math>X</math> as a spectral set will have a normal <math>\partial X</math> dilation with this property. This generalises Sz.-Nagy's dilation theorem as all contractions have the unit disc as a spectral set. |
|||
==Notes== |
|||
{{reflist}} |
|||
==References== |
|||
{{Refbegin}} |
|||
*{{Citation | last1 = Constantinescu | first1 = T. | title = Schur Parameters, Dilation and Factorization Problems | publisher = Birkhauser Verlag | volume = 82 | year = 1996 | isbn = 3-7643-5285-X}}. |
|||
*{{Citation | last1 = Paulsen | first = V. | title = Completely Bounded Maps and Operator Algebras | publisher = Cambridge University Press | year = 2002 | isbn = 0-521-81669-6}}. |
|||
*{{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}}. |
|||
{{refend}} |
|||
[[Category:Operator theory]] |
|||
[[Category:Unitary operators]] |
Latest revision as of 19:44, 28 August 2023
In operator theory, a dilation of an operator T on a Hilbert space 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 (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.
Applications
[edit]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 is used to define the square root. The operator DT 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[1] 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. More generally, if is a Dirichlet algebra, 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
[edit]- ^ Sz.-Nagy & Foiaş 1970, 3.1.
References
[edit]- Constantinescu, T. (1996), Schur Parameters, Dilation and Factorization Problems, vol. 82, Birkhauser Verlag, ISBN 3-7643-5285-X.
- Paulsen, V. (2002), Completely Bounded Maps and Operator Algebras, Cambridge University Press, ISBN 0-521-81669-6.
- Sz.-Nagy, B.; Foiaş, C. (1970), Harmonic analysis of operators on Hilbert space, North-Holland Publishing Company, ISBN 9780720420357.