[논문 리뷰] Fukushima's decomposition for diffusions associated with semi-Dirichlet forms

Li Ma, Zhi-Ming Ma외 1명|arXiv (Cornell University)|2011. 04. 15.

Advanced Mathematical Modeling in Engineering참고 문헌 12인용 수 3

한 줄 요약

이 논문은 이중형이 아닌 비대칭, 비세미마팅게일 설정에서 반도체형 형태의 분포 과정에 대한福島의 분해를 수립한다. 국소화 방법과 국소 마팅게일 추가 함수기능에 대한 변환 공식을 도입함으로써, 대칭 딜레클형 형태에서의 핵심 도구들을 반디릴레클형 형태로 일반화함으로써, 쌍대 과정이 존재하지 않는 광범위한 과정 클래스에서의 확률적 분석이 가능해졌다.

ABSTRACT

Diffusion processes associated with semi-Dirichlet forms are studied in the paper. The main results are Fukushima's decomposition for the diffusions and a transformation formula for the corresponding martingale part of the decomposition. The results are applied to some concrete examples.

연구 동기 및 목표

• quasi-regular 반디릴레클형 형태와 관련된 마코프 과정에 대해 쌍대 과정이 존재하지 않는 조건에서福島의 분해를 확장하는 것.
• 쌍대 과정이 없는 경우 추가 함수기능의 에너지를 정의하는 데 도전하는 문제를 국소 추가 함수기능을 위한 국소화 방법을 도입함으로써 해결하는 것.
• 대칭형 반디릴레클형 형태에서의 LeJan 공식과 유사하지만 쌍대 과정이 없는 조건에 맞게 조정된 반디릴레클형 설정에서 국소 마팅게일 추가 함수기능(MAFs)에 대한 변환 공식을 개발하는 것.
• 반디릴레클형 프레임워크 내에서 양의 연속 추가 함수기능(PCAFs)과 매끄러운 측도에 대한 엄밀한 잠재이론적 기초를 제공하는 것.
• 고전적 이토 및 두브-마이어 분해가 실패하는 구체적 예시들에 결과들을 적용하여, 비세미마팅게일 설정에서의 방법의 유용성을 입증하는 것.

제안 방법

• 국소 추가 함수기능(AF)에 기반한 국소화 방법을 도입하여, 형식의 정의역 내에서 국소적으로 에너지와 함수의 분해를 정의하는 것.
• 리뷰즈 대응을 사용하여 PCAFs와 매끄러운 측도를 연결하고, 반디릴레클형 설정에서의 대응 조건에 대한 등가 조건을 수립하는 것.
• γ-공과잉 함수의 개념을 도입하여 추가 함수기능의 에너지를 정의하고 분석하며, 특히 t↓0의 극한에서 분석하는 것.
• 피츠심몬스와 레잔의 기법을 적응하여 국소 MAFs에 대한 변환 공식을 유도함으로써 쌍대 과정에 의존하지 않는 것.
• 해소브와 공해소브 연산자를 사용하여 반세마이그레이션의 작용을 특성화하고, 추가 함수기능을 포함하는 기대값을 제어하는 것.
• 내재된 노름과 에너지 노름을 사용하여 핵심 추정치를 증명하며, 특히 $ \mathcal{E}_1 $-노름과 쌍대 잠재 연산자 $ \hat{U}_1 $를 이용하여 $ E_\nu(A_t) $를 유계화하는 것.

실험 결과

연구 질문

• RQ1 쌍대 과정이 존재하지 않는 반디릴레클형 형태와 관련된 확산 과정에 대해福島의 분해를 확장할 수 있는가?
• RQ2 쌍대 과정이 없는 경우 추가 함수기능의 에너지를 어떻게 의미적으로 정의하고 계산할 수 있는가?
• RQ3 반디릴레클형 설정에서 국소 마팅게일 추가 함수기능에 대해 LeJan의 공식과 유사한 변환 공식이 존재하는가?
• RQ4 반디릴레클형 프레임워크에서 PCAFs에 대한 리뷰즈 대응과 다이닉형 항등식 간의 등가 조건은 무엇인가?
• RQ5 제안된 분해와 변환 공식은 고전적 세미마팅게일 도구가 실패하는 구체적 예시들에 적용 가능한가?

주요 결과

• 임의의 $ u \in D(\mathcal{E})_{\text{loc}} $에 대해福島 유형의 분해가 성립하며, $ \tilde{u}(X_t) - \tilde{u}(X_0) = M^{[u]}_t + N^{[u]}_t $로 표현되며, 여기서 $ M^{[u]} $는 유한 에너지를 가진 국소 MAF이고 $ N^{[u]} $는 에너지가 0인 연속 추가 함수기능이다.
• 쌍대 과정이 없더라도 국소화 방법을 통해 $ e(A) = \lim_{t\to 0} \frac{1}{2t} E_m[A_t^2] $의 극한을 통해 추가 함수기능의 에너지가 잘 정의된다.
• 정리 3.10에서 국소 MAFs에 대한 변환 공식이 확립되었으며, 함수 $ g $ 에 대한 적절한 조건 하에서 LeJan의 공식을 반디릴레클형 형태로 일반화하였다.
• 정리 5.8에서 PCAFs와 매끄러운 측도 간의 리뷰즈 대응이 완전히 특성화되었으며, 해소브의 극한과 다이닉형 항등식을 포함한 일곱 가지 조건의 등가성을 보였다.
• $ \nu \in \hat{S}^{*}_{00} $ 이면, $ E_\nu(A_t) \leq C_\nu (1+t) \int_E \widetilde{\hat{h}} \, d\mu_A $ 를 만족하는 상수 $ C_\nu $ 가 존재함을 증명하여 기대값에 대한 균일한 유계를 확보하였다.
• 부록의 제5절에서, 특히 정리 5.3과 보조정리 5.9를 통해 반디릴레클형 설정에서 PCAFs와 매끄러운 측도에 대한 기초 도구를 제공하였으며, 문헌에서의 빈자리들을 메웠다.