Tensor products of Dirac structures and interconnection in Lagrangian mechanical systems

TL;DR

This paper extends the port-Hamiltonian framework to Lagrangian systems on manifolds, introducing a tensor product of Dirac structures for interconnection without shared variables, with applications to mechanical and electrical systems.

Contribution

It develops a new method to interconnect Lagrangian systems using Dirac structures and tensor products, broadening the scope of port-Hamiltonian systems theory to manifolds.

Findings

Interconnection of Lagrangian systems via Dirac structures is achieved without shared variables.

Dynamics of interconnected systems are formulated through variational principles.

Examples include mass-spring systems, electric circuits, and nonholonomic systems.

Abstract

Many mechanical systems are large and complex, despite being composed of simple subsystems. In order to understand such large systems it is natural to tear the system into these subsystems. Conversely we must understand how to invert this tearing. In other words, we must understand interconnection. Such an understanding has already successfully understood in the context of Hamiltonian systems on vector spaces via the port-Hamiltonian systems program. In port-Hamiltonian systems theory, interconnection is achieved through the identification of shared variables, whereupon the notion of composition of Dirac structures allows one to interconnect two systems. In this paper we seek to extend the port-Hamiltonian systems program to Lagrangian systems on manifolds and extend the notion of composition of Dirac structures appropriately. In particular, we will interconnect Lagrange-Dirac systems by modifying the respective Dirac structures of the involved subsystems. We define the interconnection of Dirac structures via an interaction Dirac structure and a tensor product of Dirac structures. We will show how the dynamics of the interconnected system is formulated as a function of the subsystems, and we will elucidate the associated variational principles. We will then illustrate how this theory extends the theory of port-Hamiltonian systems and the notion of composition of Dirac structures to manifolds with couplings which do not require the identification of shared variables. Lastly, we will close with some examples: a mass-spring mechanical systems, an electric circuit, and a nonholonomic mechanical system.