Residues and telescopers for bivariate rational functions
From MaRDI portal
Publication:444428
DOI10.1016/J.AAM.2012.04.003zbMATH Open1248.33042DBLPjournals/aam/ChenS12arXiv1203.4200OpenAlexW2078853618WikidataQ57430939 ScholiaQ57430939MaRDI QIDQ444428FDOQ444428
Michael F. Singer, Shaoshi Chen
Publication date: 14 August 2012
Published in: Advances in Applied Mathematics (Search for Journal in Brave)
Abstract: We give necessary and sufficient conditions for the existence of telescopers for rational functions of two variables in the continuous, discrete and q-discrete settings and characterize which operators can occur as telescopers. Using this latter characterization, we reprove results of Furstenberg and Zeilberger concerning diagonals of power series representing rational functions. The key concept behind these considerations is a generalization of the notion of residue in the continuous case to an analogous concept in the discrete and q-discrete cases.
Full work available at URL: https://arxiv.org/abs/1203.4200
Symbolic computation and algebraic computation (68W30) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A holonomic systems approach to special functions identities
- Algebraic functions over finite fields
- Galois theory of difference equations
- Rational Functions Certify Combinatorial Identities
- Calcul pratique des coefficients de Taylor d'une fonction algébrique
- Symbolic integration I: Transcendental functions
- The method of differentiating under the integral sign
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- On expansion of algebraic functions in power and Puiseux series. I
- The method of creative telescoping
- Sur divers produits de séries formelles
- Parameterized telescoping proves algebraic independence of sums
- The Goulden—Jackson cluster method: extensions, applications and implementations
- Differential Galois theory of linear difference equations
- Rational summation of rational functions
- Greatest factorial factorization and symbolic summation
- Rational summation and Gosper-Petkovšek representation
- Telescoping, rational-valued series, and zeta functions
- Telescopers for rational and algebraic functions via residues
- An Inversion Theorem for Cluster Decompositions of Sequences with Distinguished Subsequences
- On expansion of algebraic functions in power and Puiseux series. II
- Linear differential operators for polynomial equations
- Linear relations among algebraic solutions of differential equations
- When does Zeilberger's algorithm succeed?
- A criterion for the applicability of Zeilberger's algorithm to rational functions
- Applicability of the \(q\)-analogue of Zeilberger's algorithm
- Propriétés algébriques de suites différentiellement finies
- Towards computerized proofs of identities
- Rational solutions of linear differential and difference equations with polynomial coefficients
- On the \(q\)-analogue of Zeilberger's algorithm to rational functions
- Grothendieck's conjecture for the Risch equation \(y'=ay+b\)
- Non-commutative rational power series and algebraic generating functions
- Non-holonomicity of sequences defined via elementary functions
Cited In (22)
- Closed form solutions of linear difference equations in terms of symmetric products
- Computation of the unipotent radical of the differential Galois group for a parameterized second-order linear differential equation
- On the summability of bivariate rational functions
- Difference Galois theory of linear differential equations
- On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters
- How to Generate All Possible Rational Wilf-Zeilberger Pairs?
- An algorithm for deciding the summability of bivariate rational functions
- On the nature of the generating series of walks in the quarter plane
- On the algebraic and analytic 𝑞-De Rham complexes attached to 𝑞-difference equations
- On the \(q\)-analogue of Pólya's theorem
- On integro-differential algebras.
- On the existence of telescopers for mixed hypergeometric terms
- Computing differential Galois groups of second-order linear \(q\)-difference equations
- Walks in the quarter plane: genus zero case
- On the existence of telescopers for rational functions in three variables
- Creative Telescoping for Holonomic Functions
- On differentially algebraic generating series for walks in the quarter plane
- Computation of the difference-differential Galois group and differential relations among solutions for a second-order linear difference equation
- Separability problems in creative telescoping
- Title not available (Why is that?)
- Some open problems related to creative telescoping
- Intrinsic Approach to Galois Theory of 𝑞-Difference Equations
Uses Software
This page was built for publication: Residues and telescopers for bivariate rational functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q444428)
