The spectral radius is continuous
Statement
Deduce from the previous problem that (the maximum of the moduli of the complex eigenvalues) is a continuous function on . Show that it need not be Lipschitz.
Hint
Apply Problem 81 to the characteristic polynomials of and .
For the failure of Lipschitz, look at .
Show solutionHide solution
Solution
Idea. is the largest modulus of a root of . Moving the coefficients a little moves each root a little, and so moves the largest modulus a little.
Step 1: set-up. Let . The coefficients of converge to those of (they are polynomial in the entries), so ; discard finitely many terms so that . Let be the constant of Problem 81 for .
Step 2: upper bound. Let be an eigenvalue of with . By Problem 81, there is an eigenvalue of with , so
Step 3: lower bound. Let be an eigenvalue of with . By the converse part there is an eigenvalue of with , so
Step 4: conclusion. .
Not Lipschitz. has characteristic polynomial , so while and . The ratio . (Numerically: gives .) For the Jordan block with a corner entry , .
Remark. On the other hand *is* Lipschitz on the set of symmetric (more generally normal) matrices, where (Weyl, Problem 88).