[论文解读] Existence of a ground state and blow-up problem for a nonlinear Schrodinger equation with critical growth

Takafumi Akahori, Slim Ibrahim+2 more|arXiv (Cornell University)|Dec 5, 2011

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

一句话总结

该论文在维度 $ d \geq 4 $ 下，通过基于尺度不变性的约束下最小化泛函的变分方法，证明了具有临界增长的非线性薛定谔方程存在一个基态解。此外，还证明了从特定能量亚临界区域出发的解会在有限时间内爆破，从而确认了基态在小扰动下的不稳定性。

ABSTRACT

In this paper we show the existence of ground-state solutions for the energy-critical NLS perturbed with subcritical terms when the space dimension $d\geq4$. However in dimension three, we show that when the perturbation is small enough, then such solution does not exist. For the evolution equation, we show the existence of finite time blow up of solutions with radially symmetric data with energy below the one of the ground state.

研究动机与目标

• 建立具有临界非线性和吸引子亚临界扰动的非线性薛定谔方程基态解的存在性。
• 分析从特定能量亚临界区域出发的解的爆破行为。
• 通过变分表征和爆破准则，证明基态解的不稳定性。
• 澄清维度依赖的基态存在性阈值，特别是区分 $ d \geq 4 $ 与 $ d = 3 $ 的情况。
• 推导一种类virial恒等式，并利用加权泛函控制质量集中，从而导出有限时间爆破。

提出的方法

• 构造一个变分问题，以在约束 $ \mathcal{K}(u) = 0 $ 下最小化泛函 $ \mathcal{S}_{\omega}(u) $，其中 $ \mathcal{K}(u) $ 对应于 $ \mathcal{S}_{\omega} $ 在 $ L^2 $-尺度变换下的导数。
• 引入辅助变分问题 $ \widetilde{m}_{\omega} $，定义为在满足 $ \mathcal{K}(u) \leq 0 $ 的函数中 $ \mathcal{I}_{\omega}(u) $ 的下确界，由于其正性和对称化下的稳定性，该问题简化了分析。
• 对于 $ d \geq 4 $ 的存在性证明，依赖于受布雷齐斯与里纳尔迪方法启发的改进型集中紧致性论证，并针对能量泛函与约束的特定结构进行了调整。
• 通过使用加权截断函数 $ W_R $，推导出广义的virial恒等式，从而能够控制大球外部的 $ L^2 $-质量。
• 通过证明：若初值属于集合 $ A_{\omega,-} $，则解不可能全局存在，从而在全局存在性假设下导出矛盾，确立了爆破准则。
• 该证明基于virial恒等式与衰减估计的反证法，表明解的加权 $ L^2 $-范数在某时刻变为负值，这是不可能的。

实验结果

研究问题

• RQ1 在何种条件下，具有临界与亚临界非线性的非线性薛定谔方程存在基态解？
• RQ2 空间维度 $ d $ 在基态存在性中起什么作用，特别是 $ d = 3 $ 与 $ d \geq 4 $ 的区别？
• RQ3 能否通过变分表征与爆破分析，严格证明基态的不稳定性？
• RQ4 能量与尺度约束 $ \mathcal{K}(u) = 0 $ 如何影响驻波解的存在性与稳定性？
• RQ5 能否证明从集合 $ A_{\omega,-} $ 出发的解会发生有限时间爆破，其中 $ A_{\omega,-} $ 定义为 $ \mathcal{S}_{\omega}(u) < m_{\omega} $ 且 $ \mathcal{K}(u) < 0 $？

主要发现

• 对于 $ d \geq 4 $，定义 $ m_{\omega} $ 的变分问题存在极小化子，其对应于椭圆方程 (1.4) 的基态解。
• 在维度 $ d = 3 $ 时，若亚临界耦合 $ \mu $ 足够小，则 $ m_{\omega} $ 的极小化子不存在，意味着基态解不存在。
• 集合 $ A_{\omega,-} $，定义为 $ \mathcal{S}_{\omega}(u) < m_{\omega} $ 且 $ \mathcal{K}(u) < 0 $，在NLS方程的流下保持不变。
• 从 $ A_{\omega,-} $ 出发的解表现出有限时间爆破，通过广义virial恒等式与负的加权 $ L^2 $-范数的反证法得以证明。
• 爆破时间是有限的，因为virial恒等式导致在某时刻 $ t $ 出现负的加权 $ L^2 $-范数，这是不可能的，因此 $ I_{\max} $ 必须有界。
• 该证明依赖于构造截断函数 $ W_R $，并利用涉及 $ \|\nabla \psi_0\|_{L^\infty} $、$ \|\psi_0\|_{L^2} $ 与 $ R $ 的估计，以控制virial量并导出矛盾。