ヘルマン–ファインマンの定理

ヘルマン–ファインマンの定理（ヘルマン–ファインマンのていり、）とは、量子力学において、パラメータ依存したハミルトニアンとそのエネルギー固有値に関する定理である。量子化学および数理固体物理学において特にヘルマン–ファインマン力（ヘルマン–ファインマンりょく、）の計算に応用され、重要である。定理の名は、ドイツの物理学者と米国の物理学者R. P. ファインマンに因む。定理を最初に明示的な形で表したのは、P. Güttingerであるが、W. パウリやヘルマンの論文にも記されている。特にヘルマンは分子への適用に向けて、変分形式で表現した。また、1939年に当時、マサチューセッツ工科大学の学生であったファインマンは、この定理を示すともに、化学結合した原子において、電子及び他の原子核が原子核に及ぼす力は古典的な静電力として、扱えることを示した。「ヘルマン–ファインマンの定理」の名が定着したのは、J. C. スレイターがその著書の中でその名で呼んだことによる。
定理.
系のハミルトニアンが、あるパラメータ に依存するとして、それを と表現する。 の固有状態 があって、 及び規格化条件 が満足されるとする。このとき、
が成り立つ。これがヘルマン–ファインマンの定理の主張である。
ここで、パラメータ が、原子位置座標 の場合、ヘルマン–ファインマン力となる。
証明.
formula_2
ここで、 の規格化を と選んであるので、 である。よって、
が得られる。
応用.
分子内力と静電定理.
定理の応用の1つとして、（）の計算があり、この手法で計算された力を特にヘルマン–ファインマン力と呼ぶ。ファインマンは1939年の「分子内の力（Forces in Molecules）」と題する論文の中で、ヘルマン–ファインマンの定理の証明を与えるとともに、分子や固体原子において、原子核に働く量子論的な力は、電子雲と他の原子核からの古典的な静電力として扱えることを示した。
電子及び位置が固定された原子核からなる系において、ポテンシャル を原子核の位置座標で微分したものは、原子核に働く力に相当する。例えば、電子の位置を とし、原子核の位置を とする。このとき、系のハミルトニアン はボルン–オッペンハイマー近似により、運動エネルギー
とポテンシャルエネルギー
の和 で表される。このとき、パラメータ として、原子核の位置座標 をとったときに、その導関数
で定義される が、古典論では原子核に働く力となる。一方、量子論では、 を満たす固有状態 により、
が対応する。ここで2行目の波動関数 における座標 は 番目の電子の位置座標 とスピン座標 を合わせたものであり、 である。ファインマンの論文以前は、分子の量子力学では、これを
とエネルギー固有値の微分で計算するのが、一般的であった。ファインマンはヘルマン–ファインマンの定理によって、 と が等しいことを示した。
実際の計算において、微分係数 で与えられる を求めるには、エネルギー固有値のパラメータ についての依存性の傾きを計算することになり、複数のパラメータ値に対して固有値問題を解く必要がある。一方、直接的に で与えられる では、計算の労力を減らすことができる。
 の具体形については、波動関数による存在確率から定まる各電子の電荷密度
の和として、全電子の電荷密度 を、
で導入すれば、
と書き表すことができる。第1項は電子の電荷密度と電子による電場の積であり、第2項は電荷 を持つほかの原子核による電場の効果である。この結果を静電定理 () と呼ぶ。