Let the computed eigenpair residual be
Define the rank-one matrix
Then
so is an exact eigenpair of the perturbed matrix . Moreover,
which is the backward error of an approximate eigenpair.
Follow the simple eigenvalue branch from for . The first-order perturbation of a simple eigenvalue and part (b) give
Since the residual is at the machine precision scale, this proves

Articles by others on the same topic (0)

There are currently no matching articles.