[論文レビュー] Existence of Atoms and Molecules in the Mean-Field Approximation of No-Photon Quantum Electrodynamics

Christian Hainzl, Mathieu Lewin+1 more|arXiv (Cornell University)|May 31, 2006

Spectral Theory in Mathematical Physics参考文献 43被引用数 1

ひとこと要約

この論文は、光子のない量子電磁力学の平均場近似であるボゴリューボフ＝ディラック＝フォック（BDF）模型において、安定な原子および分子の存在を確立する。結合（HVZ型）条件が満たされるとき、BDFエネルギー汎関数の最小化子が存在することを証明し、2つの状態において存在を示している：弱い結合（固定された αZ と N をもつ小さな α）と非相対論的極限（固定された Z と N をもつ α → 0）。この極限において、電子的解はハートリー＝フォック基底状態に収束する。

ABSTRACT

The Bogoliubov-Dirac-Fock (BDF) model is the mean-field approximation of no-photon Quantum Electrodynamics. The present paper is devoted to the study of the minimization of the BDF energy functional under a charge constraint. An associated minimizer, if it exists, will usually represent the ground state of a system of $N$ electrons interacting with the Dirac sea, in an external electrostatic field generated by one or several fixed nuclei. We prove that such a minimizer exists when a binding (HVZ-type) condition holds. We also derive, study and interpret the equation satisfied by such a minimizer. Finally, we provide two regimes in which the binding condition is fulfilled, obtaining the existence of a minimizer in these cases. The first is the weak coupling regime for which the coupling constant $\alpha$ is small whereas $\alpha Z$ and the particle number $N$ are fixed. The second is the non-relativistic regime in which the speed of light tends to infinity (or equivalently $\alpha$ tends to zero) and $Z$, $N$ are fixed. We also prove that the electronic solution converges in the non-relativistic limit towards a Hartree-Fock ground state.

研究の動機と目的

• 外部場の中でのN個の電子とディラック海が相互作用する系の、BDFエネルギー汎関数の最小化子の存在を、電荷制約のもとで確立すること。これは、電子とディラック海の相互作用を表す基底状態を意味する。
• BDFモデルにおける最小化子が満たすオイラー＝ラグランジュ方程式を導出し、その解釈を行うこと。
• 結合（HVZ型）条件が成り立つ物理的状態を特定すること。これにより、最小化子の存在が保証される。
• BDFモデルの非相対論的極限を解析し、ハートリー＝フォック基底状態への収束を示すこと。

提案手法

• BDFモデルを、電子が自己整合的ポテンシャルを介してディラック海と相互作用する、光子のないQEDの平均場近似として形式化する。
• 粒子数Nによる制約を課したBDFエネルギー汎関数を導入し、真空を射影子P₀⁻で定義し、電子・正電子の極化によって修正する。
• 射影子とトレースクラスの摂動の構造を用いて、変分法を適用し、電荷制約のもとでBDFエネルギー汎関数を最小化する。
• ユニタリ変換とボゴリューボフ変換を用いて、許容可能な射影子Pの族をパrameter化する。P = U(Π + γ)U⁻¹ と表し、D = log(U) ∈ S₂ とする。
• 関数微分を用いてオイラー＝ラグランジュ方程式を導出し、ディラック作用素と自己整合的ポテンシャルを含む非線形方程式を得る。
• スペクトル理論とコンパクト性の議論を用いて、結合条件のもとで最小化子の存在を証明する。変分集合Qの構造を用いる。

実験結果

リサーチクエスチョン

• RQ1 N個の電子とディラック海を有する系において、BDFエネルギー汎関数の最小化子が存在する条件は何か？
• RQ2 BDFモデルにおける最小化子の構造は何か？また、どのような方程式を満たすか？
• RQ3 弱い結合または非相対論的極限といった物理的状態において、結合（HVZ型）条件が成り立つのはどのような場合か？ これにより、安定な基底状態の存在が保証される。
• RQ4 非相対論的極限におけるBDF解の振る舞いは何か？ また、ハートリー＝フォック基底状態に収束するか？

主な発見

• 結合（HVZ型）条件が満たされるとき、BDFエネルギー汎関数の最小化子が存在し、原子および分子の安定な基底状態の存在が保証される。
• 最小化子は、ディラック作用素と電子および真空密度から導かれる自己整合的ポテンシャルを含む非線形オイラー＝ラグランジュ方程式を満たす。
• 弱い結合状態（固定された αZ と N をもつ小さな α）では、結合条件が成り立つため、最小化子の存在が保証される。
• 非相対論的極限（固定された Z と N をもつ α → 0）では、結合条件が満たされ、電子的解はハートリー＝フォック基底状態に収束する。
• エネルギー汎関数の有界性により、ディラック＝フォックモデルの未定義性を克服し、BDFモデルは明確に定義された基底状態を提供する。
• 変分集合Qの構造は、ユニタリ変換とトレースクラスの摂動を用いて完全に特徴づけられる。Q = UD(Π + γ)U⁻¹ − Π であり、D ∈ S₂ かつ γ はΠと可換なトレースクラス作用素である。