A two-parameter spectral theorem (Q1199800)

It is shown that the characteristic set \({\mathcal C}=\{ (\alpha,\beta)\in \mathbb{R}\times \mathbb{R}\): \(\text{ker}(I- \alpha A-\beta B)\neq 0\}\) of a pair \((A,B)\) of selfadjoint compact operators on a real Hilbert space \({\mathcal H}\) is the union of a sequence of characteristic curves \({\mathcal C}_ n\) in the \((\alpha,\beta)\) plane. Each curve is the analytic image of an open interval and is either closed or goes to infinity at both ends of the interval. Selfintersections or intersections with other characteristic curves can occur at at most countably many points. Moreover analytic eigenprojection functions \(E_ n\) can be attached to each point of the characteristic curve except at the intersection points. One of the main tools for the analysis is the perturbation theory for linear operators on the complexification of \({\mathcal H}\).