American Institute of Mathematical Sciences

System specific triangulations for the construction of CPA Lyapunov functions

 1 Department of Mathematics, University of Sussex, Falmer BN1 9QH, United Kingdom 2 Faculty of Physical Sciences, University of Iceland, 107 Reykjavik, Iceland

Received  September 2020 Published  December 2020

Fund Project: The research in this paper was partly supported by the Icelandic Research Fund (Ranní s) grant number 163074-052, Complete Lyapunov functions: Efficient numerical computation

Recently, a transformation of the vertices of a regular triangulation of ${\mathbb {R}}^n$ with vertices in the lattice $\mathbb{Z}^n$ was introduced, which distributes the vertices with approximate rotational symmetry properties around the origin. We prove that the simplices of the transformed triangulation are $(h, d)$-bounded, a type of non-degeneracy particularly useful in the numerical computation of Lyapunov functions for nonlinear systems using the CPA (continuous piecewise affine) method. Additionally, we discuss and give examples of how this transformed triangulation can be used together with a Lyapunov function for a linearization to compute a Lyapunov function for a nonlinear system with the CPA method using considerably fewer simplices than when using a regular triangulation.

Citation: Peter Giesl, Sigurdur Hafstein. System specific triangulations for the construction of CPA Lyapunov functions. Discrete & Continuous Dynamical Systems - B, doi: 10.3934/dcdsb.2020378
References:

show all references

References:
Left: The triangulation ${\mathcal T}^\text{ std}_{K}$, $K = 4$, with a triangle fan at the origin. Right: The transformed approximately rotationally symmetric triangulation ${\mathcal T}_{\Phi, K}$
The vertices of the triangulations of Figure 1, right, are mapped by the linear transformation ${\bf x} \mapsto P^{-\frac{1}{2}} {\bf x}$, where $P^{-\frac{1}{2}}$ is a symmetric and positive definite matrix. This triangulation is adapted to the structure of the system with a local Lyapunov function $V( {\bf x}) = {\bf x}^\text{T}P {\bf x}$
Left: CPA Lyapunov function for system (3.1) with $\alpha = 0.5$ and $\beta = -0.3$ using a rectangular grid. Right: The rectangular grid, with a triangle fan at the origin, used for the computation. Level-sets of the Lyapunov function are drawn in red on both figures
Left: CPA Lyapunov function for system (3.1) with $\alpha = 0.5$ and $\beta = -0.3$ using a transformed grid. Right: The transformed grid, with a triangle fan at the origin, used for the computation. Level-sets of the Lyapunov function are drawn in red on both figures. Note that the triangulation is much better adapted to the shape of the level-sets than when using a rectangular grid as in Figure 3
Left: CPA Lyapunov function for system (3.1) with $\alpha = 0.5$ and $\beta = -0.4$ using a rectangular grid. Right: The rectangular grid, with a triangle fan at the origin, used for the computation. Level-sets of the Lyapunov function are drawn in red on both figures
Left: CPA Lyapunov function for system (3.1) with $\alpha = 0.5$ and $\beta = -0.4$ using a transformed grid. Right: The transformed grid, with a triangle fan at the origin, used for the computation. Level-sets of the Lyapunov function are drawn in red on both figures. Note that the triangulation is much better adapted to the shape of the level-sets than when using a rectangular grid as in Figure 5. Both the area covered by the triangle fan, in both cases with $64$ triangles, as well as the area covered overall are much larger than when using the rectangular grid, see Figure 5
 [1] Lars Grüne. Computing Lyapunov functions using deep neural networks. Journal of Computational Dynamics, 2020  doi: 10.3934/jcd.2021006 [2] Peter Giesl, Zachary Langhorne, Carlos Argáez, Sigurdur Hafstein. Computing complete Lyapunov functions for discrete-time dynamical systems. Discrete & Continuous Dynamical Systems - B, 2021, 26 (1) : 299-336. doi: 10.3934/dcdsb.2020331 [3] Hua Shi, Xiang Zhang, Yuyan Zhang. Complex planar Hamiltonian systems: Linearization and dynamics. Discrete & Continuous Dynamical Systems - A, 2020  doi: 10.3934/dcds.2020406 [4] Yifan Chen, Thomas Y. Hou. Function approximation via the subsampled Poincaré inequality. Discrete & Continuous Dynamical Systems - A, 2021, 41 (1) : 169-199. doi: 10.3934/dcds.2020296 [5] Tomáš Oberhuber, Tomáš Dytrych, Kristina D. Launey, Daniel Langr, Jerry P. Draayer. Transformation of a Nucleon-Nucleon potential operator into its SU(3) tensor form using GPUs. Discrete & Continuous Dynamical Systems - S, 2021, 14 (3) : 1111-1122. doi: 10.3934/dcdss.2020383 [6] Weisong Dong, Chang Li. Second order estimates for complex Hessian equations on Hermitian manifolds. Discrete & Continuous Dynamical Systems - A, 2020  doi: 10.3934/dcds.2020377 [7] Tuoc Phan, Grozdena Todorova, Borislav Yordanov. Existence uniqueness and regularity theory for elliptic equations with complex-valued potentials. Discrete & Continuous Dynamical Systems - A, 2021, 41 (3) : 1071-1099. doi: 10.3934/dcds.2020310 [8] Yancong Xu, Lijun Wei, Xiaoyu Jiang, Zirui Zhu. Complex dynamics of a SIRS epidemic model with the influence of hospital bed number. Discrete & Continuous Dynamical Systems - B, 2021  doi: 10.3934/dcdsb.2021016 [9] Yuanfen Xiao. Mean Li-Yorke chaotic set along polynomial sequence with full Hausdorff dimension for $\beta$-transformation. Discrete & Continuous Dynamical Systems - A, 2021, 41 (2) : 525-536. doi: 10.3934/dcds.2020267 [10] Bahaaeldin Abdalla, Thabet Abdeljawad. Oscillation criteria for kernel function dependent fractional dynamic equations. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020443 [11] Liping Tang, Ying Gao. Some properties of nonconvex oriented distance function and applications to vector optimization problems. Journal of Industrial & Management Optimization, 2021, 17 (1) : 485-500. doi: 10.3934/jimo.2020117 [12] Susmita Sadhu. Complex oscillatory patterns near singular Hopf bifurcation in a two-timescale ecosystem. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020342 [13] Guillaume Cantin, M. A. Aziz-Alaoui. Dimension estimate of attractors for complex networks of reaction-diffusion systems applied to an ecological model. Communications on Pure & Applied Analysis, , () : -. doi: 10.3934/cpaa.2020283 [14] Gheorghe Craciun, Jiaxin Jin, Casian Pantea, Adrian Tudorascu. Convergence to the complex balanced equilibrium for some chemical reaction-diffusion systems with boundary equilibria. Discrete & Continuous Dynamical Systems - B, 2021, 26 (3) : 1305-1335. doi: 10.3934/dcdsb.2020164 [15] Mohammed Abdulrazaq Kahya, Suhaib Abduljabbar Altamir, Zakariya Yahya Algamal. Improving whale optimization algorithm for feature selection with a time-varying transfer function. Numerical Algebra, Control & Optimization, 2021, 11 (1) : 87-98. doi: 10.3934/naco.2020017 [16] Lingfeng Li, Shousheng Luo, Xue-Cheng Tai, Jiang Yang. A new variational approach based on level-set function for convex hull problem with outliers. Inverse Problems & Imaging, , () : -. doi: 10.3934/ipi.2020070 [17] Juntao Sun, Tsung-fang Wu. The number of nodal solutions for the Schrödinger–Poisson system under the effect of the weight function. Discrete & Continuous Dynamical Systems - A, 2021  doi: 10.3934/dcds.2021011 [18] Madhurima Mukhopadhyay, Palash Sarkar, Shashank Singh, Emmanuel Thomé. New discrete logarithm computation for the medium prime case using the function field sieve. Advances in Mathematics of Communications, 2020  doi: 10.3934/amc.2020119 [19] Kateřina Škardová, Tomáš Oberhuber, Jaroslav Tintěra, Radomír Chabiniok. Signed-distance function based non-rigid registration of image series with varying image intensity. Discrete & Continuous Dynamical Systems - S, 2021, 14 (3) : 1145-1160. doi: 10.3934/dcdss.2020386 [20] Gunther Uhlmann, Jian Zhai. Inverse problems for nonlinear hyperbolic equations. Discrete & Continuous Dynamical Systems - A, 2021, 41 (1) : 455-469. doi: 10.3934/dcds.2020380

2019 Impact Factor: 1.27

Tools

Article outline

Figures and Tables