Hermite reduction and creative telescoping for hyperexponential functions

DOI10.1145/2465506.2465946MaRDI QIDQ2963219zbMATH OpenOpenAlexFDO

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)

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

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)

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.

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

Cited in

(24)

• Efficient rational creative telescoping
• Creative telescoping for holonomic functions
• Computation of the unipotent radical of the differential Galois group for a parameterized second-order linear differential equation
• Iterated binomial sums and their associated iterated integrals
• 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
• Efficient algorithms for mixed creative telscoping
• Beating binary powering for polynomial matrices
• 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
• On the existence of telescopers for mixed hypergeometric terms
• Constructing minimal telescopers for rational functions in three discrete variables
• 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

Describes a project that uses

Uses Software

• DEtools
• Maple

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)