[논문 리뷰] A Hardy inequality on Riemannian manifolds and classification of discrete Dirichlet spectra

Nils Rautenberg|arXiv (Cornell University)|2014. 01. 20.

Spectral Theory in Mathematical Physics참고 문헌 4인용 수 5

한 줄 요약

이 논문은 단위 접선 공간 위에서의 지오데식 평균을 사용하여 리만 다양체 위에서 날카로운 하디 부등식을 수립하며, 경계 거리 정규성과 준유계성 조건이 딜리클레 라플라스 연산자의 순수 이산 스펙트럼을 유도함을 증명한다. 핵심 기여는 임의의 다양체로 일반화된 유클리드 경우를 위한 차원에 의존하는 하디 상수(n/4)로서, 이는 이상점이 있는 하이퍼볼릭 다양체 포함된 음의 곡률 공간 내 다각형의 스펙트럼 분류를 가능하게 한다.

ABSTRACT

We prove a Hardy inequality for uniformly elliptic operators subject to Dirichlet or mixed boundary conditions on domains $Ω$ with piecewiese smooth boundary in arbitrary Riemannian Manifolds (M, g). Employing an approach of E.B. Davies for the euclidean case, we show that it implies a sufficient geometric criterion under which the Laplace- Beltrami operator with Dirichlet boundary conditions $Δ^D$ has purely discrete spectrum on $Ω$. We proceed to classify all non-compact $Ω$ with discrete spectrum up to a boundary regularity condition and show that these include for example polygons with ideal vertices in manifolds of negative curvature. This a new result for non-constant curvature.

연구 동기 및 목표

• 일반적인 곡률을 가진 리만 다양체로 고전적인 유클리드 하디 부등식을 확장하는 것.
• 디리클레 경계 조건을 가진 라플라스-베르트라미 연산자의 순수 이산 스펙트럼을 위한 기하학적 기준을 설정하는 것.
• 경계 정규성과 준유계성 조건 하에서 비유계 영역의 이산 스펙트럼을 분류하는 것.
• 방향 평균을 통한 혼합 딜리클레-노이만 경계 조건으로 결과를 일반화하는 것.

제안 방법

• 단위 접선 공간 $ S_p\Omega $ 위에서의 지오데식 도달 반경의 역수에 대한 $ L^{-2} $-평균으로 거리 함수 $ m(p) $ 를 정의하며, 유클리드 사이는 지오데식으로 대체한다.
• 모든 $ f \in H^1_0(\Omega) $ 에 대해 날카로운 하디 부등식 $ \int |\mathrm{grad}(f)|^2 d\mu \geq \frac{n}{4} \int \frac{|f|^2}{m^2} d\mu $ 를 증명하며, 이 상수는 곡률에 독립적이다.
• 이 부등식을 통해 준유계성 조건이 경계 거리 정규성 하에서 순수 이산 스펙트럼을 위한 충분조건이 됨을 도출한다.
• 지오데식 평균을 딜리클레 경계 부분에 도달하는 방향으로 제한하여 혼합 경계 조건으로 결과를 일반화한다.
• 비교 기하학(토포고노프 정리)을 적용하여 $ -b \leq K \leq -a $ 인 변동 음의 곡률 다양체로 결과를 확장한다.
• 이상점이 있는 다각형의 경우 경계 거리 정규성을 확인하기 위해 하이퍼볼릭 공간에서의 균일한 콘 조건을 증명한다.

실험 결과

연구 질문

• RQ1 리만 다양체 $ (M,g) $ 내의 영역 $ \Omega $ 가 어떤 기하학적 조건을 만족할 경우 딜리클레 라플라스 연산자가 순수 이산 스펙트럼을 가질 수 있는가?
• RQ2 고정된 곡률이 아닌 리만 다양체로 고전적인 유클리드 하디 부등식을 일반화할 수 있는가?
• RQ3 지오데식 거리 평균 $ m(p) $ 이 스펙트럼 이산성의 결정에 어떤 역할을 하는가?
• RQ4 이상점이 있는 하이퍼볼릭 공간 내 다각형에서 라플라스 연산자의 스펙트럼은 어떻게 행동하는가?
• RQ5 스펙트럼 이산성 결과를 혼합 경계 조건을 가진 연산자로 확장할 수 있는가?

주요 결과

• 모든 리만 다양체에서 날카로운 하디 부등식이 성립한다: $ \int |\mathrm{grad}(f)|^2 d\mu \geq \frac{n}{4} \int \frac{|f|^2}{m^2} d\mu $, 여기서 $ m(p)^{-2} = \int_{S_p\Omega} r_p(v)^{-2} dv $.
• 하디 상수 $ \frac{n}{4} $ 는 차원에만 의존하며 곡률 또는 기하학적 자료에 독립적이다.
• 경계 거리 정규성 조건 하에서 $ \Omega $ 가 준유계이면 $ \Delta^D $ 의 순수 이산 스펙트럼을 위한 충분조건이 된다.
• 이상점이 있는 $ \mathbb{H}^n $ 내 다각형은 컴팩트성이 없더라도 이산 스펙트럼을 가진다.
• 비교 정리에 의해 $ -b \leq K \leq -a $, $ b > a > 0 $ 인 변동 음의 곡률 다양체로 결과가 확장된다.
• 혼합 경계 조건의 경우, 하디 부등식은 딜리클레 경계 $ \Gamma $ 를 향하는 지오데식 평균 $ m_\Gamma $ 를 사용하여 성립한다.