[논문 리뷰] Hitting times of Bessel processes

T. Byczkowski, Jacek Małecki외 1명|arXiv (Cornell University)|2010. 09. 17.

Stochastic processes and financial applications참고 문헌 21인용 수 7

한 줄 요약

이 논문은 이전 연구에서 유래한 적분 공식을 사용하여, 인덱스 $\mu \in \mathbb{R}$인 베셀 과정이 $x > 1$에서 시작될 때, 수준 1에 대한 첫 번째 도달 시간의 밀도에 대해 날카운 균일한 추정을 제공한다. 핵심 기여는 시간과 공간 변수 모두에서 비교 가능한 최적의 경계를 제공함으로써, 기존의 $\mathbb{R}^n$에서의 브라운 운동 추정을 향상시키고, 실수 히에르볼릭 공간에서의 하이퍼볼릭 브라운 운동에 대한 정밀한 포아송 커널 추정을 가능하게 한다.

ABSTRACT

Let $T_1^{(μ)}$ be the first hitting time of the point 1 by the Bessel process with index $μ\in \R$ starting from $x>1$. Using an integral formula for the density $q_x^{(μ)}(t)$ of $T_1^{(μ)}$, obtained in Byczkowski, Ryznar (Studia Math., 173(1):19-38, 2006), we prove sharp estimates of the density of $T_1^{(μ)}$ which exibit the dependence both on time and space variables. Our result provides optimal estimates for the density of the hitting time of the unit ball by the Brownian motion in $\mathbb{R}^n$, which improve existing bounds. Another application is to provide sharp estimates for the Poisson kernel for half-spaces for hyperbolic Brownian motion in real hyperbolic spaces.

연구 동기 및 목표

• 인덱스 $\mu$를 가진 베셀 과정이 $x > 1$에서 시작될 때, 첫 번째 도달 시간 $T_1^{(\mu)}$의 밀도에 대해 날카운 균일한 추정을 유도하는 것.
• 기존 추정의 전 시간 및 공간 영역에서의 개선을 위해, $n$차원 브라운 운동이 단위 구의 도달 시간에 대해 이러한 추정을 확장하는 것.
• 결과를 활용하여, 베셀 과정에 대한 서브오르디네이션을 통해 실수 히에르볼릭 공간의 반공간에 대한 포아송 커널에 대한 정밀한 추정을 도출하는 것.
• 이전 추정에서 $t < |x|^2$ 영역에서 하한 및 상한 추정에 서로 다른 지수 상수를 사용한 격차를 해결하는 것, 특히 평면 브라운 운동의 경우에 중점적으로 다룸.

제안 방법

• 논문 [5]에서 유래한, 도달 시간 밀도에 대한 복잡하지만 매우 효과적인 적분 공식을 활용한다.
• 척도 성질을 적용하여 문제를 $a = 1$의 경우로 단순화하고, $x > 1$에 집중한다.
• 베셀 함수 $I_0$, $K_0$ 및 그 조합의 점근 전개를 사용하여, 시간 영역 $u \in (0,1/x)$, $(1/x,1)$, $(1,\infty)$에 따른 적분을 추정한다.
• 시간 범위에 따라 적분을 $J_1, J_2, J_3$로 세 부분으로 나누고, 알려진 점근적 성질과 적분 경계를 활용해 각각 별도의 추정을 유도한다.
• 밀도를 복원하기 위해 함수 $w_\lambda(v)$를 통한 도달 시간의 라플라스 변환과의 관계를 활용한다.
• 모든 $x > 1$ 및 $t > 0$에 대해 균일한 경계를 확립하기 위해, $f(x,v) \approx \frac{1}{x(v+1)^{3/2}(v+x)^{1/2}} \frac{\log(x+1)}{\log(v+2)(\log(x+1)+\log(v+2))}$와 같은 비교 기법을 적용한다.

실험 결과

연구 질문

• RQ1 인덱스 $\mu \in \mathbb{R}$인 베셀 과정이 $x > 1$에서 시작될 때, 모든 시간 및 공간 변수에 걸쳐 첫 번째 도달 시간 수준 1에 대한 밀도에 대해 날카운 균일한 경계는 무엇인가요?
• RQ2 이 경계는 $n$차원 브라운 운동이 단위 구에 도달하는 시간에 대해, 특히 $t < |x|^2$ 영역에서 기존 추정을 어떻게 향상시키나요?
• RQ3 이 추정은 베셀 과정에 대한 서브오르디네이션을 통해 실수 히에르볼릭 공간의 반공간에 대한 포아송 커널에 대해 정밀한 점근적 제어를 가능하게 할 수 있나요?
• RQ4 평면의 경우($n=2$)에서 $t \to \infty$일 때 도달 시간 밀도의 정밀한 행동은 무엇이며, 이는 이전 결과와 어떻게 비교되나요?
• RQ5 도달 시간 밀도의 적분 표현은 어떻게 다양한 시간 스케일에 걸쳐 분해되고 효과적으로 추정될 수 있으며, 이로써 균일한 경계를 달성할 수 있나요?

주요 결과

• 모든 $\mu \neq 0$에 대해, $T_1^{(\mu)}$의 밀도는 $\frac{\mathbf{P}_x^{(\mu)}(T_1^{(\mu)} \in dt)}{dt} \approx (x-1)\left(\frac{1}{1+x^{2\mu}}\right)\frac{e^{-(x-1)^2/2t}}{t^{3/2}}\frac{x^{2|\mu|-1}}{t^{|\mu|-1/2}+x^{|\mu|-1/2}}$를 만족하며, 이는 $\mu$에만 의존하는 균일한 상수를 가진다.
• $\mu = 0$일 경우, 밀도는 $\frac{\mathbf{P}_x^{(0)}(T_1^{(0)} \in dt)}{dt} \approx (x-1)e^{-(x-1)^2/2t}\frac{(x+t)^{1/2}}{xt^{3/2}}\frac{1+\log x}{(1+\log(1+t/x))(1+\log(t+x))}$를 만족하며, 이는 모든 $t > 0$에서 평면의 경우에 대해 처음으로 날카운 추정을 제공한다.
• $n > 2$일 경우, $n$차원 브라운 운동이 단위 구에 도달하는 시간인 $\sigma^{(n)}$는 $\frac{P^x(\sigma^{(n)} \in dt)}{dt} \approx \frac{|x|-1}{|x|}\frac{e^{-(|x|-1)^2/2t}}{t^{3/2}}\frac{1}{t^{(n-3)/2}+|x|^{(n-3)/2}}$를 만족하며, 이는 이전 추정을 향상시킨다.
• $n = 2$일 경우, 추정 $\frac{P^x(\sigma^{(2)} \in dt)}{dt} \approx \frac{|x|-1}{|x|}e^{-(|x|-1)^2/2t}\frac{(|x|+t)^{1/2}}{t^{3/2}}\frac{1+\log|x|}{(1+\log(1+t/|x|))(1+\log(t+|x|))}$는 새로운 것으로, 모든 $t > 0$ 및 $|x| > 1$에서 최적의 추정을 제공하며, 이전 연구의 격차를 해결한다.
• 생존 확률 $\mathbf{P}_x^{(\mu)}(t < T_1^{(\mu)} < \infty)$ 또한 날카운 추정을 받으며, 큰 $t$에 대해 알려진 결과와 일치하는 점근적 행동을 보인다.
• 이전 연구에서 $t < |x|^2$ 영역에서 하한 및 상한 추정에 서로 다른 지수 상수를 사용한 문제를 해결하여, 전체 시간 및 공간 영역에서 날카운, 일치하는 추정으로 대체한다.