The sine Gordon equation in light-cone coordinates on the half lines revisited: a Riemann--Hilbert approach

技术摘要：半直线光锥坐标下的 sine-Gordon 方程再探

问题陈述
本研究调查了在光锥坐标下，定义在两种不同半直线定义域上的 sine-Gordon (sG) 方程的初值-边值 (IBV) 问题：“右问题”（$x \ge 0, t \ge 0$）和“左问题”（$x \le 0, t \ge 0$）。研究假设当 $|x| \to \infty$ 时满足适当的衰减条件，并使用了特定的函数空间，包括用于初值的 $H^{2,2}$ 和用于解的 $\tilde{H}^{1,2}$ 正则性类。主要目标是确定这些问题的适定性，特别是识别在每个定义域中唯一确定解所需的最小边界数据和初值集合。

方法论
分析采用了基于 Fokas 提出的统一变换方法 (UTM) 的 Riemann–Hilbert (RH) 问题框架。该方法通过以下阶段进行：

1. Lax 对与特征函数： 将 sG 方程视为 Lax 对的相容性条件。作者构造了与谱参数 $k = \infty$ 和 $k = 0$ 相关的 Jost 解（特征函数）$\Phi_j$ 和 $\Phi_{0j}$。这些特征函数是通过与特定半直线几何结构相适应的（例如，对于右问题是从 $+\infty$ 开始积分，对于左问题是从 $-\infty$ 开始积分）Volterra 型积分方程定义的。
2. 谱函数： 建立了直接谱映射，将初值数据 $u(x,0)$ 和边界数据 $u(0,t)$ 与谱函数（$a(k), b(k), A(k), B(k)$ 及其对应的带波浪号函数）联系起来。这些函数满足由 Lax 系数之无迹性导出的行列式关系和对称性质。
3. 全局关系与相容性： 本文推导了“全局关系”（谱函数之间的渐近关系），这些关系反映了初值与边界数据之间的相容性。对于右问题，这些关系被证明由谱函数的性质自动满足。对于左问题，这些关系施加了特定的约束。
4. 逆谱映射： 逆映射被表述为 RH 问题。这些问题的跳跃矩阵由谱函数构造而成。论文区分了“主”RH 问题（以 $x$ 和 $t$ 为参数）和“辅助”RH 问题（仅以 $x$ 或 $t$ 为参数）。
5. 重构与正则性： 通过分析 RH 解在 $k \to \infty$ 和 $k \to 0$ 时的渐近行为，从主 RH 问题中恢复 sG 方程的解。通过使用 $L^2$-RH 理论和奇异积分方程，严格确立了 RH 解对 $x$ 和 $t$ 的可微性，从而确保重构的函数满足 sG 方程及所需的正则性类。

主要贡献与结果

• 不同的适定性条件： 核心发现是两个半直线问题在适定性要求上存在显著差异：

  • 右问题 ($x \ge 0$)： 解仅由初值数据 ($u(x,0)$ 对于 $x \ge 0$) 唯一确定。边界值 $u(0,t)$ 不是一个独立的输入，而是由初值剖面的演化隐式确定的。该情况下的主 RH 问题仅依赖于与初值相关的谱函数。
  • 左问题 ($x \le 0$)： 仅靠初值数据无法唯一确定解。除了 $x \le 0$ 时的初值 $u(x,0)$ 之外，还必须给定边界值 $u(0,t)$ 作为独立的输入，才能得到一个适定的问题。该情况下的主 RH 问题需要由初值和边界数据共同衍生的谱函数。

• 存在性与唯一性定理：

  • 对于右问题，本文证明了对于初值 $u_0 \in H^{2,2}((0, \infty)) + 2\pi k$，存在唯一的解 $u(x,t) \in C^1([0,T], \tilde{H}^{1,2}((0, \infty)))$，该解通过 RH 问题构造。
  • 对于左问题，给定初值 $u_0 \in H^{2,2}((-\infty, 0)) + 2\pi k$ 和满足相容条件 $u_0(0) = v_0(0)$ 的边界数据 $v_0 \in H^1(0,T)$，存在唯一的解 $u(x,t) \in C^1([0,T], \tilde{H}^{1,2}((-\infty, 0)))$。

• 渐近行为： 本文分析了重构解在 $x \to +\infty$ 和 $x \to -\infty$ 时的行为。通过将初值扩展到全直线或利用反射系数的特定衰减性质，证明了解满足各自半平面内所需的衰减条件。

意义
本文解决了关于半直线上 sine-Gordon 方程适定性的开放问题，特别是关于边界数据必要性的问题。虽然之前的文献（如 Fokas, Leon, Sakhnovich）已经处理过 sG 的 IBV 问题，但这项工作阐明了两种半直线配置之间根本性的不对称性。它证明了“右问题”的行为更类似于半直线上的 Cauchy 问题，其中边界是由内部动力学决定的；而“左问题”则需要显式的边界控制。这种区别是通过对相关 Lax 对的谱分析以及特定 Riemann–Hilbert 分解的构造而得到严格推导的。其结果为在两种光锥坐标设置下的适定性所需数据提供了完整的表征。