[论文解读] Derivation of the nonlinear Schrödinger equation from a many body Coulomb system

László Erdős, Horng‐Tzer Yau|ArXiv.org|Nov 22, 2001

Nonlinear Waves and Solitons参考文献 6被引用 37

一句话总结

本文在 N → ∞ 的平均场极限下，严格推导了非线性薛定谔方程（具体为具有库仑势的哈特ree方程）从玻色子的 N 体量子系统。通过证明适当索伯列夫型范数下 BBGKY 层次方程解的唯一性，并为多体薛定谔方程导出先验估计，作者表明关联函数可分解，且单体密度矩阵收敛于非线性哈特ree方程的解。

ABSTRACT

We consider the time evolution of N bosonic particles interacting via a mean field Coulomb potential. Suppose the initial state is a product wavefunction. We show that at any finite time the correlation functions factorize in the limit $N o \infty$. Furthermore, the limiting one particle density matrix satisfies the nonlinear Hartree equation. The key ingredients are the uniqueness of the BBGKY hierarchy for the correlation functions and a new apriori estimate for the many-body Schrödinger equations.

研究动机与目标

• 在平均场极限下，严格从具有库仑相互作用势的 N 个玻色子多体量子系统推导非线性哈特ree方程。
• 解决无限 BBGKY 层次方程在奇异（库仑）势情况下的唯一性这一开放问题，此前该问题因无界性而受阻。
• 在初始态为乘积态的假设下，建立 N 体关联函数向非线性哈特ree方程所决定的乘积形式的收敛性。
• 将平均场近似的有效性扩展至具有长程、奇异相互作用（如库仑势）的系统，此类系统在电浆和引力系统中具有物理相关性。
• 提出一种新的多体薛定谔方程先验估计，可在索伯列夫型范数下控制动力学，克服以往迹范数方法的局限性。

提出的方法

• 从 N 体薛定谔方程形式推导 BBGKY 层次方程，将 k 体关联函数的时间导数与 (k+1) 体函数联系起来。
• 使用迭代索伯列夫空间范数（弱于标准 H^1 范数）通过哈代不等式控制无界的库仑势，从而在奇异性存在时实现估计。
• 建立一种新的多体薛定谔方程先验估计，控制索伯列夫型范数下关联函数的增长。
• 通过证明任意解必须由非线性哈特ree方程的解构建而成的乘积形式，证明无限 BBGKY 层次方程的唯一性。
• 应用变分原理与紧算子空间和迹类之间的迹对偶性，控制算子范数，并建立索伯列夫空间及其对偶之间的对偶关系。
• 利用初始态为乘积波函数的事实，确保极限关联函数可分解，从而为平均场近似提供依据。

实验结果

研究问题

• RQ1 在 N → ∞ 的极限下，能否从具有库仑相互作用势的 N 体玻色子量子系统严格推导出非线性哈特ree方程？
• RQ2 当相互作用势为奇异（如库仑势）时，无限 BBGKY 层次方程的解是否唯一？
• RQ3 能否将以往用于有界势的迹范数方法扩展至无界、奇异势（如 |x|⁻¹）的情形？
• RQ4 在存在库仑相互作用时，为控制多体薛定谔动力学，需要何种类型的先验估计？
• RQ5 即使相互作用为奇异的，在平均场极限下，N 体系统的关联结构是否仍可分解？

主要发现

• 在 N → ∞ 的极限下，N 体系统的关联函数可分解，即若初始态无关联，则后续时间的关联可忽略。
• 极限单体密度矩阵满足具有库仑势的非线性哈特ree方程，即薛定谔-泊松系统。
• 在通过哈代不等式控制无界库仑势的迭代索伯列夫范数下，无限 BBGKY 层次方程的解是唯一的。
• 导出了多体薛定谔方程的新先验估计，该估计对控制奇异相互作用下的动力学至关重要。
• 在不假设势有界性的前提下，建立了 N 体关联函数向哈特ree解乘积形式的收敛性，从而将先前结果推广至库仑情形。
• 利用紧算子空间与迹类之间的对偶性，严格识别了索伯列夫型空间的对偶，从而支持了解的唯一性与收敛性的证明。