Abstract
In this paper, the concept of satellite unknowns in differential systems with selected unknowns is considered in the context of irreducible systems. It is proved that any unselected unknown in an irreducible differential system is linearly satellite for any nonempty set of selected unknowns. An algorithm for factorization of differential systems is proposed that is not always applicable but executable in polynomial time. Cases where the algorithm cannot be applied are also recognized in polynomial time.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Panferov, A.A., On determination of satellite unknowns in linear differential systems, Materialy mezhdunarodnoi konferentsii Komp’yuternaya algebra (Proc. Int. Conf. Computer Algebra), Moscow, 2016, pp. 78–80.
Panferov, A.A., Selected and satellite unknowns in linear differential systems, Adv. Appl. Math., 2017, vol. 85, pp. 1–11.
Panferov, A.A., Partial algorithms for satellite unknowns determination, Program. Comput. Software, 2017, vol. 43, no. 2, pp. 119–125.
van der Put, M. and Singer, M.F., Galois theory of linear differential equations, Grundlehren der mathematischen Wissenschaften, Berlin: Springer, 2003.
Minchenko, A., Ovchinnikov, A., and Singer, M.F., Reductive linear differential algebraic groups and the Galois groups of parameterized linear differential equations, Int. Math. Res. Notices, 2015, vol. 215, no. 7, pp. 1733–1793.
Hrushovski, E., Computing the Galois group of a linear differential equation, Banach Center Publications, 2002, vol. 58, pp. 97–138.
Panferov, A.A., Symbolic algorithm for recognition of satellite unknowns in linear differential systems with selected unknowns, Nauchnaya konferentsiya Lomonosovskie chteniya (Sci. Conf. Lomonosov Readings) (Moscow, 2017), Moscow: MAKS Press, 2017, pp. 122–122.
Abramov, S.A. and Bronshtein, M., Solution of linear differential and difference systems with respect to a part of the unknowns, Comput. Math. Math.Phys., 2006, vol. 46, no. 2, pp. 218–230.
Feng, R., Hrushovski’s algorithm for computing the Galois group of a linear differential equation, Adv. Appl. Math., 2015, vol. 65, pp. 1–37.
Panferov, A.A., Differential equation systems with selected part of the unknowns, Program. Comput. Software, 2015, vol. 41, no. 2, pp. 90–97.
Panferov, A.A., Partitions of the set of selected unknowns in linear differential–algebraic systems, Program. Comput. Software, 2016, vol. 42, no. 2, pp. 84–89.
Compoint, E. and Singer, M.F., Computing Galois groups of completely reducible differential equations, J. Symbol. Comput., 1999, vol. 28, pp. 473–494.
Cluzeau, T., Factorization of differential systems in characteristic p, Proc. ISSAC, 2003, pp. 58–65.
Bolibrukh, A.A., Obratnye zadachi monodromii v analiticheskoi teorii differentsial’nykh uravnenii (Inverse Monodromy Problems in the Analytical Theory of Differential Equations), Moscow: Moscow Cent. Contin. Math. Educ., 2009.
Beke, E., Die irreducibilität der homogenen linearen differentialgleichungen, Mathematische Annalen, 1894, vol. 45, pp. 185–195.
Schwarz, F., A factorization algorithm for linear ordinary differential equations, Proc. ISSAC, 1989, pp. 17–25.
Bronstein, M., On solutions of linear differential equations in their coefficient field, J. Symbol. Comput., 1992, vol. 13, pp. 413–439.
Grigoriev, D.Yu., Complexity of factoring and calculating the gcd of linear ordinary differential operators, J. Symbol. Comput., 1990, vol. 10, pp. 7–37.
Singer, M.F., Testing reducibility of linear differential operators: A group theory perspective, Appl. Algebra Eng. Commun. Comput., 1996, vol. 7, no. 2, pp. 77–104.
Tsarev, S.P., An algorithm for complete enumeration of all factorizations of a linear ordinary differential operator, Proc. ISSAC, 1996, pp. 226–231.
van Hoeij, M., Factorization of differential operators with rational functions coefficients, J. Symbol. Comput., 1997, vol. 24, pp. 537–561.
Grigoriev, D.Yu., Complexity of irreducibility testing for a system of linear ordinary differential equations, Proc. ISSAC, 1990, pp. 225–230.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © A.A. Panferov, 2018, published in Programmirovanie, 2018, Vol. 44, No. 2.
Rights and permissions
About this article
Cite this article
Panferov, A.A. Satellite Unknowns in Irreducible Differential Systems. Program Comput Soft 44, 105–111 (2018). https://doi.org/10.1134/S0361768818020081
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768818020081