Maths WorkshopMaths problems with full solutions
Exercise 2040Topology › Topology of Mn(ℝ) › Norms and metric structureM1Added 7 Nov 2026

A majoration of the spectral radius

#spectral radius#Gelfand formula#symmetric matrices#powers

Statement

Show that ρ(A)≤∥Ak∥1/k\rho(A)\le\|A^k\|^{1/k} for all k≥1k\ge1, and that ∥Ak∥1/k=ρ(A)\|A^k\|^{1/k}=\rho(A) for every symmetric matrix AA and every k≥1k\ge1 (so in particular ∥Ak∥1/k→ρ(A)\|A^k\|^{1/k}\to\rho(A)).

Hint

The eigenvalues of AkA^k are the kk-th powers of the eigenvalues of AA.

Use ρ(B)≤∥B∥\rho(B)\le\|B\| from an earlier problem, and for symmetric AA the formula ∥S∥=ρ(S)\|S\|=\rho(S).

Show solutionHide solution

Solution

Idea. The spectral radius is controlled by the norm of *every* power: ρ(A)≤∥Ak∥1/k\rho(A)\le\|A^k\|^{1/k}. For symmetric matrices the inequality is an equality, because the operator norm of a symmetric matrix is its spectral radius.

Step 1: eigenvalues of AkA^k. Triangularise AA over C\mathbb{C}: A=PTP−1A=PTP^{-1} with TT upper triangular with diagonal λ1,…,λn\lambda_1,\dots,\lambda_n. Then Ak=PTkP−1A^k=PT^kP^{-1} and TkT^k is upper triangular with diagonal λ1k,…,λnk\lambda_1^k,\dots,\lambda_n^k. Hence the eigenvalues of AkA^k are λik\lambda_i^k and ρ(Ak)=ρ(A)k\rho(A^k)=\rho(A)^k.

Step 2: the inequality. By the problem "Eigenvalues are bounded by the operator norm" applied to AkA^k,
ρ(A)k=ρ(Ak)≤∥Ak∥,\rho(A)^k=\rho(A^k)\le\|A^k\|,
so ρ(A)≤∥Ak∥1/k\rho(A)\le\|A^k\|^{1/k}.

Step 3: symmetric matrices. If AA is symmetric, so is AkA^k, with eigenvalues λik\lambda_i^k. For symmetric matrices the operator norm is the largest absolute eigenvalue, so
∥Ak∥=max⁡i∣λi∣k=ρ(A)k.\|A^k\|=\max_i|\lambda_i|^k=\rho(A)^k.
Hence ∥Ak∥1/k=ρ(A)\|A^k\|^{1/k}=\rho(A) for every kk, and the limit is ρ(A)\rho(A) trivially.

Counter-example for non-symmetric matrices. For A=(1201)A=\begin{pmatrix}1&2\\0&1\end{pmatrix}, ρ(A)=1\rho(A)=1, and ∥Ak∥1/k\|A^k\|^{1/k} equals 2.41,1.59,1.10,1.0142.41,1.59,1.10,1.014 for k=1,5,50,500k=1,5,50,500: it decreases to 11 but is >1>1 for each finite kk.

Remark. The limit statement ∥Ak∥1/k→ρ(A)\|A^k\|^{1/k}\to\rho(A) holds for *every* matrix (Gelfand's formula), not only symmetric ones; the proof for general AA requires the Jordan form or complex analysis (the resolvent). In particular, ρ(A)<1\rho(A)<1 iff Ak→0A^k\to0.