[論文レビュー] Rigorous derivation of the nonlocal reaction-diffusion FitzHugh-Nagumo system

Joachim Crevat, Grégory Faye+1 more|arXiv (Cornell University)|Apr 4, 2018

Advanced Thermodynamics and Statistical Mechanics参考文献 26被引用数 5

ひとこと要約

この論文は、非局所的相互作用を有する空間拡張型キネティックモデルの流体力学的極限として、非局所的反応拡散 FitzHugh-Nagumo 系を厳密に導出する。相対エントロピー法を用いて、相互作用カーネルの適切なスケーリングのもとで、キネティックモデルの解が巨視的非局所系に収束することを確立し、神経ネットワークのミクロ的キネティック記述と巨視的反応拡散記述の間の厳密な接続を提供する。

ABSTRACT

We introduce a spatially extended transport kinetic FitzHugh-Nagumo model with forced local interactions and prove that its hydrodynamic limit converges towards the classical nonlocal reaction-diffusion FitzHugh-Nagumo system. Our approach is based on a relative entropy method, where the macroscopic quantities of the kinetic model are compared with the solution to the nonlocal reaction-diffusion system. This approach allows to make the rigorous link between kinetic and reaction-diffusion models.

研究の動機と目的

• 神経ネットワークにおけるミクロ的キネティックモデルと巨視的非局所反応拡散系との間の厳密な数学的接続を確立すること。
• 強制的局所的相互作用を有する空間拡張型キネティックモデルの流体力学的極限として、非局所 FitzHugh-Nagumo 系を導出すること。
• 非局所シナプス相互作用を有する大規模神経ネットワークの有効巨視的記述として、非局所反応拡散モデルの使用を正当化すること。
• 相互作用カーネルの適切なスケーリングのもとで、キネティックモデルから反応拡散系への遷移を相対エントロピーアプローチで検証すること。

提案手法

• 電位 v、適応変数 w を有するニューロン集団の空間拡張型キネティック方程式を定式化し、カーネル Φε を用いて非局所的シナプス相互作用を組み込む。
• キネティック解 fε から密度、フラックス、モーメントなどの巨視的量を定義し、ミクロ的と巨視的スケールの橋渡しを図る。
• 相対エントロピー法を用いて、キネティック解 fε と非局所反応拡散系の解との間の差を、巨視的解に対する相対エントロピーの観点から測定する。
• スケーリング ε → 0 の流体力学的極限を適用し、相互作用カーネル Φε を適切にスケーリングすることで非局所拡散を回復する。
• 固定点法とエネルギー推定を用いて、キネティック系および巨視的系の解の存在性と正則性を確立する。
• エントロピー推定と特徴線解析を用いて、L¹ および L∞ 範囲におけるキネティック解から巨視的解への収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 非局所的反応拡散 FitzHugh-Nagumo 系は、非局所的相互作用を有する相互作用ニューロンのキネティックモデルの流体力学的極限として厳密に導出可能か？
• RQ2 相対エントロピー法は、ミクロ的キネティックモデルと巨視的反応拡散系との間の比較をどのように可能にするか？
• RQ3 大規模ニューロン数 n → ∞ の極限において、非局所反応拡散系への収束を保証するには、相互作用カーネル Φε にどのようなスケーリングが必要か？
• RQ4 キネティックモデルの解が巨視的非局所反応拡散系の解に収束するための条件は何か？
• RQ5 巨視的解は大域的に適切に定義されており、時間に一様に収束するか？

主な発見

• 相互作用カーネル Φε が ε → 0 のもとで適切にスケーリングされれば、非局所反応拡散 FitzHugh-Nagumo 系がキネティックモデルの流体力学的極限として厳密に導出される。
• 相対エントロピー法により、キネティック解 fε と巨視的解 (V, W) 間の距離が制御され、L¹ および L∞ 範囲における収束が保証される。
• エネルギー推定と Grönwall の補題を用いて、巨視的解 (V, W) が大域的に時間に依存せず一様に有界に存在することが示された。
• キネティック解 fε が C⁰([0,T]; L¹(ℝ^{d+2})) に属し、その勾配 ∇ᵤfε が L∞ で有界であることが示され、特徴線の適切な定義が保証された。
• 巨視的系に対する固定点法とエントロピーに基づく比較により、キネティックモデルから巨視的系への収束が確立された。
• この導出により、非局所シナプス結合を有する大規模神経ネットワークの有効巨視的記述として、非局所反応拡散モデルの使用が正当化された。