关于全局Lyapunov函数为Morse函数的研究
On global Lyapunov functions being Morse
浏览论文内容
中文总结 AI 辅助
本文研究全局渐近稳定系统是否存在Morse Lyapunov函数，证明双曲平衡点情形成立，但一般情形与四维庞加莱猜想相关，并给出反例否定一般性。
中文摘要 AI 辅助
自20世纪初以来，Lyapunov函数一直是动力系统理论的基石。此外，类似于Morse理论，Lyapunov函数在将拓扑与动力系统理论联系起来方面发挥了关键作用。本文继续沿着这些思路进行探讨。假设欧几里得空间上的某个向量场具有唯一平衡点，且该平衡点是全局渐近稳定的（GAS）。在这些条件下，已知总是存在一个光滑的Lyapunov函数来证明稳定性。人们可能会想知道这个函数是否总能被选为Morse函数。我们证明，如果平衡点是双曲的，那么这确实是正确的。此外，我们证明，如果这在一般情况下成立，那么广义的四维光滑庞加莱猜想（SPC4）必定成立。尽管如此，我们提供了一个GAS但不存在Morse Lyapunov函数的例子，从而关闭了证明SPC4的这一途径。
英文摘要
Lyapunov functions have been a cornerstone of dynamical systems theory ever since the early 1900s. Moreover and akin to Morse theory, Lyapunov functions have been the key in linking topology to dynamical systems theory. In this note we continue along these lines. Suppose that some vector field on Euclidean space has a unique equilibrium point that is globally asymptotically stable (GAS). Under these conditions, it is known that there is always a smooth Lyapunov function to certify stability. One may wonder if this function can always be chosen to be Morse. We show that if the equilibrium point is hyperbolic, this is indeed true. Moreover, we show that if this would be true in general, then the generalized 4-dimensional smooth Poincaré conjecture (SPC4) must be true. Even so, we provide an example that is GAS, but does not admit a Morse Lyapunov function, closing this route of proving SPC4.
发表机构
- KTH Royal Institute of Technology（皇家理工学院）
- Digital Futures（数字未来）
机构由 AI 辅助整理，请以论文原文为准。
