翻訳と辞書
Words near each other
・ ウィチタ郡 (テキサス州)
・ ウィチャイ・ピァンヌコチョン
・ ウィッカ
・ ウィッカムのウィリアム
・ ウィッカーマン
・ ウィッカーマン (1973年の映画)
・ ウィッカーマン (2006年の映画)
・ ウィッキー
・ ウィッキーさん
・ ウィッキー聡生
ウィックの定理
・ ウィックス
・ ウィックス級駆逐艦
・ ウィックマイヤー
・ ウィックロー
・ ウィックロー山地
・ ウィックロー州
・ ウィック回転
・ ウィッグ
・ ウィッグス


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

ウィックの定理 : ミニ英和和英辞書
ウィックの定理[り]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

定理 : [ていり]
 【名詞】 1. theorem 2. proposition
: [り]
 【名詞】 1. reason 

ウィックの定理 ( リダイレクト:ブロッホ=ドミニシスの定理 ) : ウィキペディア日本語版
ブロッホ=ドミニシスの定理[ぶろっほどみにしすのていり]
統計物理学において、ブロッホ=ドミニシスの定理()とは、量子多体系における熱平均で定義された多点相関関数を、2点相関関数の組み合わせ和に分解する定理。場の量子論真空期待値に関するウィックの定理に対し、有限温度の系での類似版に相当しており、ウィックの定理とも呼ばれる。物理学者 松原武生によって、温度グリーン関数の理論展開ともに導入された〔T. Matsubara, ''Prog. Theor. Phys.'', 14, p.351 (1955)〕。定理の名は、最初に完全な証明を与えた物理学者C. ブロッホとC. T. ドミニシスに因む〔C. Bloch and C. T. de Dominicis, ''Nucl. Phys.'', 7, p.459 (1958) 〕。
== 概要 ==
''A'' を生成演算子''a''α、または消滅演算子''a''α、もしくはそれらを虚時間相互作用表示したものとする。ここで、相互作用表示において、非摂動系の自由ハミルトニアン
:
H_0=\sum_\varepsilon_ a_^ a_

のように2次形式で表されているとする。また平均値<…>0はe-β(''H''o-μ''N'' )による非摂動系でのグランドカノニカル分布の熱平均を表すものとする。
このとき、この熱平均で定義されるn点相関関数は、nが偶数である場合のみゼロにならず、
:
\langle A_1A_2 \cdots A_n \rangle_0
=\left\\begin
0 & \quad (n:\mbox) \\
\sum_^(\pm 1)^ \langle A_1A_m \rangle_0 \langle A_2 \cdots A_A_ \cdots A_n \rangle_0 & \quad (n:\mbox)
\end\right.

が成り立つ。ここで現れる2点相関関数は縮約(contraction)と呼ばれる。また、(±1)mの項はフェルミ粒子での演算子の順番の並び替えにおいて、隣合う演算子同士を置き換える際に生じる符号の反転を表しており、符号は正がボーズ粒子、負がフェルミ粒子に対応するものとする。以降、本項に現れる複合の符号は全て、上がボーズ粒子、下がフェルミ粒子に対応するものとする。
さらに、nが偶数であるときは、この結果を繰り返し適用することで、
:
\langle A_1A_2 \cdots A_n \rangle_0 =\sum_'(\pm 1)^P
\langle A_A_ \rangle_0 \langle A_A_ \rangle_0
\cdots \langle A_A_ \rangle_0

と全ての演算子の縮約の組み合わせ和に分解できる。ここで、''P'' は(1, 2, …, n)→(i1, i2, …, in)なる置換を表し、和Σ'において、ここの縮約で対となる演算子は、ik-1 < ikを満たし、全体としてはi1 < i3 < …< inの順序が満たされる項について和をとるものする。また、(±1)''P''は、フェルミ粒子の隣合う演算子同士の並び替えの際に付与する正負の符号の変化を表し、ボーズ粒子については+1、フェルミ粒子については演算子の並び替えの回数に応じた符号(置換の符号)を与えるものとする。これをブロッホ=ドミニシスの定理またはウィックの定理と呼ぶ〔A. L. Fetter and J. D. Walecka (2003)〕〔阿部龍蔵 (1992)〕。
縮約について、記法
:
A^B^:=\langle AB \rangle_0

を導入すれば、全ての可能な縮約の組み合わせをとるというブロッホ=ドミニシスの定理は
:
\langle A_1A_2 \cdots A_n \rangle_0
= A_1^A_2^A_3^ \cdots A_n^
+A_1^A_2^A_3^ \cdots A_n^
+A_1^A_2^A_3^ \cdots A_n^
+\cdots

とも表すことができる。但し、複数個の演算子の縮約については、
:
\begin
A^B^C^D^
&= \pm (A^C^)(B^D^)
= \pm \langle AC \rangle_0 \langle BD \rangle_0 \\
A^B^C^D^
&= (A^D^)(B^C^)
= \langle AD \rangle_0 \langle BC \rangle_0
\end

のように、同じ右付き添え字の演算子同士の縮約を行い、さらにフェルミ粒子の場合には演算子の入れ替えの回数に応じた符号を与えるものとする。
''A'' =''A'' (τ)が虚時間での相互作用表示の演算子であるとし、虚時間に対する時間順序積をとる場合にも、同様にブロッホ=ドミニシスの定理
:
\langle T_ \cdots A_n(\tau_n) \rangle_0
=\sum_'(\pm 1)^P
\langle T_ \rangle_0 \langle T_ \rangle_0
\cdots \langle T_ \rangle_0

が成り立つ。
この場合も縮約について、
:
A(\tau_a)^B(\tau_b)^:=\langle T_ \rangle_0

となる記法を導入すれば、
:
\begin
\langle T_\cdots A_n(\tau_n) \rangle_0
=& A_1(\tau_1)^A_2(\tau_2)^A_3(\tau_3)^ \cdots A_n(\tau_n)^ \\
& +A_1(\tau_1)^A_2(\tau_2)^A_3(\tau_3)^ \cdots A_n(\tau_n)^
+A_1(\tau_1)^A_2(\tau_2)^A_3(\tau_3)^ \cdots A_n(\tau_n)^
+\cdots
\end

と表すことができる。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「ブロッホ=ドミニシスの定理」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.