[论文解读] The "good'' Boussinesq equation: long-time asymptotics

C. Charlier, Jonatan Lenells+1 more|arXiv (Cornell University)|Mar 10, 2020

Nonlinear Waves and Solitons参考文献 26被引用 8

一句话总结

本文通过正规化 3×3 矩阵黎曼-希尔伯特问题的 Deift-Zhou 最速下降分析，为 '好' Boussinesq 方程的解建立了显式的长时间渐近行为。分析表明，在 $ u_t(x,0) $ 初始数据为零均值的 Schwartz 类条件下，解以 $ t^{-1/2} $ 速率衰减，且具有由抛物柱面函数调制的振荡行为。主要贡献是在右半平面区域建立了严格的渐近公式，解决了非线性波动力学中长期存在的开放问题。

ABSTRACT

We consider the initial-value problem for the ``good'' Boussinesq equation on the line. Using inverse scattering techniques, the solution can be expressed in terms of the solution of a $3 imes 3$-matrix Riemann-Hilbert problem. We establish formulas for the long-time asymptotics of the solution by performing a Deift-Zhou steepest descent analysis of a regularized version of this Riemann-Hilbert problem.

研究动机与目标

• 解决 '好' Boussinesq 方程在一般初始数据下的长时间渐近行为问题，该问题在 2005 年被 Deift 指出为开放问题。
• 将 Deift-Zhou 最速下降方法推广至具有原点奇点的 3×3 矩阵黎曼-希尔伯特问题。
• 在物理上自然的条件下，为右半平面 $ x > 0 $, $ t > 0 $ 中的解 $ u(x,t) $ 建立显式的渐近公式。
• 通过分析一个正则化版本并将其结果回传，处理原始黎曼-希尔伯特问题的奇异性。
• 提供涉及抛物柱面函数和相位修正的解的严格渐近描述，推动对具有高阶谱问题的可积系统理解。

提出的方法

• 在复谱平面上，将 '好' Boussinesq 方程（1.4）的初值问题表述为一个 3×3 矩阵黎曼-希尔伯特问题，其跳跃轮廓为 $ \text{Re}(k) \bigcup \text{Re}(\bar{\rho}k) \bigcup \text{Re}(\rho k) $，其中 $ \rho = e^{2\theta i/3} $。
• 对黎曼-希尔伯特问题的正则化版本应用 Deift-Zhou 最速下降分析，以避免在 $ k = 0 $ 处的奇点，从而实现渐近分析。
• 利用在十字形轮廓 $ X $ 上的模型黎曼-希尔伯特问题的解，在三个临界点 $ k_0, \rho k_0, \rho^2 k_0 $ 附近构造局部参数解，该问题由 $ q \in \mathbb{D} $ 参数化。
• 通过抛物柱面函数精确求解模型黎曼-希尔伯特问题，得到解 $ m^X(q,z) $，其首阶项 $ m_1^X(q) $ 显式地由 $ \Gamma(i\nu) $ 和 $ \nu = -\frac{1}{2\pi}\ln(1-|q|^2) $ 表示。
• 估计所得的小范数黎曼-希尔伯特问题以控制误差项，证明当 $ t \to \infty $ 时收敛于渐近解。
• 通过渐近行为重构解 $ u(x,t) $，得到包含相位项如 $ \nu \ln(6\sqrt{3} t k_0^2) $ 和振荡因子 $ \sin(\cdot) $ 的显式公式。

实验结果

研究问题

• RQ1 对于一般 Schwartz 类初始数据，'好' Boussinesq 方程的解 $ u(x,t) $ 在右半平面区域 $ x > 0 $, $ t > 0 $ 中的长时间渐近行为是什么？
• RQ2 如何将 Deift-Zhou 最速下降方法适应于分析具有原点奇点的 3×3 矩阵黎曼-希尔伯特问题？
• RQ3 谱函数 $ s(k) $ 和反射系数 $ r_1(k) $ 在决定解的渐近结构中起什么作用？
• RQ4 在三个临界点 $ k_0, \omega k_0, \omega^2 k_0 $ 处的局部参数解如何贡献于全局渐近解？
• RQ5 解的首阶渐近项的精确形式是什么？它如何通过谱参数依赖于初始数据？

主要发现

• 解 $ u(x,t) $ 展现出随时间 $ t \to \infty $ 以 $ t^{-1/2} $ 速率衰减，且振荡修正由抛物柱面函数和相位积分产生。
• 解的首阶渐近公式为： $$ u(x,t) = -\frac{3^{5/4} k_0 \sqrt{\nu}}{\sqrt{2t}} \sin\left( \frac{19\pi}{12} + \nu \ln(6\sqrt{3} t k_0^2) - \sqrt{3} k_0^2 t - \arg q - \arg \Gamma(i\nu) + \frac{1}{\pi} \int_{k_0}^{\infty} \ln \frac{|s-k_0|}{|s-\omega k_0|} d\ln(1-|r_1(s)|^2) \right) + O(t^{-1} \ln t) $$，在右半平面的一个扇形区域内一致成立。
• 在 $ k_0 $ 处的局部参数解构造依赖于在十字形轮廓上求解模型黎曼-希尔伯特问题的精确解 $ m^X(q,z) $，其中 $ m_1^X(q) $ 显式地由 $ \Gamma(i\nu) $ 和 $ \nu = -\frac{1}{2\pi} \ln(1-|q|^2) $ 给出。
• 渐近展开的误差在 $ \zeta \in \mathcal{I} $ 上一致有界于 $ O(t^{-1} \ln t) $，确认了首阶近似的有效性。
• 解通过逆散射变换从黎曼-希尔伯特问题重构，谱数据 $ s(k) $, $ s^A(k) $ 和反射系数 $ r_1(k) $ 完全决定了渐近行为。
• 分析证实，即使在非线性项存在的情况下，解仍保持有界且随 $ t \to \infty $ 衰减振幅，与色散波行为一致。