[论文解读] Long range scattering for nonlinear Schrödinger equations with critical homogeneous nonlinearity

Satoshi Masaki, Hayato Miyazaki|arXiv (Cornell University)|Dec 14, 2016

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

一句话总结

本文在一类临界齐次非线性项的非线性薛定谔方程的长程散射理论中，建立了修正波算符存在的充分条件，适用于一维和二维空间。通过将非线性项利用傅里叶级数分解为共振与非共振部分，作者导出了傅里叶系数的衰减条件，以确保非共振级数的收敛性，从而实现了对非多项式非线性项的修正波算符构造。

ABSTRACT

In this paper, we consider the final state problem for the nonlinear Schrödinger equation with a homogeneous nonlinearity which is of the long range critical order and is not necessarily a polynomial, in one and two space dimensions. As the nonlinearity is the critical order, the possible asymptotic behavior depends on the shape of the nonlinearity. The aim here is to give a sufficient condition on the nonlinearity to construct a modified wave operator. To deal with a non-polynomial nonlinearity, we decompose it into a resonant part and a non-resonant part via the Fourier series expansion. Our sufficient condition is then given in terms of the Fourier coefficients. In particular, we need to pay attention to the decay of the Fourier coefficients since the non-resonant part is an infinite sum in general.

研究动机与目标

• 确定一维和二维空间中具有临界齐次非线性项的非线性薛定谔方程的小振幅、低频解的渐近行为。
• 将长程散射理论从多项式非线性项扩展至临界阶的一般齐次非线性项。
• 建立关于非线性项的充分条件——以傅里叶系数表达——以确保修正波算符的存在性。
• 解决在非多项式情形下处理非共振部分作为无穷级数的挑战，特别是当傅里叶系数的衰减对级数收敛至关重要时。

提出的方法

• 通过单位圆上的周期函数 $ g(\theta) $ 表征齐次非线性项 $ F(u) $，利用齐次性将问题简化为角度依赖关系。
• 将 $ g(\theta) $ 展开为傅里叶级数，将 $ F(u) $ 分解为共振部分（零频项）与非共振部分（高阶谐波）。
• 将非共振部分视为涉及 $ |u|^{2m+1}u $ 的无穷级数，其系数由傅里叶展开导出。
• 利用傅里叶系数 $ g_n $ 的衰减性质，建立非共振项的 $ L^2 $-型估计，特别要求 $ |g_n| \lesssim |n|^{-\beta} $（$ \beta > 0 $）。
• 在加权函数空间 $ X_{d,T,b} $ 中使用 Strichartz 估计与光滑性估计，控制解的范数，并在不动点论证中证明压缩性。
• 证明非线性项关于傅里叶系数的利普希茨连续性，确保积分形式的适定性。

实验结果

研究问题

• RQ1 在何种非线性条件下，非线性薛定谔方程在长程散射情形下存在修正波算符？
• RQ2 在临界情形下，如何处理非多项式齐次非线性项的非共振部分，特别是当其构成无穷级数时？
• RQ3 非线性项的傅里叶系数应具有何种衰减率，才能保证级数收敛及修正波算符的存在？
• RQ4 当非线性项非多项式（如二维中 $ F(u) = |\operatorname{Re} u| \operatorname{Re} u $）时，解的渐近行为能否被刻画？
• RQ5 与非共振项相比，由 $ g_0 $ 决定的共振项如何影响长程行为？

主要发现

• 导出了修正波算符存在的充分条件，以非线性项的傅里叶系数 $ g_n $ 表达：若 $ |g_n| \lesssim |n|^{-\beta} $（$ \beta > 0 $），则非共振级数在相关函数空间中收敛。
• 证明了二维中非线性项 $ F(u) = |\operatorname{Re} u| \operatorname{Re} u $ 属于长程情形，因其傅里叶展开包含非零共振项，且非共振部分因系数足够衰减而收敛。
• 通过不动点论证构造的解属于空间 $ X_{d,T,b} $，范数估计表明当 $ T $ 足够大时有 $ \|\Phi(v)\|_{X_{d,T,b}} < 1 $，从而保证了解的存在性与唯一性。
• 在 $ X_{d,T,b} $ 中的压缩映射论证依赖于 $ \|g\|_{\text{Lip}} \varepsilon^{2/d} $ 的小性，该小性通过适当选择 $ \varepsilon $（依赖于 $ g $ 的利普希茨常数）得以保证。
• 解的渐近行为被证明具有形式 $ u(t) \sim (2it)^{-d/2} e^{i|x|^2/4t} \widehat{u_+}(x/(2t)) \exp(-i \mu |\widehat{u_+}(x/(2t))|^{2/d} \log t) $，当共振项非零时，确认了长程散射。
• 本文证明了参数化非线性项的函数 $ g(\theta) $ 的利普希茨连续性，等价于点态估计 $ |F(u) - F(v)| \leq C(|u|^{2/d} + |v|^{2/d})|u - v| $，这对压缩性论证至关重要。