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}$$ where $X$ is a function from $\mathbb{R}$ to $\mathbb{C}^n$, of class $\mathscr{C}^1$ on $\mathbb{R}$.
Show that there exists $\mu \in \mathbb{C}^*$ and a non-zero solution $Y \in \mathscr{C}^1(\mathbb{R}, \mathbb{C}^n)$ of (2) such that $$\forall t \in \mathbb{R}, \quad Y(t+T) = \mu Y(t).$$

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}$$ where $X$ is a function from $\mathbb{R}$ to $\mathbb{C}^n$, of class $\mathscr{C}^1$ on $\mathbb{R}$. 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}$, we denote by $M(t)$ the matrix whose columns are $Y_1(t), \ldots, Y_n(t)$.
Show that the matrix $(M(t))^{-1} M(t+T)$ is independent of $t \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. We consider the differential system $$X'(t) = A(t) X(t) \tag{2}$$ where $X$ is a function from $\mathbb{R}$ to $\mathbb{C}^n$, of class $\mathscr{C}^1$ on $\mathbb{R}$. 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}$, we denote by $M(t)$ the matrix whose columns are $Y_1(t), \ldots, Y_n(t)$.
Deduce that there exists $B \in \mathscr{M}_n(\mathbb{C})$ such that: $$\forall t \in \mathbb{R}, \quad M(t+T) = M(t) \exp(TB).$$

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}$$ where $X$ is a function from $\mathbb{R}$ to $\mathbb{C}^n$, of class $\mathscr{C}^1$ on $\mathbb{R}$. 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}$, we denote by $M(t)$ the matrix whose columns are $Y_1(t), \ldots, Y_n(t)$. There exists $B \in \mathscr{M}_n(\mathbb{C})$ such that $M(t+T) = M(t)\exp(TB)$ for all $t \in \mathbb{R}$.
Deduce that there exists an application $Q : \mathbb{R} \rightarrow \mathrm{GL}_n(\mathbb{C})$ continuous on $\mathbb{R}$ and $T$-periodic such that $$\forall t \in \mathbb{R}, \quad M(t) = Q(t) \exp(tB).$$ (This identity is called the normal form of the matrix $M$).

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 there exist two matrices $D$ and $N$ of $\mathscr{M}_n(\mathbb{C})$ such that $D$ is diagonalizable, $N$ is nilpotent and $B = D + N$ and $DN = ND$. There exists a matrix $P \in \mathrm{GL}_n(\mathbb{C})$ and a diagonal matrix $\Delta$ such that $D = P\Delta P^{-1}$.
For $t \in \mathbb{R}$, we denote by $Z_1(t), Z_2(t), \ldots, Z_n(t) \in \mathbb{C}^n$ the columns of the matrix $M(t)P$. Show that $(Z_1, Z_2, \ldots, Z_n)$ is a basis of the space $\mathscr{S}$.

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}$$ Let $B \in \mathscr{M}_n(\mathbb{C})$ be the matrix such that $M(t+T) = M(t)\exp(TB)$ for all $t$.
We assume in this question that there does not exist a vector subspace $V \subset \mathbb{C}^n$, different from $\{0\}$ and $\mathbb{C}^n$, such that, for all $t \in \mathbb{R}$, $V$ is invariant under $A(t)$. Give a necessary and sufficient condition on $A$ and on $B$ for (2) to have at least one non-zero periodic solution.