A canonical form for self-adjoint pencils in Hilbert space (Q1121503)

The author characterizes the pencils \(P=\lambda A-B\) of operators on a separable Hilbert space H for which a linear homeomorphism D of H exists satisfying the following conditions: (i) H decomposes into a direct sum \(F \overset\circ+ G\), orthogonal in a (perhaps indefinite) inner product induced by A, where F is finite dimensional; (ii) \(D^*PD=P_ F\oplus (\lambda I_ G-C)\) where \(P_ F\) is a (congruence) canonical form for the general self-adjoint pencil on F, and C is a bounded self-adjoint operator on G. For a given P, explicit constructions are given for C, D, F, G and \(P_ F\).