-
Grain-level effects on in-situ deformation-induced phase transformations in a complex-phase steel using 3DXRD and EBSD
Authors:
James A. D. Ball,
Claire Davis,
Carl Slater,
Himanshu Vashishtha,
Mohammed Said,
Louis Hébrard,
Florian Steinhilber,
Jonathan P. Wright,
Thomas Connolley,
Stefan Michalik,
David M. Collins
Abstract:
A novel complex-phase steel alloy is conceived with a deliberately unstable austenite, $γ$, phase that enables the deformation-induced martensitic transformations (DIMT) to be explored at low levels of plastic strain. The DIMT was thus explored, in-situ and non-destructively, using both far-field Three-Dimensional X-Ray Diffraction (3DXRD) and Electron Back-Scatter Diffraction (EBSD). Substantial…
▽ More
A novel complex-phase steel alloy is conceived with a deliberately unstable austenite, $γ$, phase that enables the deformation-induced martensitic transformations (DIMT) to be explored at low levels of plastic strain. The DIMT was thus explored, in-situ and non-destructively, using both far-field Three-Dimensional X-Ray Diffraction (3DXRD) and Electron Back-Scatter Diffraction (EBSD). Substantial $α'$ martensite formation was observed under 10% applied strain with EBSD, and many $\varepsilon$ grain formation events were captured with 3DXRD, indicative of the indirect transformation of martensite via the reaction $γ\rightarrow \varepsilon \rightarrow α'$. Using $\varepsilon$ grain formation as a direct measurement of $γ$ grain stability, the influence of several microstructural properties, such as grain size, orientation and neighbourhood configuration, on $γ$ stability have been identified. Larger $γ$ grains were found to be less stable than smaller grains. Any $γ$ grains oriented with {100} parallel to the loading direction preferentially transformed with lower stresses. Parent $\varepsilon$-forming $γ$ grains possessed a neighbourhood with increased ferritic/martensitic volume fraction. This finding shows, unambiguously, that $α$/$α'$ promotes $\varepsilon$ formation in neighbouring grains. The minimum strain work criterion model for $\varepsilon$ variant prediction was also evaluated, which worked well for most grains. However, $\varepsilon$-forming grains with a lower stress were less well predicted by the model, indicating crystal-level behaviour must be considered for accurate $\varepsilon$ formation. The findings from this work are considered key for the future design of alloys where the deformation response can be controlled by tailoring microstructure and local or macroscopic crystal orientations.
△ Less
Submitted 7 November, 2023; v1 submitted 6 November, 2023;
originally announced November 2023.
-
Dilation and Model Theory for Pairs of Commuting Contractions
Authors:
Joseph A. Ball,
Haripada Sau
Abstract:
This manuscript is an effort to extend the Sz.-Nagy--Foias dilation and model theory for a single contraction to the case of commuting pair of contractions. Fundamental to the Sz.-Nagy--Foias model theory is the functional model for the minimal isometric dilation. The first step in our approach for the pair case is to obtain further information, beyond that in the original paper of Ando, concernin…
▽ More
This manuscript is an effort to extend the Sz.-Nagy--Foias dilation and model theory for a single contraction to the case of commuting pair of contractions. Fundamental to the Sz.-Nagy--Foias model theory is the functional model for the minimal isometric dilation. The first step in our approach for the pair case is to obtain further information, beyond that in the original paper of Ando, concerning the structure of the plethora of minimal commuting isometric lifts. We exhibit an explicit simple example of two minimal isometric lifts of a commuting contractive pair that are not unitarily equivalent -- see Chapter 5. We provide two constructive new proofs of Ando's Dilation Theorem, each of which leads to a new functional-model representation for such a lift -- see Theorem 4.3.8 and Remark 4.5.7. The construction leads to the identification of a set of additional free parameters which serves to classify the distinct unitary-equivalence classes of minimal Ando lifts. However this lack of uniqueness limits the utility of such minimal Ando lifts for the construction of a functional model for a commuting contractive pair. We identify an intermediate type of lift, called pseudo-commuting contractive lift, which paves the way for a functional model. In the model form, the Sz.-Nagy--Foias characteristic function is augmented by what is called the fundamental operator pair, together with a canonical pair of commuting unitary operators, so that the augmented collection, called the characteristic triple, is a complete unitary invariant for a commuting contractive pair. There is also a notion of admissible triple as the substitute for a purely contractive analytic function in the Sz.-Nagy--Foias theory, from which one can construct a functional model commuting contractive pair having its characteristic triple coinciding with the original admissible triple in an appropriate sense.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
Registration between DCT and EBSD datasets for multiphase microstructures
Authors:
James A. D. Ball,
Jette Oddershede,
Claire Davis,
Carl Slater,
Mohammed Said,
Himanshu Vashishtha,
Stefan Michalik,
David M. Collins
Abstract:
The ability to characterise the three-dimensional microstructure of multiphase materials is essential for understanding the interaction between phases and associated materials properties. Here, laboratory-based diffraction-contrast tomography (DCT), a recently-established materials characterization technique that can determine grain phases, morphologies, positions and orientations in a voxel-based…
▽ More
The ability to characterise the three-dimensional microstructure of multiphase materials is essential for understanding the interaction between phases and associated materials properties. Here, laboratory-based diffraction-contrast tomography (DCT), a recently-established materials characterization technique that can determine grain phases, morphologies, positions and orientations in a voxel-based reconstruction method, was used to map part of a dual-phase steel alloy sample. To assess the resulting microstructures that were produced by the DCT technique, an EBSD map was collected within the same sample volume. To identify the 2D slice of the 3D DCT reconstruction that best corresponded to the EBSD map, a novel registration technique based solely on grain-averaged orientations was developed -- this registration technique requires very little a priori knowledge of dataset alignment and can be extended to other techniques that only recover grain-averaged orientation data such as far-field 3D X-ray diffraction microscopy. Once the corresponding 2D slice was identified in the DCT dataset, comparisons of phase balance, grain size, shape and texture were performed between DCT and EBSD techniques. More complicated aspects of the microstructural morphology such as grain boundary shape and grains less than a critical size were poorly reproduced by the DCT reconstruction, primarily due to the difference in resolutions of the technique compared with EBSD. However, lab-based DCT is shown to accurately determine the centre-of-mass position, orientation, and size of the large grains for each phase present, austenite and martensitic ferrite. The results reveals a complex ferrite grain network of similar crystal orientations that are absent from the EBSD dataset. Such detail demonstrates that lab-based DCT, as a technique, shows great promise in the field of multi-phase material characterization.
△ Less
Submitted 29 June, 2023;
originally announced June 2023.
-
Per-grain and neighbourhood stress interactions during deformation of a ferritic steel obtained using three-dimensional X-ray diffraction
Authors:
James A. D. Ball,
Anna Kareer,
Oxana V. Magdysyuk,
Stefan Michalik,
Thomas Connolley,
David M. Collins
Abstract:
Three-dimensional X-ray diffraction (3DXRD) has been used to measure, in-situ, the evolution of $\sim 1800$ grains in a single phase low carbon ferritic steel sample during uniaxial deformation. The distribution of initial residual grain stresses in the material was observed to prevail as plasticity builds, though became less pronounced, and therefore less influential as strain increased. The init…
▽ More
Three-dimensional X-ray diffraction (3DXRD) has been used to measure, in-situ, the evolution of $\sim 1800$ grains in a single phase low carbon ferritic steel sample during uniaxial deformation. The distribution of initial residual grain stresses in the material was observed to prevail as plasticity builds, though became less pronounced, and therefore less influential as strain increased. The initial Schmid factor of a grain was found to be strongly correlated to the intergranular stress change and the range of stresses that are permissible; a grain well aligned for easy slip is more likely to exhibit a range of stresses than those orientated poorly for dislocation motion. The orientation path of a grain, however, is not only dependent on its initial orientation, but hypothesised to be influenced by its stress state and the stress state of its grain environment. A grain neighbourhood effect is observed: the Schmid factor of serial adjoining grains influences the stress state of a grain of interest, whereas parallel neighbours are much less influential. This phenomenon is strongest at low plastic strains only, with the effect diminishing as plasticity builds. The influence of initial residual stresses becomes less evident, and grains rotate to eliminate any orientation dependent load shedding. The ability of the BCC ferrite to exhaust such neighbourhood interactions, which would otherwise be detrimental in crystal structures with lower symmetric and fewer slip systems, is considered key to the high ductility possessed by these materials.
△ Less
Submitted 21 February, 2023;
originally announced February 2023.
-
Functional Models for Commuting Hilbert-space Contractions
Authors:
Joseph A. Ball,
Haripada Sau
Abstract:
We develop a Sz.-Nagy--Foias-type functional model for a commutative contractive operator tuple $\underline{T} = (T_1, \dots, T_d)$ having $T = T_1 \cdots T_d$ equal to a completely nonunitary contraction. We identify additional invariants ${\mathbb G}_\sharp, {\mathbb W}_\sharp$ in addition to the Sz.-Nagy--Foias characteristic function $Θ_T$ for the product operator $T$ so that the combined trip…
▽ More
We develop a Sz.-Nagy--Foias-type functional model for a commutative contractive operator tuple $\underline{T} = (T_1, \dots, T_d)$ having $T = T_1 \cdots T_d$ equal to a completely nonunitary contraction. We identify additional invariants ${\mathbb G}_\sharp, {\mathbb W}_\sharp$ in addition to the Sz.-Nagy--Foias characteristic function $Θ_T$ for the product operator $T$ so that the combined triple $({\mathbb G}_\sharp, {\mathbb W}_\sharp, Θ_T)$ becomes a complete unitary invariant for the original operator tuple $\underline{T}$. For the case $d \ge 3$ in general there is no commutative isometric lift of $\underline{T}$; however there is a (not necessarily commutative) isometric lift having some additional structure so that, when compressed to the minimal isometric-lift space for the product operator $T$, generates a special kind of lift of $\underline{T}$, herein called a {\em pseudo-commutative contractive lift} of $\underline{T}$, which in turn leads to the functional model for $\underline{T}$. This work has many parallels with recently developed model theories for symmetrized-bidisk contractions (commutative operator pairs $(S,P)$ having the symmetrized bidisk $Γ$ as a spectral set) and for tetrablock contractions (commutative operator triples $(A, B, P)$ having the tetrablock domain ${\mathbb E}$ as a spectral set).
△ Less
Submitted 7 July, 2022;
originally announced July 2022.
-
Dilation theory and functional models for tetrablock contractions
Authors:
Joseph A. Ball,
Haripada Sau
Abstract:
A classical result of Sz.-Nagy asserts that a Hilbert space contraction operator $T$ can be dilated to a unitary $\cU$. A more general multivariable setting for these ideas is the setup where (i) the unit disk is replaced by a domain $Ω$ contained in ${\mathbb C}^d$, (ii) the contraction operator $T$ is replaced by a commuting tuple $\bfT = (T_1, \dots, T_d)$ such that…
▽ More
A classical result of Sz.-Nagy asserts that a Hilbert space contraction operator $T$ can be dilated to a unitary $\cU$. A more general multivariable setting for these ideas is the setup where (i) the unit disk is replaced by a domain $Ω$ contained in ${\mathbb C}^d$, (ii) the contraction operator $T$ is replaced by a commuting tuple $\bfT = (T_1, \dots, T_d)$ such that $\| r(T_1, \dots, T_d) \|_{\cL(\cH)} \le \sup_{\lam \in Ω} | r(\lam) |$ for all rational functions with no singularities in $\overlineΩ$ and the unitary operator $\cU$ is replaced by an $Ω$-unitary operator tuple, i.e., a commutative operator $d$-tuple $\bfU = (U_1, \dots, U_d)$ of commuting normal operators with joint spectrum contained in the distinguished boundary $bΩ$ of $Ω$. For a given domain $Ω\subset {\mathbb C}^d$, the {\em rational dilation question} asks: given an $Ω$-contraction $\bfT$ on $\cH$, is it always possible to find an $Ω$-unitary $\bfU$ on a larger Hilbert space $\cK \supset \cH$ so that, for any $d$-variable rational function without singularities in $\overlineΩ$, one can recover $r(T)$ as $r(T) = P_\cH r(\bfU)|_\cH$. We focus here on the case where $Ω$ is the {\em tetrablock}. (i) We identify a complete set of unitary invariants for a ${\mathbb E}$-contraction $(A,B,T)$ which can then be used to write down a functional model for $(A,B,T)$, thereby extending earlier results only done for a special case, (ii) we identify the class of {\em pseudo-commutative ${\mathbb E}$-isometries} (a priori slightly larger than the class of ${\mathbb E}$-isometries) to which any ${\mathbb E}$-contraction can be lifted, and (iii) we use our functional model to recover an earlier result on the existence and uniqueness of a ${\mathbb E}$-isometric lift $(V_1, V_2, V_3)$ of a special type for a ${\mathbb E}$-contraction $(A,B,T)$.
△ Less
Submitted 7 July, 2022;
originally announced July 2022.
-
Models for q-commutative tuples of isometries
Authors:
Joseph A. Ball,
Haripada Sau
Abstract:
A pair of Hilbert space linear operators $(V_1,V_2)$ is said to be $q$-commutative, for a unimodular complex number $q$, if $V_1V_2=qV_2V_1$. A concrete functional model for $q$-commutative pairs of isometries is obtained. The functional model is parametrized by a collection of Hilbert spaces and operators acting on them. As a consequence, the collection serves as a complete unitary invariance for…
▽ More
A pair of Hilbert space linear operators $(V_1,V_2)$ is said to be $q$-commutative, for a unimodular complex number $q$, if $V_1V_2=qV_2V_1$. A concrete functional model for $q$-commutative pairs of isometries is obtained. The functional model is parametrized by a collection of Hilbert spaces and operators acting on them. As a consequence, the collection serves as a complete unitary invariance for $q$-commutative pairs of isometries. A $q$-commutative operator pair $(V_1,V_2)$ is said to be doubly $q$-commutative, if in addition, it satisfies $V_2V_1^*=qV_1^*V_2$. Doubly $q$-commutative pairs of isometries are also characterized. Special attention is given to doubly $q$-commutative pairs of shift operators. The notion of $q$-commutativity is then naturally extended to the case of general tuples of operators to obtain a similar model for tuples of $q$-commutative isometries.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
Interpolation in multivariable de Branges-Rovnyak spaces
Authors:
Joseph A. Ball,
Vladimir Bolotnikov,
Sanne ter Horst
Abstract:
We study a general metric constrained interpolation problem in a de Branges-Rovnyak space $\mathcal{H}(K_S)$ associated with a contractive multiplier $S$ between two Fock spaces along with its commutative counterpart, a de Branges-Rovnyak space associated with a Schur multiplier on the Drury-Arveson space of the unit ball of $\mathbb{C}^n$.
We study a general metric constrained interpolation problem in a de Branges-Rovnyak space $\mathcal{H}(K_S)$ associated with a contractive multiplier $S$ between two Fock spaces along with its commutative counterpart, a de Branges-Rovnyak space associated with a Schur multiplier on the Drury-Arveson space of the unit ball of $\mathbb{C}^n$.
△ Less
Submitted 20 May, 2022;
originally announced May 2022.
-
Free noncommutative hereditary kernels: Jordan decomposition, Arveson extension, kernel domination
Authors:
Joseph A. Ball,
Gregory Marx,
Victor Vinnikov
Abstract:
We discuss a (i) quantized version of the Jordan decomposition theorem for a complex Borel measure on a compact Hausdorff space, namely, the more general problem of decomposing a general noncommutative kernel (a quantization of the standard notion of kernel function) as a linear combination of completely positive noncommutative kernels (a quantization of the standard notion of positive definite ke…
▽ More
We discuss a (i) quantized version of the Jordan decomposition theorem for a complex Borel measure on a compact Hausdorff space, namely, the more general problem of decomposing a general noncommutative kernel (a quantization of the standard notion of kernel function) as a linear combination of completely positive noncommutative kernels (a quantization of the standard notion of positive definite kernel). Other special cases of (i) include: the problem of decomposing a general operator-valued kernel function as a linear combination of positive kernels (not always possible), of decomposing a general bounded linear Hilbert-space operator as a linear combination of positive linear operators (always possible), of decomposing a completely bounded linear map from a $C^*$-algebra ${\mathcal A}$ to an injective $C^*$-algebra ${\mathcal L}({\mathcal Y})$ as a linear combination of completely positive maps from ${\mathcal A}$ to ${\mathcal L}({\mathcal Y})$ (always possible). We also discuss (ii) a noncommutative kernel generalization of the Arveson extension theorem (any completely positive map $φ$ from a operator system ${\mathbb S}$ to an injective $C^*$-algebra ${\mathcal L}({\mathcal Y})$ can be extended to a completely positive map $φ_e$ from a $C^*$-algebra containing ${\mathbb S}$ to ${\mathcal L}({\mathcal Y})$), and (iii) a noncommutative kernel version of a Positivstellensatz (i.e., finding a certificate to explain why one kernel is positive at points where another given kernel is positive).
△ Less
Submitted 2 February, 2022;
originally announced February 2022.
-
Implementing and evaluating far-field 3D X-ray diffraction at the I12 JEEP beamline, Diamond Light Source
Authors:
James A. D. Ball,
Anna Kareer,
Oxana V. Magdysyuk,
Stefan Michalik,
Anastasia Vrettou,
Neal Parkes,
Thomas Connolley,
David M. Collins
Abstract:
Three-dimensional X-ray diffraction (3DXRD) is shown to be feasible at the I12 Joint Engineering, Environmental and Processing (JEEP) beamline of Diamond Light Source. As a demonstration, a microstructually simple low-carbon ferritic steel was studied in a highly textured and annealed state. A processing pipeline suited to this beamline was created, using software already established in the 3DXRD…
▽ More
Three-dimensional X-ray diffraction (3DXRD) is shown to be feasible at the I12 Joint Engineering, Environmental and Processing (JEEP) beamline of Diamond Light Source. As a demonstration, a microstructually simple low-carbon ferritic steel was studied in a highly textured and annealed state. A processing pipeline suited to this beamline was created, using software already established in the 3DXRD user community, enabling grain centre-of-mass positions, orientations and strain tensor elements to be determined. Orientations, with texture measurements independently validated from electron backscatter diffraction (EBSD) data, possessed a $\sim 0.1^\circ$ uncertainty, comparable with other 3DXRD instruments. The spatial resolution was limited by the far-field detector pixel size; the average of the grain centre of mass position errors was determined as $\pm \sim 80 μ$m. An average per-grain error of $\sim 1 \times 10^{-3}$ for the elastic strains was also measured; this could be reduced in future experiments by improving sample preparation, data collection and analysis techniques. Application of 3DXRD onto I12 shows great potential, where its implementation is highly desirable due the flexible, open architecture of the beamline. User-owned or designed sample environments can be used, thus 3DXRD could be applied to previously unexplored scientific areas.
△ Less
Submitted 20 February, 2023; v1 submitted 12 November, 2021;
originally announced November 2021.
-
The Infinite-Dimensional Standard and Strict Bounded Real Lemmas in Continuous Time: The storage function approach
Authors:
Joseph A. Ball,
Sanne ter Horst,
Mikael Kurula
Abstract:
The bounded real lemma (BRL) is a classical result in systems theory, which provides a linear matrix inequality criterium for dissipativity, via the Kalman-Yakubovich-Popov (KYP) inequality. The BRL has many applications, among others in H-infinity control. Extensions to infinite dimensional systems, although already present in the work of Yakubovich, have only been studied systematically in the l…
▽ More
The bounded real lemma (BRL) is a classical result in systems theory, which provides a linear matrix inequality criterium for dissipativity, via the Kalman-Yakubovich-Popov (KYP) inequality. The BRL has many applications, among others in H-infinity control. Extensions to infinite dimensional systems, although already present in the work of Yakubovich, have only been studied systematically in the last few decades. In this context various notions of stability, observability and controllability exist, and depending on the hypothesis one may have to allow the KYP-inequality to have unbounded solutions which forces one to consider the KYP-inequality in a spatial form. In the present paper we consider the BRL for continuous time, infinite dimensional, linear well-posed systems. Via an adaptation of Willems' storage function approach we present a unified way to address both the standard and strict forms of the BRL. We avoid making use of the Cayley transform and work only in continuous time. While for the standard bounded real lemma, we obtain analogous results as there exist for the discrete time case, when treating the strict case additional conditions are required, at least at this stage. This might be caused by the fact that the Cayley transform does not preserve exponential stability, an important property in the strict case, when transferring a continuous-time system to a discrete-time system.
△ Less
Submitted 25 May, 2022; v1 submitted 12 September, 2021;
originally announced September 2021.
-
Rational dilation of tetrablock contractions revisited
Authors:
Joseph A. Ball,
Haripada Sau
Abstract:
A classical result of Sz.-Nagy asserts that a Hilbert-space contraction operator $T$ can be lifted to an isometry $V$. A more general multivariable setting of recent interest for these ideas is the case where (i) the unit disk is replaced by a certain domain contained in ${\mathbb C}^3$ (called the {\em tetrablock}), (ii) the contraction operator $T$ is replaced by a commutative triple…
▽ More
A classical result of Sz.-Nagy asserts that a Hilbert-space contraction operator $T$ can be lifted to an isometry $V$. A more general multivariable setting of recent interest for these ideas is the case where (i) the unit disk is replaced by a certain domain contained in ${\mathbb C}^3$ (called the {\em tetrablock}), (ii) the contraction operator $T$ is replaced by a commutative triple $(T_1, T_2, T)$ of Hilbert-space operators having ${\mathbb E}$ as a spectral set (a tetrablock contraction) . The rational dilation question for this setting is whether a tetrablock contraction $(T_1, T_2, T)$ can be lifted to a tetrablock isometry $(V_1, V_2, V)$ (a commutative operator tuple which extends to a tetrablock-unitary tuple $(U_1, U_2, U)$---a commutative tuple of normal operators with joint spectrum contained in the distinguished boundary of the tetrablock). We discuss necessary conditions for a tetrablock contraction to have a tetrablock-isometric lift. We present an example of a tetrablock contraction which does have a tetrablock-isometric lift but violates a condition previously thought to be necessary for the existence of such a lift. Thus the question of whether a tetrablock contraction always has a tetrablock-isometric lift appears to be unresolved at this time.
△ Less
Submitted 25 July, 2019;
originally announced July 2019.
-
Hardy-space function theory, operator model theory, and dissipative linear systems: the multivariable, free-noncommutative, weighted Bergman-space setting
Authors:
Joseph A. Ball,
Vladimir Bolotnikov
Abstract:
It is known that (i) a subspace ${\mathcal N}$ 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…
▽ More
It is known that (i) a subspace ${\mathcal N}$ 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 ${\mathcal M} : = {\mathcal N}^\perp$, and (iii) this transfer function also serves as the Sz.-Nagy-Foias characteristic function of the pure contraction operator $T$ given by $T = P_{\mathcal N} M_z |_{\mathcal N}$. 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 ${\mathcal N}$ 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 ${\mathcal M} = {\mathcal N}^{[\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 $\mathcal N$.
△ Less
Submitted 10 June, 2019; v1 submitted 6 June, 2019;
originally announced June 2019.
-
Functional Models and Invariant Subspaces for Pairs of Commuting Contractions
Authors:
Joseph A. Ball,
Haripada Sau
Abstract:
The goal of the present paper is to push Sz.-Nagy--Foias model theory for a completely nonunitary Hilbert-space contraction operator $T$, to the case of a commuting pair of contraction operators $(T_1, T_2)$ having product $T = T_1 T_2$ which is completely nonunitary. The idea is to use the Sz.-Nagy-Foias functional model for $T$ as the model space also for the commutative tuple ($T_1, T_2)$ with…
▽ More
The goal of the present paper is to push Sz.-Nagy--Foias model theory for a completely nonunitary Hilbert-space contraction operator $T$, to the case of a commuting pair of contraction operators $(T_1, T_2)$ having product $T = T_1 T_2$ which is completely nonunitary. The idea is to use the Sz.-Nagy-Foias functional model for $T$ as the model space also for the commutative tuple ($T_1, T_2)$ with $T = T_1 T_2$ equal to the usual Sz.-Nagy--Foias model operator, and identify what added structure is required to classify such commutative contractive factorizations $T = T_1 T_2$ up to unitary equivalence. In addition to the characteristic function $Θ_T$, we identify additional invariants $({\mathbb G}, {\mathbb W})$ which can be used to construct a functional model for the commuting pair $(T_1, T_2)$ and which have good uniqueness properties: if two commutative contractive pairs $(T_1, T_2)$ and $(T'_1, T'_2)$ are unitarily equivalent, then their characteristic triples $(Θ, {\mathbb G}, {\mathbb W})_T$ and $(Θ, {\mathbb G}, {\mathbb W})_{T'}$ coincide in a natural sense. We illustrate the theory with several simple cases where the characteristic triples can be explicitly computed. This work extends earlier results of Berger-Coburn-Lebow \cite{B-C-L} for the case where $(T_1, T_2)$ is a pair of commuting isometries, and of Das-Sarkar \cite{D-S}, Das-Sarkar-Sarkar \cite{D-S-S} and the second author \cite{sauAndo} for the case where $T = T_1T_2$ is pure (the operator sequence $T^{*n}$ tends strongly to $0$). Finally we use the model to study the structure of joint invariant subspaces for a commutative, contractive operator pair, extending results of Sz.-Nagy--Foias for the single-operator case.
△ Less
Submitted 27 September, 2018; v1 submitted 26 September, 2018;
originally announced September 2018.
-
Standard versus strict Bounded Real Lemma with infinite-dimensional state space III: The dichotomous and bicausal cases
Authors:
J. A. Ball,
G. J. Groenewald,
S. ter Horst
Abstract:
This is the third installment in a series of papers concerning the Bounded Real Lemma for infinite-dimensional discrete-time linear input/state/output systems. In this setting, under appropriate conditions, the lemma characterizes when the transfer function associated with the system has contractive values on the unit circle, expressed in terms of a Linear Matrix Inequality, often referred to as t…
▽ More
This is the third installment in a series of papers concerning the Bounded Real Lemma for infinite-dimensional discrete-time linear input/state/output systems. In this setting, under appropriate conditions, the lemma characterizes when the transfer function associated with the system has contractive values on the unit circle, expressed in terms of a Linear Matrix Inequality, often referred to as the Kalman-Yakubovich-Popov (KYP) inequality. Whereas the first two installments focussed on causal systems with the transfer functions extending to an analytic function on the disk, in the present paper the system is still causal but the state operator is allowed to have nontrivial dichotomy (the unit circle is not contained in its spectrum), implying that the transfer function is analytic in a neighborhood of zero and on a neighborhood of the unit circle rather than on the unit disk. More generally, we consider bicausal systems, for which the transfer function need not be analytic in a neighborhood of zero. For both types of systems, by a variation on Willems' storage-function approach, we prove variations on the standard and strict Bounded Real Lemma. We also specialize the results to nonstationary discrete-time systems with a dichotomy, thereby recovering a Bounded Real Lemma due to Ben-Artzi--Gohberg-Kaashoek for such systems.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
Standard versus Strict Bounded Real Lemma with infinite-dimensional state space I: The State-Space-Similarity Approach
Authors:
J. A. Ball,
G. J. Groenewald,
S. ter Horst
Abstract:
The Bounded Real Lemma, i.e., the state-space linear matrix inequality characterization (referred to as Kalman-Yakubovich-Popov or KYP inequality) of when an input/state/output linear system satisfies a dissipation inequality, has recently been studied for infinite-dimensional discrete-time systems in a number of different settings: with or without stability assumptions, with or without controllab…
▽ More
The Bounded Real Lemma, i.e., the state-space linear matrix inequality characterization (referred to as Kalman-Yakubovich-Popov or KYP inequality) of when an input/state/output linear system satisfies a dissipation inequality, has recently been studied for infinite-dimensional discrete-time systems in a number of different settings: with or without stability assumptions, with or without controllability/observability assumptions, with or without strict inequalities. In these various settings, sometimes unbounded solutions of the KYP inequality are required while in other instances bounded solutions suffice. In a series of reports we show how these diverse results can be reconciled and unified. This first instalment focusses on the state-space-similarity approach to the bounded real lemma. We shall show how these results can be seen as corollaries of a new State-Space-Similarity theorem for infinite-dimensional linear systems.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
Standard versus Bounded Real Lemma with infinite-dimensional state space II: The storage function approach
Authors:
J. A. Ball,
G. J. Groenewald,
S. ter Horst
Abstract:
For discrete-time causal linear input/state/output systems, the Bounded Real Lemma explains (under suitable hypotheses) the contractivity of the values of the transfer function over the unit disk for such a system in terms of the existence of a positive-definite solution of a certain Linear Matrix Inequality (the Kalman-Yakubovich-Popov (KYP) inequality). Recent work has extended this result to th…
▽ More
For discrete-time causal linear input/state/output systems, the Bounded Real Lemma explains (under suitable hypotheses) the contractivity of the values of the transfer function over the unit disk for such a system in terms of the existence of a positive-definite solution of a certain Linear Matrix Inequality (the Kalman-Yakubovich-Popov (KYP) inequality). Recent work has extended this result to the setting of infinite-dimensional state space and associated non-rationality of the transfer function, where at least in some cases unbounded solutions of the generalized KYP-inequality are required. This paper is the second installment in a series of papers on the Bounded Real Lemma and the KYP inequality. We adapt Willems' storage-function approach to the infinite-dimensional linear setting, and in this way reprove various results presented in the first installment, where they were obtained as applications of infinite-dimensional State-Space-Similarity theorems, rather than via explicit computation of storage functions.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
Abstract interpolation in vector-valued de Branges-Rovnyak spaces
Authors:
Joseph A. Ball,
Vladimir Bolotnikov,
Sanne ter Horst
Abstract:
Following ideas from the Abstract Interpolation Problem of Katsnelson et al. (Operators in spaces of functions and problems in function theory, vol 146, pp 83-69, Naukova Dumka, Keiv, 1987) for Schur class functions, we study a general metric constrained interpolation problem for functions from a vector-valued de Branges-Rovnyak space $\mathcal{H}(K_S)$ associated with an operator-valued Schur cla…
▽ More
Following ideas from the Abstract Interpolation Problem of Katsnelson et al. (Operators in spaces of functions and problems in function theory, vol 146, pp 83-69, Naukova Dumka, Keiv, 1987) for Schur class functions, we study a general metric constrained interpolation problem for functions from a vector-valued de Branges-Rovnyak space $\mathcal{H}(K_S)$ associated with an operator-valued Schur class function $S$. A description of all solutions is obtained in terms of functions from an associated de Branges-Rovnyak space satisfying only a bound on the de Branges-Rovnyak-space norm. Attention is also paid to the case that the map which provides this description is injective. The interpolation problem studied here contains as particular cases (1) the vector-valued version of the interpolation problem with operator argument considered recently in Ball et al. (Proc Am Math Soc 139(2), 609-618, 2011) (for the nondegenerate and scalar-valued case) and (2) a boundary interpolation problem in $\mathcal{H}(K_S)$. In addition, we discuss connections with results on kernels of Toeplitz operators and nearly invariant subspaces of the backward shift operator.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
Interpolation in de Branges-Rovnyak spaces
Authors:
Joseph A. Ball,
Vladimir Bolotnikov,
Sanne Ter Horst
Abstract:
A general interpolation problem with operator argument is studied for functions f from the de Branges-Rovnyak space H(s) associated with an analytic function s map** the open unit disk D into the closed unit disk. The interpolation condition is taken in the Rosenblum-Rovnyak form f(A)c = b (with a suitable interpretation of f(A)c) for given Hilbert space operator A and two vectors b; c from the…
▽ More
A general interpolation problem with operator argument is studied for functions f from the de Branges-Rovnyak space H(s) associated with an analytic function s map** the open unit disk D into the closed unit disk. The interpolation condition is taken in the Rosenblum-Rovnyak form f(A)c = b (with a suitable interpretation of f(A)c) for given Hilbert space operator A and two vectors b; c from the same space.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
A conservative de Branges-Rovnyak functional model for operator Schur functions on $\mathbb C^+$
Authors:
Joseph A. Ball,
Mikael Kurula,
Olof J. Staffans
Abstract:
We present a solution of the operator-valued Schur-function realization problem on the right-half plane by develo** the corresponding de Branges-Rovnyak canonical conservative simple functional model. This model corresponds to the closely connected unitary model in the disk setting, but we work the theory out directly in the right-half plane, which allows us to exhibit structure which is absent…
▽ More
We present a solution of the operator-valued Schur-function realization problem on the right-half plane by develo** the corresponding de Branges-Rovnyak canonical conservative simple functional model. This model corresponds to the closely connected unitary model in the disk setting, but we work the theory out directly in the right-half plane, which allows us to exhibit structure which is absent in the disk case. A main feature of the study is that the connecting operator is unbounded, and so we need to make use of the theory of well-posed continuous-time systems. In order to strengthen the classical uniqueness result (which states uniqueness up to unitary similarity), we introduce non-invertible intertwinements of system nodes.
△ Less
Submitted 19 October, 2017; v1 submitted 14 March, 2017;
originally announced March 2017.
-
The bitangential matrix Nevanlinna-Pick interpolation problem revisited
Authors:
Joseph A. Ball,
Vladimir Bolotnikov
Abstract:
We revisit four approaches to the BiTangential Operator Argument Nevanlinna-Pick (BTOA-NP) interpolation theorem on the right half plane: (1) the state-space approach of Ball-Gohberg-Rodman, (2) the Fundamental Matrix Inequality approach of the Potapov school, (3) a reproducing kernel space interpretation for the solution criterion, and (4) the Grassmannian/Kreĭn-space geometry approach of Ball-He…
▽ More
We revisit four approaches to the BiTangential Operator Argument Nevanlinna-Pick (BTOA-NP) interpolation theorem on the right half plane: (1) the state-space approach of Ball-Gohberg-Rodman, (2) the Fundamental Matrix Inequality approach of the Potapov school, (3) a reproducing kernel space interpretation for the solution criterion, and (4) the Grassmannian/Kreĭn-space geometry approach of Ball-Helton. These four approaches lead to three distinct solution criteria which therefore must be equivalent to each other. We give alternative concrete direct proofs of each of these latter equivalences. In the final section we show how all the results extend to the case where one seeks to characterize interpolants in the Kreĭn-Langer generalized Schur class $\cS_κ$ of meromorphic matrix functions on the right half plane, with the integer $κ$ as small as possible.
△ Less
Submitted 21 November, 2016;
originally announced November 2016.
-
Interpolation and transfer-function realization for the noncommutative Schur-Agler class
Authors:
Joseph A. Ball,
Gregory Marx,
Victor Vinnikov
Abstract:
The Schur-Agler class consists of functions over a domain satisfying an appropriate von Neumann inequality. Originally defined over the polydisk, the idea has been extended to general domains in multivariable complex Euclidean space with matrix polynomial defining function as well as to certain multivariable noncommutative-operator domains with a noncommutative linear-pencil defining function. Sti…
▽ More
The Schur-Agler class consists of functions over a domain satisfying an appropriate von Neumann inequality. Originally defined over the polydisk, the idea has been extended to general domains in multivariable complex Euclidean space with matrix polynomial defining function as well as to certain multivariable noncommutative-operator domains with a noncommutative linear-pencil defining function. Still more recently there has emerged a free noncommutative function theory (functions of noncommuting matrix variables respecting direct sums and similaritytransformations). The purpose of the present paper is to extend the Schur-Agler-class theory to the free noncommutative functionsetting. This includes the positive-kernel-decomposition characterization of the class, transfer-function realization and Pick interpolation theory. A special class of defining functions is identified for which the associated Schur-Agler class coincides with the contractive-multiplier class on an associated noncommutative reproducing kernel Hilbert space; in this case, solution of the Pick interpolation problem is in terms of the complete positivity of an associated Pick matrix which is explicitly determined from the interpolation data.
△ Less
Submitted 1 February, 2016;
originally announced February 2016.
-
Noncommutative reproducing kernel Hilbert spaces
Authors:
Joseph A. Ball,
Gregory Marx,
Victor Vinnikov
Abstract:
The theory of positive kernels and associated reproducing kernel Hilbert spaces, especially in the setting of holomorphic functions, has been an important tool for the last several decades in a number of areas of complex analysis and operator theory. An interesting generalization of holomorphic functions, namely free noncommutative functions (e.g., functions of square-matrix arguments of arbitrary…
▽ More
The theory of positive kernels and associated reproducing kernel Hilbert spaces, especially in the setting of holomorphic functions, has been an important tool for the last several decades in a number of areas of complex analysis and operator theory. An interesting generalization of holomorphic functions, namely free noncommutative functions (e.g., functions of square-matrix arguments of arbitrary size satisfying additional natural compatibility conditions), is now an active area of research, with motivation and applications from a variety of areas (e.g., noncommutative functional calculus, free probability, and optimization theory in linear systems engineering). The purpose of this article is to develop a theory of positive kernels and associated reproducing kernel Hilbert spaces for the setting of free noncommutative function theory.
△ Less
Submitted 1 February, 2016;
originally announced February 2016.
-
Meromorphic Matrix Trivializations of Factors of Automorphy over a Riemann Surface
Authors:
Joseph A. Ball,
Kevin F. Clancey,
Victor Vinnikov
Abstract:
It is a consequence of the Jacobi Inversion Theorem that a line bundle over a Riemann surface M of genus g has a meromorphic section having at most g poles, or equivalently, the divisor class of a divisor D over M contains a divisor having at most g poles (counting multiplicities). We explore various analogues of these ideas for vector bundles and associated matrix divisors over M. The most explic…
▽ More
It is a consequence of the Jacobi Inversion Theorem that a line bundle over a Riemann surface M of genus g has a meromorphic section having at most g poles, or equivalently, the divisor class of a divisor D over M contains a divisor having at most g poles (counting multiplicities). We explore various analogues of these ideas for vector bundles and associated matrix divisors over M. The most explicit results are for the genus 1 case. We also review and improve earlier results concerning the construction of automorphic or relatively automorphic meromorphic matrix functions having a prescribed null/pole structure.
△ Less
Submitted 27 October, 2015;
originally announced October 2015.
-
Bounded Real Lemma and structured singular value versus diagonal scaling: the free noncommutative setting
Authors:
Joseph A. Ball,
Gilbert J. Groenewald,
Sanne ter Horst
Abstract:
The structured singular value $μ$ was introduced independently by Doyle and Safanov as a tool for analyzing robustness of system stability and performance in the presence of structured uncertainty in the system parameters. While the structured singular value provides a necessary and sufficient criterion for robustness with respect to a structured ball of uncertainty, it is notoriously difficult to…
▽ More
The structured singular value $μ$ was introduced independently by Doyle and Safanov as a tool for analyzing robustness of system stability and performance in the presence of structured uncertainty in the system parameters. While the structured singular value provides a necessary and sufficient criterion for robustness with respect to a structured ball of uncertainty, it is notoriously difficult to actually compute. The method of diagonal (or simply "D") scaling, on the other hand, provides an easily computable upper bound (which we call $\hat μ$) for the structured singular value, but provides an exact evaluation of $μ$ (or even a useful upper bound for $μ$) only in special cases. However it was discovered in the 1990s that a certain enhancement of the uncertainty structure (i.e., letting the uncertainty parameters be freely noncommuting linear operators on an infinite-dimensional separable Hilbert space) resulted in the $D$-scaling procedure leading to an exact evaluation of $μ_{\text{enhanced}}$ ($μ_{\text{enhanced}} = \hat μ$), at least for the tractable special cases which were analyzed in complete detail. On the one hand this enhanced uncertainty has some appeal from the physical point of view: one can allow the uncertainty in the plant parameters to be time-varying, or more generally, one can catch the uncertainty caused by the designer's decision not to model the more complex (e.g. nonlinear) dynamics of the true plant. On the other hand, the precise mathematical formulation of this enhanced uncertainty structure makes contact with developments in the growing theory of analytic functions in freely noncommuting arguments and associated formal power series in freely noncommuting indeterminates. In this article we obtain the $\widetilde μ= \hat μ$ theorem for a more satisfactory general setting.
△ Less
Submitted 3 August, 2014;
originally announced August 2014.
-
de Branges-Rovnyak spaces and norm-constraint interpolation
Authors:
Joseph A. Ball,
Vladimir Bolotnikov
Abstract:
For $S$ a contractive analytic operator-valued function on the unit disk ${\mathbb D}$, de Branges and Rovnyak associate a Hilbert space of analytic functions ${\mathcal H}(S)$. A companion survey provides equivalent definitions and basic properties of these spaces as well as applications to function theory and operator theory. The present survey brings to the fore more recent applications to a va…
▽ More
For $S$ a contractive analytic operator-valued function on the unit disk ${\mathbb D}$, de Branges and Rovnyak associate a Hilbert space of analytic functions ${\mathcal H}(S)$. A companion survey provides equivalent definitions and basic properties of these spaces as well as applications to function theory and operator theory. The present survey brings to the fore more recent applications to a variety of more elaborate function theory problems, including $H^\infty$-norm constrained interpolation, connections with the Potapov method of Fundamental Matrix Inequalities, parametrization for the set of all solutions of an interpolation problem, variants of the Abstract Interpolation Problem of Katsnelson, Kheifets, and Yuditskii, boundary behavior and boundary interpolation in de Branges-Rovnyak spaces themselves, and extensions to multivariable and Kreĭn-space settings.
△ Less
Submitted 12 May, 2014;
originally announced May 2014.
-
de Branges-Rovnyak spaces: basics and theory
Authors:
Joseph A. Ball,
Vladimir Bolotnikov
Abstract:
For $S$ a contractive analytic operator-valued function on the unit disk ${\mathbb D}$, de Branges and Rovnyak associate a Hilbert space of analytic functions ${\mathcal H}(S)$ and related extension space ${\mathcal D(S)}$ consisting of pairs of analytic functions on the unit disk ${\mathbb D}$. This survey describes three equivalent formulations (the original geometric de Branges-Rovnyak definiti…
▽ More
For $S$ a contractive analytic operator-valued function on the unit disk ${\mathbb D}$, de Branges and Rovnyak associate a Hilbert space of analytic functions ${\mathcal H}(S)$ and related extension space ${\mathcal D(S)}$ consisting of pairs of analytic functions on the unit disk ${\mathbb D}$. This survey describes three equivalent formulations (the original geometric de Branges-Rovnyak definition, the Toeplitz operator characterization, and the characterization as a reproducing kernel Hilbert space) of the de Branges-Rovnyak space ${\mathcal H}(S)$, as well as its role as the underlying Hilbert space for the modeling of completely non-isometric Hilbert-space contraction operators. Also examined is the extension of these ideas to handle the modeling of the more general class of completely nonunitary contraction operators, where the more general two-component de Branges-Rovnyak model space ${\mathcal D}(S)$ and associated overlap** spaces play key roles. Connections with other function theory problems and applications are also discussed. More recent applications to a variety of subsequent applications are given in a companion survey article.
△ Less
Submitted 12 May, 2014;
originally announced May 2014.
-
Weighted Hardy spaces: shift invariant and coinvariant subspaces, linear systems and operator model theory
Authors:
Joseph A. Ball,
Vladimir Bolotnikov
Abstract:
The Sz.-Nagy--Foias model theory for $C_{\cdot 0}$ contraction operators combined with the Beurling-Lax theorem establishes a correspondence between any two of four kinds of objects: shift-invariant subspaces, operator-valued inner functions, conservative discrete-time input/state/output linear systems, and $C_{\cdot 0}$ Hilbert-space contraction operators. We discuss an analogue of all these idea…
▽ More
The Sz.-Nagy--Foias model theory for $C_{\cdot 0}$ contraction operators combined with the Beurling-Lax theorem establishes a correspondence between any two of four kinds of objects: shift-invariant subspaces, operator-valued inner functions, conservative discrete-time input/state/output linear systems, and $C_{\cdot 0}$ Hilbert-space contraction operators. We discuss an analogue of all these ideas in the context of weighted Hardy spaces over the unit disk and an associated class of hypercontraction operators.
△ Less
Submitted 12 May, 2014;
originally announced May 2014.
-
Scattering systems with several evolutions and formal reproducing kernel Hilbert spaces
Authors:
Joseph A. Ball,
Dmitry Kaliuzhnyi-Verbovetskyi,
Cora Sadosky,
Victor Vinnikov
Abstract:
A Schur-class function in $d$ variables is defined to be an analytic contractive-operator valued function on the unit polydisk. Such a function is said to be in the Schur--Agler class if it is contractive when evaluated on any commutative $d$-tuple of strict contractions on a Hilbert space. It is known that the Schur--Agler class is a strictly proper subclass of the Schur class if the number of va…
▽ More
A Schur-class function in $d$ variables is defined to be an analytic contractive-operator valued function on the unit polydisk. Such a function is said to be in the Schur--Agler class if it is contractive when evaluated on any commutative $d$-tuple of strict contractions on a Hilbert space. It is known that the Schur--Agler class is a strictly proper subclass of the Schur class if the number of variables $d$ is more than two. The Schur--Agler class is also characterized as those functions arising as the transfer function of a certain type (Givone--Roesser) of conservative multidimensional linear system. Previous work of the authors identified the Schur--Agler class as those Schur-class functions which arise as the scattering matrix for a certain type of (not necessarily minimal) Lax--Phillips multievolution scattering system having some additional geometric structure. The present paper links this additional geometric scattering structure directly with a known reproducing-kernel characterization of the Schur--Agler class. We use extensively the technique of formal reproducing kernel Hilbert spaces that was previously introduced by the authors and that allows us to manipulate formal power series in several commuting variables and their inverses (e.g., Fourier series of elements of $L^2$ on a torus) in the same way as one manipulates analytic functions in the usual setting of reproducing kernel Hilbert spaces.
△ Less
Submitted 20 November, 2013;
originally announced November 2013.
-
Schur--Agler and Herglotz--Agler classes of functions: positive-kernel decompositions and transfer-function realizations
Authors:
Joseph A. Ball,
Dmitry S. Kaliuzhnyi-Verbovetskyi
Abstract:
We discuss transfer-function realization for multivariable holomorphic functions map** the unit polydisk or the right polyhalfplane into the operator analogue of either the unit disk or the right halfplane (Schur/Herglotz functions over either the unit polydisk or the right polyhalfplane) which satisfy the appropriate stronger contractive/positive real part condition for the values of these func…
▽ More
We discuss transfer-function realization for multivariable holomorphic functions map** the unit polydisk or the right polyhalfplane into the operator analogue of either the unit disk or the right halfplane (Schur/Herglotz functions over either the unit polydisk or the right polyhalfplane) which satisfy the appropriate stronger contractive/positive real part condition for the values of these functions on commutative tuples of strict contractions/strictly accretive operators (Schur--Agler/Herglotz--Agler functions over either the unit polydisk or the right polyhalfplane). As originally shown by Agler, the first case (polydisk to disk) can be solved via unitary extensions of a partially defined isometry constructed in a canonical way from a kernel decomposition for the function (the {\em lurking-isometry method}). We show how a geometric reformulation of the lurking-isometry method (embedding of a given isotropic subspace of a Kreĭn space into a Lagrangian subspace---the {\em lurking-isotropic-subspace method}) can be used to handle the second two cases (polydisk to halfplane and polyhalfplane to disk), as well as the last case (polyhalfplane to halfplane) if an additional growth condition at $\infty$ is imposed. For the general fourth case, we show how a linear-fractional-transformation change of variable can be used to arrive at the appropriate symmetrized nonhomogeneous Bessmertnyĭ long-resolvent realization. We also indicate how this last result recovers the classical integral representation formula for scalar-valued holomorphic functions map** the right halfplane into itself.
△ Less
Submitted 11 March, 2015; v1 submitted 8 October, 2013;
originally announced October 2013.
-
Rational Cayley inner Herglotz-Agler functions: positive-kernel decompositions and transfer-function realizations
Authors:
Joseph A. Ball,
Dmitry S. Kaliuzhnyi-Verbovetskyi
Abstract:
The Bessmertnyĭ class consists of rational matrix-valued functions of $d$ complex variables representable as the Schur complement of a block of a linear pencil $A(z)=z_1A_1+\cdots+z_dA_d$ whose coefficients $A_k$ are positive semidefinite matrices. We show that it coincides with the subclass of rational functions in the Herglotz-Agler class over the right poly-halfplane which are homogeneous of de…
▽ More
The Bessmertnyĭ class consists of rational matrix-valued functions of $d$ complex variables representable as the Schur complement of a block of a linear pencil $A(z)=z_1A_1+\cdots+z_dA_d$ whose coefficients $A_k$ are positive semidefinite matrices. We show that it coincides with the subclass of rational functions in the Herglotz-Agler class over the right poly-halfplane which are homogeneous of degree one and which are Cayley inner. The latter means that such a function is holomorphic on the right poly-halfplane and takes skew-Hermitian matrix values on $(i\mathbb{R})^d$, or equivalently, is the double Cayley transform (over the variables and over the matrix values) of an inner function on the unit polydisk.
Using Agler-Knese's characterization of rational inner Schur-Agler functions on the polydisk, extended now to the matrix-valued case, and applying appropriate Cayley transformations, we obtain characterizations of matrix-valued rational Cayley inner Herglotz-Agler functions both in the setting of the polydisk and of the right poly-halfplane, in terms of transfer-function realizations and in terms of positive-kernel decompositions. In particular, we extend Bessmertnyĭ's representation to rational Cayley inner Herglotz-Agler functions on the right poly-halfplane, where a linear pencil $A(z)$ is now in the form $A(z)=A_0+z_1A_1+\cdots +z_dA_d$ with $A_0$ skew-Hermitian and the other coefficients $A_k$ positive semidefinite matrices.
△ Less
Submitted 3 October, 2013;
originally announced October 2013.
-
De Branges-Rovnyak realizations of operator-valued Schur functions on the complex right half-plane
Authors:
Joseph A. Ball,
Mikael Kurula,
Olof J. Staffans,
Hans Zwart
Abstract:
We give a controllable energy-preserving and an observable co-energy-preserving de Branges-Rovnyak functional model realization of an arbitrary given operator Schur function defined on the complex right-half plane. We work the theory out fully in the right-half plane, without using results for the disk case, in order to expose the technical details of continuous-time systems theory. At the end of…
▽ More
We give a controllable energy-preserving and an observable co-energy-preserving de Branges-Rovnyak functional model realization of an arbitrary given operator Schur function defined on the complex right-half plane. We work the theory out fully in the right-half plane, without using results for the disk case, in order to expose the technical details of continuous-time systems theory. At the end of the article, we make explicit the connection to the corresponding classical de Branges-Rovnyak realizations for Schur functions on the complex unit disk.
△ Less
Submitted 14 January, 2014; v1 submitted 28 July, 2013;
originally announced July 2013.
-
Contractive multipliers from Hardy space to weighted Hardy space
Authors:
Joseph A. Ball,
Vladimir Bolotnikov
Abstract:
It is shown how any contractive multiplier from the Hardy space to a weighted Hardy space $H^{2}_{\bbeta}$ can be factored as a fixed factor composed with the classical Schur multiplier (contractive multiplier between Hardy spaces). The result is applied to get results on interpolation for a Hardy-to-weighted-Hardy contractive multiplier class.
It is shown how any contractive multiplier from the Hardy space to a weighted Hardy space $H^{2}_{\bbeta}$ can be factored as a fixed factor composed with the classical Schur multiplier (contractive multiplier between Hardy spaces). The result is applied to get results on interpolation for a Hardy-to-weighted-Hardy contractive multiplier class.
△ Less
Submitted 17 September, 2012;
originally announced September 2012.
-
Weighted Bergman spaces: shift-invariant subspaces and input/state/output linear systems
Authors:
Joseph A. Ball,
Vladimir Bolotnikov
Abstract:
It is well known that subspaces of the Hardy space over the unit disk which are invariant under the backward shift occur as the image of an observability operator associated with a discrete-time linear system with stable state-dynamics, as well as the functional-model space for a Hilbert space contraction operator, while forward shift-invariant subspaces have a representation in terms of an inner…
▽ More
It is well known that subspaces of the Hardy space over the unit disk which are invariant under the backward shift occur as the image of an observability operator associated with a discrete-time linear system with stable state-dynamics, as well as the functional-model space for a Hilbert space contraction operator, while forward shift-invariant subspaces have a representation in terms of an inner function. We discuss several variants of these statements in the context of weighted Bergman spaces on the unit disk.
△ Less
Submitted 17 September, 2012;
originally announced September 2012.
-
The Takagi problem on the disk and bidisk
Authors:
Jim Agler,
Joseph A. Ball,
John E. McCarthy
Abstract:
We give a new proof on the disk that a Pick problem can be solved by a rational function that is unimodular on the unit circle and for which the number of poles inside the disk is no more than the number of non-positive eigenvalues of the Pick matrix. We use this method to find rational solutions to Pick problems on the bidisk.
We give a new proof on the disk that a Pick problem can be solved by a rational function that is unimodular on the unit circle and for which the number of poles inside the disk is no more than the number of non-positive eigenvalues of the Pick matrix. We use this method to find rational solutions to Pick problems on the bidisk.
△ Less
Submitted 13 August, 2012;
originally announced August 2012.
-
Test functions, Schur-Agler classes and transfer-function realizations: the matrix-valued setting
Authors:
Joseph A. Ball,
Moisés Guerra Huamán
Abstract:
Given a collection of test functions, one defines the associated Schur-Agler class as the intersection of the contractive multipliers over the collection of all positive kernels for which each test function is a contractive multiplier. We indicate extensions of this framework to the case where the test functions, kernel functions, and Schur-Agler-class functions are allowed to be matrix- or operat…
▽ More
Given a collection of test functions, one defines the associated Schur-Agler class as the intersection of the contractive multipliers over the collection of all positive kernels for which each test function is a contractive multiplier. We indicate extensions of this framework to the case where the test functions, kernel functions, and Schur-Agler-class functions are allowed to be matrix- or operator-valued. We illustrate the general theory with two examples: (1) the matrix-valued Schur class over a finitely-connected planar domain and (2) the matrix-valued version of the constrained Hardy algebra (bounded analytic functions on the unit disk with derivative at the origin constrained to have zero value). Emphasis is on examples where the matrix-valued version is not obtained as a simple higher-multiplicity tensoring of the scalar-valued version.
△ Less
Submitted 17 September, 2011;
originally announced September 2011.
-
Convexity analysis and matrix-valued Schur class over finitely connected planar domains
Authors:
Joseph A. Ball,
Moisés Guerra Huamán
Abstract:
We identify the set of extreme points and apply Choquet theory to a normalized matrix-measure ball subject to finitely many linear side constraints. As an application we obtain integral representation formulas for the Herglotz class of matrix-valued functions on a finitely-connected planar domain and associated continuous Agler decompositions for the matrix-valued Schur class over the domain. The…
▽ More
We identify the set of extreme points and apply Choquet theory to a normalized matrix-measure ball subject to finitely many linear side constraints. As an application we obtain integral representation formulas for the Herglotz class of matrix-valued functions on a finitely-connected planar domain and associated continuous Agler decompositions for the matrix-valued Schur class over the domain. The results give some additional insight into the negative answer to the spectral set problem over such domains recently obtained by Agler-Harland-Raphael and Dritschel-McCullough.
△ Less
Submitted 17 September, 2011;
originally announced September 2011.
-
Canonical transfer-function realization for Schur multipliers on the Drury-Arveson space and models for commuting row contractions
Authors:
Joseph A. Ball,
Vladimir Bolotnikov
Abstract:
We develop a $d$-variable analog of the two-component de Bran-ges-Rovnyak reproducing kernel Hilbert space associated with a Schur-class function on the unit disk. In this generalization, the unit disk is replaced by the unit ball in $d$-dimensional complex Euclidean space, and the Schur class becomes the class of contractive multipliers on the Drury-Arveson space over the ball. We also develop so…
▽ More
We develop a $d$-variable analog of the two-component de Bran-ges-Rovnyak reproducing kernel Hilbert space associated with a Schur-class function on the unit disk. In this generalization, the unit disk is replaced by the unit ball in $d$-dimensional complex Euclidean space, and the Schur class becomes the class of contractive multipliers on the Drury-Arveson space over the ball. We also develop some results on a model theory for commutative row contractions which are not necessarily completely noncoisometric (the case considered in earlier work of Bhattacharyya, Eschmeier and Sarkar)
△ Less
Submitted 7 March, 2011;
originally announced March 2011.
-
Extension of the $ν$-metric: the $H^\infty$ case
Authors:
Joseph A. Ball,
Amol J. Sasane
Abstract:
An abtract $ν$-metric was introduced by Ball and Sasane, with a view towards extending the classical $ν$-metric of Vinnicombe from the case of rational transfer functions to more general nonrational transfer function classes of infinite-dimensional linear control systems. In this short note, we give an additional concrete special instance of the abstract $ν$-metric, by verifying all the assumption…
▽ More
An abtract $ν$-metric was introduced by Ball and Sasane, with a view towards extending the classical $ν$-metric of Vinnicombe from the case of rational transfer functions to more general nonrational transfer function classes of infinite-dimensional linear control systems. In this short note, we give an additional concrete special instance of the abstract $ν$-metric, by verifying all the assumptions demanded in the abstract set-up. This example links the abstract $ν$-metric with the one proposed by Vinnicombe as a candidate for the $ν$-metric for nonrational plants.
△ Less
Submitted 9 October, 2010;
originally announced October 2010.
-
The inverse commutant lifting problem: characterization of associated Redheffer linear-fractional maps
Authors:
Joseph A. Ball,
Alexander Kheifets
Abstract:
It is known that the set of all solutions of a commutant lifting and other interpolation problems admits a Redheffer linear-fractional parametrization. The method of unitary coupling identifies solutions of the lifting problem with minimal unitary extensions of a partially defined isometry constructed explicitly from the problem data. A special role is played by a particular unitary extension,…
▽ More
It is known that the set of all solutions of a commutant lifting and other interpolation problems admits a Redheffer linear-fractional parametrization. The method of unitary coupling identifies solutions of the lifting problem with minimal unitary extensions of a partially defined isometry constructed explicitly from the problem data. A special role is played by a particular unitary extension, called the central or universal unitary extension. The coefficient matrix for the Redheffer linear-fractional map has a simple expression in terms of the universal unitary extension. The universal unitary extension can be seen as a unitary coupling of four unitary operators (two bilateral shift operators together with two unitary operators coming from the problem data) which has special geometric structure. We use this special geometric structure to obtain an inverse theorem (Theorem 8.4 as well as Theorem 9.3) which characterizes the coefficient matrices for a Redheffer linear-fractional map arising in this way from a lifting problem. When expressed in terms of Hellinger-space functional models (Theorem 10.3), these results lead to generalizations of classical results of Arov and to characterizations of the coefficient matrix-measures of the lifting problem in terms of the density properties of the corresponding model spaces. The main tool is the formalism of unitary scattering systems developed in [18], [45].
△ Less
Submitted 3 April, 2010;
originally announced April 2010.
-
Extension of the $ν$-metric
Authors:
Joseph A. Ball,
Amol J. Sasane
Abstract:
We extend the $ν$-metric introduced by Vinnicombe in robust control theory for rational plants to the case of infinite-dimensional systems/classes of nonrational transfer functions.
We extend the $ν$-metric introduced by Vinnicombe in robust control theory for rational plants to the case of infinite-dimensional systems/classes of nonrational transfer functions.
△ Less
Submitted 27 February, 2010;
originally announced March 2010.
-
Robust control, multidimensional systems and multivariable Nevanlinna-Pick interpolation
Authors:
J. A. Ball,
S. ter Horst
Abstract:
The connection between the standard $H^\infty$-problem in control theory and Nevanlinna-Pick interpolation in operator theory was established in the 1980s, and has led to a fruitful cross-pollination between the two fields since. In the meantime, research in $H^\infty$-control theory has moved on to the study of robust control for systems with structured uncertainties and to various types of mul…
▽ More
The connection between the standard $H^\infty$-problem in control theory and Nevanlinna-Pick interpolation in operator theory was established in the 1980s, and has led to a fruitful cross-pollination between the two fields since. In the meantime, research in $H^\infty$-control theory has moved on to the study of robust control for systems with structured uncertainties and to various types of multidimensional systems, while Nevanlinna-Pick interpolation theory has moved on independently to a variety of multivariable settings. Here we review these developments and indicate the precise connections which survive in the more general multidimensional/multivariable incarnations of the two theories.
△ Less
Submitted 18 June, 2009;
originally announced June 2009.
-
A W*-correspondence approach to multi-dimensional linear dissipative systems
Authors:
J. A. Ball,
S. ter Horst
Abstract:
Recent work of the operator algebraists P. Muhly and B. Solel, primarily motivated by the theory of operator algebras and mathematical physics, delineates a general abstract framework where system theory ideas appear in disguised form. These system-theory ingredients include: system matrix for an input/state/output linear system, Z-transform from a "time domain" to a "frequency domain", and Z-tr…
▽ More
Recent work of the operator algebraists P. Muhly and B. Solel, primarily motivated by the theory of operator algebras and mathematical physics, delineates a general abstract framework where system theory ideas appear in disguised form. These system-theory ingredients include: system matrix for an input/state/output linear system, Z-transform from a "time domain" to a "frequency domain", and Z-transform of the output signal given by an observation function applied to the initial condition plus a transfer function applied to the Z-transform of the input signal. Here we set down the definitions and main results for the general Muhly-Solel formalism and illustrate them for two specific types of multi-dimensional linear systems: (1) dissipative Fornasini-Marchesini state-space representations with transfer function equal to a holomorphic operator-valued function on the unit ball in ${\mathbb C}^d$, and (2) noncommutative dissipative Fornasini-Marchsini linear systems with evolution along a free semigroup and with transfer function defined on the noncommutative ball of strict row contractions on a Hilbert space.
△ Less
Submitted 4 June, 2009;
originally announced June 2009.
-
A constrained Nevanlinna-Pick interpolation problem for matrix-valued functions
Authors:
J. A. Ball,
V. Bolotnikov,
S. ter Horst
Abstract:
Recent results of Davidson-Paulsen-Raghupathi-Singh give necessary and sufficient conditions for the existence of a solution to the Nevanlinna-Pick interpolation problem on the unit disk with the additional restriction that the interpolant should have the value of its derivative at the origin equal to zero. This concrete mild generalization of the classical problem is prototypical of a number of…
▽ More
Recent results of Davidson-Paulsen-Raghupathi-Singh give necessary and sufficient conditions for the existence of a solution to the Nevanlinna-Pick interpolation problem on the unit disk with the additional restriction that the interpolant should have the value of its derivative at the origin equal to zero. This concrete mild generalization of the classical problem is prototypical of a number of other generalized Nevanlinna-Pick interpolation problems which have appeared in the literature (for example, on a finitely-connected planar domain or on the polydisk). We extend the results of Davidson-Paulsen-Raghupathi-Singh to the setting where the interpolant is allowed to be matrix-valued and elaborate further on the analogy with the theory of Nevanlinna-Pick interpolation on a finitely-connected planar domain.
△ Less
Submitted 13 September, 2008;
originally announced September 2008.
-
Equivalence of robust stabilization and robust performance via feedback
Authors:
J. A. Ball,
Q. Fang,
G. J. Groenewald,
S. ter Horst
Abstract:
One approach to robust control for linear plants with structured uncertainty as well as for linear parameter-varying (LPV) plants (where the controller has on-line access to the varying plant parameters) is through linear-fractional-transformation (LFT) models. Control issues to be addressed by controller design in this formalism include robust stability and robust performance. Here robust perfo…
▽ More
One approach to robust control for linear plants with structured uncertainty as well as for linear parameter-varying (LPV) plants (where the controller has on-line access to the varying plant parameters) is through linear-fractional-transformation (LFT) models. Control issues to be addressed by controller design in this formalism include robust stability and robust performance. Here robust performance is defined as the achievement of a uniform specified $L^{2}$-gain tolerance for a disturbance-to-error map combined with robust stability. By setting the disturbance and error channels equal to zero, it is clear that any criterion for robust performance also produces a criterion for robust stability. Counter-intuitively, as a consequence of the so-called Main Loop Theorem, application of a result on robust stability to a feedback configuration with an artificial full-block uncertainty operator added in feedback connection between the error and disturbance signals produces a result on robust performance. The main result here is that this performance-to-stabilization reduction principle must be handled with care for the case of dynamic feedback compensation: casual application of this principle leads to the solution of a physically uninteresting problem, where the controller is assumed to have access to the states in the artificially-added feedback loop. Application of the principle using a known more refined dynamic-control robust stability criterion, where the user is allowed to specify controller partial-state dimensions, leads to correct robust-performance results. These latter results involve rank conditions in addition to Linear Matrix Inequality (LMI) conditions.
△ Less
Submitted 19 August, 2008;
originally announced August 2008.
-
Multivariable operator-valued Nevanlinna-Pick interpolation: a survey
Authors:
J. A. Ball,
S. ter Horst
Abstract:
The theory of Nevanlinna-Pick and Carathéodory-Fejér interpolation for matrix- and operator-valued Schur class functions on the unit disk is now well established. Recent work has produced extensions of the theory to a variety of multivariable settings, including the ball and the polydisk (both commutative and noncommutative versions), as well as a time-varying analogue. Largely independent of th…
▽ More
The theory of Nevanlinna-Pick and Carathéodory-Fejér interpolation for matrix- and operator-valued Schur class functions on the unit disk is now well established. Recent work has produced extensions of the theory to a variety of multivariable settings, including the ball and the polydisk (both commutative and noncommutative versions), as well as a time-varying analogue. Largely independent of this is the recent Nevanlinna-Pick interpolation theorem by P.S. Muhly and B. Solel for an abstract Hardy algebra set in the context of a Fock space built from a $W^*$-correspondence E over a $W^{*}$-algebra $\cA$ and a *-representation $σ$ of $\cA$. In this review we provide an exposition of the Muhly-Solel interpolation theory accessible to operator theorists, and explain more fully the connections with the already existing interpolation literature. The abstract point evaluation first introduced by Muhly-Solel leads to a tensor-product type functional calculus in the main examples. A second kind of point-evaluation for the $W^*$-correspondence Hardy algebra, also introduced by Muhly and Solel, is here further investigated, and a Nevanlinna-Pick theorem in this setting is proved. It turns out that, when specified for examples, this alternative point-evaluation leads to an operator-argument functional calculus and corresponding Nevanlinna-Pick interpolation. We also discuss briefly several Nevanlinna-Pick interpolation results for Schur classes that do not fit into the Muhly-Solel $W^*$-correspondence formalism.
△ Less
Submitted 18 August, 2008;
originally announced August 2008.
-
Multivariable generalizations of the Schur class: positive kernel characterization and transfer function realization
Authors:
Joseph A. Ball,
Animikh Biswas,
Quanlei Fang,
Sanne ter Horst
Abstract:
The operator-valued Schur-class is defined to be the set of holomorphic functions $S$ map** the unit disk into the space of contraction operators between two Hilbert spaces. There are a number of alternate characterizations: the operator of multiplication by $S$ defines a contraction operator between two Hardy Hilbert spaces, $S$ satisfies a von Neumann inequality, a certain operator-valued ke…
▽ More
The operator-valued Schur-class is defined to be the set of holomorphic functions $S$ map** the unit disk into the space of contraction operators between two Hilbert spaces. There are a number of alternate characterizations: the operator of multiplication by $S$ defines a contraction operator between two Hardy Hilbert spaces, $S$ satisfies a von Neumann inequality, a certain operator-valued kernel associated with $S$ is positive-definite, and $S$ can be realized as the transfer function of a dissipative (or even conservative) discrete-time linear input/state/output linear system. Various multivariable generalizations of this class have appeared recently,one of the most encompassing being that of Muhly and Solel where the unit disk is replaced by the strict unit ball of the elements of a dual correspondence $E^σ$ associated with a $W^{*}$-correspondence $E$ over a $W^{*}$-algebra $\cA$ together with a $*$-representation $σ$ of $\cA$. The main new point which we add here is the introduction of the notion of reproducing kernel Hilbert correspondence and identification of the Muhly-Solel Hardy spaces as reproducing kernel Hilbert correspondences associated with a completely positive analogue of the classical Szegö kernel. In this way we are able to make the analogy between the Muhly-Solel Schur class and the classical Schur class more complete. We also illustrate the theory by specializing it to some well-studied special cases; in some instances there result new kinds of realization theorems.
△ Less
Submitted 2 November, 2007; v1 submitted 14 May, 2007;
originally announced May 2007.
-
Schur-class multipliers on the Arveson space: de Branges-Rovnyak reproducing kernel spaces and commutative transfer-function realizations
Authors:
Joseph A. Ball,
Vladimir Bolotnikov,
Quanlei Fang
Abstract:
An interesting and recently much studied generalization of the classical Schur class is the class of contractive operator-valued multipliers $S$ for the reproducing kernel Hilbert space ${\mathcal H}(k_{d})$ on the unit ball ${\mathbb B}^{d} \subset {\mathbb C}^{d}$, where $k_{d}$ is the positive kernel $k_{d}(λ, ζ) = 1/(1 - < λ, ζ>)$ on ${\mathbb B}^{d}$. The reproducing kernel space…
▽ More
An interesting and recently much studied generalization of the classical Schur class is the class of contractive operator-valued multipliers $S$ for the reproducing kernel Hilbert space ${\mathcal H}(k_{d})$ on the unit ball ${\mathbb B}^{d} \subset {\mathbb C}^{d}$, where $k_{d}$ is the positive kernel $k_{d}(λ, ζ) = 1/(1 - < λ, ζ>)$ on ${\mathbb B}^{d}$. The reproducing kernel space ${\mathcal H}(K_{S})$ associated with the positive kernel $K_{S}(λ, ζ) = (I - S(λ) S(ζ)^{*}) \cdot k_{d}(λ, ζ)$ is a natural multivariable generalization of the classical de Branges-Rovnyak canonical model space. A special feature appearing in the multivariable case is that the space ${\mathcal H}(K_{S})$ in general may not be invariant under the adjoints $M_{λ_{j}}^{*}$ of the multiplication operators $M_{λ_{j}} \colon f(λ) \mapsto λ_{j} f(λ)$ on ${\mathcal H}(k_{d})$.
We show that invariance of ${\mathcal H}(K_{S})$ under $M_{λ_{j}}^{*}$ for each $j = 1, ..., d$ is equivalent to the existence of a weakly coisometric realization for $S$ of the form $S(λ) = D + C (I - λ_{1}A_{1} ... - λ_{d} A_{d})^{-1}(λ_{1}B_{1} + ... + λ_{d} B_{d})$ such that the state operators $A_{1}, ..., A_{d}$ pairwise commute. We show that this special situation always occurs for the case of inner functions $S$ (where the associated multiplication operator $M_{S}$ is a partial isometry), and that inner multipliers are characterized by the existence of such a realization such that the state operators $A_{1}, >..., A_{d}$ satisfy an additional stability property.
△ Less
Submitted 20 October, 2006;
originally announced October 2006.
-
Transfer-function realization for multipliers of the Arveson space
Authors:
Joseph A. Ball,
Vladimir Bolotnikov,
Quanlei Fang
Abstract:
An interesting and recently much studied generalization of the classical Schur class is the class of contractive operator-valued multipliers for the reproducing kernel Hilbert space ${\mathcal H}(k_{d})$ on the unit ball ${\mathbb B}^{d} \subset {\mathbb C}^{d}$, where $k_{d}$ is the positive kernel $k_{d}(λ, ζ) = 1/(1 - < λ, ζ>)$ on ${\mathbb B}^{d}$. We study this space from the point of view…
▽ More
An interesting and recently much studied generalization of the classical Schur class is the class of contractive operator-valued multipliers for the reproducing kernel Hilbert space ${\mathcal H}(k_{d})$ on the unit ball ${\mathbb B}^{d} \subset {\mathbb C}^{d}$, where $k_{d}$ is the positive kernel $k_{d}(λ, ζ) = 1/(1 - < λ, ζ>)$ on ${\mathbb B}^{d}$. We study this space from the point of view of realization theory and functional models of de Branges-Rovnyak type. We highlight features which depart from the classical univariate case: coisometric realizations have only partial uniqueness properties, the nonuniqueness can be described explicitly, and this description assumes a particularly concrete form in the functional-model context.
△ Less
Submitted 20 October, 2006;
originally announced October 2006.
-
Schur-class multipliers on the Fock space: de Branges-Rovnyak reproducing kernel spaces and transfer-function realizations
Authors:
Joseph A. Ball,
Vladimir Bolotnikov,
Quanlei Fang
Abstract:
We introduce and study a Fock-space noncommutative analogue of reproducing kernel Hilbert spaces of de Branges-Rovnyak type. Results include: use of the de Branges-Rovnyak space ${\mathcal H}(K_{S})$ as the state space for the unique (up to unitary equivalence) observable, coisometric transfer-function realization of the Schur-class multiplier $S$, realization-theoretic characterization of inner…
▽ More
We introduce and study a Fock-space noncommutative analogue of reproducing kernel Hilbert spaces of de Branges-Rovnyak type. Results include: use of the de Branges-Rovnyak space ${\mathcal H}(K_{S})$ as the state space for the unique (up to unitary equivalence) observable, coisometric transfer-function realization of the Schur-class multiplier $S$, realization-theoretic characterization of inner Schur-class multipliers, and a calculus for obtaining a realization for an inner multiplier with prescribed left zero-structure. In contrast with the parallel theory for the Arveson space on the unit ball ${\mathbb B}^{d} \subset {\mathbb C}^{d}$ (which can be viewed as the symmetrized version of the Fock space used here), the results here are much more in line with the classical univariate case, with the extra ingredient of the existence of all results having both a ``left'' and a ``right'' version.
△ Less
Submitted 20 October, 2006;
originally announced October 2006.