[논문 리뷰] Wiener Measures on Riemannian Manifolds and the Feynman-Kac Formula

B Christian, Pfaeffle, Frank|arXiv (Cornell University)|2011. 08. 25.

advanced mathematical theories참고 문헌 23인용 수 13

한 줄 요약

이 논문은 프레임 번들의 또는 임bedding을 피하여 일반 리만 다양체 위에서 위너 측도를 구성하고 파인만-하스 공식을 증명한다. 열핵 전이 함수를 사용하며, 확률적 완비성, 콜모고로프-천초프 기준을 통한 경로 연속성 증명, 정상 리만 코팅에서의 경로 올리기와 투영이 위너 측도를 유지한다는 점을 보이며, 초구형과 유클리드 공간에서의 점차적 경로 행동에 대한 주요 결과와 $L^\infty$ 잠재력에 대한 파인만-하스 공식을 제시한다.

ABSTRACT

This is an introduction to Wiener measure and the Feynman-Kac formula on general Riemannian manifolds for Riemannian geometers with little or no background in stochastics. We explain the construction of Wiener measure based on the heat kernel in full detail and we prove the Feynman-Kac formula for Schrödinger operators with $L^\infty$-potentials. We also consider normal Riemannian coverings and show that projecting and lifting of paths are inverse operations which respect the Wiener measure.

연구 동기 및 목표

• 리만 기하학자들이 최소한의 확률론적 배경만으로도 일반 리만 다양체 위에서의 위너 측도와 파인만-하스 공식을 자가 포함적이고 접근 가능한 방식으로 소개하는 것.
• 임베딩이나 프레임 번들을 사용하지 않고, 열핵을 전이 함수로 사용하여 일반 리만 다양체 위에서 위너 측도를 구성하는 것.
• 측도 이론적 접근을 통해 $L^\infty$-정규화된 잠재력을 가진 슈뢰딩거 연산자에 대한 파인만-하스 공식을 증명하는 것.
• 정상 리만 코팅에서 경로의 올리기와 투영이 서로 역연산이 되며, 위너 측도를 유지한다는 것을 보이는 것.
• 초구형 공간과 유클리드 공간에서 장시간 경로 행동을 비교하여, 초구형 공간에서 거리 기대값이 지수적 체적 증가로 인해 더 빠르게 증가함을 보이는 것.

제안 방법

• 측도 공간 위에서 열핵을 전이 함수로 사용하고, 콜모고로프의 구성법을 적용하여 부분확률과정을 정의한다.
• 콜모고로프-천초프 기준을 적용하여 표본 경로의 거의 확실한 호일더 연속성을 확보하며, 이는 열핵으로부터 유도된 균일 추정에 의존한다.
• 먼저 닫힌 다양체 위에서 위너 측도를 구성하고, 이중화 기법을 통해 경계가 있는 컴팩트 다양체로 확장한 후, 체계적 근사와 극한 절차를 통해 일반 다양체로 확장한다.
• 무한 시간 위너 측도를 $C_{x_0}([0,\infty); S)$ 위에 정의하기 위해 확률적 완비성을 필수 조건으로 설정한다.
• 열핵의 성질을 이용해 고정된 끝점이 있는 경로 위의 조건부 위너 측도를 정의하고, 극한에서의 일致성을 증명한다.
• 자기장과 곡률 한계를 사용한 기하학적 비교를 통해 부분다양체와 전체 다양체의 거리 사이를 비교하고, 거리 함수의 점근적 동치성을 증명한다.

실험 결과

연구 질문

• RQ1 임베딩이나 프레임 번들을 사용하지 않고 일반 리만 다양체 위에서 위너 측도를 엄밀히 구성할 수 있는 방법은 무엇인가?
• RQ2 어떤 조건이 열핵이 연속적인 확률과정을 공간의 연속 경로 위에 유도하는가?
• RQ3 초구형 공간과 유클리드 공간에서, 출발점으로부터의 기대 거리가 장시간에 걸쳐 어떻게 점차적으로 행동하는가?
• RQ4 정상 리만 코팅에서 경로의 올리기와 투영이 위너 측도를 어떻게 유지하는가?
• RQ5 열핵 기반의 측도 이론적 접근을 통해 $L^\infty$ 잠재력을 가진 슈뢰딩거 연산자에 대한 파인만-하스 공식을 증명할 수 있는가?

주요 결과

• $C_{x_0}([0,T]; S)$ 위의 위너 측도는 임의의 리만 다양체 $S$에 대해 존재하며, 컴팩트 부분집합의 체계적 근사와 극한 절차를 통해 열핵 전이 함수로 구성된다.
• 콜모고로프-천초프 기준에 의해 구성된 과정은 거의 확실하게 순서 $\alpha < 1/2$의 호일더 연속 경로를 가진다.
• 작은 시간 $t \searrow 0$에 대해, 유클리드 공간과 초구형 공간 모두에서 브라운 운동의 기대 거리는 동일한 점근적 행동을 보인다.
• 큰 시간 $t \to \infty$에 대해, 초구형 공간에서의 기대 거리는 유클리드 공간보다 지수적 체적 증가로 인해 훨씬 더 빠르게 증가한다.
• 정상 리만 코팅에서 경로의 올리기와 투영은 서로 역연산이며, 위너 측도를 유지한다. 이는 기저 공간과 코팅 공간 간의 측도 이론적 일致성을 확립한다.
• $L^\infty$ 잠재력을 가진 슈뢰딩거 연산자에 대해 파인만-하스 공식이 성립하며, 이는 열핵 표현과 근사화 추론을 통해 증명된다.