[论文解读] WKB analysis for nonlinear Schrödinger equations with potential

Rémi Carles|Jan 25, 2006

Hermeneutics and Narrative Identity被引用 5

一句话总结

本文为具有次二次势和一般初始相位的半经典非线性薛定谔方程提供了WKB渐近分析的严格依据，将先前结果扩展至在焦点发散、原点处为立方非线性的超临界情形。研究证明了解对WKB型近似的一致收敛性，误差界依赖于非线性强度参数 $\kappa$，对于 $\kappa > 0$ 实现了 $L^2 \cap L^\infty$ 一阶收敛，并通过一系列校正项给出了明确的误差速率。

ABSTRACT

We justify the WKB analysis for the semiclassical nonlinear Schrödinger equation with a subquadratic potential. This concerns subcritical, critical, and supercritical cases as far as the geometrical optics method is concerned. In the supercritical case, this extends a previous result by E. Grenier; we also have to restrict to nonlinearities which are defocusing and cubic at the origin, but besides subquadratic potentials, we consider initial phases which may be unbounded. For this, we construct solutions for some compressible Euler equations with unbounded source term and unbounded initial velocity.

研究动机与目标

• 将WKB分析扩展至具有次二次势的非线性薛定谔方程的超临界区域。
• 在初始相位可能无界的情况下，严格证明解在半经典极限 $\varepsilon \to 0$ 下的渐近展开。
• 建立解对WKB型近似的收敛性，并给出依赖于非线性强度 $\kappa$ 的误差估计。
• 构造具有无界初始速度和源项的可压缩欧拉方程的解，以支持无界初始相位的WKB分析框架。

提出的方法

• 形式WKB试探解：$ u^\varepsilon \sim (a_0 + \varepsilon a_1 + \cdots)e^{i\Phi/\varepsilon} $，其中 $ \Phi $ 满足eikonal方程 $ \partial_t\Phi + \frac{1}{2}|\nabla_x\Phi|^2 + V = 0 $。
• 将相位分解为 $ \phi^\varepsilon = \phi_{\rm eik} + \varepsilon^\kappa \widetilde{\phi}^\varepsilon $，其中 $ \phi_{\rm eik} $ 是以初始相位 $ \phi_0 $ 求解eikonal方程所得。
• 推导 $ a^\varepsilon $ 和 $ \widetilde{\phi}^\varepsilon $ 的输运方程，其中包含非线性源项 $ f(|a^\varepsilon|^2) $。
• 利用能量估计和Gronwall型不等式，控制近似解与精确解在 $ H^s $ 范数下的差异。
• 构造高阶校正项 $ \widetilde{\phi}^{(1)}, \dots, \widetilde{\phi}^{(N)} $，以在 $ L^\infty([0,T];H^s) $ 中实现 $ o(\varepsilon^{N\kappa}) $ 的误差。
• 通过迭代精化实现完整WKB展开的严格性，误差界按 $ \varepsilon^{\kappa} $ 刻画（当 $ \kappa < 1 $ 时），高阶情形则为 $ \varepsilon^{(N+1)\kappa} $。

实验结果

研究问题

• RQ1 能否为具有次二次势和无界初始相位的非线性薛定谔方程，严格证明WKB分析的合理性？
• RQ2 当非线性为焦点发散且在原点处为立方时，在超临界区域（$ \kappa > 0 $）中，解的渐近行为如何？
• RQ3 WKB近似中的误差估计如何依赖于非线性强度参数 $ \kappa $？
• RQ4 能否构造具有无界数据的关联可压缩欧拉方程的解，以支持WKB框架？
• RQ5 在不同 $ \kappa $ 范围下，WKB近似在 $ L^2 \cap L^\infty $ 中的最优收敛速率是什么？

主要发现

• 当 $ \kappa > 1 $ 时，主导阶WKB近似 $ a_0 e^{i\phi_{\rm eik}/\varepsilon} $ 成立，且满足 $ \|u^\varepsilon - a_0 e^{i\phi_{\rm eik}/\varepsilon}\|_{L^\infty([0,T];L^2 \cap L^\infty)} = o(1) $。
• 当 $ 0 < \kappa < 1 $ 时，近似误差满足 $ \|a^\varepsilon - a\|_{H^s} \leq C_s \varepsilon^\kappa $，其中 $ a $ 是输运方程 (1.6) 的解。
• 当 $ \kappa = 1 $ 时，出现单个相位修正因子 $ G $，在更弱假设下恢复了命题1.2的结果。
• 当 $ \kappa < 1/2 $ 时，需引入 $ \varepsilon^{2\kappa} $ 阶的高阶校正项，完整展开可实现 $ o(\varepsilon^{N\kappa}) $ 的误差，其中 $ N = [1/\kappa] $。
• $(a^\varepsilon, \phi^\varepsilon) $ 在 $ C([0,T];H^s)^2 $ 中一致有界，且对极限 $ (a, \widetilde{\phi}) $ 的收敛在 $ H^s $ 中为强收敛。
• 该分析适用于初始相位 $ \phi_0 $ 具有无界二阶导数的情形，扩展了以往要求初始相位有界的结论。