[论文解读] Dynamics of strongly interacting unstable two-solitons for generalized Korteweg-de Vries equations

Jacek Jendrej|arXiv (Cornell University)|Feb 17, 2018

Advanced Mathematical Physics Problems参考文献 34被引用 8

一句话总结

本文分析了广义 Korteweg-de Vries (gKdV) 方程在幂次非线性项 $f(u) = |u|^{p-1}u$ 且 $p > 5$ 时，强相互作用不稳定双孤子解的动力学行为，对应于 $L^2$-超临界情形。研究证明，此类解的孤子符号必须相同（渐近和中的 '+'），表明存在吸引相互作用，并推导出孤子间距的精确对数增长形式 $x_2(t) - x_1(t) = \frac{2}{\sqrt{v}}\log(\kappa t) + o(1)$（其中 $\kappa > 0$），证实了不稳定双孤子构型中存在长程吸引效应。

ABSTRACT

We consider the generalized Korteweg-de Vries equation $\partial_t u = -\partial_x(\partial_x^2 u + f(u))$, where $f(u)$ is an odd function of class $C^3$. Under some assumptions on $f$, this equation admits \emph{solitary waves}, that is solutions of the form $u(t, x) = Q_v(x - vt - x_0)$, for $v$ in some range $(0, v_*)$. We study pure two-solitons in the case of the same limit speed, in other words global solutions $u(t)$ such that \begin{equation} \label{eq:abstract} ag{$\ast$} \lim_{t o\infty}\|u(t) - (Q_v(\cdot - x_1(t)) \pm Q_v(\cdot - x_2(t)))\|_{H^1} = 0, \qquad ext{with}\quad\lim_{t o \infty}x_2(t) - x_1(t) = \infty. \end{equation} Existence of such solutions is known for $f(u) = |u|^{p-1}u$ with $p \in \mathbb{Z} \setminus \{5\}$ and $p > 2$. We describe the~dynamical behavior of any solution satisfying \eqref{eq:abstract} under the assumption that $Q_v$ is linearly unstable (which corresponds to $p > 5$ for power nonlinearities). We prove that in this case the sign in \eqref{eq:abstract} is necessarily "$+$", which corresponds to an attractive interaction. We also prove that the~distance $x_2(t) - x_1(t)$ between the solitons equals $\frac{2}{\sqrt v}\log(κt) + o(1)$ for some $κ= κ(v) > 0$.

研究动机与目标

• 理解广义 Korteweg-de Vries 方程在 $L^2$-超临界情形（$p > 5$）下纯双孤子解的动力学行为。
• 确定当两个孤子均为线性不稳定且具有相同渐近速度时，其相互作用符号。
• 推导强相互作用不稳定孤子之间分离距离的精确渐近规律。
• 在指定不稳定性和渐近条件下，建立此类双孤子解的存在性与唯一性。

提出的方法

• 分析 gKdV 方程 $\partial_t u = -\partial_x(\partial_x^2 u + f(u))$，其中 $f(u)$ 为奇函数，$C^3$ 光滑，当 $u \geq 0$ 时为凸函数，且满足 $f(0) = f'(0) = 0$。
• 采用约束运动方法，推导孤子参数 $x_k(t)$ 和 $v_k(t)$ 的有效方程，以在能量与动量守恒下建模动力学行为。
• 通过时间变量变换 $t = \kappa^{-1} e^s$ 将系统转化为 $s$-时间下的慢-快动力系统，从而实现渐近分析。
• 运用李雅普诺夫型估计与指数衰减论证，控制扰动并证明具有指定渐近行为的解的存在性。
• 通过积分微分不等式组推导孤子间距的渐近行为，得到 $L(t) = x_2(t) - x_1(t) = \frac{2}{\sqrt{v}}\log(\kappa t) + o(1)$。
• 利用谱分析与线性不稳定判据 ($\int Q_v \widetilde{Q}_v \, dx < 0$) 描述 $p > 5$ 时的不稳定孤子区域。

实验结果

研究问题

• RQ1 在 gKdV 方程中，两个具有相同渐近速度的线性不稳定孤子之间的相互作用符号为何？
• RQ2 两个强相互作用不稳定孤子之间的分离距离如何随时间演化？
• RQ3 是否存在具有相同速度与不稳定孤子的纯双孤子解？若存在，其条件为何？
• RQ4 在不稳定双孤子情形下，孤子间距的精确渐近规律是什么？

主要发现

• 两个具有相同渐近速度的不稳定孤子之间的相互作用必为吸引作用，即渐近和中的符号必为 '+'。
• 孤子间距按对数形式增长，即 $x_2(t) - x_1(t) = \frac{2}{\sqrt{v}}\log(\kappa t) + o(1)$（其中 $\kappa = \kappa(v) > 0$），证实了长程吸引效应。
• 通过时间重标度变换与新时间变量下具有指数衰减的非线性系统分析，推导出孤子参数的渐近行为。
• 利用加权函数空间中衰减函数的不动点论证，建立了此类双孤子解的存在性与唯一性。
• 该结果适用于 $f(u) = |u|^{p-1}u$ 且 $p > 5$，$p \in \mathbb{Z} \setminus \{5\}$，且 $p > 2$ 的情形，对应于 $L^2$-超临界情况。
• 推导依赖于对误差项的详细渐近展开与界估计，表明与对数律的偏差以 $t^{-2\beta}$ 速度衰减（其中 $\beta > 0$）。