[論文レビュー] Mean--field limit of a particle approximation of the one-dimensional parabolic--parabolic Keller-Segel model without smoothing

Jean-François Jabir, Denis Talay+1 more|arXiv (Cornell University)|Dec 20, 2017

Mathematical Biology Tumor Growth参考文献 9被引用数 15

ひとこと要約

本稿は、正則化やカットオフなしで、1次元の放物型-放物型ケラー-セゲルモデルを近似する特異的相互作用を有する粒子系の適切な定式化と混沌の伝播を確立する。部分的ギルサノフ変換と核の $ L^1(0,T;L^2(\mathbb{R})) $-可積分性を用いて、一様なモーメントバウンドと非線形SDE極限への収束を証明し、ブラウン運動の技法を用いて特異的相互作用の挑戦に立ち向かう。ベッセル過程に依存しない。

ABSTRACT

In this work, we prove the well--posedness of a singularly interacting stochastic particle system and we establish propagation of chaos result towards the one-dimensional parabolic-parabolic Keller-Segel model.

研究の動機と目的

• 1次元の放物型-放物型ケラー-セゲルモデルにおける特異的相互作用核を有する粒子系の適切な定式化を、正則化やカットオフなしで確立すること。
• 粒子系から非線形SDE極限への混沌の伝播を証明し、経験的測度が弱収束して解に一致することを保証すること。
• ベッセル過程への依存を避け、純粋にブラウン運動の技法を用いて、相互作用核の特異性に対処すること。
• 部分的ギルサノフ変換を用いて、核 $ K_t(x) = \frac{-x}{\sqrt{2\pi}t^{3/2}}e^{-x^2/(2t)} $ の $ L^1(0,T;L^2(\mathbb{R})) $-可積分性を活用し、$ N $ に依存しない一様モーメントバウンドを提供すること。

提案手法

• 1次元のキモタクシスをモデル化するため、核 $ K_t(x) $ を用いた特異的相互作用を有する確率的粒子系を定式化する。
• $ N $ 粒子系に部分的ギルサノフ変換を適用し、Radon-Nikodym導来因子の $ N $ に依存しない指数的モーメントバウンドを導出する。
• 核 $ K $ が $ L^1(0,T;L^2(\mathbb{R})) $ に属することを用いて、特異性を制御し、ギルサノフ測度変換における可積分性を保証する。
• ブラウン運動の増分のパスワイズ独立性とモーメント推定を用いて、ドリフトにおける相互作用項をバウンドする。
• 指数的モーメント級数を切り詰めた後、ファトゥの補題を適用して、一様可積分性とタイトネスを導出する。
• マーチングル問題の定式化と弱収束の技法を用いて、非線形SDE極限への混沌の伝播を確立する。

実験結果

リサーチクエスチョン

• RQ1 正則化やカットオフなしで、非滑らかで特異的な相互作用核を有する粒子系は、1次元の放物型-放物型ケラー-セゲルPDEの解に弱収束するか？
• RQ2 初期分布に密度が存在するという唯一の仮定のもとで、粒子系の適切な定式化と混沌の伝播が確立されるか？
• RQ3 核 $ K_t(x) $ の特異性は、ベッセル過程やパスワイズ近似を用いずに、純粋にブラウン運動の技法で取り扱えるか？
• RQ4 $ L^1(0,T;L^2(\mathbb{R})) $-可積分性は、ギルサノフ密度の $ N $ に依存しない一様モーメントバウンドを可能にするか？
• RQ5 部分的ギルサノフ変換は、相互作用ドリフトを制御し、非線形SDEへの法則収束を保証するために果たす役割は何か？

主な発見

• $ N $ 粒子系 (3) は任意の $ N \in \mathbb{N} $ および $ T < \infty $ に対して弱解を有し、ドリフト項はほとんど確実に定義されている。
• ギルサノフ変換に由来する指数マルティンググレの $ N $ に依存しない一様モーメントバウンドが粒子系に成立し、安定性が保証されている。
• 核 $ K_t(x) $ の $ L^1(0,T;L^2(\mathbb{R})) $-ノルムは有限であり、ドリフトにおける特異的相互作用を制御する上で不可欠である。
• 混沌の伝播が成立する： $ N \to \infty $ のとき、粒子系の経験的測度は非線形SDE (2) の法則に弱収束する。
• マーチングル問題の定式化と、$ N $ に依存しない相互作用項の制御に部分的ギルサノフ変換を用いることで、収束が確立された。
• カットオフやスムージングを避けており、純粋にブラウン運動の技法に依存しているため、正則化なしで特異的核に適用可能である。