[论文解读] Optimal convergence rate of nonrelativistic limit for the nonlinear pseudo-relativistic equations

Woocheol Choi, Younghun Hong+1 more|arXiv (Cornell University)|Oct 19, 2016

Advanced Mathematical Physics Problems参考文献 25被引用 5

一句话总结

本文建立了非线性伪相对论方程基态在 $c \to \infty$ 时向非相对论对应态收敛的最优收敛速率 $1/c^2$。通过谱分析与洛伦兹空间估计，作者证明该收敛是精确的，并在任意索伯列夫范数下一致成立，解决了关于相对论孤立子渐近行为的长期悬而未决的问题。

ABSTRACT

In this paper, we are concerned with the nonrelativistic limit of the following pseudo-relativistic equation with Hartree nonlinearity or power type nonlinearity \[ \left(\sqrt{-\hbar^2c^2 Δ+m^2c^4} - mc^2 ight) u + μu = \mathcal{N}(u), \] where $c$ denotes the speed of light. We prove that the ground states of this equation converges to the ground state of its nonrelativistic counterpart \[ -\frac{\hbar^2}{2m}Δu + μu = \mathcal{N}(u) \] with an explicit convergence rate $1/c^2$ in arbitrary order as $c o \infty$. Moreover, we show that this rate is optimal.

研究动机与目标

• 建立非线性伪相对论方程基态在 $c \to \infty$ 时向非相对论对应态的最优收敛速率。
• 解决长期悬而未决的开放问题：在非相对论极限下，收敛速率对幂次型与哈特定理型非线性项是否均为精确的。
• 在任意索伯列夫范数下提供一致收敛估计，确保在不同正则性类中的鲁棒性。
• 通过泛函分析与调和分析工具，严格量化非相对论近似中的误差，将分析拓展至形式渐近展开之外。

提出的方法

• 对伪相对论方程进行归一化以消除物理常数，将问题简化为 $c \to \infty$ 时的无参数极限。
• 定义伪微分算子 $P_c(D)$，其符号为 $P_c(\xi) = \sqrt{c^2|\xi|^2 + c^4/4} - c^2/2 + 1$，该算子控制相对论动能。
• 应用洛伦兹空间插值理论与马尔钦基维奇插值法，控制非线性项的正则性与有界性。
• 在洛伦兹空间中应用分数阶乘积法则，估计方程中非线性相互作用。
• 采用谱分解与基态的变分刻画，比较相对论与非相对论能量泛函的极小化子。
• 通过能量比较与摄动论据，建立相对论与非相对论基态之间差值的统一有界性。

实验结果

研究问题

• RQ1 当 $c \to \infty$ 时，伪相对论非线性薛定谔方程基态向非相对论方程基态的最优收敛速率为何？
• RQ2 该 $1/c^2$ 收敛速率是否精确，或可在给定假设下进一步提升？
• RQ3 该收敛是否在任意阶索伯列夫范数下一致成立？若成立，其量化方式如何？
• RQ4 幂次型与哈特定理型非线性项如何影响收敛速率与基态结构？
• RQ5 能否通过泛函分析与调和分析工具，在不同正则性类中统一建立收敛性？

主要发现

• 伪相对论方程的基态在 $c \to \infty$ 时以最优速率 $1/c^2$ 收敛于非相对论方程的基态。
• 该收敛速率是精确的，无法改进，通过构造反例证明任何更快速率均不成立。
• 该收敛在所有 $H^s(\mathbb{R}^n)$（$s \geq 1/2$）中一致成立，误差有界于 $C/c^2 \|u_\infty\|_{H^s}$。
• 该结果适用于幂次型非线性项 $\mathcal{N}(u) = |u|^{p-2}u$（其中 $2 < p < 2n/(n-1)$）与三维空间中哈特定理型非线性项 $\mathcal{N}(u) = (|x|^{-1} * |u|^2)u$。
• 证明依赖于对相对论符号的精细渐近展开，以及通过洛伦兹空间估计对差值算子的精确控制。
• 作者通过变分方法与插值理论，建立了相对论与非相对论基态之间差值的统一有界性，确认了 $1/c^2$ 速率的最优性。