로웬너 토러스 부등식의 등시스톨릭 결함과 변분 해석

이 논문은 로웬너가 제시한 토러스 부등식 \(\operatorname{area}(G)\ge\frac{\sqrt3}{2}\operatorname{sys}(G)^2\) 에 보네센이 이등변 삼각형에서 도입한 “등면적 결함”과 유사한 결함 항을 추가함으로써 부등식을 강화한다. 1. **배경 및 목표** - 보네센 결함은 평면 영역의 둘레와 면적 사이에 반경 차이 \(R-r\) 를 이용해 오차를 정량화한다. - 저자들은 이를 토러스의 시스톨(비수축 폐곡선 최소 길이)과 면적 사이에 적용하고, 결함을 “등시스톨릭 결함”이라 명명한다. 2. **콘포멀 표현과 분산** - 임의의 토러스 메트릭 \(G\)는 평탄 메트릭 \(G_0\)에 대한 콘포멀 인자 \(f\) 로 \(G=f^2G_0\) 라 쓸 수 있다. - 확률 측도 \(\mu\) (단위 면적 평탄 메트릭에 대응) 하에서 \(\mathbb E_\mu f\)와 \(\operatorname{Var}_\mu(f)=\int (f-\mathbb E f)^2\) 를 정의한다. - 면적은 \(\operatorname{area}(G)=\int f^2 = \operatorname{Var}(f)+(\mathbb E f)^2\) 로 표현된다. 3. **격자와 헤르미트 상수** - 토러스는 \(\mathbb R^2/L\) 형태의 격자 \(L\) 으로 나타낼 수 있다. - 성공적 최소값 \(\lambda_1(L)\)와 헤르미트 상수 \(\gamma_2=2/\sqrt3\) (에이센슈타인 격자에서 달성)를 이용해 \(\lambda_1(L)^2\operatorname{vol}(\mathbb R^2/L)\ge\sqrt3/2\) 를 얻는다. - 이로부터 \(\mathbb E f\ge\sigma\,\operatorname{sys}(G)\) (\(\sigma^2\ge\sqrt3/2\))가 도출된다. 4. **주된 부등식** - 위 결과를 분산 공식에 대입하면 \