Skip to main content
SpringerLink
Log in

Differential Geometry and Mechanics: A Source for Computer Algebra Problems

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

Abstract

In this paper, we discuss the possibility of using computer algebra tools in the process of modeling and qualitative analysis of mechanical systems and problems from theoretical physics. We describe some constructions—Courant algebroids and Dirac structures—from the so-called generalized geometry. They prove to be a convenient language for studying the internal structure of the differential equations of port-Hamiltonian and implicit Lagrangian systems, which describe dissipative or coupled mechanical systems and systems with constraints, respectively. For both classes of systems, we formulate some open problems that can be solved using computer algebra tools and methods. We also recall the definitions of graded manifolds and Q‑structures from graded geometry. On particular examples, we explain how classical differential geometry is described in the framework of the graded formalism and what related computational questions can arise. This direction of research is apparently an almost unexplored branch of computer algebra.

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

Similar content being viewed by others

REFERENCES

  1. Courant, T.J., Dirac manifolds, Trans. Amer. Math. Soc., 1990, vol. 319, pp. 631–661.

    Article  MathSciNet  Google Scholar 

  2. Yoshimura, H. and Marsden, J.E., Dirac structures in Lagrangian mechanics. Part I: Implicit Lagrangian systems, J. Geom. Phys., 2006, vol. 57.

  3. Yoshimura, H. and Marsden, J.E., Dirac structures in Lagrangian mechanics. Part II: Variational structures, J. Geom. Phys., 2006, vol. 57.

  4. Salnikov, V. and Hamdouni, A., From modeling of systems with constraints to generalized geometry and back to numerics, Z. Angew. Math. Mech., 2019.

  5. Razafindralandy, D., Salnikov, V., Hamdouni, A., and Deeb, A., Some robust integrators for large time dynamics, Adv. Model. Simul. Eng. Sci., 2019.

  6. Maschke, B.M., van der Schaft, A.J., and Breedveld, P.C., An intrinsic Hamiltonian formulation of network dynamics: Non-standard Poisson structures and gyrators, J. Franklin Inst., 1992, vol. 329.

  7. van der Schaft, A., Port-Hamiltonian systems: An introductory survey, Proc. Int. Congr. Mathematicians, Madrid, 2006.

  8. Tulczyjew, W.M., The Legendre transformation, Ann. Inst. H. Poincaré,Sect. A, 1977, vol. 27, no. 1, pp. 101–114.

    Google Scholar 

  9. Verlet, L., Computer “experiments” on classical fluids, Phys. Rev., 1967, vol. 159, pp. 98–103.

    Article  Google Scholar 

  10. Yoshida, H., Construction of higher-order symplectic integrators, Phys. Lett. A, 1990, vol. 150, p. 262.

    Article  MathSciNet  Google Scholar 

  11. Falaize, A. and Hélie, T., Passive simulation of the nonlinear port-Hamiltonian modeling of a Rhodes piano, J. Sound Vib., 2016.

    Google Scholar 

  12. Kotov, A., Schaller, P., and Strobl, T., Dirac sigma models, Commun. Math. Phys., 2005, vol. 260.

  13. Salnikov, V. and Hamdouni, A., Geometric integrators in mechanics: The need for computer algebra tools, Proc. 3rd Int. Conf. Computer Algebra, Moscow, 2019.

  14. Salnikov, V. and Hamdouni, A., Géométrie généralisée et graduée pour la mécanique, Proc. Congrès Français de Mécanique, Brest, France, 2019.

  15. Kushner, A., Lychagin, V., and Rubtsov, V., Contact geometry and non-linear differential equations, Encyclopedia of Mathematics and its Applications, Cambridge University Press, 2007.

    MATH  Google Scholar 

  16. Krasil’shchik, I.S., Vinogradov, A.M., et al., Symmetries and conservation laws for differential equations of mathematical physics, Amer. Math. Soc., 1999.

  17. Hamdouni, A. and Salnikov, V., Dirac integrators for port-Hamiltonian systems, in prep.

  18. Salnikov, V. and Hamdouni, A., Discretization in the graded world, in prep.

Download references

7. ACKNOWLEDGMENTS

V.N. Salnikov is grateful to S.A. Abramov, S.Ya. Stepanov, and A. Prokopenya for interesting questions and fruitful discussions on the topic, as well as for their useful remarks in preparing the manuscript.

Author information

Authors and Affiliations

  1. French National Center for Scientific Research (CNRS), Paris, France

    V. N. Salnikov

  2. University of La Rochelle, Av. Michel Crepeau, 17042, La Rochelle, France

    V. N. Salnikov & A. Hamdouni

Authors
  1. V. N. Salnikov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Hamdouni
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to V. N. Salnikov or A. Hamdouni.

Additional information

Translated by Yu. Kornienko

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Salnikov, V.N., Hamdouni, A. Differential Geometry and Mechanics: A Source for Computer Algebra Problems. Program Comput Soft 46, 126–132 (2020). https://doi.org/10.1134/S0361768820020097

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

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

Search

Navigation