Hermite reduction and creative telescoping for hyperexponential functions

DOI10.1145/2465506.2465946zbMATH Open1360.68918arXiv1301.5038OpenAlexW1966664467MaRDI QIDQ2963219FDOQ2963219

Authors: Alin Bostan, Shaoshi Chen, Ziming Li, Guoce Xin, Frédéric Chyzak 

Publication date: 10 February 2017

Published in: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Abstract: We present a reduction algorithm that simultaneously extends Hermite's reduction for rational functions and the Hermite-like reduction for hyperexponential functions. It yields a unique additive decomposition and allows to decide hyperexponential integrability. Based on this reduction algorithm, we design a new method to compute minimal telescopers for bivariate hyperexponential functions. One of its main features is that it can avoid the costly computation of certificates. Its implementation outperforms Maple's function DEtools[Zeilberger]. Moreover, we derive an order bound on minimal telescopers, which is more general and tighter than the known one.

Full work available at URL: https://arxiv.org/abs/1301.5038

Recommendations

• Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
• Hermite and special Hermite expansions revisited
• Reduction-based creative telescoping for Fuchsian D-finite functions
• scientific article; zbMATH DE number 732131
• Conjugate expansions for Hermite functions
• scientific article; zbMATH DE number 2174283
• On g-functions for Hermite function expansions
• HERMITE-PADÉ APPROXIMANTS OF GENERALIZED HYPERGEOMETRIC FUNCTIONS
• Reduction-based creative telescoping for algebraic functions
• Hermite Reduction for D-finite Functions via Integral Bases

zbMATH Keywords

telescoperHermite reductionhyperexponential function

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Cited In (24)

• Efficient rational creative telescoping
• Creative telescoping for holonomic functions
• Iterated binomial sums and their associated iterated integrals
• Computation of the unipotent radical of the differential Galois group for a parameterized second-order linear differential equation
• Hermite Reduction for D-finite Functions via Integral Bases
• Additive decompositions in primitive extensions
• Additive normal forms and integration of differential fractions
• Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
• On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters
• Beating binary powering for polynomial matrices
• Efficient algorithms for mixed creative telscoping
• Differential rational normal forms and a reduction algorithm for hyperexponential func
• A modified Abramov-Petkovsek reduction and creative telescoping for hypergeometric terms
• New Bounds for Hypergeometric Creative Telescoping
• Reduction-based creative telescoping for algebraic functions
• Constructing minimal telescopers for rational functions in three discrete variables
• On the existence of telescopers for mixed hypergeometric terms
• Telescopers for differential forms with one parameter
• Reduction-based creative telescoping for Fuchsian D-finite functions
• Linear differential equations as a data structure
• Constructing reductions for creative telescoping. The general differentially finite case
• Lazy Hermite reduction and creative telescoping for algebraic functions
• Reduction-based creative telescoping for definite summation of D-finite functions
• Some open problems related to creative telescoping

Uses Software

• Maple
• DEtools

This page was built for publication: Hermite reduction and creative telescoping for hyperexponential functions

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