[논문 리뷰] The area measure of log-concave functions and related inequalities

Andrea Colesanti, Ilaria Fragalà|arXiv (Cornell University)|2011. 12. 12.

Point processes and geometric inequalities참고 문헌 15인용 수 6

한 줄 요약

이 논문은 Minkowski 유형의 변형에 대한 총 질량 함수기능의 제1변화를 연구하여 로그볼록 함수에 대한 영역 측도의 기능적 유사체를 도입한다. 기능적 Minkowski 제1부등식을 수립하고, 로그볼록 측도에 대해 로그-소볼레프 부등식을 유도하며, 적절한 조건 하에서 부분적인 존재 결과를 증명하는 기능적 Minkowski 문제를 제안한다.

ABSTRACT

On the class of log-concave functions on $\R^n$, endowed with a suitable algebraic structure, we study the first variation of the total mass functional, which corresponds to the volume of convex bodies when restricted to the subclass of characteristic functions. We prove some integral representation formulae for such first variation, which lead to define in a natural way the notion of area measure for a log-concave function. In the same framework, we obtain a functional counterpart of Minkowski first inequality for convex bodies; as corollaries, we derive a functional form of the isoperimetric inequality, and a family of logarithmic-type Sobolev inequalities with respect to log-concave probability measures. Finally, we propose a suitable functional version of the classical Minkowski problem for convex bodies, and prove some partial results towards its solution.

연구 동기 및 목표

• 총 질량 기능기능의 제1변화를 통해 로그볼록 함수에 대한 영역 측도의 기능적 대응체를 정의하기 위해.
• 로그볼록 함수에 대한 Minkowski의 제1부등식의 기능적 형태를 수립하기 위해.
• 등주 부등식의 기능적 형태와 로그볼록 확률 측도에 대해 일련의 로그-소볼레프 부등식을 도출하기 위해.
• 고전적 볼록체에 대한 Minkowski 문제의 기능적 형태를 제안하고 조사하기 위해.

제안 방법

• 적분 표현을 통해 총 질량 기능기능의 제1변화를 계산하여, 로그볼록 함수의 영역 측도를 정의한다.
• 기능적 설정에서 지지함수와 영역 측도를 포함한 적분 항등식을 사용하여 기능적 Minkowski 제1부등식을 유도한다.
• 기능적 Minkowski 부등식을 단위 구의 경우로 특수화하여 등주 부등식을 산출한다.
• 변분적 접근과 Prékopa-Leindler 부등식을 사용하여 기능적 Minkowski 부등식에서 로그-소볼레프 부등식을 도출한다.
• 기능적 Minkowski 문제를 제안하며, 주어진 구 위의 Borel 측도가 호환성 조건을 만족할 때 로그볼록 함수를 재구성하는 것을 목표로 한다.
• 증명은 총 질량 기능기능의 미분 가능성과 볼록 함수 및 그 기울기와 관련된 적분 표현 공식에 기반한다.

실험 결과

연구 질문

• RQ1 총 질량의 제1변화를 통해 볼록체의 영역 측도를 로그볼록 함수의 설정으로 일반화할 수 있는가?
• RQ2 고전적 볼록체에 대한 Minkowski의 제1부등식과 유사하게, 로그볼록 함수에 대해 기능적 형태의 제1부등식이 성립하는가?
• RQ3 이러한 프레임워크를 통해 등주 부등식과 로그-소볼레프 부등식을 기능적 설정으로 확장할 수 있는가?
• RQ4 고전적 Minkowski 문제의 기능적 유사체가 존재하는가, 그리고 어떤 조건에서 해가 존재하는가?

주요 결과

• 총 질량 기능기능의 제1변화는 기능적 영역 측도를 포함한 적분 표현을 갖는다. 이는 고전적 볼록체의 영역 측도를 일반화한다.
• 기능적 Minkowski 제1부등식이 수립되며, 이는 제1변화가 함수들의 L^1 노름의 곱에 의해 아래에서 유계임을 나타내며, 특정 대칭 조건에서 등호가 성립한다.
• 로그볼록 함수에 대한 등주 부등식은 이를 산출으로서 도출되며, 이는 반지름 대칭을 가진 로그볼록 함수에서 기능적 둘레가 최소화됨을 보여준다.
• 기능적 평균 너비와 로그볼록 측도의 분산에 따라 결정되는 상수를 갖는 일련의 로그-소볼레프 부등식이 도출된다.
• 기능적 Minkowski 문제를 제안하고, 주어진 측도가 원점에서의 질량중심을 가지며 큰 원 위에 집중되어 있지 않은 조건 하에서 해가 존재함을 보였다.
• 일차원 경우에서, 볼록 잠재함수의 두 번째 도함수의 적분 가능성 조건 하에서 제1변화가 영점에서 연속임을 증명하였다.