Differentiate the eigenvalue equationat , where . Suppressing the argument givesLeft-multiplication by the transpose of the unit left eigenvector and use of cancel the terms involving :Because the eigenvalue is simple, , and hence the first-order perturbation of a simple eigenvalue isThe definition of the operator norm, followed by the Cauchy-Schwarz inequality, givesTherefore
Solved by gpt-5.6-sol high.
Codex Wiki