197 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 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
REDUCE package for the indefinite and definite summation
This article describes the REDUCE package ZEILBERG implemented by Gregor
St\"olting and the author.
The REDUCE package ZEILBERG is a careful implementation of the Gosper and
Zeilberger algorithms for indefinite, and definite summation of hypergeometric
terms, respectively. An expression is called a {\sl hypergeometric term}
(or {\sl closed form}), if is a rational function with respect
to . Typical hypergeometric terms are ratios of products of powers,
factorials, function terms, binomial coefficients, and shifted
factorials (Pochhammer symbols) that are integer-linear in their arguments
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
Recurrence and Polya number of general one-dimensional random walks
The recurrence properties of random walks can be characterized by P\'{o}lya
number, i.e., the probability that the walker has returned to the origin at
least once. In this paper, we consider recurrence properties for a general 1D
random walk on a line, in which at each time step the walker can move to the
left or right with probabilities and , or remain at the same position
with probability (). We calculate P\'{o}lya number of this
model and find a simple expression for as, , where is
the absolute difference of and (). We prove this rigorous
expression by the method of creative telescoping, and our result suggests that
the walk is recurrent if and only if the left-moving probability equals to
the right-moving probability .Comment: 3 page short pape
- …