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

The Schur test

#Schur test#spectral radius#induced norms

Statement

Prove that ∥A∥2≤∥A∥1∥A∥∞\|A\|^2\le\|A\|_1\|A\|_\infty for every A∈Mn(R)A\in M_n(\mathbb{R}), where ∥⋅∥\|\cdot\| is the Euclidean operator norm, ∥A∥1=max⁡j∑i∣aij∣\|A\|_1=\max_j\sum_i|a_{ij}| and ∥A∥∞=max⁡i∑j∣aij∣\|A\|_\infty=\max_i\sum_j|a_{ij}|.

Hint

Use ∥A∥2=ρ(ATA)\|A\|^2=\rho(A^TA) and that the spectral radius is at most any induced norm.

Note that ∥AT∥1=∥A∥∞\|A^T\|_1=\|A\|_\infty.

Show solutionHide solution

Solution

Idea. The spectral radius of the symmetric matrix ATAA^TA equals ∥A∥2\|A\|^2; bounding it by the *easily computable* norm ∥⋅∥1\|\cdot\|_1 and then using submultiplicativity yields a bound in terms of row and column sums.

Step 1: ∥A∥2=ρ(ATA)\|A\|^2=\rho(A^TA). By the problem on the spectral norm, ∥A∥2=λmax⁡(ATA)\|A\|^2=\lambda_{\max}(A^TA), and ATAA^TA is symmetric PSD so λmax⁡=ρ\lambda_{\max}=\rho.

Step 2: spectral radius versus an induced norm. ∥⋅∥1\|\cdot\|_1 is the operator norm induced by the ℓ1\ell^1-norm of Rn\mathbb{R}^n, so it is submultiplicative, and the argument of the problem "Eigenvalues are bounded by the operator norm" (applied to a real eigenvector, since ATAA^TA is symmetric and has a real eigenvector xx for its largest eigenvalue μ\mu) gives μ∣x∣1=∣ATAx∣1≤∥ATA∥1∣x∣1\mu|x|_1=|A^TAx|_1\le\|A^TA\|_1|x|_1. So ρ(ATA)≤∥ATA∥1\rho(A^TA)\le\|A^TA\|_1.

Step 3: submultiplicativity.
∥ATA∥1≤∥AT∥1∥A∥1=∥A∥∞∥A∥1,\|A^TA\|_1\le\|A^T\|_1\|A\|_1=\|A\|_\infty\|A\|_1,
because the maximum column sum of ATA^T is the maximum row sum of AA.

Conclusion. ∥A∥2≤∥A∥1∥A∥∞\|A\|^2\le\|A\|_1\|A\|_\infty.

Example. For A=(1−234)A=\begin{pmatrix}1&-2\\3&4\end{pmatrix}: ∥A∥2≈26.2\|A\|^2\approx26.2, while ∥A∥1∥A∥∞=6⋅7=42\|A\|_1\|A\|_\infty=6\cdot7=42. For a symmetric matrix ∥A∥1=∥A∥∞\|A\|_1=\|A\|_\infty and the inequality becomes ∥A∥≤∥A∥1\|A\|\le\|A\|_1.

Remark. This is the discrete form of the Schur test for boundedness of integral operators on L2L^2. It gives a cheap upper bound for ∥A∥\|A\| with no eigenvalue computation. It can be quite far from sharp, e.g. for the all-ones matrix JJ it gives ∥J∥2≤n2\|J\|^2\le n^2 and in fact ∥J∥=n\|J\|=n (sharp), but for a matrix with one large entry and many small ones it overestimates.