確率解析の問題
を通常の条件を満たすフィルター付き確率空間とし、 を である -標準ブラウン運動とする。次の事実は用いてよい。
- 伊藤の公式。
- 発展的可測な過程 が を満たすとき 。
- を標準正規分布に従う確率変数とすると、任意の に対して 。
ただし、 の値そのものを正規分布の密度関数の積分計算で求めることはせず、伊藤の公式を用いて、すべての整数 とすべての に対して
が成り立つことを証明せよ( とする)。
この問題で使うもの
- 伊藤の公式(説明と入口の問題)
- 伊藤積分と伊藤の等長性(説明と入口の問題)
- ブラウン運動(説明と入口の問題)
- フビニ・トネリの定理(説明と入口の問題)
この問題を解けるようになるまで(112 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 順列・円順列・重複順列
- 組合せ
- 確率の定義と和事象・余事象
- 条件付き確率と乗法定理
- 四則の混じった計算の順序
- 等間隔にならんだ数の和
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 等差・等比数列の和と Σ
- マルコフ連鎖と推移確率
- 期待値
- 確率変数と確率分布
- 平均と合計
- 平均値・中央値・最頻値
- 代表値(平均値・中央値・最頻値)
- 分散と標準偏差
- 変量の変換と平均・分散
- 確率変数の期待値・分散と
- 確率変数の和と積(独立な場合)
- 乗法公式による展開
- 因数分解
- 3 次式までの展開と因数分解
- 微分係数と導関数の定義
- 多項式の微分
- 多項式の不定積分
- 数列の極限
- 関数の極限
- 積と商の微分
- 合成関数の微分
- 円の周の長さと面積
- おうぎ形の弧の長さと面積
- 弧の長さからおうぎ形の中心角と面積を求める
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 特別な直角三角形の辺の比
- 弧度法と単位円による三角関数
- の極限
- 加法定理と 2 倍角・半角・積和の公式
- 三角関数の導関数
- 根号の乗除と加減
- 指数の拡張と指数関数
- 対数の定義と性質
- 自然対数の底
- 指数関数・対数関数の導関数
- 基本的な関数の不定積分
- 置換積分
- 部分積分
- 定積分の計算
- 定積分の置換・部分積分と偶関数・奇関数
- 重積分と累次積分
- 同時分布・周辺分布と独立性
- 条件付き分布と全期待値の公式
- 到達確率と平均到達時間
- 単純ランダムウォークと反射原理
- 広義積分
- ルベーグ積分の計算
- 単調収束定理・優収束定理
- 連続型確率変数と確率密度関数
- 一様分布・指数分布
- 測度論的な期待値と収束定理
- 独立な試行と反復試行
- 二項分布
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 1 次方程式の解き方
- 比例・反比例の式とグラフ
- 関数 の式と変域
- 平方完成と 2 次関数のグラフ
- 2 次不等式
- 剰余の定理・因数定理と高次方程式
- 増減表と極値
- 関数の連続性と中間値の定理
- 平均値の定理
- 第 2 次導関数とグラフの凹凸
- 増減・凹凸・漸近線とグラフ
- テイラー展開
- 無限等比級数と無限級数
- べき級数と収束半径
- 幾何分布・ポアソン分布
- 積率母関数
- 複素数と 2 次方程式の虚数解
- オイラーの公式
- 特性関数
- 特性関数の性質と反転公式
- マルコフの不等式・チェビシェフの不等式
- 正規分布と標準化
- 標本平均の分布
- 大数の弱法則
- 偏微分と全微分
- 多変数の連鎖律
- 重積分の変数変換とヤコビアン
- ガウス積分
- 正規分布の密度と積率
- 中心極限定理の使い方
- 中心極限定理(特性関数による)
- ブラウン運動
- σ 加法族に関する条件付き期待値
- マルチンゲール
- 伊藤積分と伊藤の等長性
- 伊藤の公式
- フビニ・トネリの定理
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
に関する数学的帰納法を使います。伊藤の公式で を、伊藤積分と の 積分の和に表します。
ヒント 2
に伊藤の公式を使うと です。伊藤積分の項の期待値が になる条件(被積分関数の 2 乗の期待値の積分が有限)を確かめましょう。
ヒント 3
期待値をとると という漸化式が得られます。ここに帰納法の仮定を代入して係数を整理します。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
に関する数学的帰納法の枠組み( の確認と、 の場合を仮定して の場合を示すこと)を明示している(1 点)
に伊藤の公式を適用して を導いている(3 点)
被積分関数 について をモーメントの有限性から確かめ、伊藤積分の項の期待値が であることを示している(2 点)
トネリ(フビニ)の定理で期待値と 積分を交換し、漸化式 を得ている(2 点)
帰納法の仮定を代入し、 と係数を正しく整理して結論している(2 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
(, )とおき、 とする。 に関する数学的帰納法で「すべての で 」を示す。
準備(モーメントの有限性)。 は ( は標準正規)と同分布なので、任意の で である。
の場合。 なので成り立つ。
帰納法の仮定。 とし、すべての で が成り立つと仮定して、 を示す。
ステップ 1(伊藤の公式)。 は 級で , である。伊藤の公式と より、a.s. に
ステップ 2(伊藤積分の項の期待値)。 は連続な適合過程なので発展的可測である。トネリの定理と準備より
よって事実より である。
ステップ 3( の項の期待値)。 なので、トネリの定理により期待値と 積分を交換でき、帰納法の仮定より
ステップ 4(まとめ)。 の右辺の 2 項はともに可積分なので、両辺の期待値をとってステップ 2, 3 を使うと
ここで
なので、 がすべての で成り立つ。
結論。 数学的帰納法により、すべての整数 と に対して が成り立つ。