无限维系统可达集有界性的 Lyapunov 刻画

一篇 arXiv 论文证明了对流在紧区间上关于轨迹主导输入 Lipschitz 连续的一类控制系统的可达集有界性逆 Lyapunov 定理，并指出半线性演化方程广泛满足该条件。作为推论，对常微分方程得到不预先限制输入幅值的前向完备性逆 Lyapunov 定理，并用该 Lyapunov 方法重新推导了 Wintner 经典结果。