#### Document Type

Article

#### Publication Date

2006

#### Abstract

Formal power series in N non-commuting indeterminates can be considered as a counterpart of functions of one variable holomorphic at 0, and some of their properties are described in terms of coefficients. However, really fruitful analysis begins when one considers for them evaluations on N-tuples of n × n matrices (with n = 1, 2, . . .) or operators on an infinite-dimensional separable Hilbert space. Moreover, such evaluations appear in control, optimization and stabilization problems of modern system engineering.

In this paper, a theory of realization and minimal factorization of rational matrix-valued functions which are J-unitary on the imaginary line or on the unit circle is extended to the setting of non-commutative rational formal power series. The property of J-unitarity holds on N-tuples of n × n skew-Hermitian versus unitary matrices (n = 1, 2, . . .), and a rational formal power series is called matrix-J-unitary in this case. The close relationship between minimal realizations and structured Hermitian solutions H of the Lyapunov or Stein equations is established. The results are specialized for the case of matrix-J-inner rational formal power series. In this case H > 0, however the proof of that is more elaborated than in the one-variable case and involves a new technique. For the rational matrix-inner case, i.e., when J = I, the theorem of Ball, Groenewald and Malakorn on unitary realization of a formal power series from the non-commutative Schur–Agler class admits an improvement: the existence of a minimal (thus, finite-dimensional) such unitary realization and its uniqueness up to a unitary similarity is proved. A version of the theory for matrix-selfadjoint rational formal power series is also presented. The concept of non-commutative formal reproducing kernel Pontryagin spaces is introduced, and in this framework the backward shift realization of a matrix-J-unitary rational formal power series in a finite-dimensional non-commutative de Branges–Rovnyak space is described.

#### Recommended Citation

D. Alpay and D. Kalyuzhnyi-Verbovetzkii, Matrix-J-unitary non-commutative rational formal power series. Operator Theory: Advances and Applications, vol. 161 (2006), pp.49-113.

#### Peer Reviewed

1

#### Copyright

Springer

#### Included in

Algebra Commons, Discrete Mathematics and Combinatorics Commons, Other Mathematics Commons

## Comments

This is a pre-copy-editing, author-produced PDF of an article accepted for publication in

Operator Theory: Advances and Applications, volume 161, in 2006 following peer review. The final publication is available at Springer via DOI: 10.1007/3-7643-7431-4_2