[論文レビュー] Lifetime asymptotics of iterated Brownian motion in R^{n}

Erkan Nane|Mar 28, 2006

Stochastic processes and statistical mechanics参考文献 27被引用数 11

ひとこと要約

本稿は、有界領域 $ D \subset \mathbb{R}^n $ 内の反復ブラウン運動（IBM）の生存確率 $ P_z[\tau_D(Z) > t] $ の正確な漸近的挙動を確立し、$ t^{-1/2} \exp\big(\frac{3}{2}\pi^{2/3}\lambda_D^{2/3}t^{1/3}\big)P_z[\tau_D(Z) > t] \to C(z) $ が $ t \to \infty $ のとき成り立つことを証明している。ここで $ C(z) $ は第一ディリクレ固有値 $ \lambda_D $ と固有関数 $ \psi $ に依存する。この結果は、従来の対数的漸近評価を精密化し、ねじれや非有界な凸領域におけるブラウン運動時間ブラウン運動（BTBM）へと拡張される。

ABSTRACT

Let $τ_{D}(Z) $ be the first exit time of iterated Brownian motion from a domain $D \subset \RR{R}^{n}$ started at $z\in D$ and let $P_{z}[τ_{D}(Z) >t]$ be its distribution. In this paper we establish the exact asymptotics of $P_{z}[τ_{D}(Z) >t]$ over bounded domains as an improvement of the results in \cite{deblassie, nane2}, for $z\in D$ \begin{eqnarray} \lim_{t o\infty} t^{-1/2}\exp({3/2}π^{2/3}λ_{D}^{2/3}t^{1/3}) P_{z}[τ_{D}(Z)>t]= C(z), onumber \end{eqnarray} where $C(z)=(λ_{D}2^{7/2})/\sqrt{3 π}(ψ(z)\int_{D}ψ(y)dy) ^{2}$. Here $λ_{D}$ is the first eigenvalue of the Dirichlet Laplacian ${1/2}Δ$ in $D$, and $ψ$ is the eigenfunction corresponding to $λ_{D}$ . We also study lifetime asymptotics of Brownian-time Brownian motion (BTBM), $Z^{1}_{t}=z+X(|Y(t)|)$, where $X_{t}$ and $Y_{t}$ are independent one-dimensional Brownian motions.

研究の動機と目的

• 反復ブラウン運動（IBM）の有界領域 $ \mathbb{R}^n $ からの最初の抜出し時間分布の正確な漸近的挙動を導出すること。
• 対数的漸近評価の改善：対数を除去し、正確な指数的減少率を取得すること。
• ねじれや非有界な凸領域におけるブラウン運動時間ブラウン運動（BTBM）への解析の拡張。
• 生存確率とディリクレラプラシアンのスペクトルデータ（特に $ \lambda_D $ と $ \psi $）との関係を確立すること。
• IBM や BTBM のような非マルコフ過程の抜出し時間の漸近的挙動に関する既存の結果を統合・精錬すること。

提案手法

• スペクトル理論の応用：領域 $ D $ におけるディリクレラプラシアン $ \frac{1}{2}\Delta $ の第一固有値 $ \lambda_D $ と固有関数 $ \psi $。
• de Bruijn のTauber定理を用いて、ラプラス変換と抜出し時間分布の尾部挙動を分析。
• 正弦級数展開を用いた、区間内でのブラウン運動の最初の到達時間密度に対する鋭い評価の導出。
• 恒等式 $ P_z[\tau_D(Z) > t] = \int_0^\infty P_0[\eta_{(-u,u)} > t] \, f(u) \, du $（$ f(u) $ は $ |Y(t)| $ の確率密度）を用い、IBMの生存確率をブラウン運動の抜出し時間に帰着。
• 変数変換と、$ \exp(-\pi^2 t / (8u^2)) $ および $ \exp(-C u (\log u)^{-2/p}) $ を含む積分の漸近的解析により、主要項の減少率を抽出。
• パラメータ $ \epsilon $ に依存する定数による指数部の摂動を用い、上界と下界を一致させ、その後 $ \epsilon \to 0 $ の極限をとることで、BTBM の正確な対数的減少率を導出。

実験結果

リサーチクエスチョン

• RQ1 IBM の抜出し時間の生存確率に対する対数的漸近評価を、正確な指数的減少率に改善できるか？
• RQ2 $ t \to \infty $ のとき、有界領域内におけるIBMの生存確率 $ P_z[\tau_D(Z) > t] $ の正確な関数的形は何か？
• RQ3 領域のスペクトル的性質（$ \lambda_D $ と $ \psi $ を通じて）は、IBM の抜出し時間の長時間挙動にどのように影響を与えるか？
• RQ4 同様の漸近的枠組みは、ねじれや非有界な凸領域におけるブラウン運動時間ブラウン運動（BTBM）にも適用可能か？
• RQ5 BTBM の生存確率は、IBM と同様に、スペクトル的およびTauber的技法を用いて特徴付けられるか？

主な発見

• 有界領域内におけるIBMの生存確率の正確な漸近的挙動は、$ \lim_{t \to \infty} t^{-1/2} \exp\big(\frac{3}{2}\pi^{2/3}\lambda_D^{2/3}t^{1/3}\big) P_z[\tau_D(Z) > t] = \frac{\lambda_D 2^{7/2}}{\sqrt{3\pi}} \left( \psi(z) \int_D \psi(y) \, dy \right)^2 $ であり、従来の対数的推定を改善する。
• 漸近式における定数 $ C(z) $ は、第一ディリクレ固有値 $ \lambda_D $ と固有関数 $ \psi $ に明示的に依存しており、抜出し時間の挙動が領域のスペクトル幾何にどのように関連するかを示している。
• 成長半径 $ \gamma r^p $ のねじれ領域におけるBTBMでは、生存確率は $ \exp\big( -C t^{1/3} (\log t)^{-4/(3p)} \big) $ のように減少し、$ \gamma $, $ p $, およびベッセル関数の零点に依存する明示的な定数を伴う。
• 非有界な凸領域では、BTBM の生存確率は任意の $ t $ のべきよりも遅く減少し、$ P_z[\tau_D(Z^1) > t] \lesssim t^{-C(1-\epsilon)/2} $ となる。これは、任意に遅い減少を示すべき力の尾部を意味する。
• 漸近的解析は de Bruijn のTauber定理と、区間内でのブラウン運動の最初の抜出し時間密度に対する精密な推定に依存しており、正弦級数とラプラス法による検証がなされている。
• 導出された評価は鋭い：上界と下界は $ \epsilon $ に依存する定数まで一致しており、$ \epsilon \to 0 $ の極限をとることで、ねじれ領域におけるBTBMの正確な対数的減少率が得られる。