Separability Problems in Creative Telescoping

02/07/2021
by   Shaoshi Chen, et al.
0

For given multivariate functions specified by algebraic, differential or difference equations, the separability problem is to decide whether they satisfy linear differential or difference equations in one variable. In this paper, we will explain how separability problems arise naturally in creative telescoping and present some criteria for testing the separability for several classes of special functions, including rational functions, hyperexponential functions, hypergeometric terms, and algebraic functions.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

01/30/2019

Rational Solutions of First-Order Algebraic Ordinary Difference Equations

We propose an algebraic geometric approach for studying rational solutio...
10/03/2019

D-Modules and Holonomic Functions

In algebraic geometry, one studies the solutions to polynomial equations...
02/04/2018

Desingularization of First Order Linear Difference Systems with Rational Function Coefficients

It is well known that for a first order system of linear difference equa...
08/05/2019

The Pantelides algorithm for delay differential-algebraic equations

We present a graph-theoretical approach that can detect which equations ...
03/28/2020

Stream/block ciphers, difference equations and algebraic attacks

In this paper we model a class of stream and block ciphers as systems of...
11/25/2021

Quasi-equivalence of heights in algebraic function fields of one variable

For points (a,b) on an algebraic curve over a field K with height 𝔥, the...
11/25/2020

Towards a reliable implementation of least-squares collocation for higher-index differential-algebraic equations

In this note we discuss several questions concerning the implementation ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.