Calcul symbolique sur les séries hypergéométriques

par Bruno Gauthier

Thèse de doctorat en Informatique fondamentale

Sous la direction de Jacques Désarménien.

Soutenue en 1999

à l'Université de Marne-la-Vallée .


  • Résumé

    Cette these met en lumiere l'apport du calcul formel pour l'etude des series hypergeometriques. La premiere partie decrit la manipulation d'expressions faisant intervenir des series hypergeometriques. Nous presentons la theorie generale et les operations usuelles sur ces objets telles que les formules de sommation, de transformation et de contiguite. Ces formules constituent une base de donnees implantee dans une librairie de fonctions appelee hyperg s'appuyant sur le systeme de calcul formel maple. Dans la deuxieme partie, nous presentons les recurrences lineaires a coefficients polynomiaux et les algorithmes pour trouver des solutions polynomiales, rationnelles et hypergeometriques. La troisieme partie developpe les outils de demonstration automatique parmi lesquels la technique de sur celine, les algorithmes de gosper et zeilberger ainsi que la methode wz. Nous montrons comment les outils presentes peuvent etre combines. Nous developpons notamment l'approche initiee par gessel puis par koornwinder qui permet de demontrer des identites - telles le theoreme de kummer - faisant intervenir des series qui ne se terminent pas. Nous presentons egalement quelques perspectives sur les q-analogues des series hypergeometriques. Enfin, nous donnons une description de la realisation logicielle hyperg qui inclut les algorithmes presentes dans cette these. Les annexes donnent des applications de ces outils aux polynomes orthogonaux et aux nombres de motzkin

  • Titre traduit

    Symbolic computation on hypergeometric series


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (VIII-148 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 143-148 (80 réf.). Index

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Est Marne-la-Vallée. Bibliothèque.
  • Consultable sur place dans l'établissement demandeur
  • Cote : 1999 GAU 0059
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.