[논문 리뷰] From the Brunn-Minkowski inequality to a class of Poincaré type inequalities

Andrea Colesanti|ArXiv.org|2007. 03. 20.

Point processes and geometric inequalities참고 문헌 10인용 수 5

한 줄 요약

이 논문은 브룬-민코프스키 부등식을 기초로 하여 $C^{2}_{+}$ 볼록체의 경계에서 파oincaré 유형 부등식을 유도한다. 민코프스키 합에 대한 체적의 $n$제곱근의 두 번째 변위를 분석하고, 가우스 사상에 의해 구에 변환함으로써, $ partial K$ 상의 평균이 0인 함수 $ psi$에 대해, $ psi^2$의 가중 $L^2$ 노름이 위잉거텐 맵의 추적에 의해 제어되며, 이는 역 위잉거텐 맵을 포함하는 딜리클레 에너지에 의해 유계로 둘러싸진다. 선형 함수의 경우 등호가 성립한다.

ABSTRACT

We present an argument which leads from the Brunn-Minkowski inequality to a Poincare' type inequality on the boundary of convex bodies with smooth boundary and positive Gauss curvature

연구 동기 및 목표

• 기하 부등식을 사용하여 $C^{2}_{+}$ 볼록체 경계에서 파oincaré 유형 부등식을 수립하는 것.
• 브룬-민코프스키 부등식과 다양체 위의 함수 부등식, 특히 볼록체 경계에서의 부등식을 연결하는 것.
• 구에서의 고전적 파oincaré 부등식을 곡률에 따라 가중된 요소를 통해 임의의 $C^{2}_{+}$ 볼록체로 일반화하는 것.
• 유도된 부등식이 날카롭고, $ partial K$ 상의 라플라스 연산자의 첫 번째 고유값에 대한 리히너도츠 추정을 포함하는 기존 결과들을 복원할 수 있음을 보여주는 것.

제안 방법

• 민코프스키 합에 대한 $V_n^{1/n}$의 볼록성과 브룬-민코프스키 부등식을 기반으로 두 번째 변위 조건을 도출한다.
• 볼록체의 지지 함수 표현을 적용하고, $h \in \mathcal{C}$ (양의 $C^2$ 지지 함수 공간)에 대해 $F(h) = V_n(K)^{1/n}$의 두 번째 변위를 계산한다.
• 가우스 사상 $ u_K$ 를 통해 부등식을 구 $ mathbb{S}^{n-1}$ 에서 경계 $ partial K$ 로 변환하며, 면적 요소 변환 $d\mathcal{H}^{n-1}(x) = \det(D\nu_K(x)) \, d\mathcal{H}^{n-1}(u)$ 를 사용한다.
• 지지 함수의 헤시안의 여인수 행렬을 사용하여 두 번째 변위를 구에서의 곡률 연산자 표현으로 변환한다.
• 부분 적분과 항등식 $\sum_{i,j} c_{ij} (h_{ij} + h\delta_{ij}) = (n-1)\det(h_{ij} + h\delta_{ij})$ 를 활용하여 두 번째 변위 표현을 단순화한다.
• 표준적인 근사 방법을 적용하여 결과를 $C^\infty$ 에서 $C^1$ 함수로 경계에 확장한다.

실험 결과

연구 질문

• RQ1 브룬-민코프스키 부등식을 사용하여 볼록체 경계에서 파oincaré 유형 부등식을 도출할 수 있는가?
• RQ2 체적의 $V_n^{1/n}$의 두 번째 변위로부터 유도된 $ partial K$ 상의 파oincaré 부등식의 정확한 형태는 무엇인가?
• RQ3 볼록체 $ partial K$ 의 곡률은 $ partial K$ 상의 라플라스 연산자의 스펙트럼 간격에 어떻게 영향을 미치는가?
• RQ4 유도된 부등식에서 등호가 성립하는 조건은 무엇인가?

주요 결과

• 논문은 임의의 $C^1$ 함수 $ psi$가 $ partial K$ 상에서 평균이 0일 경우, $\int_{\partial K} \mathrm{tr}(D\nu_K) \psi^2 \, d\mathcal{H}^{n-1} \leq \int_{\partial K} \left( (D\nu_K)^{-1} \nabla\psi, \nabla\psi \right) \, d\mathcal{H}^{n-1}$ 임을 증명한다.
• 이 부등식은 날카롭다: $ psi(x) = (\nu_K(x), u_0)$ 를 만족하는 고정된 벡터 $u_0 \in \mathbb{R}^n$ 에 대해 등호가 성립한다.
• 만약 $K$ 가 단위 구이면, 이 부등식은 구 $ mathbb{S}^{n-1}$ 상의 날카로운 파oincaré 부등식으로 줄어든다: $(n-1) \int_{\mathbb{S}^{n-1}} \psi^2 \, d\mathcal{H}^{n-1} \leq \int_{\mathbb{S}^{n-1}} |\nabla\psi|^2 \, d\mathcal{H}^{n-1}$.
• 만약 $ partial K$ 의 모든 주곡률이 $ alpha > 0$ 이상이라면, $ lambda(\partial K) \geq (n-1)\alpha^2$ 임을 얻으며, 이는 리히너도츠 추정의 특수한 경우를 복원한다.
• 결과는 민코프스키 합에 대한 $V_n^{1/n}$ 의 두 번째 변위를 통해 도출되며, 지지 함수와 가우스 사상을 사용하여 경계로 부등식을 이전한다.
• 이 방법은 브룬-민코프스키 부등식과 리만 다양체 위의 함수 부등식 사이의 직접적인 연결을 수립하며, 프레코파-라인들러 접근법을 경계 기하학으로 확장한다.