「《ランダム・ウォークとブラウン運動》」の版間の差分
(新しいページ: ''''【らんだむ・うぉーくとぶらうんうんどう (random walk and Brownian motion) 】''' ランダム・ウォーク (random walk) とその連続化であ...') |
|||
(3人の利用者による、間の5版が非表示) | |||
1行目: | 1行目: | ||
'''【らんだむ・うぉーくとぶらうんうんどう (random walk and Brownian motion) 】''' | '''【らんだむ・うぉーくとぶらうんうんどう (random walk and Brownian motion) 】''' | ||
− | [[ランダム・ウォーク]] (random walk) とその連続化であるブラウン運動は, でたらめな動きを表現する最も基本的な[[確率過程]]で, 幅広い応用がある. | + | [[ランダムウォーク|ランダム・ウォーク]] (random walk) とその連続化であるブラウン運動は, でたらめな動きを表現する最も基本的な[[確率過程]]で, 幅広い応用がある. |
− | '''ランダム・ウォーク''' | + | '''ランダム・ウォーク''' <math>\{X_n\}_{n=1}^\infty\, </math> を互いに独立で同一の分布に従う確率変数の列とするとき, |
− | |||
− | |||
− | |||
− | |||
− | + | <center> | |
+ | <math>S_0=s~</math>(定数), <math> \ \qquad S_n = s + \sum_{i=1}^n X_i</math> <math>(1)\, </math> | ||
+ | </center> | ||
− | |||
− | + | によって定義される確率過程<math>\{S_n\}_{n=0}^\infty\, </math> をランダム・ウォークと呼ぶ. 特に, ある <math>d>0\, </math> およびすべての <math>n\, </math> に対して, <math>\mathrm{P}(X_n=d)=p, \mathrm{P}(X_n=-d)=q=1-p\, </math> であるとき, <math>\{S_n\}_{n=0}^\infty\, </math> は (1次元の) 単純ランダム・ウォークであるといい, さらに <math>p=q=1/2\, </math> のとき, 単純ランダム・ウォークは対称であるという. また, 「壁」によって動きが止められたり, 動く範囲が制限されるランダム・ウォークを考えることもできる. <math>X_n\, </math> の独立性より, ランダム・ウォークは[[マルコフ過程]]となる. | |
− | + | 初期値<math>s=0\, </math> のランダム・ウォークにおいて, <math>n\, </math>ステップ後の位置の[[期待値]]と[[分散]]は, それぞれ <math>\mathrm{E}(S_n)=n\,\mathrm{E}(X_1)\, </math>, <math>\mathrm{V}(S_n)=n\,\mathrm{V}(X_1)\, </math> となり, 時間の経過に比例する. 分散が時間の経過に比例することから, ランダム・ウォークは時間が経つにつれて次第に拡散していくことが分かる. | |
+ | <math>d=1\, </math>, <math>0<p<1\, </math> として得られる単純ランダム・ウォーク <math>\{S_n\}_{n=0}^\infty\, </math> は, 整数を[[状態空間]]とする周期2の[[既約]]な[[マルコフ連鎖]]である. このマルコフ連鎖は <math>p\ne1/2\, </math> のとき一時的であり, <math>p=q=1/2\, </math> ならば零再帰的となる. たとえば <math>p>1/2\, </math> ならば <math>S_n\, </math> はだんだん大きくなっていく傾向があり, 正の方へドリフトする. このため出発点に戻ることは保証できなくなり一時的となるのである. | ||
− | + | 2次元の対称な単純ランダム・ウォーク(2次元格子点空間上の4つの隣接点にそれぞれ確率<math>1/4\, </math> で推移する) は零再帰的, 3次元以上の単純ランダム・ウォークはすべて一時的であることも知られている [1]. | |
+ | '''単純ランダム・ウォークからブラウン運動へ''' <math>\{S_n\}_{n=0}^\infty\, </math> を初期値<math>s=0\, </math> の対称な単純ランダム・ウォークとする. このランダム・ウォークが1ステップ進むのに <math>T\, </math> だけ時間がかかるとして, <math>T\, </math> と <math>d\, </math> を同時に0に近づけることを考える. <math>t=n\,T\, </math> に対して, 時刻<math>t\, </math> にランダム・ウォークが <math>x\, </math> にいる確率を <math>v(x,t)\, </math> と表すと, <math>v(x,t)\, </math> は差分方程式 <math>v(x,t+T) = \{ v(x-d,t) + v(x+d,t) \}/2\, </math> を満たすので, | ||
+ | |||
+ | |||
+ | <center> | ||
+ | <math> | ||
\frac{v(x,t+T) - v(x,t)}{T} | \frac{v(x,t+T) - v(x,t)}{T} | ||
− | = \frac{1}{2}\ | + | = \frac{1}{2}\ \frac{d^2}{T}\ |
\frac{v(x+d,t) - 2\,v(x,t) + v(x-d,t)}{d^2} | \frac{v(x+d,t) - 2\,v(x,t) + v(x-d,t)}{d^2} | ||
+ | </math> | ||
+ | </center> | ||
− | が得られる. | + | が得られる. <math>d^2/T=\sigma^2\, </math>(定数) を保ったまま <math>T\to0 (d\to0)\, </math> とすれば |
− | + | <center><math> | |
\frac{\partial v(x,t)}{\partial t} | \frac{\partial v(x,t)}{\partial t} | ||
− | = \frac{\sigma^2}{2}\ | + | = \frac{\sigma^2}{2}\ \frac{\partial^2 v(x,t)}{\partial x^2} |
− | \ | + | </math> <math>(2)\, </math> |
+ | </center> | ||
− | を得る. 式 (2) は[[拡散方程式]] (diffusion equation) と呼ばれ, その解は初期条件 | + | |
+ | を得る. 式 (2) は[[拡散方程式]] (diffusion equation) と呼ばれ, その解は初期条件<math>v(0,0)=1\, </math>, <math>v(x,0)=0 (x\ne0)\, </math> のもとで, [[正規分布]] <math>N(0,\sigma^2\,t)\, </math> の[[密度関数]]となる. より一般的には, 初期値が0の (必ずしも対称でない) 単純ランダム・ウォークにおいて, <math>d^2/T=\sigma^2\, </math>, <math>(p-q)/d=\mu/\sigma^2\, </math> を保ったまま <math>T\to0\, </math> とすると, 時刻<math>t\, </math> での位置が正規分布<math>N(\mu\,t,\sigma^2\,t)\, </math> に従う確率過程が得られる [1]. | ||
'''ブラウン運動''' イギリスの植物学者ブラウン (R. Brown) は, 水面に浮く花粉中の微粒子が極めて不規則な動きをすることを見いだした. アインシュタイン (A. Einstein) は, この運動が拡散方程式 (2) によって特徴づけられることを示し, その後ウィナー (N. Wiener) らによって確率過程としての基盤が築かれた. この確率過程を[[ブラウン運動]] (Brownian motion) または[[ウィーナー過程]] (Wiener process) と呼ぶ. | '''ブラウン運動''' イギリスの植物学者ブラウン (R. Brown) は, 水面に浮く花粉中の微粒子が極めて不規則な動きをすることを見いだした. アインシュタイン (A. Einstein) は, この運動が拡散方程式 (2) によって特徴づけられることを示し, その後ウィナー (N. Wiener) らによって確率過程としての基盤が築かれた. この確率過程を[[ブラウン運動]] (Brownian motion) または[[ウィーナー過程]] (Wiener process) と呼ぶ. | ||
− | (1次元の) ブラウン運動 | + | (1次元の) ブラウン運動<math>\{B(t)\}_{t\ge0}\, </math> は次の性質を満たす実数値確率過程である: |
− | 1. [[独立増分過程]]である. | + | :1. [[独立増分過程]]である. |
− | 2. 任意の | + | :2. 任意の <math>s\, </math>, <math>t>0\, </math> に対して <math>B(s+t)-B(s)\, </math> は正規分布<math>N(0,\sigma^2\,t)\, </math> に従う. |
− | 3. | + | :3. <math>B(0)=0\, </math> かつ <math>B(t)\, </math> は <math>t=0\, </math> で連続. |
− | 1. より, 時刻 | + | 1. より, 時刻 <math>s\, </math> 以降の <math>\{B(t)\}_{t\ge s}\, </math> の振る舞いは <math>s\, </math> までの履歴には依存しないため, ブラウン運動はマルコフ過程である. さらに, ブラウン運動が[[強マルコフ性]]を持つこと, 標本路が連続となることも知られている [2]. |
− | + | <math>\sigma^2\, </math> を拡散係数と呼び, 特に <math>\sigma^2=1\, </math> のブラウン運動を標準ブラウン運動と呼ぶ. また, <math>B_d(t) = \mu\,t + B(t)\, </math> によって定まる <math>\{B_d(t)\}_{t\ge0}\, </math> をドリフトを持つブラウン運動と呼び, <math>\mu\, </math> をドリフト係数と呼ぶ. | |
− | '''鏡像原理''' ドリフトのないブラウン運動 | + | '''鏡像原理''' ドリフトのないブラウン運動 <math>\{B(t)\}_{t\ge0}\, </math> に対して <math>\tau_a\, </math> を <math>\{B(t)\}_{t\ge0}\, </math> が初めて <math>a\, </math> を横切る時刻とすると, <math>\tau_a\, </math> は[[停止時]] (stopping time) となる. <math>t\ge\tau_a\, </math> において <math>\{B(t)\}_{t\ge\tau_a}\, </math> と <math>a\, </math> に関して対称な標本路を持つ確率過程<math>\{\bar{B}(t)\}_{t\ge0}\, </math> を |
+ | <center> | ||
+ | <math> | ||
\bar{B}(t) = \left\{\begin{array}{ll} | \bar{B}(t) = \left\{\begin{array}{ll} | ||
B(t), &\quad t<\tau_a, \\ | B(t), &\quad t<\tau_a, \\ | ||
2\,a - B(t), &\quad t\ge\tau_a, | 2\,a - B(t), &\quad t\ge\tau_a, | ||
\end{array}\right. | \end{array}\right. | ||
+ | </math> | ||
+ | </center> | ||
− | で定める. | + | で定める. <math>\{B(t)\}_{t\ge0}\, </math> が強マルコフ性を持つことと, <math>\{B(t)\}\, </math> と <math>\{\bar{B}(t)\}\, </math> の対称性から, <math>\{B(t)\}\, </math> と <math>\{\bar{B}(t)\}\, </math> は同じ確率法則に従うことがわかる. 一般にこのような性質を[[鏡像原理]] (reflection principle) と呼び, 初到達時間の分布などを求める際に利用される. |
− | '''拡散過程''' ドリフト係数や拡散係数が位置 | + | '''拡散過程''' ドリフト係数や拡散係数が位置<math>x\, </math> や時刻<math>t\, </math> に依存した値<math>\mu(x,t)\, </math>, <math>\sigma^2(x,t)\, </math> をとるように一般化して得られる確率過程<math>\{D(t)\}_{t\ge0}\, </math> を[[拡散過程]] (diffusion process) と呼び, <math>\mu(x,t)\, </math> と <math>\sigma^2(x,t)\, </math> を, それぞれドリフト関数, 拡散関数と呼ぶ. 拡散過程は強マルコフ性を持ち, その標本路は連続である. 逆に, 連続な標本路を持つマルコフ過程は拡散過程となることが知られている. |
ブラウン運動や拡散過程の標本路は, 連続であるがいたるところで微分不可能という性質を持っている. このため拡散過程の解析においては, [[確率積分]]や[[確率微分方程式]]といった通常の微分や積分とは異なる概念が必要となる [3, 4]. | ブラウン運動や拡散過程の標本路は, 連続であるがいたるところで微分不可能という性質を持っている. このため拡散過程の解析においては, [[確率積分]]や[[確率微分方程式]]といった通常の微分や積分とは異なる概念が必要となる [3, 4]. | ||
73行目: | 84行目: | ||
---- | ---- | ||
− | |||
'''参考文献''' | '''参考文献''' | ||
83行目: | 93行目: | ||
[4] 渡辺信三, 『確率微分方程式』, 産業図書, 1975. | [4] 渡辺信三, 『確率微分方程式』, 産業図書, 1975. | ||
+ | |||
+ | [[category:確率と確率過程|らんだむ・うぉーくとぶらうんうんどう]] |
2007年8月7日 (火) 02:53時点における最新版
【らんだむ・うぉーくとぶらうんうんどう (random walk and Brownian motion) 】
ランダム・ウォーク (random walk) とその連続化であるブラウン運動は, でたらめな動きを表現する最も基本的な確率過程で, 幅広い応用がある.
ランダム・ウォーク を互いに独立で同一の分布に従う確率変数の列とするとき,
(定数),
によって定義される確率過程 をランダム・ウォークと呼ぶ. 特に, ある およびすべての に対して, であるとき, は (1次元の) 単純ランダム・ウォークであるといい, さらに のとき, 単純ランダム・ウォークは対称であるという. また, 「壁」によって動きが止められたり, 動く範囲が制限されるランダム・ウォークを考えることもできる. の独立性より, ランダム・ウォークはマルコフ過程となる.
初期値 のランダム・ウォークにおいて, ステップ後の位置の期待値と分散は, それぞれ , となり, 時間の経過に比例する. 分散が時間の経過に比例することから, ランダム・ウォークは時間が経つにつれて次第に拡散していくことが分かる.
, として得られる単純ランダム・ウォーク は, 整数を状態空間とする周期2の既約なマルコフ連鎖である. このマルコフ連鎖は のとき一時的であり, ならば零再帰的となる. たとえば ならば はだんだん大きくなっていく傾向があり, 正の方へドリフトする. このため出発点に戻ることは保証できなくなり一時的となるのである.
2次元の対称な単純ランダム・ウォーク(2次元格子点空間上の4つの隣接点にそれぞれ確率 で推移する) は零再帰的, 3次元以上の単純ランダム・ウォークはすべて一時的であることも知られている [1].
単純ランダム・ウォークからブラウン運動へ を初期値 の対称な単純ランダム・ウォークとする. このランダム・ウォークが1ステップ進むのに だけ時間がかかるとして, と を同時に0に近づけることを考える. に対して, 時刻 にランダム・ウォークが にいる確率を と表すと, は差分方程式 を満たすので,
が得られる. (定数) を保ったまま とすれば
を得る. 式 (2) は拡散方程式 (diffusion equation) と呼ばれ, その解は初期条件, のもとで, 正規分布 の密度関数となる. より一般的には, 初期値が0の (必ずしも対称でない) 単純ランダム・ウォークにおいて, , を保ったまま とすると, 時刻 での位置が正規分布 に従う確率過程が得られる [1].
ブラウン運動 イギリスの植物学者ブラウン (R. Brown) は, 水面に浮く花粉中の微粒子が極めて不規則な動きをすることを見いだした. アインシュタイン (A. Einstein) は, この運動が拡散方程式 (2) によって特徴づけられることを示し, その後ウィナー (N. Wiener) らによって確率過程としての基盤が築かれた. この確率過程をブラウン運動 (Brownian motion) またはウィーナー過程 (Wiener process) と呼ぶ.
(1次元の) ブラウン運動 は次の性質を満たす実数値確率過程である:
- 1. 独立増分過程である.
- 2. 任意の , に対して は正規分布 に従う.
- 3. かつ は で連続.
1. より, 時刻 以降の の振る舞いは までの履歴には依存しないため, ブラウン運動はマルコフ過程である. さらに, ブラウン運動が強マルコフ性を持つこと, 標本路が連続となることも知られている [2].
を拡散係数と呼び, 特に のブラウン運動を標準ブラウン運動と呼ぶ. また, によって定まる をドリフトを持つブラウン運動と呼び, をドリフト係数と呼ぶ.
鏡像原理 ドリフトのないブラウン運動 に対して を が初めて を横切る時刻とすると, は停止時 (stopping time) となる. において と に関して対称な標本路を持つ確率過程 を
で定める. が強マルコフ性を持つことと, と の対称性から, と は同じ確率法則に従うことがわかる. 一般にこのような性質を鏡像原理 (reflection principle) と呼び, 初到達時間の分布などを求める際に利用される.
拡散過程 ドリフト係数や拡散係数が位置 や時刻 に依存した値, をとるように一般化して得られる確率過程 を拡散過程 (diffusion process) と呼び, と を, それぞれドリフト関数, 拡散関数と呼ぶ. 拡散過程は強マルコフ性を持ち, その標本路は連続である. 逆に, 連続な標本路を持つマルコフ過程は拡散過程となることが知られている.
ブラウン運動や拡散過程の標本路は, 連続であるがいたるところで微分不可能という性質を持っている. このため拡散過程の解析においては, 確率積分や確率微分方程式といった通常の微分や積分とは異なる概念が必要となる [3, 4].
参考文献
[1] W. Feller, An Introduction to Probability Theory and Its Applications, Volume 1, 2nd Ed., John Wiley & Sons, 1957. 河田龍夫監訳, 『確率論とその応用 I』, 紀伊国屋書店, 1960 (上巻), 1961 (下巻).
[2] K. Itô and H. P. McKean, Diffusion Processes and Their Sample Paths, Second Printing, Springer-Verlag, 1996.
[3] 木島正明, 『ファイナンス工学入門 第I部 ランダムウォークとブラウン運動』, 日科技連, 1994.
[4] 渡辺信三, 『確率微分方程式』, 産業図書, 1975.