Barycentric stability of nonlocal perimeters: the convex case

기술 요약: 비국소적 둘레의 무게중심 안정성: 볼록 사례

문제 정의
본 논문은 비국소적(분수형) 둘레의 틀 안에서 등주 부등식의 정량적 안정성을 다룬다. 구체적으로, 집합 $E$가 분수 $s$-둘레를 거의 최소화한다면, 이 집합이 무게중심 비대칭성(barycentric asymmetry) $\lambda_0(E)$에 의해 측정했을 때 기하학적으로 구(ball)에 가까워야 하는지를 조사한다.

고전적인 정량적 등주 부등식(프랭켈 비대칭성과 등주 결손 사이의 관계)은 일반적인 집합에 대해 잘 확립되어 있으나, 무게중심 비대칭성을 포함하는 버전은 국소적 경우($s=1$)에서 특정 기하학적 제약(예: 볼록성 또는 유계성) 하에서만 성립하는 것으로 알려져 있다. 저자들은 볼록 집합에 대해 날카로운(sharp) 무게중심 정량적 부등식을 분수 설정($s \in (0,1)$)으로 확장하는 것을 목표로 한다. 무게중심 비대칭성은 집합 $E$의 무게중심 $\text{bar}(E)$를 중심으로 하며 $E$와 동일한 부피를 가진 구와의 대칭 차이(symmetric difference)의 정규화된 부피로 정의된다. 이러한 선택은 프랭켈 정의에 필요한 최적화를 피할 수 있게 해주며, 계산상 유리하지만 일반적으로 성립하기 위해 추가적인 기하학적 가정이 필요한 더 강력한 조건이다.

방법론
증명은 국소적 볼록 사례를 위해 확립된 푸게데(Fuglede)의 전략을 비국소적 설정에 맞게 적응하여 따른다. 방법론은 세 가지 주요 단계로 진행된다:

1. 작은 결손 영역으로의 축소(Reduction to the Small-Deficit Regime):
   저자들은 먼저 충분히 작은 $s$-등주 결손 $\delta_s(E)$를 가진 볼록 집합에 대해 해당 집합이 균등하게 유계(uniformly bounded)임을 확립한다. 이는 볼록 집합의 내반경(inradius) $r_E$에 대한 분수 둘레의 하한을 도출하는 명제 3.3을 통해 달성된다. 이를 통해 결손이 작은 집합은 임의로 큰 직경을 가질 수 없음을 증명함으로써 문제를 고정된 큐브 $Q_l$ 내의 집합으로 축소할 수 있다.

2. 연속성 및 컴팩트성(Continuity and Compactness):
   위에서 확립된 균등 유계성을 사용하여, 보조정리 3.1은 고정된 큐브 내에 있는 집합들에 대해 작은 결손이 작은 무게중심 비대칭성을 함의함을 보여준다. 이는 분수 둘레의 $L^1$ 수렴에 대한 하반연속성과 구가 유일한 최소화자라는 사실에 기초한다.

3. 거의 구형인 집합에 대한 안정성(Stability for Nearly Spherical Sets):
   구(unit sphere)에 가까운 집합(거의 구형인 집합)의 경우, 저자들은 푸게데 유형의 스펙트럼 추정(정리 2.3)을 활용한다. 저자들은 집합의 경계를 단위 구의 섭동(perturbation)으로 매개변수화하고, 결손 $\delta_s(E)$를 섭동 함수 $u$의 $L^2$ 노름과 연관시킨다. 이 스펙트럼 하한과 $u$의 $L^1$ 노름 및 무게중심 비대칭성 사이의 기하학적 관계를 결합함으로써, "작은 결손" 사례에 대한 원하는 부등식을 도출한다.

4. 전역적 논증(Global Argument):
   최종 증명(정리 1.1)은 두 영역을 결합한다. 결손이 크다면 부등식은 유계성 덕분에 자명하게 성립한다. 결론적으로 결손이 작다면, 직경 경계와 보조정리 3.1을 통해 집합이 거의 구형임이 입증되며, 이를 통해 스펙트럼 추정치를 적용할 수 있다.

핵심 기여 및 결과
주요 결과는 분수 설정에서의 볼록 집합에 대한 날카로운 정량적 등주 부등식을 확립하는 정리 1.1이다:
$$\lambda_0(E) \leq C \sqrt{\delta_s(E)}$$
여기서 $C$는 차원 $n$과 분수 매개변수 $s$에만 의존한다.

주요 기술적 구성 요소는 다음과 같다:

• 내반경 추정(Inradius Estimate): 볼록 집합의 분수 둘레에 대해 내반경 $r_E$를 이용한 하한($P_s(E) \geq \alpha_{n,s} |E| / r_E^s$, 식 3.4)을 도출하였으며, 이 추정치는 독립적인 관심 대상이 될 수 있음이 언급되었다.
• 푸게데 결과의 확장: 본 논문은 국소적 볼록 안정성 결과를 비국소적 분수 둘레로 성공적으로 적응시켰으며, 이 맥락에서 무게중심 비대칭성에 대한 지수가 $1/2$로 유지됨을 확인하였다.
• 극한 행동(Limit Behavior): 저자들은 비고 4.2에서 자신들의 결과가 국소적 경우($s \to 1$)와 일치하며, 분수 결손이 고전적 결손으로 수렴하는 극한 논증을 통해 국소적 무게중심 부등식을 회복할 수 있음을 보여준다.

의의 및 주장
저자들은 이 연구를 분수 설정에서 무게중심 정량적 등주 부등식 연구의 시작으로 규정한다. 저자들은 현재 증명이 볼록 집합으로 제한되어 있지만, 그 방법론이 "거의 구형인 집합"(비고 4.1)으로 확장될 만큼 견고하며, 이는 더 넓은 적용 가능성을 향한 중요한 단계라고 명시한다.

저자들은 국소적 경우와 마찬가지로, 두 개의 떨어진 구를 포함하는 반례를 인용하며, 추가적인 가정(예: 균등 유계성) 없이는 일반적인 집합에 대해 무게중심 부등식이 성립할 수 없음을 강조한다. 이 연구는 국소적 기하학적 안정성과 비국소적 변분 문제 사이의 간극을 메우며, 푸게데의 기념비적인 연구[16]에 대한 비국소적 유사물 역할을 한다. 저자들은 일반적인 비볼록 집합에 대한 문제를 해결하려는 것이 아니라, 볼록 집합 클래스에 대해 날카로운 결과를 확립함으로써 향후 확장을 위한 토대를 제공하고자 한다.