Abstract
We investigate the connection between divisibility of full-rank square matrices of linear scalar differential operators over some differential field K, and the solution spaces of these matrices over the universal Picard–Vessiot extension of K. We establish some properties of the solution spaces of the greatest common right divisor and the least common left multiple of such matrices.
Similar content being viewed by others
REFERENCES
S. Abramov, “On the differential and full algebraic complexities of operator matrices transformations,” in Proceedings of CASC'2016, Lecture Notes in Computer Science (Springer, Heidelberg, 2016), Vol. 9890, pp. 1–14.
S. Abramov and M. Barkatou, “On the dimension of solution spaces of full rank linear differential systems,” in Computer Algebra in Scientific Computing: Proceedings of the 15th International Workshop, CASC'2013, Berlin, Germany, September 2013, Lecture Notes in Computer Science (Springer, Heidelberg, 2013), pp. 1–9.
S. Abramov and M. Barkatou, “On solution spaces of products of linear differential or difference operators,” ACM Commun. Comput. Algebra 48 (4), 155–165 (2014).
M. Barkatou, C. El Bacha, G. Labahn, and E. Pflügel, “On simultaneous row and column reduction of higher-order linear differential systems,” J. Symb. Comput. 49 (1), 45–64 (2013).
B. Beckermann, H. Cheng, and G. Labahn, “Fraction-free row reduction of matrices of Ore polynomials,” J. Symb. Comput. 41 (5), 513–543 (2006).
B. Beckermann and G. Labahn, “Fraction-free computation of matrix rational interpolants and matrix GCDs,” SIAM J. Matrix Anal. Appl. 22 (1), 114–144 (2000).
S. Carpentier, PhD Thesis (Massachusetts Institute of Technology, 2017). https://dspace.mit.edu/handle/1721.1/112909
P. M. Cohn, Free Rings and Their Relations (Academic, London, 1971).
J. C. McConnell and J. C. Robson, Noncommutative Noetherian Rings, rev. ed. (Am. Math. Soc., Providence, RI, 2001).
P. A. Hendriks and M. F. Singer, “Solving difference equations in finite terms,” J. Symb. Comput. 27 (3), 239–259 (1999).
M. van Hoeij, “Finite singularities and hypergeometric solutions of linear recurrence equations,” J. Pure Appl. Algebra 139 (1–3), 109–131 (1999).
E. R. Kolchin, Differential Algebra and Algebraic Groups (Academic, New York, 1973).
M. Miyake, “Remarks on the formulation of the Cauchy problem for general system of ordinary differential equations,” Tôhoku Math. J. 32 (1), 79–89 (1980).
M. van der Put and M. F. Singer, Galois Theory of Linear Differential Equations (Springer, Berlin, 2003).
ACKNOWLEDGMENTS
The authors would like to thank Michael F. Singer for his valuable advice.
Funding
Abramov’s research was supported in part by the Russian Foundation for Basic Research, project no. 19-01-00032-a. Petkovšek’s research was supported in part by the Ministry of Education, Science, and Sport of Slovenia research program P1-0294.
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
About this article
Cite this article
Abramov, S.A., Barkatou, M.A. & Petkovšek, M. Matrices of Scalar Differential Operators: Divisibility and Spaces of Solutions. Comput. Math. and Math. Phys. 60, 109–118 (2020). https://doi.org/10.1134/S0965542520010030
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0965542520010030