[论文解读] Well-posedness and scattering for NLS on $\R^d imes \T $ in the energy space

Nikolay Tzvetkov, Nicola Visciglia|arXiv (Cornell University)|Sep 13, 2014

Advanced Mathematical Physics Problems参考文献 11被引用 6

一句话总结

本文在能量空间 $H^1$ 中建立了能量次临界非线性薛定谔方程在乘积空间 $ text{R}^d \times \mathbb{T}$ 上的局部与全局适定性，以及大初值散射。通过结合 $x$-方向的 $H^{1/2-}$ Strichartz 估计与 $y$-方向（环面）的 $H^{1/2+}$ 正则性，作者证明了局部解的存在性与唯一性，并利用能量守恒将其全局延拓。关键贡献在于对 $4/d < \alpha < 4/(d-1)$ 范围内证明了 $H^1$-散射，该结果通过改进的空间-时间估计与相互作用 Morawetz 型不等式实现，将经典结果推广至部分周期设置。

ABSTRACT

We study the Cauchy problem and the large data $H^1$ scattering for energy subcritical NLS posed on $\R^d imes \T$

研究动机与目标

• 在所有 $d \geq 1$ 的情况下，建立能量次临界非线性薛定谔方程在 $\mathbb{R}^d \times \mathbb{T}$ 上的 $H^1$ 空间中的局部与全局适定性。
• 在非线性范围 $4/d < \alpha < 4/(d-1)$ 内，证明大初值 $H^1$-散射，将经典结果推广至部分周期设置。
• 发展一种新颖的分析框架，结合 $ text{R}^d$ 上的 $H^{1/2-}$ Strichartz 估计与 $\mathbb{T}$ 上的 $H^{1/2+}$ 控制，以实现解理论中的完整 $H^1$-正则性。
• 证明在部分周期设置下，势能随时间衰减，这是实现散射的关键要素。

提出的方法

• 使用非齐次 Strichartz 估计控制薛定谔传播子 $e^{it\Delta_x}$ 在 $ text{R}^d$ 上的 $x$-方向正则性，达到 $H^{1/2-}$ 水平。
• 在 $y$-方向（在 $\mathbb{T}$ 上）应用 $H^{1/2+}$ 正则性框架，以在完整的 $(d+1)$-维设置中实现 $H^1$-亚临界非线性。
• 采用适配于部分周期设置的相互作用 Morawetz 估计，以控制空间-时间范数并证明势能衰减。
• 在空间 $L^q_t L^r_x H^{1/2+}_y \cap C_t(H^1_{x,y})$ 中使用不动点论证，建立局部存在性与唯一性。
• 通过能量守恒与逼近论证，证明在 $C_t(H^1_{x,y})$ 中的无条件唯一性。
• 应用对偶性与空间-时间 $L^l_t L^p_x L^2_y$ 估计，通过 Duhamel 公式中积分余项趋于零来验证散射条件。

实验结果

研究问题

• RQ1 能量次临界非线性薛定谔方程在 $ text{R}^d \times \mathbb{T}$ 上是否对所有 $d \geq 1$ 和 $0 < \alpha < 4/(d-1)$ 在 $H^1$ 中全局适定？
• RQ2 当 $y$-方向缺乏完全色散时，$H^1$-散射是否仍对 $ text{R}^d \times \mathbb{T}$ 上的 NLS 成立，且 $4/d < \alpha < 4/(d-1)$？
• RQ3 能否将相互作用 Morawetz 估计适配于部分周期设置，以控制空间-时间范数并证明势能衰减？
• RQ4 是否可通过结合 $ text{R}^d$ 上的 $H^{1/2-}$ 分析与 $\mathbb{T}$ 上的 $H^{1/2+}$ 控制，实现解的 $H^1$-正则性？

主要发现

• 对所有 $d \geq 1$ 和 $0 < \alpha < 4/(d-1)$，NLS 在 $ text{R}^d \times \mathbb{T}$ 上的柯西问题在 $H^1_{x,y}$ 中是局部适定的，解存在于仅依赖于初始数据 $H^1$-范数的时间区间内。
• 由于能量守恒，所有初始数据在 $H^1_{x,y}$ 中的解均全局存在，该守恒律在聚焦情形下通过逼近方法得到验证，而在非聚焦情形下显然成立。
• 当 $4/d < \alpha < 4/(d-1)$ 时，解在 $t \to \pm\infty$ 时于 $H^1_{x,y}$ 中发生散射，即存在渐近态 $f_\pm \in H^1_{x,y}$，使得 $\|u(t) - e^{-it\Delta_{x,y}}f_\pm\|_{H^1_{x,y}} \to 0$。
• 解满足空间-时间估计 $\|u\|_{L^{q_\theta}_t L^{r_\theta}_x H^{1/2+\delta}_y} < \infty$，其中 $\delta > 0$，该估计对散射证明至关重要。
• 势能随时间衰减，这是通过适配于乘积空间的改进型相互作用 Morawetz 估计所证明的，对证明散射至关重要。
• 空间-时间范数 $\|u\|_{L^l_t L^p_x L^2_y} + \|\nabla_x u\|_{L^l_t L^p_x L^2_y} + \|\partial_y u\|_{L^l_t L^p_x L^2_y} < \infty$ 一致有界，使得可应用对偶性来证明散射条件。