[论文解读] Global Smooth Effects and Well-Posedness for the Derivative Nonlinear Schrödinger Equation with Small Rough Data

Wang Baoxiang, Lijia Han+1 more|ArXiv.org|Aug 22, 2008

Advanced Mathematical Physics Problems参考文献 23被引用 7

一句话总结

本文通过在各向异性勒贝格空间中使用新颖的全局光滑效应估计和频率均匀分解，建立了小粗糙初值在调制空间 $M^{3/2}_{2,1}(\mathbb{R}^n)$ 中的导数非线性薛定谔方程（DNLS）的全局适定性与散射。结果将适定性范围扩展至比以往已知更广泛的粗糙数据类，包括位于 $B^{s+n/2}_{2,1}$ 中但不在 $B^s_{2,1}$ 中的数据。

ABSTRACT

m We obtain the global smooth effects for the solutions of the linear Schrödinger equation in anisotropic Lebesgue spaces. Applying these estimates, we study the Cauchy problem for the generalized elliptical and non-elliptical derivative nonlinear Schrödinger equations (DNLS) and get the global well posedness of solutions with small data in modulation spaces $M^{3/2}_{2,1}(\mathbb{R}^n)$. Noticing that $H^{ ilde{s}} \subset M^s_{2,1}$ $( ilde{s}-s>n/2)$ is an optimal inclusion, we have shown the global well posedness of DNLS with a class of very rough data.

研究动机与目标

• 建立广义导数非线性薛定谔方程（gDNLS）在粗糙函数空间中小初值的全局适定性。
• 通过利用调制空间 $M^{s}_{2,1}$，将可接受初值的范围扩展至经典索伯列夫空间与贝索夫空间之外。
• 证明在 $M^{3/2}_{2,1}(\mathbb{R}^n)$ 中小初值下散射算子的存在性。
• 展示 $M^{s}_{2,1}$ 包含比 $B^{s+n/2}_{2,1}$ 更粗糙的初值，从而优于已知的适定性阈值。

提出的方法

• 在各向异性勒贝格空间 $L^{p_1}_{x_1}L^{p_2}_{x_2}\cdots L^{p_n}_{x_n}L^p_t(\mathbb{R}^{n+1})$ 中推导线性薛定谔方程的全局光滑效应估计。
• 利用频率均匀分解方法，在空间局部勒贝格空间中建立时间全局最大函数估计。
• 应用频率均匀分解以控制调制空间 $M^{s}_{2,1}$ 中的非线性相互作用。
• 利用最优包含关系 $B^{s+n/2}_{2,1} \subset M^{s}_{2,1} \subset B^{s}_{2,1}$，证明 $M^{s}_{2,1}$ 包含比 $B^{s+n/2}_{2,1}$ 更粗糙的初值。
• 证明限制算子 $T$ 在各向异性勒贝格空间上的有界性，以导出斯特里科夫型估计。
• 将线性估计与不动点论证相结合，建立 $M^{3/2}_{2,1}(\mathbb{R}^n)$ 中小初值的全局适定性与散射。

实验结果

研究问题

• RQ1 能否在包含比 $B^{s+n/2}_{2,1}$ 更粗糙初值的 $M^{3/2}_{2,1}(\mathbb{R}^n)$ 空间中，为 DNLS 建立全局适定性？
• RQ2 对于小初值，DNLS 全局适定性的最优正则性阈值在调制空间中是什么？
• RQ3 线性薛定谔传播子在各向异性勒贝格空间中的估计如何实现对非线性解的全局控制？
• RQ4 能否为 $M^{3/2}_{2,1}(\mathbb{R}^n)$ 中小初值的 DNLS 构造散射算子？
• RQ5 频率均匀分解在将适定性扩展至调制空间中粗糙初值时起到什么作用？

主要发现

• 对于 $n \geq 2$，$m \geq 2$，且 $m > 4/n$（其中 $m$ 为非线性度），在 $M^{3/2}_{2,1}(\mathbb{R}^n)$ 中小初值下，DNLS 的全局适定性得以确立。
• 在 $M^{3/2}_{2,1}(\mathbb{R}^n)$ 中，解映射被证明是全局适定的，其范围超越了经典的 $H^s$ 与 $B^s_{2,1}$ 框架。
• 在 $M^{3/2}_{2,1}(\mathbb{R}^n)$ 中小初值下，散射算子存在，意味着当 $t \to \pm\infty$ 时解渐近收敛于自由解。
• $M^{3/2}_{2,1}(\mathbb{R}^n)$ 包含满足 $\|u\|_{B^{s+n/2}_{2,1}} \ll 1$ 但 $\|u\|_{M^{s}_{2,1}} = \infty$ 的函数，证明其可处理比 $B^{s+n/2}_{2,1}$ 更粗糙的初值。
• 线性传播子在各向异性勒贝格空间中的估计导出了全局光滑效应与最大函数估计，这对控制非线性项至关重要。
• 频率均匀分解方法使 $M^{s}_{2,1}$ 中全局估计的推导成为可能，从而能够处理非椭圆型与非光滑非线性项。