[논문 리뷰] On Curves and Surfaces of Constant Width

Howard L. Resnikoff|arXiv (Cornell University)|2015. 04. 25.

Point processes and geometric inequalities참고 문헌 13인용 수 5

한 줄 요약

이 논문은 푸리에 급수를 사용하여 일정한 폭을 가진 곡선과 곡면을 분석하여 새로운 기하학적 성질과 경계를 도출한다. 모든 타원의 둘레는 평균 폭의 π 배임을 증명하고, 조화 구조에 기반한 곡률 경계를 설정하며, 르레오푸르 곡선 삼각형의 밀도가 약 0.92288임을 보이며 원의 밀도 0.9060을 초월한다. 또한 이것이 일정한 폭을 가진 모든 곡선에서 최대임을 추측한다.

ABSTRACT

This paper focuses on curves and surfaces of constant width, with some additional results about general ovals. We emphasize the use of Fourier series to derive properties, some of which are known. Amongst other results, we show that the perimeter of an oval is $π$ times its average width, and provide a bound for the radius of curvature of an oval that depends on the structure of the harmonics in its Fourier series. We prove that the density of a certain packing of Reuleaux curved triangles in the plane is $$\frac{2 (π- \sqrt{3})}{\sqrt{15} + \sqrt{7} - 2 \sqrt{3}} \simeq 0.92288$$ which exceeds the maximum density for circles ($\simeq 0.9060$), and conjecture this is the maximum for any curve of constant width. For surfaces of constant width we show that $ ρ_0(P)+ ρ_1(Q)=w$ where the $ρ_i$ are the principal curvatures, $P$ and $Q$ are opposite points, and $w>0$ is the width. Moreover, an ovoid is a surface of constant width $w>0$ if and only if $ρ_{ m mean}(P)+ρ_{ m mean}(Q) = w$ where $ρ_{ m mean}(P)$ is the average radius of curvature at point $P$. Finally, we provide a Fourier series-based construction that produces arbitrarily many new surfaces of constant width.

연구 동기 및 목표

• 푸리에 급수를 사용하여 일정한 폭을 가진 곡선과 곡면의 기하학적 성질을 도출하고, 고전적 결과를 확장한다.
• 타원의 곡률 반경에 대한 조화 성분의 정량적 경계를 설정한다.
• 특히 르레오푸르 곡선 삼각형을 중심으로 일정한 폭을 가진 곡선의 최대 가능 밀도를 조사한다.
• 바르비에의 정리를 타원으로 일반화하고, 곡률 관계를 3차원 일정 폭 곡면으로 확장한다.
• 푸리에 기반 매개변수화를 통해 새로운 일정 폭 곡면의 예를 제시한다.

제안 방법

• 곡선의 지지 함수 p(t)의 푸리에 급수 표현을 사용하여 곡률 및 기하학적 성질을 유도한다.
• 타원의 곡률 반경을 그 푸리에 조화 성분의 함수로 표현함으로써 최대 곡률에 대한 부등식 경계를 도출한다.
• 지지 함수의 적분을 통해 평균 폭의 π 배가 타원의 둘레임을 보여줌으로써 바르비에의 정리를 타원으로 일반화한다.
• 일정 폭 곡면의 경우, 반대점 P와 Q에서의 주곡률 합이 폭 w와 같음을 미분기하학과 지지 함수 매개변수화로부터 유도한다.
• 구면좌표계에서의 부피 공식을 지지 함수 r(t,u)를 사용하여 변형하고, 각도 변환을 통해 부피 요소를 t와 u의 함수로 표현한다.
• 기하학적 제약 조건을 통해 일정 폭을 확보하는 방식으로 지지 함수의 특정 푸리에 급수 형태를 선택함으로써 새로운 일정 폭 곡면을 구축한다.

실험 결과

연구 질문

• RQ1 타원의 푸리에 조화 성분과 그 곡률 반경 사이의 관계는 무엇인가?
• RQ2 타원의 둘레는 평균 폭의 π 배로 표현될 수 있으며, 이는 바르비에의 정리를 어떻게 일반화하는가?
• RQ3 일정한 폭을 가진 곡선의 최대 가능 밀도는 얼마이며, 르레오푸르 곡선 삼각형이 이를 달성하는가?
• RQ4 일정 폭 곡면에서 반대점의 주곡률은 폭과 어떻게 관련이 있는가?
• RQ5 지지 함수의 푸리에 급수를 사용하여 새로운 일정 폭 곡면을 체계적으로 생성할 수 있는가?

주요 결과

• 모든 타원의 둘레는 정확히 평균 폭의 π 배이며, 이는 바르비에의 정리를 비원형 타원으로 일반화한 것이다.
• 식 (2.20)에 의해 표현되는 바와 같이, 타원의 곡률 반경에 대한 경계가 그 푸리에 조화 성분의 진폭과 주파수에 따라 유도된다.
• 르레오푸르 곡선 삼각형의 밀도는 2(π−√3)/(√15+√7−2√3)≈0.92288로 계산되며, 원의 밀도 0.9060을 초월한다.
• 식 (4.3)에 의해, 일정 폭 w인 곡면에서 반대점 P와 Q에서의 주곡률 합은 w와 같다.
• 타원형 곡면은 반대점에서의 평균 곡률 반경의 합이 w일 때에만 일정 폭 w를 가진다.
• 논문은 지지 함수의 푸리에 급수를 사용하여 임의로 많은 새로운 일정 폭 곡면을 구축하였으며, 이러한 곡면을 체계적으로 생성하는 방법을 제공한다.