기술 요약: $q > n$인 경우 $q$차 쌍대 퀘르마인테그랄(Dual Quermassintegrals)에 대한 브룬-민코프스키 부등식

1. 문제 정의 및 배경

본 논문은 $q$가 차원 $n$보다 큰 경우, $q$차 쌍대 퀘르마인테그랄 $\widetilde{V}_q(K)$에 대한 브룬-민코프스키 부등식의 유효성을 조사한다. 원점을 포함하는 스타 바디(star body) $K$에 대해 쌍대 퀘르마인테그랄은 다음과 같이 정의된다:
$$\widetilde{V}_q(K) = \frac{1}{n} \int_{S^{n-1}} \rho_K(u)^q \, du = \frac{q}{n} \int_K |x|^{q-n} \, dx,$$
여기서 $\rho_K$는 방사 함수(radial function)이다. 본 연구의 핵심 질문은 Sadovsky와 Zhang [23]이 제기한 것으로, 다양한 대칭 가정(임의의 형태, 원점 대칭, 또는 무조건적 대칭) 하에서 $q > n$일 때 다음 부등식이 성립하는지 여부이다:
$$\widetilde{V}_q(K+L)^{1/q} \geq \widetilde{V}_q(K)^{1/q} + \widetilde{V}_q(L)^{1/q}$$

이 부등식은 $0 < q \leq n$인 경우(즉, $q=n$인 고전적인 브룬-민코프스키 부등식의 경우) 성립하는 것으로 알려져 있으나, $q > n$일 때의 거동은 미해결 상태로 남아 있었다. Xu와 Yang [28]의 선행 연구는 원점 대칭 클래스에서 $q > 2n+1$일 때 부등식이 성립하지 않음을 입증하였다. 본 논문은 실패의 날카로운 임계값(sharp thresholds)을 결정하고, 특정 기하학적 클래스에서의 양의 결과(positive results)를 확립하는 것을 목표로 한다.

2. 방법론

저자들은 변분 분석(variational analysis), 차원 축소(dimension reduction), 그리고 가중치 기하학적 부등식을 결합하여 연구를 수행한다.

2.1. 변분 분석 및 2차 변분

음의 결과(negative results)의 핵심은 측도 $\mu_q(K) = \int_K |x|^{q-n} dx$의 국소적 $1/q$-오목성(concavity)을 분석하는 데 있다. Kolesnikov-Milman [17]에서 유도된 가중 2차 변분 공식(Lemma 2.1)을 사용하여, 저자들은 유클리드 구 $B^n_2$의 안정성을 테스트한다.

• 임의의 바디(Arbitrary Bodies): 홀수 섭동(첫 번째 구면 조화 함수)을 테스트한다. 2차 변분이 양수이면(국소적 볼록성을 나타내며 따라서 부등식의 실패를 의미함) $q > n$이다.
• 원점 대칭 바디(Origin-Symmetric Bodies): 짝수 섭동을 테스트한다. 국소적 안정성 임계값은 $q \leq 2n+1$로 나타났으나, 이것이 전역적 유효성을 보장하기에는 불충분함을 보여준다.

2.2. 차원 축소

원점 대칭 바디에 대한 전역적 반례를 구성하기 위해, 저자들은 차원 축소 논리를 활용한다. 저자들은 $K_\epsilon = A \times [-\epsilon, \epsilon]^{n-2}$ 형태의 바디를 고려하며, 여기서 $A$는 평면 볼록체이다. $\epsilon \to 0$일 때, $n$차원 파라미터 $q$는 효과적으로 평면 파라미터 $Q = q - n + 2$로 축소된다.

• 평면 직사각형을 분석함으로써, $Q > 4$일 때 부등식이 성립하지 않음을 보여주며, 이는 $q > n + 2$에 해당한다.
• 이 구성은 국소적 안정성 임계값과 전역적 실패 임계값 사이의 간극을 메운다.

2.3. 특이 가중 레이리 공식(Singular Weighted Reilly Formula) 및 하디 부등식

양의 결과, 특히 무조건적 볼록체(unconditional convex bodies)를 위해 저자들은 특이 가중 레이리 공식을 개발한다(Proposition 6.5).

• 저자들은 가중치 $|x|^\alpha$ ($\alpha = q-n$)를 가진 연산자 $L_\alpha = \Delta + \alpha \frac{x}{|x|^2} \cdot \nabla$에 대한 특이 뉴만 문제(singular Neumann problem)를 해결한다.
• 특이성을 처리하기 위해 해의 원점 근처에서의 점근적 전개(Lemma 6.3)를 도출한다.
• 결정적으로, $\alpha$의 부호에 맞춘 좌표 슬라이스 하디 유형 부등식(Lemmas 7.1 및 7.3)을 구축한다. 이 부등식들은 레이리 공식의 불리한 항들을 제어하며, 이를 통해 $-n < \alpha \leq 1$ (즉, $0 < q \leq n+1$) 범위에서 특정 에너지 범함수 $I_\alpha(u)$의 비음수성(non-negativity)을 증명할 수 있게 한다.

3. 주요 기여 및 결과

3.1. 임의의 바디에 대한 범위의 날카로움

정리 1.3: 임의의 볼록체에 대해 $q > n$인 모든 경우 부등식은 실패한다.

• 방법: 첫 번째 구면 조화 함수로 유클리드 구를 섭동시켜 매끄럽고 엄격한 볼록체를 구성한다. $\widetilde{V}_q(K)^{1/q}$의 2차 변분이 양수가 되어 필요한 오목성을 위반하게 된다.

3.2. 원점 대칭 바디에 대한 반례

정리 1.4: 원점 대칭 볼록체에 대해 $q > n + 2$인 모든 경우 부등식은 실패한다.

• 방법: 평면 직사각형으로의 차원 축소를 사용하여, $Q = q - n + 2 > 4$일 때 함수 $t \mapsto \widetilde{V}_q(K_t)^{1/q}$가 $t=0$에서 국소적으로 볼록함을 보여줌으로써 브룬-민코프스키 부등식의 엄격한 위반을 이끌어낸다. 이는 기존의 $q > 2n+1$ 경계를 개선한 것이다.

3.3. 종점 $q = n + 2$에 대한 양의 결과

정리 1.5: 원점 대칭 볼록체에 대해, 종점 $q = n + 2$에서 부등식은 성립한다.

• 방법: 저자들은 항등식 $I(K) = \frac{n}{n+2} \widetilde{V}_{n+2}(K)$를 통해 $\widetilde{V}_{n+2}(K)$를 극 모멘트 관성(polar moment of inertia) $I(K)$와 연결한다. 그 후, $I(K+L)^{1/(n+2)} \geq I(K)^{1/(n+2)} + I(L)^{1/(n+2)}$를 명시하는 극 모멘트 관성에 대한 하드비거(Hadwiger) 부등식 [10]을 적용한다.

3.4. 무조건적 볼록체의 전체 범위

정리 1.6: 무조건적 볼록체(좌표 반사에 대해 불변인 체)에 대해, 부등식은 전체 범위 $0 < q \leq n + 1$에서 성립한다.

• 방법: 이것이 이 논문의 주요 기술적 성취이다. 특이 가중 레이리 공식과 좌표 슬라이스 하디 부등식을 결려하여, 무조건적 바디에 대한 $\widetilde{V}_q$ 측도의 국소적 $1/q$-오목성을 증명한다.
• 등호 케이스: $K, L$이 $C^2_+$ 클래스인 경우, 등호는 $K$와 $L$이 서로 닮은꼴(dilates)일 때만 성립한다.

3.5. 쌍대 곡률 측도의 유일성

응용으로서, 저자들은 $(1, q)$차 쌍대 곡률 측도 $\widetilde{C}_{1,q}$에 대한 유일성 결과를 도출한다.

• 따름정리 8.4: 무조건적 $C^2_+$ 바디에 대해, 만약 $0 < q \leq n+1$에서 $\widetilde{C}_{1,q}(K, \cdot) = \widetilde{C}_{1,q}(L, \cdot)$이면, $K=L$이다 ($q=1$인 경우는 닮은꼴이다).
• 따름정리 8.5: 원점 대칭 $C^2_+$ 바디에 대해, 만약 $\widetilde{C}_{1,n+2}(K, \cdot) = \widetilde{C}_{1,n+2}(L, \cdot)$이면, $K=L$이다.

4. 의의 및 주장

본 논문은 $q > n$ 영역에서 쌍대 퀘르마인테그랄에 대한 브룬-민코프스키 부등식의 정확한 경계를 설정함으로써 Sadovsky와 Zhang [23]이 제기한 문제 1.2를 해결했다고 주장한다.

• 전역적 유효성의 반박: 일반적인 바디에 대해 $q > n$일 때 부등식이 성립하지 않으며, 원점 대칭 바디에 대해서도 $q > n + 2$일 때 성립하지 않음을 보여줌으로써, 원점 대칭 바디를 위한 열린 범위를 $n < q \leq n + 2$로 좁혔다.
• 추측: 저자들은 남은 간극인 $n < q < n + 2$에서도 부등식이 원점 대칭 바디에 대해 성립할 수 있다는 추측 1을 제안한다.
• 무조건적 케이스: 본 논문은 특이 가중치를 이용한 레이리 공식의 새로운 적응 방식(Hu-Ivaki [12]에서 영감을 얻었으나 $0 < q \leq n+1$ 전체 범위를 다루도록 확장됨)을 통해, 무조건적 바디에 대해 $q = n+1$까지 유효한 범위를 확장하여 결정적인 양의 답변을 제공한다.
• 응용: 이 결과들은 즉각적으로 지정된 클래스에서의 쌍대 곡률 측도에 대한 민코프스키 유형의 부등식과 유일성 정리를 도출하며, 이는 등호 케이스에 관한 Sadovsky와 Zhang의 문제 9를 다룬다.

이 연구는 지수 $q$, 바디의 대칭성, 그리고 기하학적 구조(무조건적 대칭 vs 일반적 대칭) 사이의 섬세한 상호작용을 강조하며, 대칭성이 도움이 되기는 하지만 $q > n$인 모든 $q$에 대해 부등식을 유지하기에는 충분하지 않음을 보여준다.