[논문 리뷰] Rigorous derivation of the nonlocal reaction-diffusion FitzHugh-Nagumo system

Joachim Crevat, Grégory Faye외 1명|arXiv (Cornell University)|2018. 04. 04.

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 매크로스코픽 해는 전역적으로 잘 정의되어 있으며, 시간에 대해 균일하게 수렴하는가?

주요 결과

• 비국소적 반응-확산 FitzHugh-Nagumo 시스템은 상호작용 커널 Φε가 ε → 0에 따라 적절히 스케일링될 경우 운동학 모델의 수렴한계로서 엄밀하게 도출된다.
• 상대 엔트로피 방법은 운동학 해 fε와 매크로스코픽 해 (V, W) 사이의 거리를 효과적으로 제어하며, L¹ 및 L∞ 노름에서 수렴을 보장한다.
• 에너지 추정과 Grönwall의 보조정리에 의해 매크로스코픽 해 (V, W)는 전역적으로 존재하며 균일하게 유계임을 입증한다.
• 운동학 해 fε가 C⁰([0,T]; L¹(ℝ^{d+2}))에 속하고, 그 기울기 ∇ᵤfε가 L∞에서 유계임을 보여, 특성의 잘 정의됨을 보장한다.
• 매크로스코픽 시스템에 대한 고정점 원리와 엔트로피 기반 비교를 통해 운동학 모델에서 매크로스코픽 시스템으로의 수렴이 확립된다.
• 이 유도 과정은 비국소적 시냅스 결합을 가진 대규모 신경망의 효과적인 매크로스코픽 기술로 비국소적 반응-확산 모델을 사용하는 것을 정당화한다.