Ici le système différentiel s’écrit \(X'=A(t)X\) avec
\begin{equation*}
A(t)=\frac1t\left[\begin{matrix}t + 1 \amp - 2 t^{2} \amp - t^{2} - t - 1\\0 \amp t^{2} \amp t^{2}\\0 \amp - 2 t^{2} \amp - t^{2}\end{matrix}\right]
\end{equation*}
\begin{align*}
\chi_{A(t)} \amp =(X-1-1/t)\begin{vmatrix}
X-t \amp -t \\ 2t \amp X+t
\end{vmatrix} \\
\amp=
(X-1-1/t)(X^2+t^2)
\end{align*}
Ce qui prouve que \(A(t)\) est semblable dans \(\mathcal M_3(\C)\) à la matrice diagonale \(D(t)=\mathrm{diag}(1+1/t,it,-it)\text{.}\) Clairement \(V_1={}^t(1\;\;0\;\;0)\) est un vecteur propre de \(A(t)\) associé à la valeur propre \(1+1/t\) et pour tout \(X={}^t(x\;\;y\;\;z)\in\mathcal M_{3,1}(\C)\) on a
\begin{align*}
A(t)X = itX \amp \Longleftrightarrow
\begin{cases}
(1+1/t-it)x-2ty -(t+1+1/t)z=0\\
(t-it)y+tz=0 \\
-2ty-(t+it)z=0
\end{cases} \\
\amp\Longleftrightarrow
\begin{cases}
(t+1-it^2)x-t^2(1+i)z+(t^2+t+1)z=0 \\
y=\frac1{1-i}z=\frac12(1+i)z
\end{cases}\\
\amp\Longleftrightarrow
\begin{cases}x=-z \\ y=\frac12(1+i)z\end{cases}
\end{align*}
Comme prévu \(E_{it}(A(t))\) est une droite vectorielle. Elle est engendrée par le vecteur
\begin{equation*}
V_2=\begin{pmatrix} -2 \\ 1+i \\ 2\end{pmatrix}
\end{equation*}
\(A(t)\) étant une matrice réelle, \(E_{-it}(A(t))\) est la droite engendrée par \(V_3=\overline{V_2}\text{.}\) Ainsi \(A(t)=PD(t)P^{-1}\) avec
\begin{equation*}
P=\begin{pmatrix}
1 \amp -2 \amp -2 \\
0 \amp 1+i \amp 1-i \\
0 \amp 2 \amp 2
\end{pmatrix}
\end{equation*}
Si on pose maintenant \(X=PU\) avec \(U={}^t(u\;\; v\;\; w)\) alors
\begin{equation*}
(SE)\Longleftrightarrow U'=D(t)U \Longleftrightarrow
\begin{cases}
u'=(t+1/t)u \\
v'=itv \\
w'=-itw
\end{cases}
\end{equation*}
Il existe donc \(a,b,c\in\C\) tels que
\begin{equation*}
\begin{cases}
u=at\e^{t^2/2} \\
v=b\e^{it^2/2} \\
w=c\e^{-it^2/2}
\end{cases}
\end{equation*}
de quoi on déduit que les solutions complexes de \((SH)\) sont données par
\begin{equation*}
\begin{cases}
x=at\e^{t^2/2}-2b\e^{it^2/2}-2c\e^{-it^2/2} \\
y=b(1+i)\e^{it^2/2}+c(1-i)\e^{-it^2/2} \\
z=2b\e^{it^2/2}+2c\e^{-it^2/2}
\end{cases}
\end{equation*}
cette solution est réelle si \(a\in\R\) et \(c=\overline b\) donc en posant \(b=\alpha+i\beta\) on peut écrire
\begin{equation*}
\begin{cases}
x=at\e^{t^2/2}-4\alpha\cos(t^2/2)+4\beta\sin(t^2/2) \\
y=(\alpha-\beta)\cos(t^2/2)+(\alpha+\beta)\sin(t^2/2) \\
z=4\alpha\cos(t^2/2)-4\beta\sin(t^2/2)
\end{cases}
\end{equation*}
où \(a,\alpha,\beta\in\R\text{.}\) L’ensemble des solutions de cette forme est de dimension \(3\) sur \(\R\) donc il est l’ensemble des solutions réelles de \((SH)\text{.}\)