수정된 셰퍼드 문제: 투영 함수의 n에서 2를 뺀 차수 미분 비교는 충분하지 않다

초록

우리는 대칭 볼록체 두 개의 투영 함수에 대해 n‑2 차 미분을 비교하는 것만으로는 모든 차원에서 셰퍼드 문제에 긍정적인 답을 얻기에 충분하지 않다는 A. Koldobsky의 추측을 반증한다.

상세 요약

셰퍼드 문제는 두 볼록체 A와 B가 주어졌을 때, 모든 방향 u∈S^{n‑1}에 대해 A의 투영 길이(또는 면적) |P_u A|가 B의 투영 길이 |P_u B|보다 작거나 같다면, 부피 |A|도 |B|보다 작거나 같다는 명제를 다룬다. 1964년 셰퍼드가 처음 제기한 이 문제는 차원 n=2에서는 자명하지만, n≥3에서는 일반적으로 거짓임이 알려져 있다. 이후 Koldobsky는 푸리에 분석적 접근을 통해 “투영 함수의 고차 미분”을 비교하면 부피 비교가 성립할 수 있다는 일련의 결과를 제시하였다. 특히 그는 (n‑1) 차 미분을 비교하면 양의 답을 얻을 수 있음을 증명했고, 이를 바탕으로 “(n‑2) 차 미분만으로 충분한가?”라는 자연스러운 질문을 제기하였다.

본 논문은 바로 그 질문에 대한 부정적 답을 제공한다. 저자들은 대칭 볼록체 K와 L을 정교하게 구성하여, 모든 방향에 대해 (n‑2) 차 미분 D^{n‑2} P_K(u) ≤ D^{n‑2} P_L(u)가 성립함에도 불구하고 부피 |K| > |L|인 경우를 만들어낸다. 핵심 아이디어는 기존의 Koldobsky‑type 예시를 변형하여, 푸리에 변환 상에서 고차 미분 연산이 주는 가중치가 (n‑2) 차에서는 충분히 강력하지 않음을 보이는 것이다. 구체적으로, 저자들은 원점 대칭의 평면 다각형을 회전시켜 고차원에서의 원추형 구조를 만들고, 그에 대응하는 지원 함수와 투영 함수의 푸리에 계수를 정밀히 조절한다. 이 과정에서 “역 푸리에 변환을 통한 미분 연산의 비가역성”을 이용해, (n‑2) 차 미분이 부피 정보를 완전히 포착하지 못한다는 사실을 수학적으로 입증한다.

이 결과는 Koldobsky의 프로그램에 중요한 교훈을 제공한다. 즉, 투영 함수의 미분 차수가 차원 n에 비례하여 증가해야 부피 비교를 보장한다는 직관이 정확히 맞다는 것을 확인시켜준다. 또한, (n‑2) 차 미분이 충분하지 않다는 반증은 향후 “최소 차수 문제”에 대한 새로운 연구 방향을 제시한다. 예를 들어, 특정 클래스(예: 균등하게 굽은 몸체 혹은 zonoid)에서는 (n‑2) 차 미분이 충분할 수도 있겠지만, 일반 대칭 볼록체 전체에 대해서는 더 높은 차수가 필요하다는 점을 명확히 한다.

마지막으로, 이 논문은 푸리에 분석, 볼록 기하학, 그리고 미분 연산 사이의 미묘한 상호작용을 보여주는 좋은 사례가 된다. 연구 방법론은 정교한 함수 구성과 정량적 추정에 기반을 두고 있어, 향후 다른 형태의 “투영 불평등”이나 “섹션 불평등”을 다루는 데에도 적용 가능할 것으로 기대된다.