[논문 리뷰] Existence and characterization of regions minimizing perimeter under a volume constraint inside Euclidean cones

Manuel Ritoré, César Rosales|ArXiv.org|2003. 07. 16.

Point processes and geometric inequalities참고 문헌 16인용 수 6

한 줄 요약

이 논문은 유클리드 콘 내부의 등주 영역—고정된 부피에서 둘레가 최소화되는 집합—의 존재성과 특성을 확립한다. 기하 해석학과 제2변분 기법을 사용하여, 볼록 콘에서는 등주 영역가 정확히 콘의 꼭짓점에 중심을 둔 유클리드 구와 콘 자체의 교집합임을 증명하며, 콘 제약 조건 하에서 기하 측도 이론 분야에서 오랫동안 남아 있던 문제를 해결한다.

ABSTRACT

We study the problem of existence of regions separating a given amount of volume with the least possible perimeter inside a Euclidean cone. Our main result shows that nonexistence for a given volume implies that the isoperimetric profile of the cone coincides with the one of the half-space. This allows us to give some criteria ensuring existence of isoperimetric regions: for instance, local convexity of the cone at some boundary point. We also characterize which are the stable regions in a convex cone, i.e., second order minima of perimeter under a volume constraint. From this it follows that the isoperimetric regions in a convex cone are the euclidean balls centered at the vertex intersected with the cone.

연구 동기 및 목표

• 고정된 부피 제약 조건 하에서 유클리드 콘 내에서 둘레를 최소화하는 등주 영역의 존재성을 확립하는 것.
• 특히 볼록 콘에서 이러한 등주 영역의 정확한 기하 구조를 특성화하는 것.
• 기존의 컴팩트성 추론이 실패하는 비콤팩트 설정에서 등주 영역의 존재 조건을 규명하는 것.
• 볼록 콘에서 안정 영역(둘레의 제2차 최소화자)을 식별하고, 이를 등주 영역과 연관짓는 것.
• 기존의 브룬-민코프스키 및 그로모프 유형의 추론을 보완하는 기하적 증명을 통해 콘 내 구형 섹터의 등주 성질을 증명하는 것.

제안 방법

• 비콤팩트 다양체에 적응된 변분법의 직접적 방법을 사용하여, 수렴하지 않을 수 있는 최소화 수열을 분석한다.
• 최소화 수열이 수렴하는 부분과 발산하는 부분으로 분리됨을 보여주는 일반적 결과(정리 2.1)를 적용하여 모순 추론을 가능하게 한다.
• 반반공간과의 등주 프로파일 비교를 통해, 존재하지 않음이 반반공간의 프로파일과 일치함을 증명한다.
• 둘레와 부피의 제2변분을 적용하여, 평균 곡률가 일정한 안정 초표면를 특성화하며, 둘레 함수의 1차 및 2차 도함수를 사용한다.
• 법선 벡터와 변동 벡터장의 내적을 포함한 제2변분 공식을 사용하며, 콘의 경계와 제2기하형식에서 유도된 곡률 항목을 포함한다.
• 피타우의 보조정리와 ε → 0으로의 극한 추론을 사용하여, 형태 연산자의 노름 제곱과 경계의 제2기하형식에 대한 적분 부등식을 도출한다.

실험 결과

연구 질문

• RQ1 비콤팩트 유클리드 콘에서 등주 영역이 존재하는 조건은 무엇인가?
• RQ2 볼록 콘 내 등주 영역의 정확한 기하 구조는 무엇인가?
• RQ3 볼록 콘에서 평균 곡률가 일정한 안정 초표면는 어떻게 특성화할 수 있는가?
• RQ4 콘의 기하학—특히 그 경계와 볼록성—은 등주 영역을 결정하는 데 어떤 역할을 하는가?
• RQ5 제2차 안정성과 곡률 분석을 통해 콘 내 등주 영역를 완전히 특성화할 수 있는가?

주요 결과

• 볼록 콘에서는 등주 영역가 정확히 콘의 꼭짓점에 중심을 둔 유클리드 구와 콘의 교집합임을 보여준다.
• 등주 프로파일이 반반공간의 프로파일과 일치하는 것은 어떤 부피에 대해서도 등주 영역가 존재하지 않을 경우에 한하여 성립하며, 존재 조건을 제공하는 기준이 된다.
• 모든 부피에 대해 볼록 콘 내 등주 영역는 유계이며, 그 경계는 평균 곡률가 일정하고 콘의 경계와 수직으로 만남을 이루는 부드러운 초표면이다.
• 볼록 콘 내 안정 영역는 정확히 꼭짓점 중심의 구와 콘의 교집합이거나, 경계의 평평한 부분 위에 놓인 반구이다.
• 제2변분 분석에 의하면, 형태 연산자의 노름 제곱은 평균 곡률의 제곱에 n을 곱한 것과 같으며, 콘의 경계의 제2기하형식은 영역의 경계를 따라 사라지며, 이는 전체 우미빌리티와 평탄함을 의미한다.
• 후보 영역들 간의 둘레 비교를 통해, 오직 꼭짓점 중심의 구와 콘의 교집합만이 등주임을 확인할 수 있으며, 이는 전체 공간 R^{n+1}에서도 성립한다.