MATH319 Slides

96 Exponential and Inverse, concluded

(sI-A)0Rexp(t(A-sI))𝑑t=[-exp(t(A-sI))]0R=I-expR(A-sI);

by the assumption on s, we can take the limit as R to obtain

(sI-A)0exp(t(A-sI))𝑑t=I.

Hence sI-A is invertible. The previous formula is often called the resolvent, as it helps solve equations.