Matrix geometric series
ID: matrix-geometric-series
The finite matrix geometric series telescopes as stated in the title. If its partial sums converge, then their successive differences show . Passing to the limit gives , so the sum is the matrix inverse . Conversely, existence of the inverse alone does not imply series convergence: the scalar matrix is a counterexample. The Neumann series gives a sufficient condition from a matrix norm smaller than one.
For a nilpotent matrix with , convergence is automatic and the inverse is the finite polynomial . Multiplying by directly verifies this inverse without computing a determinant or diagonalizing.
New to topics? Read the docs here!