[论文解读] The focusing cubic NLS with inverse-square potential in three space dimensions

Rowan Killip, Jason Murphy+2 more|arXiv (Cornell University)|Mar 29, 2016

Advanced Mathematical Physics Problems参考文献 23被引用 16

一句话总结

该论文在三维空间中针对带有反平方势的聚焦三次非线性薛定谔方程，建立了散射与爆破之间的精确临界阈值。通过将集中紧致性与能量归纳法方法适配到加权拉普拉斯算子 $\mathcal{L}_a = -\Delta + \frac{a}{|x|^2}$ 的情形，作者确定了一个由关联椭圆方程的基态解定义的阈值，证明了能量低于该阈值的解全局散射，而高于该阈值的解在有限时间内爆破。

ABSTRACT

We consider the focusing cubic nonlinear Schrödinger equation with inverse-square potential in three space dimensions. We identify a sharp threshold between scattering and blowup, establishing a result analogous to that of Duyckaerts, Holmer, and Roudenko for the standard focusing cubic NLS. We also prove failure of uniform space-time bounds at the threshold.

研究动机与目标

• 建立三维空间中带有反平方势的聚焦三次非线性薛定谔方程在散射与爆破之间的精确阈值。
• 将Duyckaerts、Holmer与Roudenko在标准NLS中的阈值结果推广至带有反平方势的情形。
• 分析在阈值能量水平处均匀时空有界性失效的原因。
• 将集中紧致性与能量归纳技术适配到由反平方势引起的非平移不变设定中。

提出的方法

• 利用Schrödinger算子 $\mathcal{L}_a = -\Delta + \frac{a}{|x|^2}$ 的Friedrichs扩张（$a > -\frac{1}{4}$），确保其自伴性与正定性。
• 采用带最优常数 $C_a$ 的修正Gagliardo-Nirenberg不等式，以 $L^2$ 与 $\dot{H}_a^1$ 范数控制 $L^4$ 范数。
• 在 $\mathcal{L}_a$-适应的Sobolev空间中应用Duhamel公式与Strichartz估计，构造 $C_t H_a^1 \cap L_t^5 H_a^{1,30/11}$ 中的局部解。
• 通过径向对称性恢复轮廓分解中的紧致性，从而实现径向极小化元的Palais-Smale条件。
• 在径向序列中应用反向Strichartz不等式（令 $x_n \equiv 0$），避免依赖非径向阈值结果。
• 为 $\mathcal{L}_a$ 下Gagliardo-Nirenberg不等式的径向极小化元建立强制性与Pohozaev恒等式。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^3$ 中，带有反平方势的聚焦三次NLS的全局存在性与散射的精确阈值是什么？
• RQ2 反平方势的存在如何影响标准NLS中所用的集中紧致性与能量归纳论证？
• RQ3 阈值解是否表现出均匀时空有界性？若否，原因是什么？
• RQ4 当 $a > 0$ 时，该阈值结果能否推广至径向解？与 $a=0$ 情形相比，能量阈值有何差异？

主要发现

• 建立了由椭圆方程 $\mathcal{L}_a Q = Q^3$ 的基态解能量定义的散射与爆破之间的精确阈值。
• 能量严格低于该阈值的解全局散射，而高于该阈值的解在有限时间内爆破。
• 通过一列趋近于阈值的初始数据（其 $L_{t,x}^5$ 范数发散）证明了阈值解不满足均匀时空有界性。
• 对于 $a > 0$ 的径向初值，阈值能量 $\mathcal{E}_{a,\text{rad}}$ 严格大于 $\mathcal{E}_0$，但散射与爆破的阈值仍为精确的。
• 通过证明集中点 $x_n$ 可取为零，避免依赖非径向结果，从而为径向轮廓证明了Palais-Smale条件。
• 在阈值附近的解的 $L_{t,x}^5$ 范数随时间线性增长，表明 $\|u_n\|_{L_{t,x}^5([-T,T] \times \mathbb{R}^3)} \gtrsim_T T$，当 $T \to \infty$ 时发散。