フーリエ空間におけるランダムガウス場

次に、空間的関数のゆらぎ量 $\delta({\mbox{\boldmath $x$}})$ をフーリエ変換した

$$\tilde{\delta}({\mbox{\boldmath$k$}}) = \int d^3x e^{-i{\mbox{\sc... ...ldmath$k$}}\cdot{\mbox{\scriptsize\boldmath$x$}}} \delta({\mbox{\boldmath$x$}})$$ (O.5.121)

がランダムガウス場についてどのような分布をするのか調べてみよう。 分布汎関数をフーリエ空間で表された変数に変換するには、確率の保存

$$P[\delta] \prod_{\mbox{\scriptsize\boldmath$x$}} d\delta({\mbox{... ..., \prod_{\mbox{\scriptsize\boldmath$k$}} d\tilde{\delta}({\mbox{\boldmath$k$}})$$ (O.5.122)

を用いる。すなわち、汎関数$P[\delta]$ を $\tilde{\delta}$ で表してから、 変換のヤコビアンを計算すれば良い。ここで、変数が無限大であるので、これ を離散化された空間の極限として計算することになる。ただし、右辺のフーリ エ空間の全自由度の積はシンボリックに表したもので、その具体的な意味は下 で与えられる。

ここでは、統計的に空間が一様である場合を考える。この場合、統計的平均量 として与えられる関数は空間座標の並進に対して値を変えないため、$\xi$ , $\xi^{-1}$ は、

$$\xi({\mbox{\boldmath$x$}},{\mbox{\boldmath$x$}}') = \xi({\mbox{\b... ...\mbox{\boldmath$x$}}') = \xi^{-1}({\mbox{\boldmath$x$}}-{\mbox{\boldmath$x$}}')$$ (O.5.123)

という関数依存性になる。すると、式(15.5.119)はフーリエ空間におい て、

$$\widetilde{\xi^{-1}}({\mbox{\boldmath$k$}}) \widetilde{\xi}({\mbox{\boldmath$k$}}) = 1$$ (O.5.124)

という関係式となる^O2。ここで、式(6.6.125)のウィーナー・ヒンチン関係により、 $\xi$ のフーリエ変換 $\widetilde{\xi}({\mbox{\boldmath $k$}})$ はパワースペクトル$P(k)$ に等しい。したがって、

$$\xi^{-1}({\mbox{\boldmath$x$}}) = \int \frac{d^3k}{(2\pi)^3} \fra... ...{i{\mbox{\scriptsize\boldmath$k$}}\cdot{\mbox{\scriptsize\boldmath$x$}}}}{P(k)}$$ (O.5.125)

であることがわかる。こうして、実空間の確率母汎関数(15.5.120)の指 数の上の積分の部分をフーリエ表示により表すと、

$$\int d^3x d^3x' \delta({\mbox{\boldmath$x$}}) \xi^{-1}({\mbox{\bo... ...{d^3k}{(2\pi)^3} \frac{\vert\tilde{\delta}({\mbox{\boldmath$k$}})\vert^2}{P(k)}$$ (O.5.126)

となる。ここで、ゆらぎ量$\delta$ は実数であるから、そのフーリエ変換の複 素共役について、 $\tilde{\delta}^* ({\mbox{\boldmath $k$}}) = \tilde{\delta}(-{\mbox{\boldmath $k$}})$ の関係にあるため、最後の積分においては $k_z\geq 0$ という半分の空間のみについての積分で表せることを使っている。

さて、実空間の時と同様、この無限自由度のままでは扱いにくい。そこで、便 宜的に、全空間を辺長$L$ をもつ体積$V=L^3$ とし、周期境界条件を課すことに より、有限化しよう。実際の空間は $V\rightarrow\infty$ の極限を取ることに より得られる。この有限化により、波数は ${\mbox{\boldmath $k$}}=(2\pi l/L,2\pi m/L,2\pi n/L)$ , $(l,m=0,\pm 1,\pm 2,\ldots; n=0,1,2,\ldots)$ のように離散化し、 一方向あたりの波数$k$ の間隔は $\Delta k = 2\pi/L$ となる。以下、簡単のた め、離散化された自由度$(l,m,n)$ をまとめて$i$ で表し、離散化した波数を ${\mbox{\boldmath $k$}}_i$ と表記する。また、離散化したフーリエ係数は便宜上 $\delta_{\mbox{\scriptsize\boldmath $k$}} \equiv V^{-1/2} \tilde{\delta}({\mbox{\boldmath $k$}})$ という変数で 表す。すると、確率母汎関数の指数の部分は、

$$\exp\left[-\frac12 \int d^3x d^3x' \delta({\mbox{\boldmath$x$}}) ... ...}({\mbox{\boldmath$k$}}_i)\vert^2}{P(\vert{\mbox{\boldmath$k$}}_i\vert)}\right]$$

$$\qquad = \lim\prod_i \exp\left[-\frac12 \frac{\vert\delta_{{\mbox... ...p\left[-\frac{\vert\delta_{\mbox{\scriptsize\boldmath$k$}}\vert^2}{P(k)}\right]$$ (O.5.127)

と表せる。ここで、最後の式では、極限を形式的に表してある。分布汎関数の 残りの部分は規格化に伴う定数である。

フーリエ変換は線形変換であるから、式(15.5.122)の変換のヤコビア ンも定数である。したがって、フーリエ係数を

$$\delta_{\mbox{\scriptsize\boldmath$k$}} ={\rm Re} \delta_{\mbox{\scriptsize\boldmath$k$}} + i {\rm Im} \delta_{\mbox{\scriptsize\boldmath$k$}}$$ (O.5.128)

のように実部と虚部に分解すれば、

$$\prod_{\mbox{\scriptsize\boldmath$x$}} d\delta({\mbox{\boldmath$x... ...x{\scriptsize\boldmath$k$}} d{\rm Im} \delta_{\mbox{\scriptsize\boldmath$k$}}$$ (O.5.129)

となる。したがって、結局フーリエ空間の確率分布汎関数は

$$P[\tilde{\delta}] \prod_{\mbox{\scriptsize\boldmath$k$}} d\tild... ...x{\scriptsize\boldmath$k$}} d{\rm Im} \delta_{\mbox{\scriptsize\boldmath$k$}}$$ (O.5.130)

である。この形は、フーリエ係数 $\delta_{\mbox{\scriptsize\boldmath $k$}}$ ごとに独立な積で与えら れている。つまり、異なるフーリエモードは相互に全く独立な分布をするとい うことである。全確率が1になるように規格化すれば、フーリエ係数の実部と 虚部も独立に分布し、その分布関数は全く同じ形で、

$$P({\rm Re} \delta_{\mbox{\scriptsize\boldmath$k$}}) d{\rm Re} \delta_{\mbox{\scriptsize\boldmath$k$}} = \frac{1}{\sqrt{\pi P(k)}} \exp\left[-\frac{({\rm Re}\delta_{\mbox... ...oldmath$k$}})^2}{P(k)}\right] d{\rm Re} \delta_{\mbox{\scriptsize\boldmath$k$}}$$ (O.5.131)

$$P({\rm Im} \delta_{\mbox{\scriptsize\boldmath$k$}}) d{\rm Im} \delta_{\mbox{\scriptsize\boldmath$k$}} = \frac{1}{\sqrt{\pi P(k)}} \exp\left[-\frac{({\rm Im}\delta_{\mbox... ...oldmath$k$}})^2}{P(k)}\right] d{\rm Im} \delta_{\mbox{\scriptsize\boldmath$k$}}$$ (O.5.132)

となる。

フーリエ係数の実部と虚部が独立であり、その分布関数が全く同じ形であるこ とから、位相は全くランダムなものとなる。フーリエ係数の実部と虚部の代わ りに、

$$\delta_{\mbox{\scriptsize\boldmath$k$}} = \vert\delta_{\mbox{\scriptsize\boldmath$k$}}\vert e^{i\theta_{\mbox{\tiny\boldmath$k$}}}$$ (O.5.133)

により、絶対値 $\vert\delta_{\mbox{\scriptsize\boldmath $k$}}\vert$ および、位相 $\theta_{\mbox{\scriptsize\boldmath $k$}}$ を独立変 数とする分布関数へ変換すれば、

$$P(\vert\delta_{\mbox{\scriptsize\boldmath$k$}}\vert, \theta_{\mbo... ...ptsize\boldmath$k$}}\vert \frac{d\theta_{\mbox{\scriptsize\boldmath$k$}}}{2\pi}$$ (O.5.134)

となる。

このように、ランダムガウス場のフーリエ係数の位相は全くランダムに分布す る。ことから、ランダムガウス場はランダム位相(random phase)の分布である。 ただし、この逆は真ではないことには注意する必要がある。すなわち、ランダ ム位相の分布は必ずしもランダムガウス分布である必要はない。

Footnotes

... という関係式となる^O2

ある２つの関数の畳み込みで表される関数をフー リエ変換するとその２つの関数のフーリエ変換の積となることを容易に示すこ とができる。この性質を畳み込みの定理(convolution theorem)と言 う。