[论文解读] Homoclinic standing waves in focussing DNLS equations --Variational approach via constrained optimization

Michael Herrmann|arXiv (Cornell University)|Feb 8, 2010

Nonlinear Photonic Systems参考文献 29被引用 8

一句话总结

本文提出一种新颖的变分方法，通过约束优化证明了一维聚焦离散非线性薛定谔（DNLS）方程中同宿驻波（亮孤子）的存在性。通过在固定功率约束下最大化能量泛函，该方法保证了对于一大类非线性项，存在两族具有单峰和偶对称轮廓的驻波，既具备分析严谨性，又提供一种构造性数值方案。

ABSTRACT

We study focussing discrete nonlinear Schrödinger equations and present a new variational existence proof for homoclinic standing waves (bright solitons). Our approach relies on the constrained maximization of an energy functional and provides the existence of two one-parameter families of waves with unimodal and even profile function for a wide class of nonlinearities. Finally, we illustrate our results by numerical simulations.

研究动机与目标

• 开发一种不依赖延拓方法的新型存在性证明，用于聚焦DNLS方程中的同宿驻波。
• 建立具有单峰和偶对称轮廓函数的两类一参量族亮孤子的存在性。
• 提供一个变分框架，将波的存在性与固定功率下能量泛函的约束最大化联系起来。
• 提供一种基于变分原理的构造性近似方案，用于数值计算驻波。
• 将变分方法的应用范围从预设频率设置扩展至功率约束优化。

提出的方法

• 通过时变相位变换消除线性相位项，将DNLS方程改写为规范不变形式。
• 定义能量泛函 $\mathcal{P}(u)$ 和功率泛函 $\mathcal{N}(u)$，其中 $\mathcal{N}(u) = \sum_j u_j^2$ 为约束条件，$\mathcal{P}(u)$ 为待最大化的泛函。
• 使用拉格朗日乘子法，推导出驻波方程作为约束优化问题的欧拉-拉格朗日方程。
• 在 $\ell^2$ 中应用紧致性论证和弱收敛性，从有限维子空间中的最大化序列中提取极限解。
• 构造一个数值迭代格式 $u_{k+1} = I(u_k)$，该格式保持功率约束并近似能量泛函的梯度流。
• 采用参数化初始猜测，通过调整系数对 $\mathcal{P}_N(u)$ 进行离散最大化，以寻找最优初始轮廓。

实验结果

研究问题

• RQ1 能否通过一种变分方法证明聚焦DNLS方程中同宿驻波的存在性，而无需在反连续极限下已知锚定解？
• RQ2 在固定功率下对能量泛函进行约束最大化，是否能对一大类非线性项产生具有单峰和偶对称轮廓函数的解？
• RQ3 该变分方法能否提供一种构造性数值方案，用于近似驻波，且与频率预设方法相区别？
• RQ4 非线性项 $\Psi$ 需满足何种条件，可保证存在能量任意小的同宿波？
• RQ5 当域尺寸 $N \to \infty$ 时，周期性有限域解如何收敛至同宿波？

主要发现

• 在固定功率约束 $\mathcal{N}(u) = \varrho$ 下对能量泛函 $\mathcal{P}(u)$ 进行约束最大化，所得解在 $N \to \infty$ 时收敛至同宿驻波。
• 该方法保证了对于满足假设 (A3) 的一大类非线性项，存在两族具有单峰和偶对称轮廓函数的同宿波。
• 对于满足 $\Psi'(x) \to 1$ 当 $x \to \infty$ 的非线性项，如 $\Psi(x) = x - \arctan x$，该方法产生稳定的周期性位点和非位点波，且随着 $N$ 增大，这些波收敛至局域化孤子。
• 数值模拟表明，当 $\Psi(x) = \exp(x) - \frac{1}{2}x^2 - x - 1$ 时，局域化同宿波仅在 $\varrho \geq 2.4$ 时出现，与基于小 $x$ 处立方行为的理论存在条件一致。
• 当 $\alpha$ 较小且 $\varrho$ 固定时，周期波在 $\ell^2$ 中强收敛至非平凡的同宿波；而当 $\alpha$ 较大时，它们弱收敛至零，表明波局域性发生转变。
• 迭代格式 $u_{k+1} = I(u_k)$ 精确保持功率约束，并成功生成了位点和非位点构型下的驻波，验证了该变分方法的数值鲁棒性。