[论文解读] On the decay of solutions to a class of defocusing NLS

Nicola Visciglia|ArXiv.org|Nov 12, 2008

Advanced Mathematical Physics Problems参考文献 4被引用 3

一句话总结

本文在所有维度 $ d \geq 1 $ 下建立了聚焦非线性薛定谔方程（NLS）全局解的 $ L^r $-范数衰减，证明了当 $ d \geq 3 $ 时 $ \|u(t,\cdot)\|_{L^r(\mathbb{R}^d)} \to 0 $ 作为 $ t \to \pm\infty $，其中 $ 2 < r < \frac{2d}{d-2} $；当 $ d = 1,2 $ 时，$ 2 < r < \infty $。该结果扩展了先前工作，消除了对 $ \alpha > \frac{4}{d} $ 的限制，通过 Strichartz 估计和相互作用 Morawetz 估计，在能量次临界范围内也证明了色散性。

ABSTRACT

We consider the following family of Cauchy problems: {equation*} i\partial_t u= Δu - u|u|^α, (t,x) \in \R imes \R^d {equation*} $$u(0)=φ\in H^1(\R^d)$$ where $0\frac 4d$.

研究动机与目标

• 在所有维度 $ d \geq 1 $ 下建立聚焦 NLS 方程全局解的 $ L^r $-范数渐近衰减，即使在 $ \alpha \leq \frac{4}{d} $ 的情形下，该情形此前在衰减性方面仍为开放问题。
• 通过证明在 $ d \geq 3 $ 时 $ 0 < \alpha < \frac{4}{d-2} $ 以及 $ d = 1,2 $ 时 $ 0 < \alpha < \infty $ 的完整次临界范围内 $ L^r $-范数衰减，将已知的聚焦 NLS 散射理论扩展至此前所需的条件 $ \alpha > \frac{4}{d} $ 之外。
• 通过建立 $ L^r $-范数衰减作为关键中间步骤，利用 Strichartz 估计和相互作用 Morawetz 估计，提供能量空间 $ H^1(\mathbb{R}^d) $ 中散射的新证明。
• 通过证明当初始数据属于 $ H^1 $ 且 $ \alpha \leq \frac{4}{d} $ 时，解满足 $ \|u(t,\cdot)\|_{L^r} \to 0 $ 作为 $ t \to \pm\infty $，解决了聚焦 NLS 解是否表现出色散性的开放问题。

提出的方法

• 证明依赖于反证法，假设当 $ t \to \pm\infty $ 时 $ \|u(t,\cdot)\|_{L^r} \not\to 0 $，从而导出一列时间 $ t_n \to \infty $，使得解在移动立方体 $ Q_2(x_n) $ 上的 $ L^2 $-范数保持远离零。
• 定义平移后的解序列 $ \varphi_n(x) = u(t_n, x + x_n) $，其在 $ H^1 $ 中有界，从而可提取出在 $ H^1 $ 中的弱极限 $ \bar{\varphi} \not\equiv 0 $，且在固定立方体上具有正的 $ L^2 $-质量。
• 利用 NLS 流在弱收敛下的稳定性：从 $ \varphi_n $ 出发的解 $ u_n(t) $ 弱收敛于从 $ \bar{\varphi} $ 出发的解 $ \bar{u}(t) $，并保持在某正时间区间上 $ \|\chi \bar{u}(t)\|_{L^2} $ 的下界。
• 通过证明在不相交的时间区间 $ (t_n, t_n + T_0) $ 上，对 $ \|u(t,\cdot)\|_{L^2(Q_2(x_n))} $ 的一致下界会导致某些相互作用 Morawetz 型积分发散，从而违反已知的先验估计：当 $ d \geq 4 $ 时，$ \int \!\!\!\int \frac{|u(t,x)|^2|u(t,y)|^2}{|x-y|^3} \, dx\,dy\,dt < \infty $；当 $ d = 3 $ 时，$ \|u\|_{L^4_{t,x}} < \infty $。
• 对于 $ d = 1,2 $，论证使用了 $ L^3 $-范数估计 $ \|\psi\|_{L^3}^3 \leq C \left( \sup_x \|\psi\|_{L^2(Q_1(x))} \right) \|\psi\|_{H^1}^2 $，以及已知的先验估计 $ \|u\|_{L^4_t L^8_x} < \infty $（当 $ d = 2 $ 时）和 $ \|u\|_{L^{\alpha+4}_{t,x}} < \infty $（当 $ d = 1 $ 时），从假设的一致下界导出矛盾。
• 证明结合了 Strichartz 估计和相互作用 Morawetz 估计，通过弱收敛和截断函数的使用，采用集中紧致性方法来局部化质量并追踪其在流中的传播。

实验结果

研究问题

• RQ1 当 $ \alpha \leq \frac{4}{d} $ 时，聚焦 NLS 解的 $ L^r $-范数是否在 $ t \to \pm\infty $ 时衰减？此前的方法在此情形下失效。
• RQ2 能否在不假设 $ \alpha > \frac{4}{d} $ 的前提下，通过证明 $ L^r $-范数衰减作为关键步骤，建立 $ H^1 $ 中聚焦 NLS 的散射理论？
• RQ3 是否可能仅通过守恒律和色散估计，在 $ d \geq 3 $ 时对 $ r = \frac{2d}{d-2} $ 证明 $ L^r $-范数衰减，即使 $ \alpha \leq \frac{4}{d} $？
• RQ4 哪些紧致的先验估计能阻止存在一列时间 $ t_n \to \infty $，使得解在正测度的移动集合上均匀集中？

主要发现

• 对于初始数据 $ \varphi \in H^1(\mathbb{R}^d) $ 的聚焦 NLS 全局解 $ u(t,x) $，其 $ L^r $-范数满足：当 $ d \geq 3 $ 时，对所有 $ 2 < r < \frac{2d}{d-2} $，有 $ \lim_{t \to \pm\infty} \|u(t,\cdot)\|_{L^r(\mathbb{R}^d)} = 0 $；当 $ d = 1,2 $ 时，对所有 $ 2 < r < \infty $，该极限也为零。
• 当 $ d = 1 $ 时，$ L^\infty $-范数也衰减：$ \lim_{t \to \pm\infty} \|u(t,\cdot)\|_{L^\infty(\mathbb{R})} = 0 $，这是由 $ L^6 $-范数衰减、$ H^1 $-范数守恒以及 Gagliardo-Nirenberg 不等式共同导致的结果。
• 该结果在 $ \alpha \leq \frac{4}{d} $ 时依然成立，此前该情形为开放问题，因此将已知的衰减结果扩展至 $ \alpha > \frac{4}{d} $ 之外的范围。
• 该证明通过展示 $ L^r $-范数衰减蕴含必要 Strichartz 估计，为 $ \frac{4}{d} < \alpha < \frac{4}{d-2} $ 的 $ H^1(\mathbb{R}^d) $ 中散射提供了新证明。
• 当 $ d \geq 3 $ 且 $ \frac{4}{d} < \alpha < \frac{4}{d-2} $ 时，更强的结果 $ \lim_{t \to \pm\infty} \|u(t,\cdot)\|_{L^{\frac{2d}{d-2}}(\mathbb{R}^d)} = 0 $ 成立，这是由 $ L^r $-衰减、散射性以及自由薛定谔传播子的色散估计共同推导出的。
• 基于相互作用 Morawetz 估计的反证法排除了平移解弱极限非零的可能性，从而在所有维度中证明了 $ L^r $-范数的衰减。