The Abel-Zeilberger algorithm

MaRDI QIDQ640468zbMATH OpenFDO

Authors William Y. C. Chen, Qing-Hu Hou, Hai-Tao Jin

Publication date 18 October 2011

Published in The Electronic Journal of Combinatorics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1105.0178, http://www.emis.de/journals/EJC/Volume_18/Abstracts/v18i2p17.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

holonomic sequenceshypergeoemtric sequencessymbolic summation

Mathematics Subject Classification ID

Combinatorial identities, bijective combinatorics (05A19) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Additive difference equations (39A10) Symbolic computation and algebraic computation (68W30)

Abstract: We use both Abel's lemma on summation by parts and Zeilberger's algorithm to find recurrence relations for definite summations. The role of Abel's lemma can be extended to the case of linear difference operators with polynomial coefficients. This approach can be used to verify and discover identities involving harmonic numbers and derangement numbers. As examples, we use the Abel-Zeilberger algorithm to prove the Paule-Schneider identities, the Apery-Schmidt-Strehl identity, Calkin's identity and some identities involving Fibonacci numbers.

Review text

In this article Abel's Lemma on summation is combined with Gosper's algorithm and more generally with Abramov's algorithm to find closed forms of indefinite summation problems and to compute recurrence relations of definite sums. The presented algorithm is closely related to the holonomic approach worked out in the pioneering article [\textit{F. Chyzak}, Discrete Math. 217, No. 1--3, 115--134 (2000; Zbl 0968.33011)] and can be considered as a special case of [\textit{C. Schneider}, Adv. Appl. Math. 34, No. 4, 740--767 (2005; Zbl 1078.33021)] formulated in the context of difference fields.

Recommendations

• WZ-style certification and sister celine's technique for abel-type sums
• On the rational summation problem
• Abel's lemma and identities on harmonic numbers
• An extension of Zeilberger's fast algorithm to general holonomic functions
• A Macsyma implementation of Zeilberger's fast algorithm

Cited in

(15)

• Algorithmic solution of Abel's equation
• A note on Abel's partial summation formula
• Four families of summation formulas involving generalized harmonic numbers
• Log-convexity and log-concavity for series in gamma ratios and applications
• Whipple-type 3F2-series and summation formulae involving generalized harmonic numbers
• Watson-type₃F₂-series and summation formulae involving generalized harmonic numbers
• WZ-style certification and sister celine's technique for abel-type sums
• Finite binomial sum identities with harmonic numbers
• Term algebras, canonical representations and difference ring theory for symbolic summation
• A Saalschütz-type identity and summation formulae involving generalized harmonic numbers
• Abel's lemma and identities on harmonic numbers
• Congruences for sums of Delannoy numbers and Legendre polynomials
• The expected value under the Yule model of the squared path-difference distance
• Rational reductions for holonomic sequences
• Derivative operator and summation formulae involving generalized harmonic numbers

Describes a project that uses

Uses Software

• SIGMA

This page was built for publication: The Abel-Zeilberger algorithm

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