[论文解读] Boundary conditions for augmented plane wave methods

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

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

一句话总结

本文通过证明当动能以梯度形式（∇φ*·∇φ）表达而非拉普拉斯形式（φ*∆φ）时，具有不连续导数的基函数在增广平面波（APW）方法中是有效的，为APW方法提供了严格的数学基础。研究证明，瑞利-里茨原理在哈密顿算符的型域（form domain）中依然成立，从而为斯莱特原始选择提供了理论依据，并警告应避免使用不连续的基函数，因为这会导致变分原理失效。

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) 为将 APW 方法的有效性扩展至标准定义域 D(H) 之外提供了正确的数学框架。
• 使用不连续基函数会引入非物理项，破坏方法的变分稳定性。