Spectral properties of infinite-dimensional closed-loop systems

We consider feedback systems obtained from infinite-dimensional well-posed linear systems by output feedback. Thus, our framework allows for unbounded control and observation operators. Our aim is to investigate the relationship between the open-loop system, the feedback operator K and the spectrum (in particular, the eigenvalues and eigenvectors) of the closed-loop generator A^K. We give a useful characterization of that part of the spectrum σ (A ^K) which lies in the resolvent set of A, the open-loop generator, via the "characteristic equation" involving the open-loop transfer function. We show that certain points of σ (A) cannot be eigenvalues of A^K if the input and output are scalar (so that K is a number) and K ≠ 0. We devote special attention to the case when the output feedback operator K is compact. It is relatively easy to prove that in this case, σ _e (A), the essential spectrum of A, is invariant, that is, it is equal to σ_e(A^K). A related but much harder problem is to determine the largest subset of σ(A) which remains invariant under compact output feedback. This set, which we call the immovable spectrum of A, strictly contains σ _e(A). We give an explicit characterization of the immovable spectrum and we investigate the consequences of our results for a certain class of well-posed systems obtained by interconnecting an infinite chain of identical systems.