[논문 리뷰] Functional inequalities derived from the Brunn-Minkowski inequalities for quermassintegrals

Andrea Colesanti, Eugenia Saor|ArXiv.org|2008. 04. 24.

Point processes and geometric inequalities참고 문헌 7인용 수 13

한 줄 요약

이 논문은 쿠르마스인테그랄에 대한 브룬너-민코프스키 부등식을 활용하여 단위 구면과 $\mathbb{R}^n$ 내의 매끄러운 볼록체의 경계에서 새로운 파oin카레 유형 부등식을 유도한다. 이는 고전적 파oin카레 부등식을 일반화하고 고차원에서의 비르팅거 부등식을 확장하며, 영균값 조건을 면적 측도에 기반한 기하 측도 조건으로 대체함으로써 최적의 가중 $L^2$-노름 부등식을 수립한다.

ABSTRACT

We use Brunn-Minkowski inequalities for quermassintegrals to deduce a family of inequalities of Poincaré type on the unit sphere and on the boundary of smooth convex bodies in the $n$-dimensional Euclidean space.

연구 동기 및 목표

• 쿠르마스인테그랄에서 유도된 기하 측도 조건으로 고전적 영균값 조건을 대체함으로써 파oin카레 및 비르팅거 부등식을 확장하는 것.
• 단위 구면 $\mathbb{S}^{n-1}$ 과 $\mathbb{R}^n$ 내의 $C^2_+$ 볼록체 경계에서 최적의 파oin카레 유형 기능 부등식을 수립하는 것.
• 레베그 측도를 볼록체 $K$의 첫 번째 면적 측도 $A_1(K,\cdot)$로 대체함으로써 고전적 파oin카레 부등식을 일반화하는 것.
• 측도가 볼록체의 첫 번째 면적 측도임을 보장하는 충분조건을 제공하여, 유도된 부등식을 더 넓은 기하적 맥락에 적용할 수 있도록 하는 것.
• 쿠르마스인테그랄 이론과 윈거텐 맵의 기본 대칭 함수를 통한 브룬너-민코프스키 부등식과 기능 부등식의 이전 연구 결과를 통합하고 일반화하는 것.

제안 방법

• 쿠르마스인테그랄 $W_i(K)$ 에 대한 브룬너-민코프스키 부등식을 활용하며, 이는 $W_i^{1/(n-i)}$ 가 볼록체의 집합에서 볼록임을 나타낸다.
• 지지 함수와 두 번째 공변도함수를 통한 쿠르마스인테그랄의 적분 표현을 활용하며, 구체적으로 $W_i(K) = c(n,i) \int_{\mathbb{S}^{n-1}} h_K S_{n-i-1}((h_K)_{ij} + h_K \delta_{ij}) \, d\mathscr{H}^{n-1}$ 이다.
• $W_i^{1/(n-i)}$ 의 볼록성에 기반한 두 번째 변동 분석을 적용하여, 윈거텐 맵 $D\nu$ 의 기본 대칭 함수 $S_r$ 를 포함하는 곡률 유형 조건을 도출한다.
• 경계 $\partial K$ 에 대한 부등식을 가우스 사상에 의해 구면 $\mathbb{S}^{n-1}$ 으로 변환하여, 부등식의 쌍대 형태를 수립한다.
• 크리스토펠 문제와 관, 마, 샤오, 트루디너, 왕의 최근 결과를 활용하여 주어진 측도가 볼록체 $K$ 의 첫 번째 면적 측도 $A_1(K,\cdot)$ 가 되기 위한 조건을 특성화하며, 이는 비매끄러운 설정으로의 부등식 확장을 가능하게 한다.
• 블라슈케 선택 정리와 면적 측도의 약한 수렴을 활용하여, $C^2_+$ 볼록체의 근사에서 극한 볼록체 $L$ 으로의 전이를 수행하며, 이 때 반경 함수 $\rho_K = 1/h_H$ 이다.

실험 결과

연구 질문

• RQ1 쿠르마스인테그랄에 대한 브룬너-민코프스키 부등식을 이용하여 구면과 볼록체 경계에서 새로운 파oin카레 유형 부등식을 도출할 수 있는가?
• RQ2 구면 $\mathbb{S}^{n-1}$ 상의 측도 $\mu$ 가 볼록체 $K$ 의 첫 번째 면적 측도 $A_1(K,\cdot)$ 가 되기 위한 정확한 기하 조건은 무엇인가?
• RQ3 영균값 조건이 $A_1(K,\cdot)$ 를 포함한 가중 평균 조건으로 대체될 경우, 구면 $\mathbb{S}^{n-1}$ 상의 고전적 파oin카레 부등식은 어떻게 일반화될 수 있는가?
• RQ4 측도가 $A_1(K,\cdot)$ 일 때, 일반화된 파oin카레 부등식의 최적 상수는 무엇이며, 이 상수는 최적이 맞는가?
• RQ5 $\mathbb{S}^{n-1}$ 상의 양함수 $f$ 가 주어졌을 때, $dA_1(L,\cdot) = f \, d\mathscr{H}^{n-1}$ 를 만족하는 볼록체 $L$ 이 존재하기 위한 조건은 무엇인가?

주요 결과

• 논문은 제1정리와 제2정리를 수립하며, 이는 각각 $\partial K$ 와 $\mathbb{S}^{n-1}$ 에서 윈거텐 맵의 기본 대칭 함수를 포함한 영균값 조건 하에 최적의 파oin카레 유형 부등식을 제공한다.
• 만약 $K = B$ (단위 구) 라면, 제1정리는 $\mathbb{S}^{n-1}$ 상에서 날카로운 고전적 파oin카레 부등식을 회복한다: $\int \phi^2 \leq \frac{1}{n-1} \int |\nabla \phi|^2$ 이며, 이는 $\int \phi \, d\mathscr{H}^{n-1} = 0$ 를 만족할 때 성립한다.
• 제3정리는 레베그 측도를 첫 번째 면적 측도 $A_1(K,\cdot)$ 로 대체함으로써 파oin카레 부등식을 일반화한다. 이는 $\int \phi \, dA_1(K,\cdot) = 0$ 를 만족할 경우 $\int \phi^2 \, d\mathscr{H}^{n-1} \leq \frac{1}{n-1} \int |\nabla \phi|^2 \, d\mathscr{H}^{n-1}$ 이 성립함을 증명한다.
• $n=2$ 일 경우, 제3정리는 비르팅거 부등식의 새로운 일반화를 제공한다: 만약 $[0,2\pi]$ 상에 있는 비음성 측도 $\nu$ 가 두 점에 대해 지지되지 않으며 $\int \cos\theta \, d\nu = \int \sin\theta \, d\nu = 0 $ 를 만족한다면, $2\pi$-주기적 함수 $\phi$ 에 대해 $\int \phi^2 \, d\theta \leq \int (\phi')^2 \, d\theta$ 가 성립한다. 이때 $\int \phi \, d\nu = 0 $ 이다.
• 제5정리는 함수 $f$ 가 $\mathbb{S}^{n-1}$ 상에서 $A_1(L,\cdot)$ 의 밀도가 되기 위한 충분조건을 제공한다: 만약 $f = 1/h_H$ 이며, $\int x / h_H(x) \, d\mathscr{H}^{n-1}(x) = 0$ 이고, $g_{ij} + g\delta_{ij}$ 가 거의 어디서나 준정부호이면, 그러한 $L$ 이 존재한다.
• 제4정리의 증명은 $K$ 가 반경 함수 $\rho_K = 1/h_H$ 를 갖는 볼록체일 경우, $\rho_K \, d\mathscr{H}^{n-1}$ 가 어떤 볼록체 $L$ 의 첫 번째 면적 측도임을 보여주며, 이는 제3정리를 $\rho_K$-가중 부등식에 적용할 수 있도록 한다.