Diameter estimate for planar $L_p$ dual Minkowski problem

기술적 요약: 평면 $L_p$ 이중 민코프스키 문제에 대한 지름 추정

문제 정의
본 논문은 평면 $L_p$ 이중 민코프스키 문제(planar $L_p$ dual Minkowski problem)를 다룬다. 이는 볼록체 $K$(원점을 포함함)의 $L_p$ 이중 곡률 측도 $\tilde{C}_{p,q}(K, \cdot)$가 주어진 단위 원 $S^1$ 위의 측도 $\mu$로부터 유도되는지를 결정하고자 하는 볼록 기하학의 핵심적인 과제이다. 이 문제는 다음과 같은 몽주-암페어(Monge–Ampère) 유형의 방정식에 의해 지배된다:
$$h_K^{1-p} (h_K^2 + |\nabla h_K|^2)^{\frac{q-n}{2}} \det(\nabla^2 h_K + h_K I) = f$$
여기서 $h_K$는 지지 함수(support function)이고, $f$는 주어진 측도의 밀도이며, $n=2$이다.

지름 추정( $\|h_K\|_{L^\infty}$ 에 대한 유계성)은 $p > q$이거나 특정 하위 사례($p=0, n=2,3$ 등)인 경우에는 알려져 있으나, $0 < p < 1$ 이고 $q \geq 2$ 인 경우의 평면 설정($n=2$)은 미해결 상태로 남아 있었다. 저자들은 특히 표준적인 극대 원리(maximum principle)를 적용하기 어려운 $p < q$ 영역을 구체적으로 겨냥하고 있는데, 이 상황에서는 해가 무한히 커지거나 퇴화될 가능성이 있다.

방법론
저자들은 **귀류법(proof by contradiction)**과 존 엘립스(John ellipse)(K에 포함되는 최대 부피 타원)의 기하학적 분석을 결gebra하여 사용한다. 핵심 전략은 볼록체 $K$의 이심률(eccentricity)에 대한 균등한 유계성을 확립하는 것이다.

1. 보간 추정치 (Lemma 2.1): 저자들은 존 엘립스 $E$의 주반경($r_1, r_2$)에 따른 총 측도 $\tilde{C}_{p,q}(K, S^1)$의 새로운 상한 및 하한을 도출한다. 구체적으로, $p \in [0, 1]$ 및 $q \geq 2$에 대하여 다음을 보인다:
   $$c_1 (r_1 r_2)^{1-p} (r_1^2 + r_2^2)^{\frac{p+q-2}{2}} \leq \tilde{C}_{p,q}(K, S^1) \leq c_2 (r_1 r_2)^{1-p} (r_1^2 + r_2^2)^{\frac{p+q-2}{2}}$$
   이 추정치는 존 엘립스의 면적과 경계 길이 사이를 보간한다.

2. 이심률을 통한 모순 도출: 지름이 유계되지 않는다고 가정할 때, 저자들은 장축과 단축의 비율($r_1/r_2$)이 무한대로 발산하는 볼록체들의 수열을 구성한다. 그들은 원점의 위치와 길쭉한 물체의 "끝부분(tips)" 사이의 관계에 따라 두 가지 기하학적 구성에 대해 분석한다:

   • 사례 1: 원점이 끝부분에서 멀리 떨어져 있는 경우 (거리 $d \geq c_0 r_1$).
   • 사례 2: 원점이 끝부분 근처에 있는 경우 (거리 $d < r_1/M$).

   두 사례 모두에서, 저자들은 밀도 $f$의 적분(이는 유계임)이 총 측도 추정치로부터 도출된 기하학적 항들의 성장률과 일치할 수 없음을 입증한다. 이는 모순을 야기하며, 결과적으로 지름이 유계되어야 함을 증명한다.

3. 유일성 및 양의 값 존재성 (Section 4): 특정 경우인 $q=2$ ($L_p$ 민코프스키 문제)에 대하여, 저자들은 확립된 지름 추정치를 사용하여 유일성과 양의 값 존재성을 증명한다. 저자들은 상수 해 $h \equiv 1$ 주변에서 **선형화(linearization)**를 수행하고 **스카허 추정치(Schauder estimates)**를 적용한다. 만약 밀도 $f$가 $C^\alpha$ 노름 상에서 상수 함수에 충분히 가깝다면, 선형 연산자가 가역적임을 보여준다(이때 $2-p$는 $S^1$ 상의 라플라스-벨트라미 연산자의 고윳값이 아니다). 이는 역함수 정리를 통해 유일성을 보장한다.

주요 기여 및 결과

• 정리 1.1 (지름 추정): $p \in (0, 1)$, $q \geq 2$, 그리고 유계인 양의 밀도 $f$ ($1/\Lambda \leq f \leq \Lambda$)에 대하여, 평면 $L_p$ 이중 민코프스키 문제를 푸는 모든 볼록체 $K$는 균등한 지름 유계 $\|h_K\|_{L^\infty} \leq C(p, q, \Lambda)$를 만족한다.

  • 의의: 이는 이전의 방법들이 실패했던 초임계 범위(super-critical range) $0 < p < 1$의 평면 이중 설정에서 열려 있던 지름 추정 문제를 해결한다.

• 정리 1.2 (유일성 및 양의 값 존재성): $p \in (0, 1)$ 이고 $q=2$ 일 때, 밀도 $f \in C^\alpha(S^1)$가 상수 함수 1에 충분히 가깝다면(구체적으로 $\|f - 1\|_{C^\alpha} \leq \varepsilon_0$), 해당 방정식은 유일한 해를 갖는다. 또한, 이 해는 양의 값을 가지며 $C^{2,\alpha}(S^1)$에 속한다.

  • 의의: 이는 유일성이 일반적으로 성립하지 않는 범위($p=0$ 또는 이산 측도에 대한 반례에서 보여지듯)인 $0 < p < 1$에서 비대칭 데이터에 대한 유일성 결과를 제공한다. 또한, $0 < p < 2$의 하위 임계 범위에서 일반적인 양의 $f$에 대해 보장되지 않는 양의 값 존재성 문제를 다룬다.

의의 및 범위
본 논문은 핵심 요소가 **총 측도 추정치(Lemma 2.1)**라고 주장하며, 이는 $0 < p < 1$인 $L_p$ 경우에 대한 새로운 증명 기법을 제공한다. 저자들은 자신들의 결과가 **평면 사례($n=2$)**에 국한되며, 본 연구 내에서는 고차원($n \geq 3$)으로 확장되지 않음을 명시적으로 밝힌다.

저자들은 자신들의 양의 값 존재성 결과의 일반성에 대해 겸허한 태도를 유지하며, 매끄러운 양의 $f$에 대해서도 해의 양의 하한(lower bound)을 일반적으로 구할 수 없으므로 "$f$가 상수 함수에 충분히 가까워야 한다"는 조건이 필요함을 언급한다. 또한, $f \equiv 1$인 일반적인 경우에 대해 $p < q \leq p+4$ 범위에서의 해의 유일성은 여전히 미해결 과제로 남아 있음을 인정하며, 자신들의 결과는 상수 함수 근처의 섭동(perturbative) 영역에 제한되어 있음을 밝힌다.

이 연구는 Chou와 Wang, Chen과 Li 등을 포함한 이전의 연구들을 구축하고 통합하며, 특히 평면 설정에서 $0 < p < 1$ 및 $q \geq 2$인 공백을 메우는 데 집중하고 있다.