[论文解读] Determinant form of modulation equations for the semiclassical focusing Nonlinear Schr\" odinger equation

Alexander Tovbis, Stephanos Venakides|ArXiv.org|Mar 13, 2008

Advanced Mathematical Physics Problems参考文献 3被引用 3

一句话总结

本文推导了与非线性薛定谔方程的半经典聚焦情形相关的奇异摄动 Zakharov-Shabat 系统的 WKB 指数的行列式公式。通过黎曼-希尔伯特问题（RHP）表示法，证明了当调制方程满足时，WKB 指数与分支点无关，并通过在双周期黎曼曲面上的围线积分与留数分析，推导出调制方程的黎曼不变量形式与微分形式。

ABSTRACT

We derive a determinant formula for the WKB exponential of singularly perturbed Zakharov-Shabat system that corresponds to the semiclassical (zero dispersion) limit of the focusing Nonlinear Schr\" odinger equation. The derivation is based on the Riemann-Hilbert Problem (RHP) representation of the WKB exponential. We also prove its independence of the branchpoints of the corresponding hyperelliptic surface assuming that the modulation equations are satisfied.

研究动机与目标

• 推导聚焦非线性薛定谔方程半经典极限中产生的奇异摄动 Zakharov-Shabat 系统的 WKB 指数的行列式公式。
• 在调制方程成立的假设下，建立 WKB 指数与关联双周期黎曼曲面的分支点无关的性质。
• 利用行列式公式与围线积分表示法，推导调制方程的各种形式——黎曼不变量形式与微分形式。
• 通过在分支点周围环路的解析延拓与留数分析，将 WKB 指数与黎曼-希尔伯特问题公式联系起来。
• 提供一个系统框架，以同调周期上的积分形式计算分支点随时间与空间的演化。

提出的方法

• 利用半经典极限下 NLS 方程 Lax 对导出的 WKB 指数 $ g(z) $ 的黎曼-希尔伯特问题（RHP）表示法。
• 将解 $ g(z) $ 表示为包含反射系数的对数导数 $ f(\theta) $ 与双周期曲面上的平方根函数 $ R(z) $ 的围线积分。
• 将沿分支割线的积分表示为闭合环路 $ \hat{\gamma} $、$ \hat{\gamma}_{m,i} $ 与 $ \hat{\gamma}_{c,i} $ 上的积分，从而实现对分支点附近的留数分析。
• 在分支点 $ \alpha_j $ 处应用留数微积分，推导出导数 $ c_j = \lim_{z\to\alpha_j} \left( \frac{h(z)}{R(z)} \right)' $ 的表达式，该表达式将 WKB 指数与调制动力学联系起来。
• 通过对主弧与补弧上的跳跃条件求导，推导出调制方程的微分形式，得到涉及 $ \partial_x K(\alpha_j) $ 与 $ \partial_t K(\alpha_j) $ 的表达式。
• 通过将比值 $ \frac{\partial_t K(\alpha_j)}{\partial_x K(\alpha_j)} $ 表示为 $ \hat{\gamma}_m $ 与 $ \hat{\gamma}_c $ 上围线积分的行列式之比，建立调制方程的黎曼不变量形式。

实验结果

研究问题

• RQ1 能否在聚焦 NLS 方程的半经典极限下，为奇异摄动 Zakharov-Shabat 系统的 WKB 指数推导出一个行列式公式？
• RQ2 当调制方程成立时，WKB 指数是否与分支点 $ \alpha_j $ 无关？
• RQ3 描述分支点 $ \alpha_j(x,t) $ 演化的调制方程的精确形式是什么？其形式涉及围线积分与留数？
• RQ4 如何利用黎曼-希尔伯特问题公式推导调制方程的微分形式与黎曼不变量形式？
• RQ5 围绕 $ \hat{\gamma}_m $、$ \hat{\gamma}_c $ 与 $ \hat{\gamma} $ 的围线积分在确定分支点动力学中起什么作用？

主要发现

• 通过黎曼-希尔伯特问题推导出 WKB 指数 $ g(z) $ 的行列式公式，其表达为对环路 $ \hat{\gamma} $、$ \hat{\gamma}_{m,i} $ 与 $ \hat{\gamma}_{c,i} $ 的围线积分的组合。
• 在调制方程成立的假设下，证明了 WKB 指数与分支点 $ \alpha_j $ 无关，确认了解结构的一致性。
• 调制方程的微分形式被推导为 $ (\alpha_j)_x = -\frac{2\pi i \partial_x K(\alpha_j)}{D \oint_{\hat{\gamma}} \frac{f'(\zeta)}{(\zeta - \alpha_j) R(\zeta)} d\zeta} $，$ (\alpha_j)_t $ 有类似表达式，对 $ j=0,2,4 $ 成立。
• 调制方程的黎曼不变量形式为 $ \frac{\partial_t K(\alpha_j)}{\partial_x K(\alpha_j)} = \sum_{j=0}^5 \alpha_j + 2 \frac{\det(\cdots)}{\det(\cdots)} $，其中行列式涉及 $ \hat{\gamma}_m $ 与 $ \hat{\gamma}_c $ 上的积分。
• 每个分支点 $ \alpha_j $ 处的留数系数 $ c_j $ 由 $ c_j = \frac{1}{3\pi i} \oint_{\hat{\gamma}} \frac{f'(\zeta)}{(\zeta - \alpha_j) R(\zeta)} d\zeta $ 给出，将 WKB 行为与谱数据联系起来。
• 跳跃条件的雅可比行列式满足 $ \left| \begin{matrix} \Omega_x & \Omega_t \\ W_x & W_t \end{matrix} \right| = -\frac{8\pi^2}{D} $，确认了调制系统的非退化性。