폐곡선 단위 길이 커버의 최소 면적 0.0975 증명

초록

본 논문은 길이 1인 모든 폐곡선을 포함할 수 있는 최소 면적의 볼록 집합을 연구한다. 기존 하한값 0.096694를 개선하여 0.0975 이상임을 보였으며, 원·정삼각형·주변길이 1인 직사각형(가로 0.0375, 세로 0.4625)의 볼록 껍질 면적이 0.0975~0.09763 사이임을 수치적으로 확인하였다.

상세 분석

이 연구는 ‘모스의 웜 문제’의 변형으로, “길이 1인 모든 폐곡선을 포함할 수 있는 최소 면적의 볼록 집합(β)”을 찾는 것을 목표로 한다. 기존 연구에서는 β에 대한 하한값이 0.096694(또는 비공식 0.096905)였으며, 상한값은 0.11023 정도였다. 저자들은 세 가지 기본 도형—주변길이 1인 원(C), 정삼각형(T), 그리고 가로 0.0375·세로 0.4625인 직사각형(R)—의 볼록 껍질을 고려함으로써 β의 하한을 강화한다.

핵심 아이디어는 다음과 같다.

1. 기하학적 설정: 원 C는 반지름 r=1/(2π) 로 정의하고, 정삼각형 T는 변 길이 1/3, 직사각형 R은 u=0.0375, v=0.4625 (u+v=0.5) 로 설정한다. 이 세 도형을 각각 자유롭게 회전·이동시킬 수 있는 5개의 파라미터 (x₁, y₁, x₂, y₂, θ) 로 기술한다.

2. 함수 f 정의: 파라미터 z=(x₁,y₁,x₂,y₂,θ)를 입력으로 하여, X=F∪R∪T (여기서 F는 원을 근사한 500‑각형) 의 볼록 껍질 면적 A(X)를 반환하는 연속 함수 f(z)를 정의한다. 목표는 모든 가능한 z에 대해 f(z) > 0.0975 를 보이는 것이다.

3. 볼록성 및 라플라스 연속성: 파라미터 각각에 대해 f가 볼록함을 Lemma 2와 Corollary 3을 통해 증명한다. 이는 R을 일정 방향으로 이동시킬 때 볼록 껍질 부피가 볼록 함수가 된다는 고전 결과를 이용한다. 또한 Lemma 6에서 각 파라미터에 대한 Lipschitz 상수 C_i (i=1…5)를 구해, 작은 변동이 면적에 미치는 영향을 정량화한다.

4. 검색 영역 제한: Lemma 4와 Corollary 5를 이용해 파라미터 범위를 제한한다. x₁∈