Idéaux différentiels
Nous désirons savoir si l’opérateur différentiel d’ordre , où est une matrice à coefficients rationnels, a un indice dans l’espace des fonctions analytiques dans une boule; dans le cas où cet indice existe nous voulons aussi le calculer. Dans le cas où nous montrons l’existence d’un indice (si l’exposant de l’opérateur n’est pas Liouville -adique) et nous montrons comment calculer cet indice. De même nous savons montrer l’existence d’un indice et comment calculer cet indice lorsque le système...
On considère le problème de déterminer les solutions d’une équation différentielle ordinaire, dite de Risch sur une courbe algébrique. En fait une généralisation assez évidente de la méthode de Risch suffit mais elle nous permet de généraliser son algorithme d’intégration à toute extension élémentairement transcendante d’une extension algébrique des fonctions rationnelles.
This note extends the algorithm of [hess] for computing unimodular Galois groups of irreducible differential equations of order four. The main tool is invariant theory.