Showing 1–2 of 2 results for author: Ocansey, E D
-
Representation of hypergeometric products of higher nesting depths in difference rings
Authors:
Evans Doe Ocansey,
Carsten Schneider
Abstract:
A non-trivial symbolic machinery is presented that can rephrase algorithmically a finite set of nested hypergeometric products in appropriately designed difference rings. As a consequence, one obtains an alternative representation in terms of one single product defined over a root of unity and nested hypergeometric products which are algebraically independent among each other. In particular, one c…
▽ More
A non-trivial symbolic machinery is presented that can rephrase algorithmically a finite set of nested hypergeometric products in appropriately designed difference rings. As a consequence, one obtains an alternative representation in terms of one single product defined over a root of unity and nested hypergeometric products which are algebraically independent among each other. In particular, one can solve the zero-recognition problem: the input expression of nested hypergeometric products evaluates to zero if and only if the output expression is the zero expression. Combined with available symbolic summation algorithms in the setting of difference rings, one obtains a general machinery that can represent (and simplify) nested sums defined over nested products.
△ Less
Submitted 17 November, 2020;
originally announced November 2020.
-
Representing ($q$--)hypergeometric products and mixed versions in difference rings
Authors:
Evans Doe Ocansey,
Carsten Schneider
Abstract:
In recent years, Karr's difference field theory has been extended to the so-called $RΠΣ$-extensions in which one can represent not only indefinite nested sums and products that can be expressed by transcendental ring extensions, but one can also handle algebraic products of the form $α^n$ where $α$ is a root of unity. In this article we supplement this summation theory substantially by the followi…
▽ More
In recent years, Karr's difference field theory has been extended to the so-called $RΠΣ$-extensions in which one can represent not only indefinite nested sums and products that can be expressed by transcendental ring extensions, but one can also handle algebraic products of the form $α^n$ where $α$ is a root of unity. In this article we supplement this summation theory substantially by the following building block. We provide new algorithms that represent a finite number of hypergeometric or mixed $(q_1,...,q_e)$-multibasic hypergeometric products in such a difference ring. This new insight provides a complete summation machinery that enables one to formulate such products and indefinite nested sums defined over such products in $RΠΣ$-extensions fully automatically. As a side-product, one obtains compactified expressions where the products are algebraically independent among each other, and one can solve the zero-recognition problem for such products.
△ Less
Submitted 30 October, 2017; v1 submitted 3 May, 2017;
originally announced May 2017.