[논문 리뷰] On Schrödinger's equation, 3-dimensional Bessel bridges, and passage time problems

Gerardo Hernández‐del‐Valle|arXiv (Cornell University)|2010. 05. 21.

advanced mathematical theories참고 문헌 6인용 수 4

한 줄 요약

이 논문은 브라운 운동의 첫 번째 통과 시간과 이동 경계에 대해 3차원 베셀 브리지 과정 사이의 연결을 수립하며, 시간에 따라 변하는 드리프트를 가진 열형 방정식에 대한 코시 문제의 해를 통해 통과 시간 밀도의 확률적 표현을 유도한다. 주요 기여는 첫 번째 통과 시간 밀도를 3차원 베셀 브리지에 대한 기댓값으로 표현하는 공식을 제공함으로써, 파인만-카크 유형의 표현을 통해 경계값과 해석적 접근 가능성 확보.

ABSTRACT

In this work we relate the density of the first-passage time of a Wiener process to a moving boundary with the three dimensional Bessel bridge process and a solution of the heat equation with a moving boundary. We provide bounds.

연구 동기 및 목표

• 일차원 브라운 운동 $B_t$가 두 번 연속 미분 가능한 이동 경계 $f(t)$로의 첫 번째 통과 시간 $T$의 밀도를 유도하는 것.
• 지르산프의 정리와 측도 변화 기법을 통해 첫 번째 통과 시간 분포를 3차원 베셀 브리지 과정 $\tilde{X}_t$와 연결하는 것.
• 베셀 브리지의 지수 기댓값 기반으로 첫 번째 통과 시간 밀도에 대한 확률적 표현을 수립하는 것.
• 베셀 브리지에 대한 기댓값과 제닝스 부등식, 모멘트 추정치를 활용하여 첫 번째 통과 시간 밀도에 대한 경계를 제공하는 것.
• 시간에 따라 변하는 계수를 가진 PDE에 대한 관련 코시 문제를 풀며, 푸리에 변환을 통해 열 방정식과 연결하는 것.

제안 방법

• 원래의 위너 측도에서, 베셀 브리지 $\tilde{X}_t$가 드리프트 $\left(\frac{1}{\tilde{X}_t} - \frac{\tilde{X}_t}{s-t}\right)$ 를 갖는 디퓨전이 되는 측도로 전환하기 위해 지르산프의 정리를 사용한다.
• 파인만-카크 공식을 적용하여 코시 문제 (7)의 해를 지수 기댓값 $\exp\left\{-\int_0^s f''(u)\tilde{X}_u du\right\}$ 을 포함하는 기댓값으로 표현한다.
• 푸리에 분석을 통해 PDE (8)의 $w(t,a)$ 를 $y = \lambda + i f'(t)$ 로 설정함으로써 복소 평면상의 해를 구할 수 있는 상미분방정식으로 축소한다.
• 역 푸리에 변환을 사용하여 $w(t,a)$ 의 명시적 해를 유도하며, 함수 $\Pi(y)$ 와 가우시안 가중 지수를 포함하는 적분 형태로 표현한다.
• $v(t,a)$ 의 해를 $v(t,a) = w(t,a)/h(s-t,a)$ 로 구성하며, 여기서 $h(s,a)$ 는 고정된 수준으로의 첫 번째 통과 밀도이다.
• 우세 수렴 정리와 베셀 브리지의 최댓값에 대한 모멘트 경계를 사용하여 확률적 표현의 수렴성을 정당화한다.

실험 결과

연구 질문

• RQ1 브라운 운동이 이동 경계로의 첫 번째 통과 시간 밀도는 3차원 베셀 브리지로 어떻게 표현될 수 있는가?
• RQ2 지르산프의 정리에 의해 유도된 측도 변화 하에서 첫 번째 통과 시간 밀도의 확률적 표현은 무엇인가?
• RQ3 코시 문제 (7)의 해는 열 방정식과 베셀 브리지 과정과 어떻게 관련이 있는가?
• RQ4 제닝스 부등식과 베셀 브리지에 대한 기댓값을 활용하여 첫 번째 통과 시간 밀도에 대한 경계를 유도할 수 있는가?
• RQ5 변환된 측도 하에서 베셀 브리지의 전이 밀도를 기술하는 PDE (8)의 명시적 해는 무엇인가?

주요 결과

• $\omega(s, a + \int_0^s f'(u)du)$ 의 첫 번째 통과 시간 밀도는 아래쪽으로 $h(s,a) \exp\left\{-af'(0) - \frac{1}{2}\int_0^s (f'(u))^2 du - \int_0^s f''(u)\mathbb{E}^a[\tilde{X}_u] du\right\}$ 로 경계된다.
• 위쪽 경계는 제닝스 부등식을 지수 기댓값에 적용하여 $h(s,a) \exp\left\{-af'(0) - \frac{1}{2}\int_0^s (f'(u))^2 du\right\}$ 로 유도된다.
• 코시 문제 (7)의 해 $v(t,a)$ 는 $\mathbb{E}^{t,a}\left[\exp\left\{-\int_t^s f''(u)\tilde{X}_u du\right\}\right]$ 로 표현되며, 이는 베셀 브리지 기댓값과 연결된다.
• 명시적 해 $w(t,a)$ 는 $w(t,a) = \exp\left\{\frac{1}{2}\int_t^s (f'(u))^2 du + a f'(t)\right\} \cdot \frac{1}{2\pi} \int_{-\infty}^\infty \Pi(y) e^{-\frac{1}{2}y^2(s-t) + i y (a + \int_t^s f'(u) du)} dy$ 로 유도된다.
• $v(t,a)$ 는 $v(t,a) = w(t,a)/h(s-t,a)$ 로 구성되며, 여기서 $h(s,a)$ 는 고정된 수준으로의 첫 번째 통과에 대한 역 가우시안 밀도이다.
• 베셀 브리지의 최댓값에 대한 모멘트 경계를 사용하여 확률적 표현의 수렴성을 정당화하며, 절단 근사에서 $n \to \infty$ 의 극한이 유효함을 보장한다.