を独立同分布な確率変数で、各 は 上の一様分布に従う(公正なさいころの出た目)とする。
とおき、、 とする。実数の定数 に対して
と定める。 がフィルトレーション に関するマルチンゲールとなるような の組を求め、 の形で答えよ。
マルチンゲール
与えられた確率過程がマルチンゲールかどうかを判定し、マルチンゲールを作れる
前提
- σ 加法族に関する条件付き期待値 (大学院数学 確率論)
この技能までの道筋(69 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 多項式の不定積分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 部分積分 (数学III 積分法)
- 定積分の計算 (数学II 微分法と積分法)
- 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
- 広義積分 (大学数学 微分積分)
- ルベーグ積分の計算 (大学院数学 測度論・実解析)
- 単調収束定理・優収束定理 (大学院数学 測度論・実解析)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 順列・円順列・重複順列 (数学A 場合の数と確率)
- 組合せ (数学A 場合の数と確率)
- 確率の定義と和事象・余事象 (数学A 場合の数と確率)
- 期待値 (数学A 場合の数と確率)
- 確率変数と確率分布 (数学B 統計的な推測)
- 平均と合計 (算数 いろいろな文章題)
- 平均値・中央値・最頻値 (中学数学 データの活用)
- 代表値(平均値・中央値・最頻値) (数学I データの分析)
- 分散と標準偏差 (数学I データの分析)
- 変量の変換と平均・分散 (数学I データの分析)
- 確率変数の期待値・分散と (数学B 統計的な推測)
- 連続型確率変数と確率密度関数 (数学B 統計的な推測)
- 一様分布・指数分布 (大学数学 確率・統計)
- 測度論的な期待値と収束定理 (大学院数学 確率論)
- 確率変数の和と積(独立な場合) (数学B 統計的な推測)
- 重積分と累次積分 (大学数学 微分積分)
- 同時分布・周辺分布と独立性 (大学数学 確率・統計)
- 条件付き確率と乗法定理 (数学A 場合の数と確率)
- 条件付き分布と全期待値の公式 (大学数学 確率・統計)
- σ 加法族に関する条件付き期待値 (大学院数学 確率論)
説明
マルチンゲールとは、過去の情報をすべて知ったうえで次の値を予想すると、その予想値がちょうど現在の値になる確率過程です。「公平な賭け」を数学的に表したものと考えられます。この技能では、与えられた過程がこの性質をもつかを条件付き期待値の計算で判定します。また、ランダムウォークなどから定数や補正項を選んで、マルチンゲールを自分で作れるようにします。作ったマルチンゲールは、期待値が時刻によらず一定であることを通じて、到達確率や停止時刻の計算などに使われます。
なぜそうしてよいのか
確率空間 上に、増大する σ 加法族の列 が与えられているとします。これをフィルトレーションといい、 は「時刻 までに得られた情報」を表します。実数値確率変数の列 が次の 3 条件をみたすとき、 に関するマルチンゲールといいます。(i) 各 が 可測である(適合性)。(ii) である(可積分性)。(iii) がほとんど確実に(a.s.)成り立つ。(iii) の等号を にしたものを優マルチンゲール、 にしたものを劣マルチンゲールといいます。
条件 (iii) は 1 歩先だけを見ていますが、それで十分です。 のとき、塔の性質 を繰り返し使うと が得られます。さらに両辺の期待値をとれば となり、期待値は時刻によらず一定です。
判定や構成でいちばん大事なのは、 を「 で分かっている部分」と「新しいランダムな部分」に分けることです。分かっている部分は取り出しの性質で条件付き期待値の外に出せます。新しい部分が と独立なら、条件付き期待値はただの期待値になります( が と独立で可積分なら )。例として と書ける場合を考えます。 が と独立で が可積分なら、 です。したがって となるように を選べばマルチンゲールが作れます。和の形 なら、 が条件になります。
手順
フィルトレーションを決める。特に指定がなければ ( は自明な σ 加法族 )とする。
適合性と可積分性を確認する。 が の(可測な)関数であること、 であることを示す。
を 可測な部分と の部分に分けて書く。例: や 。
取り出しの性質と独立性を使って を計算する。例: 。
結果を と比べる。判定なら (a.s.)かどうかを見る。構成なら等号が成り立つように定数や補正項を決める(例: を解く)。
例題
は独立同分布で、、 とする。、 とおき、、 とする。 が に関するマルチンゲールとなる実数 で、 かつ をみたすものを求めよ。
例題の解答
手順 1: フィルトレーションは問題で与えられた を使う。
手順 2: とする。 は の関数なので 可測である。また より となり、 は有界なので可積分である。
手順 3: より、 と書ける。
手順 4: は 可測で有界なので取り出せる。 は と独立である。よって
手順 5: なので、マルチンゲールとなる条件は と同値である。両辺に を掛けると 、すなわち 。 より 。このとき はマルチンゲールである。
答え:
よくある誤り
が によらず一定であることだけを確かめて、マルチンゲールと判断してしまう誤り。正しくは、条件付きの等式 まで必要である。例えば で のとき、 は で一定だが、 となる。
をそのままマルチンゲールだとしてしまう誤り(、 の独立同分布の和の場合)。正しくは となる。したがってマルチンゲールになるのは、補正項を引いた である( は劣マルチンゲール)。
乗法型の構成で、条件を にしたり、 と取り違えたりする誤り。正しくは なので、条件は である。これを解くと (または )になる。
可積分性の確認を落とす誤り。 がなければ、 はそもそも定義されない。 のような指数型を使うときは、 を確かめてから、 とする。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
袋の中に、はじめ赤玉 個と白玉 個が入っている。次の操作をくり返す。
「袋から玉を 個無作為に取り出し、その色を確認して袋に戻し、さらに取り出した玉と同じ色の玉を 個袋に加える。」
回の操作を終えた時点()で袋の中にある赤玉の個数を とし()、 とする。 を正の実数の定数として
と定める。 がフィルトレーション に関するマルチンゲールとなるような の値を求めよ。袋の中に、はじめ赤玉が 個、青玉が 個入っている。次の操作を繰り返す。
「袋から玉を 個、無作為に取り出し、その玉を袋に戻す。さらに、取り出した玉と同じ色の玉を 個、袋に加える。」
各回の取り出しでは、そのとき袋に入っている玉はどれも同様に確からしく取り出されるものとする。 回の操作を終えたときの赤玉の個数を とする()。 とおく。
を正の実数の定数とし、
とおく。 が に関するマルチンゲールとなるような の値を求めよ。を独立同分布な確率変数で、
を満たすものとする。、 とおく。これは、所持金 円のギャンブラーが、勝つ確率 で 円を得て、負ける確率 で 円を失う賭けを繰り返すときの、 回後の所持金を表す。
とする。つまり、所持金が 円になるか 円になった時点で賭けをやめる。賭けをやめるまでの回数の期待値 を求めよ。を独立同分布な確率変数で、 を満たすものとする。, とし、( は自明な σ 加法族)とする。停止時刻 を考える()。期待値 を求めよ。
を独立同分布な確率変数で、 を満たすものとする。所持金の推移を , で表し、フィルトレーションは , とする。停止時刻を と定める。 がマルチンゲールであることと任意停止定理を用いて、所持金が になる前に に達する確率 を求めよ。
を確率空間 上の を満たす 次元標準ブラウン運動とし、 をその自然なフィルトレーションとする。 とおき、
とする( が初めて または に到達する時刻)。期待値 を求めよ。を確率空間 上の を満たす 次元標準ブラウン運動とし、 をその自然なフィルトレーションとする。確率過程 を
で定め、
とおく( が初めて または に到達する時刻)。期待値 を求めよ。
この技能を使う問題
を確率空間 上の を満たす 1 次元標準ブラウン運動とし、 をその自然なフィルトレーション(通常の条件を満たすように完備化したもの)とする。実数の定数 に対して
とおく。 が に関するマルチンゲールとなるような組 を求めよ。答えは の順の組で答えよ。を独立同分布な確率変数で、
を満たすものとする。, ()とおき、
と定める。期待値 を求めよ。を正の整数とする。 を独立同分布な確率変数で を満たすものとし、, とおく。
とする。 という条件のもとでの の条件付き期待値 を の式で求めよ。とし、, とおく。 を独立同分布な確率変数列で , を満たすものとし、, とおく。 を自明な -加法族、 とする。正の整数 を固定し、
とおく。 のとき、 に到達するまでの経路の「面積」を
で定める。このとき a.s. であり、 は可積分で
であることを証明せよ。なお、-マルチンゲール と -停止時刻 に対して、各 で が成り立つこと(有界な停止時刻に対する任意抽出定理)、マルコフの不等式、単調収束定理(項別積分を含む)、優収束定理は用いてよい。
を通常の条件を満たすフィルター付き確率空間とし、 を であり、すべての標本路が連続な -標準ブラウン運動とする。定数 , に対して とおき、
と定める。次の事実は用いてよい。- は -停止時刻である。
- 連続な -マルチンゲール と有界な停止時刻 に対して (任意抽出定理)。
- a.s.
このとき
であることを証明せよ。を独立同分布な確率変数で、 を満たすものとする。、 とおき、停止時刻
を定める(フィルトレーションは の生成する自然なものとする)。 の分散 を求めよ。を独立同分布な確率変数とし、それぞれ文字 のいずれかの値をとり、 を満たすものとする。停止時刻 を定める(文字列 が初めて現れ終わる時刻)。期待値 を求めよ。
を独立同分布な確率変数で を満たすものとし、, とおく。停止時刻
に対して、 を求めよ。を である 1 次元標準ブラウン運動(標本路は連続)とし、その自然なフィルトレーションを考える。停止時刻
を定める( が初めて または に到達する時刻)。 を求めよ。を確率空間 上の を満たす 1 次元標準ブラウン運動とし、 をその自然なフィルトレーションとする。停止時刻
とおき( が初めて または に到達する時刻)、 とする。このとき
を求めよ。ただし は事象 の定義関数である。を独立同分布な確率変数で を満たすものとし、, とおく。停止時刻 を考える( が確率 で成り立つ)。 の分散 を求めよ。
この技能の次に学べること
- 任意停止定理 (大学院数学 確率論)
- 伊藤積分と伊藤の等長性 (大学院数学 確率解析)