粗視化のソースを表示

{{読み仮名|'''粗視化'''|そしか|{{lang-en-short|coarse graining}}}}とは、ある変数空間で定義された連続的な物理量を、その変数を任意の単位スケールで離散化し、単位スケール内で物理量の平均を取ることで、その物理量そのものも離散化し情報量を減らす手法。単純に言うと、モザイクを掛ける事、[[解像度]]を下げる事がこれに相当する。解像度の高い空間から低い空間への[[射影]]操作であるとも言える。[[可逆]]な基礎方程式（[[ニュートン方程式]]など）から不可逆な現象（[[エントロピー]]増大則など）を説明するためのトリックの一つだと考えられている。

==分布関数の粗視化==
物理学ではよく粗視化された分布関数が用いられる。厳密な（粗視化されていない）分布関数<math>\left. f \right.</math>に対し、粗視化された分布関数<math>\left. F \right.</math>は次で定義される。

{{Indent|<math>F=\frac{1}{A_{\delta \Gamma}}\int_{\delta \Gamma}f d\Gamma</math>}}

ここで<math>\left. \delta \Gamma \right.</math>は粗視化の領域であり、2次元ならば<math>\left. A_{\delta \Gamma} \right.</math>はその面積、<math>\left. d\Gamma \right.</math>は面積素である。

例えば、[[統計力学]]で[[エントロピー]]の計算をする際に[[位相空間]]を細胞に分割する操作は

{{Indent|<math>F(p,x)=\frac{1}{\Delta p \Delta x} \int_{p_j}^{p_j+\Delta p} \int_{x_i}^{x_i+\Delta x} f(\bar{p},\bar{x}) d\bar{p}d\bar{x}</math>　但し　<math> p_j \leq p < p_{j+1} , \ x_i \leq x < x_{i+1}</math>}}

等の様に書けるだろう。この粗視化された分布関数に対してエントロピー<math>\left. S[F] \right.</math>が定義される。

{{Indent|<math>S[F]=-k_B\int F \ln F \ dpdx</math>}}

ここで<math>\left. k_B \right.</math>は[[ボルツマン定数]]である。

==粗視化とエントロピー増加則 ==
厳密な分布関数<math>\left. f \right.</math>に対して同様な「エントロピー」を定義する。

{{Indent|<math>S[f]=-k_B\int f \ln f \ dpdx</math>}}

ここで<math>\left. k_B \right.</math>は[[ボルツマン定数]]、<math>\left. \ln \right.</math>は[[自然対数]]。この時間変化は次の様になる。

{{Indent|<math>\frac{d S[f]}{d t}=-k_B\int \left(1+ \ln f\right)\frac{df}{dt} \ dpdx</math>}}

ところが、[[リウヴィルの定理 (物理学)|リウヴィル方程式]]より、

{{Indent|<math>\frac{df}{dt}=\frac{\partial f}{\partial t}+\frac{\partial f}{\partial p} \dot{p} + \frac{\partial f}{\partial x} \dot{x} = 0</math>}}

であるから、

{{Indent|<math>\frac{d S[f]}{d t}=0</math>}}

つまり、厳密な分布関数に対するエントロピーは時間依存性を持たない事がわかる。一般的によく言われる「エントロピーの増加法則」は、何らかの情報に対して粗視化された分布関数に対して初めて成り立つ。

簡単な例で考えてみよう。
{| border="1" cellpadding="3"
! style="background:#efefef;"| !! style="background:#efffef;"|イ!! style="background:#efffef;"|ロ!! style="background:#efffef;"|ハ!! style="background:#efffef;"|ニ!! style="background:#eeeeff;"|「配置数」w!! style="background:#eeeeff;"|配置数W

|-
! style="background:#ffdebd;"|1
|●||●|| style="background:#ffeeee;"|　|| style="background:#ffeeee;"|　||2||1
|-
! style="background:#ffdebd;"|2
|●||　|| style="background:#ffeeee;"|●|| style="background:#ffeeee;"|　||2||2
|-
! style="background:#ffdebd;"|3
|●||　|| style="background:#ffeeee;|　|| style="background:#ffeeee;|●||2||2
|-
! style="background:#ffdebd;"|4
|　||●|| style="background:#ffeeee;|●|| style="background:#ffeeee;|　||2||2
|-
!style="background:#ffdebd;"|5
|　||●|| style="background:#ffeeee;|　|| style="background:#ffeeee;|●||2||2
|-
!style="background:#ffdebd;"|6
|　||　|| style="background:#ffeeee;|●|| style="background:#ffeeee;|●||2||1 
|}
4つの箱'''イロハニ'''と2つのボール●がある。2つのボールは区別可能であり、1つの箱にボールは一つずつしか入れられない。そしてボールは4つの箱のいずれかに等確率で入っているとする（そのメカニズムは問わない）。2つのボールの違いには興味が無いので、その配置パターンは全部で6種類考えられる（上図）。

それぞれのパターンに対し、「配置数」wを計算する。
{{Indent|<math>w=\frac{N!}{\prod_i n_i !}</math>}}
ここでNはボールの総数2であり、<math>n_i</math>（i='''イロハニ'''）はそれぞれの箱に入っているボールの数である。ところがこの場合「配置数」wは全て2となることがわかる。例えばこの系の初期状態がパターン'''1'''であったとした場合、それから時間発展して他のパターンへと移り変わったとしても「配置数」wは変化せず、それに対応した「エントロピー」sも初期状態から変化しない事がわかる。
{{Indent|<math> \left. s=k_B \ln w \right. </math>}}
<math>\left. k_B \right.</math>は[[ボルツマン定数]]、<math>\left. \ln \right.</math>は[[自然対数]]。

ここで箱を2種類に分ける。'''イロ'''を白グループ、'''ハニ'''を桃グループとする。そして箱単位ではなくこれらのグループ単位で[[配置数]]を考え、それをWとする。
{{Indent|<math>W=\frac{N!}{\prod_{cg} n_{cg} !}</math>}}
ここでNはボールの総数2であり、<math>n_{cg}</math>（cg='''白'''or'''桃'''）はそれぞれのグループに入っているボールの数である。この箱のグループ分け操作は、'''箱の違いに関する詳細な情報を破棄'''するという粗視化操作に相当する。するとこの場合、パターンごとに[[配置数]]Wに変化が現れる事がわかる（上図）。例えばこの系の初期状態がパターン'''1'''であったとした場合、それから時間発展して他のパターンへと移り変わったとすると、多くの場合（パターン'''6'''以外）において配置数Wは増加する（1→2）。それに対応した[[エントロピー]]Sも初期状態から増加する。
{{Indent|<math> \left. S=k_B \ln W \right. </math>}}
<math>\left. k_B \right.</math>は[[ボルツマン定数]]、<math>\left. \ln \right.</math>は[[自然対数]]。

このモデルでの「1つの箱にボールは一つずつしか入れられない。」という仮定は、例えば多粒子系を考えた時、複数の粒子の座標が厳密に重なり合う確率はほとんど無い、という事を表している。

==参考文献==

* G.M.ザスラフスキー　「カオス－古典および量子力学系－」 現代工学社　ISBN 4-87472-140-0

{{DEFAULTSORT:そしか}}
[[Category:統計力学]]
[[Category:統計力学の哲学]]
[[Category:力学系]]
[[Category:数学に関する記事]]

[[en:coarse graining]]