情報科学 › 乱数と確率的数値計算 › 経路積分 Monte Carlo
Brown 橋の中点と、中点で分けた両側
定理 5.3(「経路積分 Monte Carlo」§5) ・ ✓公理まで証明済み
X を (t1,a) から (t2,b) への Brown 橋、T=t2−t1、tm=(t1+t2)/2 とする。
- t1<s<t2 について、Xs は平均 a+Ts−t1(b−a)、分散 T(s−t1)(t2−s) の正規分布に従う。特に中点 Xtm は平均 (a+b)/2、分散 T/4 の正規分布に従う。
- 時刻 t1<s1<⋯<sk<tm<s1′<⋯<sl′<t2 について、(Xs1,…,Xsk,Xtm,Xs1′,…,Xsl′) の (y,c,y′) での密度は
ϕ(c; 2a+b, 4T)qa→c[t1,tm](y)qc→b[tm,t2](y′)
に等しい。すなわち、中点の値が c であるという条件のもとで、左半分と右半分は独立で、それぞれ (t1,a) から (tm,c) へ、(tm,c) から (t2,b) への Brown 橋である。
本文で読む(証明と前後の説明)→
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 1 件、定義なども含めて 2 件)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義(直接 2 件)
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
- Brown 橋定義 5.2・経路積分 Monte Carlo
- 熱核の積✓補題 5.1・経路積分 Monte Carlo
これを使っている定理
証明で明示的に参照している定理は、まだありません。
関連するノック 1 問