[论文解读] Improved interaction Morawetz inequalities for the cubic nonlinear Schrödinger equation on $\R^2$

J. Colliander, Manoussos G. Grillakis+1 more|ArXiv.org|Mar 20, 2007

Advanced Mathematical Physics Problems参考文献 9被引用 17

一句话总结

本文建立了 $$L^2$-临界、非聚焦三次非线性薛定谔方程在 $$\mathbb{R}^2$ 上的全局适定性，初始数据属于 $$H^s(\mathbb{R}^2)$，其中 $s > \frac{2}{5}$，优于此前 $s \geq \frac{1}{2}$ 的阈值。作者结合使用 $I$-方法与一种新型相互作用 Morawetz 估计，以控制 $H^s$ 范数的增长，证明了解的正则性在时间上具有多项式有界性。

ABSTRACT

We prove global well-posedness for low regularity data for the $L^2-critical$ defocusing nonlinear Schrödinger equation (NLS) in 2d. More precisely we show that a global solution exists for initial data in the Sobolev space $H^{s}(\mathbb R^2)$ and any $s>{2/5}$. This improves the previous result of Fang and Grillakis where global well-posedness was established for any $s \geq {1/2}$. We use the $I$-method to take advantage of the conservation laws of the equation. The new ingredient is an interaction Morawetz estimate similar to one that has been used to obtain global well-posedness and scattering for the cubic NLS in 3d. The derivation of the estimate in our case is technical since the smoothed out version of the solution $Iu$ introduces error terms in the interaction Morawetz inequality. A byproduct of the method is that the $H^{s}$ norm of the solution obeys polynomial-in-time bounds.

研究动机与目标

• 建立 $$L^2$-临界、非聚焦三次非线性薛定谔方程在 $$\mathbb{R}^2$ 上，针对低正则性初始数据的全局适定性。
• 改进 Fang 与 Grillakis 所建立的先前全局适定性阈值 $s \geq \frac{1}{2}$。
• 发展并应用一种专为 $I$-方法框架设计的新型相互作用 Morawetz 估计，适用于二维情形，其中非线性项为代数形式，且必须仔细控制平滑算子 $I$ 所引入的误差项。
• 证明当 $s > \frac{2}{5}$ 时，解的 $H^s$ 范数在时间上至多以多项式方式增长，从而确认长时间存在性与稳定性。

提出的方法

• 应用 $I$-方法，将守恒能量 $E(u)$ 替换为修正能量 $E(Iu)$，该能量在 $s < 1$ 时近乎守恒，从而实现对低正则性解的控制。
• 推导出一种频率局部化的相互作用 Morawetz 估计，该估计适配于 $I$-算子与 $L^2$-临界标度，用于控制 $Iu$ 的 $L^4_tL^4_x$ 范数的增长。
• 该方法涉及一个缩放 $u^\lambda(x,t) = \frac{1}{\lambda}u(\frac{x}{\lambda}, \frac{t}{\lambda^2})$，以归一化 $Iu^\lambda$ 的 $H^1$-范数，从而在 Morawetz 不等式中使用先验估计。
• 通过交换子估计与 $Iu$ 的 $L^4_tL^4_x$ 控制，对 $I$ 与非线性项之间交换子所产生的误差项进行有界，确保修正能量在时间区间内近乎守恒。
• 证明采用反证法：假设 $Iu$ 的 $L^4_tL^4_x$ 范数超过某一阈值，将与 Morawetz 估计中的能量控制产生矛盾，从而迫使该范数保持有界。
• 最终论证结合 $I$-方法与相互作用 Morawetz 估计，表明 $H^s$ 范数在时间上至多以多项式方式增长，从而推出当 $s > \frac{2}{5}$ 时解的全局存在性。

实验结果

研究问题

• RQ1 能否在低于能量空间的初始数据条件下，即 $s > \frac{2}{5}$ 时，为 $$\mathbb{R}^2$ 上的 $L^2$-临界、非聚焦三次 NLS 建立全局适定性？
• RQ2 如何将 $I$-方法适配于二维空间，以获得改进的相互作用 Morawetz 估计，特别是在非线性项为代数形式且引入误差项时？
• RQ3 使用 $I$-方法与相互作用 Morawetz 估计时，解的 $H^s$ 范数在时间上具有多项式有界性的最优正则性阈值 $s$ 是多少？
• RQ4 在缺乏径向对称性的情况下，相互作用 Morawetz 估计能否用于排除质量逃逸或集中情形，从而确保全局存在性？

主要发现

• 在 $$H^s(\mathbb{R}^2)$ 初始数据满足 $s > \frac{2}{5}$ 的条件下，建立了 $$L^2$-临界、非聚焦三次非线性薛定谔方程在 $$\mathbb{R}^2$ 上的全局适定性，优于此前 $s \geq \frac{1}{2}$ 的阈值。
• 解的 $H^s$ 范数满足时间上的多项式有界性：$\|u(t)\|_{H^s} \lesssim T^{\frac{3s(1-s)}{2(5s-2)}}$，其中 $t = T_0$ 较大，确认了长时间正则性。
• 推导出一种改进的相互作用 Morawetz 估计，可控制 $Iu$ 的 $L^4_tL^4_x$ 范数，且对 $I$-算子的平滑作用具有鲁棒性，即使在非线性项引入误差项时亦然。
• 证明了 $I$ 与非线性项交换子所产生的误差项在每个时间区间内为 $O(1/N)$，并通过在 dyadic 区间上的求和控制其累积效应。
• 反证法表明，$Iu$ 的 $L^4_tL^4_x$ 范数超过阈值的集合必为空集，从而推出该范数保持有界，全局存在性得证。
• 该方法证实修正能量 $E(Iu)$ 在时间上近乎守恒，其增量以 $O(1/N^{3/2})$ 速率衰减，从而使得 $s > \frac{2}{5}$ 时局部解可延拓为全局解。