[논문 리뷰] Weak Convergence to Brownian Motion on Sub-Riemannian Manifolds

Maria Gordina, Thomas Laetsch|arXiv (Cornell University)|2014. 03. 02.

Geometric Analysis and Curvature Flows참고 문헌 15인용 수 6

한 줄 요약

이 논문은 해밀턴 흐름 沿한 두阶 도함수의 평균을 통해 구성된 부분 라플라시안을 사용하여, 부분 리만다만드에서 기하학적으로 자연스러운 랜덤 워크가 수평 브라운 운동으로 약수렴함을 확립한다. 주요 기여는 임의의 체적 측도에 의존하지 않고 한계 과정을 생성하는 표준 부분 라플라시안을 제공하는 것으로, 헤이젠베르크 군에서 호르멘더의 제곱합 연산자로 검증된다.

ABSTRACT

This paper considers a classical question of approximation of Brownian motion by a random walk in the setting of a sub-Riemannian manifold $M$. To construct such a random walk we first address several issues related to the degeneracy of such a manifold. In particular, we define a family of sub-Laplacian operators naturally connected to the geometry of the underlining manifold. In the case when $M$ is a Riemannian (non-degenerate) manifold, we recover the Laplace-Beltrami operator. We then construct the corresponding random walk, and under standard assumptions on the sub-Laplacian and $M$ we show that this random walk weakly converges to a process, horizontal Brownian motion, whose infinitesimal generator is the sub-Laplacian. An example of the Heisenberg group equipped with a standard sub-Riemannian metric is considered in detail, in which case the sub-Laplacian we introduced is shown to be the sum of squares (Hörmander's) operator.

연구 동기 및 목표

• 부분 리만다만드에서 기하학적으로 자연스러운 랜덤 워크를 개발하여, 이를 약수렴하는 확산 과정을 확보한다.
• 해밀턴 흐름 평균을 이용하여 임의의 체적 측도에 의존하지 않는 표준 부분 라플라시안 연산자를 정의한다.
• 부분 리만기하학에서 접공간과 쌍대공간 간의 이중성 부족 문제를 해결하기 위해, 랜덤 워크를 쌍대공간에서 구성한다.
• 수렴 과정의 생성자를 부분 라플라시안으로 확립하여, 특히 헤이젠베르크 군 설정에서 수평 브라운 운동으로 수렴함을 보인다.
• 포프 측도나 하우스도르프 측도와 같은 사전 측도 가정 없이 부분 리만다만드 확산의 확률적 기초를 제공한다.

제안 방법

• 부분 리만다만드 기하학에서 접공간과 쌍대공간 간의 이중성 부족 문제를 해결하기 위해, 쌍대공간에서 조각별 해밀턴 흐름 랜덤 워크를 구성한다.
• 해밀턴 벡터장에 沿한 방향 도함수의 두계 도함수 평균으로 부분 라플라시안을 정의한다.
• 잘 정의된 랜덤 워크를 확보하기 위해 쌍대공간에 호환 가능한 리만다만드 계량을 도입하여 방향 단위 구를 정의한다.
• 해밀턴 흐름 평균을 통한 부분 라플라시안 정의를 활용하여, 랜덤 워크의 리졸베언트 수렴을 통해 약수렴을 확립한다.
• 부분 라플라시안이 호환 가능한 계량의 선택에 영향을 받지 않고 수직 배럴에만 의존하므로 기하학적 불변성을 보장한다.
• 방향 단위 구 위에서의 도달 시간과 조건부 기대값을 포함한 복귀 유형의 추론을 통해 수렴을 증명한다.

실험 결과

연구 질문

• RQ1 부분 리만다만드에서 랜덤 워크를 구성할 수 있을까? 이는 약수렴하여 확산 과정으로 수렴하는가?
• RQ2 부분 리만다만드 기하학에서 임의의 체적 측도 선택에 의존하지 않는 표준 부분 라플라시안이 존재하는가?
• RQ3 부분 리만다만드 기하학에서 접공간과 쌍대공간 간의 이중성 부족 문제는 어떻게 stochastic 과정의 구성에서 해결할 수 있는가?
• RQ4 부분 리만다만드 설정에서 한계 과정의 무한소 생성자는 무엇이며, 호르멘더의 제곱합 연산자와의 관계는 어떠한가?
• RQ5 해밀턴 흐름 평균을 통한 부분 라플라시안 정의는 헤이젠베르크 군에서 올바른 수평 브라운 운동을 유도하는가?

주요 결과

• 구성된 랜덤 워크는 해밀턴 흐름을 따라 두계 도함수의 평균으로 정의된 부분 라플라시안을 생성자로 갖는 과정으로 약수렴한다.
• 부분 라플라시안은 호환 가능한 리만다만드 계량의 선택에 영향을 받지 않으며, 수평 분포와 그 내적에만 의존한다.
• 표준 부분 리만다만드 계량을 갖는 헤이젠베르크 군에서는 부분 라플라시안이 호르멘더의 제곱합 연산자와 일치한다.
• 수렴은 리졸베언트 수렴을 통해 확립되며, 랜덤 워크의 리졸베언트가 부분 라플라시안 생성자의 리졸베언트로 수렴한다.
• 논문의 방법은 포프 측도나 기타 표준 측도에 의존하지 않아, 부분 리만다만드 기하학에 대해 본질적으로 내재된 구성이다.
• 수평 분포의 단위 구에서의 평균은 노름 제곱에 비례하는 이차형식을 유도하며, 비례 계수는 분포의 랭크 m에 대해 1/m이다.