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

03/14/2016
by   Carsten Schneider, et al.
0

Recently, RΠΣ^*-extensions have been introduced which extend Karr's ΠΣ^*-fields substantially: one can represent expressions not only in terms of transcendental sums and products, but one can work also with products over primitive roots of unity. Since one can solve the parameterized telescoping problem in such rings, covering as special cases the summation paradigms of telescoping and creative telescoping, one obtains a rather flexible toolbox for symbolic summation. This article is the continuation of this work. Inspired by Singer's Galois theory of difference equations we will work out several alternative characterizations of RΠΣ^*-extensions: adjoining naively sums and products leads to an RΠΣ^*-extension iff the obtained difference ring is simple iff the ring can be embedded into the ring of sequences iff the ring can be given by the interlacing of ΠΣ^*-extensions. From the viewpoint of applications this leads to a fully automatic machinery to represent indefinite nested sums and products in such RΠΣ^*-rings. In addition, we work out how the parameterized telescoping paradigm can be used to prove algebraic independence of indefinite nested sums. Furthermore, one obtains an alternative reduction tactic to solve the parameterized telescoping problem in basic RΠΣ^*-extensions exploiting the interlacing property.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/03/2017

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

In recent years, Karr's difference field theory has been extended to the...
research
02/05/2021

Solving linear difference equations with coefficients in rings with idempotent representations

We introduce a general reduction strategy that enables one to search for...
research
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...
research
11/12/2019

Minimal representations and algebraic relations for single nested products

Recently, it has been shown constructively how a finite set of hypergeom...
research
09/18/2018

Towards a symbolic summation theory for unspecified sequences

The article addresses the problem whether indefinite double sums involvi...
research
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...
research
05/11/2020

On Rational and Hypergeometric Solutions of Linear Ordinary Difference Equations in Π^*-field extensions

We present a complete algorithm that computes all hypergeometric solutio...

Please sign up or login with your details

Forgot password? Click here to reset