[논문 리뷰] Functional Inequalities on Weighted Riemannian Manifolds Subject to Curvature-Dimension Conditions

Eran Calderon|arXiv (Cornell University)|2019. 05. 21.

Geometric Analysis and Curvature Flows참고 문헌 82인용 수 8

한 줄 요약

이 논문은 곡률-차원-지름(CDD) 조건을 만족하는 가중 Riemann 다양체 위에서 Poincaré, p-Poincaré, 그리고 log-Sobolev 상수에 대한 날카운 하한을 설정하며, 최적화 문제를 단순화하는 데 사용되는 '모델 측도'로의 기능적 해석적 감소 기법을 도입한다. 주요 기여는 일반화된 Ricci 곡률과 지름 제약 조건 하에서 기능 부등식의 극값 측도를 식별하는 일반적인 방법을 제공하는 것으로, 이는 음의 효과적 차원에 대해 새로운 날카운 부등식과 향상된 log-Sobolev 상한을 도출한다.

ABSTRACT

We establish new sharp inequalities of Poincaré or log-Sobolev type, on geodesically-convex weighted Riemannian manifolds $(M,\mathfrak{g},μ)$ whose (generalized) Ricci curvature $Ric_{\mathfrak{g},μ,N}$ with effective dimension parameter $N\in (-\infty,\infty]$ is bounded from below by a constant $K\in\mathbb{R}$, and whose diameter is bounded above by $D\in (0,\infty]$ (Curvature-Dimension-Diameter conditions $CDD(K,N,D)$). To this end we establish a general method which complements the `localization' theorem which has recently been established by B. Klartag. Klartag's Theorem is based on optimal transport techniques, leading to a disintegration of the manifold measure into marginal measures supported on geodesics of the manifold. This leads to a reduction of the problem of proving a n-dimensional inequality into an optimization problem over a class of measures with 1-dimensional supports. In this work we firstly develop a general approach which leads to a reduction of this optimization problem into a simpler optimization problem, on a subclass of `model measures'. This reduction is based on functional analytic techniques, in particular a classification of extreme points of a specific subset of measures, and showing that the solution to the optimization problem is attained on this set of extreme points. Finally we solve the optimization problems associated with the Poincaré, p-Poincaré and the log-Sobolev inequalities subject to specific $CDD(K,N,D)$ conditions. Notably, we prove new sharp Poincaré inequalities for $N\in (-\infty,0]$. We find that for $N\in (-1,0]$ the characterization of the sharp lower bound on the Poincaré constant is of different nature; in addition we derive new lower bounds on the log-Sobolev constant under $CDD(K,\infty,D)$ conditions where $K\in\mathbb{R}$ and $D\in (0,\infty]$, which up to numeric constants are best possible.

연구 동기 및 목표

• 지오데식 컨벡스 가중 Riemann 다양체에서 곡률-차원-지름(CDD) 조건을 만족하는 Poincaré, p-Poincaré, log-Sobolev 상수에 대한 날카운 하한을 유도하는 것.
• 고차원 기능 부등식 문제를 실수선에 지지된 '모델 측도'의 하위집합으로의 최적화 문제로 감소시키는 일반적인 기능 해석적 방법을 개발하는 것.
• 특히 음의 효과적 차원 N에 대해 CDD(K,N,D) 조건 하에서 최적 상수를 달성하는 극값 측도를 특성화하는 것.
• CDD(K, ∞, D) 조건 하에서 N ∈ (−∞, 0]에 대해 새로운 날카운 부등식과 향상된 log-Sobolev 상한을 확립하는 것.
• 1차원 비교 기반의 단일 프레임워크 내에서 Li-Yau, Zhong-Yang, Lichnerowicz 추정치와 같은 이전 결과들을 통합 및 일반화하는 것.

제안 방법

• 특정 확률 측도 부분집합의 극단점 분류에 기반한 감소 기법으로, 기능 상수에 대한 비선형 최적화 문제의 해가 이 '모델 측도' 집합에서 도달됨을 보여주는 것.
• 최적 운반을 통한 Klartag의 국소화 정리 적용으로, 다양체 측도를 지오데식을 따라 1차원 마진 측도로 분해하는 것.
• 무한차원 최적화 문제를 다룰 수 있는 기능 해석 도구를 사용하여, 컴act한 측도 클래스 위에서 다룰 수 있는 1차원 문제로 단순화하는 것.
• 특정 CDD 조건 하에서 Poincaré, p-Poincaré, log-Sobolev 부등식의 1차원 최적화 문제를 해결하기 위한 특수 분석 기법의 적용.
• 1차원 측도에 대한 오일러-라그랑주 방정식 유도 및 관련 고유값 문제에 대해 스투름-리우빌 이론을 통한 해법.
• 실수선 위에 지지된 명시적 1차원 측도(예: 균일,余弦형)의 기능 상수와 다양체의 기능 상수를 비교하여 날카운 하한을 도출하는 것.

실험 결과

연구 질문

• RQ1 N ∈ (−∞, 0]일 때, CDD(K,N,D) 조건을 만족하는 가중 Riemann 다양체 위에서 Poincaré 상수의 날카운 하한은 무엇인가요?
• RQ2 N ∈ (−1, 0]일 경우 Poincaré 상수의 행동은 어떻게 변화하며, 이 영역에서 새로운 현상은 무엇이 나타납니까?
• RQ3 유한 지름 D를 가진 CDD(K, ∞, D) 조건 하에서 새로운 날카운 log-Sobolev 상수를 도출할 수 있습니까?
• RQ4 고차원 다양체 위의 기능 부등식 문제를 1차원 측도 하위집합으로의 최적화 문제로 감소시키는 일반적인 방법이 존재합니까?
• RQ5 '모델 측도'는 Poincaré 유형 및 log-Sobolev 유형 부등식의 극값 케이스를 특성화하는 데 어떤 역할을 합니까?

주요 결과

• N ∈ (−∞, 0]에 대해 새로운 날카운 Poincaré 부등식이 확립되었으며, N ∈ (−1, 0]일 경우 질적으로 다른 행동이 관찰되어 새로운 기하학적 현상이 드러남.
• N ∈ (−1, 0]일 경우, N > 0일 경우와 다른 함수 형태로 Poincaré 상수의 날카운 하한이 특성화되며, 이는 곡률-차원 프레임워크 내에서 단서 전이 현상이 있음을 시사함.
• K ∈ ℝ 및 D ∈ (0, ∞]인 CDD(K, ∞, D) 조건 하에서, 수치 상수를 제외하고 최적임이 입증된 log-Sobolev 상수에 대한 새로운 하한이 도출됨.
• 모델 측도로의 감소 기법이 일반적이며, 본 연구에서 다룬 세 가지 부등식 이외의 광범위한 기능 부등식 클래스에도 적용 가능함이 입증됨.
• 이 방법은 CDD 프레임워크 내에서 고전적 결과인 Li-Yau/Zhong-Yang 및 Lichnerowicz 추정치를 특수 케이스로 포함하고 통합함.
• 최적 상수들은 실수선에 지지된 1차원 측도의 것임이 밝혀졌으며, 곡률과 지름 제약 조건 하에서 균일 및 여유선형 측도에 대해 명시적 형태가 유도됨.