On the local-global decomposition of linear control systems. (Q1421539)

Linear, \(m\)-input systems \(\Sigma=(A,B)\) on modules are studied; they are defined by a linear map \(A : X \rightarrow X\) of a projective module \(X\) over a commutative ring \(R\), and a linear map \(B : R^m\rightarrow X\). Two such systems \(\Sigma= (A, B)\) and \(\Sigma '=(A',B') \) are referred to as feedback equivalent if there exists a triple \((P,Q,F)\) of maps such that \(PBQ= B'\) and \(P(A+BF)P^{-1}=A'\). An \(m\)-input system \(\Sigma=(A,B)\) is called locally Brunovsky if for every prime ideal \(p\) of \(R\), the system \(\Sigma_p=(A_p,B_p)\), obtained by extension of scalars from \(R\) to \(R_p\), is feedback equivalent to a Brunovsky canonical form. Given a system \(\Sigma=(A, B)\), the maps \(\varphi_i^\Sigma (u_1,\dots, u_i)= \sum_{j=1}^i A^{j-1} Bu_j\), \(i\geq1\), generate its feedback invariants: Im\,\(\varphi_i^\Sigma=N_i^\Sigma\) and \(X| N_i^\Sigma=M_i^\Sigma\). There are two main results in the paper. The first one of them (Theorem 4) asserts that a reachable system \(\Sigma=(A,B)\) is locally Brunovsky if and only if all modules \(M_i^\Sigma\) are projective. The second result (Theorem 10) establishes that two systems \(\Sigma=(A, B), \Sigma'=(A',B')\) defined, respectively, on \(X\) and \(X'\) and having projective modules \(M_1^\Sigma\), \(M_1^{\Sigma'},\) are feedback equivalent if and only if the modules \(\text{Ker\,}B\), \(\text{Ker\,}B'\) are isomorphic, and the so-called associated \(\delta\)-systems \(\delta(\Sigma), \delta(\Sigma')\) are feedback equivalent.