[논문 리뷰] Regular Dirichlet extensions of one-dimensional Brownian motion

Liping Li, Jiangang Ying|arXiv (Cornell University)|2016. 06. 02.

Mathematical Dynamics and Fractals참고 문헌 11인용 수 3

한 줄 요약

이 논문은 일차원 브라운 운동의 정규 딜레클 확장이 가산 개의 불변 구간과 평판 집합으로 분해됨을 보여주며, 각 구간은 특정 클래스에 속하는 척도 함수에 의해 지배됨을 규명한다. 주요 기여는 순수 점프 딜레클 형식이 진정한 정규 딜레클 부분공간을 가질 수 있음을 증명함으로써 오랫동안 미해결이었던 열린 문제를 해결한 데 있다.

ABSTRACT

The regular Dirichlet extension is the dual concept of regular Dirichlet subspace. The main purpose of this paper is to characterize all the regular Dirichlet extensions of one-dimensional Brownian motion and to explore their structures. It is shown that every regular Dirichlet extension of one-dimensional Brownian motion may essentially decomposed into at most countable disjoint invariant intervals and an $\mathcal{E}$-polar set relative to this regular Dirichlet extension. On each invariant interval the regular Dirichlet extension is characterized uniquely by a scale function in a given class. To explore the structure of regular Dirichlet extension we apply the idea introduced in [17], we formulate the trace Dirichlet forms and attain the darning process associated with the restriction to each invariant interval of the orthogonal complement of $H^1_\mathrm{e}(\mathbb{R})$ in the extended Dirichlet space of the regular Dirichlet extension. As a result, we find an answer to a long-standing problem whether a pure jump Dirichlet form has proper regular Dirichlet subspaces.

연구 동기 및 목표

• 일차원 브라운 운동의 모든 정규 딜레클 확장을 특성화하는 것. 여기서 정규 딜레클 확장은 표준 브라운 운동의 딜레클 형식을 포함하는 정규 딜레클 형식으로 정의된다.
• 순수 점프 딜레클 형식이 진정한 정규 딜레클 부분공간을 가질 수 있는지 여부에 대한 오랫동안 미해결이었던 열린 문제를 해결하는 것.
• 불변 구간에서의 트레이스 딜레클 형식과 다닝 과정을 통해 이러한 확장의 구조적 성질을 탐구하는 것.
• 특히 국소적이지 않은 설정에서 '작은 점프' 성분이 정규 딜레클 부분공간을 생성하는 데 수행하는 역할을 명확히 하는 것.
• 확장된 딜레클 공간에서의 직교 여부를 분석함으로써 정규 딜레클 확장과 부분공간 사이의 이중성 관계를 설정하는 것.

제안 방법

• 상태 공간을 최대 가산 개의 서로소 불변 구간과 확장에 대한 $\mathcal{E}$-평판 집합으로 분해한다.
• 확장된 딜레클 공간을 각 불변 구간에 제한할 때 트레이스 딜레클 형식 이론을 적용하여 분석한다.
• 확장의 딜레클 공간에서 $H^1_{\mathrm{e}}(\mathbb{R})$의 직교 여부에 대한 다닝 과정 구축을 적용한다.
• 각 불변 구간에서의 확장을 척도 함수 $\mathtt{s}$를 통해 유일하게 특성화하며, 이는 $\mathtt{s}' = 0$ 또는 $1$ almost everywhere를 만족하고, 이에 따라 관련 확산이 시간이 변형된 브라운 운동이 됨을 보장한다.
• 베르링-디니 분해와 레비 시스템 분석을 활용하여 점프 성분을 비교하고 확장 간의 구조적 차이를 규명한다.
• 레비 코어스폰던스를 사용하여 두 대칭 순수 점프 헌트 과정의 레비 시스템이 동치임을 보여주며, 이는 서로 다른 딜레클 형식을 가짐에도 불구하고 성립한다.

실험 결과

연구 질문

• RQ1 순수 점프 딜레클 형식이 진정한 정규 딜레클 부분공간을 가질 수 있는가?
• RQ2 일차원 브라운 운동의 모든 정규 딜레클 확장을 어떻게 완전히 특성화할 수 있는가?
• RQ3 '작은 점프' 성분이 정규 딜레클 확장의 구조에서 수행하는 역할은 무엇인가?
• RQ4 다닝 과정과 트레이스 딜레클 형식은 불변 구간에서의 확장의 구조를 어떻게 설명하는가?
• RQ5 불변성과 도달 확률 측면에서 딜레클 형식과 관련된 헌트 과정 간의 관계는 어떠한가?

주요 결과

• 일차원 브라운 운동의 모든 정규 딜레클 확장은 최대 가산 개의 서로소 불변 구간과 $\mathcal{E}$-평판 집합으로 분해된다.
• 각 불변 구간에서 확장은 유일하게 척도 함수 $\mathtt{s} \in \mathbf{S}(\mathbb{R})$에 의해 특성화되며, 이는 엄격하게 증가하고 절대 연속적이며 $\mathtt{s}' = 0$ 또는 $1$ almost everywhere를 만족한다.
• 각 불변 구간에서의 트레이스 딜레클 형식은 해당 구간을 한 점으로 압축함으로써 얻어지는 다닝 과정에 대응하며, 이는 확장의 국소적 구조를 반영한다.
• 순수 점프 딜레클 형식은 진정한 정규 딜레클 부분공간을 가질 수 있으며, 이는 3.20번 예제에서 칸토어 집합 $K$ 위에서의 예시로 입증되었다.
• 확장된 형식 $\check{\mathcal{E}}$의 관련 헌트 과정 $\check{X}$는 비기하적이다; $a_n > -\infty$, $b_n < \infty$ 이며 $K \setminus \{a_n, b_n\}$ 가 $\check{\mathcal{E}}$-평판인 구간의 끝점 $a_n$과 $b_n$ 사이로만 점프한다.
• 칸토어 집합 $K$ 위에서의 브라운 운동의 트레이스 $\check{B}$ 는 기하적이다; $K$의 임의의 점을 양의 확률로 도달한다. 그러나 그 에너지 형식 $\frac{1}{2}\check{\mathbf{D}}$ 는 이 행동을 직접 반영하지 않는다.