[论文解读] Global existence for the derivative NLS equation in the presence of solitons

Aaron Saalmann|arXiv (Cornell University)|Mar 31, 2017

Advanced Mathematical Physics Problems参考文献 4被引用 5

一句话总结

本文通过结合逆散射变换与Bäcklund变换，证明了在$H^2(\mathbb{R}) \cap H^{1,1}('\mathbb{R})$中，对于位于孤立子邻域内的初值，导数非线性薛定谔（DNLS）方程的全局存在性。该方法通过逐次添加特征值（即孤立子）来构造具有极点（孤立子）的散射数据的逆散射映射，确保了解范数的统一有界性，并通过反证法证明了全局适定性。

ABSTRACT

We prove the existence of global solutions to the DNLS equation with initial data in a large subset of $H^2(\mathbb R)\cap H^{1,1}(\mathbb R)$ containing a neighborhood of all solitons. We use the inverse scattering transform method, which was recently developed by D. Pelinovsky and Y. Shimabukuro, and an auto-Bäcklund transform in order to include solitons.

研究动机与目标

• 建立导数NLS方程在孤立子邻域内初值的全局适定性。
• 通过构造具有极点的散射数据的逆映射，将逆散射变换扩展至包含孤立子。
• 在时间演化下证明$H^2 \cap H^{1,1}$中解范数的统一有界性，防止有限时间爆破。
• 通过Bäcklund变换提供一种在逆散射框架中构造性地包含孤立子的方法。

提出的方法

• 使用Pelinovsky与Shimabukuro近期为DNLS方程发展出的逆散射变换方法。
• 应用[DP11]中的Bäcklund变换，系统性地向散射数据中添加孤立子极点。
• 通过在$x>0$与$x<0$上分别使用Bäcklund变换，逐个添加极点，递归构造逆散射映射。
• 通过证明所得Jost函数与散射数据在$H^1 \cap L^{2,1}$中的有界性，建立带极点的黎曼-希尔伯特问题解的存在性。
• 利用引理2.4中反射系数与范数常数的时间演化，若解在有限时间内爆破，则导出矛盾。
• 使用加权Sobolev范数$\|\cdot\|_{H^{2} \cap H^{1,1}}$与$\|\cdot\|_{H^1 \cap L^{2,1}}$来控制正则性与衰减性。

实验结果

研究问题

• RQ1 能否在保持全局适定性的前提下，将逆散射变换扩展至包含DNLS方程中的孤立子？
• RQ2 如何在$H^2 \cap H^{1,1}$中为具有特征值（孤立子）的初值构造逆散射映射？
• RQ3 Bäcklund变换在使孤立子能够被纳入逆散射框架中起到何种作用？
• RQ4 即使$L^2$范数较大，对于靠近孤立子的初值，$H^2 \cap H^{1,1}$中的全局存在性是否仍可能成立？
• RQ5 能否在时间演化下建立解范数的统一有界性，以排除有限时间爆破？

主要发现

• 对于包含所有孤立子邻域的开子集$\mathcal{G} \subset H^2(\mathbb{R}) \cap H^{1,1}(\mathbb{R})$中的初值，全局解存在。
• 通过Bäcklund变换构造了具有极点（孤立子）的散射数据的逆散射映射，使孤立子得以被严格纳入逆散射框架。
• 在条件$\|r_+\|_{H^1 \cap L^{2,1}} + \|r_-\|_{H^1 \cap L^{2,1}} + \sum |c_k| \leq M$下，解满足$\|u\|_{H^2 \cap H^{1,1}} \leq C_M$，其中常数$C_M$依赖于$M$、$\lambda_k$与$z_1$，但不依赖于$r_\pm$或$c_k$。
• 反射系数与范数常数的时间演化（引理2.4）阻止了爆破，通过反证法得出全局存在性。
• 该方法确保$m^{(1)}(z;x) - 1 \in H^1(\mathbb{R}_-) \cap L^{2,1}(\mathbb{R}_-)$且$u^{(1)} \in H^2(\mathbb{R}_-) \cap H^{1,1}(\mathbb{R}_-)$，并具有统一有界性。
• 由黎曼-希尔伯特问题重构的解$u$属于$H^2(\mathbb{R}) \cap H^{1,1}(\mathbb{R})$，确认了其正则性与衰减性质。