[論文レビュー] From many-body quantum dynamics to the Hartree-Fock and Vlasov equations with singular potentials

Jacky J. Chong, Laurent Laflèche+1 more|arXiv (Cornell University)|Mar 19, 2021

Cold Atom Physics and Bose-Einstein Condensates被引用数 4

ひとこと要約

この論文は、フェルミ粒子の多体系シュレーディンガー方程式から、平均場および半古典的極限を組み合わせることで、特異ポテンシャルを伴うフラソフ方程式の厳密な導出を確立する。ハートリー・フォック方程式における ℏ に依存しない正則性の伝播を証明し、シュターンノルムにおける定量的推定を可能にするとともに、スケーリング N−1/2 ≪ ℏ ≤ N−1/3 の下で、局所的時間スケールにおいて a ∈ (0, 1/2) の場合にフラソフ方程式を導出する。

ABSTRACT

We obtain the combined mean-field and semiclassical limit from the $N$-body Schrödinger equation for fermions interacting via singular potentials. To obtain the result, we first prove the uniformity in Planck's constant $h$ propagation of regularity for solutions to the Hartree$\unicode{x2013}$Fock equation with singular pair interaction potentials of the form $\pm |x-y|^{-a}$, including the Coulomb and gravitational interactions. In the context of mixed states, we use these regularity properties to obtain quantitative estimates on the distance between solutions to the Schrödinger equation and solutions to the Hartree$\unicode{x2013}$Fock and Vlasov equations in Schatten norms. For $a\in(0,1/2)$, we obtain local-in-time results when $N^{-1/2} \ll h \leq N^{-1/3}$. In particular, it leads to the derivation of the Vlasov equation with singular potentials. For $a\in[1/2,1]$, our results hold only on a small time scale, or with an $N$-dependent cutoff.

研究の動機と目的

• フェルミ粒子の N 体シュレーディンガー方程式から、特異な二体ポテンシャル（例：クーロン、重力的）を伴うフラソフ方程式を厳密に導出すること。
• 特異ポテンシャル ±|x−y|−a を伴うハートリー・フォック方程式におけるプランク定数 ℏ に依存しない正則性の伝播を確立すること。
• 平均場および半古典的極限の下で、多体系シュレーディンガー力学とハートリー・フォック／フラソフ方程式の間の距離をシュターンノルムで定量的に推定すること。
• ℏ ≪ 1 で N が大きい状況下でのフラソフ近似の有効性を分析することに注力し、特に臨界指数 a = 1/2 と a ≥ 1/2 の場合の N に依存するカットオフの役割を検討すること。

提案手法

• 半古典的およびフェルミオン的フォック空間における交換子推定と関数解析を用いて、特異ポテンシャル |x−y|−a を伴うハートリー・フォック方程式における ℏ に依存しない正則性の伝播を証明する。
• 2次量子化と状態の純化を用いて、N 体問題を準自由初期状態を持つフォック空間上の力学に還元する。
• ボゴリューボフ変換とフラクチュエーション力学を用いて、量子フラクチュエーションを制御し、平均場極限を導出する。
• シュターンノルム推定を用いて、シュレーディンガー方程式、ハートリー・フォック方程式、フラソフ方程式の解の間の距離を評価し、ℏ、N、特異性の強さ a に依存する境界を与える。
• 動的を正則部と特異部に分解し、カットオフと重み付きノルムを用いて交換子推定における発散項を制御する。
• 交換作用素の構造とカーネルの特異性を活用し、シュターンノルムにおける時間正則性および Hölder 継続性を導出する。

実験結果

リサーチクエスチョン

• RQ1 平均場および半古典的極限の下で、特異ポテンシャルを伴うフラソフ方程式を多体系シュレーディンガー方程式から厳密に導出することは可能か？
• RQ2 特異相互作用を伴うハートリー・フォックおよびフラソフ近似の有効性に最適なスケーリング（N と ℏ に依存）は何か？
• RQ3 |x−y|−a の特異性の強さ a が、平均場および半古典的極限の有効時間にどのように影響するか？
• RQ4 粒子のフェルミオン的性質が、ハートリー・フォック動的の正則性および収束性に果たす役割は何か？
• RQ5 特異二体ポテンシャルを伴うハートリー・フォック方程式において、ℏ に依存しない正則性を確立することは可能か？また、これにより定量的収束推定がどのように可能になるか？

主な発見

• 相互作用ポテンシャルの a ∈ (0, 1/2) の場合、スケーリング N−1/2 ≪ ℏ ≤ N−1/3 の下で、局所的時間スケールにおいてフラソフ方程式が導出される。
• すべての a ∈ (0,1) に対して、特異ポテンシャル |x−y|−a を伴うハートリー・フォック方程式における ℏ に依存しない正則性の伝播が確立され、定量的収束推定が可能になる。
• 多体系シュレーディンガー方程式とハートリー・フォック方程式の解の間の距離は、シュターンノルムで O(ℏ R^{-(a+2)})（正則部）および O(ℏ R^{3/2 - a})（特異部）で有界である。
• a ∈ [1/2, 1] の場合、収束は小さな時間スケール上でのみ成立する、または N に依存するカットオフが必要であり、より強い特異性では近似が破綻することが示される。
• ハートリー・フォックハミルトニアンの直接項と交換項に起因する詳細な交換子推定に依存しており、重み付きノルムと Hölder 継続性を用いて特異核を精密に制御している。
• フラクチュエーション作用素の動的は時間に関して Hölder 継続的であることが示され、シュターンノルムにおける収束議論にとって不可欠である。