[論文レビュー] Phase transition and asymptotic behaviour of flocking Cucker-Smale model

Xingyu Li|arXiv (Cornell University)|Jun 18, 2019

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 13被引用数 6

ひとこと要約

本稿は、ノイズと自己駆動を伴う連続的Cucker-Smale集団飛行モデルにおける位相転移を支配する臨界的ノイズ強度 $ D_* $ を確立する。$ D < D_* $ の場合、安定な偏光状態（飛行状態）が出現するが、$ D > D_* $ の場合、唯一の状態は等方的（無秩序）状態である。さらに、非局所項に対応したノルムにおける線形化作用素の固有値ギャップに依存するレートで、安定な飛行状態への指数的収束が示される。

ABSTRACT

In this paper, we study a continuous ocking Cucker-Smale model with noise, which has isotropic and polarized stationary solutions depending on the intensity of the noise. The first result establishes the threshold value of the noise parameter which drives the phase transition. This threshold value is used to classify all stationary solutions and their linear stability properties. Using an entropy, these stability properties are extended to the non-linear regime. The second result is concerned with the asymptotic behaviour of the solutions of the evolution problem. In several cases, we prove that stable solutions attract the other solutions with an optimal exponential rate of convergence determined by the spectral gap of the linearized problem around the stable solutions. The spectral gap has to be computed in a norm adapted to the non-local term.

研究の動機と目的

• ノイズと自己駆動を伴う連続的Cucker-Smaleモデルにおいて、等方的（無秩序）状態と偏光状態（飛行状態）の静的状態を分ける臨界的ノイズ強度 $ D_* $ を特定すること。
• $ D $ と $ D_* $ の相対的関係に基づき、すべての静的解を分類し、それらの線形的および非線形的安定性の性質を同定すること。
• 解の長時間的漸近的挙動、特に安定な飛行状態への収束レートを分析すること。
• 非局所的相互作用項に適合したノルムにおけるスペクトルギャップ推定を用いて、安定な静的解への最適指数的収束レートを計算すること。

提案手法

• 安定性の解析には自由エネルギー汎関数 $ \mathcal{F}[f] $ を用い、エントロピーに基づく手法により線形安定性を非線形領域に拡張する。
• 臨界閾値 $ D_* $ は、等方的状態まわりの線形化作用素がゼロ固有値を持つ条件から導出され、静的解の正規化およびポテンシャルの関数形を用いる。
• 非等方的安定解まわりの線形化作用素のスペクトルギャップは、非局所的相互作用を反映した重み付き $ L^2 $-ノルムで計算される。
• 非線形収束は、エネルギー推定およびスペクトルギャップを含む修正されたPoincaré型不等式を用いて証明され、平均速度が不安定な方向からずれて接線方向に収束すると仮定する。
• 安定な静的状態 $ f_{\mathbf{u}} $ まわりの摂動を解析するため、$ g = (f - f_{\mathbf{u}})/f_{\mathbf{u}} $ を用いた問題の変換が行われる。
• 特定の $ d $, $ \alpha $ に対して $ D_* $ を計算するために、特殊関数（例：変形ベッセル関数、不完全ガンマ関数）の数値的および漸近的解析が用いられる。

実験結果

リサーチクエスチョン

• RQ1 ノイズと自己駆動を伴うCucker-Smaleモデルにおいて、無秩序（等方的）状態と秩序（偏光）状態を分ける正確な閾値 $ D_* $ は何か？
• RQ2 ノイズ強度 $ D $ に応じて、静的解（等方的および非等方的）の安定性特性はどのように変化するのか？ その転移の決定要因は何か？
• RQ3 安定な飛行状態への最適指数的収束レートは何か？ また、これは線形化作用素のスペクトルギャップとどのように関係しているか？
• RQ4 ノルムの選択がスペクトルギャップの計算に与える影響は何か？ なぜ非局所項に適合したノルムが不可欠なのか？
• RQ5 $ d \to \infty $ または $ \alpha \to 0^+ $ および $ \alpha \to \infty $ の場合、$ D_* $ の漸近的挙動は何か？ また、どのような境界が確立できるか？

主な発見

• $ D_* > 0 $ なる臨界的ノイズ強度が存在し、$ D > D_* $ の場合、唯一の安定な静的解は等方的である。一方、$ D < D_* $ の場合、等方的解は不安定であり、回転に関して一意を除き、連続的な安定な非等方的（偏光）解が存在する。
• 臨界値 $ D_* $ は次元 $ d $ に関して単調減少であり、 $ \frac{1}{d+2} < D_* < \frac{1}{d} $ の境界を満たす。下界は $ \alpha \to 0^+ $ のとき、上界は $ \alpha \to \infty $ のときに近づく。
• $ D < D_* $ の場合、等方的状態の自由エネルギー以下に初期値を持つ解は、安定な偏光静的状態 $ f_{\mathbf{u}} $ へ指数的に収束する。収束レート $ \lambda $ は線形化作用素のスペクトルギャップに依存する。
• 最適指数的収束レートは $ \mathcal{F}[f(t)] - \mathcal{F}[f_{\mathbf{u}}] \leq C e^{-\lambda t} $ で定量的に与えられ、ここで $ \lambda $ はスペクトルギャップおよび $ \mathbf{u}_f $ と極限方向 $ \mathbf{u} $ のなす角度に依存する。
• $ D_* $ の数値的値が計算された： $ d=1, \alpha=2 $ の場合 $ D_* \approx 0.529 $、$ d=2, \alpha=2 $ の場合 $ D_* \approx 0.354 $。
• 非局所項を反映したノルムにおけるスペクトルギャップが計算され、収束証明は $ \mathsf{Z}(t) \geq \mathcal{C}_D (1 - \kappa(D)) \varepsilon^2 $ に基づく精密な推定に依存し、非接線的収束下で指数的減衰を保証する。