M=(M(n)),n≧0は (Ω,F,F(n),P)においてマルチンゲールだとします。
M(n)∈L-2, ∀n。 TとSは有界かつ停止時間です(S≦T)。この時、E[ ( M(T) - M(S) )^2 ] = E[ M(T)^2 - M(S)^2 ]を証明せよという問題なのですが、この証明の中で分からないところが一つあります。一応、証明を下に書きます。
E[ ( M(T)-M(S) )^2 ] (1)
= E[ M(T)^2 - 2M(T)M(S) + M(S)^2 ] (2)
= E[ E[ M(T)^2 - 2M(T)M(S) + M(S)^2 | F(S) ] ] (3)
= E[ M(T)^2 - 2M(S) E[ M(T) | F(S) ] + M(S)^2] (4)
= E[ M(T)^2 - 2M(S)^2 + M(S)^2 ] (5)
= E[ M(T)^2 - M(S)^2 ] (6)
分からないところは、(3)から(4)にかけてです。(3)から(4)を細かく書くと、
E[ E[ M(T)^2 - 2M(T)M(S) + M(S)^2 | F(S) ] ]
= E[ E[M(T)^2|F(S)] - 2 E[ M(S)M(T) | F(S)] + E[M(S)^2 |F(S)] ]
= E[ M(T)^2 - 2M(S) E[ M(T) | F(S) ] + M(S)^2]
になると思います。
2 E[ M(S)M(T) | F(S)] = 2M(S) E[ M(T) | F(S) ]が成り立つのは、Mがマルチンゲールであるのと、S≦Tであるからだと思うのですが、
なぜ、E[M(T)^2|F(S)] = M(T)^2 がいえるのでしょうか?
同じように、なぜ E[M(S)^2 |F(S)] = M(S)^2 が成り立つのでしょうか? 自分の考えでは、M^2はマルチンゲールでない、もしくは、M(T), M(S)はF(S)に独立であるからのどちらかではないかなと思うのですが、その場合、どうやってM^2がマルチンゲールでないのか、もしくは、それらがF(S)に独立であるのかが分かるのか教えてください。もし他の理由であれば、その理由をご教授ください。
No.1ベストアンサー
- 回答日時:
2 E[ M(S)M(T) | F(S)] = 2M(S) E[ M(T) | F(S) ]の理由がまず変です。
M(S)は停止時刻までの情報(σ-加法族)F(S)に関して可測ですから、したがって条件付期待値の外にでるのです。それからMはマルチンゲールでSは停止時刻なので、E[ M(T) | F(S) ]=M(S)となるのです。したがって、
2 E[ M(S)M(T) | F(S)] = 2M(S) E[ M(T) | F(S) ] = 2M(S)^2
です。あとは書かれている通りに証明できます。
> E[M(T)^2|F(S)] = M(T)^2 がいえるのでしょうか?
> 同じように、なぜ E[M(S)^2 |F(S)] = M(S)^2 が成り立つのでし
> ょうか
とありますが、こんなのはまったく正しくありません。どちらも成り立ちません!M^2は一般にマルチンゲールにはなりません。明らかに期待値が増大しますからね。それから、M(S)がF(S)に独立だなんてとんでもない話です。M(T)がF(S)に独立というのも正しくないです。
余計なお世話かも知れませんが、独立性、条件付期待値の性質あたりをもう一度復習されてみてはどうかとも思います。
"2 E[ M(S)M(T) | F(S)] = 2M(S) E[ M(T) | F(S) ]の理由がまず変です。M(S)は停止時刻までの情報(σ-加法族)F(S)に関して可測ですから、したがって条件付期待値の外にでるのです。
それからMはマルチンゲールでSは停止時刻なので、E[ M(T) | F(S) ]=M(S)となるのです。したがって、
2 E[ M(S)M(T) | F(S)] = 2M(S) E[ M(T) | F(S) ] = 2M(S)^2
です。"
有難うございます。上の部分に関しては、自分の考えていたのと同じでしたが、自分の言葉・用語の使い方、まちがっていました。すみません。それでは、3から4への式はどうして成り立つのでしょうか?どうやって、M(T)^2、 M(S)^2がくるのでしょうか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 計算機科学 数2mの値を求めるやつです d>0はできましたが α+β>0がうまくいきません。 問題分からα+βは 1 2023/06/12 20:00
- 高校 mod 問題 2 2022/08/11 10:19
- 物理学 無限に深い井戸におけるエネルギーと運動量の分布の矛盾 量子力学 3 2023/01/28 02:10
- 計算機科学 数2mの値を求めるやつです d>0はできましたが αβ>0がうまくいきません。 問題分からαβは2m 1 2023/06/12 20:30
- 物理学 参考書にこのようなことが書いてありました。 粒子のエネルギーをE、確率波の振動数をv、波長をλ、運動 2 2023/03/05 19:45
- 物理学 一次元自由粒子のシュレーディンガー方程式 1 2022/07/11 18:10
- 物理学 「次式で与えられる1次元の波動関数ψ(x,t)が自由電子のシュレディンガー方程式を満たすことを確かめ 2 2023/03/08 12:33
- ガーデニング・家庭菜園 ジューンベリーの鉢植えについて 2 2022/06/22 11:18
- 数学 x+my-2m-2=0というmがどんな値でも成り立つ恒等式を考える時、まず(y-2)m+(x-2)= 3 2022/08/17 16:31
- 物理学 台と小物体合わせた全体の水平方向の運動方程式 とは? 8 2022/09/02 06:33
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
幽霊が存在していないことを証...
-
数学の「証明」のときなどの接...
-
中3数学 2つの続いた整数では、...
-
数学の証明問題で、「証明終了」...
-
証明終了の記号。
-
よって・ゆえに・したがって・∴...
-
素数の平方根は無理数である。
-
兄弟の子どもの養子縁組は可能...
-
なぜ独身だと養子が持てないの...
-
一様連続の証明
-
「証明証」と「証明書」はどう...
-
京都大学教授が証明。 「ABA予...
-
コラッツテーブルがコラッツ予...
-
『弧は弦より長し』
-
素数の性質
-
直角三角形の性質
-
実数全体:R
-
コラッツ予想の証明してみました。
-
未婚ですが養子をもらうことは...
-
コラッツ数値群テーブルによる...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
幽霊が存在していないことを証...
-
証明終了の記号。
-
数学の証明問題で、「証明終了」...
-
数学の「証明」のときなどの接...
-
不完全微分であることの証明
-
3,4,7,8を使って10を作る
-
夫が亡くなった後の義理家族と...
-
四葉のクローバー この言葉一度...
-
「証明証」と「証明書」はどう...
-
素数の性質
-
無理数って二乗しても有理数に...
-
よって・ゆえに・したがって・∴...
-
数学Aの整数の性質について質問...
-
婿養子に入ったのに出て行けと...
-
素数の積に1を加算すると素数で...
-
中3数学 2つの続いた整数では、...
-
平面曲線
-
婿養子です、妻と離婚して妻の...
-
なぜ独身だと養子が持てないの...
-
(4^n)-1が3の倍数であることの...
おすすめ情報