Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function Coefficients

被引:7
作者
Abramov, S. A. [1 ]
Petkovsek, M. [2 ]
Ryabenko, A. A. [1 ]
机构
[1] Russian Acad Sci, Ctr Comp, Moscow 119991, Russia
[2] Univ Ljubljana, Fac Math & Phys, SI-1000 Ljubljana, Slovenia
来源
COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING (CASC 2015) | 2015年 / 9301卷
关键词
RECURRENCE EQUATIONS; DENOMINATORS; ORDER;
D O I
10.1007/978-3-319-24021-3_1
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Algorithms for finding hypergeometric solutions of scalar linear difference equations with rational-function coefficients are known in computer algebra. We propose an algorithm for the case of a first-order system of such equations. The algorithm is based on the resolving procedure which is proposed as a suitable auxiliary tool, and on the search for hypergeometric solutions of scalar equations as well as on the search for rational solutions of systems with rational-function coefficients. We report some experiments with our implementation of the algorithm.
引用
收藏
页码:1 / 14
页数:14
相关论文
共 21 条
[11]   AN ALGORITHM FOR COMPUTING A COMPANION BLOCK DIAGONAL FORM FOR A SYSTEM OF LINEAR-DIFFERENTIAL EQUATIONS [J].
BARKATOU, MA .
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 1993, 4 (03) :185-195
[12]  
Bostan A., 2013, ISSAC 2013 P, P85
[13]   An introduction to pseudo-linear algebra [J].
Bronstein, M ;
Petkovsek, M .
THEORETICAL COMPUTER SCIENCE, 1996, 157 (01) :3-33
[14]  
Churchill R.C., 2002, Differential Algebra and Related Topics, P191
[15]   Computing hypergeometric solutions of linear recurrence equations [J].
Cluzeau, Thomas ;
van Hoeij, Mark .
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2006, 17 (02) :83-115
[16]   Formal solutions of irregular linear differential equations Part II [J].
Cope, FT .
AMERICAN JOURNAL OF MATHEMATICS, 1936, 58 :130-140
[17]   Search for polynomial solutions of linear functional systems by means of induced recurrences [J].
Khmelnov, DE .
PROGRAMMING AND COMPUTER SOFTWARE, 2004, 30 (02) :61-67
[18]   HYPERGEOMETRIC SOLUTIONS OF LINEAR RECURRENCES WITH POLYNOMIAL COEFFICIENTS [J].
PETKOVSEK, M .
JOURNAL OF SYMBOLIC COMPUTATION, 1992, 14 (2-3) :243-264
[19]   High-order lifting and integrality certification [J].
Storjohann, A .
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 36 (3-4) :613-648
[20]  
Van Hoeij M., 1998, ISSAC 98. Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, P120, DOI 10.1145/281508.281592