[論文レビュー] Boundary conditions for augmented plane wave methods

Christian Brouder|arXiv (Cornell University)|Mar 21, 2005

Advanced Chemical Physics Studies参考文献 26被引用数 2

ひとこと要約

この論文は、運動エネルギーを勾配形（∇φ*·∇φ）で表現する場合にのみ、微分が不連続な基底関数が有効であることを示すことにより、拡張平面波（APW）法に厳密な数学的基盤を提供する。ハミルトニアンの形式的定義域においてもレイリー＝リッツの原理が成立することを確立し、スレーターの元来の選択を正当化するとともに、変分原理の破綻を避けるため、不連続な基底関数の使用には注意を要することを警告する。

ABSTRACT

The augmented plane wave method uses the Rayleigh-Ritz principle for basis functions that are continuous but with discontinuous derivatives and the kinetic energy is written as a pair of gradients rather than as a Laplacian. It is shown here that this procedure is fully justified from the mathematical point of view. The domain of the self-adjoint Hamiltonian, which does not contain functions with discontinuous derivatives, is extended to its form domain, which contains them, and this modifies the form of the kinetic energy. Moreover, it is argued that discontinuous basis functions should be avoided.

研究の動機と目的

• 拡張平面波（APW）基底関数の境界条件に関する長年の曖昧さを解消すること。
• APW法において運動エネルギーのラプラシアン形（φ*∆φ）か勾配形（∇φ*·∇φ）か、どちらが数学的に正しいかを明確にすること。
• APWフレームワーク内において微分が不連続な関数を基底関数として使用することが数学的に妥当であることを確立すること。
• 不連続な基底関数が変分原理を破綻させることを示し、慎重な使用を促すこと。
• ハミルトニアン作用素の定義域を、微分が不連続な関数を含むように形式的定義域を通じて拡張すること。

提案手法

• ハミルトニアン作用素の関数解析を適用し、その定義域 D(H) と形式的定義域 Q(H) を区別する。
• 微分が不連続な関数を含む形式的定義域 Q(H) においてレイリー＝リッツの原理を適用する。
• 微分が不連続な場合に、運動エネルギー項が ∫(∇φi)*·∇φj dr（勾配形）として表現され、∫φi*∆φj dr（ラプラシアン形）として表現されるべきでないことを示す。これにより変分原理との整合性が保たれる。
• 微分が不連続な関数に対してラプラシアン形は数学的に無効であることを示す。
• 最小最大原理とソボレフ空間論を用いて、レイリー＝リッツ法の有効性を D(H) を超えて拡張する。
• 微分が不連続な関数を含む形式的定義域 Q(H) が、APW基底関数の正しい数学的設定であると主張する。

実験結果

リサーチクエスチョン

• RQ1 微分が不連続なAPW基底関数に対して、運動エネルギーの勾配形が数学的に正当化されるか？
• RQ2 ハミルトニアンの定義域 D(H) に属さない関数に対してもレイリー＝リッツの原理を適用できるか？
• RQ3 形式的定義域 Q(H) がAPW法の有効性を拡張する上で果たす数学的役割は何か？
• RQ4 なぜ不連続な基底関数はAPW法における変分原理を破綻させるのか？
• RQ5 ヘリンジャー＝トープリッツの定理は、量子力学における現実的なハミルトニアンの定義をどのように制約するか？

主な発見

• 微分が不連続な関数を含む形式的定義域 Q(H) に対しても、レイリー＝リッツの原理は有効である。
• 微分が不連続な場合、運動エネルギーは ∫(∇φi)*·∇φj dr（勾配形）として表現され、∫φi*∆φj dr（ラプラシアン形）として表現されるべきでない。
• 微分が不連続な関数がAPW法で数学的に有効であるのは、勾配形運動エネルギーが用いられている場合に限る。
• 不連続な基底関数は変分原理を破綻させ、数学的整合性の欠如のため避けるべきである。
• 形式的定義域 Q(H) は、標準的定義域 D(H) を超えてAPW法を拡張するための正しい数学的枠組みを提供する。
• 不連続な基底関数の使用は物理的に不適切な項を導入し、方法の変分的安定性を損なう。