8.2: The Resolvent
( \newcommand{\kernel}{\mathrm{null}\,}\)
The Transfer Function
One means by which to come to grips with R(s) is to treat it as the matrix analog of the scalar function
1s−b
This function is a scaled version of the even simpler function 11−z This latter function satisfies the identity (just multiply across by 1−z to check it)
11−z=1+z+z2+⋯+zn−1+zn1−z
for each positive integer n. Furthermore, if |z|<1 then zn→0 as n→∞ and so Equation becomes, in the limit,
11−z=∞∑n=0zn
the familiar geometric series. Returning to Equation we write
1s−b=1s1−bs=1s+bs2+⋯+bn−1sn+bnsn1s−b
and hence, so long as |s|>|b| we find,
1s−b=1s∞∑n=0(bs)n
This same line of reasoning may be applied in the matrix case. That is,
(sI−B)−1=s−1(I−Bs)−1(1s+Bs2+⋯+Bn−1sn+Bnsn(sI−B)−1)
and hence, so long as |s|>||B|| where ||B|| is the magnitude of the largest element of B
1sI−B=s−1∞∑n=0(Bs)n
Although Equation is indeed a formula for the transfer function you may, regarding computation, not find it any more attractive than the Gauss-Jordan method. We view Equation however as an analytical rather than computational tool. More precisely, it facilitates the computation of integrals of R(s). However, Cρ is the circle of radius ρ centered at the origin and ρ>||B|| then
∫Cρ(sI−B)−1ds=∞∑n=0Bn∫Cρs−1−nds=2πiI
This result is essential to our study of the eigenvalue problem. As are the two resolvent identities. Regarding the first we deduce from the simple observation
(s2I−B)−1−(s1I−B)−1=(s2I−B)−1(s1I−B−s2I+B)(s1I−B)−1
that
R(s2)−R(s1)=(s1−s2)R(s2)R(s1)
The second identity is simply a rewriting of
(sI−B)(sI−B)−1=(sI−B)−1(sI−B)=I
namely,
BR(s)=R(s)B=sR(s)−I