4,880 research outputs found
Applicability of the -Analogue of Zeilberger's Algorithm
The applicability or terminating condition for the ordinary case of
Zeilberger's algorithm was recently obtained by Abramov. For the -analogue,
the question of whether a bivariate -hypergeometric term has a -pair
remains open. Le has found a solution to this problem when the given bivariate
-hypergeometric term is a rational function in certain powers of . We
solve the problem for the general case by giving a characterization of
bivariate -hypergeometric terms for which the -analogue of Zeilberger's
algorithm terminates. Moreover, we give an algorithm to determine whether a
bivariate -hypergeometric term has a -pair.Comment: 15 page
A Telescoping method for Double Summations
We present a method to prove hypergeometric double summation identities.
Given a hypergeometric term , we aim to find a difference operator and rational functions
such that .
Based on simple divisibility considerations, we show that the denominators of
and must possess certain factors which can be computed from . Using these factors as estimates, we may find the numerators of
and by guessing the upper bounds of the degrees and solving systems of
linear equations. Our method is valid for the Andrews-Paule identity, Carlitz's
identities, the Ap\'ery-Schmidt-Strehl identity, the Graham-Knuth-Patashnik
identity, and the Petkov\v{s}ek-Wilf-Zeilberger identity.Comment: 22 pages. to appear in J. Computational and Applied Mathematic
- β¦