[논문 리뷰] General Lp affine isoperimetric inequalities

Christoph Haberl, Franz E. Schuster|ArXiv.org|2008. 09. 11.

Point processes and geometric inequalities참고 문헌 44인용 수 118

한 줄 요약

이 논문은 $L_p$ 프로젝션 본체를 정의하는 미ン코프스키 조합 $\Pi_p^+K$ 및 $\Pi_p^-K$를 통해 유도된 $L_p$ 프로젝션 본체의 전체적인 $L_p$ 보편적 등면적 부등식의 가족을 수립한다. 이는 $L_p$ 페티 프로젝션 부등식을 일반화한 것으로, 모든 $L_p$ 프로젝션 본체 중에서 타원체가 쌍대 본체의 부피를 최대화함을 증명하며, 이 가족 내에서 가장 강력한 두 부등식을 식별하고 이들이 이전에 알려진 모든 결과를 함의함을 보였다.

ABSTRACT

Sharp Lp affine isoperimetric inequalities are established for the entire class of Lp projection bodies and the entire class of Lp centroid bodies. These new inequalities strengthen the Lp Petty projection and the Lp Busemann--Petty centroid inequality.

연구 동기 및 목표

• 미ン코프스키 조합 $\Pi_p^+K$ 및 $\Pi_p^-K$를 통해 정의된 모든 $L_p$ 프로젝션 본체로 $L_p$ 페티 프로젝션 부등식을 확장한다.
• 이 가족 내에서 가장 강력한 부등식을 식별하고, 이들이 이전에 알려진 결과들을 함의함을 보인다.
• 기존에 존재하던 $L_p$ 블라슈케–산타로 부등식의 간극을 메우기 위해, 원점 대칭이 아닌 모든 볼록체에 대해 유효한 올바른 $L_p$ 해석을 수립한다.
• 가환성 이론과 $L_p$ 미ン코프스키 덧셈을 이용하여 $L_p$ 보편적 등면적 부등식 이론을 통합하고 일반화한다.

제안 방법

• 저자들은 두 매개변수 가족의 $L_p$ 프로젝션 본체를 $\Phi_pK = c_1 \cdot \Pi_p^+K +_p c_2 \cdot \Pi_p^-K$로 정의하며, 여기서 $c_1, c_2 \geq 0$ 이고 둘 다 0이 아니라고 한다.
• 그들은 $L_p$ 브룬너-민코프스키 부등식과 $L_p$ 민코프스키 부등식을 적용하여 $L_p$ 미ン코프스키 조합에 따른 부피 행동을 분석한다.
• 변분 기법을 사용하여 매개변수 $\tau$ 에 대한 부피 함수 $V(\mathrm{M}_p^\tau L)^{1/n}$ 의 도함수를 계산하며, 미분 가능성과 임계점 조건을 확립한다.
• 부피가 최대가 되는 임계점 $\bar{\tau}$ 를 분석하여, $\bar{\tau} = 0$ 이 유일한 해임을 보이며, 이는 최대화자에 대한 대칭성을 의미한다.
• 증명은 $L_p$ 민코프스키 부등식과 표면 면적 측도 수렴을 이용하여 등호 조건에 필요한 필수 및 충분 조건을 도출한다.
• 분석에는 지지 함수, 표면 면적 측도, 그리고 $L_p$ 혼합 부피 $V_p(Q,K)$ 를 사용하여 극값 체를 특성화한다.

실험 결과

연구 질문

• RQ1 고정된 $K$ 에 대해, $c_1 \cdot \Pi_p^+K +_p c_2 \cdot \Pi_p^-K$ 의 $L_p$ 프로젝션 본체 중에서 쌍대 본체의 부피를 최대화하는 것은 무엇인가?
• RQ2 새로운 $L_p$ 보편적 등면적 부등식은 고전적인 $L_p$ 페티 프로젝션 부등식과 $L_p$ 블라슈케–산타로 부등식과 어떻게 관련이 있는가?
• RQ3 이 가족 내에서 가장 강력한 부등식은 무엇이며, 이는 모든 더 약한 부등식들을 함의하는가?
• RQ4 원점 대칭이 아닌 모든 볼록체에 대해 유효한 올바른 $L_p$ 블라슈케–산타로 부등식의 해석을 수립할 수 있는가? 그리고 이는 원점 대칭인 경우에 고전적 부등식으로 수렴하는가?
• RQ5 부피 함수 $V(\mathrm{M}_p^\tau L)$ 이 최대가 되는 조건은 무엇이며, 최대화자에 대한 대칭 성질은 어떠한가?

주요 결과

• $L_p$ 페티 프로젝션 부등식은 $\Phi_pK = c_1 \cdot \Pi_p^+K +_p c_2 \cdot \Pi_p^-K$ 의 모든 $L_p$ 프로젝션 본체로 일반화되며, 모든 $K \in \mathcal{K}_o^n$ 과 $p > 1$ 에 대해 부등식 $V(K)^{n/p-1}V(\Phi_p^*K) \leq V(B)^{n/p-1}V(\Phi_p^*B)$ 가 성립한다.
• 일반화된 부등식에서 등호가 성립하는 것은 $K$ 가 원점에 중심을 둔 타원체일 때에만 성립한다.
• 이 가족 내에서 가장 강력한 두 부등식은 $\Phi_pK = \Pi_p^+K$ 와 $\Phi_pK = \Pi_p^-K$ 에 해당하며, 둘 다 고전적인 $L_p$ 페티 프로젝션 부등식을 함의한다.
• 부피 함수 $V(\mathrm{M}_p^\tau L)$ 의 최대화자는 유일하게 $\tau = 0$ 에서 발생하며, 이는 최대화자 $\mathrm{M}_p^0L$ 가 원점 대칭이어야 한다는 것을 의미한다.
• 모든 볼록체에 대해 유효한 올바른 $L_p$ 블라슈케–산타로 부등식이 수립되었으며, 이는 극한에서 고전적 부등식으로 수렴한다.
• 분석 결과, $\mathrm{M}_p^\tau L$ 이 원점 대칭이 되는 것은 $\tau = 0$ 일 때에만 성립하며, 이는 대칭 케이스에서 최대화자의 유일성을 확인한다.