104 research outputs found
Algorithms for the indefinite and definite summation
The celebrated Zeilberger algorithm which finds holonomic recurrence
equations for definite sums of hypergeometric terms is extended to
certain nonhypergeometric terms. An expression is called a
hypergeometric term if both and are
rational functions. Typical examples are ratios of products of exponentials,
factorials, function terms, bin omial coefficients, and Pochhammer
symbols that are integer-linear with respect to and in their arguments.
We consider the more general case of ratios of products of exponentials,
factorials, function terms, binomial coefficients, and Pochhammer
symbols that are rational-linear with respect to and in their
arguments, and present an extended version of Zeilberger's algorithm for this
case, using an extended version of Gosper's algorithm for indefinite summation.
In a similar way the Wilf-Zeilberger method of rational function
certification of integer-linear hypergeometric identities is extended to
rational-linear hypergeometric identities
The Abel-Zeilberger Algorithm
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.Comment: 18 page
The q-WZ Method for Infinite Series
Motivated by the telescoping proofs of two identities of Andrews and Warnaar,
we find that infinite q-shifted factorials can be incorporated into the
implementation of the q-Zeilberger algorithm in the approach of Chen, Hou and
Mu to prove nonterminating basic hypergeometric series identities. This
observation enables us to extend the q-WZ method to identities on infinite
series. As examples, we will give the q-WZ pairs for some classical identities
such as the q-Gauss sum, the sum, Ramanujan's sum and
Bailey's sum.Comment: 17 page
Low Complexity Algorithms for Linear Recurrences
We consider two kinds of problems: the computation of polynomial and rational
solutions of linear recurrences with coefficients that are polynomials with
integer coefficients; indefinite and definite summation of sequences that are
hypergeometric over the rational numbers. The algorithms for these tasks all
involve as an intermediate quantity an integer (dispersion or root of an
indicial polynomial) that is potentially exponential in the bit size of their
input. Previous algorithms have a bit complexity that is at least quadratic in
. We revisit them and propose variants that exploit the structure of
solutions and avoid expanding polynomials of degree . We give two
algorithms: a probabilistic one that detects the existence or absence of
nonzero polynomial and rational solutions in bit
operations; a deterministic one that computes a compact representation of the
solution in bit operations. Similar speed-ups are obtained in
indefinite and definite hypergeometric summation. We describe the results of an
implementation.Comment: This is the author's version of the work. It is posted here by
permission of ACM for your personal use. Not for redistributio
Three Recitations on Holonomic Systems and Hypergeometric Series
A tutorial on what later became to be known as WZ theory, as well as a
motivated account of the seminal Gosper algorithm.Comment: Plain Te
- …