Constantes et polynomes de darboux en algebre differentielle : application aux systemes differentiels lineaires

Constants and darboux polynomials in differential algebra: application to linear differential systems

• Auteur / Autrice : Jacques-Arthur Weil
• Direction : Jean Moulin Ollagnier
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques
• Date : Soutenance en 1995
• Etablissement(s) : Palaiseau, Ecole polytechnique

Résumé

Gaston darboux a montre que la recherche d'integrales premieres d'equations differentielles se ramenait au probleme suivant: etant donne une derivation d d'un anneau de polynomes, trouver des polynomes f et a tels que df = af ; on dit alors que f est un polynome de darboux. Dans un premier temps, nous rappelons et completons l'etat de l'art sur l'utilisation de polynomes de darboux pour calculer des integrales premieres d'equations differentielles quasi-lineaires ou de champs de vecteurs. Nous montrons ensuite comment caracteriser les polynomes de darboux de systemes differentiels lineaires en les liant bijectivement aux invariants du groupe de galois differentiel. Enfin, nous appliquons ces idees au calcul de solutions algebriques ou liouvilliennes d'equations differentielles lineaires d'ordre 2 et 3. Nos algorithmes ont ete implantes dans le systeme de calcul formel maple et nous decrivons en annexe les details de cet aspect