Abstract
The study of formal stability of equilibrium positions of a multiparametric Hamiltonian system in a generic case is traditionally carried out using its normal form under the condition of the absence of resonances of small orders. In this paper we propose a method of symbolic computation of the condition of existence of a resonance of arbitrary order for a system with three degrees of freedom. It is shown that this condition for each resonant vector can be represented as a rational algebraic curve. By methods of computer algebra the rational parametrization of this curve for the case of an arbitrary resonance is obtained. A model example of some two-parameter system of pendulum type is considered.
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.REFERENCES
Moser, J.K., New aspects in the theory of stability of Hamiltonian systems, Commun. Pure Appl. Math., 1958, vol. 11, no. 1, pp. 81–114.
Batkhin, A.B. and Khaidarov, Z.Kh., Strong resonances in a nonlinear Hamiltonian system, Preprint of Keldysh Inst. Appl. Math, Russ. Acad. Sci., 2022, no. 59, pp. 1–28. https://doi.org/10.20948/prepr-2022-59
Siegel, C.L. and Moser, J.K., Lectures on Celestial Mechanics, Springer, 1971.
Batkhin, A.B., Bryuno, A.D., and Varin, V.P., Stability sets for multiparameter Hamiltonian systems, J. Appl. Math. Mech., 2012, vol. 76, no. 1, pp. 80–133. https://doi.org/10.1016/j.jappmathmech.2012.03.006
Kalinina, E.A. and Uteshev, A.Yu., Teoriya isk-lyucheniya: Uchebnoe posobie (Elimination Theory: A Study Guide), St. Petersburg: Izd. Nauchn. Issled. Inst. Khim. S.-Peterb. Gos. Univ., 2002.
Basu, S., Pollack, R., and Roy, M.-F., Algorithms in Real Algebraic Geometry, Springer, 2006.
Bryuno, A.D., Analytical form of differential equations (II), Tr. Mosk. Mat, O-va., 1972, vol. 26, pp. 199–239.
Bryuno, A.D., Restricted Three-Body Problem: Plane Periodic Orbits, de Gruyter, New York, 1994.
Birkhoff, G.D., Dynamical Systems, Am. Math. Soc., 1927.
Bruno, A.D. and Batkhin, A.B., Survey of eight modern methods of Hamiltonian mechanics, Axioms, 2021, vol. 10, no. 4. https://www.mdpi.com/2075-1680/10/4/293
Bryuno, A.D., On the formal stability of Hamiltonian systems, Mat. Notes, 1967, vol. 1, no. 3, pp. 216–219.
Zhuravlev, V.F., Petrov, A.G., and Shunderyuk, M.M., Izbrannye zadachi gamil’tonovoi mekhaniki (Selected Problems of Hamiltonian Mechanics), Moscow: LENAND, 2015.
Batkhin, A.B. and Khaidarov, Z.Kh., Calculation of a strong resonance condition in a Hamiltonian system, Comput. Math. Math. Phys., 2023, vol. 63, pp. 687–703. https://doi.org/10.1134/S0361768818020032
Bruno, A.D. and Azimov, A.A., Computing unimodular matrices of power transformations, Program. Comput. Softw., 2023, vol. 49, no. 1, pp. 32–41. https://doi.org/10.1134/S0361768823010036
Batkhin, A.B., Resonant set of a polynomial and the formal stability problem, Vestn. Volgogr. Gos. Univ., Ser. 1 Mat, Fiz., 2016, vol. 35, no. 4, pp. 5–23. (in Russian). https://doi.org/10.15688/jvolsu1.2016.4.1
Batkhin, A.B., Parameterization of a set determined by the generalized discriminant of a polynomial, Program. Comput. Softw., 2018, vol. 44, pp. 75–85. https://doi.org/10.1134/S0361768818020032
Markeev, A.P., A motion of connected pendulums, Russ. J. Nonlin. Dyn., 2013, vol. 9, no. 1, pp. 27–38. https://doi.org/10.20537/nd1301003
ACKNOWLEDGMENTS
The authors express their gratitude to Professor A.D. Bruno for his useful remarks and discussion of this paper.
Funding
This work was supported by ongoing institutional funding. No additional grants to carry out or direct this particular research were obtained.
Author information
Authors and Affiliations
Corresponding authors
Ethics declarations
The authors declare that they have no conflicts of interest.
Additional information
Translated by Yu. Kornienko
Publisher’s Note.
Pleiades Publishing remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Batkhin, A.B., Khaidarov, Z.K. Symbolic Computation of an Arbitrary-Order Resonance Condition in a Hamiltonian System. Program Comput Soft 49, 842–853 (2023). https://doi.org/10.1134/S0361768823080030
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768823080030