MATH319 Slides

96 Exponential and Inverse, concluded

(s⁢I-A)⁢∫0Rexp⁡(t⁢(A-s⁢I))⁢𝑑t=[-exp⁡(t⁢(A-s⁢I))]0R=I-exp⁡R⁢(A-s⁢I);

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

(s⁢I-A)⁢∫0∞exp⁡(t⁢(A-s⁢I))⁢𝑑t=I.

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