[论文解读] Pulsating fronts for bistable on average reaction-diffusion equations in a time periodic environment

Benjamin Contri|arXiv (Cornell University)|Jul 22, 2015

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 27被引用 14

一句话总结

该论文证明了在时间周期性环境中，具有平均双稳非线性的反应-扩散方程的脉动波前的存在性、唯一性、单调性与稳定性。通过摄动方法与抛物型最大值原理，证明了在时间周期T较小或已知波前解的小扰动条件下，此类波前存在，将经典双稳波前理论推广至非自治、周期性驱动的系统。

ABSTRACT

This paper is devoted to reaction-diffusion equations with bistable nonlinearities depending periodically on time. These equations admit two linearly stable states. However, the reaction terms may not be bistable at every time. These may well be a periodic combination of standard bistable and monostable nonlinearities. We are interested in a particular class of solutions, namely pulsating fronts. We prove the existence of such solutions in the case of small time periods of the nonlinearity and in the case of small perturbations of a nonlinearity for which we know there exist pulsating fronts. We also study uniqueness, monotonicity and stability of pulsating fronts.

研究动机与目标

• 将双稳行波前沿理论推广至非线性项在每一时刻并非双稳的时间周期性反应-扩散方程。
• 在非自治、周期性驱动的设定下，建立脉动波前——具有单调过渡轮廓的时空周期解——的存在性。
• 在时间周期T较小或小扰动条件下，分析这些脉动波前的唯一性、单调性与稳定性。
• 将经典齐次双稳方程中的结果推广至有效非线性项仅在时间平均意义下为双稳的情形。

提出的方法

• 通过在u=0与u=1处的时间平均导数为负，形式化定义‘平均双稳’的概念。
• 应用摄动技术，在时间周期T较小或非线性项为已知波前生成非线性项的小扰动时，构造脉动波前。
• 结合上下解方法、Sobolev空间与H"older空间中的抛物型正则性与紧致性论证。
• 应用强最大值原理与抛物型Harnack不等式，排除退化解，并建立波前轮廓的严格单调性。
• 通过极限轮廓分析解的渐近行为，并构造比较函数以在边界层分析中导出矛盾。
• 对波前轮廓附近的线性化算子进行谱分析，推导出稳定性与唯一性。

实验结果

研究问题

• RQ1 当非线性项为时间周期性且平均双稳时，反应-扩散方程的脉动波前在何种条件下存在？
• RQ2 脉动波前的存在性及其性质如何依赖于非线性项的时间周期T？
• RQ3 脉动波前是否在空间平移下唯一确定？在小扰动条件下，其是否严格单调且稳定？
• RQ4 当非线性项随时间在单稳与双稳行为间交替时，波前轮廓会发生什么变化？
• RQ5 经典齐平面波前理论能否推广至非自治、时间周期性设定下的反应-扩散方程？

主要发现

• 当非线性项平均双稳，且时间周期T较小或为已知波前生成非线性项的小扰动时，时间周期性反应-扩散方程中脉动波前存在。
• 所构造的脉动波前在移动坐标系中严格递减，且对所有t一致满足 lim_{ξ→-∞} U(t,ξ) = 1 与 lim_{ξ→∞} U(t,ξ) = 0。
• 波前在空间平移下唯一，且在适当初值条件下全局渐近稳定。
• 波前速度c*唯一确定，且连续依赖于时间周期性非线性项，在平均双稳条件下满足c* > 0。
• 证明依赖于强最大值原理的反证法，表明极限轮廓不能恒等于不稳定状态w₀(t)，从而迫使波前连接1至0。
• 分析表明，导数与函数本身的比值有界，从而可应用Harnack型估计与谱论证，导出矛盾。