[논문 리뷰] A functional limit convergence towards brownian excursion

Julien Sohier|arXiv (Cornell University)|2010. 12. 01.

Stochastic processes and statistical mechanics참고 문헌 21인용 수 7

한 줄 요약

이 논문은 정규분포의 영역에 속하는 랜덤 워크가 비음성을 유지하고 원점 근처로 돌아오도록 조건화되었을 때, 적절한 스케일링 하에 약한 수렴을 통해 정규화된 브라운 운동의 외출로 수렴함을 보여주는 기능적 극한정리 수립. 수렴는 유한차원 분포 수렴과 컴팩트성에 기반하며, 복원 이론과 조건화를 위한 h-변환을 활용함.

ABSTRACT

We consider a random walk $S$ in the domain of attraction of a standard normal law $Z$, extit{ie} there exists a positive sequence $a_n$ such that $S_n/a_n$ converges in law towards $Z$. The main result of this note is that the rescaled process $(S_{\lfloor nt floor}/a_n, t \geq 0)$ conditioned to stay non-negative, to start and to come back extit{near the origin} converges in law towards the normalized brownian excursion.

연구 동기 및 목표

• 정규분포의 영역에 속하는 랜덤 워크가 양성을 유지하고 원점 근처로 돌아오도록 조건화한 경우의 기능적 극한정리 수립.
• 지난 시점 복귀 조건화를 고려하여 이전의 브라운 메안더 수렴 결과를 확장.
• 스케일링된 조건화된 과정이 법적으로 정규화된 브라운 운동의 외출로 수렴함을 보임.
• 일반적인 영역에 속하는 조건 하에서 컴팩트성과 유한차원 수렴을 이용한 엄밀한 증명 제공.

제안 방법

• 내림계단 높이와 관련된 복원 함수 $ V(x) $ 를 기반으로, 음성을 유지하도록 조건화된 랜덤 워크의 법을 h-변환을 사용해 정의.
• 스케일링된 과정의 약한 수렴을 연구하기 위해 $ D([0,1], \mathbb{R}) $ 에서의 스토로코호드 위상 적용.
• 기능적 중심극한정리 프레임워크를 활용하여, $ a_n^2 \sim n \Phi(a_n) $ 를 만족하는 $ a_n $ 을 사용해 랜덤 워크 $ S_{\lfloor nt \rfloor}/a_n $ 스케일링.
• 강한 형태의 이글하르트의 보조정리에 기반한 복원 과정에 대한 강한 복원 이론을 활용해 모멘트 유계와 진동 제어를 통해 컴팩트성 확립.
• 복원 이론에서 유도된 점근적 등가 $ \mathbf{P}_{x_n}[\tau_{(-\infty,0)}>n] / \mathbf{P}[T_1^- > n] \sim V(x_n) $ 가 $ x_n / a_n \to 0 $ 일 때 균일하게 성립함.
• 국소 중심극한정리와 계단 높이 밀도에 대한 균일 추정을 활용해 수렴 조건 검증.

실험 결과

연구 질문

• RQ1 정규분포의 영역에 속하는 랜덤 워크가 양성을 유지하고 원점 근처로 돌아오도록 조건화하면, 브라운 운동의 외출로 수렴하는가?
• RQ2 기능적 관점에서, 즉 $ D([0,1], \mathbb{R}) $ 에서의 스토로코호드 위상에서 수렴이 성립하는가?
• RQ3 초기 및 종료 위치 $ x_n, y_n $ 에 어떤 조건이 성립하면 브라운 운동의 외출로 수렴하는가?
• RQ4 계단 과정의 복원 구조는 조건화된 워크의 점근적 행동에 어떤 영향을 미치는가?

주요 결과

• 초기 위치 $ x_n $ 에서 시작하고, $ y_n $ 에서 끝나며 음성을 유지하도록 조건화된 스케일링된 과정 $ (S_{\lfloor nt \rfloor}^*)/a_n $ 이 $ n \to \infty $ 일 때 정규화된 브라운 운동의 외출로 법적으로 수렴함.
• 초기 및 종료 위치가 스케일링에 비해 사라지도록 보장하기 위해 $ x_n / a_n \to 0 $ 과 $ y_n / a_n \to 0 $ 라는 조건이 필요함.
• 증명 과정에서 유한차원 수렴과 컴팩트성 확립이 이루어지며, 후자는 진동의 지수 尾 꼬리 유계에 기반함.
• 점근적 등가 $ \mathbf{P}_{x_n}[\tau_{(-\infty,0)}>n] / \mathbf{P}[T_1^- > n] \sim V(x_n) $ 가 $ x_n / a_n \to 0 $ 일 때 균일하게 성립함. 이는 h-변환 근사에 핵심적임.
• 지난 복귀 조건화를 고려한 강력한 조건화로 인해 이전의 브라운 메안더 수렴 결과를 확장하여 외출 극한으로 수렴함.