MATH319 Slides

113 Conclusion of Proof

where |et⁢λj|=et⁢ℜ⁡λj≤et⁢κ for all t≥0, hence

∑j=1n|et⁢λj⁢zj|2≤e2⁢t⁢κ⁢∑j=1n|zj|2

so ∥exp⁡(t⁢D)⁢z∥≤et⁢κ⁢∥z∥; hence

∥exp⁡(t⁢A)∥≤∥S∥⁢∥[et⁢λ10…0⋱00…et⁢λn]∥⁢∥S-1∥
≤∥S∥⁢∥S-1∥⁢maxj=1,…,n⁡|et⁢λj|≤∥S∥⁢∥S-1∥⁢et⁢κ.