On the Structure of Compatible Rational Functions

Shaoshi Chen; Ruyong Feng; Guofeng Fu; Ziming Li

doi:10.1145/1993886.1993905

On the Structure of Compatible Rational Functions

Shaoshi Chen
, Ruyong Feng
, Guofeng Fu
, Ziming Li

Institut für Symbolisches Rechnen

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

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.

Originalsprache	Englisch
Titel	Proceedings of ISSAC 2011
Herausgeber*innen	Anton Leykin
Seiten	91-98
Seitenumfang	8
DOIs	https://doi.org/10.1145/1993886.1993905
Publikationsstatus	Veröffentlicht - Juni 2011

Wissenschaftszweige

101001 Algebra
101002 Analysis
101 Mathematik
102 Informatik
102011 Formale Sprachen
101009 Geometrie
101013 Mathematische Logik
101020 Technische Mathematik
101025 Zahlentheorie
101012 Kombinatorik
101005 Computeralgebra
101006 Differentialgeometrie
101003 Angewandte Geometrie
102025 Verteilte Systeme

JKU-Schwerpunkte

Computation in Informatics and Mathematics

Zugriff auf Dokument

10.1145/1993886.1993905

Andere Dateien und Links

http://algo.inria.fr/chen/

Dieses zitieren

@inproceedings{39f732ccf8d94385b65ed4823a9e5b30,

title = "On the Structure of Compatible Rational Functions",

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.",

author = "Shaoshi Chen and Ruyong Feng and Guofeng Fu and Ziming Li",

year = "2011",

month = jun,

doi = "10.1145/1993886.1993905",

language = "English",

isbn = "978-1-4503-0675-1",

pages = "91--98",

editor = "\{Anton Leykin\}",

booktitle = "Proceedings of ISSAC 2011",

}

TY - GEN

T1 - On the Structure of Compatible Rational Functions

AU - Chen, Shaoshi

AU - Feng, Ruyong

AU - Fu, Guofeng

AU - Li, Ziming

PY - 2011/6

Y1 - 2011/6

N2 - 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.

AB - 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.

UR - http://algo.inria.fr/chen/

U2 - 10.1145/1993886.1993905

DO - 10.1145/1993886.1993905

M3 - Conference proceedings

SN - 978-1-4503-0675-1

SP - 91

EP - 98

BT - Proceedings of ISSAC 2011

A2 - Anton Leykin, null

ER -