Abstract
For systems of ordinary differential equations (ODEs) with a nondegenerate linear part in the general and Hamiltonian cases, the problem of finding invariant coordinate subspaces in the coordinates of the normal form calculated in the vicinity of the equilibrium is stated. Conditions for the existence of such invariant subspaces in terms of the resonant relations between the eigenvalues of the linear part of the system are obtained. An algorithm for finding the resonant relations between the eigenvalues without their explicit calculation is described; this algorithm substantially uses computer algebra methods and the q-analog of the polynomial subresultants. The implementation of this algorithm in three popular computer algebra systems—Mathematica, Maple, and SymPy—is discussed. Interesting model examples are provided.
Similar content being viewed by others
REFERENCES
Bruno, A.D., Analytical form of differential equations (I), Trans. Moscow Math. Soc., 1971, 25, pp. 131–288.
Bruno, A.D., The Restricted 3-Body Problem: Plane Periodic Orbits, Moscow: Nauka, 1990; New York: de Gruyter, 1994.
Markeev, A.P., Libration Points in Celestial Mechanics and Astrodynamics, Moscow: Nauka, 1978 [in Russian].
Bruno, A.D., Local Methods in Nonlinear Differential Equations, Berlin: Springer, 1989.
Bruno, A.D., Enderal, V.F., and Romanovski, V.G., On new integrals of the Algaba–Gamero–Garcia system, in Computer Algebra in Scientific Computing, Gerdt, V.P., Koepf, W, Mayr, E.W., and Vorozhtsov, E.V., Eds., Berlin: Springer, 2017; Lect. Notes Comput. Sci., vol. 10490, pp. 40–50.
Bruno, A.D., Normal Form of a Hamiltonian System with a Periodic Perturbation, Comput. Math. Math. Phys., 2020, vol. 60, no. 1, pp. 36–52.
Bruno, A.D., Normalization of a Periodic Hamiltonian System, Program. Comput. Software, 2020, vol. 46, no. 2, pp. 76–83.
Zhuravlev, V.F., Petrov, A.G., and Shunderyuk, M.M., Selected Problems of Hamiltonian Mechanics, Moscow: LENAND, 2015 [in Russian].
Wolfram, S., The Mathematica Book, Wolfram Media, Inc., 2003.
Thompson, I., Understanding Maple, Cambridge Univ., 2016.
Meurer, A., Smith, C.P., Paprocki, M., et al., SymPy: Symbolic computing in Python, Peer J. Comput. Sci., 2017, vol. 3, P. 103. https://doi.org/10.7717/peerjcs.103
Bruno, A.D., Analytical form of differential equations (II), Trans. Moscow Math. Soc., 1972, 26, pp. 199–239.
Birkhoff, G.D., Dynamical Systems, New York: American mathematical society, 1927.
Lyapunov, A.M., Problème général de la stabilité du mouvement, Ann. Fac. Sci. Toulouse Math., 1892, vol. 9; Stability of Motion, New York: Academic, 1966.
Siegel, C.L. and Moser, J.K., Lectures on Celestial Mechanics Berlin: Springer, 1971.
Kalinina, E.A. and Uteshev, A.Yu., Elimination Theory, St. Petersburg: Naucho-Issledovatel’skii Inst. Khimii, St. Petersburg Univ., 2002 [in Russian].
Basu, S., Pollack, R., and Roy, M.-F., Algorithms in Real Algebraic Geometry, in Algorithms and Computations in Mathematics, Vol. 10, Berlin: Springer, 2006.
Sushkevich, A.K., Foundation of Higher Algebra, 4 ed., Moscow: ONTI, 1941 [in Russian].
von zur Gathen, J. and Lücking, T., Subresultants revisited, Theor. Comput. Sci., 2003, vol. 297, pp. 199–239.
Batkhin, A.B., Parameterization of the discriminant set of a polynomial, Program. Comput. Software, 2016, vol. 42, no. 2, pp. 67–76.
Kac, V. and Cheung, P., Quantum Calculus, New York, Heidelber: Springer, 2002.
Batkhin, A.B., Parameterization of the discriminant set of a polynomial, Program. Comput. Software, 2016, vol. 42, no. 2, pp. 65–76.
Batkhin, A.B., Parameterization of a set determined by the generalized discriminant of a polynomial, Program. Comput. Software, 2018, vol. 44, no. 2, pp. 75–85.
Batkhin, A.B., Computation of the generalized discriminant of a real polynomial, Preprint of the Keldysh Institute of Applied Mathematics, Moscow, 2017, no. 88. http://www.keldysh.ru/papers/2016/prep2017_88.pdf.
Jury, E.I., Inners and Stability of Dynamic Systems, New York: Wiley, 1974.
Akritas, A.G., Elements of Computer Algebra with Applications, New York: Wiley, 1989.
Batkhin, A.B., Bruno, A. D., and Varin, V.P., Stability sets of multiparameter Hamiltonian systems, J. Appl. Math. Mech., 2012, vol. 76, no. 1, pp. 56–92.
Markeev, A.P., Linear Hamiltonian Systems and Some Problems of a Satellite Motion Stability Relative to the Center of Mass, Moscow: Regulyarnay i Chaoticheskaya Dinamika, 2009 [in Russian].
Markeev, A.P., Nonlinear oscillations of sympathetic pendulums, Rus. J. Nonlin. Dyn., 2010, vol. 6, no. 3, pp. 605–621.
ACKNOWLEDGMENTS
I am grateful to Prof. A. D. Bruno for his support and fruitful discussion of this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated by A. Klimontovich
Rights and permissions
About this article
Cite this article
Batkhin, A.B. Invariant Coordinate Subspaces of Normal Form of a System of Ordinary Differential Equations. Program Comput Soft 47, 99–107 (2021). https://doi.org/10.1134/S0361768821020031
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768821020031