松原振動数

熱場の量子論において松原振動数の和とは、離散的な虚数振動数についての和のこと。松原武生に因んで名付けられた。松原振動数の和は次の形をとる。

ここでは逆温度で、振動数は次の2種類のどちらかである(ただし)。
ボソン振動数: 
フェルミオン振動数: 
がの極限でよりも速く0に収束するとき、この和は収束する。
ボソン振動数についての和は  (with )と表され、フェルミオン振動数についての和は (with )と表される。ここでは統計的な記号である。

熱場の量子論に加えて、松原振動数の和は固体物理学における有限温度でのファインマン・ダイアグラムを考える上で重要な役割を果たす。
一般的にファインマン・ダイアグラムは、では積分で表されるが、有限温度では和で与えられる。

松原振動数の和

一般的形式 

松原振動数の和を評価する上手なやり方は、に極を持つ松原重み関数hη(z)を使う方法である。
ボソンの場合η = +1とフェルミオンの場合η = −1で重み関数は異なる。
重み関数の選択について後述する。
和は、重み関数を使って複素平面での閉曲線積分に置き換えることができる。

Fig. 1において、重み関数は虚数軸上に極（赤バツ印）を作る。
閉曲線積分はこれらの極の留数をピックアップし、これは和に等しい。
閉曲線をg(z)の極(Fig. 2、緑バツ印)を囲むように変形すると、和はg(z)hη(z)の留数の全ての極g(z)についての和によって形式的に遂行される。

ここで閉曲線が極を時計回りの方向で囲むように変形し、負の留数を生むため、マイナスがつくことに注意。

松原重み関数の選択 
ボソン振動数の極を作るために、どちらの半平面で収束がコントロールされるかに依存して次の2つのタイプの松原重み関数を選ぶことができる。

は左半平面(Re z < 0)での収束をコントロールし、は右半平面(Re z > 0)での収束をコントロールする。
ここではボース分布関数である。

フェルミオン振動数の場合も同様である。
２つのタイプの松原重み関数があり、に極を作る。

は左半平面(Re z < 0)での収束をコントロールし、は右半平面(Re z > 0)での収束をコントロールする。
ここではフェルミ分布関数である。

グリーン関数への応用では、g(z)は常に次の構造を持つ。

これは0 < τ < βで与えられる左半平面で発散する。
収束をコントロールするために、第一のタイプの重み関数は常にと選ぶ。
しかし松原振動数の和が発散しないときは収束をコントロールする必要はない。
そのような場合、どんな松原重み関数を選んでも同じ結果が得られる。

松原振動数の和の表 
以下の表に、
いくつかの簡単な有理関数g(z)での松原振動数の和をまとめる。

η = ±1 は統計的記号である。

[1] 和は収束しないため、松原重み関数の選択が異なると結果は定数分だけ異なる。

[2] (1 ↔ 2)は、手前の項のインデックス１と２を置き換えたものを表す。

物理学での応用

温度ゼロの極限 
極限での松原振動数の和は、虚数振動数の虚軸についての積分に等しい

いくつかの積分は収束しない。
それらは振動数カットオフを導入し、の極限をとる前に積分から発散部分(-依存)を差し引いて繰り込む必要がある。
例えば自由エネルギーは、対数の積分によって得られる。

これは、温度ゼロにおいて自由エネルギーは化学ポテンシャルに満たない内部エネルギーと単純な関係にあることを意味している。
また分布関数は次の積分によって得られる。

これは温度ゼロでの階段関数のふるまいを示している。

グリーン関数との関連

時間領域 
虚時間区間(0,β)で定義される関数G(τ)を考える。
これはフーリエ級数の観点で与えられる。
 
ここで振動数は 2/β間隔の離散的な値のみとる。

振動数の選択は、関数G(τ)の境界条件に依存している。
物理学ではG(τ)はグリーン関数の虚時間表現を表す。
 
これはボソン場の周期的境界条件G(τ+β)=G(τ)を満たす。
一方フェルミオン場では、境界条件は反周期的G(τ + β) = −G(τ)である。

振動数領域でのグリーン関数G(iω)が与えられたとき、その虚時間表現G(τ)は松原振動数の和によって評価できる。
その和がボソン振動数かフェルミオン振動数のどちらでとるかに依存して、得られるG(τ)は異なる。
これらを区別するため、次を定義する。

ここでτは区間(0,β)に制限されていることに注意。
境界条件は区間の外にG(τ)を拡張するために用いることができる。
よく用いられる結果を以下の表にまとめる。

演算子スイッチング効果 
ここでは小さな虚時間が決定的な役割を果たす。
小さな虚時間の負号が変わると、演算子の順番が変わる
.\

分布関数 
τ = 0でのグリーン関数G(τ)の不連続性のため、分布関数の評価は難しくなる。
次の和を評価するためにボソンとフェルミオンどちらの重み関数を選択することもできるが、結果は異なる。

これは、G(τ)をτ = 0からわずかに遠ざけたとき、収束をコントロールするため、での重み関数としてをとらなければならず、ではをとらなければならないと理解できる。

ボソン

フェルミオン

自由エネルギー 
ボソン

フェルミオン

ダイアグラムの評価 
ここでは、よく使われる単一モードのダイアグラムを評価する。
多重モード問題は、スペクトル関数積分によってアプローチできる。

フェルミオン自己エネルギー

粒子-空孔バブル

粒子-粒子バブル

付録: 分布関数の性質

分布関数 
一般的表記はボース分布関数(η = +1)かフェルミ分布関数(η = −1)のどちらかを表す。

必要であればボース分布関数とフェルミ分布関数を区別するために、それぞれ記号nBとnFを用いる

双曲線関数との関係 
ボース分布関数は双曲線コタンジェント関数と次の関係にある。

フェルミ分布関数は双曲線タンジェント関数と次の関係にある。

パリティ 
どちらの分布関数も決まったパリティを持っていない。

これは関数を用いて次のようにも書ける。

しかしこれらの導関数は決まったパリティを持つ。

ボーズ・フェルミ変質 
ボース分布関数とフェルミ分布関数は、フェルミオン振動数による変数のシフトの下で変質する。

しかしボソン振動数によるシフトでは違いは生じない。

微分

一次 

積で表すと、

温度ゼロの極限では、

二次

Formula of difference

a = 0の場合

a → 0の場合

b → 0の場合

関数cη 
定義:

ボソンとフェルミオンでは:

双曲線関数との関係 

は正の定関数であることは明らかである。
数値計算でのオーバーフローを避けるため、tanh関数やcoth関数が用いられる。

a = 0の場合

b = 0の場合

低温極限 
a = 0において: 

b = 0において: 

一般的に、

関連項目 
 虚時間
 熱場の量子論

外部リンク
Agustin Nieto: Evaluating Sums over the Matsubara Frequencies. arXiv:hep-ph/9311210
Github repository: MatsubaraSum A Mathematica package for Matsubara frequency summation.

参考文献

統計力学
物性物理学