単元一覧 › 大学院数学 力学系・エルゴード理論

力学系・エルゴード理論の問題

難易度 2大学院の講義の演習問題レベル大学院数学 力学系・エルゴード理論

区間 上のガウス写像 を で定める( は 以下の最大の整数)。 が になる点 (有理数)は除いて考える。 上の確率測度 は 不変であり、 は に関してエルゴード的であることが知られている。関数 について、ルベーグ測度に関してほとんどすべての で存在する極限 の値を求めよ。

この問題で使うもの

この問題を解けるようになるまで(68 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 分数のたし算・ひき算
  2. 小数の四則計算
  3. 正負の数の加法・減法
  4. 分数のかけ算・わり算
  5. 四則の混じった計算の順序
  6. 正負の数の乗除・累乗と四則混合
  7. 分配法則を使った計算のくふう
  8. 文字式の計算(同類項・分配法則)
  9. 乗法公式による展開
  10. 因数分解
  11. 3 次式までの展開と因数分解
  12. 微分係数と導関数の定義
  13. 多項式の微分
  14. 多項式の不定積分
  15. 等間隔にならんだ数の和
  16. 等差・等比数列の和と Σ
  17. 数列の極限
  18. 関数の極限
  19. 積と商の微分
  20. 合成関数の微分
  21. 円の周の長さと面積
  22. おうぎ形の弧の長さと面積
  23. 弧の長さからおうぎ形の中心角と面積を求める
  24. 三角形・四角形の面積
  25. 約数の見つけ方
  26. 素因数分解と約数の個数
  27. 平方根の意味と根号の簡単化
  28. 三平方の定理
  29. 特別な直角三角形の辺の比
  30. 弧度法と単位円による三角関数
  31. の極限
  32. 加法定理と 2 倍角・半角・積和の公式
  33. 三角関数の導関数
  34. 根号の乗除と加減
  35. 指数の拡張と指数関数
  36. 対数の定義と性質
  37. 自然対数の底
  38. 指数関数・対数関数の導関数
  39. 基本的な関数の不定積分
  40. 置換積分
  41. 部分積分
  42. 定積分の計算
  43. 定積分の置換・部分積分と偶関数・奇関数
  44. 広義積分
  45. ルベーグ積分の計算
  46. 樹形図で数え上げる
  47. 積の法則と和の法則
  48. 和の法則・積の法則と樹形図
  49. 順列・円順列・重複順列
  50. 組合せ
  51. 確率の定義と和事象・余事象
  52. 期待値
  53. 確率変数と確率分布
  54. 平均と合計
  55. 平均値・中央値・最頻値
  56. 代表値(平均値・中央値・最頻値)
  57. 分散と標準偏差
  58. 変量の変換と平均・分散
  59. 確率変数の期待値・分散と
  60. 確率変数の和と積(独立な場合)
  61. 重積分と累次積分
  62. 同時分布・周辺分布と独立性
  63. 偏微分と全微分
  64. 多変数の連鎖律
  65. 重積分の変数変換とヤコビアン
  66. 確率変数の変換
  67. 不変測度と不変密度
  68. バーコフのエルゴード定理と時間平均

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

バーコフのエルゴード定理により、エルゴード的な不変測度 についての時間平均は、ほとんどすべての点で空間平均 に一致する。 とルベーグ測度の関係にも注意する。

ヒント 2

求める値は である。被積分関数を多項式と の和に分ける。

ヒント 3

であり、 となる。

答えと解説

答えを見る
結果を記録する(このブラウザにだけ保存されます):
解説を読む

方針. バーコフのエルゴード定理を使う。 は に関してエルゴード的で、 は有界なので 。よって -ほとんどすべての で

が成り立つ。 の密度 は 上で 以上 以下の正の値をとるので、 とルベーグ測度は互いに絶対連続である。したがって「-ほとんどすべて」と「ルベーグ測度に関してほとんどすべて」は同じ意味になり、時間平均は空間平均 に等しい。また有理数( となる点)は可算個なので測度 で、除いても影響しない。

(参考: 不変性の確認. なので

(和は望遠鏡和)となり、 は確かに 不変である。)

空間平均の計算.

割り算すると より

よって

したがって

(数値は約 で、 と矛盾しない。)

答えは 。

別解

は に関してエルゴード的で は不変確率測度なので、バーコフの個別エルゴード定理により、 に関してほとんどすべての で

とルベーグ測度は互いに絶対連続(密度 は 上で正で有界)なので、「 に関してほとんどすべて」は「ルベーグ測度に関してほとんどすべて」と同値であり、極限は定数 に等しい。

積分を計算する。

なので 。したがって

よって

検算: 数値で より なので値は約 。 の最大値は 、一様測度での平均は で、 は小さい に重みが偏っている( は小さい で小さい)ため、これより少し小さい値になるのは妥当。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題