Perturbation expansions for invariant subspaces (Q807712)

This is an application of the author's method described in [J. Comput. Math. 3, 351-364 (1985; Zbl 0618.15009)]. The present main result is the following expansion theorem. Let A, B, \(X=(X_ 1,X_ 2),\) \(Y=(Y_ 1,Y_ 2)\in C^{n\times n}\), \(X_ 1\in C^{n\times \ell}\), \(X_ 1^ HX_ 1=I_{\ell}\), \(X_ 2^ HX_ 2=I_{n-\ell}\), \(Y_ 1\in C^{n\times \ell}\) be such that \(Y^ TX=I\), \(Y^ TAX=\left[ \begin{matrix} A_{11}\\ 0\end{matrix} \begin{matrix} A_{12}\\ A_{22}\end{matrix} \right]\) with \(A_{11}\in C^{\ell \times \ell}\), \(\sigma (A_{11})\cap \sigma (A_{22})=\emptyset\), \(\chi_ 1\) the column space of \(X_ 1\), \(Y^ TBX=\left[ \begin{matrix} B_{11}\\ B_{21}\end{matrix} \begin{matrix} B_{12}\\ B_{22}\end{matrix} \right]\), and let the operator T be defined by \(TP=PA_{11}-A_{22}P\) with \(P\in C^{(n-\ell)\times \ell}\). Then \(A+tB\) has a unique \(\ell\)-dimensional invariant subspace \(\chi_ 1(t)\) such that \(\chi_ 1(0)=\chi_ 1\) with basis vectors \(x_ 1(t),...,x_{\ell}(t)\) that are analytic functions in a neighborhood N of \(t=0\) and the matrix valued function \(X_ 1(t)=(x_ 1(t),...,x_{\ell}(t))\) has a perturbation expansion \(X_ 1(t)=X_ 1+\sum^{\infty}_{m=1}X_ 2W_ mt^ m\), \(t\in N\), with \(W_ 1=T^{-1}B_{21}\), \(W_ 2=T^{-1}[(B_{22}W_ 1-W_ 1B_{11})- W_ 1A_{12}W_ 1]\), etc. From this is derived a perturbation estimation at \(t=0\) of any order k.