[論文レビュー] Weak and strong mean-field limits for stochastic Cucker-Smale particle systems

Angelo Rosello|arXiv (Cornell University)|May 7, 2019

Geometric Analysis and Curvature Flows参考文献 15被引用数 4

ひとこと要約

本稿は、部分線形で局所リプシッツ連続な相互作用カーネルと、共通および個別ストラトノビッチノイズを併用する確率的 Cucker-Smale 粒子系について、弱および強平均場極限を確立する。ウォッサーシュタイン空間における緊密性と確率的特徴線を用いて、弱収束を確立し、弱い確率的偏微分方程式（SPDE）に収束することを示す。また、拡散係数が有界な場合には、$L^p(\Omega)$ における強い収束を示し、摂動を加えた Cucker-Smale モデルにおける混沌の伝播を可能にする。

ABSTRACT

We consider a particle system with a mean-field-type interaction perturbed by some common and individual noises. When the interacting kernels are sublinear and only locally Lipschitz-continuous, relying on arguments based on the tightness of random measures in Wasserstein spaces, we are able to construct a weak solution of the corresponding limiting SPDE. In a setup where the diffusion coefficient on the environmental noise is bounded, this weak convergence can be turned into a strong L^p($\\Omega$) convergence and the propagation of chaos for the particle system can be established. The systems considered include perturbations of the Cucker-Smale model for collective motion.

研究の動機と目的

• 部分線形で局所リプシッツ連続な相互作用カーネルと、共通および個別ノイズを併用する確率的 Cucker-Smale システムへの平均場極限結果の拡張。
• ストラトノビッチ形式の限界確率的偏微分方程式（SPDE）の解への経験的測度の弱収束の確立。
• 拡散係数が有界な場合に、弱収束を $L^p(\Omega)$ における強い収束に強化すること。
• 導出された収束状態の下で、粒子系における混沌の伝播の厳密な確立。
• ストラトノビッチ積分が限界 SPDE において保存的構造を保つことの物理的妥当性の提示。

提案手法

• ウォッサーシュタイン空間における確率測度の緊密性を用いて、$N \to \infty$ のときの経験的測度の弱収束を確立する。
• 確率的特徴線を用いて粒子の流れを分析し、ストラトノビッチノイズ下での推定を導出する。
• 不規則性を制御するため、ノイズ係数に $\sum_k \|\phi_k\|_{\infty}^2 < \infty$ および $\sum_k \|\phi_k\|_{\text{lip}}^2 < \infty$ の条件を課す。
• モーメントの制御と $L^p$ 評価のための動的局所化を実行するために、停止時刻 $\tau_R^N$ を用いる。
• 初期条件の対称性と条件付き独立性を用いて、経験的測度の収束を通じて混沌の伝播を導出する。
• 伊藤＝ストラトノビッチ補正と輸送構造に依存し、限界 SPDE の保存的形を維持する。

実験結果

リサーチクエスチョン

• RQ1 部分線形で局所リプシッツ連続な相互作用カーネルと、共通および個別ノイズを併用する確率的 Cucker-Smale システムについて、弱平均場極限を確立できるか。
• RQ2 環境ノイズの拡散係数が有界な場合、経験的測度の $L^p(\Omega)$ における強い収束が成立するか。
• RQ3 ストラトノビッチノイズは、イタ形式と比較して、限界 SPDE における保存的構造をどのように維持するか。
• RQ4 導出された強い収束状態の下で、混沌の伝播を厳密に確立できるか。
• RQ5 経験的測度が法則の意味で、および $L^p(\Omega)$ において限界 SPDE に収束するためのノイズ係数に必要な条件は何か。

主な発見

• ウォッサーシュタイン空間における緊密性を用いて、経験的測度 $\mu^N$ が限界 SPDE の弱解に弱収束することが確立された。
• 拡散係数が有界な場合、弱収束は $\mu^N$ が $\mu$ に $L^p(\Omega)$ で強い収束することに強化された。
• 限界 SPDE は保存的ストラトノビッチ形式 $d\mu_t + v\cdot\nabla_x\mu_t dt + \nabla_v\cdot(F[\mu]\mu_t)dt + \sum_k \nabla_v\cdot(F_k[\mu]\mu_t)\circ d\beta_t^k = 0$ をとる。物理的構造が保たれる。
• 混沌の伝播が成立する：粒子系の有限次元分布は、限界過程の i.i.d. コピーに収束する。
• 条件付き分布 $\mathcal{L}(X^i | \mathcal{F}_T^\beta)$ がほとんど確実に $\mu$ に等しいことが示された。これにより、平均場近似が裏付けられる。
• $L^p(\Omega; \mathcal{C})$ における収束 $X^{i,N} \to X^i$ が証明され、個々の軌道のパスワイズ収束が確認された。