松原振動数

熱場の量子論において松原振動数の和とは、離散的な虚数振動数についての和のこと。松原武生に因んで名付けられた。松原振動数の和は次の形をとる。
ここでformula_2は逆温度で、振動数formula_3は次の2種類のどちらかである(ただしformula_4)。
formula_7がformula_8の極限でformula_9よりも速く0に収束するとき、この和は収束する。
ボソン振動数についての和は formula_10 (with formula_11)と表され、フェルミオン振動数についての和はformula_12 (with formula_13)と表される。ここでformula_14は統計的な記号である。
熱場の量子論に加えて、松原振動数の和は固体物理学における有限温度でのファインマン・ダイアグラムを考える上で重要な役割を果たす。
一般的にファインマン・ダイアグラムは、formula_15では積分formula_16で表されるが、有限温度では和formula_17で与えられる。
松原振動数の和.
一般的形式.
松原振動数の和を評価する上手なやり方は、formula_18に極を持つ松原重み関数"h""η"("z")を使う方法である。
ボソンの場合"η" = +1とフェルミオンの場合"η" = −1で重み関数は異なる。
重み関数の選択について後述する。
和は、重み関数を使って複素平面での閉曲線積分に置き換えることができる。
Fig. 1において、重み関数は虚数軸上に極（赤バツ印）を作る。
閉曲線積分はこれらの極の留数をピックアップし、これは和に等しい。
閉曲線を"g"("z")の極(Fig. 2、緑バツ印)を囲むように変形すると、和は"g"("z")"h""η"("z")の留数の全ての極"g"("z")についての和によって形式的に遂行される。
ここで閉曲線が極を時計回りの方向で囲むように変形し、負の留数を生むため、マイナスがつくことに注意。
松原重み関数の選択.
ボソン振動数formula_21の極を作るために、どちらの半平面で収束がコントロールされるかに依存して次の2つのタイプの松原重み関数を選ぶことができる。
formula_24は左半平面(Re "z" < 0)での収束をコントロールし、formula_25は右半平面(Re "z" > 0)での収束をコントロールする。
ここでformula_26はボース分布関数である。
フェルミオン振動数の場合も同様である。
２つのタイプの松原重み関数があり、formula_27に極を作る。
formula_30は左半平面(Re "z" < 0)での収束をコントロールし、formula_30は右半平面(Re "z" > 0)での収束をコントロールする。
ここでformula_32はフェルミ分布関数である。
グリーン関数への応用では、"g"("z")は常に次の構造を持つ。
これは0 < "τ" < "β"で与えられる左半平面で発散する。
収束をコントロールするために、第一のタイプの重み関数は常にformula_34と選ぶ。
しかし松原振動数の和が発散しないときは収束をコントロールする必要はない。
そのような場合、どんな松原重み関数を選んでも同じ結果が得られる。
松原振動数の和の表.
以下の表に、
いくつかの簡単な有理関数"g"("z")での松原振動数の和をまとめる。
"η" = ±1 は統計的記号である。
[1] 和は収束しないため、松原重み関数の選択が異なると結果は定数分だけ異なる。
[2] (1 ↔ 2)は、手前の項のインデックス１と２を置き換えたものを表す。
物理学での応用.
温度ゼロの極限.
極限formula_36での松原振動数の和は、虚数振動数の虚軸についての積分に等しい
いくつかの積分は収束しない。
それらは振動数カットオフformula_38を導入し、formula_39の極限をとる前に積分から発散部分(formula_38-依存)を差し引いて繰り込む必要がある。
例えば自由エネルギーは、対数の積分によって得られる。
これは、温度ゼロにおいて自由エネルギーは化学ポテンシャルに満たない内部エネルギーと単純な関係にあることを意味している。
また分布関数は次の積分によって得られる。
これは温度ゼロでの階段関数のふるまいを示している。
グリーン関数との関連.
時間領域.
虚時間区間(0,"β")で定義される関数"G"("τ")を考える。
これはフーリエ級数の観点で与えられる。
ここで振動数は 2/"β"間隔の離散的な値のみとる。
振動数の選択は、関数"G"("τ")の境界条件に依存している。
物理学では"G"("τ")はグリーン関数の虚時間表現を表す。
これはボソン場の周期的境界条件"G"("τ"+"β")="G"("τ")を満たす。
一方フェルミオン場では、境界条件は反周期的"G"("τ" + "β") = −"G"("τ")である。
振動数領域でのグリーン関数"G"("iω")が与えられたとき、その虚時間表現"G"("τ")は松原振動数の和によって評価できる。
その和がボソン振動数かフェルミオン振動数のどちらでとるかに依存して、得られる"G"("τ")は異なる。
これらを区別するため、次を定義する。
ここで"τ"は区間(0,"β")に制限されていることに注意。
境界条件は区間の外に"G"("τ")を拡張するために用いることができる。
よく用いられる結果を以下の表にまとめる。
演算子スイッチング効果.
ここでは小さな虚時間が決定的な役割を果たす。
小さな虚時間の負号が変わると、演算子の順番が変わる
分布関数.
"τ" = 0でのグリーン関数"G"("τ")の不連続性のため、分布関数の評価は難しくなる。
次の和を評価するためにボソンとフェルミオンどちらの重み関数を選択することもできるが、結果は異なる。
これは、"G"("τ")を"τ" = 0からわずかに遠ざけたとき、収束をコントロールするため、formula_51での重み関数としてformula_52をとらなければならず、formula_53ではformula_54をとらなければならないと理解できる。
ボソン
フェルミオン
自由エネルギー.
ボソン
フェルミオン
ダイアグラムの評価.
ここでは、よく使われる単一モードのダイアグラムを評価する。
多重モード問題は、スペクトル関数積分によってアプローチできる。
付録: 分布関数の性質.
分布関数.
一般的表記formula_64はボース分布関数("η" = +1)かフェルミ分布関数("η" = −1)のどちらかを表す。
必要であればボース分布関数とフェルミ分布関数を区別するために、それぞれ記号"n""B"と"n""F"を用いる
双曲線関数との関係.
ボース分布関数は双曲線コタンジェント関数と次の関係にある。
フェルミ分布関数は双曲線タンジェント関数と次の関係にある。
パリティ.
どちらの分布関数も決まったパリティを持っていない。
これは関数formula_70を用いて次のようにも書ける。
しかしこれらの導関数は決まったパリティを持つ。
ボーズ・フェルミ変質.
ボース分布関数とフェルミ分布関数は、フェルミオン振動数による変数のシフトの下で変質する。
しかしボソン振動数によるシフトでは違いは生じない。
微分.
一次.
積で表すと、
温度ゼロの極限では、
関数"c""η".
定義:
ボソンとフェルミオンでは:
双曲線関数との関係.
formula_90は正の定関数であることは明らかである。
数値計算でのオーバーフローを避けるため、tanh関数やcoth関数が用いられる。
低温極限.
"a" = 0において: formula_97
"b" = 0において: formula_98
一般的に、