確率論 において、フラクタルブラウン運動とも呼ばれる 分数ブラウン運動 (fBm )は、ブラウン運動 の一般化である。古典的なブラウン運動とは異なり、fBmの増分は独立である必要はない。fBmは連続時間 ガウス過程である。 B H ( t ) {\textstyle B_{H}(t)} の上[ 0 、 T ] {\textstyle [0,T]} ゼロから始まるものは、すべての期待値がゼロである。 t {\displaystyle t} で[ 0 、 T ] {\textstyle [0,T]} 、そして、以下の共分散関数 を持つ。
E [ B H ( t ) 、 B H ( s ) ] = 1 2 ( | t | 2 H + | s | 2 H − | t − s | 2 H ) 、 {\displaystyle E[B_{H}(t),B_{H}(s)]={\tfrac {1}{2}}(|t|^{2H}+|s|^{2H}-|ts|^{2H}),} ここで、H は (0, 1)の実数で、分数ブラウン運動に関連付けられたハースト指数 またはハーストパラメータと呼ばれます。ハースト指数は、結果として生じる運動の粗さを表し、値が大きいほど滑らかな運動になります。これは、マンデルブロと ファン・ネス (1968) によって導入されました。
H の値によって、 fBm がどのような種類のプロセスであるかが決まります。
H = 1/2の場合、そのプロセスは実際にはブラウン運動 またはウィーナー過程 です。H > 1/2の場合、プロセスの増分は正の相関関係 にある。H < 1/2の場合、プロセスの増分は負の相関関係にある。分数ブラウン運動は、定常増分 X ( t ) = B H ( s + t ) − B H ( s ) を持ちます (この値は任意の s に対して同じです)。増分プロセスX ( t ) は、 分数ガウスノイズ として知られています。
分数ブラウン運動の一般化として、 n 次分数ブラウン運動 (n-fBm と略記)もあります。 [ 1 ] n-fBm は、 n 次増分が定常であるガウス型自己相似 非定常過程です。n = 1の 場合、n-fBm は古典的な fBm です。
分数ブラウン運動は、それが一般化したブラウン運動と同様に、19世紀の生物学者ロバート・ブラウンにちなんで名付けられました。分数ガウスノイズは、数学者 カール・フリードリヒ・ガウス にちなんで名付けられました。
背景と定義 分数ブラウン運動が導入される以前、レヴィ(1953)は リーマン・ リウヴィル分数積分 を用いてプロセスを定義した。
B ~ H ( t ) = 1 Γ ( H + 1 / 2 ) ∫ 0 t ( t − s ) H − 1 / 2 d B ( s ) {\displaystyle {\tilde {B}}_{H}(t)={\frac {1}{\Gamma (H+1/2)}}\int _{0}^{t}(ts)^{H-1/2}\,dB(s)} ここで、積分は白色雑音尺度 dB ( s )に関して行われます。この積分は、原点を過度に強調するため、分数ブラウン運動の定義としては不適切であることが判明しています( Mandelbrot & van Ness 1968 、p. 424) 。定常増分を持ちません。
代わりに、白色ノイズの異なる分数積分、すなわちワイル積分 を用いてプロセスを定義するというアイデアがある。
B H ( t ) = B H ( 0 ) + 1 Γ ( H + 1 / 2 ) { ∫ − ∞ 0 [ ( t − s ) H − 1 / 2 − ( − s ) H − 1 / 2 ] d B ( s ) + ∫ 0 t ( t − s ) H − 1 / 2 d B ( s ) } {\displaystyle B_{H}(t)=B_{H}(0)+{\frac {1}{\Gamma (H+1/2)}}\left\{\int _{-\infty }^{0}\left[(ts)^{H-1/2}-(-s)^{H-1/2}\right]\,dB(s)+\int _{0}^{t}(ts)^{H-1/2}\,dB(s)\right\}} t > 0の場合 (およびt < 0 の場合も同様)。結果として得られるプロセスは定常的な増分を持つ。
分数ブラウン運動と通常のブラウン運動の主な違いは、ブラウン運動の増分は独立しているのに対し、分数ブラウン運動の増分は独立していない点です。H > 1/2 の場合、正の自己相関があります。前のステップで増加パターンが見られる場合、現在のステップも増加する可能性が高いです。H < 1/2 の場合、自己相関は負になります。
物件
定常増分 増分 は一定です。
B H ( t ) − B H ( s ) ~ B H ( t − s ) 。 {\displaystyle B_{H}(t)-B_{H}(s)\;\sim \;B_{H}(t-s).}
長距離依存性 H > 1/2 の 場合、 このプロセスは長距離 依存性 を示します。
∑ n = 1 ∞ E [ B H ( 1 ) ( B H ( n + 1 ) − B H ( n ) ) ] = ∞ 。 {\displaystyle \sum _{n=1}^{\infty }E[B_{H}(1)(B_{H}(n+1)-B_{H}(n))]=\infty .}
規則性 サンプルパスはほとんど至る ところで微分不可能で ある。しかし、ほとんどすべての 軌跡は、H より厳密に小さい任意の次数で局所的にヘルダー連続 である。すなわち、そのような各軌跡について、すべてのT > 0 およびすべてのε > 0 に対して、(ランダムな) 定数c が存在し、
| B H ( t ) − B H ( s ) | ≤ c | t − s | H − ε {\displaystyle |B_{H}(t)-B_{H}(s)|\leq c|t-s|^{H-\varepsilon }} 0 < s 、t < T の場合。
周波数領域解釈 ブラウン運動は、ホワイトノイズをフィルタリングしたものと見なすことができる。ω − 2 {\displaystyle \omega ^{-2}} (つまり、積分された)分数ブラウン運動は、ホワイトノイズによってフィルタリングされます。ω − H − 1 / 2 {\displaystyle \omega ^{-H-1/2}} (分数積分 に対応)
サンプルパス fBm の実用的なコンピュータによる実現は生成できますが、[ 4 ] [ 5 ] それらは有限近似にすぎません。選択されたサンプルパスは、 fBm プロセス上の離散的なサンプリング点を示していると考えることができます。以下に 3 つの実現例を示します。それぞれ、ハーストパラメータが 0.75 のfBm の 1000 点です 。
以下に、3種類の異なるfBm の実現例を示します。それぞれ1000点のデータで、1つ目はハーストパラメータが0.15、2つ目はハーストパラメータが0.55、3つ目はハーストパラメータが0.95の場合です。ハーストパラメータの値が大きいほど、曲線は滑らかになります。
シミュレーションの方法1 既知の共分散関数を持つ定常ガウス過程を生成する方法を用いて、 fBm のサンプルパスをシミュレートすることができる。最も単純な方法は、共分散行列のコレスキー分解法 (後述)に基づいており、これは、サイズのグリッド上で行われる。n {\displaystyle n} オーダーの複雑さを持つO ( n 3 ) {\displaystyle O(n^{3})} より複雑だが計算速度が速い方法として、Dietrich & Newsam (1997) の巡回埋め込み 法がある。
fBM の値を時刻ごとにシミュレートしたいとします。t 1 、 … 、 t n {\displaystyle t_{1},\ldots ,t_{n}} コレスキー分解法 を用いて 。
行列を作成するΓ = ( R ( t 私 、 t j ) 、 私 、 j = 1 、 … 、 n ) {\displaystyle \Gamma ={\bigl (}R(t_{i},\,t_{j}),i,j=1,\ldots ,\,n{\bigr )}} どこR ( t 、 s ) = ( s 2 H + t 2 H − | t − s | 2 H ) / 2 {\displaystyle \,R(t,s)=(s^{2H}+t^{2H}-|t-s|^{2H})/2} 。 計算するΣ {\displaystyle \,\Sigma } 平方根行列Γ {\displaystyle \,\Gamma } つまりΣ 2 = Γ {\displaystyle \,\Sigma ^{2}=\Gamma } 大まかに言えば、Σ {\displaystyle \,\Sigma } は、分散共分散行列に関連付けられた「標準偏差」行列です。Γ {\displaystyle \,\Gamma } 。 ベクトルを構築するv {\displaystyle \,v} 標準正規分布に従って独立に抽出されたn 個の 数値のうち、 定義するとu = Σ v {\displaystyle \,u=\Sigma v} それからu {\displaystyle \,u} fBm のサンプルパスを生成します。 計算するためにΣ {\displaystyle \,\Sigma } 例えば、コレスキー分解法 を用いることができます。別の方法としては、固有値を 用いる方法があります。Γ {\displaystyle \,\Gamma } :
以来Γ {\displaystyle \,\Gamma } は対称 正定値 行列であるため、すべての固有値は λ 私 {\displaystyle \,\lambda _{i}} のΓ {\displaystyle \,\Gamma } 満足するλ 私 > 0 {\displaystyle \,\lambda _{i}>0} 、(私 = 1 、 … 、 n {\displaystyle i=1,\dots ,n} ) させてΛ {\displaystyle \,\Lambda } 固有値の対角行列、すなわちΛ 私 j = λ 私 δ 私 j {\displaystyle \Lambda _{ij}=\lambda _{i}\,\delta _{ij}} どこδ 私 j {\displaystyle \delta _{ij}} はクロネッカー デルタ です。私たちは定義しますΛ 1 / 2 {\displaystyle \Lambda ^{1/2}} 対角行列としてエントリを持つλ 私 1 / 2 {\displaystyle \lambda _{i}^{1/2}} つまりΛ 私 j 1 / 2 = λ 私 1 / 2 δ 私 j {\displaystyle \Lambda _{ij}^{1/2}=\lambda _{i}^{1/2}\,\delta _{ij}} 。 結果は実数値であることに注意してください。λ 私 > 0 {\displaystyle \lambda _{i}>0} 。
させてv 私 {\displaystyle \,v_{i}} 固有値に関連付けられた固有ベクトルλ 私 {\displaystyle \,\lambda _{i}} 。 定義するP {\displaystyle \,P} 行列として私 {\displaystyle i} 番目の列は固有ベクトルですv 私 {\displaystyle \,v_{i}} 。 固有ベクトルは線形独立であるため、行列はP {\displaystyle \,P} 可逆である。
したがって、Σ = P Λ 1 / 2 P − 1 {\displaystyle \Sigma =P\,\Lambda ^{1/2}\,P^{-1}} なぜならΓ = P Λ P − 1 {\displaystyle \Gamma =P\,\Lambda \,P^{-1}} 。
シミュレーションの方法2 [ 6 ]
B H ( t ) = ∫ 0 t K H ( t 、 s ) d B ( s ) {\displaystyle B_{H}(t)=\int _{0}^{t}K_{H}(t,s)\,dB(s)} ここで、B は標準ブラウン運動であり、
K H ( t 、 s ) = ( t − s ) H − 1 2 Γ ( H + 1 2 ) 2 F 1 ( H − 1 2 ; 1 2 − H ; H + 1 2 ; 1 − t s ) 。 {\displaystyle K_{H}(t,s)={\frac {(t-s)^{H-{\frac {1}{2}}}}{\Gamma (H+{\frac {1}{2}})}}\;_{2}F_{1}\left(H-{\frac {1}{2}};\,{\frac {1}{2}}-H;\;H+{\frac {1}{2}};\,1-{\frac {t}{s}}\right).} どこ2 F 1 {\displaystyle _{2}F_{1}} これはオイラー超幾何積分 です。
点におけるfBm をシミュレートしたいとします。0 = t 0 < t 1 < ⋯ < t n = T {\displaystyle 0=t_{0}<t_{1}<\cdots <t_{n}=T} 。
標準正規分布に従って抽出されたn 個の数値からなるベクトルを作成する。 √T / n を各成分ごとに掛けて、[0, T ]上のブラウン運動の増分を得る。このベクトルを次のように表す。 ( δ B 1 、 … 、 δ B n ) {\displaystyle (\delta B_{1},\ldots ,\delta B_{n})} 。各t j {\displaystyle t_{j}} 計算する B H ( t j ) = n T ∑ 私 = 0 j − 1 ∫ t 私 t 私 + 1 K H ( t j 、 s ) d s δ B 私 。 {\displaystyle B_{H}(t_{j})={\frac {n}{T}}\sum _{i=0}^{j-1}\int _{t_{i}}^{t_{i+1}}K_{H}(t_{j},\,s)\,ds\ \delta B_{i}.} この積分はガウス求積法 によって効率的に計算できる。
注記 ↑ Perrin et al., 2001. ↑ オリー、1970年。 ↑ファルコナー 、 ケネス(2003)。フラクタル幾何学:数学的基礎と応用 (第2 版)。ワイリー。p. 268。ISBN 0-470-84861-8 2024年1月23日 に取得 。 ↑ Kroese, Dirk P. ; Botev, Zdravko I. (2015). "空間プロセスシミュレーション". In Schmidt, V. (ed.). Stochastic Geometry, Spatial Statistics and Random Fields . Lecture Notes in Mathematics. Vol. 2120. Berlin: Springer-Verlag. pp. 369–404 . arXiv : 1308.0399 . doi : 10.1007/978-3-319-10064-7_12 . ISBN 978-3-319-10063-0 。↑ Coeurjolly, Jean-François (2000). "Simulation and Identification of the Fractional Brownian Motion: A Bibliographical and Comparative Study" . Journal of Statistical Software . 5 (7). doi : 10.18637/jss.v005.i07 . ↑ Decreusefond, Laurent; Üstünel, Ali Süleyman (1999). "分数ブラウン運動の確率解析". Potential Analysis . 10 (2): 177– 214. doi : 10.1023/A:1008634027843 .
参考文献 Beran, J. (1994), Statistics for Long-Memory Processes , Chapman & Hall, ISBN 0-412-04901-5 。Craigmile PF (2003)、「Davies–Harteアルゴリズムを用いた定常ガウス過程のシミュレーション、および長期記憶過程への応用」、Journal of Times Series Analysis 、24: 505 – 511。 Dieker, T. (2004).分数ブラウン運動のシミュレーション (PDF) (修士論文) . 2012年 12月29日 取得 。 Dietrich, CR; Newsam, GN (1997)、「共分散行列の巡回埋め込みによる定常ガウス過程の高速かつ正確なシミュレーション」、SIAM Journal on Scientific Computing 、18 (4): 1088–1107 、Bibcode : 1997SJSC...18.1088D、doi : 10.1137/s1064827592240555 。ファルコナー、ケネス(2003)、『フラクタル幾何学:数学的基礎と応用』 (第2版)、ワイリー、 267~ 271 ページ、 ISBN 0-470-84861-8 2024年1月23日 取得 。レヴィ、P. (1953)、「ランダム関数:ラプラシアンランダム関数に関する一般理論」 、カリフォルニア大学統計学出版物、第1巻、 331~ 390 ページ 。マンデルブロ、B. ; ファン・ネス、JW (1968)、「分数ブラウン運動、分数ノイズ、および応用」、SIAM Review 、10 (4): 422–437 、Bibcode : 1968SIAMR..10..422M、doi : 10.1137/1010093、JSTOR 2027184 。Orey、Steven (1970)、「ガウス サンプル関数と踏切のハウスドルフ次元」、Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete 、15 (3): 249–256 、doi : 10.1007/BF00534922 、S2CID 121253646 。Perrin, E.; Harba, R.; Berzin-Joseph, C.; Iribarren, I.; Bonami, A. (2001). "N次分数ブラウン運動と分数ガウスノイズ". IEEE Transactions on Signal Processing . 49 (5): 1049–1059 . Bibcode : 2001ITSP...49.1049P . doi : 10.1109/78.917808 . Samorodnitsky G.、Taqqu MS (1994)、安定な非ガウスランダムプロセス 、第 7章「自己相似プロセス」(Chapman & Hall)。