[论文解读] Existence and Stability of Traveling Waves for a Class of Nonlocal Nonlinear Equations

H.A. Erbay, S. Erbay+1 more|arXiv (Cornell University)|Jul 1, 2014

Advanced Mathematical Physics Problems参考文献 28被引用 4

一句话总结

本文建立了具有两个色散算子 L 和 B 的一类广义非局部非线性波方程的行波解的存在性与轨道稳定性。研究证明，对于 Klein-Gordon 型方程（L = I），行波的轨道稳定性或不稳定性取决于波速，且对 p > 1 和 c² < (p−1)/(p+3) 的情形给出了完整刻画。

ABSTRACT

In this article we are concerned with the existence and orbital stability of traveling wave solutions of a general class of nonlocal wave equations: $ u_{tt}-Lu_{xx}=B(\pm |u|^{p-1}u)_{xx}$, $ p&gt;1$. The main characteristic of this class of equations is the existence of two sources of dispersion, characterized by two coercive pseudo-differential operators $L$ and $B$. Members of the class arise as mathematical models for the propagation of dispersive waves in a wide variety of situations. For instance, all Boussinesq-type equations and the so-called double-dispersion equation are members of the class. We first establish the existence of traveling wave solutions to the nonlocal wave equations considered. We then obtain results on the orbital stability or instability of traveling waves. For the case $L=I$, corresponding to a class of Klein-Gordon-type equations, we give an almost complete characterization of the values of the wave velocity for which the traveling waves are orbitally stable or unstable by blow-up.

研究动机与目标

• 建立具有两个强制伪微分算子 L 和 B 的一类广义非局部非线性波方程的行波解的存在性。
• 利用能量方法与紧致性集中原理，研究这些行波的轨道稳定性和不稳定性。
• 在 L = I（Klein-Gordon 型方程）的情形下，通过波速范围对轨道稳定性或通过爆破导致的不稳定性进行完整刻画。
• 通过统一的非局部框架，将结果推广至包括 Boussinesq 型方程和双色散方程在内的广泛方程类。
• 利用 Levine 的引理，通过构造一个函数 H(t)，其有限时间爆破可推出不稳定性。

提出的方法

• 将非局部波方程表述为 $ u_{tt} - L u_{xx} = B(\text{sign}(u)|u|^{p-1}u)_{xx} $，其中 L 和 B 为具有光滑且衰减符号的强制伪微分算子。
• 应用行波假设 $ u(x,t) = \tilde{\theta}_c(x - ct) $，将偏微分方程约化为运动参考系中的常微分方程。
• 利用变分方法与集中紧致性原理，证明非平凡孤立波解的存在性。
• 定义函数 $ H(t) = \frac{1}{2} \big\| B^{-1/2} v(t) \big\|_{L^2}^2 $，并应用 Levine 的引理，证明在特定能量与动量条件下发生有限时间爆破。
• 利用能量 $ \tilde{\text{E}}(u,w) $ 与动量 $ \tilde{\text{M}}(u,w) $ 的守恒律，约束初始数据并推导出不稳定性所需的不等式。
• 导出微分不等式 $ H(t)H''(t) - (1+\nu)(H'(t))^2 \to 0 $，其中 $ \nu = \frac{p+3}{4} - 1 $，当 $ H''(t) > (p+1)\nu $ 时确认爆破发生。

实验结果

研究问题

• RQ1 对于哪些波速 c 值，非局部波方程的行波解存在且保持轨道稳定？
• RQ2 在什么条件下，解在 $ B^{-1/2}v $ 的 L² 范数下表现出有限时间爆破的不稳定性？
• RQ3 两个色散算子 L 和 B 之间的相互作用如何影响孤立波的存在性与稳定性？
• RQ4 稳定性结果能否推广至超出 Boussinesq 或双色散方程等特定模型的广义非局部方程类？
• RQ5 守恒律与函数 $ \tilde{I}_c(u) $ 在确定不稳定性临界阈值中起什么作用？

主要发现

• 在 L 和 B 的强制性与衰减性条件下，广义非局部波方程 $ u_{tt} - L u_{xx} = B(\text{sign}(u)|u|^{p-1}u)_{xx} $ 存在行波解。
• 当 $ L = I $ 时，本文提供了近乎完整的刻画：当 $ c^2 < \frac{p-1}{p+3} $ 时轨道稳定；当 $ c^2 > \frac{p-1}{p+3} $ 时通过爆破导致不稳定性。
• 通过证明 $ H''(t) > (p+1)\nu $ 且 $ H(t)H''(t) - (1+\nu)(H'(t))^2 \to 0 $，利用 Levine 的引理证明了解的爆破，从而表明 $ H(t) $ 发生有限时间爆破。
• 不稳定性阈值是精确的：若初始数据满足 $ \tilde{\text{E}}(U_0) + c\tilde{\text{M}}(U_0) < d(c) - \nu $，则在有限时间内发生爆破。
• 函数 $ \tilde{I}_c(u) $ 满足 $ \frac{p+1}{p-1}d(c) < \tilde{I}_c(u) $，这对估计 $ H(t) $ 的二阶导数至关重要。
• 该方法可统一适用于该类中的所有方程，包括 Boussinesq 型、双色散方程及非局部卷积模型，统一了各类色散波系统中的稳定性分析。