[论文解读] Energy-supercritical NLS: critical $\dot H^s$-bounds imply scattering

Rowan Killip, Monica Vişan|ArXiv.org|Dec 11, 2008

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

一句话总结

本文证明，在维度 $d \geq 5$ 的能量超临界非线性薛定谔方程中，任何在临界索伯列夫空间 $\dot{H}^{s_c}$ 上一致有界的解均为全局解并发生散射。通过利用负则度估计与单调性不等式（例如相互作用莫拉韦茨不等式），作者排除了孤立子解与级联解的存在，从而在临界 $\dot{H}^{s_c}$-有界性假设下证明了散射，该假设有效抑制了问题的超临界性。

ABSTRACT

We consider two classes of defocusing energy-supercritical nonlinear Schrödinger equations in dimensions $d\geq 5$. We prove that if the solution $u$ is apriorily bounded in the critical Sobolev space, that is, $u\in L_t^\infty \dot H^{s_c}_x$, then $u$ is global and scatters.

研究动机与目标

• 在维度 $d \geq 5$ 的能量超临界聚焦非线性薛定谔方程中，于临界索伯列夫空间 $\dot{H}^{s_c}$ 上一致有界假设下，建立全局存在性与散射性。
• 通过将能量临界与质量临界NLS中的技术推广至超临界区域，将 $\dot{H}^{s_c}$-有界性视为缺失守恒律的替代条件。
• 通过排除孤立子型解与低频到高频级联解，利用负则度与单调性估计，排除最小爆炸解的存在。
• 证明 $L_t^\infty \dot{H}^{s_c}_x$ 有界性使方程在本质上成为亚临界，从而在超临界尺度下仍可实现散射。

提出的方法

• 使用杜哈梅公式在最大时间区间上定义强 $\dot{H}^{s_c}_x$ 解。
• 应用负则度估计，证明存在某个 $\varepsilon > 0$，使得 $u \in L_t^\infty \dot{H}^{-\varepsilon}_x$，该结果源于集中紧致性与频率局部化。
• 采用具有 $\dot{H}^{1/4}_x$-尺度的相互作用莫拉韦茨不等式，以控制 $|\nabla|^{-\frac{d-3}{4}}u$ 的 $L^4_{t,x}$ 范数。
• 在 $L_t^\infty \dot{H}^{s_c}_x$ 与 $L_t^\infty H^1_x$ 有界性之间进行插值，推导出解在 $L_t^{d+1} L_x^{\frac{2(d+1)}{d-1}}$ 范数下的控制。
• 利用紧致性与弱收敛性论证，排除在 $L_x^{\frac{2(d+1)}{d-1}}$ 中趋于零的弱极限，从而与 $\dot{H}^{s_c}_x$ 中轨道的预紧性矛盾。
• 通过质量守恒与频率分解的反证法，证明低频到高频级联解必为零，故不可能存在。

实验结果

研究问题

• RQ1 若初始数据属于 $\dot{H}^{s_c}$ 的能量超临界NLS解在 $\dot{H}^{s_c}_x$ 上一致有界，是否可全局定义并发生散射？
• RQ2 当不存在真正守恒律时，如何将能量临界NLS中的技术适配至超临界区域？
• RQ3 $\dot{H}^{s_c}_x$-有界性在抑制方程超临界性方面起何作用？
• RQ4 在 $\dot{H}^{s_c}_x$-有界性假设下，能否排除孤立子型与低频到高频频率级联解？
• RQ5 在高维（$d \geq 5$）下，相互作用莫拉韦茨不等式是否足以控制聚焦NLS的解行为？

主要发现

• 在 $d \geq 5$ 的能量超临界NLS中，任何在 $\dot{H}^{s_c}_x$ 上一致有界的极大寿命解均为全局解并发生散射。
• 解满足散射大小界 $S_{\mathbb{R}}(u) \leq C(\|u\|_{L_t^\infty \dot{H}^{s_c}_x})$，其中 $C$ 为某函数，从而在给定假设下确认了该猜想。
• 由于低频到高频级联解将导致质量为零，与爆炸所需无穷散射大小矛盾，故被排除。
• 通过相互作用莫拉韦茨不等式与插值，孤立子型解被排除，当假设解在 $\dot{H}^{s_c}_x$ 中非零且预紧时，将导致矛盾。
• 建立了负则度 $u \in L_t^\infty \dot{H}^{-\varepsilon}_x$，从而支持频率局部化估计与紧致性论证。
• $L_t^\infty \dot{H}^{s_c}_x$ 有界性有效抑制了超临界性，使可使用临界区域中的工具。