[논문 리뷰] Multiple front standing waves in the FitzHugh-Nagumo equations

Chao-Nien Chen, Éric Séré|arXiv (Cornell University)|2018. 04. 05.

Navier-Stokes equation solutions참고 문헌 43인용 수 1

한 줄 요약

이 논문은 안정적이고 불안정적인 다중 프론트 정적 파동의 존재를 안장-초점 유형의 평형 조건 하에서 피츠휴-나구모 방정식에서 입증한다. 비국소적인 르파노프-슈미트 축소와 정밀한 변분 특성화를 활용하여, 기본 프론트 해와 그 역수를 조합하여 N개의 프론트를 가진 다중 뾰루기 해를 구성하며, 임계점의 유형과 에너지 수준의 구조에 따라 안정성 또는 불안정성을 입증한다.

ABSTRACT

There have been several existence results for the standing waves of FitzHugh-Nagumo equations. Such waves are the connecting orbits of an autonomous second-order Lagrangian system and the corresponding kinetic energy is an indefinite quadratic form in the velocity terms. When the system has two stable hyperbolic equilibria, there exist two stable standing fronts, which will be used in this paper as building blocks, to construct stable standing waves with multiple fronts in case the equilibria are of saddle-focus type. The idea to prove existence is somewhat close in spirit to [Buffoni-Sere, CPAM 49, 285-305]. However several differences are required in the argument: facing a strongly indefinite functional, we need to perform a nonlo-cal Lyapunov-Schmidt reduction; in order to justify the stability of multiple front standing waves, we rely on a more precise variational characterization of such critical points. Based on this approach, both stable and unstable standing waves are established.

연구 동기 및 목표

• 평형점이 안장-초점 유형일 때 피츠휴-나구모 시스템에서 다중 프론트 정적 파동 해의 존재를 입증하는 것.
• 기본 프론트와 그 역수를 빌딩 블록으로 사용하여 이전의 존재 결과를 확장하여 다중 프론트를 가진 해를 구성하는 것.
• 안정적이고 불안정적인 다중 뾰루기 해를 구분하기 위해 임계점의 엄밀한 변분 특성화를 제공하는 것.
• 해의 안정성을 비틀림 에너지 수준 분석과 번역에 대해 팔라이스-스미스 조건을 활용하여 분석하는 것.
• 특히 β ∈ (0, 1/2), γ = 9/(2β² − 5β + 2), 그리고 d가 특정 구간 내에 있을 때 이러한 해가 존재하고 구조적으로 안정적인 정확한 매개변수 영역을 규명하는 것.

제안 방법

• 정적 파동 문제를 부정확한 운동 에너지 형식을 가진 이阶 비율 시스템으로 공식화한다.
• 라그랑지안에서 유도된 강하게 부정확한 함수에 대해 비국소적인 르파노프-슈미트 축소를 적용한다.
• 행동 함수 J(u) = ∫L(u, Lu, u′, Lu′)dx 를 사용하며, v는 유한선형 연산자 L을 통해 u에서 유도된다.
• 대칭성을 활용하여 약한 공간 Ĥu = ŵ + H¹(R) 위에서 제약 조건이 있는 최소화를 통한 변분 접근법을 적용한다.
• 후보 해 주변의 이웃에서 번역에 대해 팔라이스-스미스 조건을 적용하여 임계점으로의 수렴을 보장한다.
• 에너지 감쇠를 제어하고, 임계 수준가 최소가 아닐 경우 모순을 통해 불안정성을 도출하기 위해 르파노프 함수 E를 사용한다.

실험 결과

연구 질문

• RQ1 피츠휴-나구모 방정식에서 다중 프론트 정적 파동이 존재하는 매개변수 조건은 무엇인가?
• RQ2 평형점이 안장-초점 유형일 때 안정적이고 불안정한 다중 뾰루기 해를 어떻게 구성할 수 있는가?
• RQ3 이 시스템에서 안정적이고 불안정한 다중 뾰루기 해를 구분하는 데 변분적이고 역학적인 메커니즘은 무엇인가?
• RQ4 라그랑지안의 비국소적 구조와 부정확한 운동 에너지가 해의 존재성과 안정성에 어떻게 영향을 미치는가?
• RQ5 특히 (u⁺/2, v⁺/2)에서의 중심 대칭성은 다중 뾰루기 해의 구성에 어떤 역할을 하는가?

주요 결과

• 모든 N ≥ 1 및 충분히 큰 정수 ni ≥ ∆σ에 대해, 식 (1.3)–(1.4)의 해 (ûn, v̂n)가 존재하며, 각 프론트는 기본 프론트 (u∗, v∗) 또는 그 역수 (u∗, v∗)의 이동 복사본 근처에 국소화되어 있다.
• 홀수 N일 경우 해는 (0, 0)으로 향하는 하모클리닉; 짝수 N일 경우 (0, 0)에서 (u⁺, v⁺)로 향하는 헤테로클리닉으로, 다중 뾰루기 정적 파동을 이룬다.
• 프론트 위치 Xi는 |Xi − 2πni/ω − κ±| < σ 를 만족하며, κ⁺ 및 κ⁻는 시스템 매개변수에 따라 정의되는 상수이다.
• 임계점이 마운틴패스 유형일 경우 해는 안정적이다; 불안정성은 팔라이스-스미스 조건과 에너지 감쇠를 활용한 모순 증명을 통해 입증된다.
• 기본 프론트 최소화자 존재를 위해 필수적인 조건인 d > 1/γ² 하에서 기능 J는 아래로 유계이다.
• 안장-초점 평형점이 동일한 에너지를 가지는 것을 보장하는 매개변수 영역은 γ = 9/(2β² − 5β + 2) 및 d ∈ ( (2 + βγ − 2√(1 + βγ))/γ² , (2 + βγ + 2√(1 + βγ))/γ² )이며, β ∈ (0, 1/2)이다.