On realizations of rational matrix functions of several complex variables

From MaRDI portal





The paper under review is devoted to studying realizations of rational matrix-valued functions of several complex variables by means of a long resolvent. This is closely related to the theory of multidimensional linear systems (and in particular to multidimensional circuits). The following main result is proved. Every rational \(\mathbb{C}^{k\times k}\)-valued matrix function \(f(z_1,\ldots,z_n)\) of the complex variables \(z_1,\ldots,z_n\) can be represented in the form \[ f(z)=A_{11}(z)-A_{12}(z)\big(A_{22}(z)\big)^{-1}A_{21}(z) \] where \(A=\big(A_{ij}(z)\big)_{i,j=1,2}\) is the block decomposition of a linear matrix bundle \[ A(z)=A_0+z_1A_1+\cdots+z_nA_n \] with square complex matrices \(A_0,\, A_1,\,\ldots,\,A_n\) such that the block \(A_{11}(z)\) is \(\mathbb{C}^{k\times k}\)-valued and the block \(A_{22}(z)\) is square non-singular. Moreover, {} if \(f(z)=\overline{f(\overline{z})}\), the matrices \(A_j\) \((j=0,1,\ldots,n)\) can be chosen real; {} if \(f(z)=f(z)'\), the matrices \(A_j\) \((j=0,1,\ldots,n)\) can be chosen symmetric; {} if \(f(\lambda z)=\lambda f(z)\) with \(\lambda\in\mathbb{C}\), then \(A_0=0\). Such a representation is said to be a representation of \(f(z)\) in the form of a long resolvent. In the sequel, the properties of rational positive real matrix functions of several complex variables are studied. A rational matrix function \(f(z)\) is called positive real if it is holomorphic in the domains \[ \begin{aligned} \mathcal{D}^+_R &= \{z\in\mathbb{C}^n,\;\text{Re}\,z_j>0\;(j=1,\ldots,n)\},\\ \mathcal{D}^-_R &= \{z\in\mathbb{C}^n,\;\text{Re}\, z_j<0\;(j=1,\ldots,n)\},\\ \mathcal{D}^+_J &=\{z\in\mathbb{C}^n,\;\text{Im}\,z_j>0\;(j=1,\ldots,n)\},\\ \mathcal{D}^-_J &= \{z\in\mathbb{C}^n,\text{ Im}\,z_j<0\;(j=1,\ldots,n)\} \end{aligned} \] and satisfies the conditions {(1)} \(f(z)+f(z)^*\geq 0\) for \(z\in\mathcal{D}^+_R\), {(2)} \(f(z)+f(z)^*\leq 0\) for \(z\in\mathcal{D}^-_R\), {(3)} \(i(f(z)^*-f(z))\geq 0\) for \(z\in\mathcal{D}^+_J\), {(4)} \(i(f(z)^*-f(z))\leq 0\) for \(z\in\mathcal{D}^-_J\), {(5)} \(\overline{f(\overline{z})}=f(z)\). Finally, the properties of functions which admit a representation as the resolvent of a bundle of non-negative definite (positive semi-definite) matrices are investigated. For the entire collection see [Zbl 1013.00027].











This page was built for publication: On realizations of rational matrix functions of several complex variables

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