[논문 리뷰] Note on the spectrum of discrete Schrödinger operators

Fumio Hiroshima, Itaru Sasaki외 2명|arXiv (Cornell University)|2012. 09. 04.

Spectral Theory in Mathematical Physics참고 문헌 1인용 수 7

한 줄 요약

이 논문은 d차원 격자에서 단일점 델타 포텐셜을 가진 이산 슈뢰딩거 연산자의 스펙트럼 성질을 분석한다. 푸리에 변환과 랭크-일차 섭동 이론을 사용하여 특이 연속 스펙트럼의 부재를 증명하고, 임베디드 고유값은 d ≥ 5일 때에만 존재하며, 고유값의 존재와 부재를 나누는 임계 결합 강도 v_c가 있음을 규명한다.

ABSTRACT

The spectrum of discrete Schrödinger operator $L+V$ on the $d$-dimensional lattice is considered, where $L$ denotes the discrete Laplacian and $V$ a delta function with mass at a single point. Eigenvalues of $L+V$ are specified and the absence of singular continuous spectrum is proven. In particular it is shown that an embedded eigenvalue does appear for $d\geq5$ but does not for $1\leq d\leq 4$.

연구 동기 및 목표

• Z^d 위의 이산 슈뢰딩거 연산자에 대해 단일 델타 포텐셜을 가진 경우의 스펙트럼 분해—특히 임베디드 고유값의 존재 또는 부재를 규명하는 것.
• 차원 d가 고유값의 존재와 스펙트럼의 구조에 어떻게 영향을 미치는지 분석하는 것.
• 이 연산자의 스펙트럼 분해에서 특이 연속 스펙트럼이 존재하지 않음을 증명하는 것.
• d ≥ 5인 차원에서 고유값이 존재하는지 여부를 나누는 임계 결합 강도 v_c를 특성화하는 것.

제안 방법

• 푸리에 변환을 통해 이산 슈뢰딩거 연산자 L + V를 d차원 토러스 T^d 위의 곱셈 연산자 g + v(φ, ψ)φ로 변환한다.
• 연산자를 g(θ) = (1/d) ∑_{j=1}^d cos θ_j로 주어지는 이산 라플라스 연산자의 랭크-일차 섭동으로 표현한다.
• 해결함수 방정식과 스펙트럼 측도 분석을 통해 조건 ∫_{T^d} (E - g(θ))^{-1} dθ = v^{-1} (2π)^d 를 통해 고유값을 특성화한다.
• 산산각 이론과 스펙트럼 측도 분해 결과를 적용하여 특이 연속 스펙트럼이 공집합임을 보인다.
• 해결함수의 허수부와 스펙트럼 측도의 지지집합을 분석하여 R \ (X ∪ Y)가 가산적임을 증명함으로써 σ_sc(H) = ∅임을 보인다.
• 적분 ∫_{T^d} (E - g(θ))^{-1} dθ 의 渐近 분석을 통해 차원 d와 결합 강도 v에 따라 고유값의 존재 여부를 규명한다.

실험 결과

연구 질문

• RQ1 어느 차원 d에서 단일 델타 포텐셜을 가진 이산 슈뢰딩거 연산자가 본질 스펙트럼 내에 임베디드 고유값을 가질 수 있는가?
• RQ2 d ≥ 5인 차원에서 고유값의 존재와 부재를 나누는 임계 결합 강도 v_c는 무엇인가?
• RQ3 이러한 연산자의 스펙트럼 분해에서 특이 연속 스펙트럼이 나타나는가, 만약 그렇지 않다면 그 이유는 무엇인가?
• RQ4 차원 d는 고유값의 존재성과 위치—특히 본질 스펙트럼 [-1,1]과의 관계에서—에 어떻게 영향을 미치는가?
• RQ5 스펙트럼 측도 분해를 통해 자명한 자기수반 연산자의 랭크-일차 섭동에서 특이 연속 스펙트럼의 부재를 증명할 수 있는가?

주요 결과

• 모든 d ≥ 1 및 v ≥ 0에 대해 H = L + V의 절대 연속 스펙트럼과 본질 스펙트럼은 σ_ac(H) = σ_ess(H) = [-1, 1]이다.
• 특이 연속 스펙트럼은 존재하지 않으며, σ_sc(H) = ∅이다. 이는 스펙트럼 측도 지지집합 분석과 R \ (X ∪ Y)의 가산성에 의해 증명된다.
• d = 1,2일 경우 모든 v > 0에 대해 고유값 E = √(1 + v²)가 유일하게 존재하며, 이는 1보다 위에 위치한다.
• d = 3,4일 경우 v > v_c일 때에만 고유값이 존재하며, v ≤ v_c일 경우 고유값이 존재하지 않는다.
• d ≥ 5일 경우 v ≥ v_c일 때 고유값이 존재한다: v = v_c일 때 E = 1은 고유값이며, v > v_c일 경우 E > 1이 되며, v < v_c일 경우 고유값이 존재하지 않는다.
• 모든 고유값은 단순하며, 고유벡터는 L^2(T^d) 내의 (E - g)^{-1}에 대응한다. 이는 해결함수 조건에서 유도된다.