Fonctionne avec Indico
v3.2.9
Un problème classique dû à Abel est de déterminer si une équation différentielle y′ = ηy admet une solution non triviale y algébrique sur C(x) lorsque η est une fonction algébrique donnée sur C(x). Risch a produit un algorithme qui, étant donné η, détermine s'il existe une solution algébrique ou non. Dans un travail en commun avec Eric Delaygue (Lyon), nous avons donné un point de vue différent lorsque η admet un développement de Puiseux à coefficients rationnels en 0 : il existe une solution algébrique non triviale de y′=ηy si et seulement si les coefficients du développement de Puiseux de η en 0 satisfont les congruences de Gauss pour presque tous les nombres premiers. Nous avons appliqué notre critère afin de déterminer complètement les équations y′=ηy avec une solution algébrique lorsque xη(x) est une série hypergéométrique algébrique à paramètres rationnels, ce qui nous a permis de prouver une prédiction de Golyshev.