Let $T > 0$ be a real number and $n \in \mathbb{N}^*$ be a natural integer. Let $A : \mathbb{R} \rightarrow \mathscr{M}_n(\mathbb{C})$ be an application continuous on $\mathbb{R}$ and $T$-periodic. We consider the differential system $$X'(t) = A(t) X(t) \tag{2}$$ Let $\mathscr{S}$ be the space of solutions in $\mathscr{C}^1(\mathbb{R}, \mathbb{C}^n)$ of (2). Let $(Y_1, Y_2, \ldots, Y_n)$ be a basis of $\mathscr{S}$. For $t \in \mathbb{R}$, let $M(t)$ be the matrix whose columns are $Y_1(t), \ldots, Y_n(t)$, and $M(t) = Q(t)\exp(tB)$ for some $B \in \mathscr{M}_n(\mathbb{C})$ and $T$-periodic $Q$. We admit that $B = D + N$ where $D$ is diagonalizable, $N$ is nilpotent, $DN = ND$, and $D = P\Delta P^{-1}$ with $\Delta = \operatorname{Diag}(\lambda_1, \lambda_2, \ldots, \lambda_n)$. Let $Z_1(t), \ldots, Z_n(t)$ be the columns of $M(t)P$.
For all $0 \leqslant i \leqslant n-1$, $1 \leqslant k \leqslant n$ and $t \in \mathbb{R}$, we denote by $R_{i,k}(t)$ the $k$-th column of the matrix $\frac{1}{i!} Q(t) N^i P$. Show that for all $k \in \{1, 2, \ldots, n\}$, we have $$Z_k(t) = e^{\lambda_k t} \left(\sum_{i=0}^{n-1} t^i R_{i,k}(t)\right)$$ and verify that the applications $R_{i,k}$ are continuous on $\mathbb{R}$ and $T$-periodic.

Let $T > 0$ be a real number and $n \in \mathbb{N}^*$ be a natural integer. Let $A : \mathbb{R} \rightarrow \mathscr{M}_n(\mathbb{C})$ be an application continuous on $\mathbb{R}$ and $T$-periodic. We consider the differential system $$X'(t) = A(t) X(t) \tag{2}$$ Let $\mathscr{S}$ be the space of solutions in $\mathscr{C}^1(\mathbb{R}, \mathbb{C}^n)$ of (2). Using the notation and results of question 17b, deduce that if the real parts of the $\lambda_i$ for $1 \leqslant i \leqslant n$ are strictly negative and if $Y$ is any solution of (2), then $$\lim_{t \rightarrow +\infty} Y(t) = 0.$$

Let $T > 0$ be a real number and $n \in \mathbb{N}^*$ be a natural integer. Let $A : \mathbb{R} \rightarrow \mathscr{M}_n(\mathbb{C})$ be an application continuous on $\mathbb{R}$ and $T$-periodic. We consider the differential system $$X'(t) = A(t) X(t) \tag{2}$$ Let $B \in \mathscr{M}_n(\mathbb{C})$ be the matrix such that $M(t+T) = M(t)\exp(TB)$ for all $t$.
Show that if $B$ has an eigenvalue of the form $\lambda = i\frac{2k\pi}{mT}$ with $k \in \mathbb{Z}$ and $m \in \mathbb{N}^*$, then (2) has a non-zero $mT$-periodic solution.

Let $T > 0$ be a real number and $n \in \mathbb{N}^*$ be a natural integer. Let $A : \mathbb{R} \rightarrow \mathscr{M}_n(\mathbb{C})$ be an application continuous on $\mathbb{R}$ and $T$-periodic. We consider the differential system $$X'(t) = A(t) X(t) \tag{2}$$ Let $B \in \mathscr{M}_n(\mathbb{C})$ be the matrix such that $M(t+T) = M(t)\exp(TB)$ for all $t$.
Suppose that there exists $m \in \mathbb{N}^*$ such that (2) has a non-zero $mT$-periodic solution. Show that $\exp(TB)$ has an eigenvalue that is an $m$-th root of unity.

Let $T > 0$ be a real number and $n \in \mathbb{N}^*$ be a natural integer. Let $A : \mathbb{R} \rightarrow \mathscr{M}_n(\mathbb{C})$ be an application continuous on $\mathbb{R}$ and $T$-periodic. We consider the differential system $$X'(t) = A(t) X(t) \tag{2}$$ In this question, we suppose that (2) has a $T'$-periodic solution $X$ with $T' \notin \mathbb{Q} T$.
Show that for all $t \in \mathbb{R}$ and $u \in \mathbb{R}$, we have $$A(u) X(t) = A(t) X(t).$$ One may use without proof the fact that if $G$ is a subgroup of $(\mathbb{R}, +)$ which is not of the form $\mathbb{Z}a$ for $a \in \mathbb{R}$, then $G$ is dense in $\mathbb{R}$.

Let $T > 0$ be a real number and $n \in \mathbb{N}^*$ be a natural integer. Let $A : \mathbb{R} \rightarrow \mathscr{M}_n(\mathbb{C})$ be an application continuous on $\mathbb{R}$ and $T$-periodic. Let $B \in \mathscr{M}_n(\mathbb{C})$ be the matrix such that $M(t+T) = M(t)\exp(TB)$ for all $t$. Consider the differential system $$X'(t) = A(t) X(t) + b(t) \tag{3}$$ where $b : \mathbb{R} \rightarrow \mathbb{C}^n$ is a continuous function on $\mathbb{R}$ and $T$-periodic. We assume that $1$ is not an eigenvalue of $\exp(TB)$. Show that (3) possesses a unique $T$-periodic solution.

Solve the differential system $$\left\{\begin{array}{l} x'(t) = x(t) - \cos(t) y(t) \\ y'(t) = \cos(t) x(t) + y(t) \end{array}\right.$$ and determine its normal form (see question 16d).

Consider that complex-valued functions $p(x)$ and $q(x)$ satisfy the simultaneous ordinary differential equations below: $$\frac{\mathrm{d}p(x)}{\mathrm{d}x} = -ib\, q(x)\exp(-2iax),$$ $$\frac{\mathrm{d}q(x)}{\mathrm{d}x} = -ib\, p(x)\exp(2iax).$$ Here, $i$ is the imaginary unit, and $a$ and $b$ are real constants.
Derive the simultaneous ordinary differential equations for complex-valued functions $f(x)$ and $g(x)$, based on the change of variables $f(x) = p(x)\exp(iax)$ and $g(x) = q(x)\exp(-iax)$.