DeepAI AI Chat
Log In Sign Up

Representing (q--)hypergeometric products and mixed versions in difference rings

05/03/2017
by   Evans Doe Ocansey, et al.
Johannes Kepler University Linz
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

03/14/2016

Summation Theory II: Characterizations of RΠΣ^*-extensions and algorithmic aspects

Recently, RΠΣ^*-extensions have been introduced which extend Karr's ΠΣ^*...
11/17/2020

Representation of hypergeometric products of higher nesting depths in difference rings

A non-trivial symbolic machinery is presented that can rephrase algorith...
11/12/2019

Minimal representations and algebraic relations for single nested products

Recently, it has been shown constructively how a finite set of hypergeom...
06/12/2017

Refined Holonomic Summation Algorithms in Particle Physics

An improved multi-summation approach is introduced and discussed that en...
09/18/2018

Towards a symbolic summation theory for unspecified sequences

The article addresses the problem whether indefinite double sums involvi...
10/13/2015

Algebraic independence of sequences generated by (cyclotomic) harmonic sums

An expression in terms of (cyclotomic) harmonic sums can be simplified b...
02/07/2023

Refined telescoping algorithms in RΠΣ-extensions to reduce the degrees of the denominators

We present a general framework in the setting of difference ring extensi...