[논문 리뷰] Dual Orlicz-Brunn-Minkowski theory: Orlicz $\varphi$-radial addition, Orlicz $L_{\phi}$-dual mixed volume and related inequalities

Deping Ye|arXiv (Cornell University)|2014. 04. 28.

Point processes and geometric inequalities참고 문헌 36인용 수 4

한 줄 요약

이 논문은 별체에 대해 오르리츠 ϕ-반경 덧셈을 정의하고 선형 오르리츠 ϕ-반경 덧셈을 통해 오르리츠 Lφ-쌍대 혼합체적을 유도함으로써, 별체에 대한 이중 오르리츠-브룬너민코프 이론을 제안한다. 주요 부등식을 수립하며, 이중 오르리츠-민코프스키 부등식, 이중 오르리츠 등면적 부등식, 이중 오르리츠-우리소프 부등식을 포함한다. 생성 함수 φ의 엄격한 볼록성/오목성 조건 하에 등호 조건은 원점에 대해 대칭인 유클리드 공임을 특징으로 한다.

ABSTRACT

This paper develops basic setting for the dual Orlicz-Brunn-Minkowski theory for star bodies. An Orlicz $\varphi$-radial addition of two or more star bodies is proposed and related dual Orlicz-Brunn-Minkowski inequality is established. Based on a linear Orlicz $\varphi$-radial addition of two star bodies, we derive a formula for the Orlicz $L_{\phi}$-dual mixed volume. Moreover, a dual Orlicz-Minkowski inequality for the Orlicz $L_{\phi}$-dual mixed volume, a dual Orlicz isoperimetric inequality for the Orlicz $L_{\phi}$-dual surface area and a dual Orlicz-Urysohn inequality for the Orlicz $L_{\phi}$-harmonic mean radius are proved.

연구 동기 및 목표

• 별체의 맥락에서 이중 오르리츠-브룬너민코프 이론의 기초 프레임워크를 구축하기 위해.
• 기존의 반경 덧셈을 일반화하는 새로운 연산인 오르리츠 ϕ-반경 덧셈을 별체에 대해 정의하기 위해.
• 선형 오르리츠 ϕ-반경 덧셈을 통해 오르리츠 Lφ-쌍대 혼합체적을 수립하기 위해.
• 기존의 부등식들—민코프스키 제1형, 등면적, 우리소프—을 이중 오르리츠 형태로 확장하기 위해.
• 이러한 부등식들에서 등호 조건을 특징짓기 위해, 등호가 성립하는 경우가 오직 체적 확대 또는 원점에 대해 대칭인 유클리드 공일 때뿐임을 보여주기 위해.

제안 방법

• ϕ ∈ ˜Φ2 이고 Fϕ(x1, x2) = ϕ(x1−1/n, x2−1/n)의 공동 볼록성 조건을 만족하는 볼록 함수 ϕ를 사용하여 두 개 이상의 별체에 대해 오르리츠 ϕ-반경 덧셈을 제안한다.
• 선형 오르리츠 ϕ-반경 덧셈을 통해 오르리츠 Lφ-쌍대 혼합체적을 도출하며, 이는 고전적 쌍대 혼합체적을 일반화한다.
• 별체의 반경 함수에 대해 젠센의 부등식을 적용하여 오르리츠 Lφ-쌍대 혼합체적을 포함하는 부등식을 도출한다.
• 오르리츠 Lφ-쌍대 표면적을 neVφ(K, Bn₂)로 정의하고, 오르리츠 Lφ-조화 평균 반경을 단위 구면 위의 적분으로 정의하며, 이는 φ(1/ρK(u))를 포함한다.
• 이중 오르리츠-민코프스키 부등식을 중심 도구로 사용하여 등면적 및 우리소프 형 부등식을 도출한다.
• 체적 정규화된 반경 함수와 구면 적분을 사용하여 다양한 별체 간 혼합체적과 표면적을 비교한다.

실험 결과

연구 질문

• RQ1 오르리츠 유형 덧셈을 통해 비동차 함수 φ에 대해 고전적 쌍대 브룬너민코프 이론을 별체에 어떻게 일반화할 수 있는가?
• RQ2 볼록성을 유지하고 이중 오르리츠 부등식을 도출할 수 있도록 하는, 반경 덧셈의 적절한 일반화는 무엇인가?
• RQ3 선형 오르리츠 ϕ-반경 덧셈을 통해 오르리츠 Lφ-쌍대 혼합체적은 어떻게 정의되고 특징지을 수 있는가?
• RQ4 고전적 민코프스키 제1부등식, 등면적 부등식, 우리소프 부등식의 이중 오르리츠 형태는 무엇인가?
• RQ5 이중 오르리츠 부등식에서 등호가 성립하는 조건은 무엇이며, 이를 통해 어떤 기하학적 특징이 도출되는가?

주요 결과

• 이중 오르리츠-브룬너민코프 부등식이 성립한다: ϕ ∈ ˜Φ2 이고 Fϕ가 볼록일 때, ϕ( (|K e+ϕ L|/|K|)^{1/n}, (|K e+ϕ L|/|L|)^{1/n} ) ≤ 1이며, 등호는 K와 L가 체적 확대일 때 성립한다.
• 이중 오르리츠-민코프스키 부등식이 수립된다: φ ∈ Φ 이고 F(t) = φ(t^{-1/n})가 볼록일 때, eVφ(K, L) ≥ |K| · φ(|K|^{1/n} |L|^{-1/n})이며, 등호는 K와 L가 체적 확대일 때 성립한다.
• 이중 오르리츠 등면적 부등식은 φ ∈ Φ 이면 eSφ(K) ≥ eSφ(BK)이며, F가 엄격히 볼록일 때 등호는 K가 원점에 대해 대칭인 유클리드 공일 때 성립한다.
• φ ∈ Ψ 이면 이중 오르리츠 등면적 부등식은 eSφ(K) ≤ eSφ(BK)이며, F가 엄격히 오목일 때 등호는 K가 원점에 대해 대칭인 유클리드 공일 때 성립한다.
• 이중 오르리츠-우리소프 부등식은 φ ∈ Φ 이면 eωφ(K) ≥ eωφ(BK)이며, 엄격한 볼록성 조건 하에 등호는 K가 원점에 대해 대칭인 유클리드 공일 때 성립한다.
• 오르리츠 Lφ-쌍대 표면적은 φ(t) = t^p 이면 eSp(λK) = λ^{n+p} eSp(K)를 만족하며, 이는 고전적 척도 법칙을 오르리츠 설정으로 확장한다.