IMC 2016 · Problem 5

Day 223rd IMC · Blagoevgrad, Bulgaria

Statement

Let AA be a n×nn \times n complex matrix whose eigenvalues have absolute value at most 11. Prove that

∥An∥≤nln⁡2∥A∥n−1.\|A^n\| \le \frac{n}{\ln 2}\|A\|^{n-1}.

(Here ∥B∥=sup⁡∥x∥≤1∥Bx∥\|B\| = \sup\limits_{\|x\| \le 1} \|Bx\| for every n×nn \times n matrix BB and ∥x∥=∑i=1n∣xi∣2\|x\| = \sqrt{\sum\limits_{i=1}^{n} |x_i|^2} for every complex vector x∈Cnx \in \mathbb{C}^n.)

Official solution

Hidden so you can work on the problem first.

Proposed by Ian Morris and Fedor Petrov, St. Petersburg State University.