A Mixed-FEM approximation with uniform conservation of the exponential stability for a class of anisotropic port-Hamiltonian system and its application to LQ control
Luis A. Mora, Kirsten Morris
TL;DR
The paper develops a mixed finite-element discretization for a class of anisotropic boundary-damped port-Hamiltonian systems that uniformly preserves exponential stability, yielding a mesh-size independent decay rate bound via a multiplier-based Lyapunov framework. By formulating the discretization in co-energy variables and constructing structure-preserving global matrices, the authors demonstrate a discrete port-Hamiltonian model with provable energy decay that remains robust as the mesh is refined. The piezoelectric beam serves as a concrete example, and the MFEM approach is shown to support reliable infinite-horizon LQ control, with the discrete controller converging to the continuous controller as the discretization is refined, outperforming standard FE methods. Key theoretical contributions include explicit discrete operator identities ensuring port-Hamiltonian structure, concrete sufficiency conditions (D1/D2) for uniform stability, and detailed lemmas on spectral properties and inner-product computations that facilitate energy-based analyses. Practically, this yields stable, scalable numerical schemes for controlled distributed-parameter systems with anisotropy, enabling consistent controller synthesis across discretization orders.
Abstract
In this manuscript, we present a mixed finite element discretization for a class of boundary-damped anisotropic port-Hamiltonian systems. Using a multiplier method, we demonstrate that the resulting approximation model uniformly preserves the exponential stability of the uncontrolled system, establishing a lower bound for the exponential decay rate that is independent of the mesh size. This property is illustrated through the spatial discretization of a piezoelectric beam. Furthermore, we show how the uniform preservation of exponential stability by the proposed model aids in the convergence of controllers derived from an infinite-time linear quadratic control design, in comparison to models obtained from the standard finite-element method.
