Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions

DOI10.1145/3208976.3208992MaRDI QIDQ5120183zbMATH OpenOpenAlexWikidataFDO

Authors Alin Bostan, Pierre Lairez, Bruno Salvy, Frédéric Chyzak

Publication date 9 September 2020

Published in Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1805.03445, https://hal.inria.fr/hal-01788619/file/redct-final.pdf

zbMATH Keywords

creative telescopingD-finite functionsHermite reductionsymbolic integration

Mathematics Subject Classification ID

Analytical theory of ordinary differential equations: series, transformations, transforms, operational calculus, etc. (34A25) Linear ordinary differential equations and systems (34A30) Symbolic computation and algebraic computation (68W30)

Abstract: Hermite reduction is a classical algorithmic tool in symbolic integration. It is used to decompose a given rational function as a sum of a function with simple poles and the derivative of another rational function. We extend Hermite reduction to arbitrary linear differential operators instead of the pure derivative, and develop efficient algorithms for this reduction. We then apply the generalized Hermite reduction to the computation of linear operators satisfied by single definite integrals of D-finite functions of several continuous or discrete parameters. The resulting algorithm is a generalization of reduction-based methods for creative telescoping.

Recommendations

• Hermite reduction and creative telescoping for hyperexponential functions
• A reduction approach to creative telescoping
• Reduction-based creative telescoping for Fuchsian D-finite functions
• Constructing reductions for creative telescoping. The general differentially finite case
• Additive decompositions in primitive extensions

Cited in

(19)

• Constructing minimal telescopers for rational functions in three discrete variables
• Linear differential equations as a data structure
• Constructing reductions for creative telescoping. The general differentially finite case
• Hermite reduction and creative telescoping for hyperexponential functions
• Nested Integrals and Rationalizing Transformations
• Additive decompositions in primitive extensions
• A reduction approach to creative telescoping
• Beating binary powering for polynomial matrices
• Hermite Reduction for D-finite Functions via Integral Bases
• Polynomial reduction for holonomic sequences and applications in -series and congruences
• Telescopers for differential forms with one parameter
• Reduction-based creative telescoping for definite summation of D-finite functions
• Computer algebra in the service of enumerative combinatorics
• Lazy Hermite reduction and creative telescoping for algebraic functions
• A unified reduction for hypergeometric and q-hypergeometric creative telescoping
• Rational first integrals of separable differential equations
• Faster multivariate integration in D-modules
• Title not available (Why is no real title available?)
• Efficient rational creative telescoping

This page was built for publication: Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5120183)