[论文解读] Multiple front standing waves in the FitzHugh-Nagumo equations

Chao-Nien Chen, Éric Séré|arXiv (Cornell University)|Apr 5, 2018

Navier-Stokes equation solutions参考文献 43被引用 1

一句话总结

该论文在鞍焦点型平衡点条件下，建立了FitzHugh-Nagumo方程中稳定与不稳定多前沿驻波解的存在性。通过非局部Lyapunov-Schmidt约化与精细的变分表征，作者通过拼接基本前沿解及其反向解构造了具有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.

研究动机与目标

• 在平衡点为鞍焦点型时，建立FitzHugh-Nagumo系统中多前沿驻波解的存在性。
• 通过将基本前沿解及其反向解作为构建模块，扩展先前的存在性结果，构造具有多个前沿的解。
• 提供临界点的严格变分表征，以区分稳定与不稳定的多峰解。
• 通过精细的能量水平分析与平移不变的Palais-Smale条件，分析这些解的稳定性。
• 识别出此类解存在且结构稳定的精确参数区域——具体为β ∈ (0, 1/2)，γ = 9/(2β² − 5β + 2)，以及d位于某一特定区间。

提出的方法

• 将驻波问题表述为具有不定动能形式的二阶拉格朗日系统。
• 应用非局部Lyapunov-Schmidt约化，以处理由拉格朗日函数产生的强不定泛函。
• 使用作用泛函J(u) = ∫L(u, Lu, u′, Lu′)dx，其中v通过有界线性算子L由u求解得到。
• 采用在仿射空间Ĥu = ŵ + H¹(R)上的约束最小化变分方法，利用系统的对称性。
• 在候选解邻域内应用平移不变的Palais-Smale条件，以确保收敛至临界点。
• 使用Lyapunov泛函E控制能量衰减，并通过反证法证明当临界水平非最小时的不稳定性。

实验结果

研究问题

• RQ1 在何种参数条件下，FitzHugh-Nagumo方程中存在多前沿驻波解？
• RQ2 当平衡点为鞍焦点型时，如何构造稳定与不稳定的多峰解？
• RQ3 在该系统中，哪些变分与动力学机制可区分稳定与不稳定的多峰解？
• RQ4 拉格朗日函数的非局部结构与不定动能形式如何影响解的存在性与稳定性？
• RQ5 系统的对称性——特别是(u⁺/2, v⁺/2)处的中心对称性——在多峰解的构造中起到何种作用？

主要发现

• 对任意N ≥ 1及足够大的整数ni ≥ ∆σ，存在方程(1.3)–(1.4)的解(ûn, v̂n)，其包含N个前沿，每个前沿局域化在基本前沿(u∗, v∗)或其反向(u∗, v∗)的平移副本附近。
• 当N为奇数时，解同宿于(0, 0)；当N为偶数时，解异宿于(0, 0)与(u⁺, v⁺)之间，形成多峰驻波。
• 前沿位置Xi满足|Xi − 2πni/ω − κ±| < σ，其中κ⁺与κ⁻为依赖于系统参数的常数。
• 当临界点为山路型时，解是稳定的；通过反证法结合Palais-Smale条件与能量衰减，证明了不稳定性。
• 在d > 1/γ²条件下，泛函J有下界，此条件为基本前沿极小化器存在的必要条件。
• 确保鞍焦点型平衡点具有相等能量的参数区域为γ = 9/(2β² − 5β + 2)且d ∈ ( (2 + βγ − 2√(1 + βγ))/γ² , (2 + βγ + 2√(1 + βγ))/γ² )，其中β ∈ (0, 1/2)。