resolvent function is analytic
Theorem - Let be a complex Banach algebra with identity element
. Let and denote its spectrum.
Then, the resolvent function (http://planetmath.org/ResolventMatrix) defined by is analytic (http://planetmath.org/BanachSpaceValuedAnalyticFunctions).
Moreover, for each it has the power series
(1) |
where the series converges absolutely for each in the open disk centered in given by
(2) |
Proof : Analyticity is defined for functions whose domain is open.
Thus, we start by proving that is an open set in . To do so it is enough to prove that for every the open disk defined by (2) above is contained in .
Let and be such that
Then and by the Neumann series (http://planetmath.org/NeumannSeriesInBanachAlgebras) is invertible.
Since it follows that is invertible.
Hence, from the equality
(3) |
we conclude that is also invertible, i.e. . Thus is open.
The above proof also pointed out that for every , is defined in the open disk of radius centered in .
We now prove the analyticity of the .
Taking inverses on the equality (3) above one obtains
Again, by the Neumann series (http://planetmath.org/NeumannSeriesInBanachAlgebras), one obtains