Advances in Computer Algebra by Carsten Schneider & Eugene Zima
Author:Carsten Schneider & Eugene Zima
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham
For every fixed , denote by V(p) the set of all sequences with , i.e., the solution space of the recurrence equation encoded by p. This is a vector space of dimension . For any two operators there exists a unique monic polynomial such that V(r) is the vector space generated by all sequences with and , i.e., . We write .
Our problem shall be to decide, for a given monic polynomial , whether there exist such that . In principle, it is known how to do this. Singer [12] gives a general algorithm for the analogous problem for linear differential operators with rational function coefficients; the problem is further discussed in [6]. Because of their high cost, these algorithms are mainly of theoretical interest. For the special case of differential operators of order 3 or 4 (still with rational function coefficients), van Hoeij [15, 16] combines several observations to an algorithm which handle these cases efficiently. For the recurrence case, Cha [1] gives an algorithm for operators of order 3 with rational function coefficients.
Also the case of recurrence equations with constant coefficients has already been considered. Everest et al. give an algorithm [2] based on a structure theorem of Ritt [11]. This algorithm relies on Ge’s algorithm [4], which is efficient in theory but according to our experience rather costly in concrete examples. An alternative algorithm for the case of constant coefficients and arbitrary order was recently sketched by the second author [19]. This description, however, only considers the “generic case”. The present paper is a continuation of this work in which we give a complete algorithm which also handles “degenerate” cases. Our algorithm is efficient in the sense that it does not depend on Ge’s algorithm or on Gröbner basis computations, but it is inefficient in the sense that it requires a search that may take exponential time in the worst case.
Download
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.
Algorithms of the Intelligent Web by Haralambos Marmanis;Dmitry Babenko(8310)
Test-Driven Development with Java by Alan Mellor(6807)
Data Augmentation with Python by Duc Haba(6722)
Principles of Data Fabric by Sonia Mezzetta(6468)
Learn Blender Simulations the Right Way by Stephen Pearson(6374)
Microservices with Spring Boot 3 and Spring Cloud by Magnus Larsson(6241)
Hadoop in Practice by Alex Holmes(5966)
Jquery UI in Action : Master the concepts Of Jquery UI: A Step By Step Approach by ANMOL GOYAL(5815)
RPA Solution Architect's Handbook by Sachin Sahgal(5642)
Big Data Analysis with Python by Ivan Marin(5402)
The Infinite Retina by Robert Scoble Irena Cronin(5331)
Life 3.0: Being Human in the Age of Artificial Intelligence by Tegmark Max(5160)
Pretrain Vision and Large Language Models in Python by Emily Webber(4367)
Infrastructure as Code for Beginners by Russ McKendrick(4136)
Functional Programming in JavaScript by Mantyla Dan(4044)
The Age of Surveillance Capitalism by Shoshana Zuboff(3964)
WordPress Plugin Development Cookbook by Yannick Lefebvre(3847)
Embracing Microservices Design by Ovais Mehboob Ahmed Khan Nabil Siddiqui and Timothy Oleson(3651)
Applied Machine Learning for Healthcare and Life Sciences Using AWS by Ujjwal Ratan(3628)
