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

Abstract : In this thesis, we provide solutions to some symbolic integration problems in computer algebra. The main objective is to effectively and efficiently compute functions that appear as contour integrals depending on one parameter.First, we consider the computation of the integral of a bivariate rational function with regard to one of the variables. The result is then an algebraic function that can be expressed as a sum of residues of the integrand. We design two algorithms that efficiently compute an annihilating polynomial for each residue, and then for their sum, which yields an annihilating polynomial for the integral itself.These algorithms apply almost directly to the computation of an annihilating polynomial for the diagonal of a rational function, that is, the univariate power series obtained from the expansion of a bivariate rational function by only keeping the diagonal coefficients. Indeed, these diagonals can be written as integrals of rational functions. In another application, we give a new algorithm for the Taylor expansion of the generating functions for several families of unidimensional lattice walks. It relies on a fine analysis of the sizes of the algebraic and differential equations satisfied by these generating functions.Secondly, we consider integrals of mixed hypergeometric and hyperexponential terms. In this case, the result is a polynomially recursive sequence. We devise a method to rewrite the various shifts of a given term under a normal form. This allows us to apply the method of reduction-based creative telescoping in order to efficiently compute a recurrence with polynomial coefficients for the integral.
Complete list of metadatas

Cited literature [87 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/tel-01505056
Contributor : Abes Star <>
Submitted on : Monday, April 10, 2017 - 10:11:09 PM
Last modification on : Wednesday, April 17, 2019 - 1:17:53 AM
Long-term archiving on : Tuesday, July 11, 2017 - 2:24:34 PM

File

58370_DUMONT_2016_archivage.pd...
Version validated by the jury (STAR)

Identifiers

  • 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⟩

Share

Metrics

Record views

355

Files downloads

998