Hohenberg-Kohn の第1定理
外部ポテンシャル V(r) 中に置かれた相互作用する N 電子系は、基底状態の電子密度 ρ0(r) によって一意に決まる。
証明
外部ポテンシャル V1(r)=V2(r) は、同じ基底状態の電子密度 ρ0(r) に対応していると仮定する。ここで、Vi(r) (i=1,2) が生むハミルトニアン H^i とその固有状態 ∣Ψi⟩ 、固有エネルギー Ei について、変分原理から
E1=⟨Ψ1∣H^1∣Ψ1⟩<⟨Ψ2∣H^1∣Ψ2⟩
である。ここで、右辺は
⟨Ψ2∣H^1∣Ψ2⟩=⟨Ψ2∣H^2∣Ψ2⟩+⟨Ψ2∣(H^1−H^2)∣Ψ2⟩
であり、1電子密度 ρ0(r) について
⟨Ψ2∣(H^1−H^2)∣Ψ2⟩=∫dr [V1(r)−V2(r)]ρ0(r)
が成り立つことから、
⟨Ψ2∣H^1∣Ψ2⟩=E2+∫dr [V1(r)−V2(r)]ρ0(r)
である。よって、
E1<E2+∫dr [V1(r)−V2(r)]ρ0(r)
かつ、添字の対称性から
E2<E1+∫dr [V2(r)−V1(r)]ρ0(r)
である。これら2式を足し合わせると、
E1+E2<E2+E1
となって矛盾が起きるから、基底状態の電子密度 ρ0(r) に対応する外部ポテンシャルは唯一つである。
ここで、ρ0(r) は以下のように表される:
ρ0(r)=∫dx ∣Φ0(x)∣2(i∑δ(ri−r))
ここで、電子 i の座標を空間座標とスピン座標の組 xi:=(ri,σi) で表し、x:={x1,…,xN} である。また、Φ0(x) は系の基底状態の(規格化された)波動関数である。
多電子系のハミルトニアン H^ は次のように書くことができる:
H^=H^0+i∑V(ri)
ここで H^0 は運動エネルギー項とクーロン相互作用項の和で、
H^0=−2mℏ2i∑∇i2+4πε01i∑j=i∑∣ri−rj∣1
である。
電子密度 ρ0(r) が外部ポテンシャルと1対1対応することから、外部ポテンシャルは電子密度の汎関数 V[ρ0] として書くことができ、V が定まることで H^ も定まる。Schrodinger 方程式から、
H^Ψk=EkΨk
であるので、状態 k の固有エネルギー Ek および固有関数 Ψk もまた ρ0 の汎関数である。
Hohenberg-Kohn の第1定理(別表現)
N 電子系において、状態 k について Ek=Ek[ρ0]、Ψk=Ψk[ρ0] である。
Hohenberg-Kohn の第2定理
ある電子密度 ρ によって決まるエネルギーを E[ρ] とする。すなわち、
E[ρ]=⟨Ψ[ρ]∣H^[ρ]∣Ψ[ρ]⟩
であるとき、ρ=ρ0 で E[ρ] は最小であり、基底状態のエネルギー E0 に等しい(エネルギー汎関数の変分原理)。
証明
電子密度 ρ に対応する外部ポテンシャル V が与える波動関数を ΨV とするとき、変分原理から
E[ρ]=⟨ΨV∣H^∣ΨV⟩≥⟨Ψ0∣H^∣Ψ0⟩=E[ρ0]=E0
これらの前提をもとに、電子密度 ρ を変化させながらエネルギー E[ρ] を計算し、これが最小と思われる結果を返したとき ρ=ρ0(基底状態)であるとする。
Hohenberg-Kohn の定理は、任意の電子密度 ρ に対応して、それを基底状態とする外部ポテンシャル V がいつでも存在することは保証しない。ρ を基底状態電子密度としてもつような外部ポテンシャル V が存在するとき、そのような ρ を V-表現可能であるという。