[논문 리뷰] Chernoff's Theorem and Discrete Time Approximations of Brownian Motion on Manifolds

O. G. Smolyanov, H. von Weizsaecker외 1명|ArXiv.org|2004. 09. 09.

advanced mathematical theories참고 문헌 9인용 수 4

한 줄 요약

이 논문은 리만 부분다양체 $L$에 매bed된 연속시간 브라운 운동의 이산시간 근사에 대해 초콜릿 정리와 경로 공간 조건화를 이용하여 수렴 결과를 확립한다. $M$-브라운 운동의 법칙 중 $L$에 이산 시간에 걸쳐 머무르도록 조건화한 것이 $L$-값을 갖는 경로 위의 측도로 약하게 수렴하며, 이 측도의 밀도는 $L$의 스칼라 곡률, 평균 곡률, 단면 곡률를 명시적으로 포함한다.

ABSTRACT

Let (S(t)) be a one-parameter family S = (S(t)) of positive integral operators on a locally compact space L. For a possibly non-uniform partition of [0,1] define a measure on the path space C([0,1],L) by using a) S(dt) for the transition between cosecutive partition times of distance dt, and b) a suitable continuous interpolation scheme (e.g. Brownian bridges or geodesics). If necessary normalize to get a probability measure. We prove a version of Chernoff's theorem of semigroup theory and tighness results which together yield convergence in law of such measures as the partition gets finer. In particular let L be a closed smooth submanifold of a Riemannian manifold M. We prove convergence of Brownian motion on M, conditioned to visit L at all partition times, to a process on L whose law has a Radon-Nikodym density with repect to Brownian motion on L which contains scalar, mean and sectional curvature terms. Various approximation schemes for Brownian motion are also given. These results substantially extend earlier work by the authors and by Andersson and Driver.

연구 동기 및 목표

• 이차형식이 아닌 분할과 다양체 위의 양의 적분 연산자에 대해 초콜릿 정리를 확장한다.
• 조건화와 보간을 통한 이산시간 근사의 브라운 운동 수렴성에 대해 약한 수렴을 확립한다.
• 제한 측도의 라돈-니코디움 밀도가 부분다양체 위의 위너 측도에 대해 명시적인 표현을 유도한다.
• 열핵의 점근적 분석을 통해 기하학적 불변량인 스칼라 곡률, 평균 곡률, 단면 곡률와 제한 측도의 관계를 연결한다.
• 유한차원 커널을 사용하여 리만 다양체 위의 표면 측도와 조건부 과정을 근사하는 엄밀한 프레임워크를 제공한다.

제안 방법

• 국소적으로 컴acts한 공간 위의 비균일 분할과 양의 적분 연산자에 대해 일반화된 초콜릿 정리를 사용한다.
• 연산자 $S(t)$의 반복 적용을 통한 경로 공간 위의 유한 측도를 구성한 후, 지오데식 또는 브라운 운동 브릿지로 연속적 보간을 수행한다.
• $C_L[0,1]$ 또는 $D_L[0,1]$ 위에서의 법의 수렴을 위한 타이트니스 결과를 적용하며, 이는 대규모 이황 추정과 졸리그 이론에 기반한다.
• 위크의 공식과 가우시안 적분의 점근적 분석을 사용하여 의사-가우시안 커널의 단시간 행동을 계산한다.
• 국소 좌표계에서 정규화 상수의 테일러 전개를 통해 곡률에 의존하는 정규화 계수를 도출한다.
• 열핵을 $M$에서 $L$로 제한하여 커널 $q(t,x,y)$로 사용하고, 한계 표면 측도 절차를 통해 조건부 법을 계산한다.

실험 결과

연구 질문

• RQ1 다양체 위의 양의 적분 연산자 가족이 이산 시간 반복과 경로 보간을 통해 펠러 과정을 생성하는 조건은 무엇인가?
• RQ2 더 큰 다양체 $M$ 위의 브라운 운동의 법칙 중 이산 시간에 $L$에 머물도록 조건화한 것이 분할이 더 미세해질수록 어떻게 수렴하는가?
• RQ3 제한 측도가 $L$-값을 갖는 경로 위에 대해 표준 브라운 운동에 대한 라돈-니코디움 밀도는 무엇인가?
• RQ4 열핵 제한의 경우, $L$의 스칼라 곡률, 평균 곡률, 단면 곡률가 제한 측도의 밀도에 어떻게 들어가는가?
• RQ5 초기 커널의 정규화 없이도 조건부 측도의 수렴을 확보할 수 있으며, 전역 정규화는 한계에 어떤 영향을 미치는가?

주요 결과

• 지오데식 보간을 통해 양의 적분 연산자 $S(t)$를 반복 적용하고 구성한 부분다양체 $L$ 위의 이산시간 브라운 운동 근사는 분할의 메쉬가 0으로 갈수록 $C_L[0,1]$ 위의 측도로 법의 수렴을 보인다.
• 제한 측도는 $L$-값을 갖는 브라운 운동의 법과 동치이며, $D(\omega(s))$를 포함하는 함수의 지수적 적분 $\exp\left(\int_0^1 D(\omega(s))\,ds\right)$로 주어진다. 여기서 $D$는 $L$의 스칼라 곡률, 평균 곡률, 단면 곡률를 조합한 함수이다.
• 커널 $q(t,x,y)$가 $M$의 열핵을 $L$로 제한한 경우, 분할 시간에 $L$에 고정된 $M$-브라운 운동의 조건부 법은 곡률에 의존하는 밀도를 갖는 측도로 약하게 수렴한다.
• 전역 정규화(구성 후 측도 정규화)와 국소 정규화(각 커널 별로 정규화)의 두 경우 모두 수렴이 성립하며, 후자의 경우 동일한 제한 법을 얻는다.
• 이 방법은 곡률 불변량을 통해 밀도를 명시적으로 계산할 수 있으며, 주변 다양체에서 브라운 운동에 의해 유도된 표면 측도에 관한 결과의 새로운 증명을 제공한다.
• 대규모 이황 추정과 정규화의 연속성에 기반하여 근사 측도의 타이트니스를 확립함으로써 경로 공간 위의 약한 수렴을 보장한다.