[논문 리뷰] Some functional forms of Blaschke-Santaló inequality

Matthieu Fradelizi, Mathieu Meyer|arXiv (Cornell University)|2006. 09. 20.

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

한 줄 요약

이 논문은 로그볼록 함수와 레전드르 변환에 대한 블라시케-산타로 부등식의 새로운 기능적 형태를 수립하며, 발의 부등식을 일반화하고 아르스타인, 클라르타그, 밀만의 결과를 확장한다. 브라우어 고정점 정리와 프레코파-라인들 부등식을 이용한 새로운 중심화 기법을 통해, 함수와 그 이중 함수의 부피 곱이 산타로 점에서 중심화될 때 최대가 되며, 등호가 성립하는 것은 함수가 가우시안이거나 대칭에 대해 동치일 때에만임을 증명한다.

ABSTRACT

We establish new functional versions of the Blaschke-Santaló inequality on the volume product of a convex body which generalize to the non-symmetric setting an inequality of K. Ball and we give a simple proof of the case of equality. As a corollary, we get some inequalities for $\log$-concave functions and Legendre transforms which extend the recent result of Artstein, Klartag and Milman, with its equality case.

연구 동기 및 목표

• 대칭 함수에 대한 K. 발의 기능적 부등식을 비대칭 설정으로 일반화하기 위해.
• 아르스타인, 클라르타그, 밀만이 최근에 볼록 함수의 레전드르 변환에 대해 확립한 결과를 일반 로그볼록 함수로 확장하기 위해.
• 기능적 형태의 블라시케-산타로 부등식에서의 등호 조건을 규명하기 위해.
• 측도와 볼록체에 대해 블라시케-산타로 부등식이 성립하는 조건을 설정하기 위해, 특히 무조건적이고 원형 대칭인 로그볼록 측도에 대해.

제안 방법

• 함수 $ f $ 가 점 $ z $ 에서 중심화된 별형 집합 $ K_z $ 를 정의하며, 적분 조건 $ \int_0^\infty r^{n-1} f(z + rx) \, dr \geq 1 $ 을 사용한다.
• 브라우어 고정점 정리를 이용하여 중심 $ z_0 $ 가 존재함을 보이며, 이때 $ K_{z_0} $ 의 질량 중심이 원점에 있음을 보인다.
• 기하 평균에 대한 프레코파-라인들 부등식을 적용하여 $ f_1 $ 과 $ f_2 $ 간의 이중성 관계를 유도하고, 포함 관계 $ K_2 \subset c_n(\rho) K_1^\circ $ 를 이끌어낸다.
• 유도된 볼록체에 대해 고전적 블라시케-산타로 부등식을 적용하여 적분의 곱을 유계화한다.
• 대칭성과 슈타이너 대칭화의 성질을 이용해 등호 조건을 증명하며, 등호가 성립하는 것은 함수가 가우시안이거나 대칭에 대해 동치일 때에만임을 보인다.
• 주요 부등식을 볼록 함수의 레전드르 변환에 적용하여, 부피 곱이 가우시안의 부피 곱으로 유계화됨을 보인다.

실험 결과

연구 질문

• RQ1 비중앙, 로그볼록 함수에 대해 기능적 블라시케-산타로 부등식이 성립하는 조건은 무엇인가?
• RQ2 함수와 그 이중 함수의 부피 곱을 최대화하는 최적의 중심 $ z $ 는 무엇인가?
• RQ3 어떤 클래스의 로그볼록 측도 $ \mu $ 와 가측 집합 $ K $ 에 대해 부등식 $ \mu(K) \cdot \mu(K^\circ) \leq \mu(B_2^n)^2 $ 이 성립하는가?
• RQ4 볼록 함수의 레전드르 변환에 대해 기능적 블라시케-산타로 부등식에서 등호는 언제 성립하는가?
• RQ5 적분 조건과 고정점 정리를 이용해 비대칭 볼록체에 대해 산타로 점을 효과적으로 특성화할 수 있는가?

주요 결과

• 모든 로그볼록 함수 $ f $ 와 그 이중 함수 $ g $ 에 대해 기능적 블라시케-산타로 부등식이 성립하며, 적분의 곱이 $ \left( \int_{\mathbb{R}^n} \rho(|x|^2) \, dx \right)^2 $ 로 유계화된다. 여기서 $ \rho $ 는 비증가 로그볼록 함수이다.
• 등호가 성립하는 것은 $ f $ 가 가우시안 함수이거나, 더 일반적으로 관련된 도형이 타원체일 때에만이다.
• 모든 무조건적 로그볼록 측도 $ \mu $ 와 무조건적 가측 집합 $ K $ 에 대해 부등식 $ \mu(K) \cdot \mu(K^\circ) \leq \mu(B_2^n)^2 $ 이 성립한다.
• 모든 원형 대칭 로그볼록 측도 $ \mu $ 와 중심 대칭 가측 집합 $ K $ 에 대해 동일한 부등식이 성립한다.
• 부등식의 최적 중심 $ z_0 $ 는 $ K_z $ 의 질량 중심이 원점에 있을 때로 특성화되며, $ \rho $ 가 엄격히 볼록일 경우에 유일하다.
• 레전드르 변환 형태의 부등식이 성립한다: $ \int \rho(\phi(x)) \, dx \cdot \int \rho(\mathcal{L}_z \phi(y)) \, dy \leq \left( \int \rho(|x|^2/2) \, dx \right)^2 $ 이며, 어떤 $ z \in \mathbb{R}^n $ 에 대해 성립한다.