多体理論においてグリーン関数(グリーンかんすう、英: Green's function, Green function)とは、相関関数と同じ意味で用いられ、特に場の演算子や生成消滅演算子についての相関関数を意味する。
この名前は数学における非同次な微分方程式を解くために用いられるグリーン関数に由来しているが、多体理論におけるものと数学におけるものとは大まかにだけ関係している。
実時間グリーン関数
1粒子グリーン関数
場の量子論では、遅延グリーン関数 (retarded Green function)
、先進グリーン関数 (advanced Green function)
、因果グリーン関数 (causal Green function)
を総称している。これらはまとめて二時間グリーン関数 (two-point Green function) とも呼ばれ[1]、次のように定義される。[2]
![{\displaystyle {\begin{aligned}G_{A.B}^{\mathrm {r} }&={\frac {\theta (t-t')}{i\hbar }}\langle [{\hat {A}}(t),{\hat {B}}(t')]_{\pm }\rangle \\G_{A.B}^{\mathrm {a} }&=-{\frac {\theta (t-t')}{i\hbar }}\langle [{\hat {A}}(t),{\hat {B}}(t')]_{\pm }\rangle \\G_{A.B}^{\mathrm {c} }&={\frac {1}{i\hbar }}\langle T[{\hat {A}}(t){\hat {B}}(t')]\rangle \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94bf5ff6b00453a2124f1905ad0526a7d0c16fb1)
ここで
は基底状態での期待値を表す。演算子の時間依存性はハイゼンベルク描像を表す。θ(x) は階段関数、[ˆA, ˆB]± := ˆAˆB ± ˆBˆA は交換子、T は時間順序積である。
ˆA, ˆB がそれぞれ場の演算子 ψ(r, t), ψ†(r, t) あるいは生成消滅演算子である場合、二時間グリーン関数 G(r, t, r', t') は1粒子グリーン関数(あるいは、1体グリーン関数; single particle Green's function)と呼ばれる。[3]
![{\displaystyle {\begin{aligned}G^{\mathrm {r} }({\boldsymbol {r}}t,{\boldsymbol {r}}'t')&={\frac {\theta (t-t')}{i\hbar }}\langle [{\hat {\psi }}({\boldsymbol {r}},t),{\hat {\psi }}^{\dagger }({\boldsymbol {r}}',t')]_{\pm }\rangle \\G^{\mathrm {a} }({\boldsymbol {r}}t,{\boldsymbol {r}}'t')&=-{\frac {\theta (t-t')}{i\hbar }}\langle [{\hat {\psi }}({\boldsymbol {r}},t),{\hat {\psi }}^{\dagger }({\boldsymbol {r}}',t')]_{\pm }\rangle \\G^{\mathrm {c} }({\boldsymbol {r}}t,{\boldsymbol {r}}'t')&={\frac {1}{i\hbar }}\langle T[{\hat {\psi }}({\boldsymbol {r}},t){\hat {\psi }}^{\dagger }({\boldsymbol {r}}',t')]\rangle \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5844047bfd9ea14a385644fde5a41c2c041a49fe)
これらの関数がグリーン関数と呼ばれる理由は、二時間グリーン関数が、相互作用がない場合の時間依存シュレーディンガー方程式の数学的な意味でのグリーン関数になっているからである。
[3]
[4]
n粒子グリーン関数
n 粒子因果グリーン関数は次のように定義される。[5]
![{\displaystyle G({\boldsymbol {r}}_{1}t_{1},{\boldsymbol {r}}_{2}t_{2},\dotsc ,{\boldsymbol {r}}_{2n}t_{2n})=(-i)^{n}\langle T[\psi ({\boldsymbol {r}}_{1},t_{1})\dotsc \psi ({\boldsymbol {r}}_{n},t_{n})\psi ^{\dagger }({\boldsymbol {r}}_{n+1},t_{n+1})\dotsc \psi ^{\dagger }({\boldsymbol {r}}_{2n},t_{2n})]\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/495f6e37e1b08dd1cd454a91cf599f7ff2e0e57f)
温度グリーン関数
以上は基底状態におけるグリーン関数であり、絶対温度が 0 K である場合のみ使える。有限温度では期待値のとり方を密度行列を使った平均値にすればよい。このグリーン関数は時間だけでなく温度にも依存し、温度グリーン関数(または松原グリーン関数;temperature Green's function)
という。温度グリーン関数は1955年に松原武生によって提案されたもので、次のように定義される。[2]
![{\displaystyle G_{A.B}^{\tau }=-\langle T_{r}[{\hat {A}}(\tau ){\hat {B}}(\tau ')]\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/aab33a585bbd6a63bd74230ff31b0e6496491960)
ここで
はグランドカノニカル平均、
はハイゼンベルク表示を虚時間に拡張したものである。
は
と
の大小関係に応じて時間順序積と同じ並べ替えをする演算子である。
ˆA, ˆB がそれぞれ場の演算子 ψ(r, t), ψ†(r, t) あるいは生成消滅演算子である場合、1粒子温度グリーン関数と呼ばれる。
![{\displaystyle G^{\tau }({\boldsymbol {r}}\tau ,{\boldsymbol {r}}'\tau ')=-\langle T_{r}[{\hat {\psi }}({\boldsymbol {r}},\tau ){\hat {\psi }}^{\dagger }({\boldsymbol {r}}',\tau ')]\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/239063234322e180e325fef6a853a686b86e5cfc)
n粒子温度グリーン関数は次のように定義される。
![{\displaystyle G^{\tau }({\boldsymbol {r}}_{1}\tau _{1},{\boldsymbol {r}}_{2}\tau _{2},\dotsc ,{\boldsymbol {r}}_{2n}\tau _{2n})=-\langle T_{r}[\psi ({\boldsymbol {r}}_{1},\tau _{1})\dotsc \psi ({\boldsymbol {r}}_{n},\tau _{n})\psi ^{\dagger }({\boldsymbol {r}}_{n+1},\tau _{n+1})\dotsc \psi ^{\dagger }({\boldsymbol {r}}_{2n},\tau _{2n})]\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/410134925a7aaa91bd274d969415b81fdb35de0c)
温度グリーン関数は他の実時間グリーン関数と比べて、摂動展開がブロッホ=ドミニシスの定理(ウィックの定理)によって簡単にでき、場の量子論で開発されたファインマン・ダイアグラムを使うことで視覚的にまとまった形で規則づけることができるという利点がある[5]。
物理量の計算
任意の第二量子化された一体演算子
の平均値
は、1粒子温度グリーン関数で表すことができる[5]。

2体の演算子の平均値は、一般に2粒子グリーン関数を必要とする。
グランドポテンシャル
グランドポテンシャルは、ハミルトニアンの相互作用項が2体の演算子であるにも関わらず1粒子温度グリーン関数を用いて表すことができる[5]。グランドポテンシャルが求まれば、そこからあらゆる熱力学的な物理量を計算することができる。