[论文解读] Critical nonlinear Schroedinger equations with and without harmonic potential

Rémi Carles|arXiv (Cornell University)|Dec 21, 2001

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

一句话总结

该论文在具有各向同性谐振势与不具有该势的临界非线性薛定谔方程（NLS）之间建立了统一变换，保持 L² 范数和有限时间区间上的双射性。关键结果是：标准临界 NLS（无势）中的爆破行为直接决定了含谐振势 NLS 的动力学行为，特别是波包塌缩行为，从而可基于初始质量与基态范数的相对关系，预测全局存在性或有限时间爆破。

ABSTRACT

We use a change of variables that turns the critical nonlinear Schroedinger equation into the critical nonlinear Schroedinger equation with isotropic harmonic potential, in any space dimension. This change of variables is isometric on $L^2$, and bijective on some time intervals. Using the known results for the critical nonlinear Schroedinger equation, this provides information for the properties of Bose-Einstein condensate in space dimension one and two. We discuss in particular the wave collapse phenomenon.

研究动机与目标

• 建立一个数学变换，将具有各向同性谐振势的临界非线性薛定谔方程（NLS）与无势的标准临界 NLS 相关联。
• 利用标准临界 NLS 的全局存在性和爆破结果，推断含谐振势 NLS 的动力学性质。
• 分析在一维和二维空间中，由含谐振势的临界 NLS 模型描述的玻色-爱因斯坦凝聚体中的波包塌缩现象。
• 确定含谐振势 NLS 解全局存在或有限时间爆破的条件，基于初始数据的质量与结构。

提出的方法

• 引入变量变换，将无势标准临界 NLS 的解映射为含各向同性谐振势临界 NLS 的解，反之亦然。
• 该变换通过时变缩放与相位调制显式定义：$ u(t,x) = \frac{1}{(\cos \omega t)^{n/2}} e^{-i\frac{\omega}{2}x^{2}\tan \omega t} v\left(\frac{\tan \omega t}{\omega}, \frac{x}{\cos \omega t}\right) $。
• 该变换在 $ L^2 $ 上保持等距性，保持初始 $ L^2 $-范数，并在时间区间 $ |t| < \arctan(\omega T)/(\omega) $ 上保持双射性。
• 利用标准临界 NLS 的守恒律——质量、能量及伪共形不变性——推导含谐振势解的先验估计。
• 将标准 NLS 中已知的爆破判据（特别是基于初始数据 $ L^2 $-范数与基态 $ Q $ 的比较）应用于含谐振势情形。
• 分析孤子解及其变换后的对应解，以表征爆破与全局存在的参数区域。

实验结果

研究问题

• RQ1 在何种条件下，含谐振势的临界非线性薛定谔方程（NLS）表现出有限时间爆破？
• RQ2 谐振势的存在如何影响解的全局存在性或塌缩行为，相较于标准临界 NLS？
• RQ3 玻色-爱因斯坦凝聚体在谐振势阱中的动力学行为是否能通过变换至标准临界 NLS 框架而被完全表征？
• RQ4 初始 $ L^2 $-范数相对于基态 $ Q $ 的作用，在决定含谐振势 NLS 的爆破或全局存在性中起何作用？

主要发现

• 当初始 $ L^2 $-范数严格小于基态 $ Q $ 的范数时，含谐振势的临界 NLS 解在全局时间上存在，无论 $ \lambda < 0 $ 如何。
• 当初始 $ L^2 $-范数等于 $ \|Q\|_{L^2} $ 时，全局存在性成立，除非初始数据匹配特定的孤子波形（包含二次相位与空间位移）。
• 若初始数据匹配孤子波形 $ u_0(x) \equiv \delta^{n/2} e^{i\theta} Q(\delta(x - x_0)) $，则爆破发生在 $ t = \pi/(2\omega) $。
• 对于不匹配任何特殊孤子波形但 $ \|u_0\|_{L^2} = \|Q\|_{L^2} $ 的初始数据，解全局存在，且 $ L^{2+4/n} $-范数与 $ \Sigma $-范数具有统一有界性。
• 该变换保持 $ L^2 $-范数与能量，从而可直接将标准 NLS 中的爆破与全局存在结果转移至含谐振势情形。
• 若解不匹配特殊孤子形式，则可在爆破时间 $ \pi/(2\omega) $ 之后继续延拓，甚至在初始数据避开所有此类特殊波形时可全局存在。