[논문 리뷰] Log-Sobolev inequalities for subelliptic operators satisfying a generalized curvature dimension inequality

Fabrice Baudoin, Michel Bonnefont|arXiv (Cornell University)|2011. 06. 02.

Geometric Analysis and Curvature Flows참고 문헌 44인용 수 79

한 줄 요약

이 논문은 일반화된 곡률-차원 조건 CD(ρ₁, ρ₂, κ, ∞) 하에서, 비타당한 미분형의 하향형 확산의 불변 측도에 대해 로그-소볼레프, 파oincaré, 그리고 로그-등면적 부등식을 수립한다. Γ-계산법과 부분 리만 기하학을 활용하여, 차원에 종속되지 않는 함수적 부등식을 증명하며, ρ₁, ρ₂, κ에 의존하는 명시적인 상수를 갖는 가우시안 유형의 등면적 부등식을 도출한다. 이는 고전 결과를 타원형이 아닌 설정, 예를 들어 헤이젠베르크 군과 사사카이 다양체로 확장한다.

ABSTRACT

Let $\\M$ be a smooth connected manifold endowed with a smooth measure $\\mu$ and a smooth locally subelliptic diffusion operator $L$ which is symmetric with respect to $\\mu$. We assume that $L$ satisfies a generalized curvature dimension inequality as introduced by Baudoin-Garofalo \\cite{BG1}. Our goal is to discuss functional inequalities for $\\mu$ like the Poincar\\'e inequality, the log-Sobolev inequality or the Gaussian logarithmic isoperimetric inequality.

연구 동기 및 목표

• 부분타원형 확산의 불변 측도에 대해 기능적 부등식—파oincaré, 로그-소볼레프, 등면적 부등식—을 수립하기.
• 백리-에메리 기준을 타원형 설정을 초월하여 일반화된 곡률-차원 부등식 CD(ρ₁, ρ₂, κ, ∞)를 도입함으로써 확장하기.
• 부분 리만 기하학에서 로그-소볼레프 상수와 등면적 프로파일에 대한 차원에 종속되지 않는 경계를 도출하기.
• 헤이젠베르크 군, 사사카이 다양체, 헤르망더 유형 연산자에서의 결과를 통합하고 일반화하여 동일한 곡률 프레임워크로 통합하기.
• 이차 운반 비용 부등식이 ρ₁, ρ₂, κ에 명시적인 의존성을 갖는 수정된 로그-소볼레프 부등식을 유도함을 증명하기.

제안 방법

• Γ와 두 번째 순서 형식 ΓZ를 포함하는 일반화된 곡률-차원 조건 CD(ρ₁, ρ₂, κ, ∞)를 도입하며, 여기서 ρ₁ ∈ ℝ, ρ₂ > 0, κ ≥ 0, d = ∞이다.
• Γ₂ 계산법과 (H.1)–(H.2)의 가정을 사용하여 확산 연산자 L의 본질적 자기수반성과 구조 일관성을 확보한다.
• 역 파인카레 및 로그-하르낙크 부등식을 적용하여 열 반군을 제어하고 엔트로피 경계를 도출한다.
• 오토-빌라니 및 보브코프-젠틸-레두의 방법을 변형하여 엔트로피, 워샤르슈타인 거리, 에너지를 연결하는 수정된 HWI 부등식을 증명한다.
• 초수렴성과 반군 추정을 사용하여 Pt1A − 1A의 L¹ 노름을 제어함으로써 등면적 추정을 가능하게 한다.
• BV(M)에서 특성 함수의 근사화를 통해 둘레 경계를 유도하고, 역 파인카레 부등식을 적용하여 반군 차이의 L¹ 노름을 제어한다.

실험 결과

연구 질문

• RQ1 타원형이 아닌 조건 하에서 일반화된 곡률-차원 조건을 만족할 때, 부분타원형 확산에 대해 로그-소볼레프 부등식을 수립할 수 있는가?
• RQ2 이러한 연산자에 대해 로그-소볼레프 상수에 대한 날카로운, 차원에 종속되지 않는 경계는 무엇인가?
• RQ3 이중 운반 비용 부등식은 부분 리만 기하학 설정에서 수정된 로그-소볼레프 부등식과 어떻게 관련이 있는가?
• RQ4 CD(ρ₁, ρ₂, κ, ∞) 조건과 로그-소볼레프 부등식 하에서, 가우시안 유형의 로그-등면적 부등식을 도출할 수 있는가?
• RQ5 ΓZ 형식은 고전적 부등식을 타원형이 아닌 연산자로 확장하는 데 어떤 역할을 하는가?

주요 결과

• CD(ρ₁, ρ₂, κ, ∞) 조건 하에서 ρ₁ > 0, ρ₂ > 0 이면, 파인카레 부등식이 상수 (κ + ρ₂)/(ρ₁ρ₂) 로 성립하며, 차원에 영향을 받지 않는다.
• 확률 측도에 대해, ρ₁, ρ₂, κ 및 d²(x₀, x)의 지수적 순간에 의존하는 상수를 갖는 수정된 로그-소볼레프 부등식이 증명되었다. 이는 차원에 종속되지 않는 경계를 제공한다.
• 이차 운반 비용 부등식이 c < 2/ρ₋₁ 를 만족하면, 상수 C₁, C₂가 c, ρ₁, ρ₂, κ에만 의존하는 수정된 로그-소볼레프 부등식이 성립한다.
• 가우시안 유형의 로그-등면적 부등식이 수립되었다: P(A) ≥ (ln 2 / 4)(3 + 2κ/ρ₂) min(√ρ₀, ρ₀/√|ρ₋₁|) μ(A)(ln(1/μ(A)))¹ᐟ², 여기서 μ(A) ≤ 1/2 이다.
• 등면적 부등식의 상수는 고전 결과와 달리 차원에 종속되지 않으며, 리-야우 추정 대신 역 파인카레 추정을 사용함으로써 이를 달성한다.
• 결과는 헤이젠베르크 군의 하향형 라플라스 연산자, 사사카이 다양체, 헤르망더 유형 연산자에 적용되며, 부분 리만 기하학에서 알려진 기능적 부등식을 일반화한다.