[論文レビュー] General time elapsed neuron network model: well-posedness and strong connectivity regime

Qilong Weng|arXiv (Cornell University)|Dec 22, 2015

Neural dynamics and brain function参考文献 13被引用数 4

ひとこと要約

本稿では、バナッハ空間における半群スペクトル解析を用いて、遅れを伴う一般化された時間経過ニューロンネットワークモデルの適切性と指数的漸近安定性を確立している。発火率と遅延分布に対して物理的に妥当な仮定の下で、段階関数発火率の下で解の存在、一意性、および強連結性領域の安定性を証明し、記憶効果を含むように先行研究を拡張している。

ABSTRACT

For large fully connected neuron networks, we study the dynamics of homogenous assemblies of interacting neurons described by time elapsed models, indicating how the time elapsed since the last discharge construct the probability density of neurons. Through the spectral analysis theory for semigroups in Banach spaces developed recently in [6, 9], on the one hand, we prove the existence and the uniqueness of the weak solution in the whole connectivity regime as well as the parallel results on the long time behavior of solutions obtained in [10] under general assumptions on the ring rate and the delay distribution. On the other hand, we extend those similar results obtained in [11, 12] in the case without delay to the case taking delay into account and both in the weak and the strong connectivity regime with a particular step function ring rate. Our approach uses the spectral analysis theory for semigroups in Banach spaces developed recently by the first author and collaborators.

研究の動機と目的

• すべての接続性領域において、一般化された時間経過ニューロンネットワークモデルの弱解の存在と一意性を確立すること。
• 発火率および遅延分布に関する一般仮定の下で、解の長期的挙動を分析すること。
• 遅延なしのケースに関する先行結果を遅延ありのケースに拡張すること、特に段階関数発火率の場合を対象とすること。
• 強連結性領域（ε ∈ [ε₁, ∞) で ε₁ が十分に大きい）において指数的漸近安定性を証明すること。
• 指数的有界性と滑らかさ条件を満たす遅延分布 b を用いて、遅延効果を厳密に組み込むこと。

提案手法

• 時間経過ダイナミクスに関連する線形化作用素のスペクトル解析を、バナッハ空間における半群理論を用いて行う。
• 発火率 a および遅延分布 b に関する仮定の下で、Banach の不動点定理を適用して解の存在と一意性を証明する。
• 摂動が定常状態の周囲でどのように振る舞うかを分析するために、Duhamel の公式とGronwallの不等式を用いる。
• 密度 f(t,x) と遅延された活性 u(t,y) の結合系を導入し、遅延分布 b(y) が ∫₀^∞ e^{δy}(b(y) + |b′(y)|) dy < ∞ を満たすように定義する。
• 発火率 a(x, μ) を段階関数として定義する：a(x, μ) = 1_{x > σ(εμ)} で、σ は非増加関数であり、σ および σ⁻¹ ∈ W¹,∞(ℝ₊) を満たす。
• 非線形摂動項 Q[g,v] 及びそれらの安定性への影響を、区間長 |I[𝒟[v]]| の有界性を用いて分析し、ε に依存する減衰推定を得る。

実験結果

リサーチクエスチョン

• RQ1 遅れを伴う時間経過ニューロンネットワークモデルは、発火率および遅延分布に関する一般仮定の下で、すべての ε > 0 に対して一意な弱解をもつか？
• RQ2 遅れが存在する状況において、解の長期的挙動（定常状態への収束を含む）は特徴づけられるか？
• RQ3 遅延を含めた場合でも、特に段階関数発火率の場合に、強連結性領域における指数的漸近安定性は保持されるか？
• RQ4 遅延の導入は、遅延なしのケースと比較して安定性特性にどのように影響を与えるか？
• RQ5 発火率および遅延分布にどのような条件を課すと、摂動の減衰および定常状態の安定性が保証されるか？

主な発見

• 発火率 a および遅延分布 b に関する一般仮定の下で、すべての ε > 0 に対して弱解の存在と一意性が証明された。特に強連結性領域においても成立する。
• 解の長期的挙動が特徴づけられ、先行研究 [10] の結果が遅れありの場合に拡張された。
• 強連結性領域（ε → ∞）において指数的漸近安定性が確立された。条件は ε supₓ ∂μa(x, εμ) → 0 である。
• 段階関数発火率の場合、摂動解析により非線形項 Z¹[g,v] および Z²[g,v] が C ε(ζε) ||(g,v)||_X で有界であることが示され、ε → ∞ のとき ε(ζε) → 0 となる。
• 遅延なしのケースから遅延ありのケースへの安定性結果の拡張がなされ、遅延分布 b が指数的可積分性および滑らかさ条件を満たすことが条件となった。
• 摂動が指数的に減衰することを示すために、Duhamel の公式およびGronwallの補題に依存する証明がなされ、定常状態の安定性が確認された。