[논문 리뷰] Isoperimetric inequalities for eigenvalues by inverse mean curvature flow

Fangcheng Guo, Guanghan Li외 1명|arXiv (Cornell University)|2016. 02. 17.

Geometric Analysis and Curvature Flows참고 문헌 12인용 수 4

한 줄 요약

이 논문은 유클리드 공간 $\mathbb{R}^{n+1}$ 내의 폐쇄된 볼록 초표면에서 라플라스 및 $p$-라플라스 연산자의 첫 번째 비영제 고유값에 대한 등주 하한을 역 평균 곡률 흐름을 통해 수립한다. 흐름 하에서 재스케일링된 고유값의 단조성 증명을 통해, 고유값은 동일한 부피를 가진 구의 고유값보다 작아지지 않음을 유도하며, 등호는 초표면이 구일 때에만 성립한다.

ABSTRACT

By studying the monotonicity of the first nonzero eigenvalues of Laplace and p-Laplace operators on a closed convex hypersurface $M^n$ which evolves under inverse mean curvature flow in $\mathbb{R}^{n+1}$, the isoperimetric lower bounds for both eigenvalues were founded.

연구 동기 및 목표

• 유클리드 공간 $\mathbb{R}^{n+1}$ 내의 폐쇄된 초표면에서 라플라스 및 $p$-라플라스 연산자의 첫 번째 비영제 고유값에 대한 등주 하한을 유도하는 것.
• 경계가 없는 폐쇄된 초표면에 대해 레일리-페어브-크라인 및 셰고-바이너 불등식과 유사한 고유값 불등식이 존재하는지 여부라는 열린 문제를 다루는 것.
• 기하 불등식을 유지하고 고유값의 단조성을 확립하기 위해 역 평균 곡률 흐름을 활용한 새로운 접근법을 제안하는 것.
• 고정된 부피를 가진 모든 초표면 중에서 첫 번째 비영제 고유값이 구에서 최소화됨을 증명하는 것.
• 중심질량 기반 기존 결과를 흐름 기반 기하 진화 기법을 도입하여 일반화하는 것.

제안 방법

• 유클리드 공간 내 일반 곡률 흐름 하에서 라플라스 및 $p$-라플라스 연산자의 첫 번째 비영제 고유값의 진화를 분석한다.
• 역 평균 곡률 흐름에 집중하며, 기하 양을 안정화하기 위해 재스케일링된 흐름을 사용하여 고유값의 진화 방정식을 유도한다.
• 재스케일링된 역 평균 곡률 흐름 하에서 재스케일링된 고유값 $e^{-p(\frac{1}{n}-\varepsilon)t}\tilde{\lambda}_{1,p}(t)$가 비증가임을 확립한다.
• 시간에 따른 고유값 성장률을 제한하기 위해 부등식 $\frac{d\tilde{\lambda}_{1,p}(t)}{dt} \leq p\left(\frac{1}{n} - \varepsilon(t)\right)\tilde{\lambda}_{1,p}(t)$를 적용한다.
• 재스케일링된 흐름이 초기 초표면과 동일한 부피를 가진 구 $\mathbb{S}^n(R)$로 수렴함을 이용하여 최종 하한을 도출한다.
• 고유값의 단조성을 보장하기 위해 곡률 압착 조건 $h_{ij} \geq \frac{\alpha}{2}Hg_{ij}$ 및 $\alpha \in [0, \frac{2}{n}]$를 적용한다.

실험 결과

연구 질문

• RQ1 유클리드 공간 $\mathbb{R}^{n+1}$ 내의 폐쇄된 초표면에 대해 라플라스 및 $p$-라플라스 연산자의 첫 번째 비영제 고유값에 대한 등주 하한을 수립할 수 있는가?
• RQ2 역 평균 곡률 흐름이 고유값의 단조성과 최적의 하한을 이끄는 기하 불등식을 유지하는가?
• RQ3 모든 고정된 부피를 가진 폐쇄된 초표면 중에서 첫 번째 비영제 고유값을 최소화하는 것은 유일하게 구인가?
• RQ4 역 평균 곡률 흐름 하에서 고유값의 단조성을 활용하여 구의 고유값에 대한 명시적 하한을 도출할 수 있는가?
• RQ5 어떤 곡률 조건이 고유값 하한이 날카롭고 등호가 오직 구일 때에만 성립함을 보장하는가?

주요 결과

• 폐쇄된 초표면 $M^n$에서 $p$-라플라스 연산자의 첫 번째 비영제 고유값 $\lambda_{1,p}(M^n)$은 $\lambda_{1,p}(M^n) \geq C^{-1}(n,p,\alpha)\lambda_{1,p}(\mathbb{S}^n(R))$를 만족하며, 여기서 $C(n,p,\alpha) = \exp\left[\frac{p}{\alpha}\left(\frac{1}{n} - \frac{\alpha}{2}\right)\right]$이다.
• $p=2$인 경우, 라플라스 고유값은 $\lambda_1(M^n) \geq C^{-1}(n,\alpha)\lambda_1(\mathbb{S}^n(R))$를 만족하며, $C(n,\alpha) = \exp\left[\frac{2}{\alpha}\left(\frac{1}{n} - \frac{\alpha}{2}\right)\right]$이다.
• 두 부등식의 등호는 초표면 $M^n$이 초기 초표면과 동일한 부피를 가진 $n$-구 $\mathbb{S}^n(R)$일 때에만 성립한다.
• 재스케일링된 역 평균 곡률 흐름 하에서 재스케일링된 고유값 $e^{-p(\frac{1}{n}-\varepsilon)t}\tilde{\lambda}_{1,p}(t)$는 비증가하므로, 하한 유도에 사용된 단조성을 보장한다.
• 흐름은 시간이 무한에 가까워질수록 초기 초표면과 동일한 부피를 가진 구 $\mathbb{S}^n(R)$로 수렴하며, 이는 한계 고유값 비교에 필수적이다.
• 증명은 흐름 하에서 고유값의 미분 가능성과 고유값의 진화를 제어하기 위한 곡률 압착 조건 $h_{ij} \geq \frac{\alpha}{2}Hg_{ij}$의 활용에 기반한다.