抛物型梯度系统向推动型行波前端的全局收敛

本文讨论形如 u_t = - \nabla V(u) + u_{xx} \,]的抛物型系统解向推动型行波前端（pushed travelling fronts）的全局收敛问题，其中势函数$V$在无穷远处是强制的。我们证明，若初值条件$x\mapsto u(x,t=0)$在空间右端足够快地趋于$V$的临界点$e$，且对某个大于与$e$相关的线性传播速度$c_0$，该初值在以速度$c_0$运动的参考系中的能量为负——即\[ \int_{\mathbb{R}} e^{c_0 x}\left(\frac{1}{2} u_x(x,0)^2 + V\bigl(u(x,0)\bigr)- V(e)\right)\, dx < 0 \,，则相应解以大于$c_0$的速度$c$侵入$e$，并在前缘附近且当时间趋于$+\infty$时逼近以速度$c$行进的推动型行波前端轮廓（多数情况下为单一轮廓）。由此作为推论得到推动型行波前端以大于其线性传播速度侵入临界点的存在性的充要条件。在缺乏最大值原理的情况下，论证纯为变分法。关键要素是一个Poincar\'e不等式，表明在速度超过线性传播速度的参考系中，变分地形与受侵平衡$e$稳定时的情形差别不大。本证明尤其受Th. Gallay与R. Joly提出、随后由C. Luo在非线性阻尼波方程框架中使用的思想与技术的启发。