を独立同分布な確率変数で、
を満たすものとする。、 とおく。これは、所持金 円のギャンブラーが、勝つ確率 で 円を得て、負ける確率 で 円を失う賭けを繰り返すときの、 回後の所持金を表す。
とする。つまり、所持金が 円になるか 円になった時点で賭けをやめる。賭けをやめるまでの回数の期待値 を求めよ。
任意停止定理の仮定を確かめ、停止時刻での期待値からギャンブラーの破産の確率・期待時間を求められる
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
任意停止定理は、マルチンゲール を「あらかじめ決めた時刻」ではなく「ランダムに決まる停止時刻 」で止めても、適当な条件のもとで が成り立つ、という定理です。これを使うと、ランダムウォークが区間の端に先に到達する確率(ギャンブラーの破産の確率)や、到達までの期待時間を、漸化式を解かずに 1 本の等式から求められます。そのためには、定理の仮定が満たされているかを毎回確かめることが欠かせません。
フィルトレーション (増大する σ 加法族の列)を固定します。値が の確率変数 が停止時刻であるとは、すべての について となることをいいます。これは「時刻 までの情報だけで、もう止まったかどうかが判定できる」という意味です。このとき
と書けます()。 なので、条件付き期待値の性質から となります。よって、各 について です。直観的には、「いつやめるかを過去の情報だけで決めても、公平な賭けは公平なまま」ということです。
残る問題は の極限で、 が成り立つかどうかです。ここで収束定理が必要になり、それが定理の仮定になります。代表的な十分条件は次の 3 つです。(a) が有界(ある定数 で )。(b) で、ある定数 について常に 。このときは優収束定理が使えます。(c) で、増分が有界(ある定数 について )。このときは を優関数にとります。いずれかが成り立てば です。
ギャンブラーの破産では、区間 からの脱出時刻 が を満たします。内部のどの点からでも「 回続けて上がる」ことが起これば必ず外に出ます。その確率は ( は上がる確率)なので、長さ のブロックごとの独立性から が出ます。さらに も同時に従います。
状況に合うマルチンゲールを選び、それがマルチンゲールであることを確認する。例えば、上がる確率 ・下がる確率 の単純ランダムウォーク について、確率を求めるなら のとき 、 のとき を使う。期待時間を求めるなら のとき 、 のとき を使う。
止める時刻 (例: )を定め、 であること、つまり が停止時刻であることを確かめる。
任意停止定理の仮定 (a)(b)(c) のどれかを確かめる。脱出時刻なら から と が言える。さらに、 が有界か、増分が有界かを確認する。
定理の等式 を書き、 を境界での値で表す。 とおけば、 となる(期待時間を求める場合は を含む式になる)。
得られた 1 次方程式を解いて、確率 または を求める。
1 回ごとに独立に、確率 で 、確率 で 動くランダムウォーク を考え、 とする。 とおく。 が より先に に到達する確率 を求めよ。
手順1(マルチンゲールの選択): 、 で なので、 をとる。 を で生成される σ 加法族とすると、
となる。また より は可積分なので、 はマルチンゲールである。
手順2(停止時刻): は「 のどれかが か に等しい」という事象なので、 に属する。よって は停止時刻である。
手順3(仮定の確認): のどの点からでも、4 回続けて が出れば必ず 以上に達し、その前に止まる。4 回ずつのブロックは独立なので となり、 である。さらに だから で有界である。よって条件 (b) が成り立ち、。
手順4(境界の値で表す): とおくと、 のとき 、 のとき である。したがって
手順5(解く): より 、すなわち 。
答え:
仮定を確かめずに を使ってしまう誤り。例えば、対称ランダムウォークで 、 とすると、 であっても なので となる。この例では は有界でなく、 は下に有界でなく、 なので、(a)(b)(c) のどれも満たさない。正しくは、毎回 (a)(b)(c) のどれかを確認してから使う。
のときに をマルチンゲールとして使い、 としてしまう誤り。 なので はマルチンゲールではない。正しくは、確率を求めるなら を使う。期待時間を求めるなら を使い、その増分は で有界、かつ なので (c) から となる。
に条件 (b) を当てはめてしまう誤り。 には の項があり、定数では押さえられない。正しくは、まず各 で を書く。次に左辺は有界収束(優収束定理)、右辺は単調収束定理で極限をとり、 を得る。例えば区間 で のとき、 となる。
のときにも を使ってしまう誤り。 となり、等式から何も情報が得られない。正しくは 自身を使う。 より 、したがって となる。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
を独立同分布な確率変数で、
を満たすものとする。、 とおく。これは、所持金 円のギャンブラーが、勝つ確率 で 円を得て、負ける確率 で 円を失う賭けを繰り返すときの、 回後の所持金を表す。
とする。つまり、所持金が 円になるか 円になった時点で賭けをやめる。賭けをやめるまでの回数の期待値 を求めよ。
を独立同分布な確率変数で、 を満たすものとする。, とし、( は自明な σ 加法族)とする。停止時刻 を考える()。期待値 を求めよ。
を独立同分布な確率変数で、 を満たすものとする。所持金の推移を , で表し、フィルトレーションは , とする。停止時刻を と定める。 がマルチンゲールであることと任意停止定理を用いて、所持金が になる前に に達する確率 を求めよ。
を確率空間 上の を満たす 次元標準ブラウン運動とし、 をその自然なフィルトレーションとする。確率過程 を考え、
とおく( が初めて または に到達する時刻)。 がほとんど確実に成り立つことは既知としてよい。期待値 を求めよ。
を確率空間 上の を満たす 次元標準ブラウン運動とし、 をその自然なフィルトレーションとする。 とおき、
とする( が初めて または に到達する時刻)。期待値 を求めよ。
を確率空間 上の を満たす 次元標準ブラウン運動とし、 をその自然なフィルトレーションとする。確率過程 を
で定め、
とおく( が初めて または に到達する時刻)。期待値 を求めよ。
を独立同分布な確率変数で、
を満たすものとする。, ()とおき、
と定める。期待値 を求めよ。
を正の整数とする。 を独立同分布な確率変数で を満たすものとし、, とおく。
とする。 という条件のもとでの の条件付き期待値 を の式で求めよ。
を確率空間 上の を満たす 1 次元標準ブラウン運動とし、 をその自然なフィルトレーションとする。停止時刻
( が初めて または に到達する時刻)を考える。 が より先に に到達するという条件のもとでの の条件付き期待値
を求めよ。
とし、, とおく。 を独立同分布な確率変数列で , を満たすものとし、, とおく。 を自明な -加法族、 とする。正の整数 を固定し、
とおく。 のとき、 に到達するまでの経路の「面積」を
で定める。このとき a.s. であり、 は可積分で
であることを証明せよ。
なお、-マルチンゲール と -停止時刻 に対して、各 で が成り立つこと(有界な停止時刻に対する任意抽出定理)、マルコフの不等式、単調収束定理(項別積分を含む)、優収束定理は用いてよい。
を通常の条件を満たすフィルター付き確率空間とし、 を であり、すべての標本路が連続な -標準ブラウン運動とする。定数 , に対して とおき、
と定める。次の事実は用いてよい。
このとき
であることを証明せよ。
を通常の条件を満たすフィルター付き確率空間とし、 を であり、すべての標本路が連続な -標準ブラウン運動とする。定数 , と をとり、
と定める。ただし と約束する。 が -停止時刻であること、伊藤の公式、および有界な発展的可測過程 に対して ()であることは用いてよい。
このとき
が成り立つことを証明せよ。
を確率空間 上の 次元標準ブラウン運動とし、( は を満たす定点)とする。ここで はユークリッドノルムである。停止時刻
を が球殻 から初めて出る時刻とし、事象 (内側の球面に先に到達する事象)を考える。条件付き期待値
の値を求めよ。
を独立同分布な確率変数で、 を満たすものとする。、 とおき、停止時刻
を定める(フィルトレーションは の生成する自然なものとする)。 の分散 を求めよ。
を独立同分布な確率変数とし、それぞれ文字 のいずれかの値をとり、 を満たすものとする。停止時刻 を定める(文字列 が初めて現れ終わる時刻)。期待値 を求めよ。
を独立同分布な確率変数で を満たすものとし、, とおく。停止時刻
に対して、 を求めよ。
を確率空間 上の を満たす 1 次元標準ブラウン運動とし、ドリフト付きブラウン運動 を考える。 とおき、停止時刻
を定める( が初めて区間 の外に出る時刻)。 を事象 (上端に先に到達する事象)として、
の値を求めよ。ただし は自然対数、 は の定義関数とする。
を である 1 次元標準ブラウン運動(標本路は連続)とし、その自然なフィルトレーションを考える。停止時刻
を定める( が初めて または に到達する時刻)。 を求めよ。
を確率空間 上の を満たす 1 次元標準ブラウン運動とし、 をその自然なフィルトレーションとする。停止時刻
とおき( が初めて または に到達する時刻)、 とする。このとき
を求めよ。ただし は事象 の定義関数である。
を独立同分布な確率変数で を満たすものとし、, とおく。停止時刻 を考える( が確率 で成り立つ)。 の分散 を求めよ。