エルゴード理論

エルゴード理論（エルゴードりろん、英語：ergodic theory）は、ある力学系がエルゴード的（ある物理量に対して、長時間平均とある不変測度による位相平均が等しい）であることを示す、すなわちエルゴード仮説の立証を目的とする理論。この仮説は、SinaiらのDynamical billiardsの例などで正しいという証明が与えられているが、統計力学の基礎とは無関係である。また、物理学でのエルゴード性を抽象化した、数学における保測変換の理論をそう呼ぶこともある。

長時間平均

統計的、事象的、観察結果

位相平均

計算論的、収束するもの、あるいは一定のサイクルに収めることの出来るもの、全事象等確率的として推察できるもの

上記2つの平均が同じような値（あるいは関数）を得られるものについて、エルゴード的ということが出来る。

保測変換

確率測度Ｐにおいて保測変換Ｔは任意の事象Ａにおいて [math]P(TA)=P(A)[/math] といった具合にＡの起こりうる確率を変化させずに別又は同じ事象TAに変換するものをいう。即ち、確率測度という大きさの測り方を指定したときに、大きさを変えずに変化させる操作の総称をいう。ただし、 [math]P(T^{-1}A) =P(A)[/math] であることはmeasure preserving（邦訳：測度保存）という名がついており、可逆性を満たせば保測変換になるという広いクラスとなる。

エルゴード仮説

エルゴード仮説とは、長い時間尺度 (time scale) でみると、微小状態からなる位相空間内で同じエネルギーをもった領域に費やされる時間は位相空間でしめる体積に比例するというもの。すなわち、そのようなすべての実現可能な微小状態は長い目で見ると等しい確率で起こるということ。さらに言いかえれば、時間平均と、統計力学でいうアンサンブル（起こりうる微小状態の数だけある系のレプリカの集まり）内での平均は等しくなるということ。

証明されていないため仮説の域は出ないものの、この仮説を採用してシミュレーションを行うと現実を非常にうまく説明できることを疑うものはいない。その意味で特に工学分野において、証明を必要とする「仮説」の字を避けエルゴード仮設と呼ぶことがある。

問題点

エルゴード仮説は統計力学の基礎としては的を外しているという主張も専門家によってなされている。

数学におけるエルゴード理論

エルゴード理論は確率論にもとづいた力学系の一つの分野である。 物理へのみならず数論など数学の他分野への応用も多い。 上記のエルゴード仮説との直接の関係は薄い。

重要な概念

エルゴード理論での基本的な事柄を説明する。 主に離散力学系を扱うが、連続力学系についても同様のことを考えることが出来る。

可測力学系

確率空間 [math] (X, \mathcal{B}, \mu ) [/math] を考える。即ち、X をある集合、[math] \mathcal{B} [/math] を X 上の完全加法族、そしてμを確率測度とする。 さらに [math]T : X \rightarrow X [/math] を [math] \mathcal{B} [/math]-可測な写像とする。 全ての [math] A \in \mathcal{B} [/math] に対して [math] \mu ( T ^{-1} A ) = \mu ( A ) [/math] を満たすとき、μは(T-)不変測度であるという。 このとき、 [math] (X, \mathcal{B}, \mu, T) [/math] を可測力学系と呼ぶ。 ここでの興味の対象は、任意の始点 [math] x \in X [/math] からの軌道 [math] \{ T ^n ( x ) \} _{n \in \mathbb{N} _0} [/math] の振舞いである。

エルゴード性

T-不変な [math] \mathcal{B} [/math] の集合を [math] \mathcal{I} = \{ A \in \mathcal{B} : T ^{-1} A = A \} [/math] と書く。 ある可測力学系 [math] (X, \mathcal{B}, \mu, T) [/math] が(もしくは不変測度 μが)以下の同値な条件の一つを満たすとき エルゴード的であるという。

1. 任意の [math] A \in \mathcal{I} [/math] に対して、 [math] \mu ( A ) = 0 [/math] または [math] \mu ( A ) = 1 [/math] が成り立つ。
2. 任意の [math] \mu ( A \triangle T ^{-1} A ) = 0 [/math] を満たす [math] A \in \mathcal{B} [/math] に対して、 [math] \mu ( A ) = 0 [/math] または [math] \mu ( A ) = 1 [/math] が成り立つ。
3. 任意の [math] \mu ( A ) , \mu ( B ) \gt 0 [/math] を満たす [math] A , B \in \mathcal{B} [/math] に対して、ある [math] n \in \mathbb{N} [/math] があり、 [math] \mu ( T ^{-n} A \cap B ) \gt 0 [/math] が成り立つ。
4. 任意の [math] f \in L ^2 _\mu [/math] に対して、 [math] f \circ T = f [/math] が [math] \mu [/math]-殆ど確かに成り立つならば、[math] f [/math] は定数関数である。
5. 任意の [math] A , B \in \mathcal{B} [/math] に対して [math] \lim _{n \rightarrow \infty} \frac{1}{n} \sum _{k=0} ^{n-1} \mu ( T ^{-k} A \cap B ) = \mu ( A ) \mu ( B ) [/math] が成り立つ。

1.は、測度論の視点から見れば空間 X は T-不変な真の部分空間を持たないということを意味している。 3.で [math] A=B [/math] の場合はポアンカレの回帰定理によって全ての可測力学系で成り立つ。 5.は混合性と呼ばれる性質の一つである。

このような力学系をエルゴード的と呼ぶ結縁は各種エルゴード定理にある。 エルゴード性は重要な概念であるが、エルゴード理論で扱う力学系はエルゴード的な物に限られるわけではない。

混合性

エルゴード性より強力な性質としては以下のものがある。

任意の [math] A , B \in \mathcal{B} [/math] に対して [math] \lim _{n \rightarrow \infty} \frac{1}{n} \sum _{k=0} ^{n-1} \left| \mu ( T ^{-k} A \cap B ) - \mu ( A ) \mu ( B ) \right| = 0 [/math] が成り立つとき、 [math] ( X , \mathcal{B} , \mu , T ) [/math] は弱混合的であるという。

また、任意の [math] A , B \in \mathcal{B} [/math] に対して [math] \lim _{n \rightarrow \infty} \mu ( T ^{-n} A \cap B ) = \mu ( A ) \mu ( B ) [/math] が成り立つとき、 [math] ( X , \mathcal{B} , \mu , T ) [/math] は強混合的であるという。

エルゴード定理

"「エルゴード定理」"

最も代表的なのは以下の定理である。

ビーコフのエルゴード定理: [math] (X, \mathcal{B}, \mu, T) [/math] を可測力学系とする。 任意の可積な関数 [math] f \in L ^1 _\mu [/math] に対して、ある [math] f ^\ast \circ T = f ^\ast [/math] を満たす [math] f ^\ast \in L ^1 _\mu [/math] が存在し

[math] \lim _{n \rightarrow \infty} \frac{1}{n} \sum _{k=0} ^{n-1} f ( T ^k (x) ) = f ^\ast ( x ) [/math]

がμ-殆ど全ての [math] x \in X [/math] で成り立つ。

さらに、μがエルゴード的なら右辺を [math] f ^\ast ( x ) = \int f d \mu [/math] と定数関数にとれる。

例

以下に可測力学系の例を示す。

• [math] \mathcal{B} ([0,1)) [/math] を [math] [0,1) [/math] 上のボレル集合族、 [math] \lambda [/math] を [math] [0,1) [/math] 上のルベーグ測度とする。さらに [math] \alpha \in \mathbb{R} [/math] に対して、写像 [math] R _\alpha : [0,1) \rightarrow [0,1) [/math] を [math] R _\alpha ( x ) = x + \alpha \mod 1 [/math] と定義する。このとき可測力学系 [math] ([0,1), \mathcal{B}([0,1)), \lambda , R _\alpha) [/math] は [math] \alpha \not \in \mathbb{Q} [/math] のときに限ってエルゴード的である。
• [math] b \in \mathbb{N} [/math] に対して写像 [math] T _b : [0,1) \rightarrow [0,1) [/math] を [math] T _b ( x ) = b x \mod 1 [/math] と定義する。このとき可測力学系 [math] ([0,1), \mathcal{B}([0,1)), \lambda , T _b) [/math] はエルゴード的である。
• パイこね変換(Baker's map)
• 猫マップ(Arnold's cat map)

連分数への応用

写像 [math] T : [0,1] \setminus \mathbb{Q} \rightarrow [0,1] \setminus \mathbb{Q} [/math] を [math] x [/math] を [math] \frac{1}{x} [/math] の小数部分に写す写像とする。 つまり

[math] T ( x ) = \frac{1}{x} - \left\lfloor \frac{1}{x} \right\rfloor [/math]

と定義する。この写像は Gauss map と呼ばれることがある。

このとき [math] a _n ( x ) , n = 1,2, \ldots [/math] を [math] a _n ( x ) = \left\lfloor \frac{1}{T ^{n-1} ( x )} \right\rfloor [/math] と定めると、これは [math] x = [0 ; a _1 (x) , a _2 (x) , \ldots ] [/math] と [math] x [/math] の連分数表現を与える。

つまり任意の [math] x \in [0,1] \setminus \mathbb{Q} [/math] は

[math]\begin{align} x &= a _1 (x) +\cfrac{1}{a _2 (x) +\cfrac{1}{a _3 (x) +\cfrac{1}{\ddots }}} \end{align}[/math]

と表される。 さらに、 [math] [0,1] [/math] 上のボレル確率測度 [math] \mu [/math] を

[math] \mu (A) = \frac{1}{\log 2} \int _A \frac{1}{1+x} d x [/math]

と定義する。これはガウス測度と呼ばれることがある。

この [math] \mu [/math] は [math] T [/math]-不変であるので [math] ( [0,1] , \mathcal{B} ([0,1]) , \mu , T ) [/math] は可測力学系となっている。

この力学系はエルゴード的であることも知られている。

物理学におけるエルゴード理論

物理学、特に量子力学において、エルゴード理論をパイを作るときの混合で説明している

関連項目

• カオス理論
• マルコフ連鎖

関連書籍

• 『エルゴード理論とフラクタル』 釜江哲郎・高橋智 共著 (1993, シュプリンガー･フェアラーク東京, ISBN 4-431-70645-3)
• Probability : Theory and Examples (Richard Durrett, Thomson, ISBN 0-534-42441-4)
• Peter Walters, An Introduction to Ergodic Theory