grandes-ecoles 2022 Q10

grandes-ecoles · France · mines-ponts-maths2__pc Sequences and Series Evaluation of a Finite or Infinite Sum
Let $\mathcal{B}_{n}$ be the set of matrices $M$ in $\mathcal{M}_{n}(\mathbf{C})$ such that the sequence $\left(\left\|M^{k}\right\|_{\mathrm{op}}\right)_{k \in \mathbf{N}}$ is bounded. For $M \in \mathcal{B}_{n}$, we set $b(M) = \sup\left\{\left\|M^{k}\right\|_{\mathrm{op}}; k \in \mathbf{N}\right\}$.
Let $M \in \mathcal{B}_{n}$, $r \in ]1, +\infty[$ and $(X,Y) \in \mathcal{M}_{n,1}(\mathbf{C})^{2}$. Determine a sequence of complex numbers $(c_{j})_{j \in \mathbf{N}}$ such that the series $\sum c_{j}$ converges absolutely and that $$\forall t \in \mathbf{R}, \quad X^{T}R_{re^{it}}(M)Y = \sum_{j=0}^{+\infty} c_{j} e^{-i(j+1)t}.$$ If $k \in \mathbf{N}$, deduce, using question 9, an integral expression for $X^{T}M^{k}Y$.
Let $\mathcal{B}_{n}$ be the set of matrices $M$ in $\mathcal{M}_{n}(\mathbf{C})$ such that the sequence $\left(\left\|M^{k}\right\|_{\mathrm{op}}\right)_{k \in \mathbf{N}}$ is bounded. For $M \in \mathcal{B}_{n}$, we set $b(M) = \sup\left\{\left\|M^{k}\right\|_{\mathrm{op}}; k \in \mathbf{N}\right\}$.

Let $M \in \mathcal{B}_{n}$, $r \in ]1, +\infty[$ and $(X,Y) \in \mathcal{M}_{n,1}(\mathbf{C})^{2}$. Determine a sequence of complex numbers $(c_{j})_{j \in \mathbf{N}}$ such that the series $\sum c_{j}$ converges absolutely and that
$$\forall t \in \mathbf{R}, \quad X^{T}R_{re^{it}}(M)Y = \sum_{j=0}^{+\infty} c_{j} e^{-i(j+1)t}.$$
If $k \in \mathbf{N}$, deduce, using question 9, an integral expression for $X^{T}M^{k}Y$.