Maths WorkshopMaths problems with full solutions
Exercise 1392Topology › Topology of Mn(ℝ) › Rank, spectrum and normsL3Added 6 Nov 2026

A^k converges to 0 if and only if the spectral radius is less than 1

#spectral radius#Jordan form#powers of a matrix

Statement

Let A∈Mn(R)A\in M_n(\mathbb{R}) and ρ(A)=max⁡{∣λ∣:λ∈spec⁡A}\rho(A)=\max\{|\lambda|:\lambda\in\operatorname{spec}A\} its spectral radius. Prove that Ak→0A^k\to0 as k→∞k\to\infty if and only if ρ(A)<1\rho(A)<1.

Hint

(⇐\Leftarrow) Use the Jordan form and the entries (kj)λk−j\binom kj\lambda^{k-j} of Jm(λ)kJ_m(\lambda)^k. (⇒\Rightarrow) Apply AkA^k to a complex eigenvector.

Show solutionHide solution

Solution

(⇒\Rightarrow). Suppose ρ(A)≥1\rho(A)\ge1 and take an eigenvalue λ∈C\lambda\in\mathbb{C} with ∣λ∣≥1|\lambda|\ge1 and an eigenvector v∈Cnv\in\mathbb{C}^n, v≠0v\ne0. Then Akv=λkvA^kv=\lambda^kv and ∣Akv∣=∣λ∣k∣v∣≥∣v∣>0|A^kv|=|\lambda|^k|v|\ge|v|>0 for all kk. Hence Akv↛0A^kv\not\to0, so Ak↛0A^k\not\to0. Contrapositive: Ak→0⇒ρ(A)<1A^k\to0\Rightarrow\rho(A)<1.

(⇐\Leftarrow). Assume ρ(A)<1\rho(A)<1. Write A=PJP−1A=PJP^{-1} in Jordan form over C\mathbb{C}; then Ak=PJkP−1A^k=PJ^kP^{-1}, and it suffices to show Jk→0J^k\to0, i.e. Jm(λ)k→0J_m(\lambda)^k\to0 for each block with ∣λ∣<1|\lambda|<1. Write Jm(λ)=λI+NJ_m(\lambda)=\lambda I+N with Nm=0N^m=0 and λI\lambda I commuting with NN. By the binomial theorem
Jm(λ)k=∑j=0m−1(kj)λk−jNj.J_m(\lambda)^k=\sum_{j=0}^{m-1}\binom kj\lambda^{k-j}N^j.
For fixed jj, (kj)≤kj\binom kj\le k^j, so
∣(kj)λk−j∣≤kj∣λ∣k−j→k→∞0,\left|\binom kj\lambda^{k-j}\right|\le k^j|\lambda|^{k-j}\xrightarrow[k\to\infty]{}0,
because geometric decay beats polynomial growth (∣λ∣<1|\lambda|<1; if λ=0\lambda=0 the term vanishes for k>jk>j). A finite sum of terms tending to 00 tends to 00.

Example. A=(0.9100.9)A=\begin{pmatrix}0.9&1\\0&0.9\end{pmatrix}: Ak=(0.9kk 0.9k−100.9k)A^k=\begin{pmatrix}0.9^k&k\,0.9^{k-1}\\0&0.9^k\end{pmatrix}. The off-diagonal entry first grows (it is ≈1.7×10...\approx1.7\times10^{...}, maximal near k=9k=9) but eventually tends to 00.

Remark. The transient growth is the reason why ρ(A)<1\rho(A)<1 does not imply ∥A∥<1\|A\|<1 for a given norm. A norm with ∥A∥<1\|A\|<1 exists iff ρ(A)<1\rho(A)<1 (see Gelfand's formula below).