[論文レビュー] Fold-Saddle Bifurcation in Non-Smooth Vector Fields on the Plane

Claudio A. Buzzi, Tiago Carvalho+1 more|arXiv (Cornell University)|May 18, 2010

Advanced Differential Equations and Dynamical Systems参考文献 7被引用数 6

ひとこと要約

本稿は、平面区分的滑らかでないベクトル場におけるフォールド・サドル分岐を調査し、滑らかでない力学系の三パラメータ族を分析する。分岐図の完全な位相的分類を提供し、フォールド・サドル特異点の展開から生じる21種の異なる位相的挙動と39種の典型的な構成を特定する。また、極小周期軌道、カナード現象、不連続境界におけるサドルノード遷移を明示的に特徴づける。

ABSTRACT

This paper presents results concerning bifurcations of 2D piecewise-smooth dynamical systems governed by vector fields. Generic three parameter families of a class of Non-Smooth Vector Fields are studied and its bifurcation diagrams are exhibited. Our main result describes the unfolding of the so called Fold-Saddle singularity.

研究の動機と目的

• 平面の滑らかでないベクトル場におけるフォールド・サドル特異点の近くの分岐構造を特徴づけること。ここで、$Σ$-フォールド点が不連続境界上にサドル点と共存する。
• この特異点の一般的な三パラメータ展開を研究し、極小周期軌道、カナード解、位相的図の変化の出現に注目する。
• 分岐図の完全な分類を提供すること。これには、すべての可能な位相的挙動とパラメータ変動に伴う遷移が含まれる。
• 特異点の余次元ゼロ多様体に対応する $F_\tau$ のゼロ集合となる滑らかな展開写像 $F_\tau$ の存在を確立すること。
• 可視的フォールド・サドル特異点が一般に三パラメータ族によって展開可能であり、明示的なパラメータ依存動的挙動を持つ完全な位相的展開が得られることを示すこと。

提案手法

• 微分方程式の右辺が不連続である場合に適したフィリッポフの理論を用い、$\Sigma_+$ および $\Sigma_-$ で定義される区分的滑らかでないベクトル場 $Z = (X,Y)$ としてシステムをモデル化する。これらは滑らかなスイッチング多様体 $\Sigma = \{y=0\}$ によって分離される。
• 標準形を用いる：フォールドに対しては $X_0 = (1, \pm x)$（符号は可視性を示す）、サドルに対しては $Y_0 = (-y, -x)$ であり、一般の展開として $Y_\beta = (-y - \beta, -x)$ を用いる。
• 滑らかな埋め込み $\sigma_\tau: \mathbb{R}^3 \to \Omega^r$ を用いて三パラメータ族 $Z_{\lambda,\mu,\beta}$ を構成し、余次元ゼロ多様体 $M_\tau = (F_\tau)^{-1}(0)$ に横断的となるようにする。
• 分岐図は、軌道、極小周期軌道、および $\Sigma$-サドル点 $Q$ のパラメータ $\lambda, \mu, \beta$ に対する相対的位置の変化を追跡することで分析する。
• 特異点における $DF_\tau$ の全射性と陰関数定理を用いて位相的同値性を確立し、分岐多様体の局所的滑らかさを保証する。
• 立体射影を用いて、パラメータ空間の原点のまわりの球面上に三パラメータ分岐図を可視化し、各ケースを特定の構成にマッピングする。

実験結果

リサーチクエスチョン

• RQ1 平面の滑らかでないベクトル場におけるフォールド・サドル特異点は、一般の三パラメータ摂動のもとでどのように展開されるか？
• RQ2 パラメータが変化する際の位相的挙動はどのように異なり、その数はいくつあるか？
• RQ3 $\Sigma$-サドル点 $Q$ は分岐構造をどのように整理しているのか。また、他の臨界点に対する相対的位置はどのように変化するか？
• RQ4 カナード解や極小周期軌道は、フォールド・サドル特異点の展開に伴いどのように出現または消滅するか？
• RQ5 分岐図のグローバル構造はどのようなものか。また、立体射影を用いてどのように可視化できるか？

主な発見

• 可視的フォールド・サドル特異点は一般に三パラメータ族によって展開され、39の典型的な構成と21種の異なる位相的挙動が得られる。
• 分岐図には21種の位相的に異なる位相的図が含まれており、それぞれがパラメータ領域と臨界点配置の固有の組み合わせに対応する。
• $\Sigma$-サドル点 $Q$ は複数の構成に現れる。パラメータ値に応じて、$d, e, S, i, j$ の左または右に位置し、その位置が位相的タイプを決定する。
• 出現可能な極小周期軌道の数は有限であり、パラメータ領域に依存する。特に、フォールドおよびサドルの近傍で周期軌道の誕生または消滅が観察される特定のケースが存在する。
• パラメータ空間の原点のまわりの球面上の立体射影を用いて、全分岐構造を可視化し、21のすべての挙動がラベル付き領域にマッピングされている。
• 本稿では、展開が滑らかでかつ余次元ゼロ多様体に横断的であることを証明し、分岐構造の一般性とロバスト性を保証している。