[논문 리뷰] Dimensional variance inequalities of Brascamp-Lieb type and a local approach to dimensional Prékopa's theorem

Van Hoang Nguyen|arXiv (Cornell University)|2013. 02. 19.

Point processes and geometric inequalities참고 문헌 17인용 수 4

한 줄 요약

이 논문은 허르망더 이론에 영감을 얻은 새로운 $L^2$-방법을 제안하여, 가중 측도에 대해 브라스캠프-라이브 유형의 날카로운 차원적 분산 부등식을 유도한다. 이는 브룬너-민코프스키 부등식의 함수형태(프레코파 정리)에 대한 국소적 증명을 제공한다. 주요 기여는 일반화된 카우치 측도와 볼록 함수에 대해 명시적인 상수를 가진 가중 푸앵카레 유형 부등식의 가족을 도출하는 것이다.

ABSTRACT

We give a new approach, inspired by Hörmander's $L^2$-method, to weighted variance inequalities which extend results obtained by Bobkov and Ledoux. It provides in particular a local proof of the dimensional functional forms of the Brunn-Minkowski inequalities. We also present several applications of these variance inequalities, including reverse Hölder inequalities for convex functions, weighted Brascamp-Lieb inequalities and sharp weighted Poincaré inequalities for generalized Cauchy measures.

연구 동기 및 목표

• 브룬너-민코프스키 부등식의 함수형태, 특히 프레코파 정리를 증명하기 위한 국소적 $L^2$-방법을 개발하는 것.
• 다음의 $\mathbb{R}^n$ 위에서 $\beta$-볼록 및 $\beta$-볼록 측도에 대해 날카로운 가중 분산 부등식을 확립하는 것.
• 일반화된 카우치 측도에 대해 푸앵카레 유형 부등식의 명시적 최적 상수를 도출하는 것.
• 리치 곡률을 곡률 조건에 통합하여 결과를 리만 다양체로 확장하는 것.
• 일반화된 역 헬더 및 브라스캉프-라이브 부등식을 단일 변분 프레임워크 아래 통합하는 것.

제안 방법

• 허르망더 이론에 기반한 $L^2$-방법을 도입하여, 부분 적분과 곡률 추정을 통해 분산 부등식을 도출한다.
• 분산 표현에서 측도 가중치와 함수를 분리하기 위해 변환 $g = f \varphi^{1-r}$ 을 도입한다.
• 다양체 위에서 볼록성 조건을 일반화하기 위해 곡률 연산자 $H_x\varphi = D^2\varphi + \frac{\varphi}{\beta - 2r}\mathrm{Ric}_x$ 를 정의한다.
• 주요 이차형식으로 $\langle (D^2\varphi)^{-1} \nabla g, \nabla g \rangle / \varphi$ 를 포함하는 부등식을 도출한다.
• 상수에 대해 최적화하여 잔여항이 명시된 개선된 부등식을 도출한다.
• 보흐너-리히너비치 공식을 사용하여 리치 곡률을 다각도 확장에 통합하고 헤시안 조건을 수정한다.

실험 결과

연구 질문

• RQ1 전역 볼록성 가정 없이도 국소적 $L^2$-방법을 사용하여 브룬너-민코프스키 부등식의 함수형태(프레코파 정리)를 증명할 수 있는가?
• RQ2 일반화된 카우치 측도 $d\mu_\beta = \varphi^{-\beta}dx$ 를 정의한 푸앵카레 유형 부등식의 날카로운 상수는 무엇인가?
• RQ3 비영일 리치 곡률을 가진 리만 다량체로 브라스캉프-라이브 유형 분산 부등식을 어떻게 확장할 수 있는가?
• RQ4 분산 부등식에서 가중치와 곡률을 균형 잡는 데 있어 매개수 $r$ 의 정확한 역할은 무엇인가?
• RQ5 $\varphi$, $\beta$, $r$ 에 대한 어떤 조건에서 $\nabla\varphi$ 에 대한 선형 함수일 때 분산 부등식이 등호를 만족하는가?

주요 결과

• 논문은 정리 1을 확립한다: $\varphi$ 가 볼록이고 $\beta > r + (n + \sqrt{n^2 + 4(r^2 - r)n})/2$ 를 만족할 경우, 상수 $A(n,\beta,r)$ 를 가진 분산 부등식이 성립한다.
• 정리 2는 유계 영역 위에서 $\varphi$ 가 볼록일 경우에 대해 유사한 부등식을 제시하며, 상수 $B(n,\beta,r)$ 를 가지며 조건 $\beta > -r + (-n + \sqrt{n^2 + 4(r^2 - r)n})/2$ 를 만족한다.
• 등호는 $f = \langle \nabla\varphi, z_0 \rangle \varphi^{r-1}$ 이고 어떤 $z_0 \in \mathbb{R}^n$ 에 대해 성립한다.
• 최적화된 분산 부등식 (6.2) 는 (1.2) 를 개선하여 $f$ 의 평균에 대한 의존성을 제거함으로써 더 날카로운 bound 를 제공한다.
• 완전한 $n$-차원 리만 다량체로 결과를 확장할 수 있으며, 헤시안을 수정된 바크리-에메리 텐서 $H_x\varphi = D^2\varphi + \frac{\varphi}{\beta - 2r}\mathrm{Ric}_x$ 로 대체한다.
• 다양체의 경우, 모든 $x$ 에 대해 $H_x\varphi > 0$ 를 만족할 경우 부등식이 성립하며, 이는 곡률이 있는 공간으로 볼록성 가정을 일반화한다.