[论文解读] Lusternik-Schnirelmann Theory for a Morse Decomposition

M. R. Razvan|ArXiv.org|Sep 26, 2000

Caveolin-1 and cellular processes参考文献 7被引用 3

一句话总结

本文通过指标对拓扑方法，将Lusternik-Schnirelmann理论推广至动力系统中孤立不变集的情形。研究证明：在半局部可缩度量空间上，对于梯度型流，孤立不变集 $I$ 中的平衡点数量至少为 $\nu_H(h(I)) - 1$，其中 $\nu_H$ 为Conley指标 $h(I)$ 的同伦范畴，通过指标对拓扑将经典LS理论推广至非紧情形。

ABSTRACT

Let $ϕ^t$ be a continuous flow on a metric space $X$ and $I$ be an isolated invariant set with an index pair $(N,L)$ and a Morse decomposition $\{M_i\}^n_{i=1}$. For every category $ν$ on $N/L$, we prove that $ν(N/L)\leq ν([L])+\sum_{i=1}^n ν(M_i)$. As a result if $ϕ^t|_I$ is gradient-like and $X$ is semi-locally contractible, then $ϕ^t$ has at least $ν_H(h(I))-1$ rest points in $I$ where $h(I)$ is the Conley index of $I$ and $ν_H$ is the Homotopy Lusternik-Schnirelmann category.

研究动机与目标

• 将Lusternik-Schnirelmann理论推广至非紧流形之外的动力系统中孤立不变集的情形。
• 建立Conley指标的同伦范畴与梯度型流中平衡点数量之间的联系。
• 通过Conley指标理论，将经典LS结果从紧流形上光滑函数的情形推广至非紧空间上的流。
• 在与指标对相关的商空间 $N/L$ 上定义并应用范畴论框架。

提出的方法

• 利用孤立不变集 $I$ 的指标对 $(N, L)$，将Conley指标定义为 $N/L$ 的同伦型。
• 将同伦Lusternik-Schnirelmann范畴 $\nu_H$ 应用于Conley指标 $h(I) = N/L$。
• 证明：对任意满足公理 (i)–(v) 的范畴 $\nu$，有不等式 $\nu(N/L) \leq \nu([L]) + \sum_{i=1}^n \nu(M_i)$，其中 $\{M_i\}$ 为Morse分解。
• 在全空间 $X$ 为半局部可缩时，证明 $\nu_H$ 满足所需公理。
• 将该不等式应用于 $\nu_H$ 范畴，证明在有限性条件下有 $\nu_H(h(I)) \leq 1 + \sum_{i=1}^n \nu_H(M_i, h(I))$。
• 利用 $[L]$ 在 $N/L$ 中存在可缩邻域的事实，确保 $\nu_H([L], N/L) = 1$。

实验结果

研究问题

• RQ1 能否通过Conley指标理论将Lusternik-Schnirelmann理论推广至非紧空间中的孤立不变集？
• RQ2 Conley指标的同伦范畴与梯度型流中平衡点数量之间存在何种关系？
• RQ3 孤立不变集的Morse分解如何影响其Conley指标的范畴？
• RQ4 在何种拓扑条件下，Conley指标是 $H$-可范畴化的，从而可基于范畴理论获得平衡点数量的下界？
• RQ5 能否将经典LS结果（即用可缩集覆盖流形）推广至通过指标对描述的度量空间上的流？

主要发现

• 对任意满足公理 (i)–(v) 的范畴 $\nu$，在 $N/L$ 上有不等式 $\nu(N/L) \leq \nu([L]) + \sum_{i=1}^n \nu(M_i)$ 成立，将指标空间的范畴与各分量的范畴联系起来。
• 若 $\varphi^t|_I$ 为梯度型流且 $X$ 为半局部可缩，则 $\varphi^t$ 在 $I$ 中至少存在 $\nu_H(h(I)) - 1$ 个平衡点，为平衡点数量提供了下界。
• $\nu_H([L], N/L) = 1$，因为 $[L]$ 在 $N/L$ 中存在可缩邻域，这对范畴不等式成立至关重要。
• 当 $X$ 为半局部可缩时，Conley指标 $h(I)$ 总是 $H$-可范畴化的，从而保证了 $\nu_H(h(I))$ 的有限性。
• 同伦范畴 $\nu_H(h(I))$ 满足不等式 $\nu_H(h(I)) \leq 1 + \sum_{i=1}^n \nu_H(M_i, h(I))$，这将经典LS不等式推广至指标空间。
• 当 $X$ 为半局部可缩时，$\nu_H$ 范畴在 $h(I)$ 上满足公理 (v)，使得可应用定理3.4以推导出平衡点数量的下界。