[論文レビュー] Real analyticity away from the nucleus of pseudorelativistic Hartree-Fock orbitals

Anna Dall’Acqua, Søren Fournais+2 more|arXiv (Cornell University)|Mar 25, 2011

Spectral Theory in Mathematical Physics参考文献 11被引用数 3

ひとこと要約

この論文は、非局所的擬相対論的微分作用素、特異的ポテンシャル、非線形項を扱うために適応された、モリィ-ニレングェルのネストドボール技法の修正版を用いて、核の外では擬相対論的ハートリー・フォック軌道が実解析的であることを確立する。主な結果は、擬相対論的原子の量子力学的基底状態はハートリー・フォック状態になれないということであり、非相対論的結果を相対論的状況に拡張するものである。

ABSTRACT

We prove that the Hartree--Fock orbitals of pseudorelativistic atoms, that is, atoms where the kinetic energy of the electrons is given by the pseudorelativistic operator sqrt{-Delta+1}-1, are real analytic away from the origin. As a consequence, the quantum mechanical ground state of such atoms is never a Hartree-Fock state. Our proof is inspired by the classical proof of analyticity by nested balls of Morrey and Nirenberg. However, the technique has to be adapted to take care of the non-local pseudodifferential operator, the singularity of the potential at the origin, and the non-linear terms in the equation.

研究の動機と目的

• 擬相対論的原子におけるハートリー・フォック軌道の実解析性を確立すること、ここで電子の運動エネルギーは作用素 √(−Δ+1)−1 でモデル化される。
• 非相対論的状況では解析性が基底状態がハートリー・フォック状態でないことを示すが、これを擬相対論的状況に拡張すること。
• 古典的モリィ-ニレングェルのネストドボール法を、非局所的擬微分作用素および特異的クーロンポテンシャルを扱えるように適応すること。
• 一般のポテンシャルおよび非線形性に関する条件下で、滑らかな非線形擬相対論的ハートリー・フォック方程式の解が原点を除いて実解析的であることを証明すること。

提案手法

• 非局所的擬微分作用素の設定に適応されたモリィ-ニレングェルのネストドボール技法の応用、特異的ポテンシャルおよび非線形項を組み込む。
• 重み付きソボレフ空間および補間不等式（例：ガリャルド-ニレングェル）を用いて高階ノルムを制御し、正則性を段階的に高める。
• 変数係数作用素に対する楕円型正則性理論を応用し、より高い可積分性およびホルダー連続性を導出する。
• 非線形項を制御し、解析性を伝搬させるために、$L^{3p}$および$W^{2,3p/2}$空間における事前推定を用いる。
• 埋め込み定理（例：モリィの不等式）を用いて$L^p$-正則性をホルダー連続性に高め、最終的に実解析性にまで到達する。
• 半径を小さくする球の列を構成し、オイラー＝ラグランジュ方程式の構造を活用して、核から離れた点における解析性を伝搬させる。

実験結果

リサーチクエスチョン

• RQ1 非局所的運動エネルギー作用素および特異的クーロンポテンシャルが存在するにもかかわらず、擬相対論的原子におけるハートリー・フォック軌道は核の外で実解析的か？
• RQ2 古典的モリィ-ニレングェルの解析性手法は、特異性および滑らでない係数を有する非局所的非線形方程式へ拡張可能か？
• RQ3 擬相対論的状況における軌道の解析性は、非相対論的状況と同様に、真の量子力学的基底状態がハートリー・フォック状態になれないことを示唆するか？
• RQ4 ポテンシャルおよび非線形性にどのような条件を課せば、特定の擬相対論的モデルを超えて同様の解析性結果を一般化できるか？
• RQ5 原点における点特異性の存在は、非線形方程式の解における解析性の伝搬にどのように影響するか？

主な発見

• 擬相対論的原子におけるハートリー・フォック軌道は、$\mathbb{R}^3 \setminus \{0\}$で実解析的であり、非局所的運動エネルギー作用素 $\sqrt{-\Delta + 1} - 1$ および特異的 $1/|\mathbf{x}|$ ポテンシャルが存在するにもかかわらずそうである。
• 擬相対論的原子の量子力学的基底状態は、核の外で解析的であるため、ハートリー・フォック状態にはなり得ない。
• 証明手法は、$V$ が有限個の点特異性を持ち、ある正則性および減衰条件を満たす限り、方程式 $(-\Delta + m)^s \varphi + V\varphi + |\varphi|^k \varphi = \lambda \varphi$ のより広いクラスにまで拡張可能である。
• 滑らかな非線形方程式 $\big(\sqrt{-\Delta + 1}\big)\varphi - \frac{Z}{|\cdot|}\varphi \pm \big(|\varphi|^2 * |\cdot|^{-1}\big)\varphi = \lambda\varphi$ の解は、原点を除いて実解析的である。
• この手法は、反復的$L^p$推定、補間不等式、および修正されたネストドボール議論を用いて、非局所的および特異的項が存在する状況でも解析性を伝搬させることに依存している。
• 物理的制約 $Z\alpha \leq 2/\pi$ の下で、ハミルトニアンが下から有界であることが保証されるため、この結果は成り立つ。