[论文解读] Normal form approach to the one-dimensional periodic cubic nonlinear Schrödinger equation in almost critical Fourier-Lebesgue spaces

Tadahiro Oh, Yuzhao Wang|arXiv (Cornell University)|Nov 12, 2018

Advanced Mathematical Physics Problems参考文献 28被引用 12

一句话总结

本文提出一种正规型约化方法，用于研究一维周期性立方非线性薛定谔方程（NLS）在几乎临界傅里叶-勒贝格空间 $\mathcal{F}L^p(\mathbb{T})$（其中 $1 \leq p < \infty$）中的行为。通过迭代应用正规型约化，作者推导出一个变换后的方程，其正则性性质优于重整化后的 NLS 方程，从而在 $1 \leq p \leq \frac{3}{2}$ 范围内证明了 $\mathcal{F}L^p(\mathbb{T})$ 中的无条件全局适定性与唯一性，将适定性结果扩展至 $L^2$-临界情形之外。

ABSTRACT

In this paper, we study the one-dimensional cubic nonlinear Schrödinger equation (NLS) on the circle. In particular, we develop a normal form approach to study NLS in almost critical Fourier-Lebesgue spaces. By applying an infinite iteration of normal form reductions introduced by the first author with Z. Guo and S. Kwon (2013), we derive a normal form equation which is equivalent to the renormalized cubic NLS for regular solutions. For rough functions, the normal form equation behaves better than the renormalized cubic NLS, thus providing a further renormalization of the cubic NLS. We then prove that this normal form equation is unconditionally globally well-posed in the Fourier-Lebesgue spaces $\mathcal{F} L^p(\mathbb{T})$, $1 \leq p &lt; \infty$. By inverting the transformation, we conclude global well-posedness of the renormalized cubic NLS in almost critical Fourier-Lebesgue spaces in a suitable sense. This approach also allows us to prove unconditional uniqueness of the (renormalized) cubic NLS in $\mathcal{F} L^p(\mathbb{T})$ for $1\leq p \leq \frac32$.

研究动机与目标

• 解决在 $p > 2$ 时，立方非线性薛定谔方程（NLS）在傅里叶-勒贝格空间 $\mathcal{F}L^p(\mathbb{T})$ 中的不适定性问题。
• 通过无限重正规型迭代发展一种精细化的重整化技术，以改善粗糙初值下方程的正则性行为。
• 在 $\mathcal{F}L^p(\mathbb{T})$ 中建立重整化立方 NLS 的无条件全局适定性与唯一性，其中 $1 \leq p \leq \frac{3}{2}$，并将结果扩展至 $L^2$-临界情形之外。
• 证明正规型方程在粗糙函数情形下的表现优于重整化 NLS，从而实现更强的全局控制。

提出的方法

• 在环面上对重整化立方 NLS 应用无限重正规型约化，该方法最初由 Oh、Guo 和 Kwon（2013）提出。
• 推导出一个与重整化 NLS 对于光滑解等价的变换后正规型方程，但其在 $\mathcal{F}L^p(\mathbb{T})$ 中粗糙初值下的行为更优。
• 利用傅里叶限制范数方法及基于 $\ell^p$ 的时空范数来控制正规型方程中的非线性相互作用。
• 通过先验估计与正则性保持性论证，建立解在时间上 $\mathcal{F}L^p$-范数的有界性。
• 通过逆正规型变换，推导出原始重整化 NLS 在 $\mathcal{F}L^p(\mathbb{T})$ 中 $1 \leq p \leq \frac{3}{2}$ 范围内的全局适定性与无条件唯一性。
• 利用 $L^2$-守恒律与迭代局部适定性论证，将局部解扩展为全局解，并获得时间上的多项式增长界。

实验结果

研究问题

• RQ1 是否可以利用正规型方法在经典意义下不适定的 $p > 2$ 情形下，实现一维周期性立方 NLS 在傅里叶-勒贝格空间 $\mathcal{F}L^p(\mathbb{T})$ 中的全局适定性？
• RQ2 与重整化 NLS 相比，正规型变换是否能改善 $\mathcal{F}L^p(\mathbb{T})$ 中粗糙初值下解映射的正则性性质？
• RQ3 在 $1 \leq p \leq \frac{3}{2}$ 范围内，重整化立方 NLS 在 $\mathcal{F}L^p(\mathbb{T})$ 中是否可能实现无条件全局适定性与唯一性，从而超越 $L^2$-临界情形？
• RQ4 在正规型公式下，解的 $\mathcal{F}L^p$-范数在时间上的定量行为如何？是否可实现全局控制？

主要发现

• 通过无限重正规型迭代导出的正规型方程在所有 $1 \leq p < \infty$ 下均全局适定，且解表现出无条件的全局控制。
• 在 $\mathcal{F}L^p(\mathbb{T})$ 中，重整化立方 NLS 的无条件全局适定性在 $1 \leq p \leq \frac{3}{2}$ 范围内得以确立，结果扩展至 $L^2$-临界情形之外。
• 正规型方程在粗糙函数情形下的表现优于重整化 NLS，提供了进一步的重整化，改善了正则性并实现了更强的估计。
• 获得了解的 $\mathcal{F}L^p$-范数的先验增长界，对于 $1 \leq p < 2$，其增长至多为时间的多项式形式，具体为 $\sup_{t \in [0,\tau]} \|u(t)\|_{\mathcal{F}L^p} \leq C^{(1 + \|u_0\|_{L^2})^{\theta} \tau} \|u_0\|_{\mathcal{F}L^p}$。
• 在 $\mathcal{F}L^p(\mathbb{T})$ 中，对（重整化）立方 NLS 的解实现了无条件唯一性，即无需事先假设正则性条件即可保证解的唯一性，其中 $1 \leq p \leq \frac{3}{2}$。
• 该方法通过迭代正规型约化将方程转化为更规则的形式，成功克服了原始立方 NLS 在 $\mathcal{F}L^p(\mathbb{T})$ 中 $p > 2$ 时的不适定性。