[论文解读] Periodic problem for the nonlinear Schroedinger equation

Vladimir Kotlyarov, Alexander Its|arXiv (Cornell University)|Jan 17, 2014

Differential Equations and Numerical Methods参考文献 1被引用 5

一句话总结

本文提出了一种基于非自伴狄拉克算子的逆散射理论，用于构造求解非线性薛定谔方程周期柯西问题的显式方法。该方法在双周期黎曼曲面上以雅可比θ函数形式导出显式的准周期解，为具有有限间隙初值的数据建立了完整的解框架，并给出了势函数及其时空演化的精确公式。

ABSTRACT

The paper offers the method of discovering of some class of solutions for the nonlinear Schroedinger equation. An algorithm of constructive solving of the Cauchy periodic problem with a finite-gap initial condition was also obtained.

研究动机与目标

• 为具有有限间隙初值的聚焦非线性薛定谔方程周期柯西问题开发一种构造性求解方法。
• 将逆散射理论扩展至与聚焦非线性薛定谔方程相关的非自伴狄拉克算子。
• 通过雅可比θ函数与阿贝尔积分，推导出势函数 $ u(x,t) $ 的显式闭式解。
• 通过单值化矩阵动力学与谱数据，建立解的时间与空间演化关系。
• 通过多项式约束与黎曼曲面上的复参数，对准周期解进行完整参数化。

提出的方法

• 将非线性薛定谔方程 $ iu_t + u_{xx} + 2|u|^2u = 0 $ 表述为非自伴狄拉克算子 $ L = J\frac{d}{dx} + Q $ 的零曲率条件，其中 $ J = \begin{pmatrix} i & 0 \\ 0 & -i \end{pmatrix} $ 且 $ Q = \begin{pmatrix} 0 & iv \\ i\bar{v} & 0 \end{pmatrix} $。
• 引入辅助算子 $ M_k $ ($ k=1,2 $)，在 $ u $ 满足NLS方程的条件下，这些算子与 $ L - zI $ 对易，从而导出单值化矩阵的演化方程。
• 通过涉及时间与相位偏移导数的微分方程 (2.4) 推导单值化矩阵的演化，将解的动力学与谱数据联系起来。
• 引入单值化矩阵的分量 $ g, f, \psi, \varphi $，并推导其在 $ t $ 与 $ x_0 $ 上演化的耦合常微分方程 (2.5)–(2.6)，其中 $ v = v(x_0,t) $。
• 在亏格为 $ n $ 的双周期黎曼曲面 $ \sigma $ 上构造一个单值解析解 $ \psi(x,z) $，其在 $ \mu_k(x,t) $ 处具有零点，在 $ \mu_k(0,t) $ 处具有极点。
• 通过θ函数表达解 $ u(x,t) $：$ |u(x,t)|^2 = \frac{\partial^2}{\partial x^2} \ln \theta(g(x,t) + r) + 2R_1 $，其中 $ g(x,t) $ 由阿贝尔积分定义，$ r $ 为常向量。

实验结果

研究问题

• RQ1 如何为具有有限间隙初值的聚焦非线性薛定谔方程周期柯西问题构造显式解法？
• RQ2 非自伴狄拉克算子在NLS方程逆散射框架中起什么作用？
• RQ3 单值化矩阵及其演化如何控制解的时间与空间动力学？
• RQ4 如何利用雅可比θ函数与阿贝尔积分，推导出准周期解的显式参数化？
• RQ5 哪些约束将谱数据（本征值、分支点）与初始势函数及其演化联系起来？

主要发现

• 解 $ u(x,t) $ 显式表示为 $ u(x,t) = u(0,0) \frac{J_1(x,t)}{J_1(0,0)} \exp(-iEx + iN_0 t) $，其中 $ J_1 $、$ E $ 与 $ N_0 $ 由谱数据导出。
• 解的模为 $ |u(x,t)|^2 = \frac{\partial^2}{\partial x^2} \ln \theta(g(x,t) + r) + 2R_1 $，其中 $ R_1 $ 为依赖于分支点 $ E_j $ 的常数。
• 解的时间演化由常数 $ N_0 = 4K_2 - 2\sum_{j=1}^{2n+2} E_j^2 - 4R_1 $ 控制，其与 $ x $ 无关，确保了解的准周期性。
• 解 $ u(x,t) $ 完全由多项式关系 $ \sum_{j=1}^{n+1} (z - E_j)(z - \bar{E}_j) - |u(0,0)|^2 \prod_{j=1}^n (z - \mu_j(0,0))(z - \bar{\mu}_j(0,0)) = f^2(z) $ 确定，其中 $ f(z) $ 为次数为 $ n+1 $ 的实系数多项式。
• 谱问题 $ L\psi = z\psi $ 的解 $ \psi(x,z) $ 在黎曼曲面 $ \sigma $ 上为单值解析函数，其在 $ \mu_k(x,t) $ 处有零点，在 $ \mu_k(0,t) $ 处有极点。
• 函数 $ \varphi(x,z) = [u(x,t)]^{-1/2} [u(0,0)]^{1/2} \psi_1(x,z) $ 具有包含 $ \theta(U(z) - g(x,t)) $ 的θ函数表示，将解与代数几何数据联系起来。