[논문 리뷰] Isoperimetric and Sobolev inequalities on hypersurfaces in sub-Riemannian Carnot groups

Francescopaolo Montefalcone|arXiv (Cornell University)|2010. 12. 11.

Geometric Analysis and Curvature Flows참고 문헌 38인용 수 5

한 줄 요약

이 논문은 하향 리만 구조의 카노우 군에서 초표면에 대한 등주 및 소볼레프 유형 부등식을 수립하며, 마이클과 시몬의 고전적 결과를 일반화한다. 수평 평균 곡률을 포함하는 날카운 등주 부등식을 유도하고, H-면적 측도에 대해 컴팩트한 C^2 초표면 위의 함수에 대한 최적의 L^p 소볼레프 임베딩을 증명하여, 비가역 분포를 가진 비유클리드적 환경으로 기하학 분석을 확장한다.

ABSTRACT

Let G be a k-step Carnot group. We prove an isoperimetric-type inequality for compact C^2-smooth immersed hypersurfaces with boundary, involving the horizontal mean curvature of the hypersurface. This generalizes an inequality due to Michael and Simon, and Allard, independently. Some applications are discussed.

연구 동기 및 목표

• 유클리드 공간에서의 등주 및 소볼레프 부등식을 k단계 카노우 군의 하향 리만 설정으로 확장하기 위해.
• H-면적 측도에 대해 컴팩트한 C^2 초표면에서 마이클-시몬 등주 부등식을 하향 리만 카노우 군으로 일반화하기 위해.
• 수평 및 수직 기울기를 모두 포함하는 초표면 위의 함수에 대해 날카운 소볼레프 유형 부등식을 수립하기 위해.
• 단조성 공식과 붓업 기법을 통해 H-면적 측도의 渐近적 행동을 분석하기 위해.
• 특히 비자명한 계층적 리 군 구조를 가진 측도 공간에서 하향 리만 기하학의 초표면에 대한 완전한 기하학적 및 해석적 프레임워크를 제공하기 위해.

제안 방법

• H-기울기의 공식을 사용하여 함수의 등고선 집합과 초표면 위의 H-면적 측도 간의 관계를 유도한다.
• H-면적의 제1변분 공식을 적용하여 수평 평균 곡률를 포함하는 기하학적 항등식을 도출한다.
• 초표면 상의 점 p ∈ S 에서 붓업 기법을 사용하여 H-면적 측도의 국소적 행동을 분석하고 단조성 성질을 도출한다.
• 단조성 공식과 B2(t)에 대한 추정치를 사용하여 선형 등주 부등식을 도출하며, 이는 문헌에 기록된 이전 추정치를 향상시킨다.
• 보간 및 허더 부등식을 적용하여 L^p 와 L^{p*} 노름 사이를 보간함으로써 소볼레프 임베딩의 증명을 가능하게 한다.
• 요우의 부등식과 반복 정밀화 기법을 사용하여 p = Q-1 인 극한의 경우에서 L^p 유계성의 범위를 q ≥ Q-1 전역으로 확장함으로써 최적의 소볼레프 유형 부등식을 증명한다.

실험 결과

연구 질문

• RQ1 마이클-시몬 등주 부등식은 하향 리만 카노우 군 내 컴팩트한 C^2 초표면으로 일반화될 수 있는가?
• RQ2 등주 상수의 정확한 기하학적 양(예: 평균 곡률 및 내재 반경)에 대한 의존성은 무엇인가?
• RQ3 특히 p = Q-1 인 임계 경우에서 하향 리만 공간 내 초표면에서 소볼레프 유형 부등식은 어떻게 행동하는가?
• RQ4 점 근처에서 H-면적 측도의 渐近적 행동은 무엇이며, 단조성 공식과의 관계는 어떻게 되는가?
• RQ5 H-면적 측도에 대해 초표면 위의 함수에 대한 최적의 L^p 소볼레프 임베딩을 수립할 수 있는가, 이때 수평 및 수직 기울기를 모두 포함하는가?

주요 결과

• k단계 카노우 군 내 컴팩트한 C^2 초표면 S에 대해 H-면적 측도와 수평 평균 곡률를 포함하는 날카운 등주 부등식이 수립되었으며, 마이클-시몬 결과를 일반화한다.
• 양 B2(t)의 추정치를 향상시킴으로써 주 등주 부등식의 보다 정밀한 표현이 가능해졌으며, 경고 4.4 및 섹션 4.3에서 자세히 설명되어 있다.
• p ∈ [Q-1, ∞) 에 대해, 수평 평균 곡률, 내재 반경 r(S), 군 구조에 따라 달라지는 상수 C_q 가 존재하여, ψ의 L^q 노름이 S 상에서의 L^p 노름과 수평 기울기 및 수직 기울기의 L^p 노름의 합으로 유계가 된다.
• 임계 경우 p = Q-1 에서, 모든 q ≥ Q-1 에 대해 소볼레프 임베딩이 성립하며, 상수 C_q 는 H^0_H, r(S), ϱ, 군 G 에 따라 달라진다.
• H-면적 측도 σ^{n-1}_H(S) 의 渐近적 행동은 단조성 공식을 통해 특징지어지며, 임의의 점에서 붓업을 수행할 경우 안정화됨을 보여준다.
• 소볼레프 부등식의 증명은 L^{(Q-1)^2/(Q-2)} 유계성에서 출발하여 허더 및 요우의 부등식을 반복 적용함으로써, 모든 q ≥ Q-1 로 확장된다.