grandes-ecoles 2025 Q7

grandes-ecoles · France · polytechnique-maths__fui Matrices Matrix Power Computation and Application
Problem 2, Part 2: Linear recurrence sequences with constant coefficients
We consider a sequence $\left( u _ { n } \right) _ { n \geqslant 0 }$ of complex numbers defined by the data of $u _ { 0 } , \ldots , u _ { d }$ and the linear recurrence relation $$u _ { n + d } = \sum _ { i = 0 } ^ { d - 1 } a _ { i } u _ { n + i } + b ,$$ where the $a _ { i }$ and $b$ are complex numbers. We define $P \in \mathbb { C } [ X ]$ by $P ( X ) = X ^ { d } - \sum _ { i = 0 } ^ { d - 1 } a _ { i } X ^ { i }$ and we assume that all complex roots of $P$ have modulus strictly less than 1.
For $n \geqslant 0$ we define the vector $U _ { n } \in \mathbb { C } ^ { d }$ by $U _ { n } = \left( u _ { n } , \ldots , u _ { n + d - 1 } \right)$ (recall that $U _ { n }$ is identified with a column vector). Show that the sequence $(U _ { n })$ satisfies a recurrence relation of the form $U _ { n + 1 } = A U _ { n } + B$, with $A \in \mathrm { M } _ { d } ( \mathbb { C } )$ and $B \in \mathbb { C } ^ { d }$ are elements that we shall specify.
\textbf{Problem 2, Part 2: Linear recurrence sequences with constant coefficients}

We consider a sequence $\left( u _ { n } \right) _ { n \geqslant 0 }$ of complex numbers defined by the data of $u _ { 0 } , \ldots , u _ { d }$ and the linear recurrence relation
$$u _ { n + d } = \sum _ { i = 0 } ^ { d - 1 } a _ { i } u _ { n + i } + b ,$$
where the $a _ { i }$ and $b$ are complex numbers. We define $P \in \mathbb { C } [ X ]$ by $P ( X ) = X ^ { d } - \sum _ { i = 0 } ^ { d - 1 } a _ { i } X ^ { i }$ and we assume that all complex roots of $P$ have modulus strictly less than 1.

For $n \geqslant 0$ we define the vector $U _ { n } \in \mathbb { C } ^ { d }$ by $U _ { n } = \left( u _ { n } , \ldots , u _ { n + d - 1 } \right)$ (recall that $U _ { n }$ is identified with a column vector). Show that the sequence $(U _ { n })$ satisfies a recurrence relation of the form $U _ { n + 1 } = A U _ { n } + B$, with $A \in \mathrm { M } _ { d } ( \mathbb { C } )$ and $B \in \mathbb { C } ^ { d }$ are elements that we shall specify.