[논문 리뷰] On the finiteness of the Morse Index for Schrödinger operators

Baptiste Devyver|arXiv (Cornell University)|2010. 11. 15.

Spectral Theory in Mathematical Physics참고 문헌 6인용 수 11

한 줄 요약

이 논문은 완비 리만다이만 다양체 위의 슈뢰딩거 연산자 $ H = \Delta + V $의 모르스 지수의 유한성과 컴팩트 집합 외부에서 $ H\varphi = 0 $인 양의 해의 존재 사이에 정확한 동치 관계를 설정한다. 주요 기여는 유한한 모으스 지수가 존재할 경우 그러한 해가 존재하고, 그 반대도 성립함을 보이며, 도브 변환과 잠재력이 컴팩트한 지지집합을 가진 슈뢰딩거 연산자에 대한 포텐셜 이론을 통해 이를 증명한다.

ABSTRACT

Let H=$Δ+V$ be a Schrödinger on a complete non-compact manifold. It is known since the work of Fischer-Colbrie and Schoen that the finiteness of the negative spectrum of $H$ implies the existence of a function $ϕ$ solution of $Hϕ=0$ outside a compact set. This has consequences for minimal surfaces and for the finiteness of spaces of harmonic sections in the Bochner method. Here we show that the converse statement also holds: if there exists $ϕ$ solution of $Hϕ=0$ outside a compact set, then $H$ has a finite number of negative eigenvalues.

연구 동기 및 목표

• 완비 리만다이만 다양체 위의 슈뢰딩거 연산자 $ H = \Delta + V $의 모를스 지수의 유한성에 대한 필요 및 충분 조건을 설정하는 것.
• 컴팩트 집합 외부에서 $ H\varphi = 0 $인 양의 해가 존재할 수 있는지 여부가 무한한 수의 음의 고유값과 동시에 존재할 수 있는지에 대한 미해결 문제를 해결하는 것.
• 그러한 양의 해의 존재성이 유한한 모를스 지수와 동치임을 보여, 슈뢰딩거 연산자의 스펙트럼 이론에서의 갭을 메우는 것.
• 도브 변환과 스펙트럼 갭 분석을 통해 보처 기법과 포텐셜 이론을 일반 슈뢰딩거 연산자로 확장하는 것.

제안 방법

• 원래 슈뢰딩거 연산자 $ H = \Delta + V $를 도브 변환을 통해 새로운 연산자 $ L = \varphi^{-1}H\varphi $로 변환하며, 이는 잠재력 $ \tilde{V} $가 컴팩트한 지지집합을 가진 형태인 $ \Delta_{\varphi^2} + \tilde{V} $로 표현된다.
• 변환된 연산자 $ L $의 잠재력 $ \tilde{V} $가 비음이므로 표준 스펙트럼 이론과 포텐셜 이론을 적용할 수 있음을 이용한다.
• 가중치 스펙트럼 갭을 통한 포텐셜 이론의 이분법(포텐셜 이론에서의 포텐셜과 비포텐셜)을 활용하여 $ L $의 스펙트럼 성질, 특히 음이거나 0인 고유값의 유한성을 분석한다.
• 임의의 슈뢰딩거 연산자 $ L = \Delta_{\mu} + W $에 대해 $ W \geq 0 $일 경우, 레일리 몫에 기반한 시험 함수의 방법을 통해 음이거나 0인 고유값의 수가 유한함을 증명한다.
• 원래 연산자 $ H $와 $ L $이 컴팩트한 지지집합을 가진 잠재력으로만 다를 뿐이므로, $ L $에 대한 유한성 결과를 $ H $로 다시 전이함으로써 모를스 지수의 유한성을 확립한다.
• 문헌 [9]에서 제시된 가중치 스펙트럼 갭과 임계성(포텐셜 이론) 이론을 적용하여, 부호가 변화하는 잠재력이 있는 경우에도 스펙트럼 갭 조건이 유지됨을 보장함으로써, 일반화된 분석을 확장한다.

실험 결과

연구 질문

• RQ1 컴팩트 집합 외부에서 $ H\varphi = 0 $인 양의 해가 존재하는 것과 슈뢰딩거 연산자 $ H = \Delta + V $의 유한한 모를스 지수 사이에 동치 관계가 성립하는가?
• RQ2 모를스 지수가 유한한 슈뢰딩거 연산자가 조건부로 0에 수렴하는 무한한 수의 음의 고유값을 가질 수 있는가?
• RQ3 모를스 지수가 유한하다면, 컴팩트 집합 외부에서 슈뢰딩거 방정식에 대한 양의 해가 존재하는가?
• RQ4 도브 변환과 포텐셜 이론을 통해 일반 슈뢰딩거 연산자에 대해 모를스 지수의 유한성을 증명할 수 있는가?
• RQ5 잠재력 $ V $에 어떤 조건이 성립하면 슈뢰딩거 연산자 $ H $의 모를스 지수가 유한한가?

주요 결과

• 완비 리만다이만 다양체 위의 슈뢰딩거 연산자 $ H = \Delta + V $의 모를스 지수가 유한한 것은, 컴팩트 집합 외부에서 $ H\varphi = 0 $인 $ C^\infty $ 함수 $ \varphi \in W^{1,2}_{\text{loc}} $가 존재하는 것과 정확히 동치이다.
• 모를스 지수가 유한한 경우, $ H $의 $ L^2 $ 내부에서의 커널은 유한차원이다.
• 도브 변환 $ L = \varphi^{-1}H\varphi $는 $ H $를 컴팩트한 지지집합을 가진 잠재력과 함께 가진 슈뢰딩거 연산자로 변환하며, 이는 스펙트럼의 유한성 결과를 적용할 수 있게 한다.
• 임의의 슈뢰딩거 연산자 $ L = \Delta_{\mu} + W $에 대해 $ W \geq 0 $일 경우, 레일리 몫에 기반한 시험 함수의 방법을 통해 음이거나 0인 고유값의 수가 유한함을 보였다.
• 가중치 스펙트럼 갭(즉, 비포텐셜성)이 존재하면, 잠재력이 음이 아닌 경우가 아니더라도 음이거나 0인 고유값의 수가 유한하게 유지됨을 보장한다.
• 잠재력 $ W \geq 0 $을 가진 $ H = \Delta_{\mu} + W + V $ 형태의 연산자에도 결과가 확장되며, 모를스 지수의 유한성이 이러한 변형에 대해 안정적임을 보였다.