[论文解读] The initial boundary value problem on the segment for the Nonlinear Schrödinger equation; the algebro-geometric approach. I

P. G. Grinevich, P. Santini|ArXiv.org|Jul 16, 2003

Nonlinear Waves and Solitons参考文献 35被引用 9

一句话总结

本文提出一种代数几何方法，用于求解有限区间上具有狄利克雷边界条件的非线性薛定谔方程（NLS）的初值边值问题（IBVP）。通过将初值剖面以奇对称方式周期延拓，并在周期间隔处引入δ′型点源，将IBVP转化为实轴上的强迫周期初值问题。关键结果是：谱数据按照具有代数右端项的常微分方程组（ODEs）演化，从而可通过杜布罗温方程和雅可比θ函数显式重构解。

ABSTRACT

This is the first of a series of papers devoted to the study of classical initial-boundary value problems of Dirichlet, Neumann and mixed type for the Nonlinear Schrödinger equation on the segment. Considering proper periodic discontinuous extensions of the profile, generated by suitable point-like sources, we show that the above boundary value problems can be rewritten as nonlinear dynamical systems for suitable sets of algebro-geometric spectral data, generalizing the classical Dubrovin equations. In this paper we consider, as a first illustration of the above method, the case of the Dirichlet problem on the segment with zero-boundary value at one end, and we show that the corresponding dynamical system for the spectral data can be written as a system of ODEs with algebraic right-hand side.

研究动机与目标

• 开发一种系统化方法，用于求解非线性薛定谔方程（NLS）在有限区间上具有狄利克雷、诺伊曼及混合型边值条件的初值边值问题（IBVP）。
• 克服IBVP中未知边界值导致散射数据时间演化复杂化的根本困难。
• 通过将问题转化为实轴上的强迫周期初值问题，将有限间隙与散射变换方法推广至非标准边界条件。
• 建立非线性离散正弦-Fourier变换的类比，实现对有界区域上NLS方程的谱分析。

提出的方法

• 将区间[0, L]上的初值剖面以奇对称方式周期延拓为2L-周期函数，并在x = nL处引入δ′型点源，从而将狄利克雷IBVP转化为实轴上的强迫初值问题。
• 通过直接周期谱变换构造相关周期薛定谔算子的谱数据，得到初始代数几何数据：{E_k(0), α_k(0), λ_k(0,0), μ_k(0,0), M_k(0)}
• 谱数据的时间演化由一组具有代数右端项的常微分方程组（64）–（72）、（76）、（77）控制，其来源于辅助线性问题及激励项的结构。
• 谱数据的x-演化由x-杜布罗温方程（34）描述，该方程在关联黎曼曲面的雅可比簇上可线性化。
• 通过公式（36）利用演化后的谱数据重构势函数q(x,t)，其在[0,L]上的限制即为原IBVP的解u(x,t)。
• 解可通过雅可比簇上的雅可比θ函数显式表达，尽管通常数值上直接积分ODE系统更为高效。

实验结果

研究问题

• RQ1 能否通过周期延拓与点源，将有限区段上NLS方程的狄利克雷IBVP重新表述为实轴上的可积系统？
• RQ2 在未知边界值存在的情况下，谱数据的时间演化如何实现闭合，而此类边界值通常会破坏可积性？
• RQ3 在该重新表述下，控制代数几何谱数据演化的动力系统具有何种结构？
• RQ4 该方法在多大程度上将经典有限间隙与散射变换方法推广至非周期性、有界区域？
• RQ5 所得谱数据的ODE系统能否显式或数值求解，且是否能捕捉到本质的非线性动力学？

主要发现

• 在x=0处具有零边界条件的[0,L]区间上狄利克雷IBVP，等价于实轴上具有奇2L-周期性与x = nL（n ∈ ℤ）处δ′型源的强迫周期初值问题。
• 谱数据的时间演化由一组具有代数右端项的常微分方程组控制，其显式表达见公式（64）–（72）、（76）、（77）。
• 谱数据的x-演化由杜布罗温型方程（34）描述，该方程可在关联黎曼曲面的雅可比簇上线性化。
• 区间[0,L]上的解u(x,t)通过公式（36）从演化后的谱数据重构，其中涉及Baker–Akhiezer函数与雅可比θ函数。
• 初步数值结果表明，激励停止后仅有有限数量的谱模态保持活跃，表明存在有限维的有效动力学。
• 该方法提供了一种类离散正弦-Fourier变换的非线性版本，为求解具有狄利克雷、诺伊曼或混合边界条件的一般NLS IBVP提供了系统性框架。