On the Geometric Structure of Hamiltonian Systems with Ports
Authors
Abstract
In this article the geometric structure of Hamiltonian systems with ports is clarified. Particularly, it is shown that the theory of Hamiltonian systems with ports fits into the paradigm that the state space of a mechanical system should be modeled by a manifold M endowed with a(n almost) Dirac structure in a Courant algebroid. Here, the Courant algebroid is (TM \oplus TM^* \oplus E \oplus E^), where E is a vector bundle over M endowed with a flat covariant derivative (\nabla), and the bracket is (\bigl[(X,\alpha,\lambda_{\mathrm{out}},\lambda_{\mathrm{in}}),(X’,\alpha’,\lambda_{\mathrm{out}}’,\lambda_{\mathrm{in}}’)\bigr] := \bigl([X,X’],L_X\alpha’-i_{X’}d\alpha+(\nabla\lambda_{\mathrm{in}})(\lambda_{\mathrm{out}}’)+\lambda_{\mathrm{in}}’(\nabla\lambda_{\mathrm{out}}),\nabla_X\lambda_{\mathrm{out}}’-\nabla_{X’}\lambda_{\mathrm{out}},\nabla_X\lambda_{\mathrm{in}}’-\nabla_{X’}\lambda_{\mathrm{in}}\bigr)). Further, the integrability of almost Dirac structures (D \subset TM \oplus TM^ \oplus E \oplus E^) given by the graph of (\left(\begin{smallmatrix}\omega & -(A\circ\omega)^\A\circ\omega & 0\end{smallmatrix}\right)) for a two-form (\omega) on M or the cograph of (\left(\begin{smallmatrix}\pi & -A^\A & 0\end{smallmatrix}\right)) for a bivector field (\pi) on M is discussed, where the bundle map (A: TM^ \to E) models the port. Moreover, conditions are obtained to guarantee the integrability of almost Dirac structures induced by closing ports or by power-conserving interconnections. These conditions are formulated in terms of the covariant Schouten bracket defined in the Appendix.
Keywords
Dirac structure; Courant algebroid; Port-Hamiltonian system; Symplectic geometry; Poisson manifold; Integrability; 53D17; 70H05; 37J05; 70F20; 70G45
Citation
- Journal: Journal of Nonlinear Science
- Year: 2009
- Volume: 19
- Issue: 6
- Pages: 717–738
- Publisher: Springer Science and Business Media LLC
- DOI: 10.1007/s00332-009-9052-3
BibTeX
@article{Merker_2009,
title={{On the Geometric Structure of Hamiltonian Systems with Ports}},
volume={19},
ISSN={1432-1467},
DOI={10.1007/s00332-009-9052-3},
number={6},
journal={Journal of Nonlinear Science},
publisher={Springer Science and Business Media LLC},
author={Merker, Jochen},
year={2009},
pages={717--738}
}References
- Blankenstein, G., van der Schaft, A.J.: Closedness of interconnected Dirac structures. In: Preprints 4th NOLCOS’98, pp. 381–386. Elsevier, Amsterdam (1998)
- Bloch, A. M. Nonholonomic Mechanics and Control. Interdisciplinary Applied Mathematics (Springer New York, 2003). doi:10.1007/b97376 – 10.1007/b97376
- Bursztyn, H., Crainic, M., Severa, P.: Quasi-Poisson structures as Dirac structures. Trav. Math. XVI, 41–52 (2005)
- Cervera, J., van der Schaft, A. J. & Baños, A. Interconnection of port-Hamiltonian systems and composition of Dirac structures. Automatica vol. 43 212–225 (2007) – 10.1016/j.automatica.2006.08.014
- Courant, T. J. Dirac manifolds. Transactions of the American Mathematical Society vol. 319 631–661 (1990) – 10.1090/s0002-9947-1990-0998124-1
- Courant, T., Weinstein, A.: Beyond Poisson structures, Séminaire Sud-Rhodanien de Géométrie VIII. Trav. En Cours 27, 39–49 (1988)
- Dalsmo, M. & van der Schaft, A. On Representations and Integrability of Mathematical Structures in Energy-Conserving Physical Systems. SIAM Journal on Control and Optimization vol. 37 54–91 (1998) – 10.1137/s0363012996312039
- Dorfman, I.: Dirac Structures and Integrability of Nonlinear Evolution Equations. Wiley, New York (1993)
- Kosmann-Schwarzbach, Y.: Quasi, twisted, and all that…in Poisson geometry and Lie algebroid theory. In: Marsden, J.E., Ratiu, T. (eds.) The Breadth of Symplectic and Poisson Geometry. Progr. Math., vol. 232, pp. 363–389. Birkhäuser, Basel (2005)
- Liu, Z., Weinstein, A., Xu, P.: Manin triples for Lie bialgebroids. J. Differ. Geom. 45, 647–574 (1997)
- Yoshimura, H. & Marsden, J. E. Dirac structures in Lagrangian mechanics Part I: Implicit Lagrangian systems. Journal of Geometry and Physics vol. 57 133–156 (2006) – 10.1016/j.geomphys.2006.02.009
- Roytenberg, D., Courant algebroids, derived brackets, and even symplectic supermanifolds. Ph.D. thesis, University of California, Berkeley (1999)
- Ševera, P. & Weinstein, A. Poisson Geometry with a 3-Form Background. Progress of Theoretical Physics Supplement vol. 144 145–154 (2001) – 10.1143/ptps.144.145
- van der Schaft, A. L2 - Gain and Passivity Techniques in Nonlinear Control. Communications and Control Engineering (Springer London, 2000). doi:10.1007/978-1-4471-0507-7 – 10.1007/978-1-4471-0507-7
- Van Der Schaft, A. J. & Maschke, B. M. On the Hamiltonian formulation of nonholonomic mechanical systems. Reports on Mathematical Physics vol. 34 225–233 (1994) – 10.1016/0034-4877(94)90038-8
- van der Schaft, A.J., Maschke, B.M.: The Hamiltonian formulation of energy conserving physical systems with external ports. Arch. Elektr. Übertrag. 49, 362–371 (1995)
- van der Schaft, A. & Maschke, B. Interconnected mechanical systems, part I: geometry of interconnection and implicit Hamiltonian systems. Modelling and Control of Mechanical Systems 1–15 (1997) doi:10.1142/9781848160873_0001 – 10.1142/9781848160873_0001