# American Institute of Mathematical Sciences

January  2021, 26(1): 299-336. doi: 10.3934/dcdsb.2020331

## Computing complete Lyapunov functions for discrete-time dynamical systems

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

Received  May 2020 Revised  October 2020 Published  January 2021 Early access  November 2020

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

A complete Lyapunov function characterizes the behaviour of a general discrete-time dynamical system. In particular, it divides the state space into the chain-recurrent set where the complete Lyapunov function is constant along trajectories and the part where the flow is gradient-like and the complete Lyapunov function is strictly decreasing along solutions. Moreover, the level sets of a complete Lyapunov function provide information about attractors, repellers, and basins of attraction.

We propose two novel classes of methods to compute complete Lyapunov functions for a general discrete-time dynamical system given by an iteration. The first class of methods computes a complete Lyapunov function by approximating the solution of an ill-posed equation for its discrete orbital derivative using meshfree collocation. The second class of methods computes a complete Lyapunov function as solution of a minimization problem in a reproducing kernel Hilbert space. We apply both classes of methods to several examples.

Citation: Peter Giesl, Zachary Langhorne, Carlos Argáez, Sigurdur Hafstein. Computing complete Lyapunov functions for discrete-time dynamical systems. Discrete and Continuous Dynamical Systems - B, 2021, 26 (1) : 299-336. doi: 10.3934/dcdsb.2020331
##### References:
 [1] E. Akin, The General Topology of Dynamical Systems, American Mathematical Society, 1993. doi: 10.1090/gsm/001. [2] C. Argáez, P. Giesl and S. Hafstein, Analysing dynamical systems towards computing complete Lyapunov functions, In Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Madrid, Spain, pages 323–330, 2017. [3] C. Argáez, P. Giesl and S. Hafstein, Computation of complete Lyapunov functions for three-dimensional systems, In Proceedings of the 57rd IEEE Conference on Decision and Control (CDC), pages 4059–4064, 2018. [4] C. Argáez, P. Giesl and S. Hafstein, Dynamical systems in theoretical perspective, Chapter Computational Approach for Complete Lyapunov Functions, 248 (2018), 1–11. Springer, Springer Proceedings in Mathematics and Statistics. doi: 10.1007/978-3-319-96598-7_1. [5] C. Argáez, P. Giesl and S. Hafstein, Iterative construction of complete Lyapunov functions, In Proceedings of the 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, (2018), 211–222. [6] N. Aronszajn, Theory of reproducing kernels, Trans. Amer. Math. Soc., 68 (1950), 337-404.  doi: 10.1090/S0002-9947-1950-0051437-7. [7] J. Auslander, Generalized recurrence in dynamical systems, Contributions to Differential Equations, 3 (1964), 65-74. [8] H. Ban and W. D. Kalies, A computational approach to Conley's decomposition theorem, J. Comput. Nonlinear Dynam, 1 (2006), 312-319.  doi: 10.1115/1.2338651. [9] P. Bernard and S. Suhr, Lyapunov functions of closed cone fields: From Conley theory to time functions, Commun. Math. Phys., 359 (2018), 467-498.  doi: 10.1007/s00220-018-3127-7. [10] J. Björnsson, P. Giesl, S. F. Hafstein and C. M. Kellett, Computation of Lyapunov functions for systems with multiple attractors, Discrete Contin. Dyn. Syst., 35 (2015), 4019-4039.  doi: 10.3934/dcds.2015.35.4019. [11] S. C. Brenner and L. R. Scott, The Mathematical Theory of Finite Element Methods, Texts in Applied Mathematics. Springer New York, 2008. doi: 10.1007/978-0-387-75934-0. [12] H. Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equations, Spinger, 2011. [13] C. Conley, Isolated Invariant Sets and the Morse Index, CBMS Regional Conference Series in Mathematics, 38. American Mathematical Society, 1978. [14] M. Dellnitz, G. Froyland and O. Junge, The algorithms behind GAIO – set oriented numerical methods for dynamical systems, Ergodic theory, Analysis, and Efficient Simulation of Dynamical Systems, (2001), 145–174,805–807. [15] A. Fathi and P. Pageault, Smoothing Lyapunov functions, Trans. Amer. Math. Soc., 371 (2019), 1677-1700.  doi: 10.1090/tran/7329. [16] J. Franks, Generalizations of the Poincaré-Birkhoff theorem, Ann. of Math., 128 (1998), 139–151. Erratum: arXiv: math/0410316. doi: 10.2307/1971464. [17] P. Giesl, Construction of Global Lyapunov Functions Using Radial Basis Functions, Lecture Notes in Math. 1904, Springer, 2007. [18] P. Giesl, C. Argáez, S. Hafstein and H. Wendland, Construction of a complete Lyapunov function using quadratic programming, Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics, 1 (2018), 560-568. [19] P. Giesl, C. Argáez, S. Hafstein and H. Wendland, Convergence of discretized minimization problems with applications to complete Lyapunov functions, submitted, 2020. [20] P. Giesl and H. Wendland, Meshless collocation: Error estimates with application to dynamical systems, SIAM J. Numer. Anal., 45 (2007), 1723-1741.  doi: 10.1137/060658813. [21] S. V. Gonchenko, I. I. Ovsyannikov, C. Simó and D. Turaev, Three-dimensional Hénon-like maps and wild Lorenz-like attractors, Internat. J. Bifur. Chaos Appl. Sci. Engrg., 15 (2005), 3493-3508.  doi: 10.1142/S0218127405014180. [22] A. Goullet, S. Harker, K. Mischaikow, W. D. Kalies and D. Kasti, Efficient computation of Lyapunov functions for Morse decompositions, Discrete Contin. Dyn. Syst. Ser. B, 20 (2015), 2418-2451.  doi: 10.3934/dcdsb.2015.20.2419. [23] M. Hurley, Chain recurrence and attraction in non-compact spaces, Ergodic Theory Dynam. Systems, 11 (1991), 709-729.  doi: 10.1017/S014338570000643X. [24] M. Hurley, Noncompact chain recurrence and attraction, Proc. Amer. Math. Soc., 115 (1992), 1139-1148.  doi: 10.1090/S0002-9939-1992-1098401-X. [25] M. Hurley, Chain recurrence, semiflows, and gradients, J. Dynam. Differential Equations, 7 (1995), 437-456.  doi: 10.1007/BF02219371. [26] M. Hurley, Lyapunov functions and attractors in arbitrary metric spaces, Proc. Amer. Math. Soc., 126 (1998), 245-256.  doi: 10.1090/S0002-9939-98-04500-6. [27] A. Iske, Perfect centre placement for radial basis function methods, Technical Report TUM-M9809, TU Munich, Germany, 1998. [28] W. D. Kalies, K. Mischaikow and R. C. A. M. VanderVorst, An algorithmic approach to chain recurrence, Found. Comput. Math., 5 (2005), 409-449.  doi: 10.1007/s10208-004-0163-9. [29] D. E. Norton, The fundamental theorem of dynamical systems, Comment. Math. Univ. Carolin., 36 (1995), 585-597. [30] M. Patrão, Existence of complete Lyapunov functions for semiflows on separable metric spaces, Far East J. Dyn. Syst., 17 (2011), 49-54. [31] C. Robinson, Dynamical Systems: Stability, Symbolic Dynamics, and Chaos, Studies in Advanced Mathematics. CRC Press, 2. edition, 1999. [32] S. Suhr and S. Hafstein, Smooth complete Lyapunov functions for ODEs, submitted, 2020. [33] H. Wendland, Error estimates for interpolation by compactly supported radial basis functions of minimal degree, J. Approx. Theory, 93 (1998), 258-272.  doi: 10.1006/jath.1997.3137. [34] H. Wendland, Scattered Data Approximation, volume 17 of Cambridge Monographs on Applied and Computational Mathematics, Cambridge University Press, Cambridge, 2005.

show all references

##### References:
 [1] E. Akin, The General Topology of Dynamical Systems, American Mathematical Society, 1993. doi: 10.1090/gsm/001. [2] C. Argáez, P. Giesl and S. Hafstein, Analysing dynamical systems towards computing complete Lyapunov functions, In Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Madrid, Spain, pages 323–330, 2017. [3] C. Argáez, P. Giesl and S. Hafstein, Computation of complete Lyapunov functions for three-dimensional systems, In Proceedings of the 57rd IEEE Conference on Decision and Control (CDC), pages 4059–4064, 2018. [4] C. Argáez, P. Giesl and S. Hafstein, Dynamical systems in theoretical perspective, Chapter Computational Approach for Complete Lyapunov Functions, 248 (2018), 1–11. Springer, Springer Proceedings in Mathematics and Statistics. doi: 10.1007/978-3-319-96598-7_1. [5] C. Argáez, P. Giesl and S. Hafstein, Iterative construction of complete Lyapunov functions, In Proceedings of the 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, (2018), 211–222. [6] N. Aronszajn, Theory of reproducing kernels, Trans. Amer. Math. Soc., 68 (1950), 337-404.  doi: 10.1090/S0002-9947-1950-0051437-7. [7] J. Auslander, Generalized recurrence in dynamical systems, Contributions to Differential Equations, 3 (1964), 65-74. [8] H. Ban and W. D. Kalies, A computational approach to Conley's decomposition theorem, J. Comput. Nonlinear Dynam, 1 (2006), 312-319.  doi: 10.1115/1.2338651. [9] P. Bernard and S. Suhr, Lyapunov functions of closed cone fields: From Conley theory to time functions, Commun. Math. Phys., 359 (2018), 467-498.  doi: 10.1007/s00220-018-3127-7. [10] J. Björnsson, P. Giesl, S. F. Hafstein and C. M. Kellett, Computation of Lyapunov functions for systems with multiple attractors, Discrete Contin. Dyn. Syst., 35 (2015), 4019-4039.  doi: 10.3934/dcds.2015.35.4019. [11] S. C. Brenner and L. R. Scott, The Mathematical Theory of Finite Element Methods, Texts in Applied Mathematics. Springer New York, 2008. doi: 10.1007/978-0-387-75934-0. [12] H. Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equations, Spinger, 2011. [13] C. Conley, Isolated Invariant Sets and the Morse Index, CBMS Regional Conference Series in Mathematics, 38. American Mathematical Society, 1978. [14] M. Dellnitz, G. Froyland and O. Junge, The algorithms behind GAIO – set oriented numerical methods for dynamical systems, Ergodic theory, Analysis, and Efficient Simulation of Dynamical Systems, (2001), 145–174,805–807. [15] A. Fathi and P. Pageault, Smoothing Lyapunov functions, Trans. Amer. Math. Soc., 371 (2019), 1677-1700.  doi: 10.1090/tran/7329. [16] J. Franks, Generalizations of the Poincaré-Birkhoff theorem, Ann. of Math., 128 (1998), 139–151. Erratum: arXiv: math/0410316. doi: 10.2307/1971464. [17] P. Giesl, Construction of Global Lyapunov Functions Using Radial Basis Functions, Lecture Notes in Math. 1904, Springer, 2007. [18] P. Giesl, C. Argáez, S. Hafstein and H. Wendland, Construction of a complete Lyapunov function using quadratic programming, Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics, 1 (2018), 560-568. [19] P. Giesl, C. Argáez, S. Hafstein and H. Wendland, Convergence of discretized minimization problems with applications to complete Lyapunov functions, submitted, 2020. [20] P. Giesl and H. Wendland, Meshless collocation: Error estimates with application to dynamical systems, SIAM J. Numer. Anal., 45 (2007), 1723-1741.  doi: 10.1137/060658813. [21] S. V. Gonchenko, I. I. Ovsyannikov, C. Simó and D. Turaev, Three-dimensional Hénon-like maps and wild Lorenz-like attractors, Internat. J. Bifur. Chaos Appl. Sci. Engrg., 15 (2005), 3493-3508.  doi: 10.1142/S0218127405014180. [22] A. Goullet, S. Harker, K. Mischaikow, W. D. Kalies and D. Kasti, Efficient computation of Lyapunov functions for Morse decompositions, Discrete Contin. Dyn. Syst. Ser. B, 20 (2015), 2418-2451.  doi: 10.3934/dcdsb.2015.20.2419. [23] M. Hurley, Chain recurrence and attraction in non-compact spaces, Ergodic Theory Dynam. Systems, 11 (1991), 709-729.  doi: 10.1017/S014338570000643X. [24] M. Hurley, Noncompact chain recurrence and attraction, Proc. Amer. Math. Soc., 115 (1992), 1139-1148.  doi: 10.1090/S0002-9939-1992-1098401-X. [25] M. Hurley, Chain recurrence, semiflows, and gradients, J. Dynam. Differential Equations, 7 (1995), 437-456.  doi: 10.1007/BF02219371. [26] M. Hurley, Lyapunov functions and attractors in arbitrary metric spaces, Proc. Amer. Math. Soc., 126 (1998), 245-256.  doi: 10.1090/S0002-9939-98-04500-6. [27] A. Iske, Perfect centre placement for radial basis function methods, Technical Report TUM-M9809, TU Munich, Germany, 1998. [28] W. D. Kalies, K. Mischaikow and R. C. A. M. VanderVorst, An algorithmic approach to chain recurrence, Found. Comput. Math., 5 (2005), 409-449.  doi: 10.1007/s10208-004-0163-9. [29] D. E. Norton, The fundamental theorem of dynamical systems, Comment. Math. Univ. Carolin., 36 (1995), 585-597. [30] M. Patrão, Existence of complete Lyapunov functions for semiflows on separable metric spaces, Far East J. Dyn. Syst., 17 (2011), 49-54. [31] C. Robinson, Dynamical Systems: Stability, Symbolic Dynamics, and Chaos, Studies in Advanced Mathematics. CRC Press, 2. edition, 1999. [32] S. Suhr and S. Hafstein, Smooth complete Lyapunov functions for ODEs, submitted, 2020. [33] H. Wendland, Error estimates for interpolation by compactly supported radial basis functions of minimal degree, J. Approx. Theory, 93 (1998), 258-272.  doi: 10.1006/jath.1997.3137. [34] H. Wendland, Scattered Data Approximation, volume 17 of Cambridge Monographs on Applied and Computational Mathematics, Cambridge University Press, Cambridge, 2005.
Example (24) with solving $\Delta v(x,y) = -1$. Chain-recurrent set (top) approximated by the set $\{(x,y)\, \mid\, \Delta v(x,y)\ge \gamma\}$, see Table 2, and the orbital derivative (middle) $\Delta v(x,y)$ of the constructed complete Lyapunov function $v$. $\Delta v$ is approximately zero on the chain-recurrent set (origin) and negative everywhere else. Bottom: Constructed complete Lyapunov function $v(x,y)$, which has a minimum at the origin
Example (24) with equality and inequality constraints. Chain-recurrent set (top) approximated by the set $\{(x,y)\,\mid\,\Delta v(x,y)\ge \gamma\}$, see Table 2, and the orbital derivative $\Delta v(x,y)$ of the constructed complete Lyapunov function $v$ (middle). Again, the orbital derivative $\Delta v$ is correctly approximated being zero on the chain-recurrent set (origin) and negative everywhere else. Bottom: Constructed complete Lyapunov function $v(x,y)$, which has a minimum at the origin. The point with equality constraint was $(0.5,0)$
Example (24) with inequality constraints. Chain recurrent set (top) approximated by the set $\{(x,y)\,\mid\,\Delta v(x,y)\ge \gamma\}$, see Table 2, and the orbital derivative $\Delta v(x,y)$ of the constructed complete Lyapunov function $v$ (middle). $\Delta v$ is approximately zero on the chain-recurrent set (origin) and negative everywhere else. Bottom: The constructed complete Lyapunov function $v(x,y)$, which has a minimum at the origin
Example (25) with solving $\Delta v(x,y) = -1$. Chain-recurrent set (top) approximated by the set $\{(x,y)\,\mid\,\Delta v(x,y)\ge \gamma\}$, see Table 2, and the orbital derivative (second) $\Delta v(x,y)$ of the constructed complete Lyapunov function $v$ over the chain-recurrent set. The third figure shows the orbital derivative in a larger set. The approximated chain-recurrent set includes the equilibria at the origin and $(\pm 1,0)$, but is much larger, in particular around the origin. Bottom: Constructed complete Lyapunov function $v(x,y)$, which has a saddle point at the origin and a local maximum at the unstable equilibria $(\pm 1,0)$
Example (25) with equality and inequality constraints. Chain-recurrent set (top) approximated by the set $\{(x,y)\,\mid\,\Delta v(x,y)\ge \gamma\}$, see Table 2, and the orbital derivative (second) $\Delta v(x,y)$ of the constructed complete Lyapunov function $v$ over the chain-recurrent set. The third figure shows the orbital derivative in a larger set. $\Delta v$ is approximately zero on the chain-recurrent set, consisting of three equilibria at the origin and $(\pm 1,0)$, and negative everywhere else. The approximation of the chain-recurrent set (the equilibria) is much better than when solving the equation $\Delta v(x,y) = -1$. Bottom: Constructed complete Lyapunov function $v(x,y)$, which has a saddle point at the origin and local maxima at the unstable equilibria $(\pm 1,0)$. Note that they have different levels, which is due to the extra point with equality constraint at $(0.5,0)$, resulting in an unsymmetric approximation
Example (25) with inequality constraints. Chain-recurrent set (top) approximated by the set $\{(x,y)\,\mid\,\Delta v(x,y)\ge \gamma\}$, see Table 2, and the orbital derivative (second) $\Delta v(x,y)$ of the constructed complete Lyapunov function $v$ over the chain-recurrent set. The third figure shows the orbital derivative in a larger set. $\Delta v$ is approximately zero on the chain-recurrent set, consisting of three equilibria at the origin and $(\pm 1,0)$, and negative everywhere else. The approximation of the chain-recurrent set (the equilibria) is much better than when solving the equation $\Delta v(x,y) = -1$. Bottom: Constructed complete Lyapunov function $v(x,y)$, which has a saddle point at the origin and local maxima at the unstable equilibria $(\pm 1,0)$
Example (26) with solving $\Delta v(x,y) = -1$. Chain-recurrent set (top) approximated by the set $\{(x,y)\,\mid\,\Delta v(x,y)\ge \gamma\}$, see Table 2, and the orbital derivative (second) $\Delta v(x,y)$ of the constructed complete Lyapunov function $v$ over the chain-recurrent set. The third figure shows the orbital derivative in a larger set. Bottom: Constructed complete Lyapunov function $v(x,y)$. The approximated chain-recurrent set does not resemble the Hénon attractor very well, neither using the orbital derivative nor as the local minimum of the constructed function
Example (26) with equality and inequality constraints. Chain-recurrent set (top) approximated by the set $\{(x,y)\,\mid\,\Delta v(x,y)\ge \gamma\}$, see Table 2, and the orbital derivative (second) $\Delta v(x,y)$ of the constructed complete Lyapunov function $v$ over the chain-recurrent set. The third figure shows the orbital derivative in a larger set. The characteristic shape of the Hénon attractor is clearly visible. Bottom: Constructed complete Lyapunov function $v(x,y)$ with a local minimum at the Hénon attractor. The point with equality constraint was $(0.5,0)$
Example (26) with inequality constraints. Chain-recurrent set (top) approximated by the set $\{(x,y)\,\mid\,\Delta v(x,y)\ge \gamma\}$, see Table 2, and the orbital derivative (second) $\Delta v(x,y)$ of the constructed complete Lyapunov function $v$ over the chain-recurrent set. The third figure shows the orbital derivative in a larger set. The characteristic shape of the Hénon attractor is clearly visible. Bottom: Constructed complete Lyapunov function $v(x,y)$ with a local minimum at the Hénon attractor
Example (27) with solving $\Delta v(x,y) = -1$. Chain-recurrent set (top) approximated by the set $\{(x,y)\,\mid\,\Delta v(x,y)\ge \gamma\}$, see Table 2, and the orbital derivative (second) $\Delta v(x,y)$ of the constructed complete Lyapunov function $v$ over the chain-recurrent set. The third figure shows the orbital derivative in a larger set. Bottom: Constructed complete Lyapunov function $v(x,y)$. The approximated chain-recurrent set shows the Hénon repeller better than the Hénon attractor in the previous example, but still not very clearly. It is not clearly visible as local maximum of the constructed function either
Example (27) with equality and inequality constraints. Chain-recurrent set (top) approximated by the set $\{(x,y)\,\mid\,\Delta v(x,y)\ge \gamma\}$, see Table 2, and the orbital derivative (second) $\Delta v(x,y)$ of the constructed complete Lyapunov function $v$ over the chain-recurrent set. The third figure shows the orbital derivative in a larger set. Bottom: Constructed complete Lyapunov function $v(x,y)$, showing the Hénon repeller as a local maximum. The repeller is clearly visible in all figures. The point with equality constraint was $(0.5,0)$
Example (27) with inequality constraints. Chain-recurrent set (top) approximated by the set $\{(x,y)\,\mid\,\Delta v(x,y)\ge \gamma\}$, see Table 2, and the orbital derivative (second) $\Delta v(x,y)$ of the constructed complete Lyapunov function $v$ over the chain-recurrent set. The third figure shows the orbital derivative in a larger set. Bottom: Constructed complete Lyapunov function $v(x,y)$, showing the Hénon repeller as a local maximum. The repeller is clearly visible in all figures
Example (28) with solving $\Delta v(x,y) = -1$. Chain-recurrent set (top) approximated by the set $\{(x,y)\,\mid\,\Delta v(x,y)\ge \gamma\}$, see Table 2, and the orbital derivative (second) $\Delta v(x,y)$ of the constructed complete Lyapunov function $v$ over the chain-recurrent set. The third figure shows the orbital derivative in a larger set. Bottom: Constructed complete Lyapunov function $v(x,y)$. The approximated chain-recurrent set shows the attractor relatively well in the orbital derivative, but not very clearly as local minimum of the constructed function
Example (28) with equality and inequality constraints. Chain-recurrent set (top) approximated by the set $\{(x,y)\,\mid\,\Delta v(x,y)\ge \gamma\}$, see Table 2, and the orbital derivative (second) $\Delta v(x,y)$ of the constructed complete Lyapunov function $v$ over the chain-recurrent set. The third figure shows the orbital derivative in a larger set. Bottom: Constructed complete Lyapunov function $v(x,y)$, showing the attractor as a local minimum. The attractor is clearer than in the previous method, both using the orbital derivative and as local minimum of the constructed function. The point with equality constraint was $(0.5,0)$, where the orbital derivative is fixed at $-1$
Example (28) with inequality constraints. Chain-recurrent set (top) approximated by the set $\{(x,y)\,\mid\,\Delta v(x,y)\ge \gamma\}$, see Table 2, and the orbital derivative (second) $\Delta v(x,y)$ of the constructed complete Lyapunov function $v$ over the chain-recurrent set. The third figure shows the orbital derivative in a larger set. Bottom: Constructed complete Lyapunov function $v(x,y)$, showing the attractor as a local minimum. The attractor is clearer than in the first method, both using the orbital derivative and as local minimum of the constructed function
Example (29) with solving $\Delta v(x,y,z) = -1$. Top: Chain-recurrent set approximated by the set $\{(x,y,z)\,\mid\,\Delta v(x,y,z)\ge \gamma\}$, see Table 2. The other figures show projections of this set: projections to the $xy-$ (second), $yz-$ (third) and $xz-$plane (bottom)
Example (29) with equality-inequality constrains. Top: Chain-recurrent set approximated by the set $\{(x,y,z)\,\mid\,\Delta v(x,y,z)\ge \gamma\}$, see Table 2. The other figures show projections of this set: projections to the $xy-$ (second), $yz-$ (third) and $xz-$plane (bottom). The figures are not as good as with the previous method. The point with equality constraint is $(0.4,0.4,0)$
Example (29) with inequality constrains. Top: Chain-recurrent set approximated by the set $\{(x,y,z)\,\mid\,\Delta v(x,y,z)\ge \gamma\}$, see Table 2. The other figures show projections of this set: projections to the $xy-$ (second), $yz-$ (third) and $xz-$plane (bottom)
Collocation points $X$ for the examples. We have used $N$ collocation points in a hexagonal grid with parameter $\alpha_{\text{Hexa-basis}}$ within a rectangle $(x,y)\in [x_{\rm min},x_{\rm max}]\times [y_{\rm min},y_{\rm max}]$ or $(x,y,z)\in [x_{\rm min},x_{\rm max}]\times [y_{\rm min},y_{\rm max}]\times [z_{\rm min},z_{\rm max}]$ for the three-dimensional example (29). The number of evaluation points is also displayed
 Example $N$ $\alpha_{\text{Hexa-basis}}$ #-evaluation $x_{\rm min}$ $x_{\rm max}$ $y_{\rm min}$ $y_{\rm max}$ $z_{\rm min}$ $z_{\rm max}$ (24) $3,584$ $0.072$ 1,779,556 $-2$ $2$ $-2$ $2$ (25) $10,108$ $0.03$ 2,003,001 $-2$ $2$ $-1$ $1$ (26) $1,440$ $0.05$ 1,334,000 $-1.5$ $1.5$ $-0.5$ $0.5$ (27) $5,520$ $0.025$ 1,334,000 $-1.5$ $1.5$ $-0.5$ $0.5$ (28) $2,900$ $0.08$ 1,779,556 $-2$ $2$ $-2$ $2$ (29) $5,301$ $0.07$ 1,030,301 $-0.2$ $0.9$ $-0.2$ $0.9$ $-0.2$ $0.9$
 Example $N$ $\alpha_{\text{Hexa-basis}}$ #-evaluation $x_{\rm min}$ $x_{\rm max}$ $y_{\rm min}$ $y_{\rm max}$ $z_{\rm min}$ $z_{\rm max}$ (24) $3,584$ $0.072$ 1,779,556 $-2$ $2$ $-2$ $2$ (25) $10,108$ $0.03$ 2,003,001 $-2$ $2$ $-1$ $1$ (26) $1,440$ $0.05$ 1,334,000 $-1.5$ $1.5$ $-0.5$ $0.5$ (27) $5,520$ $0.025$ 1,334,000 $-1.5$ $1.5$ $-0.5$ $0.5$ (28) $2,900$ $0.08$ 1,779,556 $-2$ $2$ $-2$ $2$ (29) $5,301$ $0.07$ 1,030,301 $-0.2$ $0.9$ $-0.2$ $0.9$ $-0.2$ $0.9$
The value of the parameter $\gamma\le 0$, close to $0$, for all examples. The chain-recurrent set is approximated by the set $\left(\Delta v \right)^{-1}([\gamma,\infty))$
 $\gamma$ for each method System $\Delta v(x)=-1$ equality-inequality inequality (24) $-0.1$ $-10^{-5}$ $0$ (25) $-0.2$ $-10^{-5}$ $-10^{-4}$ (26) $-0.1$ $0$ $-10^{-2}$ (27) $-0.1$ $0$ $0$ (28) $-0.1$ $0$ $0$ (29) $-0.1$ $0$ $0$
 $\gamma$ for each method System $\Delta v(x)=-1$ equality-inequality inequality (24) $-0.1$ $-10^{-5}$ $0$ (25) $-0.2$ $-10^{-5}$ $-10^{-4}$ (26) $-0.1$ $0$ $-10^{-2}$ (27) $-0.1$ $0$ $0$ (28) $-0.1$ $0$ $0$ (29) $-0.1$ $0$ $0$
 [1] Peter Giesl, Najla Mohammed. Verification estimates for the construction of Lyapunov functions using meshfree collocation. Discrete and Continuous Dynamical Systems - B, 2019, 24 (9) : 4955-4981. doi: 10.3934/dcdsb.2019040 [2] Peter Giesl. Construction of a finite-time Lyapunov function by meshless collocation. Discrete and Continuous Dynamical Systems - B, 2012, 17 (7) : 2387-2412. doi: 10.3934/dcdsb.2012.17.2387 [3] Shaohong Fang, Jing Huang, Jinying Ma. Stabilization of a discrete-time system via nonlinear impulsive control. Discrete and Continuous Dynamical Systems - S, 2020, 13 (6) : 1803-1811. doi: 10.3934/dcdss.2020106 [4] Martino Bardi, Shigeaki Koike, Pierpaolo Soravia. Pursuit-evasion games with state constraints: dynamic programming and discrete-time approximations. Discrete and Continuous Dynamical Systems, 2000, 6 (2) : 361-380. doi: 10.3934/dcds.2000.6.361 [5] Hongyan Yan, Yun Sun, Yuanguo Zhu. A linear-quadratic control problem of uncertain discrete-time switched systems. Journal of Industrial and Management Optimization, 2017, 13 (1) : 267-282. doi: 10.3934/jimo.2016016 [6] Yadong Shu, Bo Li. Linear-quadratic optimal control for discrete-time stochastic descriptor systems. Journal of Industrial and Management Optimization, 2022, 18 (3) : 1583-1602. doi: 10.3934/jimo.2021034 [7] Elena K. Kostousova. On polyhedral estimates for trajectory tubes of dynamical discrete-time systems with multiplicative uncertainty. Conference Publications, 2011, 2011 (Special) : 864-873. doi: 10.3934/proc.2011.2011.864 [8] Byungik Kahng, Miguel Mendes. The characterization of maximal invariant sets of non-linear discrete-time control dynamical systems. Conference Publications, 2013, 2013 (special) : 393-406. doi: 10.3934/proc.2013.2013.393 [9] Elena K. Kostousova. On polyhedral control synthesis for dynamical discrete-time systems under uncertainties and state constraints. Discrete and Continuous Dynamical Systems, 2018, 38 (12) : 6149-6162. doi: 10.3934/dcds.2018153 [10] Elena K. Kostousova. On control synthesis for uncertain dynamical discrete-time systems through polyhedral techniques. Conference Publications, 2015, 2015 (special) : 723-732. doi: 10.3934/proc.2015.0723 [11] Yulin Zhao. On the monotonicity of the period function of a quadratic system. Discrete and Continuous Dynamical Systems, 2005, 13 (3) : 795-810. doi: 10.3934/dcds.2005.13.795 [12] Robert Baier, Lars Grüne, Sigurđur Freyr Hafstein. Linear programming based Lyapunov function computation for differential inclusions. Discrete and Continuous Dynamical Systems - B, 2012, 17 (1) : 33-56. doi: 10.3934/dcdsb.2012.17.33 [13] Jaydeep Swarnakar. Discrete-time realization of fractional-order proportional integral controller for a class of fractional-order system. Numerical Algebra, Control and Optimization, 2022, 12 (2) : 309-320. doi: 10.3934/naco.2021007 [14] Paul L. Salceanu, H. L. Smith. Lyapunov exponents and persistence in discrete dynamical systems. Discrete and Continuous Dynamical Systems - B, 2009, 12 (1) : 187-203. doi: 10.3934/dcdsb.2009.12.187 [15] Simone Fiori. Auto-regressive moving-average discrete-time dynamical systems and autocorrelation functions on real-valued Riemannian matrix manifolds. Discrete and Continuous Dynamical Systems - B, 2014, 19 (9) : 2785-2808. doi: 10.3934/dcdsb.2014.19.2785 [16] Angelica Pachon, Federico Polito, Costantino Ricciuti. On discrete-time semi-Markov processes. Discrete and Continuous Dynamical Systems - B, 2021, 26 (3) : 1499-1529. doi: 10.3934/dcdsb.2020170 [17] Paul L. Salceanu. Robust uniform persistence in discrete and continuous dynamical systems using Lyapunov exponents. Mathematical Biosciences & Engineering, 2011, 8 (3) : 807-825. doi: 10.3934/mbe.2011.8.807 [18] Eduardo Liz. A new flexible discrete-time model for stable populations. Discrete and Continuous Dynamical Systems - B, 2018, 23 (6) : 2487-2498. doi: 10.3934/dcdsb.2018066 [19] Ming Chen, Hao Wang. Dynamics of a discrete-time stoichiometric optimal foraging model. Discrete and Continuous Dynamical Systems - B, 2021, 26 (1) : 107-120. doi: 10.3934/dcdsb.2020264 [20] Lih-Ing W. Roeger, Razvan Gelca. Dynamically consistent discrete-time Lotka-Volterra competition models. Conference Publications, 2009, 2009 (Special) : 650-658. doi: 10.3934/proc.2009.2009.650

2020 Impact Factor: 1.327