Gosper summability of rational multiples of hypergeometric terms

DOI10.1080/10236198.2021.2007903MaRDI QIDQ5023848zbMATH OpenOpenAlexFDO

Authors Qing-Hu Hou, Guojie Li

Publication date 25 January 2022

Published in Journal of Difference Equations and Applications (Search for Journal in Brave)

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

zbMATH Keywords

hypergeometric termBauer's seriesGosper representationGosper summablesuper-congruence

Mathematics Subject Classification ID

Asymptotic approximations, asymptotic expansions (steepest descent, etc.) (41A60) Series expansions (e.g., Taylor, Lidstone series, but not Fourier series) (41A58) Combinatorial inequalities (05A20) General theorems on summability (40D05)

Abstract: By telescoping method, Sun gave some hypergeometric series whose sums are related to $pi$ recently. We investigate these series from the point of view of Gosper's algorithm. Given a hypergeometric term $t_k$, we consider the Gosper summability of $r(k)t_k$ for $r(k)$ being a rational function of $k$. We give an upper bound and a lower bound on the degree of the numerator of $r(k)$ such that $r(k)t_k$ is Gosper summable. We also show that the denominator of the $r(k)$ can read from the Gosper representation of $t_{k+1}/t_k$. Based on these results, we give a systematic method to construct series whose sums can be derived from the known ones. We also illustrated the corresponding super-congruences and the $q$-analogue of the approach.

Recommendations

• Rational summation and Gosper-Petkovšek representation
• An explicit evaluation of the Gosper sum
• The summation of rational functions by an extended Gosper algorithm
• Summable sums of hypergeometric series
• scientific article; zbMATH DE number 7668231
• On a strange evaluation of the hypergeometric series by Gosper
• scientific article; zbMATH DE number 3238779
• Asymptotics of sums of hypergeometric terms
• Hyperbolic summation for functions of the GCD and LCM of several integers

Cites work

• scientific article; zbMATH DE number 434841 (Why is no real title available?)
• scientific article; zbMATH DE number 872231 (Why is no real title available?)
• A $p$-adic supercongruence conjecture of van Hamme
• A modified Abramov-Petkovsek reduction and creative telescoping for hypergeometric terms
• Decision procedure for indefinite hypergeometric summation
• New series for powers of \(\pi\) and related congruences
• On Zeilberger's algorithm and its \(q\)-analogue
• Polynomial reduction and supercongruences
• The extended Zeilberger algorithm with parameters
• \(q\)-analogues of some series for powers of \(\pi\)
• q-analogues of three Ramanujan-type formulas for 1/

Cited in

(6)

• q-rational reduction and q-analogues of series for
• Polynomial reduction for holonomic sequences and applications in -series and congruences
• scientific article; zbMATH DE number 7668231 (Why is no real title available?)
• Power-partible reduction and congruences for Apéry numbers
• ON A STRANGE EVALUATION OF THE HYPERGEOMETRIC SERIES BY GOSPER. II
• On the Gosper-Petkovšek representation of rational functions

This page was built for publication: Gosper summability of rational multiples of hypergeometric terms

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