「ブラウン運動」の版間の差分

提供: ORWiki
ナビゲーションに移動 検索に移動
 
(3人の利用者による、間の3版が非表示)
1行目: 1行目:
 
'''【ぶらうんうんどう (Brownian motion)】'''
 
'''【ぶらうんうんどう (Brownian motion)】'''
 +
 +
=== 概要 ===
  
 
次の性質を満たす実数値連続確率過程 <math>\{B(t)\}_{t\ge0}</math>. <br>
 
次の性質を満たす実数値連続確率過程 <math>\{B(t)\}_{t\ge0}</math>. <br>
 
(1) 重ならない区間における <math>\{B(t)\}_{t\ge 0}</math> の増分は互いに独立. <br>
 
(1) 重ならない区間における <math>\{B(t)\}_{t\ge 0}</math> の増分は互いに独立. <br>
(2) <math>B(s+t)-B(s)</math> は平均0, 分散<math>\sigma^2 t</math> の正規分布にしたがう. <br>
+
(2) <math>B(s+t)-B(s)\,</math> は平均0, 分散<math>\sigma^2 t\,</math> の正規分布にしたがう. <br>
(3) <math>B(0)=0</math> かつ  <math>B(t)</math> は <math>t=0</math> で連続. <br>
+
(3) <math>B(0)=0\,</math> かつ  <math>B(t)\,</math> は <math>t=0\,</math> で連続. <br>
拡散係数 <math>\sigma^2=1</math> のときを標準ブラウン運動, <math>B_d(t) = \mu\,t + B(t)</math> をドリフトをもつブラウン運動と呼び, <math>\mu</math> をドリフト係数と呼ぶ.
+
拡散係数 <math>\sigma^2=1\,</math> のときを標準ブラウン運動, <math>B_d(t) = \mu\,t + B(t)</math> をドリフトをもつブラウン運動と呼び, <math>\mu\,</math> をドリフト係数と呼ぶ.
 +
 
 +
=== 詳説 ===
 +
 
 +
 [[ランダムウォーク|ランダム・ウォーク]] (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{1}{2}\ \frac{d^2}{T}\
 +
    \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{\sigma^2}{2}\ \frac{\partial^2 v(x,t)}{\partial x^2}
 +
</math>    <math>(2)\, </math>
 +
</center>
 +
 
 +
 
 +
を得る. 式 (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) と呼ぶ.
 +
 
 +
 (1次元の) ブラウン運動<math>\{B(t)\}_{t\ge0}\, </math> は次の性質を満たす実数値確率過程である:
 +
 
 +
:1. [[独立増分過程]]である.
 +
 
 +
:2. 任意の <math>s\, </math>, <math>t>0\, </math> に対して <math>B(s+t)-B(s)\, </math> は正規分布<math>N(0,\sigma^2\,t)\, </math> に従う.
 +
 
 +
:3. <math>B(0)=0\, </math> かつ <math>B(t)\, </math> は <math>t=0\, </math> で連続.
 +
 
 +
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}
 +
                B(t),      &\quad t<\tau_a, \\
 +
                2\,a - B(t), &\quad t\ge\tau_a,
 +
              \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].
 +
 
 +
 
 +
 
 +
----
 +
'''参考文献'''
 +
 
 +
[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&ocirc; and H. P. McKean, ''Diffusion Processes and Their Sample Paths'', Second Printing, Springer-Verlag, 1996.
 +
 
 +
[3] 木島正明, 『ファイナンス工学入門 第I部 ランダムウォークとブラウン運動』, 日科技連, 1994.
 +
 
 +
[4] 渡辺信三, 『確率微分方程式』, 産業図書, 1975.
 +
 
 +
[[category:確率と確率過程|らんだむ・うぉーくとぶらうんうんどう]]

2008年4月4日 (金) 11:28時点における最新版

【ぶらうんうんどう (Brownian motion)】

概要

次の性質を満たす実数値連続確率過程 .
(1) 重ならない区間における 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{B(t)\}_{t\ge 0}} の増分は互いに独立.
(2) は平均0, 分散構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sigma^2 t\,} の正規分布にしたがう.
(3) 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle B(0)=0\,} かつ 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle B(t)\,} で連続.
拡散係数 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sigma^2=1\,} のときを標準ブラウン運動, をドリフトをもつブラウン運動と呼び, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mu\,} をドリフト係数と呼ぶ.

詳説

 ランダム・ウォーク (random walk) とその連続化であるブラウン運動は, でたらめな動きを表現する最も基本的な確率過程で, 幅広い応用がある.


ランダム・ウォーク 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{X_n\}_{n=1}^\infty\, } を互いに独立で同一の分布に従う確率変数の列とするとき,


(定数), 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \ \qquad S_n = s + \sum_{i=1}^n X_i}     構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (1)\, }


によって定義される確率過程 をランダム・ウォークと呼ぶ. 特に, ある およびすべての 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n\, } に対して, であるとき, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{S_n\}_{n=0}^\infty\, } は (1次元の) 単純ランダム・ウォークであるといい, さらに 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle p=q=1/2\, } のとき, 単純ランダム・ウォークは対称であるという. また, 「壁」によって動きが止められたり, 動く範囲が制限されるランダム・ウォークを考えることもできる. 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle X_n\, } の独立性より, ランダム・ウォークはマルコフ過程となる.

 初期値構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s=0\, } のランダム・ウォークにおいて, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n\, } ステップ後の位置の期待値分散は, それぞれ , 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathrm{V}(S_n)=n\,\mathrm{V}(X_1)\, } となり, 時間の経過に比例する. 分散が時間の経過に比例することから, ランダム・ウォークは時間が経つにつれて次第に拡散していくことが分かる.

 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle d=1\, } , 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 0<p<1\, } として得られる単純ランダム・ウォーク 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{S_n\}_{n=0}^\infty\, } は, 整数を状態空間とする周期2の既約マルコフ連鎖である. このマルコフ連鎖は のとき一時的であり, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle p=q=1/2\, } ならば零再帰的となる. たとえば 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle p>1/2\, } ならば はだんだん大きくなっていく傾向があり, 正の方へドリフトする. このため出発点に戻ることは保証できなくなり一時的となるのである.

 2次元の対称な単純ランダム・ウォーク(2次元格子点空間上の4つの隣接点にそれぞれ確率構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 1/4\, } で推移する) は零再帰的, 3次元以上の単純ランダム・ウォークはすべて一時的であることも知られている [1].


単純ランダム・ウォークからブラウン運動へ  を初期値構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s=0\, } の対称な単純ランダム・ウォークとする. このランダム・ウォークが1ステップ進むのに 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle T\, } だけ時間がかかるとして, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle T\, }構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle d\, } を同時に0に近づけることを考える. 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t=n\,T\, } に対して, 時刻構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t\, } にランダム・ウォークが 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x\, } にいる確率を 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle v(x,t)\, } と表すと, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle v(x,t)\, } は差分方程式 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle v(x,t+T) = \{ v(x-d,t) + v(x+d,t) \}/2\, } を満たすので,


構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{v(x,t+T) - v(x,t)}{T} = \frac{1}{2}\ \frac{d^2}{T}\ \frac{v(x+d,t) - 2\,v(x,t) + v(x-d,t)}{d^2} }


が得られる. (定数) を保ったまま 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle T\to0 (d\to0)\, } とすれば


構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{\partial v(x,t)}{\partial t} = \frac{\sigma^2}{2}\ \frac{\partial^2 v(x,t)}{\partial x^2} }     構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (2)\, }


を得る. 式 (2) は拡散方程式 (diffusion equation) と呼ばれ, その解は初期条件構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle v(0,0)=1\, } , のもとで, 正規分布 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle N(0,\sigma^2\,t)\, }密度関数となる. より一般的には, 初期値が0の (必ずしも対称でない) 単純ランダム・ウォークにおいて, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle d^2/T=\sigma^2\, } , 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (p-q)/d=\mu/\sigma^2\, } を保ったまま 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle T\to0\, } とすると, 時刻 での位置が正規分布構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle N(\mu\,t,\sigma^2\,t)\, } に従う確率過程が得られる [1].


ブラウン運動 イギリスの植物学者ブラウン (R. Brown) は, 水面に浮く花粉中の微粒子が極めて不規則な動きをすることを見いだした. アインシュタイン (A. Einstein) は, この運動が拡散方程式 (2) によって特徴づけられることを示し, その後ウィナー (N. Wiener) らによって確率過程としての基盤が築かれた. この確率過程をブラウン運動 (Brownian motion) またはウィーナー過程 (Wiener process) と呼ぶ.

 (1次元の) ブラウン運動構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{B(t)\}_{t\ge0}\, } は次の性質を満たす実数値確率過程である:

1. 独立増分過程である.
2. 任意の 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s\, } , に対して 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle B(s+t)-B(s)\, } は正規分布構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle N(0,\sigma^2\,t)\, } に従う.
3. 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle B(0)=0\, } かつ 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle B(t)\, }構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t=0\, } で連続.

1. より, 時刻 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s\, } 以降の の振る舞いは 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle s\, } までの履歴には依存しないため, ブラウン運動はマルコフ過程である. さらに, ブラウン運動が強マルコフ性を持つこと, 標本路が連続となることも知られている [2].

 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sigma^2\, } を拡散係数と呼び, 特に 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sigma^2=1\, } のブラウン運動を標準ブラウン運動と呼ぶ. また, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle B_d(t) = \mu\,t + B(t)\, } によって定まる 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{B_d(t)\}_{t\ge0}\, } をドリフトを持つブラウン運動と呼び, をドリフト係数と呼ぶ.


鏡像原理 ドリフトのないブラウン運動 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{B(t)\}_{t\ge0}\, } に対して 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \tau_a\, }構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{B(t)\}_{t\ge0}\, } が初めて 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle a\, } を横切る時刻とすると, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \tau_a\, }停止時 (stopping time) となる. において 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{B(t)\}_{t\ge\tau_a}\, }構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle a\, } に関して対称な標本路を持つ確率過程構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{\bar{B}(t)\}_{t\ge0}\, }


構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \bar{B}(t) = \left\{\begin{array}{ll} B(t), &\quad t<\tau_a, \\ 2\,a - B(t), &\quad t\ge\tau_a, \end{array}\right. }


で定める. 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{B(t)\}_{t\ge0}\, } が強マルコフ性を持つことと, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{B(t)\}\, }構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{\bar{B}(t)\}\, } の対称性から, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{B(t)\}\, }構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{\bar{B}(t)\}\, } は同じ確率法則に従うことがわかる. 一般にこのような性質を鏡像原理 (reflection principle) と呼び, 初到達時間の分布などを求める際に利用される.


拡散過程 ドリフト係数や拡散係数が位置 や時刻構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t\, } に依存した値, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sigma^2(x,t)\, } をとるように一般化して得られる確率過程構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{D(t)\}_{t\ge0}\, }拡散過程 (diffusion process) と呼び, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mu(x,t)\, }構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替(最新ブラウザーや補助ツールに推奨): サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sigma^2(x,t)\, } を, それぞれドリフト関数, 拡散関数と呼ぶ. 拡散過程は強マルコフ性を持ち, その標本路は連続である. 逆に, 連続な標本路を持つマルコフ過程は拡散過程となることが知られている.

 ブラウン運動や拡散過程の標本路は, 連続であるがいたるところで微分不可能という性質を持っている. このため拡散過程の解析においては, 確率積分確率微分方程式といった通常の微分や積分とは異なる概念が必要となる [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.