時間依存ハートリー＝フォック方程式

時間依存ハートレー・フォック方程式（じかんいそんハートレー・フォックほうていしき、, TDHF）とは、静的なハートレー・フォック方程式の解である複数の平均一体場の間を、時間依存性をもつユニタリ変換で結ぶことによって平均一体場の形状の時間変化を記述するものである。
概要.
ボーア=モッテルソンの集団模型では、「原子核の集団運動とは、平均一体場の形状の振動・回転である」と考えられた。しかしそこでは、集団運動をあらわすハミルトニアンを人為的に導入していた。なぜそのように集団運動が発現するのか、という疑問には答えられなかった。そこで、平均場を自己無撞着に求めるハートレー・フォック法を拡張し、時間依存性を与えることで、微視的な法則のみから集団運動を記述できるのではないか、という期待がもたれた。
TDHF の基本概念はディラックによって 1930 年に考えられていたが、この理論が本格的に現実の原子核に適用されるのは、有効相互作用の研究と計算機が発達した 1970 年代後半である。
変分方程式は
試行関数に条件が与えられなければ、これは時間依存シュレーディンガー方程式と同等である。この試行関数を時間依存した単一スレイター行列式とする手法が TDHF である。
サウレスの定理.
スレイター行列式は、多体系の状態を既知の 1 粒子波動関数の情報から構築する、最も単純な方法の 1 つであるが、そのようにして作られた多体波動関数が本当に、可能な多体系の状態全てを含んでいるかの保証は全くなく（それどころか疑わしい）、そのためにそのスレイター行列式と直交しない状態を求める必要がある。そのための1つの定理がデイヴィッド・J・サウレスによるサウレスの定理（Thouless Theorem）である。
formula_2 をハートレー・フォック型波動関数、すなわちスレイター行列式とする。
すると、formula_6 と直交しない任意のスレイター行列式 formula_7 は、formula_2 に対する粒子の生成演算子 formula_9、空孔（ホール）の生成演算子 formula_10 を用いて次のように表せる。
時間依存したスレイター行列式と変分方程式.
上記の formula_13 に時間依存性を持たせることで、スレイター行列式 formula_7 が時間依存性を得る。これを用いて変分方程式を書き換えると、
ここで
TDHF の正準変数表示.
formula_13 は行列をなし、それは p-p 型、h-h 型、p-h 型の 3 つに分類できる。これを p-h 型のエルミート行列 "K" を用いて代用できる。
この η, η+ は行列であり、formula_21。これらを用いて一般のスレイター行列式は
これを用いて TDHF の基礎方程式は
そして新しい正準変数の組 formula_25 が次のように定義される。
ハミルトンの正準方程式.
これらを用いて、TDHF 方程式で記述される運動は、古典的位相空間（シンプレクティック多様体）の中の正準運動方程式で記述されることがわかる。
ただし
次のように変数変換すると、
見慣れた形のハミルトンの正準方程式が得られる。
このように量子力学的な多体系を記述するはずの TDHF 理論が、古典的な方程式であるハミルトンの正準方程式を用いて表される。
TDHF 方程式.
以上において用いた変分方程式
が TDHF 方程式と呼ばれることもあるが、数値計算において変分方程式を解くのはあまり簡単ではないためか、しばしば別の方程式が用いられる。
"A" 個の粒子を含む系に対するハミルトニアン
とスレイター行列式（Λ は反対称化演算子）
を用いて、作用
を最小化することで、次の方程式が得られる。これを TDHF 方程式と呼ぶ。
この右辺第 3 項は非局所的な効果を表す。この項を落とすことで、
が得られる。この "W"(r) が平均一体場である。
この TDHF 方程式は単一粒子に対するシュレーディンガー方程式と大変よく似ているが、ポテンシャル "W"(r) が他のすべての粒子の状態に依存しているため、厳密には反復法で解かなくてはならない。そのための試行関数としてスレイター行列式を用いる。
この形式での TDHF 方程式は（反復計算を除けば）結局のところ偏微分方程式であるから、多くの学生たちにとっては比較的扱いやすいものである。
TDHF の「量子化」.
TDHF は量子力学を用いて多粒子系を記述する一つの理論であるにもかかわらず、それが 1970 年代に入り、重イオン衝突などのシミュレーションに応用された結果、その結果（核子密度分布の振舞いなど）があまりに古典力学的であったことが研究者達に困惑を与えた。その後 TDHF の「量子化」の処方も研究された。