[論文レビュー] Decompositions of surface flows

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

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

ひとこと要約

本稿では、特異点集合に正則性条件を課したコンパクトな曲面上の表面流れに対して、分解枠組みを導入し、すべての流れが4つの不変成分（流れボックス、横断的／周期的アニュラス、局所的稠密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''.

研究の動機と目的

• 特異点集合に正則性条件を課した場合の、表面流れを標準的不変部分集合に分解すること。
• 非閉再帰的軌道を含まず、有限個の極小サイクルを有するコンパクトな曲面上の流れを、有限位相的不変量を用いて分類すること。
• 軌道複体のような従来の不変量の限界を解消するため、回路順序およびファイバー型といった洗練された構造を導入すること。
• 可定向なコンパクトな曲面上の有限型流れに対して、有限かつ完全な不変量を確立することにより、最小的および退化的状況における非可算分類問題を克服すること。

提案手法

• 曲面を4つの不変な開部分集合に分解する：流れボックス、横断的／周期的アニュラス、局所的稠密Q集合。
• 3つの抽象的多重グラフ $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 この分解枠組みを用いて、ハミルトニアン流およびモース＝スメール流に対して有限かつ完全な不変量を構成可能か？

主な発見

• 特異点集合が正則なコンパクトな曲面上の任意の流れは、4種類の不変な開部分集合（流れボックス、横断的／周期的アニュラス、局所的稠密Q集合）の貼り合わせによって構成可能である。
• コンパクトな曲面上のモース＝スメール流は、不変な流れボックスと横断的アニュラスの境界貼り合わせによって構成可能である。
• 有限個の特異点を有するハミルトニアン流は、不変な周期的アニュラスの貼り合わせによって構成可能である。
• 2つの回路順序 $\leq_{\partial_{\perp}^{\alpha}}$ および $\leq_{\partial_{\perp}^{\omega}}$ を追加した軌道複体は、有限型流れの完全不変量を形成する。
• 自己連結サドル接続図の仮定のもと、軌道複体は完全不変量のままであり、回路順序は既存の順序構造から再構成可能である。
• 提案された不変量は有限かつ完全であり、最小的流れおよび退化した特異点における分類の非可算性問題を解決する。