系のハミルトニアンが、あるパラメータ λ に依存するとして、それを ˆ H (λ ) と表現する。 ˆ H (λ ) の固有状態 |ψλ ⟩ があって、 ˆ H (λ )|ψλ ⟩ =E (λ )|ψλ ⟩ 及び規格化 条件 ⟨ ψλ |ψλ ⟩ =1 が満足されるとする。このとき、
d
E
(
λ
)
d
λ
=
⟨
ψ
λ
|
d
H
^
(
λ
)
d
λ
|
ψ
λ
⟩
{\displaystyle {\frac {\mathrm {d} E(\lambda )}{\mathrm {d} \lambda }}=\left\langle \psi _{\lambda }\left|{\frac {\mathrm {d} {\hat {H}}(\lambda )}{\mathrm {d} \lambda }}\right|\psi _{\lambda }\right\rangle }
が成り立つ。これがヘルマン–ファインマンの定理の主張である。
ここで、パラメータ λ が、原子位置座標 R α の場合、ヘルマン–ファインマン力 となる。
d
E
(
λ
)
d
λ
=
d
d
λ
⟨
ψ
λ
|
H
^
(
λ
)
|
ψ
λ
⟩
=
(
d
d
λ
⟨
ψ
λ
|
)
H
^
(
λ
)
|
ψ
λ
⟩
+
⟨
ψ
λ
|
d
H
^
(
λ
)
d
λ
|
ψ
λ
⟩
+
⟨
ψ
λ
|
H
^
(
λ
)
(
d
d
λ
|
ψ
λ
⟩
)
=
E
(
λ
)
(
d
d
λ
⟨
ψ
λ
|
)
|
ψ
λ
⟩
+
⟨
ψ
λ
|
d
H
^
(
λ
)
d
λ
|
ψ
λ
⟩
+
E
(
λ
)
⟨
ψ
λ
|
(
d
d
λ
|
ψ
λ
⟩
)
=
E
(
λ
)
d
d
λ
⟨
ψ
λ
|
ψ
λ
⟩
+
⟨
ψ
λ
|
d
H
^
(
λ
)
d
λ
|
ψ
λ
⟩
{\displaystyle {\begin{aligned}{\frac {\mathrm {d} E(\lambda )}{\mathrm {d} \lambda }}&={\frac {\mathrm {d} }{\mathrm {d} \lambda }}\left\langle \psi _{\lambda }\left|{\hat {H}}(\lambda )\right|\psi _{\lambda }\right\rangle \\&=\left({\frac {\mathrm {d} }{\mathrm {d} \lambda }}\langle \psi _{\lambda }|\right){\hat {H}}(\lambda )|\psi _{\lambda }\rangle +\left\langle \psi _{\lambda }\left|{\frac {\mathrm {d} {\hat {H}}(\lambda )}{\mathrm {d} \lambda }}\right|\psi _{\lambda }\right\rangle +\langle \psi _{\lambda }|{\hat {H}}(\lambda )\left({\frac {\mathrm {d} }{\mathrm {d} \lambda }}|\psi _{\lambda }\rangle \right)\\&=E(\lambda )\left({\frac {\mathrm {d} }{\mathrm {d} \lambda }}\langle \psi _{\lambda }|\right)|\psi _{\lambda }\rangle +\left\langle \psi _{\lambda }\left|{\frac {\mathrm {d} {\hat {H}}(\lambda )}{\mathrm {d} \lambda }}\right|\psi _{\lambda }\right\rangle +E(\lambda )\langle \psi _{\lambda }|\left({\frac {\mathrm {d} }{\mathrm {d} \lambda }}|\psi _{\lambda }\rangle \right)\\&=E(\lambda ){\frac {\mathrm {d} }{\mathrm {d} \lambda }}\langle \psi _{\lambda }|\psi _{\lambda }\rangle +\left\langle \psi _{\lambda }\left|{\frac {\mathrm {d} {\hat {H}}(\lambda )}{\mathrm {d} \lambda }}\right|\psi _{\lambda }\right\rangle \end{aligned}}}
ここで、 |ψλ ⟩ の規格化を ⟨ ψλ |ψλ ⟩ =1 と選んであるので、 d⟨ ψλ |ψλ ⟩ /dλ =0 である。よって、
d
E
(
λ
)
d
λ
=
⟨
ψ
λ
|
d
H
^
(
λ
)
d
λ
|
ψ
λ
⟩
{\displaystyle {\frac {\mathrm {d} E(\lambda )}{\mathrm {d} \lambda }}=\left\langle \psi _{\lambda }\left|{\frac {\mathrm {d} {\hat {H}}(\lambda )}{\mathrm {d} \lambda }}\right|\psi _{\lambda }\right\rangle }
が得られる。
定理の応用の1つとして、分子内力 (英語版 ) (intramolecular force )の計算があり[ 7] 、この手法で計算された力を特にヘルマン–ファインマン力 と呼ぶ。ファインマンは1939年の「分子内の力(Forces in Molecules)」と題する論文の中で、ヘルマン–ファインマンの定理の証明を与えるとともに、分子 や固体原子 において、原子核 に働く量子論的な力は、電子雲 と他の原子核からの古典的な静電力として扱えることを示した[ 4] [ 8] 。
電子及び位置が固定された原子核からなる系において、ポテンシャル ˆ V を原子核の位置座標で微分したものは、原子核に働く力に相当する。例えば、電子の位置を r i = (xi , yi , zi ) (i =1, …,n ) とし、原子核の位置を R α =(Xα , Yα , Zα ) (α =1,…,m ) とする。このとき、系のハミルトニアン ˆ H はボルン–オッペンハイマー近似 により、運動エネルギー
T
^
=
−
∑
i
=
1
n
ℏ
2
2
m
∇
i
2
{\displaystyle {\hat {T}}=-\sum _{i=1}^{n}{\frac {\hbar ^{2}}{2m}}\nabla _{i}^{2}}
とポテンシャルエネルギー
V
^
=
∑
i
>
j
e
2
|
r
i
−
r
j
|
+
∑
α
>
β
Z
α
Z
β
e
2
|
R
α
−
R
β
|
+
∑
i
,
α
−
Z
α
e
2
|
r
i
−
R
α
|
=
∑
i
>
j
V
^
i
j
+
∑
α
>
β
V
^
α
β
+
∑
i
,
α
V
^
i
α
{\displaystyle {\begin{aligned}{\hat {V}}&=\sum _{i>j}{\frac {e^{2}}{|{\boldsymbol {r}}_{i}-{\boldsymbol {r}}_{j}|}}+\sum _{\alpha >\beta }{\frac {Z_{\alpha }Z_{\beta }e^{2}}{|{\boldsymbol {R}}_{\alpha }-{\boldsymbol {R}}_{\beta }|}}+\sum _{i,\alpha }{\frac {-Z_{\alpha }e^{2}}{|{\boldsymbol {r}}_{i}-{\boldsymbol {R}}_{\alpha }|}}\\&=\sum _{i>j}{\hat {V}}_{ij}+\sum _{\alpha >\beta }{\hat {V}}_{\alpha \beta }+\sum _{i,\alpha }{\hat {V}}_{i\alpha }\end{aligned}}}
の和 ˆ T +ˆ V で表される。このとき、パラメータ λ として、原子核の位置座標 R α をとったときに、その導関数
F
α
=
−
∂
V
^
∂
λ
=
−
∂
H
^
∂
λ
{\displaystyle {\boldsymbol {F}}_{\alpha }=-{\frac {\partial {\hat {V}}}{\partial {\boldsymbol {\lambda }}}}=-{\frac {\partial {\hat {H}}}{\partial {\boldsymbol {\lambda }}}}}
で定義される F α =(FX α , FY α , FZ α ) が、古典論では原子核に働く力となる。一方、量子論では、 ˆ H (λ )|ψλ ⟩ =E (λ )|ψλ ⟩ を満たす固有状態 |ψλ ⟩ により、
F
α
=
−
⟨
ψ
λ
|
∂
H
^
∂
λ
|
ψ
λ
⟩
=
−
∫
d
V
ψ
∗
(
q
1
,
…
,
q
n
)
∂
H
^
∂
λ
ψ
(
q
1
,
…
,
q
n
)
{\displaystyle {\begin{aligned}{\boldsymbol {F}}_{\alpha }&=-\left\langle \psi _{\boldsymbol {\lambda }}\left|{\frac {\partial {\hat {H}}}{\partial {\boldsymbol {\lambda }}}}\right|\psi _{\boldsymbol {\lambda }}\right\rangle \\&=-\int \mathrm {d} V\,\psi ^{*}({\boldsymbol {q}}_{1},\dotsc ,{\boldsymbol {q}}_{n}){\frac {\partial {\hat {H}}}{\partial {\boldsymbol {\lambda }}}}\psi ({\boldsymbol {q}}_{1},\dotsc ,{\boldsymbol {q}}_{n})\end{aligned}}}
が対応する。ここで2行目の波動関数 ψ における座標 qi は i 番目の電子の位置座標 r i とスピン 座標 σi を合わせたものであり、dV =dq 1 …dqn である。ファインマンの論文以前は、分子の量子力学では、これを
F
′
α
=
−
d
E
(
λ
)
d
λ
{\displaystyle {\boldsymbol {F'}}_{\alpha }=-{\frac {\mathrm {d} E({\boldsymbol {\lambda }})}{\mathrm {d} {\boldsymbol {\lambda }}}}}
とエネルギー固有値の微分で計算するのが、一般的であった。ファインマンはヘルマン–ファインマンの定理によって、F α とF ′α が等しいことを示した。
実際の計算において、微分係数 dE (λ )/dλ で与えられる F α を求めるには、エネルギー固有値のパラメータ λ =R α についての依存性の傾きを計算することになり、複数のパラメータ値に対して固有値問題 を解く必要がある。一方、直接的に ⟨ ψλ | dˆ H /dλ |ψλ ⟩ で与えられるF α では、計算の労力を減らすことができる。
F α の具体形については、波動関数による存在確率から定まる各電子の電荷密度
ρ
i
(
r
i
)
=
e
∫
|
ψ
(
q
1
,
⋯
,
q
n
)
|
2
d
q
1
⋯
d
q
i
−
1
d
σ
i
d
q
i
+
1
⋯
d
q
n
{\displaystyle \rho _{i}({\boldsymbol {r}}_{i})=e\int |\psi ({\boldsymbol {q}}_{1},\cdots ,{\boldsymbol {q}}_{n})|^{2}\mathrm {d} {\boldsymbol {q}}_{1}\dotsb \mathrm {d} {\boldsymbol {q}}_{i-1}d\sigma _{i}\mathrm {d} {\boldsymbol {q}}_{i+1}\dotsb \mathrm {d} {\boldsymbol {q}}_{n}}
の和として、全電子の電荷密度 ρ (r ) を、
ρ
(
r
)
=
∑
i
=
1
n
ρ
i
(
r
)
{\displaystyle \rho ({\boldsymbol {r}})=\sum _{i=1}^{n}\rho _{i}({\boldsymbol {r}})}
で導入すれば[ 9] 、
F
α
=
Z
α
e
∫
ρ
(
r
)
R
α
−
r
|
R
α
−
r
|
3
d
3
r
−
Z
α
e
∑
β
(
≠
α
)
Z
β
e
R
α
−
R
β
|
R
α
−
R
β
|
3
{\displaystyle {\boldsymbol {F}}_{\alpha }=Z_{\alpha }e\int \rho ({\boldsymbol {r}}){\frac {{\boldsymbol {R}}_{\alpha }-{\boldsymbol {r}}}{|{\boldsymbol {R}}_{\alpha }-{\boldsymbol {r}}|^{3}}}\mathrm {d} ^{3}{\boldsymbol {r}}-Z_{\alpha }e\sum _{\beta (\neq \alpha )}Z_{\beta }e{\frac {{\boldsymbol {R}}_{\alpha }-{\boldsymbol {R}}_{\beta }}{|{\boldsymbol {R}}_{\alpha }-{\boldsymbol {R}}_{\beta }|^{3}}}}
と書き表すことができる。第1項は電子の電荷密度と電子による電場 の積であり、第2項は電荷 Zβ e を持つほかの原子核による電場の効果である。この結果を静電定理 (electrostatic theorem ) と呼ぶ。
^ P. Güttinger, "Das Verhalten von Atomen im magnetischen Drehfeld". Z. Phys. 73 (3–4), p.169 doi :10.1007/BF01351211
^ W. Pauli, "Principles of Wave Mechanics," Handbuch der Physik , 24 , Berlin: Springer. p. 162 (1933)
^ H. Hellmann, Einführung in die Quantenchemie, Leipzig: Franz Deuticke. p. 285 (1937)
^ a b R. P. Feynman, "Forces in Molecules," Phys. Rev. , 56 , p.340 (1939) doi :10.1103/PhysRev.56.340
^ J. C. Slater, Solid-State and Molecular Theory ; A Scientific Biography , John Wily, New York and London (1975)
^ R. M. Martin (2004), Chapter.3
^ 中辻博 、「力の立場から見た化学現象(1)」、化学、第28巻、第1号、p.17
^ 江沢洋 、「人物で学ぶ物理(第6回)」、数理科学、2012年1月号、サイエンス社
^ 実際は ψ は位置座標について反対称化されているので、ρi の関数形は全て同じである。
Richard M. Martin, Electronic Structure: Basic Theory and Practical Methods , Cambridge University Press (2004) ISBN 978-0521782852 ;R. M. マーチン (著)、寺倉清之 、寺倉郁子 、善甫康成 (翻訳) 『物質の電子状態 上』 : シュプリンガー・ジャパン株式会社