[논문 리뷰] On the small-time behaviour of Lévy-type processes

Victoria Knopova, René L. Schilling|arXiv (Cornell University)|2013. 10. 01.

Stochastic processes and financial applications참고 문헌 8인용 수 3

한 줄 요약

이 논문은 상태에 의존하는 특성을 가진 Feller 및 Lévy 유형의 확률과정에 대해 Chung 유형의 반복 로그 법칙(LIL)을 수립하며, 무한소 생성자(symbol)을 통해 소시간 경로 행동을 특성화한다. 주요 결과로는 시간 0에 가까운 지점에서 과정의 최대값과 증분에 대한 거의 확실한 liminf 및 limsup 渐近 해석을 제시하며, 이는 symbol으로부터 유도된 정규화 함수를 사용한다. 이는 Lévy 과정에 대한 고전적 LIL 결과를 일반화한다.

ABSTRACT

We show some Chung-type $\liminf$ law of the iterated logarithm results at zero for a class of (pure-jump) Feller or Lévy-type processes. This class includes all Lévy processes. The norming function is given in terms of the symbol of the infinitesimal generator of the process. In the Lévy case, the symbol coincides with the characteristic exponent.

연구 동기 및 목표

• Lévy 과정에서의 고전적 Chung 유형의 반복 로그 법칙(LIL)을 상태에 의존적인 특성을 가진 더 넓은 범위의 Feller 과정으로 확장하기.
• 무한소 생성자의 symbol을 통해 순수 점프 성질을 가진 Feller 과정의 소시간 행동을 특성화하기.
• symbol에 기반한 정규화 함수를 사용하여 시간 0에 가까운 지점에서 과정의 최대값과 증분에 대한 거의 확실한 liminf 및 limsup 결과를 도출하기.
• symbol의 성장 조건에 따라 $ |X_t - x| / w(t,x) $의 liminf가 거의 확실하게 양수 또는 발산하는지 여부를 판단하는 기준 설정하기.
• 변수 계수의 미분형 작용소를 통해 상태에 의존적인 역학을 통합함으로써, Lévy 과정에 대한 기존 LIL 결과를 일반화하기.

제안 방법

• 저자들은 Feller 과정의 무한소 생성자의 symbol $ p(x, \rho) $를 중심 도구로 사용하여, 과정의 소시간 스케일링을 지배하는 정규화 함수 $ u^{-1}(x, t / \text{log}|\text{log}\tfrac{1}{t}|) $, $ v(t,x) $, $ w(t,x) $를 정의한다.
• 특히 점프 측도와 이동 성분에 중점을 두어, symbol의 Lévy-Khintchine 표현을 활용해 특성 함수 $ \rho \to \rho(x, \rho) $에 대한 경계를 도출한다.
• 증명 기법은 특성 함수 $ \rho \to \rho(x, \rho) $를 지수 모멘트를 통해 추정하고, Fatou의 보조정리 및 Borel-Cantelli 보조정리를 적용하여 거의 확실한 수렴 결과를 도출한다.
• 특성 함수의 실수부를 기반으로 한 모순 증명 기법을 사용한다: liminf가 0이라는 가정은 symbol의 성장 조건 하에서 특성 함수의 지수 감소와 모순된다.
• 특히 $ \text{Re}(e^{i\theta}) \to 1 $ as $ \theta \to 0 $ 이며, $ |\text{Re}(z)| \to 1 $ 이라는 하한을 고려하여, $ \text{liminf} |X_t - x| / w(t,x) = 0 $ 이라는 가정으로부터 모순을 도출한다.
• 두 경우로 나누어 증명한다: $ \text{liminf}_{t \to 0} t g(1/w(x,t)) = c(x) > 0 $ 이면 $ \text{liminf} |X_t - x| / w(t,x) > 0 $ 이고, 무한으로 발산하면 $ \text{liminf} = \text{infty} $ 가 된다.

실험 결과

연구 질문

• RQ1 Feller 과정의 소시간 행동에서, 시간 0에 가까운 지점에서 $ \text{sup}_{0 \leq s \leq t} |X_s - x| $ 의 渐近 해석은 어떻게 되는가?
• RQ2 무한소 생성자의 symbol을 어떻게 활용하여 Feller 과정에 대해 거의 확실한 LIL 유형 결과를 얻을 수 있는 정규화 함수를 정의할 수 있는가?
• RQ3 symbol에 어떤 조건이 성립할 경우 $ \text{liminf} |X_t - x| / w(t,x) $ 가 거의 확실하게 양수 또는 무한대로 발산하는가?
• RQ4 Lévy 과정에 대한 고전적 LIL 결과는 Feller 과정의 비균일한 설정으로 어떻게 일반화될 수 있는가?
• RQ5 symbol에서 유도된 함수 $ g(\rho) $ 는 LIL에서 정규화 함수 $ w(t,x) $ 의 성장률을 결정하는 데 어떤 역할을 하는가?

주요 결과

• symbol $ p(x, \rho) $ 를 가진 Feller 과정에 대해, $ \frac{\text{sup}_{0 \leq s \leq t} |X_s - x|}{u^{-1}(x, t / \text{log}|\text{log}\tfrac{1}{t}|)} $ 의 liminf 는 거의 확실하게 양수인 상수 $ C(x) $ 와 같다. 여기서 $ u $ 는 symbol 으로부터 유도된다.
• $ \frac{\text{sup}_{s \leq t} |X_s - x|}{v(t,x)} $ 의 limsup 는 symbol 의 성장 조건에 따라 거의 확실하게 0 또는 $ +\text{infty} $ 가 된다.
• $ \frac{|X_t - x|}{w(t,x)} $ 의 liminf 는 $ \text{liminf}_{t \to 0} t g(1/w(x,t)) $ 가 양수이면 거의 확실하게 양수이며, 무한이면 거의 확실하게 무한이 된다. 여기서 $ g $ 는 symbol 과 관련된 함수이다.
• 대칭 Lévy 경우에서, $ \text{liminf}_{t \to 0} t \rho(1/w(t)) = c > 0 $ 이면 $ \text{liminf} |X_t| / w(t) > 0 $ 이 거의 확실하게 성립하고, 극한이 $ \text{infty} $ 이면 liminf 도 거의 확실하게 $ \text{infty} $ 가 된다.
• 증명은 $ \text{liminf} |X_t - x| / w(t,x) = 0 $ 이라는 가정이 특성 함수의 지수 감소와 모순됨을 보여, 따라서 liminf 는 양수여야 함을 시사한다.
• $ \text{liminf}_{t \to 0} t g(1/w(x,t)) = c(x) > 0 $ 이면, $ \text{liminf} |X_t - x| / w(t,x) $ 는 거의 확실하게 0에서 멀리 떨어져 있으며, $ \text{inf}_x c(x) > 0 $ 이면 $ \text{inf}_x \text{liminf} |X_t - x| / w(t,x) > 0 $ 이 거의 확실하게 성립한다.