[논문 리뷰] Laws of the iterated logarithm for α-time Brownian motion

Erkan Nane|ArXiv.org|2005. 08. 15.

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

한 줄 요약

이 논문은 대칭 α-안정 과정으로 브라운 운동을 시간하향(subordinating)하여 α-시간 브라운 운동을 도입하고, 이 과정의 최대값에 대한 창-유형의 반복로그법칙을 수립한다. 이는 최대값의 정규화된 liminf에 대한 정확한 거의확실한 극한을 도출하며, 분수라플라스 연산자에 대한 첫 번째 고유값을 포함하는 명시적인 상수를 포함한다. 또한 1<α<2 범위로 결과를 범위와 국소시간에 대해 확장한다. 이 작업은 이중 브라운 운동에 대한 이전의 LIL 결과를 더 넓은 범위의 자기유사적이고 마코프가 아닌 과정으로 일반화한다.

ABSTRACT

We introduce a class of iterated processes called $α$-time Brownian motion for $0

연구 동기 및 목표

• α-시간 브라운 운동의 경로 성질을 연구한다. 이는 대칭 α-안정 과정으로 시간하향된 브라운 운동으로 구성된 비마코프, 비가우시안 자기유사 과정이다.
• 이중 브라운 운동(α=2)과 안정 과정에 대한 알려진 결과를 확장하여, 과정의 최대값에 대한 창-유형의 반복로그법칙을 수립한다.
• 1<α<2 범위에서 과정의 국소시간과 범위를 정의하고 분석하며, 이러한 기능적 요소들의 거의확실한 점근적 행동을 도출한다.
• 범위와 국소시간의 limsup 및 liminf 행동에 대한 보편적 상수를 증명한다. 이는 이 새로운 과정의 범주로 케스텐의 법칙을 일반화한다.

제안 방법

• α-시간 브라운 운동을 Z_t = X(Y_t)로 정의한다. 여기서 X는 양방향 브라운 운동이고, Y_t는 독립적인 대칭 α-안정 과정이며, 0<α≤2이다.
• 지수 1/2α의 자기유사성을 이용하여 최대값 과정을 정규화하고, 스케일링 및 모멘트 추정을 통해 창-유형의 LIL을 도출한다.
• 시간 구간을 분할하여 α-안정 과정의 범위를 분할하고, 이산적인 간격에서 독립적인 최대값을 정의함으로써 경로를 독립적인 증분으로 분해하는 이산화 기법을 적용한다.
• 지수적 모멘트 추정과 보렐-칸탈리 추론을 사용하여 독립적인 최대값의 합의 꼬리 확률를 제어하고, 거의확실한 상한을 확보한다.
• 범위 R^*(t)와 국소시간 L^*(x,t)를 총 시간과 연결하기 위해 항등식 t = ∫ L^*(x,t) dx ≤ R^*(t) · sup_x L^*(x,t)를 사용하여 공동 점근 분석이 가능하게 한다.
• 분수라플라스 연산자 (-Δ)^{α/2}의 [-1,1]에서의 첫 번째 고유값 λ_α에 관한 결과를 활용하여 LIL의 상수를 표현한다.

실험 결과

연구 질문

• RQ1 T→∞ 일 때, α-시간 브라운 운동에 대해 sup_{0≤t≤T}|Z_t|의 거의확실한 점근 행동은 무엇인가?
• RQ2 α ≠ 2 일 때, α-시간 브라운 운동에 대해 창-유형의 반복로그법칙을 수립할 수 있는가?
• RQ3 1<α<2 일 때, 범위 R^*(t)와 국소시간 sup_x L^*(x,t)의 limsup 및 liminf 행동은 무엇인가?
• RQ4 정규화된 범위와 국소시간이 거의확실하게 유한하고 양수인 극한으로 수렴하는 보편적 상수가 존재하는가?

주요 결과

• α ∈ (0,2] 일 때, 논문은 다음을 증명한다: liminf_{T→∞} T^{-1/2α} (log log T)^{(1+α)/(2α)} sup_{0≤t≤T} |Z_t| = D_α a.s., 여기서 D_α = C_α^{(1+α)/2α}이며, C_α는 [-1,1]에서 (-Δ)^{α/2}의 첫 번째 고유값 λ_α에 대해 명시적으로 정의된다.
• 다른 과정 Z^1_t = X(|Y_t|)에 대해서도 동일한 창-유형의 LIL이 성립하며, 다른 상수 D^1_α를 가진다. 이는 시간 과정에 절댓값이 미치는 영향을 반영한다.
• 1<α<2 일 때, 정규화된 범위의 limsup는 다음을 만족한다: limsup_{t→∞} \frac{R^*(t)}{(t/log log t)^{1/2α} log log t} = c_R a.s. 이때 어떤 보편적 c_R ∈ (0,∞) 이 존재한다.
• 유사하게, 정규화된 국소시간의 liminf는 다음을 만족한다: liminf_{t→∞} \frac{sup_x L^*(x,t)}{(t/log log t)^{1-1/2α}} = c_L a.s. 이때 어떤 보편적 c_L ∈ (0,∞) 이 존재한다.
• 결과는 α-안정 과정의 시간 간격을 통해 경로를 독립적인 증분으로 분해한 후, 모멘트 추정과 보렐-칸탈리 추론을 사용하여 도출된다.
• 상수 c_R 및 c_L 는 보편적이며 특정 α-안정 과정의 분포에 의존하지 않으며, 오직 α에만 의존한다.