ハートリー＝フォック方程式
ハートリー＝フォック方程式（ハートリーフォックほうていしき、）は、多電子系を表すハミルトニアンの固有関数（波動関数）を一個のスレーター行列式で近似（ハートリー＝フォック近似）した場合に、それが基底状態に対する最良の近似となるような（スピンを含む）1電子分子軌道の組を探し出すための方程式である。ウラジミール・フォックによって導かれた。分子軌道法の基本となる方程式である。
ハートリー＝フォック方程式
は、formula_1の近似的な解が与えられた場合、方程式中のformula_1置換することで方程式
が誘導される。すなわちこの方程式のformula_3には固有関数formula_4は含まれず、普通の固有値方程式として解くことが出来る。
これにより得られた解を近似解として適用し再帰的に解く事で、多電子系のフェルミ粒子（この場合は電子）全体の作る平均場と、その中で一粒子運動をするフェルミ粒子の波動関数を自己無撞着に決定することができる（SCF法）。
ハートリー＝フォック法では大きく4つの近似をする。
最後の2つの近似を仮定しないことによって、多くのポスト-ハートリー-フォック法が作られている。
N個のフェルミオン系を考える。分子全体の波動関数を1つのスレーター行列式とし、時間依存しないシュレーディンガー方程式に代入すると、エネルギーは次のように書ける。
これを一粒子波動関数formula_6で変分する。つまりformula_6が規格直交化されており、かつ最低のエネルギーをとるようものを、ラグランジュの未定乗数法などで探すことで、以下のハートリー＝フォック方程式を得る。
ここで、
フォックポテンシャルは、波動関数の反対称化が必要なフェルミオン多体系に特有のものであり、ボソン多体系の平均場を求める方程式（グロス・ピタエフスキー方程式と呼ばれている）には存在しない。
ハートリー＝フォック方程式の解をユニタリ変換したものも、ハートリー＝フォック方程式の解になっている。よってユニタリ変換をどのように選ぶかによって、いろいろな解の表現の仕方がある。そこで、ユニタリ変換後のハートリー-フォック方程式の未定定数が対角形になるようなユニタリ変換を選んで表したものを正準ハートリー＝フォック方程式 (canonical Hartree-Fock equation) と呼ぶ。
正準ハートリー＝フォック方程式は、フォック演算子の固有値方程式である。
つまり固有値としてスピン軌道エネルギー ε、それに属する固有関数としてスピン軌道 formula_12をもつ固有値方程式とである。ここで、 は電子の空間座標 とスピン座標 をまとめた空間スピン座標、
ハートリー＝フォック方程式はこのままの形では解くことが難しい。そこで通常は求めるスピン軌道を既知の基底関数の組で展開し行列方程式の形へ変換して解く。
いずれにしろ、フォック演算子のうちクーロン演算子と交換演算子が求めようとしているスピン軌道を含むため、つじつまの合った場の方法（自己無撞着場の方法あるいはSCF法とも呼ばれる）によって解く。