This paper considers the orthogonal expansion of the fractional Brownian motion relative to the Legendre polynomials. Such an expansion has not only theoretical but also practical interest, since it can be applied to approximate and simulate the fractional Brownian motion in continuous time. The relations for the mean square approximation error are presented, and a comparison with the previously obtained result is carried out.
論文ID : 2503.04575タイトル : On Approximate Representation of Fractional Brownian Motion著者 : Konstantin A. Rybakov分類 : math.PR(確率論)発表時期 : 2025年3月(arXiv プレプリント、v2は2025年10月14日)論文リンク : https://arxiv.org/abs/2503.04575 本論文は、ルジャンドル多項式に関する分数ブラウン運動の直交展開を研究している。この展開は理論的意義を有するだけでなく、連続時間における分数ブラウン運動の近似およびシミュレーションに利用できるため、実用的価値も有する。論文では平均二乗近似誤差の関係式を導出し、先行研究で得られた結果と比較している。
中心的課題 :連続時間における分数ブラウン運動(fractional Brownian motion, FBM)の効果的な近似およびシミュレーション方法重要性 :分数ブラウン運動は金融モデリング、物理学、工学など複数の分野で広く応用されており、その模擬は理論結果の検証と実際的問題の解決に不可欠である既存手法の限界 :
従来の離散時間格子法は格子ノードでのみ精度を保証する 既存の汎用ガウス過程シミュレーション法は計算複雑度が高い 近似誤差を正確に計算できる連続時間法が不足している 研究動機 :著者の先行研究2 に基づき、より単純な展開係数計算法を提案し、計算複雑度を低減し精度を向上させる理論的貢献 :分数ブラウン運動の積分表現に関連する核関数の展開係数に関する明示的な関係式を導出した(ルジャンドル多項式に関して)方法の改善 :先行研究2 よりも単純な展開係数計算法を提供し、計算複雑度を低減した誤差分析 :分数ブラウン運動の多項式近似の平均二乗誤差を正確に計算できる方程式を確立した連続時間近似 :離散時間点のみではなく、連続時間における分数ブラウン運動の近似表現を実現した分数ブラウン運動 B H ( t ) B_H(t) B H ( t ) (ハースト指数 H ∈ ( 0 , 1 ) H \in (0,1) H ∈ ( 0 , 1 ) )が与えられたとき、ルジャンドル多項式正交基に関する展開係数を求め、連続時間近似を実現する:
B H ( t ) = ∑ i = 0 ∞ B H i P ^ ( i , t ) B_H(t) = \sum_{i=0}^{\infty} B_H^i \hat{P}(i,t) B H ( t ) = ∑ i = 0 ∞ B H i P ^ ( i , t )
ここで P ^ ( i , t ) \hat{P}(i,t) P ^ ( i , t ) は標準化されたルジャンドル多項式である。
分数ブラウン運動の定義 :
共分散関数:R H ( t , τ ) = t 2 H + τ 2 H − ∣ t − τ ∣ 2 H 2 R_H(t,\tau) = \frac{t^{2H} + \tau^{2H} - |t-\tau|^{2H}}{2} R H ( t , τ ) = 2 t 2 H + τ 2 H − ∣ t − τ ∣ 2 H 積分表現:B H ( t ) = ∫ 0 t k H ( t , τ ) d B ( τ ) B_H(t) = \int_0^t k_H(t,\tau) dB(\tau) B H ( t ) = ∫ 0 t k H ( t , τ ) d B ( τ ) 核関数 :
k H ( t , τ ) = a H ( t − τ ) H − 1 / 2 2 F 1 ( 1 2 − H , H − 1 2 , H + 1 2 , 1 − t τ ) 1 ( t − τ ) k_H(t,\tau) = a_H(t-\tau)^{H-1/2} \,_2F_1\left(\frac{1}{2}-H, H-\frac{1}{2}, H+\frac{1}{2}, 1-\frac{t}{\tau}\right)\mathbf{1}(t-\tau) k H ( t , τ ) = a H ( t − τ ) H − 1/2 2 F 1 ( 2 1 − H , H − 2 1 , H + 2 1 , 1 − τ t ) 1 ( t − τ )
ここで a H = π H ( 1 − 2 H ) Γ ( 2 − 2 H ) cos π H a_H = \sqrt{\frac{\pi H(1-2H)}{\Gamma(2-2H)\cos\pi H}} a H = Γ ( 2 − 2 H ) c o s π H π H ( 1 − 2 H ) (H ≠ 1 / 2 H \neq 1/2 H = 1/2 のとき)。
定理1 (展開係数の明示的表現):
行列 K H K^H K H の第 j j j 列に対して:
K ∗ j H = a H Γ ( 3 / 2 − H ) 2 j + 1 T ∑ k = 0 j l j k ( 3 / 2 − H ) k T k ( H + 1 / 2 + k ) k ! F H + 1 / 2 + k K^H_{*j} = a_H\Gamma(3/2-H)\sqrt{\frac{2j+1}{T}} \sum_{k=0}^j \frac{l_{jk}(3/2-H)_k}{T^k(H+1/2+k)k!} F^{H+1/2+k} K ∗ j H = a H Γ ( 3/2 − H ) T 2 j + 1 ∑ k = 0 j T k ( H + 1/2 + k ) k ! l jk ( 3/2 − H ) k F H + 1/2 + k
H ≠ 1 / 2 H \neq 1/2 H = 1/2 に対して、展開係数は以下を満たす:
K i j H = a H Γ ( 1 / 2 − H ) 2 j + 1 T F i H + 1 / 2 ∑ k = 0 j ( − 1 ) j − k 1 / 2 − H + k H + 1 / 2 + k Π k ( i j ) K^H_{ij} = a_H\Gamma(1/2-H)\sqrt{\frac{2j+1}{T}} F^{H+1/2}_i \sum_{k=0}^j (-1)^{j-k} \frac{1/2-H+k}{H+1/2+k} \Pi^{(ij)}_k K ij H = a H Γ ( 1/2 − H ) T 2 j + 1 F i H + 1/2 ∑ k = 0 j ( − 1 ) j − k H + 1/2 + k 1/2 − H + k Π k ( ij )
係数計算 :再帰関係式(12)-(13)を用いて冪関数の展開係数を計算行列構成 :定理1を通じて展開係数行列 K H K^H K H を構成乱数生成 :独立標準正規乱数 V i V_i V i を生成近似構成 :B ~ H ( t ) = ∑ i = 0 L − 1 B ~ i H P ^ ( i , t ) \tilde{B}_H(t) = \sum_{i=0}^{L-1} \tilde{B}^H_i \hat{P}(i,t) B ~ H ( t ) = ∑ i = 0 L − 1 B ~ i H P ^ ( i , t ) 時間区間 :T = [ 0 , 1 ] T = [0,1] T = [ 0 , 1 ] ハースト指数 :H = 0.1 , 0.2 , … , 0.9 H = 0.1, 0.2, \ldots, 0.9 H = 0.1 , 0.2 , … , 0.9 打ち切り長 :L = 4 , 8 , 16 , 32 , 64 , 128 L = 4, 8, 16, 32, 64, 128 L = 4 , 8 , 16 , 32 , 64 , 128 平均二乗近似誤差 :
ε = E ∫ T ( B H ( t ) − B ~ H ( t ) ) 2 d t \varepsilon = E\int_T (B_H(t) - \tilde{B}_H(t))^2 dt ε = E ∫ T ( B H ( t ) − B ~ H ( t ) ) 2 d t
理論公式 :
ε = ∥ k H ( ⋅ ) ∥ L 2 ( T 2 ) 2 − ∥ K ˉ H ∥ 2 \varepsilon = \|k_H(\cdot)\|^2_{L^2(T^2)} - \|\bar{K}^H\|^2 ε = ∥ k H ( ⋅ ) ∥ L 2 ( T 2 ) 2 − ∥ K ˉ H ∥ 2
ここで ∥ k H ( ⋅ ) ∥ L 2 ( T 2 ) 2 = T 2 H + 1 2 H + 1 \|k_H(\cdot)\|^2_{L^2(T^2)} = \frac{T^{2H+1}}{2H+1} ∥ k H ( ⋅ ) ∥ L 2 ( T 2 ) 2 = 2 H + 1 T 2 H + 1
表1:平均二乗近似誤差 ε \varepsilon ε
H L=4 L=8 L=16 L=32 L=64 L=128 0.1 0.3842 0.3229 0.2720 0.2299 0.1950 0.1659 0.3 0.1035 0.0655 0.0423 0.0275 0.0180 0.0118 0.5 0.0357 0.0167 0.0081 0.0040 0.0020 0.0010 0.7 0.0132 0.0049 0.0019 0.0008 0.0003 0.0001 0.9 0.0812 0.0617 0.0469 0.0356 0.0270 0.0205
収束性分析 :H = 0.5 H = 0.5 H = 0.5 の場合、収束が最も速いハースト指数が境界値(0または1)に近づくと、収束速度が著しく低下する 相対誤差は ε / ( 2 H + 1 ) − 1 \varepsilon/(2H+1)^{-1} ε / ( 2 H + 1 ) − 1 方法比較 :新手法と文献2 の結果は質的に類似している L L L の小さい値でも、両手法の誤差は非常に接近している行列積表現が精度に与える影響は小さいが、計算安定性を提供することを示唆している 収束率分析 :冪関数 t α t^\alpha t α の展開の収束率は O ( L − ( 2 α + 1 ) ) O(L^{-(2\alpha+1)}) O ( L − ( 2 α + 1 ) ) α → − 1 / 2 \alpha \to -1/2 α → − 1/2 のとき収束率はゼロに近づき、境界ハースト指数の低い収束性を説明する古典的手法の概観 :Mandelbrot-Van Ness表現25 Decreusefond-Üstünel積分表現15 各種シミュレーション法の総説4-7 本論文と関連研究の関係 :著者の先行研究のスペクトル表現法に基づく2 制御システムのスペクトル形式数学記述を参考にしている16,17 ウィーナー過程のルジャンドル多項式表現を拡張した29,30 応用の拡張 :分数Ornstein-Uhlenbeck過程に適用可能 分数ブラウン橋のシミュレーションに適用可能 反復確率積分表現への拡張が可能 分数ブラウン運動の核関数展開係数の明示的公式の導出に成功した 平均二乗近似誤差の正確な計算方法を確立した 連続時間における分数ブラウン運動の近似表現を実現した 方法の有効性と計算上の利点を検証した 計算精度要件 :新手法は高精度浮動小数点演算または記号計算を必要とする境界効果 :ハースト指数が0または1に近い場合、収束が遅い計算複雑度 :係数計算は簡略化されたが、行列演算は依然として必要である多次元分数ブラウン運動への拡張 より複雑な確率過程への応用(分数確率微分方程式など) より効率的な数値アルゴリズムの開発 理論的厳密性 :完全な数学的導出と厳密な誤差分析を提供している方法の革新性 :展開係数の計算を簡略化し、方法の実用性を向上させた実験の充実 :複数のハースト指数と打ち切り長を通じて方法の有効性を検証した応用価値 :分数ブラウン運動の連続時間シミュレーションに新しいツールを提供した計算要件 :数値精度に対する要件が高く、実際の応用を制限する可能性がある境界性能 :極端なハースト指数下での収束性能の改善が必要比較分析 :他の既存手法との詳細な性能比較が不十分である学術的貢献 :分数ブラウン運動理論と計算方法に重要な貢献をしている実用的価値 :金融数学、物理モデリングなどの分野での応用可能性を有する方法論的意義 :他の確率過程の直交展開に参考枠組みを提供している連続時間分数ブラウン運動シミュレーションが必要なアプリケーション 近似誤差の正確な制御が要求される場面 分数確率微分方程式の数値解法 金融デリバティブの価格設定とリスク管理 本論文は37篇の関連文献を引用しており、主に以下を含む:
分数ブラウン運動の基礎理論22-25 確率過程のシミュレーション方法1,3,4-7 スペクトル法と直交展開16,17,26 分数微積分理論32