[논문 리뷰] A volume preserving flow and the isoperimetric problem in warped product spaces

Pengfei Guan, Junfang Li외 1명|arXiv (Cornell University)|2016. 09. 27.

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

한 줄 요약

이 논문은 둘레가 일정한 초표면의 흐름을 와핑 곱 공간에서 도입하여, 둘레가 일정하게 유지되면서 표면적을 단조 감소시키는 흐름을 제시한다. 이 흐름은 지수적으로 r의 반경 방향 수준 집합으로 수렴하며, 등주 부등식을 증명한다: 임의의 그래프 형태의 초표면에 대해 표면적 ≥ ξ(부피)이며, 등호가 성립하는 것은 초표면이 반경 방향 슬라이스일 때에만 성립하며, φ와 기저 다양체에 대한 곡률 조건이 만족되어야 한다.

ABSTRACT

In this article, we continue the work in \cite{GL} and study a normalized hypersurface flow in the more general ambient setting of warped product spaces. This flow preserves the volume of the bounded domain enclosed by a graphical hypersurface, and monotonically decreases the hypersurface area. As an application, the isoperimetric problem in warped product spaces is solved for such domains.

연구 동기 및 목표

• 대칭 공간(예: 구, 유클리드, 쌍곡 공간)에서의 부피 보존 흐름을 일반적인 와핑 곱 공간으로 확장하는 것.
• 와핑 함수 φ와 기저 다양체 (B^n, g̃)에 대한 곡률 조건 하에서 정규화된 흐름 (1.2)의 매끄러운 해의 존재성과 장기적 행동을 확립하는 것.
• 와핑 곱 공간에서의 등주 문제를 해결하기 위해, 임의의 그래프 형태의 초표면의 표면적이 그가 둘러싸는 부피의 함수 ξ에 의해 아래에서 유계임을 증명하는 것.
• 등주 부등식의 등호 조건을 특성화하여, 등호가 성립하는 것은 초표면이 r의 반경 방향 수준 집합일 때에만 성립함을 보이는 것.
• 곡률 조건 (φ′)² − φφ′′ ≤ K 및 Ric( g̃ ) ≥ (n−1)K g̃ 가 흐름의 안정성과 단조성과 관련하여 기하학적으로 어떤 의미를 갖는지 명확히 하는 것.

제안 방법

• 와핑 곱 공간 N^{n+1} = [r₀, r̄] × φ Bⁿ에서 초표면에 대한 정규화된 포물선형 흐름 (1.2)를 정의한다. 여기서 메트릭은 d r² + φ² g̃ 이다.
• 흐름의 벡터장은 (nφ′ − uH)ν 이며, 여기서 u = ⟨X, ν⟩ 는 X = φ(r)∂r 인 등각 케일링 필드 X에 대한 지지 함수이다.
• 기울기 추정과 최대원리 기법을 사용하여, 장기 존재성과 반경 방향 수준 집합 r = c 로의 지수 수렴을 증명한다.
• 적분 항등식과 진화 방정식을 통해 표면적 기능의 단조성과 포함된 부피의 보존을 확립한다.
• 표면적의 등주 부등식을 도출하기 위해, 임의의 그래프 형태의 초표면 M에 대해 Area(M) ≥ ξ(Vol(Ω)) 를 증명한다. 여기서 ξ는 A(r) = ξ(V(r)) 로 정의된다.
• 안정성 조건을 사용하여 등호 조건을 분석한다: (φ′)² − φφ′′ < K 또는 Ric( g̃ ) > (n−1)K g̃ 라면, 등호가 성립하는 것은 M이 반경 방향 슬라이스일 때에만 성립한다.

실험 결과

연구 질문

• RQ1 일반적인 와핑 곱 공간에서 부피 보존 초표면 흐름이 존재하는가? 그리고 반경 방향 슬라이스로 수렴하는가?
• RQ2 와핑 함수 φ와 기저 다양체 (Bⁿ, g̃)에 대한 곡률 조건은 흐름의 단조성과 안정성에 어떤 영향을 미치는가?
• RQ3 이 흐름을 통해 와핑 곱 공간에서의 등주 부등식을 확립할 수 있는가? 등호는 정확히 반경 방향 수준 집합에서 성립하는가?
• RQ4 조건 (φ′)² − φφ′′ ≤ K 와 Ric( g̃ ) ≥ (n−1)K g̃ 는 기하학적 안정성과 부피 제약 하에서 표면적 최소화와 어떻게 관련되어 있는가?
• RQ5 등주 프로파일 ξ(x) = A(r) 의 명시적 형태는 무엇이며, x = V(r) 일 때 φ와 g̃ 로부터 어떻게 계산되는가?

주요 결과

• 곡률 조건 (1.3) 하에서 흐름 (1.2)는 모든 t ∈ [0, ∞) 에서 매끄러운 해를 가지며, 해는 반경 방향 수준 집합 r = c 로 지수 수렴한다.
• 임의의 매끄러운 그래프 형태의 초표면 M에 대해 표면적이 ξ(Vol(Ω)) 에 의해 아래에서 유계이며, 여기서 ξ는 A(r) = ξ(V(r)) 로 정의된다. 이는 와핑 곱 공간에서의 등주 부등식을 증명한다.
• 등주 부등식의 등호는 (φ′)² − φφ′′ < K 또는 Ric( g̃ ) > (n−1)K g̃ 라면, M이 반경 방향 수준 집합 r = c 일 때에만 성립한다.
• K = 0 이면, (φ′)² = φφ′′ 이면 φ(r) = a e^{br} 이며, 수렴은 모든 k에 대해 C^k에서 성립한다.
• n = 1 이고 φ(r) = sin(r) 이면 등주 프로파일은 명시적으로 ξ(x) = √[x(4π − x)] 이며, φ(r) = sinh(r) 이면 ξ(x) = √[x(4π + x)] 이다.
• 조건 (φ′)² − φφ′′ ≤ K 는 흐름의 단조성을 보장하며, Lichnerowicz의 고유값 정리에 따라 반경 방향 슬라이스가 CMC 표면로서 안정적임을 의미한다.