grandes-ecoles 2025 QP2-5

grandes-ecoles · France · polytechnique-maths__fui Invariant lines and eigenvalues and vectors Properties of eigenvalues under matrix operations
Problem 2, Part 1: Adapted norms
We denote by $\mathrm { M } _ { d } ( \mathbb { C } )$ the space of $d \times d$ square matrices with complex coefficients and we identify $\mathbb { C } ^ { d }$ with the space of column vectors of size $d$. For a vector $x = \left( x _ { 1 } , \ldots , x _ { d } \right) \in \mathbb { C } ^ { d }$, we define $\| x \| _ { \infty } = \max _ { 1 \leqslant i \leqslant d } \left| x _ { i } \right|$. If $A$ is a matrix in $\mathrm { M } _ { d } ( \mathbb { C } )$ we denote by $\operatorname { Sp } ( A )$ the spectrum of $A$ and we define the spectral radius $\sigma ( A ) = \max \{ | \lambda | , \lambda \in \operatorname { Sp } ( A ) \}$.
Let $T = \left( t _ { i , j } \right) _ { 1 \leqslant i , j \leqslant d }$ be an upper triangular matrix. Show that for all $\varepsilon > 0$, there exists a norm $\| \cdot \| ^ { \prime }$ on $\mathbb { C } ^ { d }$ such that for all $x \in \mathbb { C } ^ { d }$ we have $$\| T x \| ^ { \prime } \leqslant ( \sigma ( T ) + \varepsilon ) \| x \| ^ { \prime }$$ (one may choose $\| \cdot \| ^ { \prime }$ in the form $\| x \| ^ { \prime } = \| P x \| _ { \infty }$ for a suitably chosen matrix $P$).
\textbf{Problem 2, Part 1: Adapted norms}

We denote by $\mathrm { M } _ { d } ( \mathbb { C } )$ the space of $d \times d$ square matrices with complex coefficients and we identify $\mathbb { C } ^ { d }$ with the space of column vectors of size $d$. For a vector $x = \left( x _ { 1 } , \ldots , x _ { d } \right) \in \mathbb { C } ^ { d }$, we define $\| x \| _ { \infty } = \max _ { 1 \leqslant i \leqslant d } \left| x _ { i } \right|$. If $A$ is a matrix in $\mathrm { M } _ { d } ( \mathbb { C } )$ we denote by $\operatorname { Sp } ( A )$ the spectrum of $A$ and we define the spectral radius $\sigma ( A ) = \max \{ | \lambda | , \lambda \in \operatorname { Sp } ( A ) \}$.

Let $T = \left( t _ { i , j } \right) _ { 1 \leqslant i , j \leqslant d }$ be an upper triangular matrix. Show that for all $\varepsilon > 0$, there exists a norm $\| \cdot \| ^ { \prime }$ on $\mathbb { C } ^ { d }$ such that for all $x \in \mathbb { C } ^ { d }$ we have
$$\| T x \| ^ { \prime } \leqslant ( \sigma ( T ) + \varepsilon ) \| x \| ^ { \prime }$$
(one may choose $\| \cdot \| ^ { \prime }$ in the form $\| x \| ^ { \prime } = \| P x \| _ { \infty }$ for a suitably chosen matrix $P$).