次へ: ゆらぎのスムージングとカウントインセル
上へ: 天体分布の統計理論
前へ: 高次相関関数
目次
索引
Subsections
キュムラント展開定理
キュムラント展開定理
キュムラントは式(15.2.32)-(15.2.35)のように,モーメン
トからいちいち再帰的に定義されているが,これらをもっと直接的に関係づけ
る強力な定理がある.それはキュムラント展開定理(cumulant expansion
theorem),あるいは結合クラスター定理と呼ばれるものである.この
定理によると,一般にランダム変数
について,次の等式が成り立つ:
|
(O.3.48) |
証明は次の通りである.まず,式(15.2.36)から,一つの変数
につ
いての
次のモーメントをキュムラントで展開すると次のようになる:
|
(O.3.49) |
ここで,
個のあらゆる可能な組分けについて和をとり,ある組分けについ
て,組
の要素数は
である.ここで,ある固定された組分け
に対して,要素数
がちょうど
になるような組の数を
としよ
う.このとき当然,
である.すると,式(15.3.49)
の右辺の各項は,数の組
が同じになる組分けについて,全
く同じ形となる.そこで,この数の組
が同じになる組分け
の数,すなわち縮退数を
と表すことにすると,式
(15.3.49)は次の形となる:
|
(O.3.50) |
ここで,
はクロネッカーデルタであり,両整数が等しいとき
のみ1で,そうでなければゼロを与える記号である.また,縮退数
は,
個の要素を
個ずつの組に
分けて,その各々の組の
個の要素をさらに
個ずつ
個の組に分
けるやり方の数であるから,
|
(O.3.51) |
と求まる.すると,式(15.3.50)から,
|
(O.3.52) |
となり,これは式(15.3.48)に他ならない.これによって,キュムラ
ント展開定理が証明された.
有限変数のキュムラント母関数
キュムラント展開定理が非常に有用なのは,次に見るように,それが,モーメ
ントとキュムラントの母関数の間の関係を与えるからである.ランダム変数が
一変数
の場合,モーメント
の母関数は次のように定義さ
れる:
|
(O.3.53) |
ここで,
は
の確率分布関数である.つまり,この母関数は確
率分布関数のラプラス変換である.任意の次数のモーメントはこの母関数を微
分することにより得られる:
|
(O.3.54) |
式(15.3.48)において,
とおけば,
|
(O.3.55) |
であるから,これはキュムラントの母関数であることがわかる:
|
(O.3.56) |
すなわち,キュムラント展開定理は,モーメントの母関数の対数はキュムラン
トの母関数であるということを意味しているのである.
ランダム変数
の統計的情報は確率分布関数にすべて含まれているので,
そのラプラス変換であるモーメント母関数
にもやはり統計的情報がすべ
て含まれている.当然,母関数を解析接続した
は
のフーリエ
変換である.キュムラントがすべて与えられれば、式(15.3.55)からモー
メント母関数が決定するので、統計的情報が完全に定まることになる。つまり、
キュムラントの全体は統計的情報をすべて含んでいるのである。
ランダム変数の数が複数個ある多変数の場合への拡張は容易である.
種類
のランダム変数
,
について,モーメント母関数は
次式で定義される:
|
|
|
|
|
|
|
(O.3.57) |
したがって,多変数のモーメントは次のようになる:
|
(O.3.58) |
式(15.3.48)において,
とおけば,
|
(O.3.59) |
また,
|
(O.3.60) |
が導かれる.この場合もやはりモーメントの母関数の対数はキュムラントの母
関数である.
連続場のキュムラント母汎関数
変数が連続場であって,無限個ある場合にも上と同様に考察できる.変数の自
由度が連続無限大となるため,母関数ではなく母汎関数を考えることになる.
モーメント母汎関数は次のように定義される.
汎関数とは,関数の関数のことで,一つの関数が与えられたときに,対応する
数が与えられるようなものである.上の例では,関数
が与えられたとき
に一つの数
が定まる.すなわち,関数から数への写像である.一般に,
関数
の汎関数は
のようにあらわす.連続変数
を離散的な点の
集合
と近似的に考えれば,離散的な変数
の多変数関数
で表される.汎関数はこのような
有限自由度の多変数関数において,自由度無限大の極限を取って
を連続変
数にする,すなわち連続極限を取ったものと考えられる.
モーメントはこの母汎関数の微分を取れば良いが,連続無限自由度をもつ変数
による微分は通常の微分を拡張したものであり,汎関数微分というものとなる.
これは,連続場
のある一点
における値を変化させたときの汎関数
の変化率のことである.具体的には,ある変分
における汎関数
の変化を
|
(O.3.62) |
と表したときの
を汎関数微分の定義とする.汎関数と
して,特に
の点の値のみを返す
というものを考えて上の
定義に代入することにより,容易に
|
(O.3.63) |
という性質があることが示される.ここで右辺はデルタ関数である.上で述べ
たように汎関数は多変数関数の連続極限と考えられるが,これに対応して,汎
関数微分は偏微分の連続極限と考えられる.したがって,自由度が連続である
ことを別にすれば,通常の偏微分のように微分の連鎖則などが成り立つ.ただ
し,偏微分の場合には全自由度に対して和をとるようなところは汎関数微分の
場合には積分になる.
この汎関数微分を用いることにより,モーメントの表式は
|
(O.3.64) |
であることがわかる.また,式(15.3.48)において,
とおけば,
|
(O.3.65) |
となるので,
|
(O.3.66) |
である.
上では,連続場の空間が1次元のように書いてあるが,もちろん,3次元空間
中の連続場などでも,同様である.宇宙論においては,密度ゆらぎ
の統計が扱われるが,これは3次元空間中の連続場である.
に注意すると,密度ゆらぎの場のキュムラント展開定理は次
の式で表される:
ここで,
|
(O.3.69) |
は密度ゆらぎの場の
点相関関数である.
天体分布のキュムラント母汎関数
天体の分布のような離散的な点分布についての高次相関関数を与える母汎関数
を次に考えてみる.§15.1.2で考えたように、空間を微小体積
に分割して,その中の天体の数を
とすると,
のみ
である.この分割された空間で、式(15.2.44)で定義される、微小体
積
の個数のゆらぎ
を考えれば,離散分布の
相関関数は式(15.2.45)で与えられる。微小体積を無限小にした連続
極限においては、
は天体のある場所にデルタ関数が立ってい
るような、特異な場となる。実際、天体のある場所を
とすると、
この極限で式(15.2.44)は、
|
(O.3.70) |
となっている。すると、このような極限において離散分布
のモーメント母関数は
|
|
|
(O.3.71) |
と定義される。ここで、式(15.2.45)とキュムラント展開定理から、
|
(O.3.72) |
となる。
ここで、離散分布のモーメント母関数(15.3.71)を連続場と結び付ける
ため、天体の数密度を表す場を
としよう.この数密度場は質量の
密度場に比例するものとする.すなわちこれは§15.1.2で考えた,
バイアスのないポアソンモデルである.微小体積
の数密度の値を
とする.
式(15.3.71)を微小体積の和で表し直して、
|
(O.3.73) |
となるが、ここで
のみであること、および、密度場が固定されてい
るときのポアソン平均は
である
ことから、
|
|
|
|
|
|
|
(O.3.74) |
と計算される。したがって、結局
|
(O.3.75) |
であることがわかる。さらに、数密度場は連続的な密度ゆらぎ
により
|
(O.3.76) |
で与えられることから、式(15.3.67)で与えられる連続的な密度ゆら
ぎのモーメント母汎関数
を用いれば、
|
(O.3.77) |
となる。したがって、キュムラントの母汎関数の間に
|
(O.3.78) |
という関係があることがわかる。
相関関数の統計的完全性
キュムラントの全体は分布の統計的情報をすべて含んでいることに触れたが、
それに対応して、相関関数の全体は空間分布についての統計的情報をすべて含
んでいる。高次相関関数をすべて含む相関関数の関数形を与えれば、それは空
間分布の統計的性質を完全に指定したことになる。
たとえば、密度場の相関関数
がすべて与えられたも
のとすると、式(15.3.67)により、モーメント母汎関数
が定ま
るため、これにより、あらゆる統計的性質が導き出されることになる。天体分
布の相関関数は母汎関数
を汎関数微分することにより得ら
れるが、この汎関数は上で導いたように、式(15.3.78)によって密度ゆ
らぎの母汎関数
と結び付いている。このように、モーメント母汎関数は
分布の統計にとって基本的な量であり、空間分布から導き出されるどのような
統計量であろうとも、この母汎関数に帰着させることが原理的に可能である。
次へ: ゆらぎのスムージングとカウントインセル
上へ: 天体分布の統計理論
前へ: 高次相関関数
目次
索引
All rights reserved © T.Matsubara 2004-2010
visitors, pageviews since 2007.5.11