[论文解读] Normal form approach to global well-posedness of the quadratic derivative nonlinear Schrödinger equation on the circle

Jaywan Chung, Zihua Guo+2 more|Edinburgh Research Explorer|Sep 27, 2015

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

一句话总结

该论文在小的、均值为零的初值条件下，于傅里叶-勒贝格空间 $\mathcal{F}L^{s,p}_{0}(\mathbb{T})$ 上建立了环面上二次导数非线性薛定谔方程的无条件全局适定性。通过结合无穷阶正规形式约化与科尔-霍普夫变换，作者证明了正则性的保持性并构造了无穷多个守恒量，同时通过构造一个具有非小均值为零初值的有限时间爆破解，展示了小性条件的必要性。

ABSTRACT

We consider the quadratic derivative nonlinear Schrödinger equation (dNLS) on the circle. In particular, we develop an infinite iteration scheme of normal form reductions for dNLS. By combining this normal form procedure with the Cole-Hopf transformation, we prove unconditional global well-posedness in $L^2(\mathbb{T})$, and more generally in certain Fourier-Lebesgue spaces $\mathcal{F} L^{s, p}(\mathbb{T})$, under the mean-zero and smallness assumptions. As a byproduct, we construct an infinite sequence of quantities that are invariant under the dynamics. We also show the necessity of the smallness assumption by explicitly constructing a finite time blowup solution with non-small mean-zero initial data.

研究动机与目标

• 在低正则性傅里叶-勒贝格空间中建立环面上二次导数非线性薛定谔方程（dNLS）的全局适定性。
• 通过发展无穷阶正规形式约化迭代方案，克服在索伯列夫空间中的不适定性。
• 在小性与均值为零条件下，证明 $\mathcal{F}L^{s,p}_{0}(\mathbb{T})$ 中的无条件唯一性与正则性保持性。
• 构造一个在dNLS动力学下不变的无穷多个守恒量序列。
• 通过构造一个具有非小均值为零初值的有限时间爆破解，证明小性假设的必要性。

提出的方法

• 发展无穷阶正规形式约化程序，以迭代方式消除dNLS方程中的非共振二次相互作用。
• 应用科尔-霍普夫变换，将dNLS转化为更易于进行正规形式分析的形式。
• 在频率空间中利用正规形式方程，推导出解的迭代非线性相互作用级数展开。
• 通过分布空间中的收敛性论证与频率相互作用上的杨不等式，严格化所有形式计算。
• 利用正规形式方程的正则性保持性，将局部解延拓为 $\mathcal{F}L^{s,p}_{0}(\mathbb{T})$ 中的全局解。
• 通过设计一个在 $t=\pi/2$ 时刻到达原点的规范变换环 $W(t,x)$，构造一个有限时间爆破解，使得逆规范变换奇异。

实验结果

研究问题

• RQ1 尽管在索伯列夫空间中不适定，是否能在低正则性傅里叶-勒贝格空间中建立圆周上二次导数NLS的全局适定性？
• RQ2 对均值为零初值的小性假设是否为全局存在性的必要条件？能否将适定性推广至大初值？
• RQ3 能否为缺乏标准守恒律的dNLS构造无穷多个守恒量？
• RQ4 正规形式约化程序与科尔-霍普夫变换如何协同作用以实现全局控制？
• RQ5 小性如何防止爆破？其精确机制是什么，能否进行定量展示？

主要发现

• 在小性与均值为零条件下，$\mathcal{F}L^{s,p}_{0}(\mathbb{T})$ 中的全局适定性被确立，其中 $s > \frac{1}{2} - \frac{1}{p}, p > 2$ 或 $s \geq 0, p = 2$。
• 所构造解在 $C(\mathbb{R}; \mathcal{F}L^{s,p}_{0}(\mathbb{T}))$ 中满足无条件唯一性。
• 构造了无穷多个守恒量 $\{\mathcal{Q}_k(t)\}_{k \in \mathbb{Z}_0}$，其在dNLS动力学下保持不变。
• 小性假设被证明是精确的：通过构造一个具有非小均值为零初值的有限时间爆破解，展示了其必要性。
• 爆破发生在 $t = \pi/2$，此时解的 $L^1$-范数发散，且所有 $\mathcal{F}L^{s,p}_{0}$-范数在 $t \to \pi/2^-$ 时也发散。
• 正规形式约化方案通过分布空间中的收敛性与频率相互作用上的杨不等式得到严格证明。