Solving Difference Equations whose Coefficients are not Transcendental

Manuel Kauers

Solving Difference Equations whose Coefficients are not Transcendental

Manuel Kauers

Research Institute for Symbolic Computation

Research output: Working paper and reports › Research report

Abstract

We consider a large class of sequences, called admissible sequences, which are defined by systems of (possibly nonlinear) difference equations. A procedure for recursively enumerating the algebraic dependencies of such sequences is presented. Also a procedure for solving linear difference equations with admissible sequences as coefficients is proposed. The methods are illustrated on some problems arising in the literature on special functions and combinatorial sequences.

Original language	English
Place of Publication	Johannes Kepler University, Altenberger Str. 69, 4040 Linz
Publisher	SFB
Number of pages	23
Publication status	Published - Dec 2005

Publication series

Name	SFB F013 Reports
No.	2005-20

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

Cite this

@techreport{3aa3ae2fe1e34fde861925178908ea40,

title = "Solving Difference Equations whose Coefficients are not Transcendental",

abstract = "We consider a large class of sequences, called admissible sequences, which are defined by systems of (possibly nonlinear) difference equations. A procedure for recursively enumerating the algebraic dependencies of such sequences is presented. Also a procedure for solving linear difference equations with admissible sequences as coefficients is proposed. The methods are illustrated on some problems arising in the literature on special functions and combinatorial sequences.",

author = "Manuel Kauers",

year = "2005",

month = dec,

language = "English",

series = "SFB F013 Reports",

publisher = "SFB",

number = "2005-20",

type = "WorkingPaper",

institution = "SFB",

}

TY - UNPB

T1 - Solving Difference Equations whose Coefficients are not Transcendental

AU - Kauers, Manuel

PY - 2005/12

Y1 - 2005/12

N2 - We consider a large class of sequences, called admissible sequences, which are defined by systems of (possibly nonlinear) difference equations. A procedure for recursively enumerating the algebraic dependencies of such sequences is presented. Also a procedure for solving linear difference equations with admissible sequences as coefficients is proposed. The methods are illustrated on some problems arising in the literature on special functions and combinatorial sequences.

AB - We consider a large class of sequences, called admissible sequences, which are defined by systems of (possibly nonlinear) difference equations. A procedure for recursively enumerating the algebraic dependencies of such sequences is presented. Also a procedure for solving linear difference equations with admissible sequences as coefficients is proposed. The methods are illustrated on some problems arising in the literature on special functions and combinatorial sequences.

M3 - Research report

T3 - SFB F013 Reports

BT - Solving Difference Equations whose Coefficients are not Transcendental

PB - SFB

CY - Johannes Kepler University, Altenberger Str. 69, 4040 Linz

ER -