[논문 리뷰] The $L_p$ dual Minkowski problem for $p>1$ and $q>0$

Károly J. Böröczky, Ferenc Fodor|arXiv (Cornell University)|2018. 02. 03.

Point processes and geometric inequalities참고 문헌 12인용 수 7

한 줄 요약

이 논문은 p > 1 및 q > 0 인 매개변수에 대해 Lp 이중 미ン코프스키 문제의 존재성 부분을 해결한다. 이는 단위 구면 위의 주어진 양의 보렐 측도와 일치하는 Lp 이중 곡률 측도를 갖는 볼록체의 존재성을 보장한다. 증명은 변분 방법과 타원체 근사 및 측도 추정을 기반으로 한 모순 증명을 통해 몽주-암페르 유형의 편미분 방정식을 해결함으로써 이루어지며, 원점 중심성과 측도의 비퇴화성과 같은 자연스러운 기하적 제약 조건 하에서 해의 존재성을 최종적으로 입증한다.

ABSTRACT

General $L_p$ dual curvature measures have recently been introduced by Lutwak, Yang and Zhang. These new measures unify several other geometric measures of the Brunn-Minkowski theory and the dual Brunn-Minkowski theory. $L_p$ dual curvature measures arise from $q$th dual inrinsic volumes by means of Alexandrov-type variational formulas. Lutwak, Yang and Zhang formulated the $L_p$ dual Minkowski problem, which concerns the characterization of $L_p$ dual curvature measures. In this paper, we solve the existence part of the $L_{p}$ dual Minkowski problem for $p>1$ and $q>0$, and we also discuss the regularity of the solution.

연구 동기 및 목표

• p > 1 및 q > 0 인 경우 Lp 이중 미ン코프스키 문제의 해 존재성을 확립하기.
• 볼록체의 Lp 이중 곡률 측도를 단위 구면 위의 양의 보렐 측도로 특성화하기.
• 주어진 양의 보렐 측도 μ가 Sn−1 상에서 적절한 조건 하에 어떤 볼록체 K ∈ Kn(o)의 Lp 이중 곡률 측도로 나타날 수 있음을 증명하기.
• 클래식한 미ン코프스키 문제 프레임워크를 브룬-민코프스키 이론과 이중 브룬-민코프스키 이론의 요소를 통합하는 Lp 이중 곡률 측도 설정으로 확장하기.

제안 방법

• 저자들은 Lp 이중 곡률 측도를 q차 이중 내재 체적과 연결하기 위해 알렉산드로프 유형의 공식을 기반으로 한 변분 접근법을 사용한다.
• 문제를 볼록체의 지지함수와 반경함수와 관련된 몽주-암페르 유형의 편미분 방정식으로 축소한다.
• 정규 공간에서 타원체 근사법을 사용하여 근사 볼록체의 수열이 존재한다고 가정하고, 그 행동을 분석함으로써 모순 증명을 시행한다.
• 기하학적 및 해석적 도구(예: 존의 정리와 루이너의 타원체)를 사용하여 지지함수의 하위레벨 집합의 측도를 추정함으로써 증명을 진행한다.
• 볼록 함수 v의 헤시안 행렬식에 대한 핵심 추정을 도출하며, 이는 Ωε 상에서 불등식 det(D²v) ≤ c₂ v^{p−1}를 통해 Lp 이중 곡률 측도와 연결된다.
• ε → 0 일 때, 중첩된 집합 위의 측도 농도를 비교함으로써 모순이 발생한다. 이는 zε + 1/(2n)Eε 및 Ωε 위의 측도 비율을 사용하여 도출된다.

실험 결과

연구 질문

• RQ1 p > 1 및 q > 0 인 경우, 주어진 Sn−1 상의 양의 보렐 측도 μ가 볼록체 K ∈ Kn(o)의 Lp 이중 곡률 측도로 나타나기 위한 조건은 무엇인가?
• RQ2 변분법 및 PDE 기반 방법을 사용하여 Lp 이중 미ン코프스키 문제의 해 존재성을 입증할 수 있는가?
• RQ3 해의 존재성을 보장하기 위해 측도 μ가 만족해야 할 기하학적 및 해석적 제약 조건은 무엇인가?
• RQ4 해의 정(regularity)은 매개변수 p와 q에 따라 어떻게 달라지며, 특히 q > n 일 때 어떻게 되는가?

주요 결과

• 논문은 주어진 측도 μ가 양이며 원점에 중심을 두고 있는 조건 하에서, 모든 p > 1 및 q > 0 에 대해 Lp 이중 미ン코프스키 문제의 해 존재성을 입증한다.
• 해의 존재성은 정규 공간 내 근사 타원체의 측도 농도 행동에 기반한 모순 증명을 통해 입증된다.
• 저자들은 µv(zε + 1/(2n)Eε) ≥ ℵ₃ µv(Ωε) 라는 측도 비율을 증명하며, ε → 0 일 때 이는 모순을 유도한다.
• 모순은 |˜v(o)| / |˜v(zε)| ≤ ℵ₄ (2ε / (γ hε))^{1/n} 인 불등식에서 발생하며, limε→0+ ε/hε = 0 이므로 ε → 0 일 때 이 불등식은 성립할 수 없다.
• q > n 일 경우 이 방법은 실패한다. 왜냐하면 v(y)가 작을 때 ∥Dv(y)∥^{n−q} 가 발산할 수 있기 때문이다. 이는 핵심 추정을 무효화하기 때문이다.
• 결과는 고전적 미ン코프스키 문제와 Lp 표면적 측도 문제를 더 넓은 Lp 이중 곡률 측도 프레임워크로 확장한다.