Keldysh's theorem revisited

TL;DR

This paper revisits Keldysh's theorem, providing a streamlined derivation for matrices and extending the theorem with a new principal part formula, especially focusing on the semisimple case with first-order poles.

Contribution

It offers a simplified proof for the matrix case and extends Keldysh's theorem with a novel principal part formula, emphasizing the semisimple case.

Findings

Streamlined derivation of Keldysh's theorem for matrices

Extension of the theorem with a new principal part formula

Detailed analysis of the semisimple case with first-order poles

Abstract

In a variety of applications, the problem comes up of describing the principal part of the inverse of a holomorphic operator at an eigenvalue in terms of left and right root functions associated to the eigenvalue. Such a description was given by Keldysh in 1951. His theorem, the proof of which was published only in 1971, is a fundamental result in the local spectral theory of operator-valued functions. Here we present a streamlined derivation in the matrix case, and we extend Keldysh's theorem by means of a new principal part formula. Special attention is given to the semisimple case (first-order poles).