Skip to main content
SpringerLink
Log in

Symbolic Computation of an Arbitrary-Order Resonance Condition in a Hamiltonian System

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1.
Fig. 2.
Fig. 3.

REFERENCES

  1. 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.

    Article  MathSciNet  Google Scholar 

  2. 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

  3. Siegel, C.L. and Moser, J.K., Lectures on Celestial Mechanics, Springer, 1971.

    Book  Google Scholar 

  4. 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

    Article  MathSciNet  Google Scholar 

  5. 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.

  6. Basu, S., Pollack, R., and Roy, M.-F., Algorithms in Real Algebraic Geometry, Springer, 2006.

    Book  Google Scholar 

  7. Bryuno, A.D., Analytical form of differential equations (II), Tr. Mosk. Mat, O-va., 1972, vol. 26, pp. 199–239.

    Google Scholar 

  8. Bryuno, A.D., Restricted Three-Body Problem: Plane Periodic Orbits, de Gruyter, New York, 1994.

  9. Birkhoff, G.D., Dynamical Systems, Am. Math. Soc., 1927.

  10. 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

  11. Bryuno, A.D., On the formal stability of Hamiltonian systems, Mat. Notes, 1967, vol. 1, no. 3, pp. 216–219.

    Article  MathSciNet  Google Scholar 

  12. Zhuravlev, V.F., Petrov, A.G., and Shunderyuk, M.M., Izbrannye zadachi gamil’tonovoi mekhaniki (Selected Problems of Hamiltonian Mechanics), Moscow: LENAND, 2015.

  13. 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

    Article  MathSciNet  Google Scholar 

  14. 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

    Article  MathSciNet  Google Scholar 

  15. 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

    Article  MathSciNet  Google Scholar 

  16. 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

    Article  MathSciNet  Google Scholar 

  17. 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

    Article  Google Scholar 

Download references

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

  1. Keldysh Institute of Applied Mathematics, Russian Academy of Sciences, Miusskaya pl. 4, 125047, Moscow, Russia

    A. B. Batkhin

  2. Moscow Institute of Physics and Technology, Institutskii per. 9, 141701, Dolgoprudnyi, Moscow oblast, Russia

    A. B. Batkhin

  3. Sharof Rashidov Samarkand State University, Universitetskii bul’v. 15, 140104, Samarkand, Uzbekistan

    Z. Kh. Khaidarov

Authors
  1. A. B. Batkhin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Z. Kh. Khaidarov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to A. B. Batkhin or Z. Kh. Khaidarov.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768823080030

Search

Navigation