[논문 리뷰] On the monotonicity of perimeter of convex bodies

Giorgio Stefani|arXiv (Cornell University)|2016. 12. 01.

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

한 줄 요약

이 논문은 $ℝ^n$ 내부의 포함 관계 $A \subset B$ 를 만족하는 볼록체 $A, B$ 사이의 이방성 $\Phi$-둘레 차이에 대한 정량적 하한을 허프다프 거리의 언급으로 설정한다. 핵심 결과는 Wulff 형태, 허프다프 거리 $h(A,B)$, 그리고 이방성 $\Phi$ 에서 유도된 함수 $g_\nu$ 를 포함하는 날카운, 명시적인 하한을 제공하며, $\Phi$ 에 대한 최소한의 정규성 조건 하에서 고전적 둘레 단조성의 정량적 추정으로 일반화한다. 이 하한은 알려진 설정에서 등호가 성립하는 경우에 정확히 일치하므로 최적임을 입증한다.

ABSTRACT

Let $n\ge2$ and let $Φ\colon\mathbb{R}^n o[0,\infty)$ be a positively $1$-homogeneous and convex function. Given two convex bodies $A\subset B$ in $\mathbb{R}^n$, the monotonicity of anisotropic $Φ$-perimeters holds, i.e. $P_Φ(A)\le P_Φ(B)$. In this note, we prove a quantitative lower bound on the difference of the $Φ$-perimeters of $A$ and $B$ in terms of their Hausdorff distance.

연구 동기 및 목표

• 볼록체 $A \subset B$ 가 $ℝ^n$ 에서 주어질 때, 둘레의 결손 $\delta_\Phi(B,A) = P_\Phi(B) - P_\Phi(A)$ 에 대한 정량적 하한을 허프다프 거리 $h(A,B)$ 에 따라 설정하는 것.
• 2차원 및 3차원에서 알려진 유클리드 둘레 결손에 대한 날카운 부등식을 이방성 $\Phi$-둘레 설정으로 일반화하는 것.
• 이방성 둘레 단조성에 대한 일반적 프레임워크를 제공하고, $\Phi$ 의 구조에 따라 의존하는 명시적이고 기하학적으로 의미 있는 하한을 제시하는 것.
• 특히 Wulff 형태와 원뿔 구조와의 관련성에서 등호가 성립하는 경우를 규명하여 하한이 날카로움을 증명하는 것.

제안 방법

• 허프다프 거리 $h(A,B)$ 를 실현하는 점 $b \in B \setminus A$ 와 점 $a \in A$ 에서의 지지 반공간 $H$ 를 기반으로 원뿔 $C = \mathcal{C}(b, B \cap \partial H)$ 을 구성하는 것.
• 발산 정리와 표면 측도의 약한* 수렴을 이용하여 근사하는 볼록집합의 수열에서 극한을 취하는 것.
• 핵심 레마(레마 2.3) 를 적용하여, Wulff 형태 $W_\nu$, 높이 $h$, 그리고 특정 볼록성과 동차성 조건를 만족하는 함수 $g_\nu$ 를 이용해 원뿔의 $\Phi$-둘레에 대한 하한을 제공하는 것.
• 외부 집합 $B \cap H^c$ 와 원뿔 $C$ 의 $\Phi$-둘레를 비교함으로써 핵심 부등식을 유도하며, 포함 관계에 따른 $P_\Phi$ 의 단조성 조건을 활용하는 것.
• 최종 하한은 원뿔의 둘레 추정과 항등식 $\delta_\Phi(B,A) \geq \int_{C_{\text{lat}}} \Phi(\nu_C)\, d\mathcal{H}^{n-1} - \Phi(\nu_H) \mathcal{H}^{n-1}(B \cap \partial H)$ 를 결합하여 도출되며, 이것이 주요 결과가 된다.

실험 결과

연구 질문

• RQ1 포함된 볼록체에 대해 이방성 $\Phi$-둘레의 결손 $\delta_\Phi(B,A)$ 에 대한 정량적 하한이 허프다프 거리 $h(A,B)$ 에 따라 설정될 수 있는가?
• RQ2 볼록체 포함 관계에서의 $\Phi$-둘레 단조성($P_\Phi(A) \leq P_\Phi(B)$ for $A \subset B$) 이 소규모 변형에 대해 안정적인가? 그리고 이러한 안정성은 정량적으로 기술될 수 있는가?
• RQ3 2차원 및 3차원에서 알려진 날카운 유클리드 둘레 결손은 이방성 설정으로 일반화될 수 있는가?
• RQ4 $\Phi$ 에 대해 어떤 기하학적·해석적 조건이 하한이 비자명하고 날카로움을 보장하는가?
• RQ5 하한이 Wulff 형태 및 지지 초평면과 같은 내재된 기하 대상으로 표현될 수 있는가?

주요 결과

• 논문은 부등식 $\delta_\Phi(B,A) \geq \mathcal{H}^{n-1}(W_{\nu_H}) r^{n-2} \left( g_{\nu_H}(h,r) - \Phi(\nu_H) r \right)$ 를 설정한다. 여기서 $h = h(A,B)$, $r$ 는 $r^{n-1} \mathcal{H}^{n-1}(W_{\nu_H}) = \mathcal{H}^{n-1}(B \cap \partial H)$ 를 만족하며, $\nu_H$ 는 점 $a \in A$ 에서의 지지 초평면의 법선이다.
• 등호는 Wulff 형태이자 $A$ 가 적절한 원뿔인 특정 기하 구조에서 성립하므로, 이 하한은 날카로움을 뜻한다.
• 결과는 [lacivita\&leonetti08] 과 [carozza\etal16] 에서 알려진 $n=2$ 및 $n=3$ 에서의 날카운 부등식을 일반화하며, $\Phi(x) = |x|$ 일 때 특수한 경우로 복원된다.
• 하한에 포함된 함수 $g_\nu$ 는 $\Phi$ 에서의 분해를 통해 구성되며, 양성과 볼록성을 보장하고, 반경 방향에서 정수 또는 증가함수여야 한다.
• 증명은 $\Phi$ 에 대한 적합성 조건에 의존하며, 이는 모든 방향 $\nu$ 에 대해 이러한 분해가 존재함을 보장한다. 예를 들어, $\Phi$ 가 강력한 볼록성 조건을 만족할 경우 이 조건은 성립한다.
• 하한은 근사에 대해 안정적이다: $C_k \to C$ 가 $L^1$ 수렴하고 표면 측도가 약한* 수렴할 경우, 둘레의 극한이 유지되므로 원뿔 근사의 사용이 정당화된다.