[논문 리뷰] A sharp stability result for the relative isoperimetric inequality inside convex cones

Alessio Figalli, Emanuel Indrei|arXiv (Cornell University)|2012. 10. 10.

Point processes and geometric inequalities인용 수 10

한 줄 요약

이 논문은 볼록 콘 내에서 상대적 등주부등식에 대한 날카로운 안정성 추정을 수립하며, 고정된 부피에 대해 둘레를 거의 최소화하는 집합은 하우스도르프 거리 기준으로 공이 콘과의 교차부분과 가까워져야 함을 증명한다. 이 가까움은 상대적 등주부등식의 결손의 제곱근으로 정량화된다. 증명은 최적 운반(브레니에 지도)을 사용하는 그로모프의 기하적 추론을 적응하여, 직선이 없는 콘에서의 이동 불변성 부족을 보완하기 위해 정교한 스케일링과 섭동 분석을 수행한다.

ABSTRACT

The relative isoperimetric inequality inside an open, convex cone $\\mathcal C$ states that, at fixed volume, $B_r \\cap \\mathcal C$ minimizes the perimeter inside $\\mathcal C$. Starting from the observation that this result can be recovered as a corollary of the anisotropic isoperimetric inequality, we exploit a variant of Gromov's proof of the classical isoperimetric inequality to prove a sharp stability result for the relative isoperimetric inequality inside $\\mathcal C$. Our proof follows the line of reasoning in \\cite{Fi}, though several new ideas are needed in order to deal with the lack of translation invariance in our problem.

연구 동기 및 목표

• 볼록 콘 내에서 상대적 등주부등식에 대한 날카로운 정량적 안정성 추정을 수립하며, 등호가 공과 콘의 교차부분에서 성립함을 보임.
• 전체 공간의 경우와 달리 볼록 콘에서는 이동 불변성이 없기 때문에, 고전적 등주부등식의 그로모프 증명을 수정하여 이를 해결함.
• 특히 콘에 직선을 포함하지 않을 경우, [16]의 안정성 프레임워크를 상대적 설정으로 확장함.
• 작은 상대적 등주부등식 결손이 주어졌을 때, 집합이 최소화자(스케일링된 공-콘 교차부분)와 얼마나 가까워야 하는지 대칭 차이를 통해 정량화함.
• 일반 볼록 콘, 특히 직선을 포함하지 않는 콘과 직선을 포함하는 콘을 포함한 모든 경우에 대해 등호 성립 조건과 안정성을 포함한 자가 일관된 증명을 제공함.

제안 방법

• 고전적 등주부등식의 그로모프 기하적 증명을 볼록 콘 내 상대적 설정으로 적응하여, 콘의 구조와 체계적 대칭성을 활용함.
• 집합 $ E $ 와 최소화자 $ sK $ (여기서 $ K = B_1 \bigcap \tilde{\frak{C}} $) 사이의 브레니에 최적 운반 지도를 사용하여 경계 및 체적 왜곡을 제어함.
• 비이동 불변 기하학을 다루기 위해 코스테 지도의 변종과 최적 운반 이론을 적용하여 스케일링에 대해 안정성 추정이 강건함을 확보함.
• 스케일링 추론을 활용: $ E $ 와 그 경쟁자 $ G $ 를 $ r $ 로 확대하여 $ |rG| = |K| $ 가 되도록 하며, $ \tilde{C}(n,K)\tilde{\nu}(rG) $ 와 $ \tilde{C}(n,K)\tilde{\nu}(E) $ 를 통한 비교를 가능하게 함.
• 상대적 등주부등식 결손 $ \nu(E) = \frac{P(E|\frak{C})}{n|B_1\bigcap\frak{C}|^{1/n}|E|^{(n-1)/n}} - 1 $ 을 핵심 제어 매개변수로 사용함.
• 최종적으로 대칭 차이를 $ C(n,K)\tilde{\nu}(E)^{1/2} $ 로 유계화하는 데 사용되는, $ |E\bigtriangleup (sK + x)| $, $ |rE\bigtriangleup (\tilde{\beta} + K)| $, 및 $ \tilde{C}(n,K)\tilde{\nu}(E) $ 를 포함한 부등식의 사슬을 수립함.

실험 결과

연구 질문

• RQ1 볼록 콘 내 상대적 등주부등식은 어떻게 정량적으로 안정화될 수 있는가? 즉, 등호에 거의 도달하는 집합은 최소화자와 얼마나 가까워야 하는가?
• RQ2 안정성 상수는 콘 기하학과 차원에 대해 최적의 의존성을 어떻게 가지는가?
• RQ3 고전적 등주부등식의 그로모프 기하적 증명은 비대칭적이며 이동 불변성이 없는 도메인인 볼록 콘과 같은 영역에 상대적 설정으로 어떻게 적응시킬 수 있는가?
• RQ4 왜 안정성에 대해 콘이 직선을 포함하지 않는 것으로 가정하는 것이 필수적인가? 이는 비교에서 이동의 역할에 어떻게 영향을 미치는가?
• RQ5 브레니에 지도는 이러한 기하 설정에서 집합과 그 최소화자 사이의 대칭 차이를 얼마나 잘 제어할 수 있는가?

주요 결과

• 논문은 날카로운 안정성 추정을 수립한다: 직선을 포함하지 않는 모든 열린 볼록 콘 $ \frak{C} $ 와 유한 둘레를 가진 임의의 집합 $ E \bigsubset \frak{C} $ 에 대해, $ E $ 와 스케일링된 공-콘 교차부분 $ sK $ 사이의 대칭 차이는 $ C(n,K)\tilde{\nu}(E)^{1/2} $ 로 유계화된다. 여기서 $ \tilde{\nu}(E) $ 는 상대적 등주부등식 결손이다.
• 상수 $ C(n,K) $ 는 차원 $ n $ 과 콘 $ K = B_1 \bigcap \frak{C} $ 에만 의존하며, 이러한 모든 콘에 대해 일관되게 유지된다.
• 이 결과는 $ \frak{C} = \bbR^k \times \tilde{\frak{C}} $ 와 같은 일반 볼록 콘으로 확장되며, 여기서 $ \tilde{\frak{C}} $ 는 직선을 포함하지 않으며, $ \bbR^k $ 방향으로의 이동까지 안정성이 유지된다.
• 핵심 추정은 $ \frac{|E\bigtriangleup (sK + x)|}{|E|} \bigleq C(n,K)\tilde{\nu}(E)^{1/2} $ 이며, 여기서 최소화는 마지막 $ n-k $ 성분이 0인 $ \bbR^k \times \bbR^{n-k} $ 내의 이동 $ x $ 에 대해 취해진다.
• 증명은 상대적 결손 $ \tilde{\nu}(E) $ 가 최소화자 $ sK $ 와의 $ L^1 $-거리 제어에 기여하며, 제곱근 의존성이 최적임을 보여준다.
• 분석은 상대적 등주부등식의 등호 성립 조건이 오직 $ sK $ 와 합동인 집합에서만 성립하며, 안정성이 제곱근 속도로 개선될 수 없음을 확인한다.