We prove existence of smooth complete Lyapunov functions for convex semicontinuous multifunctions.
Citation: |
[1] | E. Akin, The General Topology of Dynamical Systems, American Mathematical Society, 1993. doi: 10.1090/gsm/001. |
[2] | J.-P. Aubin and A. Cellina, Differential Inclusions, Springer, 1984. doi: 10.1007/978-3-642-69512-4. |
[3] | J. Auslander, Generalized recurrence in dynamical systems, Contr. to Diff. Equ., 3 (1964), 65-74. |
[4] | O. Bernardi and A. Florio, Existence of Lipschitz continuous Lyapunov functions strict outside the strong chain recurrent set, Dyn. Syst., 34 (2019), 71-92. doi: 10.1080/14689367.2018.1465891. |
[5] | P. Bernhard and S. Suhr, Lyapounov 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. |
[6] | I. U. Bronštein and A. Ya. Kopanskiĭ, Chain recurrence in dynamical systems without uniqueness, Nonlinear Anal., 12 (1988), 147-154. doi: 10.1016/0362-546X(88)90031-4. |
[7] | D. Burago, Y. Burago and S. Ivanov, A Course in Metric Geometry, vol. 33 of Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, 2001. doi: 10.1090/gsm/033. |
[8] | H.-Y. Chu, Chain recurrence for multi-valued dynamical systems on noncompact spaces, Nonlinear Anal., 61 (2005), 715-723. doi: 10.1016/j.na.2005.01.024. |
[9] | F. H. Clarke, Yu. S. Ledyaev and R. J. Stern, Asymptotic stability and smooth Lyapunov functions, J. Differential Equations, 149 (1998), 69-114. doi: 10.1006/jdeq.1998.3476. |
[10] | C. Conley, Isolated Invariant Sets and the Morse Index, CBMS Regional Conference Series, 38, American Mathematical Society, 1978. |
[11] | Y. Eliashberg and N. Mishachev, Introduction to the $h$-Principle, vol. 48 of Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, 2002. doi: 10.1090/gsm/048. |
[12] | A. Fathi and P. Pageault, Smoothing Lyapunov functions, Trans. Amer. Math. Soc., 371 (2019), 1677-1700. doi: 10.1090/tran/7329. |
[13] | J. Franks, Generalizations of the Poincaré-Birkhoff theorem, Ann. of Math., 128 (1988), 139-151, Erratum: arXiv: math/0410316. doi: 10.2307/1971464. |
[14] | M. Gromov, Partial Differential Relations, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 9, Springer-Verlag, Berlin, 1986. doi: 10.1007/978-3-662-02267-2. |
[15] | S. Hafstein and S. Suhr, Smooth complete Lyapunov functions for ODEs, J. Math. Anal. Appl., 499 (2021), Paper No. 125003, 15 pp. doi: 10.1016/j.jmaa.2021.125003. |
[16] | S. W. Hawking, The existence of cosmic time functions, Proc. Roy. Soc. London, Series A, 308 (1969), 433-435. doi: 10.1098/rspa.1969.0018. |
[17] | M. Hurley, Chain recurrence and attraction in non-compact spaces, Ergod. Th. & Dynam. Sys, 11 (1991), 709-729. doi: 10.1017/S014338570000643X. |
[18] | M. Hurley, Chain recurrence, semiflows, and gradients, J. Dynam. Differential Equations, 7 (1995), 437-456. doi: 10.1007/BF02219371. |
[19] | 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. |
[20] | O. V. Kapustyan, P. O. Kasyanov and J. Valero, Chain recurrence and structure of $\omega$-limit sets of multivalued semiflows, Commun. Pure Appl. Anal., 19 (2020), 2197-2217. doi: 10.3934/cpaa.2020096. |
[21] | D. Li and Y. Wang, Smooth Morse-Lyapunov functions of strong attractors for differential inclusions, SIAM J. Control Optim., 50 (2012), 368-387. doi: 10.1137/10081280X. |
[22] | A. Siconolfi and G. Terrone, A metric proof of the converse Lyapunov theorem for semicontinuous multivalued dynamics, Discrete Contin. Dyn. Syst., 32 (2012), 4409-4427. doi: 10.3934/dcds.2012.32.4409. |
[23] | D. Sullivan, Cycles for the dynamical study of foliated manifolds and complex manifolds, Invent. Math., 36 (1976), 225-255. doi: 10.1007/BF01390011. |
[24] | W. Walter, Ordinary Differential Equation, Springer, 1998. doi: 10.1007/978-1-4612-0601-9. |