[논문 리뷰] Derivative for the intersection local time of fractional Brownian Motions

Litan Yan|arXiv (Cornell University)|2014. 03. 17.

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

한 줄 요약

이 논문은 지수 $ H_1, H_2 \in (0,1) $를 가진 두 개의 독립적인 분수 브라운 운동(fBm)에 대해 교차 국소 시간의 미분 가능성을 확립한다. 공간에서의 도함수가 존재하기 위한 조건은 $ \frac{1}{H_1} + \frac{1}{H_2} > 3 $임을 증명한다. 이 논문은 하이브리드 이차 공변동을 도입하고, 이 공변동이 도함수와 관련된 부울로-요르 유형의 항등식을 유도한다. 이는 $ H_1 < \frac{1}{2} $일 때는 구성된 바나흐 공간의 함수에 대해, $ H_1 \geq \frac{1}{2} $일 때는 순서 $ \nu > \frac{2H_1 - 1}{H_1} $의 허더 연속 함수에 대해 유효하다. 이 결과는 마코프가 아니며 장기적 의존성을 지닌 자기유사 과정으로의 이토 미적분의 일반화를 제공한다.

ABSTRACT

Let $B^{H_1}$ and $ ilde{B}^{H_2}$ be two independent fractional Brownian motions on ${\mathbb R}$ with respective indices $H_i\in (0,1)$ and $H_1\leq H_2$. In this paper, we consider their intersection local time $\ell_t(a)$. We show that $\ell_t(a)$ is differentiable in the spatial variable if $\frac1{H_1}+\frac1{H_2}&gt;3$, and we introduce the so-called {\it hybrid quadratic covariation} $[f(B^{H_1}- ilde{B}^{H_2}),B^{H_1}]^{(HC)}$. When $H_1\frac{2H_1-1}{H_1}$.

연구 동기 및 목표

• 두 개의 독립적인 분수 브라운 운동 $ B^{H_1} $ 및 $ \tilde{B}^{H_2} $에 대해 지수 $ H_1 \leq H_2 $를 가진 교차 국소 시간 $ \ell_t(a) $ 의 공간 변수 $ a $ 에 대한 미분 가능성을 조사하는 것.
• 비-세미마르팅게일 과정에 대한 이토 유형 공변동의 일반화로 간주되는 하이브리드 이차 공변동 $[f(B^{H_1} - \tilde{B}^{H_2}), B^{H_1}]^{(HC)}_t$ 를 정의하고 연구하는 것.
• 하이브리드 이차 공변동과 교차 국소 시간의 도함수를 연결하는 부울로-요르 유형의 항등식을 수립하는 것, 즉 $[f(B^{H_1} - \tilde{B}^{H_2}), B^{H_1}]^{(HC)}_t = -\int_{\mathbb{R}} f(a) \ell_t'(a) da $.
• 하이브리드 이차 공변동이 $ L^2(\Omega) $ 에서 존재하도록 보장하는 측도 가능 함수의 바나흐 공간 $ \mathscr{H} $ 를 구성하는 것, $ H_1 < \frac{1}{2} $ 인 경우.
• 하나의 함수에 대해 $ H_1 \geq \frac{1}{2} $ 인 경우, 순서 $ \nu > \frac{2H_1 - 1}{H_1} $ 의 허더 연속 함수에 대해 항등식을 확장하는 것.

제안 방법

• 논문은 슈바르츠 분포의 의미에서 딜라크 델타 도함수를 사용하여, $ \ell_t'(a) = -\int_0^t \int_0^s \delta'(B_r^{H_1} - \tilde{B}_s^{H_2} - a) dr ds $ 로 교차 국소 시간의 도함수를 정의한다.
• 하이브리드 이차 공변동은 극한 $ \lim_{\varepsilon \to 0} J_\varepsilon(H_1, H_2, t, f) $ 을 통해 도입되며, $ J_\varepsilon $ 는 $ B^{H_1} $ 의 증분과 이동된 위치에서 평가된 $ f $ 의 차분을 포함한다.
• $ H_1 < \frac{1}{2} $ 인 경우, 메리아빈 미분법과 $ J_\varepsilon $ 의 분해에 대한 $ L^2 $-추정을 사용하여 바나흐 공간 $ \mathscr{H} $ 를 구성함으로써 $ L^2(\Omega) $ 에서의 수렴을 보장한다.
• $ H_1 \geq \frac{1}{2} $ 인 경우, 푸리에 분석과 오scillatory 적분의 $ L^p $-노름 추정을 기반으로 한 새로운 접근법을 사용하며, $ e^{-\kappa (\sum \xi_k'')^2 s^{2H_2}} $ 를 포함한 표현에서 철저한 치환과 측도 제어를 수행한다.
• 증명은 반복 적분과 $ \Lambda_1 $ 및 $ \Lambda_2 $ 에 대한 추정을 통해 다스케일 분석을 사용하며, 이는 fBm의 자기유사성과 관련된 지수 감쇠 항의 곱으로 구성된다.
• 공액 지수 $ p, q $ 를 사용한 허더 부등식을 적용하고, $ x_j = \sum_{k=1}^j \xi_k' $ 의 치환을 통해 $ |\xi_j| $ 의 성장률을 $ |x_j| $ 로 제어함으로써 적분 가능성 확보.

실험 결과

연구 질문

• RQ1 지수 $ H_1 $ 과 $ H_2 $ 가 어떤 조건을 만족할 때 교차 국소 시간 $ \ell_t(a) $ 가 공간 변수 $ a $ 에 대해 미분 가능할 수 있는가?
• RQ2 $ f(B^{H_1} - \tilde{B}^{H_2}) $ 와 $ B^{H_1} $ 사이에 하이브리드 이차 공변동을 정의할 수 있으며, $ L^2(\Omega) $ 에서 수렴하기 위한 조건은 무엇인가?
• RQ3 하이브리드 이차 공변동에 대해 부울로-요르 유형의 항등식이 성립하는가? 이는 $ f(a) \ell_t'(a) $ 의 적분과 관련이 있는가?
• RQ4 $ H_1 < \frac{1}{2} $ 인 경우, 어떤 함수 클래스 $ f $ 가 하이브리드 이차 공변동이 $ L^2(\Omega) $ 에서 존재하도록 보장하는가?
• RQ5 $ H_1 \geq \frac{1}{2} $ 인 경우, 어떤 정규성 조건(예: 허더 연속성)이 부울로-요르 항등식의 타당성을 보장하는가?

주요 결과

• 공간 변수 $ a $ 에 대해 교차 국소 시간 $ \ell_t'(a) $ 의 도함수가 존재하기 위한 필요충분조건은 $ \frac{1}{H_1} + \frac{1}{H_2} > 3 $ 이며, 이는 주요 조건이다.
• $ H_1 < \frac{1}{2} $ 인 경우, 측도 가능 함수의 바나흐 공간 $ \mathscr{H} $ 가 존재하여 모든 $ f \in \mathscr{H} $ 에 대해 하이브리드 이차 공변동 $[f(B^{H_1} - \tilde{B}^{H_2}), B^{H_1}]^{(HC)}_t$ 가 $ L^2(\Omega) $ 에서 존재한다.
• $ H_1 < \frac{1}{2} $ 인 경우, 모든 $ f \in \mathscr{H} $ 에 대해 부울로-요르 유형의 항등식 $[f(B^{H_1} - \tilde{B}^{H_2}), B^{H_1}]^{(HC)}_t = -\int_{\mathbb{R}} f(a) \ell_t'(a) da $ 가 성립한다.
• $ H_1 \geq \frac{1}{2} $ 인 경우, 순서 $ \nu > \frac{2H_1 - 1}{H_1} $ 의 허더 연속 함수 $ f $ 에 대해 항등식이 성립하며, 이는 더 넓은 함수 클래스로 결과를 확장한다.
• 증명은 $ e^{-\kappa (\sum \xi_k'')^2 s^{2H_2}} $ 를 포함하는 오scillatory 적분의 $ L^p $-추정에 기반하며, $ (1 + (t'-t)|x|^{1/H})^{-1} $ 의 감쇠율로 제어되어 적분 가능성 보장된다.
• 최종 추정은 $ \widetilde{\Lambda}(t,t',n,\gamma) \leq C(t'-t)^{n\beta} $ 를 만족하며, $ \beta = \frac{1}{H_1}(\alpha(H_1 + H_2) - H_2) $ 이고, $ \frac{H_2}{H_1 + H_2} < \alpha < 1 $ 인 경우에 유효하여 필요한 허더 연속성 확인.