On the structure of compatible rational functions

DOI10.1145/1993886.1993905MaRDI QIDQ5254158zbMATH OpenOpenAlexWikidataFDO

Authors Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li

Publication date 9 June 2015

Published in Proceedings of the 36th international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1301.5046, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.204.7052

zbMATH Keywords

compatibility conditionshypergeometric termhyperexponential functioncompatible rational functions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Abstract: A finite number of rational functions are compatible if they satisfy the compatibility conditions of a first-order linear functional system involving differential, shift and q-shift operators. We present a theorem that describes the structure of compatible rational functions. The theorem enables us to decompose a solution of such a system as a product of a rational function, several symbolic powers, a hyperexponential function, a hypergeometric term, and a q-hypergeometric term. We outline an algorithm for computing this product, and present an application.

Recommendations

• Rational solutions of linear difference and \(q\)-differential equations with polynomial coefficients
• Rational solutions of linear difference and q-difference equations with polynomial coefficients
• Rational functions
• scientific article; zbMATH DE number 1254263
• Rational solutions of ordinary difference equations

Cited in

(11)

• Term algebras, canonical representations and difference ring theory for symbolic summation
• Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms
• Discrete functions and sparse systems of discrete equations
• On rational functions with disjoint graphs
• Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
• On the existence of telescopers for mixed hypergeometric terms
• Representation of hypergeometric products of higher nesting depths in difference rings
• How to generate all possible rational Wilf-Zeilberger forms?
• Hypergeometric structures in Feynman integrals
• On mutually semiconjugate rational functions
• Minimal representations and algebraic relations for single nested products

This page was built for publication: On the structure of compatible rational functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5254158)