MATH319 Slides

113 Conclusion of Proof

where |etλj|=etλjetκ for all t0, hence

j=1n|etλjzj|2e2tκj=1n|zj|2

so exp(tD)zetκz; hence

exp(tA)S[etλ10000etλn]S-1
SS-1maxj=1,,n|etλj|SS-1etκ.