Painleve XXXIV asymptotics for the defocusing mKdV equation with step-like initial data in transition regions

技术摘要：具有阶梯型初值的去聚焦 mKdV 方程的 Painlevé XXXIV 渐近行为

问题陈述
本文研究了 Cauchy 问题对于去聚焦修正 Korteweg-de Vries (mKdV) 方程的长期渐近行为：
$$q_t(x, t) - 6q^2(x, t)q_x(x, t) + q_{xxx}(x, t) = 0, \quad x \in \mathbb{R}, t > 0$$
其初始数据为阶梯型数据 $q(x, 0) = q_0(x)$，其中当 $x \to -\infty$ 时 $q_0(x) \to c_l$，当 $x \to +\infty$ 时 $q_0(x) \to c_r$，且满足 $c_l > c_r > 0$。

虽然该系统在三个主要区域（左、中、右）的长期渐近行为已在前人研究中得到确立（参考文献 [53]），但这些区域相邻的过渡区域的行为仍有待表征。具体而言，作者关注由缩放变量 $\xi = x/(12t)$ 定义的两个过渡区域：

1. $T_I$：靠近左边缘的区域，满足 $|\xi + c_l^2/2| t^{2/3} < C$。
2. $T_{II}$：靠近右边缘的区域，满足 $|\xi + c_r^2/2| t^{2/3} < C$。

方法论
分析是在逆散射变换 (IST) 框架下进行的，并结合了应用于 Riemann-Hilbert (RH) 问题的非线性最陡下降法 (Deift-Zhou 方法)。

1. 谱分析与 RH 公式化： 作者首先建立了具有阶梯型数据的 mKdV 方程的正向散射变换，定义了 Jost 函数和散射系数。这导出了一个关于函数 $M(k)$ 的矩阵值 RH 问题，其跳跃轮廓位于实轴上。
2. $g$-函数变换： 为了分析长期极限 ($t \to +\infty$)，作者引入了辅助 $g$-函数（针对区域 $T_I$ 使用 $g_I$，针对区域 $T_{II}$ 使用 $g_{II}$）。这些函数用于对 RH 问题进行一系列变换 ($M \to M^{(1)} \to M^{(2)} \to M^{(3)}$)，以打开“透镜”并变形跳跃轮廓。这一过程隔离了对解起主导作用的部分。
3. 全局与局部参数化（Parametrices）：
   • 全局参数化： 构建了一个全局模型解来近似远离临界点的 RH 问题。对于 $T_I$，该模型基于区间 $[-c_l, c_l]$；对于 $T_{II}$，则基于 $[-c_r, c_r]$。
   • 局部参数化： 核心难点在于分支点 ($\pm c_l$ 和 $\pm c_r$) 的邻域，在这些地方相位函数的鞍点与分支点发生合并。作者利用 Painlevé XXXIV 参数化 构建了局部模型。这涉及一种共形映射，将局部邻域重新缩放为与 Painlevé XXXIV 方程相关的标准形式。
4. 误差分析： 针对精确解与构建的参数化之间的误差项 $M^{(err)}$ 建立了一个小范数 RH 问题。作者证明了该误差衰减足够快，从而验证了渐近展开的有效性。

主要贡献与结果
本文为两个过渡区域 $T_I$ 和 $T_{II}$ 中的解 $q(x, t)$ 在 $t \to +\infty$ 时的渐近展开提供了严格的描述。

• 一阶领先行为： 在这两个区域中，展开的领先项都与相应的背景常数相匹配（在 $T_I$ 中为 $c_l$，在 $T_{II}$ 中为 $c_r$）。
• 次领先阶行为： 第一个修正项以 $O(t^{-2/3})$ 的速率衰减。至关重要的是，该项的系数并非简单的初等函数，而是通过 Painlevé XXXIV 方程 的解来表示。
  • 在区域 $T_I$ 中： 次领先项 $f_I(\xi, s)$ 是由 Airy 函数和 Painlevé XXXIV 模型导出的，特别涉及与 $t^{2/3}(\xi + c_l^2/2)$ 相关的参数 $s$。
  • 在区域 $T_{II}$ 中： 次领先项 $f_{II}(\xi, s)$ 包含一个更复杂的结构，其中涉及 Painlevé II 方程 的解 $q(s)$ 和 Painlevé XXXIV 方程 的解 $u(s)$。参数 $s$ 在此处与 $t^{2/3}(\xi + c_r^2/2)$ 相关联。

作者还明确推导了局部参数化所满足的特定 Painlevé XXXIV 方程：
$$u''(s) = 4u(s)^2 + 2su(s) + \frac{(u'(s))^2}{2u(s)} - \frac{(2b)^2}{2u(s)}$$
其中参数 $b$ 与临界点处反射系数的辐角相关。

意义与主张
本文声称，对这些过渡区域的分析揭示了一个与其他 $(x,t)$ 平面区域不同的独特普适类。

• 模型的创新性： 不同于聚焦 mKdV 方程的过渡区域（涉及 Laguerre 多项式和 Painlevé IV）或其他可积系统（通常涉及 Painlevé I, II 或 IV），这项工作展示了具有阶梯型初值的去聚焦 mKdV 方程在这些特定过渡带中受 Painlevé XXXIV 超超越函数 控制。
• 普适性： 结果强调了 Painlevé 超越函数在描述可积系统临界行为（过渡区域）中的普适性质。作者指出，尽管两个过渡区域 $T_I$ 和 $T_{II}$ 都是从同一个底层的 Painlevé XXXIV 模型推导出来的，但最终渐近公式之间的表观差异源于系数的选择以及与全局参数化的匹配条件。
• 严格证明： 本文为这些特定特殊函数在去聚焦 mKdV 方程具有非零边界条件的长时动力学中出现的现象提供了完整的、严格的数学证明，填补了以往研究侧重于消失数据或其他渐近机制所留下的空白。

该工作依赖于对初始数据光滑性和衰减性的标准假设（假设 1.1），并利用已建立的非线性最陡下降法机制，将其扩展到能够处理阶梯型初始数据在过渡区引入的特定奇异性。