[논문 리뷰] The Constant Width Measure Set, the Spherical Measure Set and isoperimetric equalities for planar ovals

Michał Zwierzyński|arXiv (Cornell University)|2016. 05. 10.

Point processes and geometric inequalities참고 문헌 23인용 수 8

한 줄 요약

이 논문은 평면 타원에 대한 고전적 등주부등식을 정교화하기 위해 두 가지 새로운 기하 구조—일정 폭 측정 집합(Constant Width Measure Set, CWMS)과 구면 측정 집합(Spherical Measure Set, SMS)—을 도입한다. 그들의 방향성 면적과 위그너 캐우스틱을 분석함으로써, 길이 $L_M$, 면적 $A_M$ 및 이러한 새로운 집합들 사이의 정확한 등주등식을 도출하며, 등주부등식의 등호가 성립하는 조건이 곡선이 일정 폭을 가지거나 중심대칭일 때에만 성립함을 증명한다. 또한 푸리에 급수와 거리 측도를 통해 새로운 안정성 한계를 유도한다.

ABSTRACT

In this paper we introduce the Constant Width Measure Set, which measures the constant width property of an oval, i.e. the planar simple closed strictly convex curve. We study its geometrical properties. We find the exact relation between the length and the area of the region bounded by an oval $M$. Namely, the following equality is fulfilled: \begin{align*} L_{M}^2 &=4πA_M+8π\left|\widetilde{A}_{\mathrm{E}_{\frac{1}{2}}(M)} ight|+π\left|\widetilde{A}_{\mathrm{CWMS}(M)} ight|, \end{align*} where $L_{M}, A_{M}, \widetilde{A}_{\mathrm{E}_{\frac{1}{2}}(M)}, \widetilde{A}_{\mathrm{CWMS}(M)}$ are the length of $M$, the area bounded by $M$, the oriented area of the Wigner caustic of $M$ and the oriented area of the Constant Width Measure Set of $M$, respectively. Furthermore we study the geometry of the Spherical Measure Set, which is an offset of a curve with a special distance. We show that the oriented area of this set of an oval $M$, $\widetilde{A}_{\mathrm{SMS}(M)}$, satisfies the following equality: \begin{align*} 4\left|\widetilde{A}_{\mathrm{SMS}(M)} ight|=8\left|\widetilde{A}_{\mathrm{E}_{\frac{1}{2}}(M)} ight|+\left|\widetilde{A}_{\mathrm{CWMS}(M)} ight|. \end{align*}

연구 동기 및 목표

• 일정 폭 및 평면 곡선의 구면 성질을 측정하는 기하적 불변량으로서의 일정 폭 측정 집합(Constant Width Measure Set, CWMS)과 구면 측정 집합(Spherical Measure Set, SMS)을 정의하고 연구한다.
• 위그너 캐우스틱, CWMS, SMS를 사용하여 정칙 폐쇄 단순 볼록 곡선에 대한 정확한 등주등식을 수립하여 고전적 부등식을 정교화한다.
• SMS의 특이점 수를 기반으로 일반 타원에 대한 4점정리(Four-Vertex Theorem)의 새로운 증명을 제공한다.
• 중앙대칭에서의 기하 거리(예: $d_\infty$, $d_2$)와의 관계를 통해 등주부등식의 안정성을 조사한다.
• 푸리에 급수와 기하 거리 측도를 사용하여 위그너 캐우스틱, CWMS, SMS의 절대 방향 면적에 대한 하한을 유도한다.

제안 방법

• CWMS를 곡선 위의 평행한 접선 접점들을 연결하는 끝점의 중점 집합으로 정의하여 일정 폭에서의 편차를 측정한다.
• SMS를 등거리 점들과 관련된 오프셋 곡선의 일종으로 정의하여 곡률 극값과 특이점을 분석하는 데 사용한다.
• 민코프스키 지지함수의 푸리에 급수 전개를 통해 길이, 면적, 유도된 집합의 방향 면적과 같은 기하 양을 표현한다.
• 횔더 부등식과 $L^2$/$L^\infty$ 노름을 적용하여 등주부등식의 결손을 중앙대칭에서의 거리와 연결함으로써 안정성을 정량화한다.
• 등주등식의 맥락에서 위그너 캐우스틱(affine equidistant at $\lambda = 1/2$), CWMS, SMS를 결합하여 핵심 항등식을 도출한다.
• SMS의 특이점 수를 통해 4점정리를 증명함으로써 새로운 미분기하학적 연결 고리를 확립한다.

실험 결과

연구 질문

• RQ1 평면 타원의 일정 폭 성질은 새로운 기하 구조인 일정 폭 측정 집합(CWMS)을 통해 어떻게 정량화될 수 있는가?
• RQ2 등주등식에서 길이, 면적, 그리고 위그너 캐우스틱, CWMS, SMS의 방향 면적 간의 정확한 관계는 무엇인가?
• RQ3 Spherical Measure Set(SMS)의 특이점 구조를 기반으로 4점정리를 재증명할 수 있는가?
• RQ4 위그너 캐우스틱, CWMS, SMS의 방향 면적은 고전적 등주부등식의 하위항 보정으로서 어떻게 기능하는가?
• RQ5 중앙대칭에서의 기하 거리에 따라 등주부등식의 안정성 한계는 무엇이며, 어떻게 도출되는가?

주요 결과

• 모든 정칙 폐쇄 볼록 곡선에 대해 정확한 등주등식 $L_M^2 = 4\pi A_M + 8\pi |\widetilde{A}_{E_{1/2}(M)}| + \pi |\widetilde{A}_{\text{CWMS}(M)}|$ 이 성립하며, 등호는 $M$이 일정 폭을 가질 때에만 성립한다.
• 모든 정칙 폐쇄 단순 곡선(항상 볼록일 필요는 없음)에 대해 다른 등식 $L_M^2 = 4\pi A_M + 4\pi |\widetilde{A}_{\text{SMS}(M)}|$ 가 성립한다.
• 일반 타원에 대한 4점정리는 SMS의 특이점 수를 기반으로 증명되며, 새로운 미분기하학적 기준을 확립한다.
• 등주부등식의 안정성이 정량화된다: $L_M^2 - 4\pi A_M - \pi |\widetilde{A}_{\text{CWMS}}| \geq 8\pi^2 d_\infty^2(K, S_K)$, 등호는 $\partial K$가 중심대칭일 때에만 성립한다.
• 절대 방향 면적에 대한 하한이 도출된다: $|\widetilde{A}_{E_{1/2}}| \geq \max\{\pi d_\infty^2, 2d_2^2\}$, 그리고 $d_\infty$와 $d_2$ 거리가 포함된 SMS에 대한 유사한 하한이 존재한다.
• 개선된 등주부등식의 등호 경우는 곡선이 일정 폭을 가질 때에만 성립하며, 이는 CWMS와 위그너 캐우스틱 기여를 통해 확인된다.