[논문 리뷰] Log-Sobolev inequalities on the horizontal path space of a totally geodesic foliation

Fabrice Baudoin, Qi Feng|arXiv (Cornell University)|2015. 03. 27.

Geometric Analysis and Curvature Flows참고 문헌 10인용 수 8

한 줄 요약

이 논문은 마리아빈 미분법을 사용하여 완전 지그로비안 리만 군집의 수평 경로 공간에서 로그-소볼레프 부등식을 수립하고, 오르nst-우렌벡 연산자들의 한 가중치 가중치에 대해 초수렴성(supercontractivity)을 증명하며, 곡률과 비틀림 조건 하에서 수평 브라운 운동의 날카운 농도 및 尾 꼬리 추정치를 유도한다.

ABSTRACT

We develop a Malliavin calculus on the horizontal path space of a totally geodesic Riemannian foliation. As a first application, under suitable assumptions, we prove a log-Sobolev inequality for a natural one-parameter family of infinite-dimensional Ornstein-Uhlenbeck type operators. As a second application, we obtain concentration and tail estimates for the horizontal Brownian motion of the foliation.

연구 동기 및 목표

• 완전 지그로비안 리만 군집의 수평 경로 공간에서 마리아빈 미분법 프레임워크를 개발하기 위해.
• 이 경로 공간에서 무한차원 오르스트-우렌벡 연산자들의 일차 매개변수 가중치 가중치에 대해 로그-소볼레프 부등식을 증명하기 위해.
• 곡률과 양-밀스 유형의 비틀림 조건 하에서 수평 브라운 운동의 농도 및 꼬리 추정치를 도출하기 위해.
• 로거-소볼레프 부등식이 이러한 연산자들에 의해 생성된 열 반군의 초수렴성과 동치임을 보여주기 위해.
• 곡률과 비틀림 제약 조건 하에서 수평 브라운 운동 경로의 최대값에 대해 날카운 지수 꼬리 추정치를 수립하기 위해.

제안 방법

• 보트 접속과 수평 라플라스 연산자를 이용해 유도된 부분적 통합 공식을 사용하여 수평 경로 공간에서 마리아빈 미분법을 개발한다.
• 수평 브라운 운동의 기능에 대해 클락-오쿠네 표현 공식을 적용하여 경로 공간에서의 확률적 분석을 가능하게 한다.
• E. P. 허의 방법을 적응하여 클락-오쿠네 표현과 마리아빈 미분 도함수 추정치를 사용해 경로 공간에서의 로그-소볼레프 부등식을 증명한다.
• 로거-소볼레프 부등식을 사용하여 레드우의 방법을 통해 농도 부등식을 도출하고, 기능 부등식과 꼬리 행동을 연결한다.
• 수평 리치 곡률의 곡률 경계와 연산자 $\mathbf{J}^2$를 통한 비틀림 제어를 사용하여 지수 꼬리 추정치를 도출한다.
• 수하위 리만 기하학적 극한 $\varepsilon \to 0$을 분석하기 위해 $\varepsilon$-의존성 메트릭 $g_\varepsilon$와 관련된 거리 $d_\varepsilon$의 수렴성을 연구한다.

실험 결과

연구 질문

• RQ1 완전 지그로비안 군집의 무한차원 경로 공간에서 확률적 분석을 통해 로그-소볼레프 부등식을 수립할 수 있는가?
• RQ2 군집의 곡률과 비틀림은 수평 브라운 운동의 농도 성질에 어떻게 영향을 미치는가?
• RQ3 경로 공간에서의 로그-소볼레프 부등식과 관련된 오르스트-우렌벡 반군의 초수렴성 사이의 관계는 무엇인가?
• RQ4 곡률과 비틀림 제약 조건 하에서 수평 브라운 운동 경로의 최대값에 대해 날카운 꼬리 추정치는 무엇인가?
• RQ5 수하위 리만 기하학적 극한 $\varepsilon \to 0$에서 꼬리 추정치는 어떻게 행동하는가?

주요 결과

• 완전 지그로비안이고 양-밀스 조건을 만족하는 군집을 가정할 때, 마리아빈 미분법과 클락-오쿠네 표현을 사용하여 수평 경로 공간에서 로그-소볼레프 부등식이 수립된다.
• 로그-소볼레프 부등식은 이 경로 공간에서 일차 매개변수 가중치 가중치의 오르스트-우렌벡 유형 연산자들에 의해 생성된 열 반군의 초수렴성을 암시한다.
• 농도 부등식이 도출된다: $\mathbb{P}_x\left(\sup_{0\leq t\leq T}d_\varepsilon(X_t,x) \geq \mathbb{E}_x[\sup_{0\leq t\leq T}d_\varepsilon(X_t,x)] + r\right) \leq \exp\left(-\frac{r^2}{2Te^{(K+\kappa/\varepsilon)T}}\right)$, 곡률과 비틀림에 명시적인 의존성을 포함한다.
• $K=0$ 이고 $-\frac{1}{4}\mathrm{Tr}_{\mathcal{H}}(J_Z^2) \geq \rho_2\|Z\|^2_{\mathcal{V}}$ 조건 하에서 하부 꼬리 추정치가 도출된다: $\liminf_{r\to\infty} \frac{1}{r^2}\ln\mathbb{P}_x\left(\sup_{0\leq t\leq T}d_\varepsilon(X_t,x) \geq r\right) \geq -\frac{1}{T}\left(\frac{D}{n} + \frac{4\varepsilon^2}{T}\frac{3D}{2\rho_2n}\ln(2)\right)$, 여기서 $D = \left(1 + \frac{3\kappa}{2\rho_2}\right)n$.
• 수하위 리만 기하학적 극한($\varepsilon \to 0$)에서 상부 꼬리 추정치는 $\limsup_{r\to\infty} \frac{1}{r^2}\ln\mathbb{P}_x\left(\sup_{0\leq t\leq T}d(X_t,x) \geq r\right) \leq -\frac{1}{2T}$가 되고, 하부 추정치는 $\geq -\frac{D}{2nT}$가 되며, 여기서 $D = \left(1 + \frac{3\kappa}{2\rho_2}\right)n$.
• 열핵은 하한 추정치를 만족한다: $p(x,y,t) \geq \frac{C}{\mu(B(x,\sqrt{t}))}\exp\left(-\frac{d(y,x)^2}{t}\left(\frac{D}{n} + \frac{4\varepsilon^2}{t}\frac{3D}{2\rho_2n}\ln(2)\right)\right)$, 이는 꼬리 추정치를 뒷받침한다.