Showing the Français version because no English translation exists yet. Add that translation.
Unreviewed. This problem has not been reviewed by trusted users yet.
On note C{z} l’ensemble des germes de fonctions analytiques en 0, et C({z}) l’ensemble des germes de fonctions méromorphes en 0. Soit n⩾1. On considère le système différentiel suivant :
Y′(z)=A(z)Y(z), A(z)∈Mn(C({z}))(∗)d’inconnue Y(z)∈Mn,1(C{z}).
Pour tout A∈M(C({z})) et tout F∈GLn(C({z})), on note AF=FAF−1+F′F−1.
- Montrer que les assertions suivantes sont équivalentes :
(i) U est solution de U′=AU.
(ii) V:=FU est solution de V′=AFV.
On dit alors que les deux systèmes Y′=AY et Y′=BY sont méromorphiquement équivalents s’il existe F∈GLn(C({z})) tel que AF=B.
- Montrer que "être méromorphiquement équivalent" est une relation d’équivalence.
- Montrer que si (∗) possède une solution fondamentale de la forme F(z)exp(Γln(z)), avec F(z)∈GLn(C({z})) et Γ∈Mn(C), alors (∗) est équivalente au système différentiel Y′(z)=zΓY(z).
- Est-ce que la réciproque est vraie ?