[논문 리뷰] Sobolev, Poincare and isoperimetric inequalities for subelliptic diffusion operators satisfying a generalized curvature dimension inequality

Fabrice Baudoin, Bumsik Kim|arXiv (Cornell University)|2012. 03. 16.

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

한 줄 요약

이 논문은 일반화된 곡률-차원 조건 CD(ρ₁, ρ₂, κ, d)를 만족하는 부분타원형 확산 연산자에 대해 소볼레프, 파oincaré, 그리고 등주부등식을 수립한다. 레두우의 열 반군 기법을 부분리만 기하학에 적응시켜, 날카로운 함수부등식과 수직 웨브스터-탄다카-리치 곡률이 음이 아닌 CR 시아카니안 다양체, 단계-두 개의 카노우 군, 그리고 일부 비음성 곡률을 가진 리만 다양체 위의 주기저에 대해 유효한 리히너비치 유형의 첫 번째 비영인 고유값에 대한 하한을 도출한다.

ABSTRACT

By adapting some ideas of M. Ledoux \cite{ledoux2}, \cite{ledoux-stflour} and \cite{Led} to a sub-Riemannian framework we study Sobolev, Poincaré and isoperimetric inequalities associated to subelliptic diffusion operators that satisfy the generalized curvature dimension inequality that was introduced by F. Baudoin and N. Garofalo in \cite{Bau2}. Our results apply in particular on all CR Sasakian manifolds whose horizontal Webster-Tanaka-Ricci curvature is non negative, all Carnot groups with step two, and wide subclasses of principal bundles over Riemannian manifolds whose Ricci curvature is non negative.

연구 동기 및 목표

• 일반화된 곡률-차원 부등식 CD(ρ₁, ρ₂, κ, d)를 만족하는 부분타원형 확산 연산자에 대해 고전적인 함수부등식—소볼레프, 파oincaré, 등주부등식—을 확장하는 것.
• curvature 조건 하에서 정량적 부등식을 도출하기 위해 M. 레두우의 열 반군 기법을 부분리만 기하학 환경에 적응시키는 것.
• 연산자 −L의 첫 번째 비영인 고유값에 대한 리히너비치 유형의 하한을 곡률 매개변수 ρ₁, ρ₂, κ 및 차원 d 로 표현하는 것.
• 결과들이 CR 시아카니안 다양체, 단계-두 개의 카노우 군, 그리고 일부 비음성 곡률을 가진 리만 다양체 위의 주기저와 같은 기하학적 구조에 적용 가능한지 보여주는 것.

제안 방법

• 2차 미분형식 Γ₂와 Γ₂^Z가 곡률과 차원과 연결된 일반화된 곡률-차원 부등식 CD(ρ₁, ρ₂, κ, d)를 기본 가정으로 사용한다.
• 특히 반군 P_t를 이용해 기울기 추정과 가짜-파oincaré 부등식을 도출하기 위해 레두우의 영감을 받은 열 반군 기법을 적용한다.
• 내재된 부분리만 기하학을 정의하고 함수의 행동을 통제하기 위해 캐르레 두 샹 연산자 Γ 및 그 Z-변형 Γ^Z를 사용한다.
• 열 흐름이 집합의 측도와 경계와 연결되는 바탕으로, P_t 1_E − 1_E의 L¹ 노름에 대한 추정을 통해 등주부등식을 도출한다.
• 적분 by parts와 스펙트럼 이론을 사용하여 −L의 첫 번째 비영인 고유값에 대한 하한을 유도하며, 고전적인 리히너비치 정리의 일반화를 이룬다.
• 하나의 하한을 보장하기 위해 (H.1)–(H.3)의 가정 하에 백리-에메리 유형의 추론을 적용하여, 부분타원형 프레임워크 내에서 반군과 곡률 추정의 타당성을 확보한다.

실험 결과

연구 질문

• RQ1 일반화된 곡률-차원 조건 하에서 부분타원형 확산 연산자에 대해 소볼레프, 파oincaré, 등주부등식을 수립할 수 있는가?
• RQ2 곡률 매개변수 ρ₁, ρ₂, κ 및 차원 d 는 부분리만 기하학에서 함수부등식과 스펙트럼 간격에 어떻게 영향을 미치는가?
• RQ3 일반화된 곡률-차원 조건 하에서 부분타원형 연산자 −L의 첫 번째 비영인 고유값에 대한 날카로운 하한은 무엇인가?
• RQ4 비영인 토르션과 수평 부분리만 기하학적 구조를 가진 부분타원형 환경으로서, 레두우의 열 반군 기법이 어느 정도까지 확장 가능한가?
• RQ5 소볼레프, 파oincaré, 등주부등식이 명시적인 곡률 및 차원 의존성과 함께 성립하는 기하학적 클래스—예를 들어 CR 시아카니안 다양체 또는 카노우 군—는 무엇인가?

주요 결과

• 날카로운 등주부등식이 수립된다: CD(ρ₁, ρ₂, κ, d) 조건 하에서, 체거 등주부등식 상수는 ρ₁, ρ₂, κ 를 포함한 하한을 가진다.
• ρ₁ > 0 이면, ρ₁, ρ₂, κ 에 의존하는 상수를 가진 파oincaré 부등식이 증명되며, 부분리만 기하학적 맥락에서 고전 결과를 향상시킨다.
• 개선된 소볼레프 임베딩이 도출되며, W^{1,2} 공간에 속하는 함수들이 p > 2 에 대해 L^p 로 연속적으로 임베딩됨을 보여주며, 곡률 매개변수에 명시적인 의존성을 가진다.
• −L의 첫 번째 비영인 고유값 λ₁ 에 대한 리히너비치 유형의 하한이 증명된다: λ₁ ≥ ρ₁ρ₂ / ( ((d−1)/d)ρ₂ + κ ), 이는 κ = 0 일 때 고전적인 리만 기하학적 경우로 축소된다.
• P_t 1_E − 1_E 의 L¹ 노름에 대한 하한은 정량적 등주부등식으로 이어지며, 다음을 만족한다: μ(E) − ∫(P_{t/2}1_E)^2 dμ ≤ √(2/ρ₁)(1 + 2κ/ρ₂)√(1 − e^{−ρ₁ρ₂/(ρ₂+κ)t}) μ(E), 모든 t > 0 에 대해 유효하다.
• 결과들이 수직 웨브스터-탄다카-리치 곡률이 음이 아닌 CR 시아카니안 다양체, 단계-두 개의 카노우 군, 그리고 비음성 곡률을 가진 리만 다양체 위의 광범위한 주기저 하위클래스에서 유효함을 보였다.