エルゴード定理
数学においてエルゴード定理（エルゴードていり、）とは、力学系における時間平均と空間平均を一致を表す定理。ジョージ・バーコフによって示された個別エルゴード定理や、フォン・ノイマンによって示された平均エルゴード定理が知られている。
ここでは力学における相空間を想定し、領域をn次元ユークリッド空間Rにおける有界領域Ωとする。実際の物理系でも空間的制約や第一積分などの束縛条件により、相空間上の代表点の運動は有界領域に限られることが多い。同じ力学系で記述される相空間内の代表点の時間発展は位相流体として非圧縮性な定常流を成している。出点"x" ="x" ∈ Ωを選ぶと流れに沿って"i" 単位時間ごと("i" =0,± 1,± 2,…)の位置
formula_1
が定まる。また定常という言葉は、時間の取り方に点の移動が不変すなわちformula_2なる点において
が成り立つ、つまり群の性質を有する。非圧縮性は位相体積不変を表すリウヴィルの定理を意味する。リウヴィルの定理は数学的には保測変換として記述される。すなわち可測集合"A" ⊂ Ωに対して、"A"内の点"x" が"i" 時間後に成す集合"A"={"x" | "x" ∈ "A" }は可測であり,Rのルベーグ測度μに対し
が成り立つと表現される。
エルゴード理論ではΩ内の点列{"x"}の"n" → ∞での振る舞いを調べることになる。例えば
Ω内の可測関数"A"の定義関数
を使って
を考えると、これは単位時間ごとに観測して何回"A" を訪れたかという平均回数になり、"n" → ∞としたときの
平均訪問回数 χ("x" )がどんなときに存在するかというは一つの問題となる。
ジョージ・バーコフは個々の"x" ∈ Ωについて時間平均の存在を示した
個別エルゴード定理(individual ergodic theorem)を証明した。
Ωにおいて可積分な複素数値関数ρ ("x" ) ∈" L"(Ω)において、ほとんどすべての出発点a.e. "x" ="x" ∈ Ωに対して、有限値の時間平均
が存在し、この時間平均と空間平均が次の形で一致する；
またρ ("x" )は初期値"x" のとり方に関して不変、すなわちa.e. "x" ∈ Ωに対して
が成り立つ。
フォン・ノイマンは"L"(Ω)ノルムの意味で収束、すなわち二乗平均収束(mean converge)で時間平均が存在するという平均エルゴード定理(mean ergodic theorem)を示した。
Ωにおいて2乗可積分な複素数値関数ρ ("x" ) ∈" L"(Ω)に対し
を満たすρ ("x" ) ∈" L"(Ω)が存在する。
このとき、時間平均と空間平均が次の形で一致する；
またρ ("x" )は初期値"x" のとり方に関して不変、すなわちa.e. "x" ∈ Ωに対して
が成り立つ。
エルゴード問題の端緒は19世紀末に溯る。統計力学の創始者であるボルツマンとギブズは、相空間Ω上での物理量"F" ("x" )の(長)時間平均
を計算することの困難性からこれを空間平均
に置き換えることを考え、それを正当化するために『与えられた力学系の任意の軌道は、長時間の後に系の全ての点
を通過する』という仮説を要請した。この仮説の事をエルゴード仮説という。
しかしながらこの仮説には多くの反論が出された。第一に、力学系の軌道がペアノ曲線のように空間の全ての点を通り、
空間を埋め尽くすということはありそうもないし、第二に、エルゴード仮説を認めたとしても
が有限の値として定まる事は自明ではない。
まず第一の反論には、ポアンカレが1899年にポアソン安定性(Poisson's stability)という標題で一つの回帰定理(recurrence theorem)を証明した。これはある種の強い条件の下で成り立つものであったが、その後もカラテオドリ等によって精緻化されていた。
第二の反論における時間平均の存在の問題は1932年にジョージ・バーコフとフォン・ノイマン及びT.Calemannによって初めて取り上げられ、これが数学理論としてのエルゴード理論の出発点となった。