[論文レビュー] A new proof of the analyticity of the electronic density of molecules

Thierry Jecko|arXiv (Cornell University)|Apr 1, 2009

Spectral Theory in Mathematical Physics参考文献 19被引用数 15

ひとこと要約

本稿は、核から離れた分子における電子密度の解析的性質を、ユニタリ変換を用いてクーロンポテンシャルのx依存特異性を除去し、擬微分作用素の楕円的正則性理論を適用することで、より簡潔な証明を提示する。主な結果は、電子密度が核の位置を除くℝ³上で実解析的であることを確認する。

ABSTRACT

We give a new, short proof of the regularity away from the nuclei of the electronic density of a molecule obtained in [1,2]. The new argument is based on the regularity properties of the Coulomb interactions underlined in [3,4] and on well-known elliptic technics. [1] S. Fournais, M. Hoffmann-Ostenhof, T. Hoffmann-Ostenhof, T. Oe stergaard Soerensen: The electron density is smooth away from the nuclei. Comm. Math. Phys. 228, no. 3 (2002), 401-415. [2] S. Fournais, M. Hoffmann-Ostenhof, T. Hoffmann-Ostenhof, T. Oestergaard Soerensen: Analyticity of the density of electronic wave functions. Ark. Mat. 42, no. 1 (2004), 87-106. [3] W. Hunziker: Distortion analyticity and molecular resonances curves. Ann. Inst. H. Poincar{é}, s. A, t. 45, no 4, 339-358 (1986). [4] M. Klein, A. Martinez, R. Seiler, X.P. Wang: On the Born-Oppenheimer expansion for polyatomic molecules. Comm. Math. Phys. 143, no. 3, 607-639 (1992). The paper is published in Letters in Mathematical Physics 93, number 1, pp. 73-83, 2010. The original publication is available at "www.springerlink.com".

研究の動機と目的

• 分子系における電子密度の解析的性質を、より簡潔で洗練された証明で提示すること。
• 従来の証明で生じる技術的困難を、ユニタリ作用素を用いてxに依存する特異性をxに依存しない形に変換することで克服すること。
• 現代の擬微分作用素および楕円的正則性技術を用いて、解析的正則性を確立すること。
• 核の存在しない領域においても電子密度が解析的であることを示し、これが量子化学的解析において重要な性質であることを明らかにすること。

提案手法

• ポテンシャル内のx依存特異性| x - x_j |^{-1} を除去するためのxに依存するユニタリ変換$ U_x $を導入し、特異性をxに依存しない形に変換する。
• シュレーディンガー方程式に$ U_x $を適用することで、係数がxに関して解析的となる形に作用素を変換し、楕円的正則性理論の適用を可能にする。
• パラメトリックス構成と反復推定を用いて、変換された波動関数$ \tilde{\rho}(x) = \big\| U_x \tilde{\rho}(x) \big\| $が$ C^\rho(\text{loc}) $に属することを示し、解析的性質を導く。
• 既知の解析的楕円的正則性結果と導関数のコーシー型推定を用いて、$ D^\beta \tilde{\rho}(x) $の一様有界性を証明し、解析的性質を確認する。
• 切断関数と重み付き$ L^2 $-ノルム推定を用いて高階導関数を制御し、解析的性質に必要な減衰条件を導出する。
• 複素変数のコーシー積分公式を用いてクーロンポテンシャルの導関数を評価し、解析的性質の証明を可能にする。

実験結果

リサーチクエスチョン

• RQ1 従来の間接的な滑らかさの議論とは対照的に、分子における電子密度の解析的性質をより直接的に証明することは可能か？
• RQ2 多数体ハミルトニアンにおけるxに依存する特異性をユニタリ変換によって除去することで、正則性解析を簡素化できるか？
• RQ3 擬微分作用素および楕円的正則性技術は、クーロン相互作用を有する多数体量子系にどの程度適用可能か？
• RQ4 核から離れた領域において電子密度は解析的であるか？また、作用素論的アプローチを用いてこれを示せるか？

主な発見

• 電子密度$ \rho(x) $は$ \bbR^3 \backslash \big\bracevert R_1, \text{...}, R_L \big\bracevert $上で実解析的であることが確認され、FHHS1およびFHHS2の結果を新規な手法により再確認した。
• 本証明は、xに依存するユニタリ作用素$ U_x $を用いてシュレーディンガー方程式を、係数が解析的となる形に変換することで、特異性とxの依存性を分離する。
• 変換された波動関数$ \tilde{\rho}(x) = \big\bracevert \tilde{\rho}(x) \big\bracevert $が$ C^\rho(\text{loc}; \bbL^2) $に属することを示し、密度の解析的性質を導く。
• 本証明は、パラメトリックス構成と$ L^2 $-ベースのソボレフ推定を用いて、$ \tilde{\rho} \notin C^\rho(\text{loc}; \bbW^{2,2}) $であることを示し、これが解析的性質を示唆する。
• 導関数のコーシー型推定を用いて、クーロンポテンシャルの導関数が$ |D^\beta |\boldsymbol{\rho}|^{-1}| \triangleq K^{|\beta|+1} (\beta!) |\rho|^{-|\beta|-1} $を満たすことを証明し、解析的性質に不可欠な条件を確立する。
• 標準的な分子量子力学の仮定（核の固定、N個の電子、カトの定理によるハミルトニアンの自己共役性）のもとで、本結果は成り立つ。