Numerical Analysis of a Structure-Preserving Space-Discretization for an Anisotropic and Heterogeneous Boundary Controlled \( N \)-Dimensional Wave Equation as a Port-Hamiltonian System
Authors
Ghislain Haine, Denis Matignon, Anass Serhani
Abstract
The anisotropic and heterogeneous N-dimensional wave equation, controlled and observed at the boundary, is considered as a port-Hamiltonian system. The recent structure-preserving Partitioned Finite Element Method is applied, leading directly to a finite-dimensional port-Hamiltonian system, and its numerical analysis is done in a general framework, under usual assumptions for finite element. Compatibility conditions are then exhibited to reach the best trade off between the convergence rate and the number of degrees of freedom for both the state error and the Hamiltonian error. Numerical simulations in 2D are performed to illustrate the optimality of the main theorems among several choices of classical finite element families.
Citation
- Journal: International Journal of Numerical Analysis and Modeling
- Year: 2022
- Volume: 20
- Issue: 1
- Pages: 92–133
- Publisher: Global Science Press
- DOI: 10.4208/ijnam2023-1005
BibTeX
@article{Haine_2023,
title={{Numerical Analysis of a Structure-Preserving Space-Discretization for an Anisotropic and Heterogeneous Boundary Controlled $N$-Dimensional Wave Equation as a Port-Hamiltonian System}},
volume={20},
ISSN={2617-8710},
DOI={10.4208/ijnam2023-1005},
number={1},
journal={International Journal of Numerical Analysis and Modeling},
publisher={Global Science Press},
author={Haine, Ghislain and Matignon, Denis and Serhani, Anass},
year={2023},
pages={92--133}
}References
- [1] S. Abhyankar, J. Brown, E. M. Constantinescu, D. Ghosh, B. F. Smith, and H. Zhang, PETSc/TS: A modern scalable ODE/DAE solver library, tech. report, 2018.
- [2] M. S. Alnæs, J. Blechta, J. Hake, A. Johansson, B. Kehlet, A. Logg, C. Richardson, J. Ring, M. E. Rognes, and G. N. Wells, The FEniCS Project Version 1.5, Archive of Numerical Software, 3 (2015).
- 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
- Andersson C, Führer C, Åkesson J (2015) Assimulo: A unified framework for ODE solvers. Mathematics and Computers in Simulation 116:26–43. https://doi.org/10.1016/j.matcom.2015.04.007 – 10.1016/j.matcom.2015.04.007
- Arnold DN, Falk RS, Winther R (2006) Finite element exterior calculus, homological techniques, and applications. Acta Numerica 15:1–155. https://doi.org/10.1017/s0962492906210018 – 10.1017/s0962492906210018
- Arnold D, Falk R, Winther R (2010) Finite element exterior calculus: from Hodge theory to numerical stability. Bull Amer Math Soc 47(2):281–354. https://doi.org/10.1090/s0273-0979-10-01278-4 – 10.1090/s0273-0979-10-01278-4
- Bécache E, Joly P, Tsogka C (2000) An Analysis of New Mixed Finite Elements for the Approximation of Wave Propagation Problems. SIAM J Numer Anal 37(4):1053–1084. https://doi.org/10.1137/s0036142998345499 – 10.1137/s0036142998345499
- Bécache E, Joly P, Tsogka C (2002) A New Family of Mixed Finite Elements for the Linear Elastodynamic Problem. SIAM J Numer Anal 39(6):2109–2132. https://doi.org/10.1137/s0036142999359189 – 10.1137/s0036142999359189
- Bochev PB, Hyman JM (2007) Principles of Mimetic Discretizations of Differential Operators. In: The IMA Volumes in Mathematics and its Applications. Springer New York, New York, NY, pp 89–119 – 10.1007/0-387-38034-5_5
- Boffi D, Brezzi F, Fortin M (2013) Mixed Finite Element Methods and Applications. Springer Berlin Heidelberg, Berlin, Heidelberg – 10.1007/978-3-642-36519-5
- Brugnoli A, Cardoso-Ribeiro FL, Haine G, Kotyczka P (2020) Partitioned finite element method for structured discretization with mixed boundary conditions. IFAC-PapersOnLine 53(2):7557–7562. https://doi.org/10.1016/j.ifacol.2020.12.1351 – 10.1016/j.ifacol.2020.12.1351
- Cardoso-Ribeiro FL, Matignon D, Lefèvre L (2018) A structure-preserving Partitioned Finite Element Method for the 2D wave equation ⁎ ⁎This work is supported by the project ANR-16-CE92-0028, entitled Interconnected Infinite-Dimensional systems for Heterogeneous Media, INFIDHEM, financed by the French National Research Agency (ANR). Further information is available at https://websites.isae-supaero.fr/infidhem/the-project/. IFAC-PapersOnLine 51(3):119–124. https://doi.org/10.1016/j.ifacol.2018.06.033 – 10.1016/j.ifacol.2018.06.033
- Cardoso-Ribeiro FL, Matignon D, Lefèvre L (2020) A partitioned finite element method for power-preserving discretization of open systems of conservation laws. IMA Journal of Mathematical Control and Information 38(2):493–533. https://doi.org/10.1093/imamci/dnaa038 – 10.1093/imamci/dnaa038
- Cardoso-Ribeiro FL, Matignon D, Pommier-Budinger V (2020) Port-Hamiltonian model of two-dimensional shallow water equations in moving containers. IMA Journal of Mathematical Control and Information 37(4):1348–1366. https://doi.org/10.1093/imamci/dnaa016 – 10.1093/imamci/dnaa016
- Cervera J, van der Schaft AJ, Baños A (2007) Interconnection of port-Hamiltonian systems and composition of Dirac structures. Automatica 43(2):212–225. https://doi.org/10.1016/j.automatica.2006.08.014 – 10.1016/j.automatica.2006.08.014
- Cessenat M (1996) Mathematical Methods in Electromagnetism. WORLD SCIENTIFIC – 10.1142/2938
- Duindam V, Macchelli A, Stramigioli S, Bruyninckx H (2009) Modeling and Control of Complex Physical Systems. Springer Berlin Heidelberg, Berlin, Heidelberg – 10.1007/978-3-642-03196-0
- 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
- Egger H, Kugler T, Liljegren-Sailer B, Marheineke N, Mehrmann V (2018) On Structure-Preserving Model Reduction for Damped Wave Propagation in Transport Networks. SIAM J Sci Comput 40(1):A331–A365. https://doi.org/10.1137/17m1125303 – 10.1137/17m1125303
- Ern A, Guermond J-L (2006) Evaluation of the condition number in linear systems arising in finite element approximations. ESAIM: M2AN 40(1):29–48. https://doi.org/10.1051/m2an:2006006 – 10.1051/m2an:2006006
- [21] O. Farle, R.-B. Baltes, and R. Dyczij-Edlinger, A Port-Hamiltonian Finite-Element Formulation for the Transmission Line, in 21st International Symposium on Mathematical Theory of Networks and Systems (MTNS), Groningen, The Netherlands, July 2014, MTNS, pp. 724– 728.
- Farle O, Klis D, Jochum M, Floch O, Dyczij-Edlinger R (2013) A port-hamiltonian finite-element formulation for the maxwell equations. In: 2013 International Conference on Electromagnetics in Advanced Applications (ICEAA). IEEE, pp 324–327 – 10.1109/iceaa.2013.6632246
- Feng Y, Liu Y, Wang R, Zhang S (2021) A conforming discontinuous Galerkin finite element method on rectangular partitions. ERA 29(3):2375–2389. https://doi.org/10.3934/era.2020120 – 10.3934/era.2020120
- [24] C. Foiaş and R. M. Temam, Remarques sur les équations de Navier-Stokes stationnaires et les phénomènes successifs de bifurcation, Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie IV, 5 (1978), pp. 28–63.
- Fried I (1972) Bounds on the extremal eigenvalues of the finite element stiffness and mass matrices and their spectral condition number. Journal of Sound and Vibration 22(4):407–418. https://doi.org/10.1016/0022-460x(72)90452-x – 10.1016/0022-460x(72)90452-x
- Gatica GN (2014) A Simple Introduction to the Mixed Finite Element Method. Springer International Publishing, Cham – 10.1007/978-3-319-03695-3
- Gerritsma M, Kunnen J, de Heij B (2016) Discrete Lie Derivative. In: Lecture Notes in Computational Science and Engineering. Springer International Publishing, Cham, pp 635–643 – 10.1007/978-3-319-39929-4_61
- Gerritsma M, Palha A, Jain V, Zhang Y (2018) Mimetic Spectral Element Method for Anisotropic Diffusion. In: SEMA SIMAI Springer Series. Springer International Publishing, Cham, pp 31–74 – 10.1007/978-3-319-94676-4_3
- Girault V, Raviart P-A (1986) Finite Element Methods for Navier-Stokes Equations. Springer Berlin Heidelberg, Berlin, Heidelberg – 10.1007/978-3-642-61623-5
- Gugercin S, Polyuga RV, Beattie C, van der Schaft A (2012) Structure-preserving tangential interpolation for model reduction of port-Hamiltonian systems. Automatica 48(9):1963–1974. https://doi.org/10.1016/j.automatica.2012.05.052 – 10.1016/j.automatica.2012.05.052
- Haine G, Matignon D (2021) Structure-Preserving Discretization of a Coupled Heat-Wave System, as Interconnected Port-Hamiltonian Systems. In: Lecture Notes in Computer Science. Springer International Publishing, Cham, pp 191–199 – 10.1007/978-3-030-80209-7_22
- [32] G. Haine, D. Matignon, and F. Monteghetti, Long-time behavior of a coupled heat-wave system using a structure-preserving finite element method, Mathematical Reports, 24(74) (2022), pp. 187–215.
- Hiemstra RR, Toshniwal D, Huijsmans RHM, Gerritsma MI (2014) High order geometric methods with exact conservation properties. Journal of Computational Physics 257:1444–1471. https://doi.org/10.1016/j.jcp.2013.09.027 – 10.1016/j.jcp.2013.09.027
- Hiptmair R (2001) Discrete Hodge operators. Numerische Mathematik 90(2):265–289. https://doi.org/10.1007/s002110100295 – 10.1007/s002110100295
- Joly P (2003) Variational Methods for Time-Dependent Wave Propagation Problems. In: Lecture Notes in Computational Science and Engineering. Springer Berlin Heidelberg, Berlin, Heidelberg, pp 201–264 – 10.1007/978-3-642-55483-4_6
- [36] P. Kotyczka, Numerical Methods for Distributed Parameter Port-Hamiltonian Systems, TUM.University Press, Munich, 2019. Habilitation.
- Kotyczka P, Lefèvre L (2019) Discrete-time port-Hamiltonian systems: A definition based on symplectic integration. Systems & Control Letters 133:104530. https://doi.org/10.1016/j.sysconle.2019.104530 – 10.1016/j.sysconle.2019.104530
- Kotyczka P, Maschke B, Lefèvre L (2018) Weak form of Stokes–Dirac structures and geometric discretization of port-Hamiltonian systems. Journal of Computational Physics 361:442–476. https://doi.org/10.1016/j.jcp.2018.02.006 – 10.1016/j.jcp.2018.02.006
- [39] M. Kurula and H. Zwart, Linear wave systems on n-D spatial domains, International Journal of Control, 88 (2015), pp. 1063–1077.
- Kurula M, Zwart H, van der Schaft A, Behrndt J (2010) Dirac structures and their composition on Hilbert spaces. Journal of Mathematical Analysis and Applications 372(2):402–422. https://doi.org/10.1016/j.jmaa.2010.07.004 – 10.1016/j.jmaa.2010.07.004
- Lee D, Palha A, Gerritsma M (2018) Discrete conservation properties for shallow water flows using mixed mimetic spectral elements. Journal of Computational Physics 357:282–304. https://doi.org/10.1016/j.jcp.2017.12.022 – 10.1016/j.jcp.2017.12.022
- Lepe F, Mora D, Rodríguez R (2014) Locking-free finite element method for a bending moment formulation of Timoshenko beams. Computers & Mathematics with Applications 68(3):118–131. https://doi.org/10.1016/j.camwa.2014.05.011 – 10.1016/j.camwa.2014.05.011
- 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
- [44] P. Monk, Finite element methods for Maxwell’s equations, Numerical Mathematics and Scientific Computation, Oxford University Press, New York, 2003.
- Oliveira T, Portela A (2016) Weak-form collocation – A local meshless method in linear elasticity. Engineering Analysis with Boundary Elements 73:144–160. https://doi.org/10.1016/j.enganabound.2016.09.010 – 10.1016/j.enganabound.2016.09.010
- Rashad R, Califano F, van der Schaft AJ, Stramigioli S (2020) Twenty years of distributed port-Hamiltonian systems: a literature review. IMA Journal of Mathematical Control and Information 37(4):1400–1422. https://doi.org/10.1093/imamci/dnaa018 – 10.1093/imamci/dnaa018
- Sayas F-J (2004) Aubin—Nitsche Estimates Are Equivalent to Compact Embeddings. BIT Numerical Mathematics 44(2):287–290. https://doi.org/10.1023/b:bitn.0000039392.78980.06 – 10.1023/b:bitn.0000039392.78980.06
- Serhani A, Haine G, Matignon D (2019) Anisotropic heterogeneous n-D heat equation with boundary control and observation: I. Modeling as port-Hamiltonian system. IFAC-PapersOnLine 52(7):51–56. https://doi.org/10.1016/j.ifacol.2019.07.009 – 10.1016/j.ifacol.2019.07.009
- Serhani A, Haine G, Matignon D (2019) Anisotropic heterogeneous n-D heat equation with boundary control and observation: II. Structure-preserving discretization. IFAC-PapersOnLine 52(7):57–62. https://doi.org/10.1016/j.ifacol.2019.07.010 – 10.1016/j.ifacol.2019.07.010
- Serhani A, Matignon D, Haine G (2019) A Partitioned Finite Element Method for the Structure-Preserving Discretization of Damped Infinite-Dimensional Port-Hamiltonian Systems with Boundary Control. In: Lecture Notes in Computer Science. Springer International Publishing, Cham, pp 549–558 – 10.1007/978-3-030-26980-7_57
- Serhani A, Matignon D, Haine G (2019) Partitioned Finite Element Method for port-Hamiltonian systems with Boundary Damping: Anisotropic Heterogeneous 2D wave equations. IFAC-PapersOnLine 52(2):96–101. https://doi.org/10.1016/j.ifacol.2019.08.017 – 10.1016/j.ifacol.2019.08.017
- Seslija M, Scherpen JMA, van der Schaft A (2014) Explicit simplicial discretization of distributed-parameter port-Hamiltonian systems. Automatica 50(2):369–377. https://doi.org/10.1016/j.automatica.2013.11.020 – 10.1016/j.automatica.2013.11.020
- Toledo J, Wu Y, Ramírez H, Le Gorrec Y (2020) Observer-based boundary control of distributed port-Hamiltonian systems. Automatica 120:109130. https://doi.org/10.1016/j.automatica.2020.109130 – 10.1016/j.automatica.2020.109130
- Trenchant V, Ramirez H, Le Gorrec Y, Kotyczka P (2018) Finite differences on staggered grids preserving the port-Hamiltonian structure with application to an acoustic duct. Journal of Computational Physics 373:673–697. https://doi.org/10.1016/j.jcp.2018.06.051 – 10.1016/j.jcp.2018.06.051
- Tucsnak M, Weiss G (2009) Observation and Control for Operator Semigroups. Birkhäuser Basel, Basel – 10.1007/978-3-7643-8994-9
- 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
- van der Schaft AJ, Maschke BM (2002) Hamiltonian formulation of distributed-parameter systems with boundary energy flow. Journal of Geometry and Physics 42(1-2):166–194. https://doi.org/10.1016/s0393-0440(01)00083-3 – 10.1016/s0393-0440(01)00083-3
- Vu NMT, Lefèvre L, Maschke B (2016) A structured control model for the thermo-magneto-hydrodynamics of plasmas in tokamaks. Mathematical and Computer Modelling of Dynamical Systems 22(3):181–206. https://doi.org/10.1080/13873954.2016.1154874 – 10.1080/13873954.2016.1154874