[论文解读] Orbital stability of Gausson solutions to logarithmic Schrödinger equations

Alex Javier Hernandez Ardila|Jul 6, 2016

Advanced Mathematical Physics Problems参考文献 9被引用 27

一句话总结

本文在任意维度 $N \geq 1$ 下，针对非径向扰动，严格证明了对数薛定谔方程的高斯森解的轨道稳定性。通过在加权 Orlicz-Sobolev 空间 $W(\mathbb{R}^N)$ 中采用变分方法，作者证明了高斯森轮廓 $\phi_\omega(x) = e^{(\omega+N)/2} e^{-|x|^2/2}$ 是通过在 Nehari 约束下最小化能量泛函而实现轨道稳定的，从而解决了文献中长期存在的空白：该结果此前仅由 Cazenave 和 Lions 宣布但未提供证明。

ABSTRACT

In this paper we present a proof of the orbital stability of ground state for logarithmic Schrödinger equation in any dimension and under nonradial perturbations.

研究动机与目标

• 在所有 $N \geq 1$ 的维度下，严格建立对数薛定谔方程的高斯森解的轨道稳定性。
• 解决此前仅证明径向稳定性而未解决的非径向稳定性开放问题。
• 提供 Cazenave 和 Lions 未给出推导但已宣布的轨道稳定性结果的完整且详细的证明。
• 将高斯森解表征为在空间 $W(\mathbb{R}^N)$ 中受 Nehari 约束的能量泛函的极小化子。

提出的方法

• 定义能量泛函 $E(u)$，并引入空间 $W(\mathbb{R}^N) = H^1(\mathbb{R}^N) \cap \{u : |u|^2 \log|u|^2 \in L^1\}$，以确保能量泛函的 $C^1$ 光滑性。
• 定义约束极小化问题 $d(\omega) = \inf \{ S_\omega(u) : u \in W(\mathbb{R}^N) \setminus \{0\}, \, I_\omega(u) = 0 \}$，其中 $S_\omega$ 为能量泛函，$I_\omega$ 为 Nehari 泛函。
• 使用集中紧致性和轮廓分解技术分析极小化序列 $\{v_n\}$，证明其在平移和相位移动后收敛于高斯森轮廓。
• 构造一个缩放序列 $f_n = \rho_n v_n$，其中 $\rho_n = \exp(I_\omega(v_n)/(2\|v_n\|^2_{L^2}))$，以保证 $I_\omega(f_n) = 0$ 且 $\|v_n - f_n\|_{W(\mathbb{R}^N)} \to 0$。
• 应用 Br\'ezis-Lieb 引理及 Orlicz 空间性质，控制 $A(|u|)$ 和 $F(|u|) = |u|^2 \log|u|^2$ 在 $L^1$ 中的收敛性。
• 利用高斯森解的唯一性与非退化性，得出任何极小化序列必收敛于 $\phi_\omega$ 的相位移动与平移版本。

实验结果

研究问题

• RQ1 在所有 $N \geq 1$ 下，高斯森解 $\phi_\omega(x) = e^{(\omega+N)/2} e^{-|x|^2/2}$ 在 $W(\mathbb{R}^N)$ 中对非径向扰动是否具有轨道稳定性？
• RQ2 能否在全空间 $W(\mathbb{R}^N)$ 中严格证明高斯森解的轨道稳定性，而无需限制于径向函数？
• RQ3 高斯森解作为在 Nehari 约束 $I_\omega(u) = 0$ 下能量泛函极小化子的变分表征是什么？
• RQ4 Orlicz 空间 $W(\mathbb{R}^N)$ 的结构如何支持对数薛定谔方程的能量泛函良定性与稳定性分析？

主要发现

• 高斯森解 $\phi_\omega(x) = e^{(\omega+N)/2} e^{-|x|^2/2}$ 是 $\mathbb{R}^N$ 中平稳方程 $-\Delta\varphi + \omega\varphi - \varphi \log|\varphi|^2 = 0$ 的唯一严格正的 $C^2$ 解。
• 能量泛函 $E(u)$ 在空间 $W(\mathbb{R}^N)$ 上定义良好且具有 $C^1$ 光滑性，从而保证了变分方法的有效性。
• 高斯森轮廓 $\phi_\omega$ 是在约束 $I_\omega(u) = 0$ 下能量泛函 $S_\omega(u)$ 的极小化子，且该极小化特性唯一确定其形式（至多相位与平移）。
• 任意关于 $d(\omega)$ 的极小化序列 $\{v_n\}$，在子列意义下，经平移与相位移动后，收敛于 $W(\mathbb{R}^N)$ 中的轮廓 $\varphi = e^{i\theta_0} \phi_\omega(\cdot - y_0)$。
• 通过轮廓分解与收敛性性质的反证法，建立了 $e^{i\omega t}\phi_\omega(x)$ 在 $W(\mathbb{R}^N)$ 中对所有 $N \geq 1$ 的轨道稳定性，即使在非径向扰动下亦成立。