[논문 리뷰] Some higher order isoperimetric inequalities via the method of optimal transport

Sun‐Yung A. Chang, Yi Wang|arXiv (Cornell University)|2013. 05. 14.

Point processes and geometric inequalities참고 문헌 9인용 수 3

한 줄 요약

이 논문은 최적 운반 방법을 사용하여 $\mathbb{R}^n$ 내의 $k+1$-볼록 도메인에 대해 날카운 고차 이소페리메트릭 부등식을 수립한다. 2-볼록 도메인에 대해 체적은 평균 곡률의 적분에 상수를 곱한 값으로 위쪽으로 유계이며, 등호는 구일 때에만 성립함을 증명한다; 마찬가지로 3-볼록 도메인에 대해서는 체적이 제2 기본형의 제2 기본 대칭 함수의 적분에 상수를 곱한 값으로 위쪽으로 유계이며, 다시 한번 등호는 구일 때에만 성립한다.

ABSTRACT

In this paper, we establish some sharp inequalities between the volume and the integral of the $k$-th mean curvature for $k+1$-convex domains in the Euclidean space. The results generalize the classical Alexandrov-Fenchel inequalities for convex domains. Our proof utilizes the method of optimal transportation.

연구 동기 및 목표

• 비볼록 도메인으로의 고전적 알렉산드로프-펜클의 부등식을 확장하기 위해 날카운 고차 이소페리메트릭 부등식을 수립하는 것.
• $k$-볼록 도메인에 대해 형태 $\left(\int \sigma_{k-1} d\mu\right)^{1/(n-k)} \leq C \left(\int \sigma_k d\mu\right)^{1/(n-1-k)}$의 날카운 부등식이 성립하는지 조사하는 것.
• 최적 운반을 사용하여 이 부등식이 $(k+1)$-볼록 도메인에 대해 날카운 상수로 성립함을 증명함으로써 이전의 날카롭지 않은 결과를 확장하는 것.
• 이 방법이 작동하기 위해 추가적인 볼록성 가정((k+1)-볼록성 대신 $k$-볼록성)이 필수적인지 여부를 규명하는 것.

제안 방법

• 도메인 $\Omega$ 위의 측도를 단위 $n$-구 위의 균일 측도로 매핑하기 위해 최적 운반 방법을 적용한다.
• 증명은 칸토로비치 포텐셜 $\phi$를 구성하고 몽헤-아미페르 방정식을 통해 운반 비용을 분석하는 데 의존한다.
• 평균 곡률 $H = \sigma_1(L)$ 및 $\sigma_2(L)$와 같은 주요 기하 양은 두 번째 도함수와 곡률 불변량을 통해 운반 포텐셜과 연결된다.
• 해석은 포텐셜 $\nabla^2\phi$의 헤시안을 추정하고, 곡률 항을 제어하기 위해 $\Sigma_2$ 및 $\sigma_2$ 대칭 함수를 사용한다.
• 핵심 단계는 $[T_2]_{\alpha\beta}(L)$를 포함하는 이차형식의 비음성(비음성)을 증명하는 것으로, 이는 $\phi_n \leq \psi$와 곡률 불변량의 음이 아닌 성질에 의존한다.
• 증명은 $\psi = 1 - \sum C_k |\nabla\phi|^{2k}$의 급수 전개를 사용하고, 유도된 항들을 추정하여 $P \leq -1/4$를 도출함으로써 에너지 함수의 비음성을 확인한다.

실험 결과

연구 질문

• RQ1 2-볼록 도메인에 대해 날카운 고차 이소페리메트릭 부등식 $\mathrm{Vol}(\Omega)^{(n-2)/n} \leq C \int_{\partial\Omega} H \, d\mu$ 가 성립하는가?
• RQ2 최적 운반 방법을 사용하여 볼록성의 경우를 초월한 고차 이소페리메트릭 부등식의 날카운 상수를 도출할 수 있는가?
• RQ3 최적 운반 증명이 성공하기 위해 $(k+1)$-볼록성 가정이 필수적인가, 아니면 $k$-볼록성으로 약화시킬 수 있는가?
• RQ4 운반 포텐셜의 헤시안과 그가 제2 기본형과 상호작용하는 방식이 곡률 부등식 유도에 어떤 역할을 하는가?
• RQ5 이 방법을 모든 $k$-차 수준의 부등식에 대해 날카운 상수를 갖는 $(k+1)$-볼록 도메인으로 일반화할 수 있는가?

주요 결과

• 2-볼록 도메인에 대해 $\mathbb{R}^n$ 내에서 부등식 $\mathrm{Vol}(\Omega)^{(n-2)/n} \leq \left(\frac{1}{\omega_n}\right)^{2/n} \frac{1}{n(n-1)} \int_{\partial\Omega} H \, d\mu$ 가 날카운 상수로 성립한다.
• 등호는 $\Omega$가 $\mathbb{R}^n$ 내의 구일 때에만 성립하며, 이는 상수의 날카움을 확인한다.
• 3-볼록 도메인에 대해 부등식 $\mathrm{Vol}(\Omega)^{(n-3)/n} \leq \left(\frac{1}{\omega_n}\right)^{3/n} \frac{1}{3\binom{n}{3}} \int_{\partial\Omega} \sigma_2(L) \, d\mu$ 가 날카운 상수로 수립된다.
• 부등식의 상수는 날카롭고 등호는 오직 구일 때에만 성립하므로, 이는 유계의 최적성을 보여준다.
• 증명은 에너지 함수 $L_3$ 가 $\int \sigma_2(L) \, d\mu$ 를 포함하는 표현과 음이 아닌 항의 빼기로 위쪽으로 유계임을 보여, 부등식을 확인한다.
• 이 방법는 $\Sigma_2(\bar{\nabla}^2\phi, L)$ 및 $\sigma_2(L)$ 의 음이 아닌 성질과 부등식 $\phi_n \leq \psi$ 에 의존하여 최종 에너지가 음이 아니라는 것을 보여준다.