[论文解读] Traveling waves for some nonlocal 1D Gross-Pitaevskii equations with nonzero conditions at infinity

André de Laire, Pierre Mennuni|arXiv (Cornell University)|Dec 20, 2018

Nonlinear Photonic Systems参考文献 32被引用 13

一句话总结

本文在无穷远处非零边界条件下，为一维 Gross-Pitaevskii 方程中的非局部相互作用建立了条件，以保证行波解（暗孤子）的存在性与轨道稳定性。通过在固定动量下进行能量最小化及浓度紧致性论证，作者证明了在低于临界阈值的速度下，存在有限能量解的分支，将经典局部（Dirac delta）情形的结果推广至更广泛的非局部核。

ABSTRACT

We consider a nonlocal family of Gross-Pitaevskii equations with nonzero conditions at infinity in dimension one. We provide conditions on the nonlocal interaction such that there is a branch of traveling waves solutions with nonvanishing conditions at infinity. Moreover, we show that the branch is orbitally stable. In this manner, this result generalizes known properties for the contact interaction given by a Dirac delta function. Our proof relies on the minimization of the energy at fixed momentum. As a by-product of our analysis, we provide a simple condition to ensure that the solution to the Cauchy problem is global in time.

研究动机与目标

• 将暗孤子的存在性与稳定性结果从局部（Dirac delta）相互作用情形推广至一维 Gross–Pitaevskii 方程中的一般非局部相互作用。
• 确定非局部相互作用核 $\mathcal{W}$ 的充分条件，使得在无穷远处非零条件下，有限能量行波解存在。
• 利用方程的变分结构，证明所得行波分支的轨道稳定性。
• 基于能量最小化框架，为柯西问题的全局解存在性提供充分条件。

提出的方法

• 提出行波试探解 $\Psi_c(x,t) = u(x - ct)$，将偏微分方程约化为关于轮廓 $u$ 的非局部常微分方程。
• 定义能量空间 $\mathcal{E}(\mathbb{R})$ 与非零能量空间 $\mathcal{N}\mathcal{E}(\mathbb{R})$，以确保动量定义良好。
• 采用固定动量下的能量最小化方法，结合浓度紧致性论证构造解。
• 证明能量曲线 $E_{\text{min}}(\mathfrak{q})$ 为凹函数，且直线 $\sqrt{2}\mathfrak{q}$ 与之相切，从而蕴含轨道稳定性。
• 应用先验能量估计与紧致性技术处理非局部性，避免依赖显式常微分方程解。
• 验证 $\mathcal{W}$ 的条件，如 (H1)–(H3) 或其变体 (H3’)，确保非平凡解分支的存在性。

实验结果

研究问题

• RQ1 在何种非局部相互作用核 $\mathcal{W}$ 的条件下，一维 Gross–Pitaevskii 方程在 $|\Psi| \to 1$ 于无穷远处时，存在有限能量行波解的分支？
• RQ2 对于一般非局部相互作用，能否建立此类行波的轨道稳定性，从而推广已知的 Dirac delta 情形结果？
• RQ3 能量-动量关系 $E_{\text{min}}(\mathfrak{q})$ 在决定暗孤子的存在性与稳定性方面起何作用？
• RQ4 非局部性 $\mathcal{W}$ 如何影响孤子轮廓的形状与性质，相较于局部情形有何不同？
• RQ5 能量最小化方法能否用于推导柯西问题全局适定性的充分条件？

主要发现

• 对于速度 $c \in (0, c_*)$，其中 $c_* = \sqrt{2}$，存在有限能量行波解的分支，该结果推广了 $\mathcal{W} = \delta_0$ 情形下的经典暗孤子解。
• 当能量曲线 $E_{\text{min}}(\mathfrak{q})$ 为凹函数且直线 $\sqrt{2}\mathfrak{q}$ 与之相切时，行波分支的轨道稳定性得以证明。
• 临界动量阈值 $\mathfrak{q}_* \sim 1.55$ 在不同非局部核（包括傅里叶变换非解析或指数增长的核）中均通过数值计算得到验证。
• 对于如 $\mathcal{W} = \delta_0 + \text{对数项}$ 或 $\mathcal{W}_\sigma = 2\delta_0 - \frac{1}{2}(\delta_\sigma + \delta_{-\sigma})$ 等非局部核，尽管违反部分技术假设，能量曲线仍保持凹性，证实了稳定性结果的鲁棒性。
• 当核具有长程或振荡特征时，孤子轮廓可能表现出非单调行为（如在 $\mathbb{R}^+$ 上出现凸起），与标准双曲正切形状显著不同。
• 基于能量最小化框架，推导出柯西问题全局解存在的充分条件，确保解在能量与动量上保持有界。