Namespaces
Variants
Actions

Difference between revisions of "Operator vessel"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (MR/ZBL numbers added)
Line 1: Line 1:
The theory of operator vessels provides a framework for the [[Spectral analysis|spectral analysis]] and synthesis of tuples of commuting non-self-adjoint (or non-unitary) operators, especially for operators that are not "too far" from being self-adjoint (or unitary). It reveals deep connections with [[Algebraic geometry|algebraic geometry]], especially with function theory on a compact real Riemann surface (i.e., a compact Riemann surface endowed with an anti-holomorphic involution, cf. also [[Riemann surface|Riemann surface]]), and with the theory of multi-dimensional systems. The theory of operator vessels can be also generalized for the study of tuples of non-commuting non-self-adjoint (or non-unitary) operators (cf. also [[Non-self-adjoint operator|Non-self-adjoint operator]]), especially for non-self-adjoint representations of Lie algebras (or non-unitary representations of discrete groups).
+
The theory of operator vessels provides a framework for the [[Spectral analysis|spectral analysis]] and synthesis of tuples of commuting non-self-adjoint (or non-unitary) operators, especially for operators that are not "too far" from being self-adjoint (or unitary). It reveals deep connections with [[Algebraic geometry|algebraic geometry]], especially with function theory on a compact real Riemann surface (i.e., a compact Riemann surface endowed with an anti-holomorphic involution, cf. also [[Riemann surface|Riemann surface]]), and with the theory of multi-dimensional systems. The theory of operator vessels can be also generalized for the study of tuples of non-commuting non-self-adjoint (or non-unitary) operators (cf. also [[Non-self-adjoint operator|Non-self-adjoint operator]]), especially for non-self-adjoint representations of Lie algebras (or non-unitary representations of discrete groups).
  
 
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o1300601.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o1300602.png" /> be a pair of commuting bounded linear operators in a [[Hilbert space|Hilbert space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o1300603.png" />. A quasi-Hermitian commutative two-operator vessel <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o1300604.png" /> is a collection
 
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o1300601.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o1300602.png" /> be a pair of commuting bounded linear operators in a [[Hilbert space|Hilbert space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o1300603.png" />. A quasi-Hermitian commutative two-operator vessel <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o1300604.png" /> is a collection
Line 15: Line 15:
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006017.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a5)</td></tr></table>
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006017.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a5)</td></tr></table>
  
The equations (a2) are so-called colligation conditions (or node conditions) well-known from the spectral analysis of a single non-self-adjoint operator (cf. also [[Operator colligation|Operator colligation]]); they allow one to "isolate" the non-Hermitian parts of the operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006018.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006019.png" />. The equations (a3), (a4) and (a5) are deeper; the self-adjoint operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006020.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006021.png" /> carry information about the interaction of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006022.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006023.png" />.
+
The equations (a2) are so-called colligation conditions (or node conditions) well-known from the spectral analysis of a single non-self-adjoint operator (cf. also [[Operator colligation|Operator colligation]]); they allow one to "isolate" the non-Hermitian parts of the operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006018.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006019.png" />. The equations (a3), (a4) and (a5) are deeper; the self-adjoint operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006020.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006021.png" /> carry information about the interaction of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006022.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006023.png" />.
  
 
Notice that a given pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006024.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006025.png" /> of commuting operators in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006026.png" /> can be always embedded in a quasi-Hermitian commutative vessel by setting
 
Notice that a given pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006024.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006025.png" /> of commuting operators in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o13006026.png" /> can be always embedded in a quasi-Hermitian commutative vessel by setting
Line 89: Line 89:
 
Assuming the maximality of the input and the output determinantal representations, the joint characteristic function of a (minimal) vessel determines the vessel uniquely up to unitary equivalence. The joint characteristic function is expansive with respect to certain naturally defined scalar products on the vector bundles <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060156.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060157.png" />. Conversely, given any bundle mapping between the kernel vector bundles corresponding to the given two maximal self-adjoint determinantal representations, which is expansive with respect to the corresponding scalar products, this bundle mapping can be realized as the joint characteristic function of a quasi-Hermitian commutative vessel with these input and output determinantal representations.
 
Assuming the maximality of the input and the output determinantal representations, the joint characteristic function of a (minimal) vessel determines the vessel uniquely up to unitary equivalence. The joint characteristic function is expansive with respect to certain naturally defined scalar products on the vector bundles <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060156.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060157.png" />. Conversely, given any bundle mapping between the kernel vector bundles corresponding to the given two maximal self-adjoint determinantal representations, which is expansive with respect to the corresponding scalar products, this bundle mapping can be realized as the joint characteristic function of a quasi-Hermitian commutative vessel with these input and output determinantal representations.
  
Kernel vector bundles corresponding to maximal self-adjoint determinantal representations are isomorphic (up to an inessential twist) to vector bundles of multiplicative half-order differentials, i.e., to vector bundles of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060158.png" />; here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060159.png" />, the canonical line bundle (the line bundle of holomorphic differentials), and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060160.png" /> is a flat vector bundle associated to some representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060161.png" /> of the fundamental group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060162.png" />. Using this isomorphism one may replace the joint characteristic function by the so-called normalized joint characteristic function, which is simply a mapping of flat vector bundles on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060163.png" />, i.e., a multiplicative multi-valued matrix function on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060164.png" /> (with appropriate matrix multipliers on the left and on the right). The normalized joint characteristic function is usually more convenient for analytic investigations. There are also functional models for the corresponding pair of operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060165.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060166.png" /> with finite non-Hermitian ranks, similar to the well-known functional models of Sz.-Nagy–Foias and de Branges–Rovnyak for a single operator; the model space is an appropriately defined space of multiplicative half-order differentials on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060167.png" />, and the model operators are certain "compressed multiplication operators" by the affine coordinate functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060168.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060169.png" />.
+
Kernel vector bundles corresponding to maximal self-adjoint determinantal representations are isomorphic (up to an inessential twist) to vector bundles of multiplicative half-order differentials, i.e., to vector bundles of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060158.png" />; here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060159.png" />, the canonical line bundle (the line bundle of holomorphic differentials), and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060160.png" /> is a flat vector bundle associated to some representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060161.png" /> of the fundamental group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060162.png" />. Using this isomorphism one may replace the joint characteristic function by the so-called normalized joint characteristic function, which is simply a mapping of flat vector bundles on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060163.png" />, i.e., a multiplicative multi-valued matrix function on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060164.png" /> (with appropriate matrix multipliers on the left and on the right). The normalized joint characteristic function is usually more convenient for analytic investigations. There are also functional models for the corresponding pair of operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060165.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060166.png" /> with finite non-Hermitian ranks, similar to the well-known functional models of Sz.-Nagy–Foias and de Branges–Rovnyak for a single operator; the model space is an appropriately defined space of multiplicative half-order differentials on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060167.png" />, and the model operators are certain "compressed multiplication operators" by the affine coordinate functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060168.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060169.png" />.
  
 
Like the notion of colligation in the spectral theory of a single non-self-adjoint operator (cf. also [[Operator colligation|Operator colligation]]), the notion of a vessel has a system-theoretic significance. Given a quasi-Hermitian commutative two-operator vessel <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060170.png" /> as in (a1), one writes a linear shift-invariant continuous two-dimensional system
 
Like the notion of colligation in the spectral theory of a single non-self-adjoint operator (cf. also [[Operator colligation|Operator colligation]]), the notion of a vessel has a system-theoretic significance. Given a quasi-Hermitian commutative two-operator vessel <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060170.png" /> as in (a1), one writes a linear shift-invariant continuous two-dimensional system
Line 125: Line 125:
 
2) Quasi-unitary commutative operator vessels, which give a framework for the spectral analysis of tuples of commuting non-unitary operators (especially with finite defects); they are related to discrete conservative multi-dimensional systems (rather than continuous).
 
2) Quasi-unitary commutative operator vessels, which give a framework for the spectral analysis of tuples of commuting non-unitary operators (especially with finite defects); they are related to discrete conservative multi-dimensional systems (rather than continuous).
  
3) "Non-metric" commutative operator vessels, which correspond to overdetermined multi-dimensional systems together with compatibility partial differential equations at the input and at the output, but without any energy balance laws.
+
3) "Non-metric" commutative operator vessels, which correspond to overdetermined multi-dimensional systems together with compatibility partial differential equations at the input and at the output, but without any energy balance laws.
  
4) Non-commutative generalizations, in particular (quasi-Hermitian) "Lie algebra" vessels, where one replaces a tuple of commuting operators by a representation of a given [[Lie algebra|Lie algebra]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060193.png" />. Such vessels provide a framework for the spectral analysis of non-self-adjoint representations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060194.png" />. The associated (conservative) multi-dimensional system evolves on a [[Lie group|Lie group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060195.png" /> having the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060196.png" />.
+
4) Non-commutative generalizations, in particular (quasi-Hermitian) "Lie algebra" vessels, where one replaces a tuple of commuting operators by a representation of a given [[Lie algebra|Lie algebra]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060193.png" />. Such vessels provide a framework for the spectral analysis of non-self-adjoint representations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060194.png" />. The associated (conservative) multi-dimensional system evolves on a [[Lie group|Lie group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060195.png" /> having the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o130/o130060/o130060196.png" />.
  
The theory of operator vessels was initiated by M.S. Livšic [[#References|[a2]]], [[#References|[a3]]]. The term "vessel" was coined in the book [[#References|[a1]]]; earlier papers use the term "regular colligation" . The book [[#References|[a1]]] provides a comprehensive treatment of the subject. A shorter survey, containing also the more recent results, is [[#References|[a4]]].
+
The theory of operator vessels was initiated by M.S. Livšic [[#References|[a2]]], [[#References|[a3]]]. The term "vessel" was coined in the book [[#References|[a1]]]; earlier papers use the term "regular colligation" . The book [[#References|[a1]]] provides a comprehensive treatment of the subject. A shorter survey, containing also the more recent results, is [[#References|[a4]]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> M.S. Livšic,   N. Kravitsky,   A.S. Markus,   V. Vinnikov,   "Theory of commuting nonselfadjoint operators" , Kluwer Acad. Publ. (1995)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> M.S. Livšic,   "Operator waves in Hilbert space and related partial differential equations" ''Integral Eq. Oper. Th.'' , '''2''' : 1 (1979) pp. 25–47</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> M.S. Livšic,   "A method for constructing triangular canonical models of commuting operators based on connections with algebraic curves" ''Integral Eq. Oper. Th.'' , '''3''' : 4 (1980) pp. 489–507</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> V. Vinnikov,   "Commuting operators and function theory on a Riemann surface" S. Axler (ed.) J. McCarthy (ed.) D. Sarason (ed.) , ''Holomorphic Spaces and Their Operators'' , ''Math. Sci. Res. Inst. Publ.'' , '''33''' , Cambridge Univ. Press (1998) pp. 445–476</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> M.S. Livšic, N. Kravitsky, A.S. Markus, V. Vinnikov, "Theory of commuting nonselfadjoint operators" , Kluwer Acad. Publ. (1995) {{MR|1347918}} {{ZBL|0834.47004}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> M.S. Livšic, "Operator waves in Hilbert space and related partial differential equations" ''Integral Eq. Oper. Th.'' , '''2''' : 1 (1979) pp. 25–47 {{MR|0532737}} {{ZBL|0539.47033}} {{ZBL|0407.35072}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> M.S. Livšic, "A method for constructing triangular canonical models of commuting operators based on connections with algebraic curves" ''Integral Eq. Oper. Th.'' , '''3''' : 4 (1980) pp. 489–507 {{MR|0595748}} {{ZBL|0472.47007}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> V. Vinnikov, "Commuting operators and function theory on a Riemann surface" S. Axler (ed.) J. McCarthy (ed.) D. Sarason (ed.) , ''Holomorphic Spaces and Their Operators'' , ''Math. Sci. Res. Inst. Publ.'' , '''33''' , Cambridge Univ. Press (1998) pp. 445–476 {{MR|1634421}} {{ZBL|0997.47007}} </TD></TR></table>

Revision as of 21:54, 30 March 2012

The theory of operator vessels provides a framework for the spectral analysis and synthesis of tuples of commuting non-self-adjoint (or non-unitary) operators, especially for operators that are not "too far" from being self-adjoint (or unitary). It reveals deep connections with algebraic geometry, especially with function theory on a compact real Riemann surface (i.e., a compact Riemann surface endowed with an anti-holomorphic involution, cf. also Riemann surface), and with the theory of multi-dimensional systems. The theory of operator vessels can be also generalized for the study of tuples of non-commuting non-self-adjoint (or non-unitary) operators (cf. also Non-self-adjoint operator), especially for non-self-adjoint representations of Lie algebras (or non-unitary representations of discrete groups).

Let , be a pair of commuting bounded linear operators in a Hilbert space . A quasi-Hermitian commutative two-operator vessel is a collection

(a1)

Here, is an auxiliary Hilbert space called the external space of the vessel ( is called the internal space), is a bounded linear mapping, , , , are bounded self-adjoint operators in (cf. also Self-adjoint operator), such that

(a2)
(a3)
(a4)
(a5)

The equations (a2) are so-called colligation conditions (or node conditions) well-known from the spectral analysis of a single non-self-adjoint operator (cf. also Operator colligation); they allow one to "isolate" the non-Hermitian parts of the operators and . The equations (a3), (a4) and (a5) are deeper; the self-adjoint operators and carry information about the interaction of and .

Notice that a given pair , of commuting operators in can be always embedded in a quasi-Hermitian commutative vessel by setting

( denotes the orthogonal projection on the subspace ; it is an easy consequence of the commutativity of and that is invariant under and ).

The notion of an operator vessel allows one to construct commuting operators with more complicated spectral data out of commuting operators with simpler spectral data while controlling the non-Hermitian parts. Let

be two quasi-Hermitian commutative vessels with the same . Using the coupling construction familiar in the spectral analysis of a single non-self-adjoint operator, one sets and defines operators and by

(a6)

(the operators being written in block form with respect to the direct sum decomposition ). It is clear that , satisfy the colligation conditions:

but in general they do not commute. It turns out that exactly when ; more precisely,

(with and ) is a quasi-Hermitian commutative vessel if and only if (the matching theorem).

Assume now that the external space of a vessel as in (a1) is finite dimensional; one defines a polynomial in two complex variables , by setting

(a7)

It is assumed that , so that and is a polynomial with real coefficients of degree . One calls the discriminant polynomial of the vessel , and the projective plane real algebraic curve with an affine equation — the discriminant curve. A generalized Cayley–Hamilton theorem holds: (under the natural minimality assumption ). It follows that the joint spectrum of , (cf. also Taylor joint spectrum) lies on the (affine part of the) discriminant curve.

The following remarkable equality also holds:

(a8)

Thus, associated to the vessel there is the discriminant polynomial , and two self-adjoint determinantal representations of it, and , called (for system-theoretic reasons, see below) the input and the output determinantal representations, respectively.

Consider now the inverse problem of constructing, up to unitary equivalence, all (minimal) quasi-Hermitian commutative two-operator vessels with given discriminant polynomial , given input determinantal representations , and with the operators , in the vessel having given joint spectrum , which is a subset of the affine part of the real projective plane curve defined by . Here, two vessels () are said to be unitarily equivalent if there is an isometric mapping from onto such that

(a9)

If is an irreducible polynomial and is a smooth irreducible curve (these assumptions can be relaxed), a complete and explicit solution of the inverse problem stated above has been obtained. This solution leads to triangular models for the corresponding pair of operators , with finite non-Hermitian ranks, similar to the well-known triangular models for a single non-self-adjoint operator. The solution is based on first constructing elementary objects — vessels with one-dimensional internal space corresponding to the points of the joint spectrum — and then coupling them using the matching theorem. It follows from (a5) that in a vessel with one-dimensional internal space the output determinantal representation is determined by the input determinantal representation and the spectral data; the successive matching of output and input determinantal representations in the matching theorem then gives a system of non-linear difference (for the discrete part of the spectrum) and differential (for the continuous part of the spectrum) equations for self-adjoint determinantal representations of the polynomial . The algebro-geometric assumptions on the polynomial and the curve imply that self-adjoint determinantal representations are naturally parametrized by certain points in the Jacobi variety of ; and it turns out that passing from a self-adjoint determinantal representation to the corresponding point in the Jacobi variety linearizes the systems of non-linear difference and differential equations alluded to above. Actually, the system can even be solved explicitly using theta-functions, yielding explicit formulas for the operators , in a triangular model.

The fundamental interplay between the spectral theory of a pair of commuting non-self-adjoint operators with finite non-Hermitian ranks and function theory on a compact real Riemann surface is based on the notion of the joint characteristic function. Let be a quasi-Hermitian commutative vessel as in (a1), with discriminant polynomial and discriminant curve . For each affine point on , one may define two non-trivial subspaces of the external space :

(a10)
(a11)

Then for arbitrary complex numbers , (such that is outside the spectrum of ), the operator on ,

maps into and the restriction of this operator to is independent of , . The joint characteristic function of the vessel is defined by

(a12)

where is an affine point on outside the joint spectrum of , .

The joint characteristic function is thus a mapping of certain sheaves on the discriminant curve (cf. also Sheaf). For simplicity, assume that the discriminant polynomial has only one, possibly multiple, irreducible factor; thus for some , where is the irreducible affine equation of the discriminant curve . Assume also that both the input and the output determinantal representations of are maximal, meaning that for every point on the subspaces and have maximal possible dimension (which is equal to times the multiplicity of on ; notice that all these assumptions are trivially satisfied when the discriminant polynomial is irreducible, i.e., , and is a smooth irreducible curve). It follows then that the subspaces and for different points on (including, of course, the points at infinity) fit together to form two complex holomorphic rank- vector bundles and on a compact Riemann surface which is the desingularization of (cf. also Resolution of singularities). The joint characteristic function (naturally extended to be identity at the points of at infinity) is simply a bundle mapping, holomorphic outside the joint spectrum of , . Notice that since is a real curve, is a real Riemann surface, that is, a Riemann surface equipped with an anti-holomorphic involution (the complex conjugation on ).

Assuming the maximality of the input and the output determinantal representations, the joint characteristic function of a (minimal) vessel determines the vessel uniquely up to unitary equivalence. The joint characteristic function is expansive with respect to certain naturally defined scalar products on the vector bundles and . Conversely, given any bundle mapping between the kernel vector bundles corresponding to the given two maximal self-adjoint determinantal representations, which is expansive with respect to the corresponding scalar products, this bundle mapping can be realized as the joint characteristic function of a quasi-Hermitian commutative vessel with these input and output determinantal representations.

Kernel vector bundles corresponding to maximal self-adjoint determinantal representations are isomorphic (up to an inessential twist) to vector bundles of multiplicative half-order differentials, i.e., to vector bundles of the form ; here , the canonical line bundle (the line bundle of holomorphic differentials), and is a flat vector bundle associated to some representation of the fundamental group of . Using this isomorphism one may replace the joint characteristic function by the so-called normalized joint characteristic function, which is simply a mapping of flat vector bundles on , i.e., a multiplicative multi-valued matrix function on (with appropriate matrix multipliers on the left and on the right). The normalized joint characteristic function is usually more convenient for analytic investigations. There are also functional models for the corresponding pair of operators , with finite non-Hermitian ranks, similar to the well-known functional models of Sz.-Nagy–Foias and de Branges–Rovnyak for a single operator; the model space is an appropriately defined space of multiplicative half-order differentials on , and the model operators are certain "compressed multiplication operators" by the affine coordinate functions , .

Like the notion of colligation in the spectral theory of a single non-self-adjoint operator (cf. also Operator colligation), the notion of a vessel has a system-theoretic significance. Given a quasi-Hermitian commutative two-operator vessel as in (a1), one writes a linear shift-invariant continuous two-dimensional system

(a13)
(a14)
(a15)

Here, is the state with values in the internal space , and are, respectively, the input and the output with values in the external space , and . The colligation conditions (a2) imply that the system (a13)–(a15) satisfies the energy balance law:

(a16)

for any direction in . Unlike the usual one-dimensional systems, the system (a13)–(a15) is overdetermined (cf. also Overdetermined system), the compatibility conditions arising from the equality of mixed partial derivatives:

The commutativity means precisely that the system is consistent for an arbitrary initial state and the identically zero input. The vessel condition (a3) implies that a sufficient (and under some assumptions also a necessary) condition for the input signal to be compatible is given by

(a17)

The vessel conditions (a4), (a5) imply that the corresponding output satisfies

(a18)

The joint characteristic function of the vessel is the so-called joint transfer function of the overdetermined system (a13)–(a15) together with the compatibility partial differential equations (a17) and (a18) at the input and at the output, respectively.

The notion of a quasi-Hermitian commutative two-operator vessel is the simplest and the best studied; it can be successfully generalized in various directions, like:

1) Quasi-Hermitian commutative -operator vessels for any , which give a framework for the spectral analysis of -tuples of commuting non-self-adjoint operators (especially with finite non-Hermitian ranks).

2) Quasi-unitary commutative operator vessels, which give a framework for the spectral analysis of tuples of commuting non-unitary operators (especially with finite defects); they are related to discrete conservative multi-dimensional systems (rather than continuous).

3) "Non-metric" commutative operator vessels, which correspond to overdetermined multi-dimensional systems together with compatibility partial differential equations at the input and at the output, but without any energy balance laws.

4) Non-commutative generalizations, in particular (quasi-Hermitian) "Lie algebra" vessels, where one replaces a tuple of commuting operators by a representation of a given Lie algebra . Such vessels provide a framework for the spectral analysis of non-self-adjoint representations of . The associated (conservative) multi-dimensional system evolves on a Lie group having the Lie algebra .

The theory of operator vessels was initiated by M.S. Livšic [a2], [a3]. The term "vessel" was coined in the book [a1]; earlier papers use the term "regular colligation" . The book [a1] provides a comprehensive treatment of the subject. A shorter survey, containing also the more recent results, is [a4].

References

[a1] M.S. Livšic, N. Kravitsky, A.S. Markus, V. Vinnikov, "Theory of commuting nonselfadjoint operators" , Kluwer Acad. Publ. (1995) MR1347918 Zbl 0834.47004
[a2] M.S. Livšic, "Operator waves in Hilbert space and related partial differential equations" Integral Eq. Oper. Th. , 2 : 1 (1979) pp. 25–47 MR0532737 Zbl 0539.47033 Zbl 0407.35072
[a3] M.S. Livšic, "A method for constructing triangular canonical models of commuting operators based on connections with algebraic curves" Integral Eq. Oper. Th. , 3 : 4 (1980) pp. 489–507 MR0595748 Zbl 0472.47007
[a4] V. Vinnikov, "Commuting operators and function theory on a Riemann surface" S. Axler (ed.) J. McCarthy (ed.) D. Sarason (ed.) , Holomorphic Spaces and Their Operators , Math. Sci. Res. Inst. Publ. , 33 , Cambridge Univ. Press (1998) pp. 445–476 MR1634421 Zbl 0997.47007
How to Cite This Entry:
Operator vessel. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Operator_vessel&oldid=14416
This article was adapted from an original article by Victor Vinnikov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article