[论文解读] Non-existence of solutions for the periodic cubic NLS below $L^2$

Zihua Guo, Tadahiro Oh|arXiv (Cornell University)|Oct 21, 2015

Advanced Mathematical Physics Problems参考文献 26被引用 5

一句话总结

本文证明了在负索伯列夫空间 $ H^s(\mathbb{T}) $ 中，对于 $ s \in (-1/8, 0) $，周期性三次非线性薛定谔方程（NLS）不存在分布解，即使初始数据属于 $ H^s \setminus L^2 $。证明依赖于通过短时傅里叶限制范数方法对重正则化（Wick 有序）NLS 建立先验估计，进而通过规范变换中的快速振荡导致矛盾，表明在自然收敛假设下，此类弱解不可能存在。

ABSTRACT

We prove non-existence of solutions for the cubic nonlinear Schrödinger equation (NLS) on the circle if initial data belong to $H^s(\mathbb{T}) \setminus L^2(\mathbb{T})$ for some $s \in (-\frac18, 0)$. The proof is based on establishing an a priori bound on solutions to a renormalized cubic NLS in negative Sobolev spaces via the short time Fourier restriction norm method.

研究动机与目标

• 建立周期性三次 NLS 在负索伯列夫空间中弱解非存在性的证明，其初始数据属于 $ H^s(\mathbb{T}) \setminus L^2(\mathbb{T}) $。
• 解决在 $ H^s(\mathbb{T}) \setminus L^2(\mathbb{T}) $ 中三次 NLS 的不适定性问题，其中 $ s \in (-1/8, 0) $，标准适定性不成立。
• 通过排除在自然逼近条件下弱解的存在性，提供比先前结果更强的不适定性形式。
• 通过振荡规范变换的反证法，证明解映射在 $ H^s $ 中对于 $ s < 0 $ 即使在弱意义下也不连续。

提出的方法

• 使用短时傅里叶限制范数方法，在负索伯列夫空间中对重正则化（Wick 有序）三次 NLS 的解建立先验界。
• 应用规范变换 $ v_n(t) = e^{-2it \fint |u_{0,n}|^2 dx} u_n(t) $，在解序列中引入快速振荡。
• 利用光滑解 $ u_n \to u $ 在 $ C([-T,T]; H^s) $ 中的收敛性，通过振荡积分的黎曼-勒贝格引理导出矛盾。
• 通过一致有界性和频率截断估计，证明变换后序列 $ \{v_n\} $ 在 $ C([-T,T]; H^s) $ 中的预紧性。
• 利用 $ v_n \to 0 $ 在 $ \mathcal{D}' $ 中的事实，由于快速振荡，而子序列收敛于 $ v \in C([-T,T]; H^s) $，从而强制 $ v \equiv 0 $。
• 从 $ u_0 = v(0) = 0 $ 导出矛盾，与假设 $ u_0 \in H^s \setminus L^2 $ 矛盾。

实验结果

研究问题

• RQ1 在 $ H^s(\mathbb{T}) \setminus L^2(\mathbb{T}) $ 中，周期性三次 NLS 对于 $ s \in (-1/8, 0) $ 是否可能存在弱解？
• RQ2 在 $ H^s $ 中，三次 NLS 的解映射是否即使在弱意义下也连续？
• RQ3 负索伯列夫空间中的先验估计是否能在自然逼近条件下排除弱解的存在性？
• RQ4 规范变换带来的快速振荡在揭示 $ L^2 $ 以下的不适定性中起什么作用？
• RQ5 解映射不连续性的失效是否扩展到指定负索伯列夫空间中任何弱解的非存在性？

主要发现

• 在给定收敛条件下，对于初始数据 $ u_0 \in H^s(\mathbb{T}) \setminus L^2(\mathbb{T}) $ 且 $ s \in (-1/8, 0) $，周期性三次 NLS（1.1）在 $ C([-T,T]; H^s(\mathbb{T})) $ 中不存在分布解 $ u $。
• 由于此类解的非存在性，解映射 $ u_0 \mapsto u $ 在 $ H^s $ 中对于 $ s < 0 $ 即使在弱意义下也不连续。
• 在 $ F^{s,\alpha}(T) $ 空间中对重正则化（Wick 有序）NLS 的先验界确保了解的统一控制，从而支持矛盾论证。
• 规范变换 $ v_n(t) = e^{-2it \fint |u_{0,n}|^2 dx} u_n(t) $ 引入快速振荡，迫使 $ v_n \to 0 $ 在 $ \mathcal{D}' $ 中，与非零极限的存在性矛盾。
• 假设 $ u_n \to u $ 在 $ C([-T,T]; H^s) $ 中且 $ u_n $ 光滑，可导出子序列 $ v_{n_k} \to v $ 在 $ C([-T,T]; H^s) $ 中，但 $ v \equiv 0 $，意味着 $ u_0 = 0 $，导致矛盾。
• 该结果建立了强于先前结果的不适定性形式，即使在光滑解逼近下也排除了弱解的存在。