エルゴード理論（エルゴードりろん、英語: ergodic theory）は、ある力学系がエルゴー

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

長時間平均: 統計的、事象的、観察結果
位相平均: 計算論的、収束するもの、あるいは一定のサイクルに収めることの出来るもの、全事象等確率的として推察できるもの

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

保測変換[編集]

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

エルゴード仮説[編集]

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

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

問題点[編集]

「エルゴード仮説は統計力学の基礎としては的を外している」という主張も、専門家である田崎晴明によってなされている^[1]。

数学におけるエルゴード理論[編集]

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

重要な概念[編集]

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

可測力学系[編集]

確率空間 (�,�,�) を考える。即ち、X をある集合、� を X 上の完全加法族、そしてμを確率測度とする。さらに �:�→� を �-可測な写像とする。全ての �∈� に対して �(�−1�)=�(�) を満たすとき、μは(T-)不変測度であるという。このとき、 (�,�,�,�) を可測力学系と呼ぶ。ここでの興味の対象は、任意の始点 �∈� からの軌道 {��(�)}�∈�0 の振舞いである。

エルゴード性[編集]

詳細は「エルゴード性」を参照

T-不変な � の部分集合を �={�∈�:�−1�=�} とする。ある可測力学系 (�,�,�,�) が以下の同値な条件の一つを満たすときエルゴード的であるという。

任意の �∈� に対して、 �(�)=0 または �(�)=1 が成り立つ。
任意の �(�△�−1�)=0 を満たす �∈� に対して、 �(�)=0 または �(�)=1 が成り立つ。
任意の �(�),�(�)>0 を満たす �,�∈� に対して、ある �∈� があり、 �(�−��∩�)>0 が成り立つ。
任意の �∈��2 に対して、 �∘�=� が成り立つならば、� は(��2の意味で)定数関数である。
任意の �,�∈� に対して lim�→∞1�∑�=0�−1�(�−��∩�)=�(�)�(�) が成り立つ。

1.は、測度論の視点から見れば空間 X の自明でないT-不変な部分空間を持たないということを意味している。 3.で �=� の場合はポアンカレの回帰定理である。 5.は混合性と呼ばれる性質の一つである。

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

混合性[編集]

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

任意の �,�∈� に対して lim�→∞1�∑�=0�−1|�(�−��∩�)−�(�)�(�)|=0 が成り立つとき、 (�,�,�,�) は弱混合的であるという。

また、任意の �,�∈� に対して lim�→∞�(�−��∩�)=�(�)�(�) が成り立つとき、 (�,�,�,�) は強混合的であるという。

エルゴード定理[編集]

詳細は「エルゴード定理」を参照

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

バーコフのエルゴード定理: (�,�,�,�) を可測力学系とする。任意の �∈��1 に対して、ある �∗∘�=�∗ を満たす �∗∈��1 が存在し

lim�→∞1�∑�=0�−1�(��(�))=�∗(�)

がμ-殆ど全ての �∈� で成り立つ。

さらに、μがエルゴード的なら右辺を �∗(�)=∫�� と定数関数にとれる。

例[編集]

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

�([0,1)) を [0,1) 上のボレル集合族、 � を [0,1) 上のルベーグ測度とする。さらに �∈� に対して、写像 ��:[0,1)→[0,1) を ��(�)=�+�mod1 と定義する。このとき可測力学系 ([0,1),�([0,1)),�,��) は �∉� のときに限ってエルゴード的である。
�∈� に対して写像 ��:[0,1)→[0,1) を ��(�)=��mod1 と定義する。このとき可測力学系 ([0,1),�([0,1)),�,��) はエルゴード的である。
パイこね変換(Baker's map)
猫マップ(Arnold's cat map)