[论文解读] 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）和空间位置 x 的神经元群体构建一个空间扩展的动能方程，通过核 Φε 引入非局部突触相互作用。
• 从动能解 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∞ 中有界，从而保证了特征线的适定性。
• 通过在宏观系统上的不动点论证与基于熵的比较，建立了动能模型向宏观系统的收敛性。
• 该推导为将非局部反应-扩散模型用作具有非局部突触耦合的大规模神经网络的有效宏观描述提供了理论依据。