[논문 리뷰] Laws of the iterated logarithm for symmetric jump processes

Panki Kim, Takashi Kumagai외 1명|arXiv (Cornell University)|2015. 04. 23.

advanced mathematical theories참고 문헌 14인용 수 12

한 줄 요약

이 논문은 두측 열핵 추정을 사용하여 메트릭 측도 공간 위의 대칭 점프 과정에 대한 반복 로그 법칙(LILs)을 수립한다. $\beta$-스테이블-유사 과정에 대한 샘플 경로, 국소 시간, 범위에 대한 LILs를 유도하며, 고전적 LIL 결과를 레비 과정에서 일반적인 비레비 점프 과정으로 확장한다. 일반적인 기하학적 및 해석적 조건 하에서 수행된다.

ABSTRACT

Based on two-sided heat kernel estimates for a class of symmetric jump processes on metric measure spaces, the laws of the iterated logarithm (LILs) for sample paths, local times and ranges are established. In particular, the LILs are obtained for $β$-stable-like processes on $α$-sets with $β>0$.

연구 동기 및 목표

• 레비 과정에서의 고전적 반복 로그 법칙(LILs)을 비레비 대칭 점프 과정으로 확장하기 위해.
• 일반적인 기하학적 조건 하에서 메트릭 측도 공간 위의 대칭 점프 과정에 대한 샘플 경로, 국소 시간, 범위에 대한 LILs를 수립하기 위해.
• 열핵 추정과 대규모 편차 기법을 사용하여 국소 시간과 범위의 정밀한 점근적 변동을 유도하기 위해.
• $\beta$-스테이블 과정에 대한 알려진 LIL 결과를 약간의 기하학적 가정 하에 $\alpha$-집합 위의 $\beta$-스테이블-유사 과정으로 일반화하기 위해.
• 디리클레 형식과 열핵 분석을 통해 비레비, 비확산 설정에서 LILs를 위한 통합된 프레임워크를 제공하기 위해.

제안 방법

• 메트릭 측도 공간 위의 대칭 점프 과정에 대한 양측 열핵 추정을 사용하여 전이 밀도를 제어한다.
• 대규모 편차 방법을 적용하여 경로 및 국소 시간 LILs를 도출하며, 특히 생성자 변형이 있는 과정에 대해 적용한다.
• 베르링-데니 공식을 사용하여 디리클레 형식을 순수 점프 성분으로 분해하며, 확산 또는 죽음 성분이 없는 과정에 집중한다.
• 기하학적 조건을 부과: 체적 두배 조건과 $\alpha$-정규성($c_1 r^\alpha \leq \mu(B(x,r)) \leq c_2 r^\alpha$)을 통해 척도 불변 행동을 확보한다.
• 최대 부등식과 보렐-칸탈리 원리를 사용하여 국소 시간과 범위의 limsup 및 liminf에 대한 상한 및 하한을 도출한다.
• 무한 지름을 가진 공간에서 장기적 행동을 분석하기 위해 체이닝 구성(보조정리 A.4)을 사용하여 중첩되는 내재된 공을 구축한다.

실험 결과

연구 질문

• RQ1 비레비 대칭 점프 과정에 대해 $\beta$-스테이블 과정의 샘플 경로 및 국소 시간에 대한 반복 로그 법칙이 어떻게 일반화되는가?
• RQ2 일반적인 기하학적 조건 하에서 $\alpha$-집합 위의 $\beta$-스테이블-유사 과정에 대해 국소 시간과 범위에 대한 LILs를 어떻게 수립할 수 있는가?
• RQ3 열핵 추정과 체적 두배 조건이 점프 과정의 점근적 변동에 어떻게 영향을 미치는가?
• RQ4 시간에 따라 대칭 점프 과정의 국소 시간과 범위의 Supremum의 정확한 성장률은 무엇인가?
• RQ5 과정 생성자의 변형으로 레비 성질이 깨질 경우, 고전적 레비 과정에 대한 LIL 결과는 어느 정도 유지되는가?

주요 결과

• $\beta > 0$ 인 $\alpha$-집합 위의 $\beta$-스테이블-유사 과정에 대해, 국소 시간의 Supremum의 limsup는 다음을 만족한다: $\limsup_{t\to\infty} \frac{\sup_y l(y,t)}{t^{1-1/\beta}(\log\log t)^{1/\beta}} = c_1$ 거의 확실히, 어떤 $c_1 \in (0,\infty)$ 에 대해.
• 국소 시간의 Supremum의 liminf는 다음을 만족한다: $\liminf_{t\to\infty} \frac{\sup_y l(y,t)}{t^{1-1/\beta}(\log\log t)^{-1+1/\beta}} = c_2$ 거의 확실히, 어떤 $c_2 \in (0,\infty)$ 에 대해.
• 샘플 경로에 대해 $\limsup_{t\to 0} \frac{|X_t|}{h(t)} = 0$ 또는 $\infty$ 거의 확실히, $\int_0^\delta h(t)^{-\beta} dt < \infty$ 또는 $= \infty$ 인지에 따라 달라진다.
• 범위 $R(t) = \mu(X([0,t]))$ 는 적절한 스케일링 하에 다음을 만족한다: $\limsup_{t\to\infty} \frac{R_t}{\varphi(t / \log\log t) \log\log t} \leq C$ 거의 확실히, 어떤 상수 $C > 0$ 에 대해.
• $L^*(t) = \sup_x l(x,t)$ 와 $R(t)$ 의 연속성은 강한 마코프 성질과 보렐-칸탈리 보조정리를 통해 확립된다.
• 결과는 체적 두배 조건, $\alpha$-정규성, 스케일링이 $t^{-\alpha/\beta} \wedge \frac{t}{d(x,y)^{\alpha+\beta}}$ 인 두측 열핵 추정을 포함한 일반 조건 하에서 성립한다.