grandes-ecoles 2023 Q12
View
Consider $a = (a_1, \ldots, a_d) \in \left(\mathbb{R}_{+}^{*}\right)^d$ and $b = (b_1, \ldots, b_{d-1}) \in \left(\mathbb{R}_{+}^{*}\right)^{d-1}$ and introduce the matrix $$M = \begin{pmatrix} a_1 & b_1 & 0 & \ldots & 0 & 0 \\ a_2 & 0 & b_2 & \ldots & 0 & 0 \\ a_3 & 0 & 0 & \ldots & 0 & 0 \\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots \\ a_{d-1} & 0 & 0 & \ldots & 0 & b_{d-1} \\ a_d & 0 & 0 & \ldots & 0 & 0 \end{pmatrix}.$$
(a) Justify that there exists a unique pair $(\lambda, \pi) \in \mathbb{R}_{+}^{*} \times \mathscr{P}$ such that $\pi M = \lambda \pi$. Express $\pi$ explicitly in terms of $a$, $b$ and $\lambda$.
(b) Show that there exists a unique $h \in \mathscr{M}_{d,1}\left(\mathbb{R}_{+}^{*}\right)$ such that $\langle \pi, h \rangle = 1$ and $$Mh = \lambda h.$$
(c) Deduce that the sequence $\left(\lambda^{-n} M^n\right)_{n \geqslant 1}$ converges as $n$ tends to infinity and give an expression for its limit in terms of $h$ and $\mu$.