Perron formula for matrix powers

[bpet]

The following interesting result popped up in an old probability textbook (without proof or citations) and I'm curious to know how it can be derived.

The elements $$p_{ij}^{(n)}$$ of matrix $$P^n$$ (size m) are also determined by the Perron formula

$$p_{ij}^{(n)} = \sum_{s=1}^r \frac{1}{(v_s-1)!}\left\{\frac{d^{v_s-1}}{d\lambda^{v_s-1}}\left[\frac{\lambda^nA_{ji}(\lambda)(\lambda-\lambda_s)^{v_s}}{|\lambda I_m-P|}\right]\right\}_{\lambda=\lambda_s}$$

where $$r$$ is the number of distinct eigenvalues, $$\lambda_s$$ are the distinct eigenvalues with multiplicity $$v_s$$ (so $$v_1+\ldots+v_s=m$$) and $$A_{ji}(\lambda)$$ is the cofactor of the elements $$\lambda\delta_{ji}-p_{ji}$$ in the determinant $$|\lambda I_m-P|$$ and $$I_m$$ is the identity matrix of the same size as P.

It seems to work for any matrix (not just Markov transition probabilities) and as far as I can tell it's not related to the Perron formula of number theory.

The term $$A_{ji}(\lambda)/|\lambda I_m-P|$$ would hint that $$(\lambda I_m-P)^{-1}$$ is involved, so I suspect it's done by finding the Laplace transform of $$e^{tP}$$ and somehow extracting the nth term of the Taylor series. Is this on the right track and if so, how would it be done? In particular, how do they turn the expression into a sum of derivatives at the eigenvalues?

 

[Simon_Tyler]

Have you managed to derive the formula yet? If I had time I'd love to have a go...

Anyway, I did a little searching and found
http://crypto.mat.sbg.ac.at/~ste/diss/node12.html
There he cites pg 16 of
V. Romanovsky, Discrete Markov Chains.
but I couldn't get a copy of it.

 

[bpet]

Have you managed to derive the formula yet? If I had time I'd love to have a go...

Anyway, I did a little searching and found
http://crypto.mat.sbg.ac.at/~ste/diss/node12.html
There he cites pg 16 of
V. Romanovsky, Discrete Markov Chains.
but I couldn't get a copy of it.

Thanks, me neither. I haven't checked the details but think it can be done by finding the residue of $$\lambda^n(\lambda I-P)^{-1}$$ at $$\lambda=\infty$$ via Laurent series and partial fraction expansion.

The formula was in Sveshnikov's Problems in Probability (as a "basic formula", not an actual problem). The result might be discussed in Gantmakher's Theory of Matrices or Horn & Johnson's Matrix Analysis, possibly even for more general matrix functions, though I don't have copies of these to check.