Hardy-space function theory, operator model theory, and dissipative linear systems: the multivariable, free-noncommutative, weighted Bergman-space setting

DOI10.1017/9781009004305MaRDI QIDQ6320119arXivFDO

Authors Joseph A. Ball, Vladimir Bolotnikov

Publication date 6 June 2019

Mathematics Subject Classification ID

Noncommutative function spaces (46L52) Bergman spaces of functions in several complex variables (32A36) Research exposition (monographs, survey articles) pertaining to operator theory (47-02) Linear operators in reproducing-kernel Hilbert spaces (including de Branges, de Branges-Rovnyak, and other structured spaces) (47B32) Canonical models for contractions and nonselfadjoint linear operators (47A45) Operator colligations (= nodes), vessels, linear systems, characteristic functions, realizations, etc. (47A48)

Abstract: It is known that (i) a subspace $mathcalN$ of the Hardy space $H^2$ which is invariant under the backward shift operator can be represented as the range of the observability operator of a conservative discrete-time linear system, (ii) the transfer-function of this conservative linear system in turn is the inner Beurling-Lax representer for the forward-shift invariant subspace $mathcalM:={mathcalN}^{p}erp$, and (iii) this transfer function also serves as the Sz.-Nagy-Foias characteristic function of the pure contraction operator $T$ given by $T=P_{mathcalN}{M}_z{|}_{mathcalN}$. The main focus of this paper is to present the extension of this structure to a more general setting. The Hardy space is replaced by the full weighted Bergman-Fock space of formal power series in $d$ freely noncommutative indeterminates, where the shift is replaced by the right shift tuple, where the conservative/dissipative discrete-time linear system becomes a certain type of conservative/dissipative multidimensional linear system with time-varying weights and with evolution along a rooted tree with each node having $d$ forward branches, where a backward shift-invariant subspace $mathcalN$ is the range of the observability operator for such a weighted-Bergman multidimensional linear system, and where the transfer function of this system is the Beurling-Lax representer for the forward shift-invariant subspace $mathcalM={mathcalN}^{[perp]}$, and where this transfer function also serves as the characteristic function for the operator tuple having hypercontractive-operator-tuple adjoint equal to the restriction of the backward-shift tuple to $mathcalN$.

This page was built for publication: Hardy-space function theory, operator model theory, and dissipative linear systems: the multivariable, free-noncommutative, weighted Bergman-space setting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6320119)