Algorithmes rapides pour le calcul symbolique de certaines intégrales de contour à paramètre

Résumé : Cette thèse traite de problèmes d'intégration symbolique en calcul formel. L'objectif principal est de mettre au point des algorithmes permettant de calculer rapidement des fonctions qui sont présentées sous la forme d'intégrales de contour dépendant d'un paramètre.On commence par aborder le problème du calcul de l'intégrale d'une fraction rationnelle bivariée par rapport à l'une de ses variables. Le résultat est alors une fonction algébrique qui s'exprime comme une somme de résidus de l'intégrande. On met au point deux algorithmes qui calculent efficacement un polynôme annulateur pour chacun des résidus, et ensuite pour la somme, ce qui donne accès à un polynôme annulateur pour l'intégrale elle-même.Ces algorithmes s'appliquent presque directement au calcul d'un polynôme annulateur pour la diagonale d'une fraction rationnelle bivariée, c'est-à-dire la série univariée obtenue à partir du développement en série d'une fraction rationnelle bivariée en ne gardant que les coefficients diagonaux. En effet, ces diagonales peuvent s'écrire comme des intégrales de fractions rationnelles. Dans une autre application, on donne un nouvel algorithme pour le développement des séries génératrices de plusieurs familles de marches unidimensionnelles sur les entiers. Il repose sur une analyse fine des tailles des équations algébriques et différentielles satisfaites par ces séries.Dans un second temps, on s'intéresse au calcul de l'intégrale d'un terme mixte hypergéométrique et hyperexponentiel. Cette fois-ci le résultat est une suite polynomialement récursive. On élabore une méthode pour mettre sous forme normale les divers décalages d'un terme donné. Ceci permet d'appliquer la méthode du télescopage créatif par réductions pour calculer efficacement une récurrence à coefficients polynomiaux satisfaite par l'intégrale.
Type de document :
Thèse
Algorithme et structure de données [cs.DS]. Université Paris-Saclay, 2016. Français. 〈NNT : 2016SACLX111〉
Liste complète des métadonnées

Littérature citée [87 références]  Voir  Masquer  Télécharger

https://pastel.archives-ouvertes.fr/tel-01505056
Contributeur : Abes Star <>
Soumis le : lundi 10 avril 2017 - 22:11:09
Dernière modification le : mardi 29 mai 2018 - 01:09:22
Document(s) archivé(s) le : mardi 11 juillet 2017 - 14:24:34

Fichier

58370_DUMONT_2016_archivage.pd...
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01505056, version 1

Collections

Citation

Louis Dumont. Algorithmes rapides pour le calcul symbolique de certaines intégrales de contour à paramètre. Algorithme et structure de données [cs.DS]. Université Paris-Saclay, 2016. Français. 〈NNT : 2016SACLX111〉. 〈tel-01505056〉

Partager

Métriques

Consultations de la notice

285

Téléchargements de fichiers

309