ergodic theoremとは? わかりやすく解説

Weblio 辞書 > 学問 > OR事典 > ergodic theoremの意味・解説 

エルゴード定理

読み方えるごーどていり
【英】:ergodic theorem


定常離散時間確率過程 \{ X_n \} \, 有限な平均値をもつならば, 確率1で



  \lim_{n\rightarrow\infty} \frac{1}{n} \sum_{i=1}^n X_i = \mbox{E}(X_1|\mathcal{G})
\,


成り立つ. ここで, \mathcal{G} \, \{ X_n \} \, のずらしに関する不変事象\sigma \, -集合体である. この結果を, (離散時間)エルゴード定理と呼ぶ. 特に、 \{ X_n\} \, がエルゴード的ならば右辺\mbox{E}(X_1) \, となる。連続時間確率過程についても同様である。


エルゴード定理

(ergodic theorem から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/22 04:01 UTC 版)

ナビゲーションに移動 検索に移動

数学においてエルゴード定理(エルゴードていり、: ergodic theorem)とは、力学系における時間平均と空間平均の一致を表す定理。ジョージ・バーコフによって示された個別エルゴード定理や、フォン・ノイマンによって示された平均エルゴード定理が知られている。

概要

古典的エルゴード定理

ここでは力学における相空間を想定し、領域をn次元ユークリッド空間Rnにおける有界領域Ωとする。実際の物理系でも空間的制約や第一積分などの束縛条件により、相空間上の代表点の運動は有界領域に限られることが多い。同じ力学系で記述される相空間内の代表点の時間発展は位相流体として非圧縮性な定常流を成している。出点x =x0Ωを選ぶと流れに沿ってi 単位時間ごと(i =0,± 1,± 2,…)の位置

が定まる。また定常という言葉は、時間の取り方に点の移動が不変すなわちなる点において

が成り立つ、つまりの性質を有する。非圧縮性は位相体積不変を表すリウヴィルの定理を意味する。リウヴィルの定理は数学的には保測変換として記述される。すなわち可測集合A ⊂ Ωに対して、A内の点xi 時間後に成す集合Ai={xi | xA }は可測であり,Rnルベーグ測度μに対し

が成り立つと表現される。 エルゴード理論ではΩ内の点列{xn}のn → ∞での振る舞いを調べることになる。例えば Ω内の可測関数A定義関数

を使って

を考えると、これは単位時間ごとに観測して何回A を訪れたかという平均回数になり、n → ∞としたときの 平均訪問回数 χ*(x)がどんなときに存在するかというは一つの問題となる。

個別エルゴード定理(G. D. Birkoff 1932)

ジョージ・バーコフは個々のxΩについて時間平均の存在を示した 個別エルゴード定理(individual ergodic theorem)を証明した。

Ωにおいて可積分な複素数値関数ρ (x ) ∈ L1(Ω)において、ほとんどすべての出発点a.e. x =x0Ωに対して、有限値の時間平均

が存在し、この時間平均と空間平均が次の形で一致する;

またρ* (x )は初期値x のとり方に関して不変、すなわちa.e. xΩに対して

が成り立つ。

平均エルゴード定理(J. von Neumann 1932)

フォン・ノイマンL2(Ω)ノルムの意味で収束、すなわち二乗平均収束(mean converge)で時間平均が存在するという平均エルゴード定理(mean ergodic theorem)を示した。

Ωにおいて2乗可積分な複素数値関数ρ(x) ∈ L2(Ω)に対し

すなわち

を満たすρ*(x) ∈ L2(Ω)が存在する。 このとき、時間平均と空間平均が次の形で一致する;

またρ*(x)は初期値x のとり方に関して不変、すなわちa.e. xΩに対して

が成り立つ。

歴史的背景

エルゴード問題の端緒は19世紀末に溯る。統計力学の創始者であるボルツマンギブズは、相空間Ω上での物理量F (x )の(長)時間平均

を計算することの困難性からこれを空間平均

に置き換えることを考え、それを正当化するために『与えられた力学系の任意の軌道は、長時間の後に系の全ての点 を通過する』という仮説を要請した。この仮説の事をエルゴード仮説という。 しかしながらこの仮説には多くの反論が出された。第一に、力学系の軌道がペアノ曲線のように空間の全ての点を通り、 空間を埋め尽くすということはありそうもないし、第二に、エルゴード仮説を認めたとしても

が有限の値として定まる事は自明ではない。

まず第一の反論には、ポアンカレが1899年にポアソン安定性(Poisson's stability)という標題で一つの回帰定理(recurrence theorem)を証明した。これはある種の強い条件の下で成り立つものであったが、その後もカラテオドリ等によって精緻化されていた。

第二の反論における時間平均の存在の問題は1932年にジョージ・バーコフとフォン・ノイマン及びT.Calemannによって初めて取り上げられ、これが数学理論としてのエルゴード理論の出発点となった。

参考文献

関連項目



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「ergodic theorem」の関連用語

ergodic theoremのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ergodic theoremのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
日本オペレーションズ・リサーチ学会日本オペレーションズ・リサーチ学会
Copyright (C) 2025 (社)日本オペレーションズ・リサーチ学会 All rights reserved.
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのエルゴード定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS