[논문 리뷰] On hypersurfaces of positive reach, alternating Steiner formulae and Hadwiger's Problem

Sebastian Scholtes|arXiv (Cornell University)|2013. 04. 15.

Point processes and geometric inequalities인용 수 5

한 줄 요약

이 논문은 닫힌 초표면이 양의 도약을 갖는다 ↔ $C^{1,1}$ 반경을 갖는다 라는 조건을 증명하며, 이러한 초표면에 대해 새로운 교차 슈타이너 공식을 유도한다. 또한, 어떤 초표면이 교차 슈타이너 공식을 만족시키면 반드시 양의 도약을 가져야 하며, 볼록집합에 관한 하우이거의 문제를 새롭게 해결하고, 평균 너비의 기울기 흐름에 대해 장기 존재성을 확보한다.

ABSTRACT

We give new characterisations of sets of positive reach and show that a closed hypersurface has positive reach if and only if it is of class $C^{1,1}$. These results are then used to prove new alternating Steiner formulæ for hypersurfaces of positive reach. Furthermore, it will turn out that every hypersurface that satisfies an alternating Steiner formula has positive reach. Finally, we provide a new solution to a problem by Hadwiger on convex sets and prove long time existence for the gradient flow of mean breadth.

연구 동기 및 목표

• 새로운 기하학적 및 분석적 기준을 통해 양의 도약을 갖는 집합을 특성화하기.
• 초표면에 대해 양의 도약과 $C^{1,1}$ 정규성 간의 동치성을 확립하기.
• 양의 도약을 갖는 초표면에 대해 교차 슈타이너 공식을 유도하고 증명하기.
• 볼록집합에 관한 하우이거의 문제와 평균 너비 흐름을 해결하기.
• 교차 슈타이너 공식의 존재가 양의 도약을 암시함을 보여주기.

제안 방법

• 두 가지 새로운 양의 도약 집합의 특성화를 도입: 내부 및 외부 평행집합에 대한 교차 슈타이너 공식을 통한 하나, 평행집합의 반군 유사 성질을 통한 다른 하나.
• 키르슈브라운의 정리를 적용하여 리프슈츠 매핑을 연장하고, 면적 공식을 사용해 평행집합의 하우스도르프 측도를 계산한다.
• 매개변수화 사상의 자코비안 행렬식을 활용해 주요 곡률에 따라 체적 전개를 유도한다.
• 초표면의 메트릭 및 곡률 텐서를 사용해 자코비안 행렬식을 주요 곡률의 초등 대칭 다항식으로 표현한다.
• 경계 위에서 곡률 적분을 통합하여 슈타이너 공식을 도출하고, 이와 이를 쿼르마스적분 $W_k(A)$와 연결한다.
• 양의 도약을 갖는 집합에 대해 가우스-본네 정리를 적용하여 총 곡률을 오일러 지표 및 위상적 불변량과 연결한다.

실험 결과

연구 질문

• RQ1 고전적 슈타이너 공식 외에 어떤 조건이 양의 도약을 갖는 집합을 특성화하는가?
• RQ2 초표면의 $C^{1,1}$ 정규성은 그 초표면이 양의 도약을 갖는 것과 동치인가?
• RQ3 비볼록집합에 대해 음의 반경을 갖는 내부 평행집합에 대해 슈타이너 공식을 다항식 형태로 확장할 수 있는가?
• RQ4 교차 슈타이너 공식의 존재는 양의 도약을 암시하는가?
• RQ5 볼록집합에 대해 평균 너비의 기울기 흐름의 장기적 행동은 어떠한가?

주요 결과

• 닫힌 초표면이 양의 도약을 갖는다 ↔ $C^{1,1}$ 반경을 갖는다.
• 모든 $s \in (-r, r)$ 에 대해 교차 슈타이너 공식이 성립하는 것은 경계가 양의 도약을 갖는 것과 동치이다.
• 경계가 양의 도약을 갖는다면, 평행집합 $A_s$ 의 체적은 $t \in (-r, r)$ 에 대해 $t$ 의 다항식이며, 계수는 $W_k(A_s)$ 로 주어진다.
• 평균 너비의 기울기 흐름은 항상 존재하며, 하우이거 문제에서 오랫동안 남아있던 질문을 해결한다.
• 차원 $n=2$ 에서는 $W_1(K) = \frac{1}{2}\mathcal{H}^1(\partial K)$ 이고, $n=3$ 에서는 $W_2(K) = \frac{1}{3}\int_{\partial K} H\, d\mathcal{H}^2$ 이며, 이는 쿼르마스적분을 평균 곡률과 연결한다.
• 가우스-본네 유사 공식이 성립한다: $\int_{\partial A} K_G\, d\sigma = n\omega_n \chi(A)$, 이는 홀수 차원이 아님을 요구하지 않고도 양의 도약을 갖는 집합에 대해 유효하다.