[论文解读] A Riemann-Hilbert approach to the modified Camassa-Holm equation with step-like boundary conditions

Iryna Karpenko, Dmitry Shepelsky+1 more|arXiv (Cornell University)|Mar 10, 2022

Nonlinear Waves and Solitons参考文献 61被引用 7

一句话总结

本文针对在空间无穷远处趋于不同常数的阶梯状边界条件下，发展了一种修正Camassa-Holm（mCH）方程的黎曼-希尔伯特（RH）方法。通过从Lax对构造谱函数和特征函数，解通过一个黎曼-希尔伯特问题表示，其在λ=0处的解给出了mCH方程的解。关键贡献在于以RH问题解的形式参数化表示解，从而实现渐近分析，并通过留数和归一化条件恢复u(x,t)。

ABSTRACT

The paper aims at developing the Riemann-Hilbert (RH) approach for the modified Camassa-Holm (mCH) equation on the line with non-zero boundary conditions, in the case when the solution is assumed to approach two different constants at different sides of the line. We present detailed properties of spectral functions associated with the initial data for the Cauchy problem for the mCH equation and obtain a representation for the solution of this problem in terms of the solution of an associated RH problem.

研究动机与目标

• 为在空间无穷远处具有非零、阶梯状边界条件的修正Camassa-Holm（mCH）方程发展一种黎曼-希尔伯特形式化方法，其中当x→−∞时u→A1，当x→∞时u→A2。
• 表征初始数据在x→±∞时趋于不同常数A1和A2时与之相关的谱函数和特征函数。
• 构建一个黎曼-希尔伯特问题，其解通过在谱参数λ=0处的行为，给出mCH方程解u(x,t)的参数表示。
• 通过将非线性最陡下降法应用于黎曼-希尔伯茨问题，实现对具有阶梯状初始数据的mCH方程的大时间渐近分析。
• 将逆散射变换框架扩展至具有非零背景的mCH方程，特别是在左右渐近态不同的情况下。

提出的方法

• 通过依赖于谱参数的矩阵对mCH的Lax对进行变换，以定义具有复λ平面上受控解析性的Jost型特征函数。
• 引入谱函数s11(λ)、s12(λ)和散射系数，分析其在分支点λ=±1/Aj处的对称性和行为。
• 从特征函数和散射数据构造一个亚纯的矩阵值函数N(x,t,λ)，其在轮廓Σ2 ∪ Σ0上满足一个黎曼-希尔伯茨问题，包含跳跃条件和留数条件。
• 在(ˇy,t)坐标系中推导一个归一化的黎曼-希尔伯茨问题，其中ˇy是包含m(x,t)−A1累积效应的修正空间变量，以简化相位项。
• 建立黎曼-希尔伯茨解的归一化和对称性条件，包括det N ≡ 1，以及在λ → −λ和复共轭下的对称性。
• 通过黎曼-希尔伯茨解ˆN(ˇy,t,λ)在λ=0处的展开代数恢复解u(x,t)，将u和ux表示为系数ˆb1, ˆb2, ˆb3的函数。

实验结果

研究问题

• RQ1 如何将黎曼-希尔伯茨形式化方法适配于具有非零、阶梯状边界条件的mCH方程，其中当x→−∞时u→A1，当x→∞时u→A2？
• RQ2 在阶梯状初始数据下，mCH Lax对的Jost解和谱函数的解析性与对称性性质是什么？
• RQ3 如何从黎曼-希尔伯茨问题的解中参数化重构mCH初值问题的解？
• RQ4 为简化黎曼-希尔伯茨跳跃矩阵中的相位项并实现渐近分析，需要对空间变量进行何种变换？
• RQ5 留数条件和无穷远处的归一化如何约束黎曼-希尔伯茨问题的解，并实现对u(x,t)的恢复？

主要发现

• 具有阶梯状初始数据的mCH方程的解u(x,t)通过黎曼-希尔伯茨问题解在λ=0处的展开，参数化地恢复出来，即由矩阵ˆN(ˇy,t,λ)在λ=0处的展开给出。
• 解表示为u(x,t) = ˆb1(ˇy,t)ˆb2(ˇy,t) + ˆb1^{-1}(ˇy,t)ˆb3(ˇy,t)，其中x(ˇy,t) = ˇy − 2 ln ˆb1(ˇy,t) + A2²t，显示出对变换变量ˇy的参数依赖性。
• 在ˆN(ˇy,t,λ)的λ=0展开中，系数ˆbj(ˇy,t)由涉及m(x,t)和背景常数A1、A2的积分显式给出。
• 黎曼-希尔伯茨问题在无穷远处归一化，其渐近行为在上下半平面均为O(1/λ)，确保解是迹为零且行列式为1的。
• 解满足对称性ˆN(−λ) = −σ3 ˆN(λ)σ3和ˆN(λ) = −ˆN(λ)，这些对称性源自跳跃矩阵和留数条件。
• 在假设m(x,0) > 0且衰减足够快的前提下，黎曼-希尔伯茨问题适定，确保对所有t有m(x,t) > 0，且解存在。