Local and Global Canonical Forms for Differential-Algebraic Equations with Symmetries

Authors

Peter Kunkel, Volker Mehrmann

Abstract

Linear time-varying differential-algebraic equations with symmetries are studied. The structures that we address are self-adjoint and skew-adjoint systems. Local and global canonical forms under congruence are presented and used to classify the geometric properties of the flow associated with the differential equation as symplectic or generalized orthogonal flow. As applications, the results are applied to the analysis of dissipative Hamiltonian systems arising from circuit simulation and incompressible flow.

Keywords

Differential-algebraic equation; Self-adjoint system; Skew-adjoint system; Dissipative Hamiltonian system; Canonical form under congruence; 37J05; 65L80; 65L05; 65P10; 49K15

Citation

• Journal: Vietnam Journal of Mathematics
• Year: 2023
• Volume: 51
• Issue: 1
• Pages: 177–198
• Publisher: Springer Science and Business Media LLC
• DOI: 10.1007/s10013-022-00596-x

BibTeX

@article{Kunkel_2022,
  title={{Local and Global Canonical Forms for Differential-Algebraic Equations with Symmetries}},
  volume={51},
  ISSN={2305-2228},
  DOI={10.1007/s10013-022-00596-x},
  number={1},
  journal={Vietnam Journal of Mathematics},
  publisher={Springer Science and Business Media LLC},
  author={Kunkel, Peter and Mehrmann, Volker},
  year={2022},
  pages={177--198}
}

Download the bib file

References

• Altmann R, Mehrmann V, Unger B (2021) Port-Hamiltonian formulations of poroelastic network models. Mathematical and Computer Modelling of Dynamical Systems 27(1):429–452. https://doi.org/10.1080/13873954.2021.1975137 – 10.1080/13873954.2021.1975137
• Altmann R, Schulze P (2017) A port-Hamiltonian formulation of the Navier–Stokes equations for reactive flows. Systems & Control Letters 100:51–55. https://doi.org/10.1016/j.sysconle.2016.12.005 – 10.1016/j.sysconle.2016.12.005
• Beattie C, Mehrmann V, Xu H, Zwart H (2018) Linear port-Hamiltonian descriptor systems. Math Control Signals Syst 30(4):17. https://doi.org/10.1007/s00498-018-0223-3 – 10.1007/s00498-018-0223-3
• Brezzi F, Fortin M (eds) (1991) Mixed and Hybrid Finite Element Methods. Springer New York, New York, NY – 10.1007/978-1-4612-3172-1
• Campbell SL (1987) A General Form for Solvable Linear Time Varying Singular Systems of Differential Equations. SIAM J Math Anal 18(4):1101–1115. https://doi.org/10.1137/0518081 – 10.1137/0518081
• Campbell SL (1995) Linearization of DAEs along trajectories. Z angew Math Phys 46(1):70–84. https://doi.org/10.1007/bf00952257 – 10.1007/bf00952257
• Doležal, V.: The existence of a continuous basis of a certain subspace of Er which depends on a parameter. Cas. Pro. Pest. Mat. 89, 466–468 (1964)
• Donelan PS (2007) Singularity-theoretic methods in robot kinematics. Robotica 25(6):641–659. https://doi.org/10.1017/s0263574707003748 – 10.1017/s0263574707003748
• Domschke, P., Hiller, B., Lang, J., Mehrmann, V., Morandin, R., Tischendorf, C.: Gas network modeling: an overview. Preprint, Collaborative Research Center TRR 154 (2021)
• Egger H (2019) Structure preserving approximation of dissipative evolution problems. Numer Math 143(1):85–106. https://doi.org/10.1007/s00211-019-01050-w – 10.1007/s00211-019-01050-w
• Eich-Soellner E, Führer C (1998) Numerical Methods in Multibody Dynamics. Vieweg+Teubner Verlag, Wiesbaden – 10.1007/978-3-663-09828-7
• Emmrich E, Mehrmann V (2013) Operator Differential-Algebraic Equations Arising in Fluid Dynamics. Computational Methods in Applied Mathematics 13(4):443–470. https://doi.org/10.1515/cmam-2013-0018 – 10.1515/cmam-2013-0018
• Formaggia L, Gerbeau JF, Nobile F, Quarteroni A (2001) On the coupling of 3D and 1D Navier–Stokes equations for flow problems in compliant vessels. Computer Methods in Applied Mechanics and Engineering 191(6-7):561–582. https://doi.org/10.1016/s0045-7825(01)00302-4 – 10.1016/s0045-7825(01)00302-4
• Formaggia, L., Quarteroni, A., Veneziani, A.: Cardiovascular Mathematics: Modeling and Simulation of the Circulatory System. MS&A, vol. 1. Springer, Milano (2010)
• Golo, G., van der Schaft, A.J., Breedveld, P.C., Maschke, B.M.: Hamiltonian formulation of bond graphs. In: Johansson, R., Rantzer, A. (eds.) Nonlinear and Hybrid Systems in Automotive Control, pp. 351–372. Springer, Heidelberg (2003)
• Hairer, E., Lubich, C., Wanner, G.: Geometric Numerical Integration. Structure-Preserving Algorithms for Ordinary Differential Equations. Springer, Berlin (2002)
• Hall BC (2003) Lie Groups, Lie Algebras, and Representations. Springer New York, New York, NY – 10.1007/978-0-387-21554-9
• Hauschild S-A, Marheineke N, Mehrmann V, Mohring J, Badlyan AM, Rein M, Schmidt M (2020) Port-Hamiltonian Modeling of District Heating Networks. In: Differential-Algebraic Equations Forum. Springer International Publishing, Cham, pp 333–355 – 10.1007/978-3-030-53905-4_11
• Hiller MH, Hirsch K (2006) Multibody system dynamics and mechatronics. Z angew Math Mech 86(2):87–109. https://doi.org/10.1002/zamm.200510253 – 10.1002/zamm.200510253
• Jacob B, Zwart HJ (2012) Linear Port-Hamiltonian Systems on Infinite-dimensional Spaces. Springer Basel, Basel – 10.1007/978-3-0348-0399-1
• Kunkel P (2020) A smooth version of Sylvester’s law of inertia and its numerical realization. ELA 36(36):542–560. https://doi.org/10.13001/ela.2020.5321 – 10.13001/ela.2020.5321
• Kunkel P, Mehrmann V (2006) Differential-Algebraic Equations. EMS Press – 10.4171/017
• Kunkel P, Mehrmann V (2008) Optimal control for unstructured nonlinear differential-algebraic equations of arbitrary index. Math Control Signals Syst 20(3):227–269. https://doi.org/10.1007/s00498-008-0032-1 – 10.1007/s00498-008-0032-1
• Kunkel P, Mehrmann V (2023) Discretization of inherent ODEs and the geometric integration of DAEs with symmetries. Bit Numer Math 63(2):29. https://doi.org/10.1007/s10543-023-00966-y – 10.1007/s10543-023-00966-y
• Kunkel P, Mehrmann V, Scholz L (2013) Self-adjoint differential-algebraic equations. Math Control Signals Syst 26(1):47–76. https://doi.org/10.1007/s00498-013-0109-3 – 10.1007/s00498-013-0109-3
• Layton W (2008) Introduction to the Numerical Analysis of Incompressible Viscous Flows. Society for Industrial and Applied Mathematics, Philadelphia, PA – 10.1137/1.9780898718904
• Leimkuhler B, Reich S (1994) Symplectic integration of constrained Hamiltonian systems. Math Comp 63(208):589–589. https://doi.org/10.1090/s0025-5718-1994-1250772-7 – 10.1090/s0025-5718-1994-1250772-7
• Mehrmann V, Morandin R (2019) Structure-preserving discretization for port-Hamiltonian descriptor systems. In: 2019 IEEE 58th Conference on Decision and Control (CDC). IEEE, pp 6863–6868 – 10.1109/cdc40024.2019.9030180
• Mehrmann V, Unger B (2023) Control of port-Hamiltonian differential-algebraic systems and applications. Acta Numerica 32:395–515. https://doi.org/10.1017/s0962492922000083 – 10.1017/s0962492922000083
• (2001) Putting energy back in control. IEEE Control Syst 21(2):18–33. https://doi.org/10.1109/37.915398 – 10.1109/37.915398
• Paynter, H.M.: Analysis and Design Of Engineering Systems. MIT Press, Cambridge (1961)
• Quarteroni, A., Formaggia, L.: Mathematical modelling and numerical simulation of the cardiovascular system. Handb. Numer. Anal. 12, 3–127 (2004)
• Quarteroni A, Manzoni A, Vergara C (2017) The cardiovascular system: Mathematical modelling, numerical algorithms and clinical applications. Acta Numerica 26:365–590. https://doi.org/10.1017/s0962492917000046 – 10.1017/s0962492917000046
• Quarteroni A (2009) Numerical Models for Differential Problems. Springer Milan, Milano – 10.1007/978-88-470-1071-0
• Quarteroni A, Lassila T, Rossi S, Ruiz-Baier R (2017) Integrated Heart—Coupling multiscale and multiphysics models for the simulation of the cardiac function. Computer Methods in Applied Mechanics and Engineering 314:345–407. https://doi.org/10.1016/j.cma.2016.05.031 – 10.1016/j.cma.2016.05.031
• Rannacher R (2000) Finite Element Methods for the Incompressible Navier-Stokes Equations. In: Fundamental Directions in Mathematical Fluid Mechanics. Birkhäuser Basel, Basel, pp 191–293 – 10.1007/978-3-0348-8424-2_6
• Roos, H.-G., Stynes, M., Tobiska, L.: Robust Numerical Methods For Singularly Perturbed Differential Equations. Springer, Berlin (2008)
• Schiehlen, W. (ed.): Advanced Multibody System Dynamics. Kluwer Academic Publishers, Stuttgart (1993)
• Schlacher, K., Kugi, A.: Automatic control of mechatronic systems. Int. J. Appl. Math. Comput. Sci. 11, 131–164 (2001)
• Scholz L (2019) Condensed Forms for Linear Port-Hamiltonian Descriptor Systems. ELA 35:65–89. https://doi.org/10.13001/1081-3810.3638 – 10.13001/1081-3810.3638
• Temam, R.: Navier-Stokes Equations: Theory and Numerical Analysis. North Holland, Amsterdam (1977)
• Thoma, J.U.: Introduction to Bond Graphs and Their Applications. Pergamon Press, Oxford (1975)
• Schaft AJ (2004) Port-Hamiltonian Systems: Network Modeling and Control of Nonlinear Physical Systems. In: Advanced Dynamics and Control of Structures and Machines. Springer Vienna, Vienna, pp 127–167 – 10.1007/978-3-7091-2774-2_9
• van der Schaft A (2007) Port-Hamiltonian systems: an introductory survey. In: Proceedings of the International Congress of Mathematicians Madrid, August 22–30, 2006. EMS Press, pp 1339–1365 – 10.4171/022-3/65
• van der Schaft AJ (2013) Port-Hamiltonian Differential-Algebraic Systems. In: Surveys in Differential-Algebraic Equations I. Springer Berlin Heidelberg, Berlin, Heidelberg, pp 173–226 – 10.1007/978-3-642-34928-7_5
• van der Schaft A, Jeltsema D (2014) Port-Hamiltonian Systems Theory: An Introductory Overview. Foundations and Trends® in Systems and Control 1(2-3):173–378. https://doi.org/10.1561/2600000002 – 10.1561/2600000002