[논문 리뷰] Poincaré inequality and exponential integrability of hitting times for linear diffusions

Dasha Loukianova, Oleg Loukianov외 1명|ArXiv.org|2009. 07. 04.

Stochastic processes and financial applications참고 문헌 11인용 수 5

한 줄 요약

이 논문은 척도 함수와 속도 측도를 사용하여 일차원 선형 확산에서 정지 시간의 지수적 적분 가능성과 그 생성자에 대한 스펙트럼 간격 사이의 정확한 연결을 수립한다. 지수적 모멘트의 존재성은 양의 및 음의 방향에서의 양의 상한 $ B_a^+ $ 및 $ B_a^- $ 의 유한성과 동치임을 증명하며, 이는 과정의 딜리클레 형식과 관련된 파인카레 및 하디 부등식을 특징짓는다.

ABSTRACT

Let $X$ be a regular linear continuous positively recurrent Markov process with state space $\R$, scale function $S$ and speed measure $m$. For $a\in \R$ denote B^+_a&=\sup_{x\geq a} \m(]x,+\infty[)(S(x)-S(a)) B^-_a&=\sup_{x\leq a} \m(]-\infty;x[)(S(a)-S(x)) We study some characteristic relations between $B^+_a$, $B^-_a$, the exponential moments of the hitting times $T_a$ of $X$, the Hardy and Poincaré inequalities for the Dirichlet form associated with $X$. As a corollary, we establish the equivalence between the existence of exponential moments of the hitting times and the spectral gap of the generator of $X$.

연구 동기 및 목표

• 일차원 선형 확산에서 정지 시간의 지수적 모멘트 존재성을 위한 일반 기준을 수립하기 위해.
• 확산 과정의 생성자에 대한 스펙트럼 간격과 지수적 모멘트의 유한성 간의 연결을 수립하기 위해.
• 척도 함수와 속도 측도의 관점에서 파인카레 및 하디 부등식을 특징짓기 위해.
• 속도 측도와 척도 함수를 통해 정의된 양의 상한 $ B_a^+ $ 및 $ B_a^- $ 를 사용하여 스펙트럼 간격에 대한 날카운 경계를 도출하기 위해.
• 특정 과정(예: 옴스타인-울렌벡, 베셀)에 대한 기존의 지수적 모멘트 결과들을 통합하고 일반화하여 내재된 경로 기반 성질에 기반한 단일 프레임워크로 제시하기 위해.

제안 방법

• 속도 측도의 尾행동이 척도 함수에 대해 어떻게 작용하는지를 측정하는 데 사용되는 $ B_a^+ = \sup_{x \geq a} m(]x,\infty[)(S(x) - S(a)) $ 및 $ B_a^- = \sup_{x \leq a} m(]-\infty,x[)(S(a) - S(x)) $ 를 정의한다.
• 정지 시간 $ T_a $ 의 지수적 모멘트에 대한 경계를 수립한다: $ \frac{1}{4B_a^+} \leq \lambda_a^+ \leq \frac{1}{B_a^+} $, 여기서 $ \lambda_a^+ $ 는 $ x > a $ 에 대해 $ \mathbb{E}_x[e^{\lambda T_a}] < \infty $ 를 만족하는 $ \lambda > 0 $ 의 상한이며, $ \lambda_a^- $ 에 대해서도 유사한 경계가 존재한다.
• 구간 $ [a,\infty[ $ 과 $ ]\infty,a] $ 에서 하디 부등식의 최적 상수 $ A_a^+ $, $ A_a^- $ 를 $ B_a^+ $, $ B_a^- $ 와 연결하여 $ B_a^+ \leq A_a^+ \leq 4B_a^+ $ 를 보이며, $ A_a^- $ 에 대해서도 동일한 관계를 유도한다.
• 전역 파인카레 상수 $ c_P $ 가 $ \sup_a(A_a^+ \wedge A_a^-) \leq c_P \leq \inf_a(A_a^+ \vee A_a^-) $ 를 만족함을 증명하여 지역 하디 상수와 전역 파인카레 부등식 간의 연결 고리를 형성한다.
• 디리클레 형식 $ \mathcal{E}(F) = \int \left( \frac{dF}{dS} \right)^2 dS $ 가 생성자와 관련된 형식임을 보이며, 스펙트럼 간격 $ \gamma $ 가 $ \gamma = 1/c_P $ 를 만족함을 증명한다.
• 죽은 과정의 스펙트럼 간격 $ \gamma_a^+ $, $ \gamma_a^- $ 가 각각 $ \lambda_a^+ $, $ \lambda_a^- $ 와 동일함을 증명하여 지수적 적분 가능성, 스펙트럼 간격, 함수적 부등식 간의 동치관계를 완성한다.

실험 결과

연구 질문

• RQ1 척도 함수 $ S $ 와 속도 측도 $ m $ 가 어떤 조건을 만족할 경우 선형 확산의 정지 시간 $ T_a $ 가 유한한 지수적 모멘트를 가지는가?
• RQ2 선형 확산의 딜리클레 형식에 대한 파인카레 및 하디 부등식은 정지 시간의 지수적 적분 가능성과 어떻게 관련되어 있는가?
• RQ3 스펙트럼 간격과 속도 측도 및 척도 함수를 통해 정의된 양의 상한 $ B_a^+ $, $ B_a^- $ 간의 정확한 관계는 무엇인가?
• RQ4 지수적 모멘트의 존재성은 $ B_a^+ $ 와 $ B_a^- $ 의 유한성만으로 완전히 특징지을 수 있는가?
• RQ5 죽은 과정의 국소 스펙트럼 간격 $ \gamma_a^+ $, $ \gamma_a^- $ 는 전체 과정의 전역 스펙트럼 간격 $ \gamma $ 와 어떻게 관련되어 있는가?

주요 결과

• 지수적 모멘트 $ \mathbb{E}_x[e^{\lambda T_a}] $ 가 유한한 것은 $ B_a^+ < \infty $ 이고 $ B_a^- < \infty $ 인 것과 동치이며, 이는 척도 함수와 속도 측도에 기반한 날카운 기준을 수립한다.
• 지수적 모멘트의 상한 $ \lambda_a^+ $ 는 $ \frac{1}{4B_a^+} \leq \lambda_a^+ \leq \frac{1}{B_a^+} $ 를 만족하며, $ \lambda_a^- $ 에 대해서도 유사한 경계가 존재한다.
• 구간 $ [a,\infty[ $ 과 $ ]\infty,a] $ 에서 하디 부등식의 최적 상수 $ A_a^+ $, $ A_a^- $ 는 $ B_a^+ \leq A_a^+ \leq 4B_a^+ $ 를 만족하여 $ B_a^+ $ 가 하디 부등식의 날카운 정도를 제어함을 보여준다.
• 전역 파인카레 상수 $ c_P $ 는 $ \sup_a(A_a^+ \wedge A_a^-) \leq c_P \leq \inf_a(A_a^+ \vee A_a^-) $ 를 만족하여 지역 및 전역 함수적 부등식 간의 연결 고리를 형성한다.
• 실수축 $ \mathbb{R} $ 에서 생성자의 스펙트럼 간격 $ \gamma $ 는 $ \sup_a(\lambda_a^+ \wedge \lambda_a^-) \leq \gamma \leq \inf_a(\lambda_a^+ \vee \lambda_a^-) $ 를 만족하여 전역 간격이 최소 및 최대 국소 지수적 모멘트에 의해 제어됨을 보여준다.
• 죽은 과정의 스펙트럼 간격 $ \gamma_a^+ $, $ \gamma_a^- $ 는 각각 $ \lambda_a^+ $, $ \lambda_a^- $ 와 동일하며, 이는 지수적 적분 가능성, 스펙트럼 간격, 함수적 부등식 간의 동치관계를 완성한다.