[논문 리뷰] Infimum of the exponential volume growth and the bottom of the essential spectrum of the Laplacian

Hironori Kumura|ArXiv.org|2007. 07. 02.

Analytic Number Theory Research참고 문헌 7인용 수 6

한 줄 요약

이 논문은 비유한 리만 다양체에서 라플라스 연산자의 본질 스펙트럼의 하한에 관해布鲁크스가 제시한 두 정리를, 지수적 체적 성장 조건에서 limsup를 liminf로 대체함으로써 수정한다. 무한체적과 유한체적 다각형 모두에서 본질 스펙트럼의 하한은 지수적 체적 성장률의 하한의 제곱으로 위에서 유계임을 증명하며, 브룩스의 원래 결과보다 더 날카로운 추정치를 제공한다.

ABSTRACT

The purpose of this paper is to point out that `supremum' in two inequalities of Brooks should be replaced with `infimum'. The results of this paper are already known by Professor Higuci. Hence, I want to delete this paper from this preprint server.

연구 동기 및 목표

• 완비 비유한 리만 다양체에서 라플라스 연산자의 본질 스펙트럼 하한에 관해 브룩스의 정리들에 존재하는 오류를 수정하는 것.
• 무한체적 및 유한체적 다각형 모두에서 브룩스의 부등식들에서 limsup를 liminf로 대체해야 함을 보여주는 것.
• 지수적 체적 성장률의 하한을 사용하여 본질 스펙트럼 하한에 대해 더 날카로운 상한을 설정하는 것.
• 진동하는 체적 성장 패턴을 가진 명시적 예시를 통해 개선된 정리들의 날카로움을 보여주는 것.
• 거리 구의 이sopeimetric 추정에서의 한계를 논의하고, 유한합의 커버링 변환된 구들의 조합을 더 나은 후보로 제안하는 것.

제안 방법

• 지수적 체적 성장률 μ_inf 및 μ_f,inf의 정의에서 limsup를 liminf로 대체함으로써 브룩스의 정리를 재구성한다.
• 브룩스의 정리 2.1의 변형을 적용하여, M−K에서의 딜리클레 라플라스 연산자의 스펙트럼 간격이 e^{2αr(x)}의 적분 가능성과 연결됨을 보인다.
• 모순 증명을 사용한다: α > μ_inf/2 라고 가정하면 ∫_M-K e^{2αr(x)} dv_M = ∞ 가 되며, 이는 정리 2.1의 적분 가능성 조건과 모순된다.
• 체적 성장이 0에서 n−1 사이를 진동하는 회전 대칭 다각형의 명시적 예를 구성하여, μ_inf = 0 이지만 μ = n−1 임을 보인다.
• Følner-Brooks 정리를 적용하여, 애먼 커버에서 거리 구가 이소페리메트릭 추정에 최적의 후보가 아니며, 유한합의 변환된 구 H_i 가 더 나은 후보가 될 수 있음을 논증한다.
• Kumura (K1, K2)의 기준을 적용하여 곡률 및 거리 함수 조건 하에서 전체 본질 스펙트럼을 특징짓는다.

실험 결과

연구 질문

• RQ1 왜 브룩스의 원래 정리에서 limsup를 사용하는 것이 본질 스펙트럼 하한을 유계화하는 데 비효율적인가?
• RQ2 liminf로 정의된 지수적 체적 성장률이 본질 스펙트럼 하한에 대해 더 날카로운 상한을 제공할 수 있는가?
• RQ3 M−K에서의 딜리클레 라플라스 연산자가 변분 원리에 의해 스펙트럼 하한을 특징짓는 데 어떤 역할을 하는가?
• RQ4 진동하는 체적 성장 패턴은 스펙트럼 추정치의 날카로움에 어떤 영향을 미치는가?
• RQ5 애먼 커버에서 거리 구가 왜 이소페리메트릭 후보로 실패하며, 그 대안은 무엇인가?

주요 결과

• 정리 1.3은 브룩스의 limsup를 liminf로 대체하여, 무한체적 다각형에서 minσ_ess(−Δ) ≤ μ_inf²/4 를 증명한다.
• 정리 1.4는 브룩스의 limsup를 liminf로 대체하여, 유한체적 다각형에서 minσ_ess(−Δ) ≤ μ_f,inf²/4 를 증명한다.
• 명시적 예시를 통해 μ_inf = 0 이지만 μ = n−1 이며, minσ_ess(−Δ) = 0 임을 보여, 정리 1.3이 정리 1.1보다 엄밀히 더 날카로움을 증명한다.
• 애먼 커버(예: 해소군)에서는 μ_inf > 0 이지만 minσ_ess(−Δ) = 0 이며, 이는 정리 1.3이 항상 날카로운 것은 아님을 보여, 이소페리메트릭 후보가 비최적임을 시사한다.
• Følner-Brooks 정리는 애먼 케이스에서 거리 구보다 유한합의 커버링 변환된 구 H_i 가 더 나은 이소페리메트릭 후보가 됨을 시사한다.
• 곡률 및 거리 함수 조건 하에서 전체 본질 스펙트럼은 σ_ess(−Δ) = [c²/4, ∞) 이며, 여기서 c는 r→∞ 일 때 Δr의 극한이다.