[论文解读] Decompositions of surface flows

Tomoo Yokoyama|arXiv (Cornell University)|Mar 16, 2017

Mathematical Dynamics and Fractals参考文献 16被引用 7

一句话总结

本文在奇点集满足正则性条件的假设下，提出了一种紧致曲面上流的分解框架，表明所有此类流均可通过拼接四类不变分量——流盒、横截/周期环状区域与局部稠密的Q-集——来构造。其核心贡献是为有限型流提供了一个有限且完备的拓扑不变量，该不变量以有限标记图的形式表示，从而实现对无非闭循环轨道或退化奇点的流的分类。

ABSTRACT

Flows on surfaces are one of the most fundamental and classical objects in dynamical systems, and are studied from various areas (e.g. integrable systems, differential equations, fluid mechanics). Though hyperbolic flows and recurrent flows on surfaces are classified and characterized using various topological invariants, no complete finite invariants captured both hyperbolicity and recurrence. Moreover, no topological frameworks described even generic time evaluations of gradient flows or incompressible flows (e.g. flows around a circular cylinder placed in uniform flow, solutions of Euler equations and incompressible Navier-Stokes equations). In this paper, to construct a foundation for describing fluid phenomena and capturing hyperbolicity and recurrence, under regularity for the singular point set and tameness of genus and ends, we construct complete finite invariants of flows on (possibly non-compact) surfaces by reconstructing surfaces by gluing five kinds of invariant open subsets, which are trivial flow boxes, transverse/periodic annuli, periodic M{ö}bius bands, and locally dense Q-sets. Such invariants imply a topological framework that can convert various time evaluations of fluids into walks in graphs without losing topological information, and provide a new tool for analyzing fluid phenomena and differential equations through combinatorics and topological data analysis. Furthermore, such invariants partially revive ``Markus-Neumann theorem''.

研究动机与目标

• 在奇点集满足正则性条件的前提下，将曲面上的流分解为规范的不变子集。
• 利用有限的拓扑不变量，对具有有限个极限环且无非闭循环轨道的紧致曲面上的流进行分类。
• 通过引入电路序与纤维类型等细化结构，解决先前不变量（如轨道复形）的局限性。
• 为可定向紧致曲面上有限型流建立一个有限且完备的不变量，克服最小流与退化情形下的不可数分类问题。

提出的方法

• 将曲面分解为四类不变的开子集：流盒、横截/周期环状区域与局部稠密的Q-集。
• 利用三个抽象多重图 $G^{\mathrm{BD}(v)}$、$G_{\mathrm{BD}(v)}$ 与 $G_{D(v)}$ 定义一个拓扑不变量，分别表示轨道结构与胞覆分解。
• 引入标签 $L^{\mathrm{BD}(v)}$、$l_{\mathrm{BD}^{(v)}}$ 与 $l_{D(v)}$，编码纤维类型、预序关系与螺旋的定向性。
• 引入序结构 $\leq_{\hat{\alpha}}$、$\leq_{\hat{\omega}}$ 以及新的电路序 $\leq_{\partial_{\perp}^{\alpha}}$、$\leq_{\partial_{\perp}^{\omega}}$，以捕捉流的方向性。
• 利用商拓扑与轨道空间上的特殊化预序，定义完整的不变量结构。
• 证明在轨道复形中加入电路序后构成完备不变量，且可从该复形重构出完整不变量。

实验结果

研究问题

• RQ1 在正则性条件下，紧致曲面上的流能否被系统地分解为规范的不变分量？
• RQ2 哪些拓扑不变量足以对无非闭循环轨道或退化奇点的有限型流进行分类？
• RQ3 为何先前的不变量（如轨道复形）对某些流类不完整？如何对其进行改进？
• RQ4 在何种条件下，加入电路序的轨道复形可成为曲面上流的完备不变量？
• RQ5 能否利用此分解框架，为哈密顿流与莫尔斯-斯梅尔流构造有限且完备的不变量？

主要发现

• 在奇点集正则的紧致曲面上，任一流均可通过拼接四类不变开子集（流盒、横截/周期环状区域与局部稠密Q-集）构造而成。
• 在紧致曲面上，莫尔斯-斯梅尔流可通过不变流盒与横截环状区域的边界拼接构造。
• 具有有限个奇点的哈密顿流可通过拼接不变周期环状区域构造。
• 在轨道复形中增加两个电路序 $\leq_{\partial_{\perp}^{\alpha}}$ 与 $\leq_{\partial_{\perp}^{\omega}}$ 后，构成有限型流的完备不变量。
• 在自连通鞍点连接图假设下，轨道复形仍为完备不变量，且电路序可从现有序结构中重构。
• 所提出的不变量为有限且完备，解决了最小流与退化奇点情形下的分类不可数性问题。