Laurent series for inversion of linearly perturbed bounded linear operators on Banach space (Q2268071)

The authors find necessary and sufficient conditions for the existence of a Laurent series expansion with a finite order pole at the origin for the inverse of a linearly perturbed bounded linear operator between Banach spaces. The following result is proved: Let \(H,K\) be Banach spaces and let \(A_0,A_1 \in \mathcal L(H,K)\) be bounded linear operators. Suppose that \(A_0(H)=K\) and \(M=A_0^{-1}(\{0\}) \neq \{0\}\). The operator \(A(z)=A_0+A_1 z \in \mathcal L(H,K)\), \(z \in \mathbb C\), is invertible with the inverse \(A(z)^{-1}\) represented by a Laurent series on some region \(0<|z|<r\) with a pole of order \(1\) at \(z=0\) if and only if there exist bounded linear operators \(X_0,X_1,Y_0,Y_1 \in \mathcal L(K,H)\) such that \(A_0X_0=0\), \(A_0X_1+A_1X_0=I\), \(Y_0A_0=0\), and \(Y_1A_0+Y_0A_1=I\). This is in turn equivalent to the existence of a linear projection \(P \in \mathcal L(H,M)\) to \(M\) with \(A_0P=0\) and a linear projection \(Q \in \mathcal L(K,N)\) to \(N=A_1(M)\) with \(QA_0=0\) such that \(A_0\) is bounded below on \(M^c =(I-P)(H)\) and \(A_1\) is bounded below on \(M=P(H)\). These conditions imply that there are complementary spaces \(M^c\) and \(N^c\) such that \(H=M \oplus M^c\) and \(K = N \oplus N^{c}\). Singular perturbations where the inverse operator has a higher order pole are reduced to the first order theory by means of special augmented operators. The corresponding Hilbert space problem was treated in [\textit{P. Howlett, K. Avrachenkov, C. Pearce} and \textit{V. Ejov}, J. Math. Anal. Appl. 353, No. 1, 68--84 (2009; Zbl 1216.47020)]. The authors give applications to the problem of input retrieval in infinite-dimensional linear control systems and to a singularly perturbed Markov process.