[논문 리뷰] Bands of pure a.c. spectrum for lattice Schr{\"o}dinger operators with a more general long range condition. Part I

Sylvain Golénia, Marc-Adrien Mandich|arXiv (Cornell University)|2021. 02. 01.

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

한 줄 요약

이 논문은 이산 슈뢰딩거 연산자 H = ∆ + V 및 H = D + V에 대해 일반화된 장거리 잠재조건을 만족하는 경우, 공명 방법과 무르레 이론을 이용하여 ℓ²(ℤ^d) 위에서의 한계 흡수 원리(LAP)를 수립한다. d = 1, 2, 3 차원에서 표준 라플라스 연산자 ∆와 몰찬프-바인버그 라플라스 연산자 D에 대해 순수하게 절대 연속(a.c.) 스펙트럼을 갖는 스펙트럼 밴드의 존재를 증명한다. 이는 각 좌표 방향으로 잠재함수를 κ 단위만큼 이동시킨 조건 V − τ^κ_j V가 무한대에서 감쇠함을 전제로 하며, 작은 κ 값(예: κ = 1, 2, 4, 6, 8)에 대해 명시적인 밴드를 규명한다.

ABSTRACT

Commutator methods are applied to get limiting absorption principles for the discrete standard and Molchanov-Vainberg Schr\"odinger operators $H_{\mathrm{std}}= \Delta+V$ and $H_{\mathrm{MV}} = D+V$ on $\ell^2(\mathbb{Z}^d)$, with emphasis on $d=1,2,3$. Considered are electric potentials $V$ satisfying a long range condition of the type: $V- au_j ^{\kappa}V$ decays appropriately for some $\kappa \in \mathbb{N}$ and all $1 \leq j \leq d$, where $ au_j ^{\kappa} V$ is the potential shifted by $\kappa$ units on the $j^{ ext{th}}$ coordinate. More comprehensive results are obtained for specific small values of $\kappa$, such as $\kappa =1,2,3,4$. In this article, we work in a simplified framework in which the main takeaway appears to be the existence of bands where a limiting absorption principle holds, and hence absolutely continuous (a.c.) spectrum, for $\kappa>1$ and $\Delta$ (resp.\ $\kappa>2$ and $D$). Other decay conditions for $V$ arise from an isomorphism between $\Delta$ and $D$ in dimension 2. Oscillating potentials are natural examples in application.

연구 동기 및 목표

• 표준 감쇠 가정을 초월하여 보다 일반적인 장거리 잠재조건을 갖는 이산 슈뢰딩거 연산자에 대해 한계 흡수 원리(LAP)를 확장하는 것.
• d = 1, 2, 3 차원에서 표준 라플라스 연산자 ∆와 몰찬프-바인버그 라플라스 연산자 D에 대해 순수 절대 연속(a.c.) 스펙트럼을 갖는 스펙트럼 밴드의 존재를 확립하는 것.
• 장거리 조건에서 이동 매개변수 κ를 증가시킬 경우, 순수 절대 연속 스펙트럼을 갖는 밴드의 크기와 위치에 미치는 영향을 분석하는 것.
• d = 2 차원에서 표준 라플라스 연산자 ∆와 몰찬프-바인버그 라플라스 연산자 D 사이의 동형사상(isomorphism)을 탐색하여 두 연산자 간의 스펙트럼 결과를 상호 전달할 수 있도록 하는 것.
• 엄밀한 수학적 증거와 수치적 근거를 바탕으로, 엄밀한 무르레 추정이 성립하는 스펙트럼 밴드의 존재를 입증하며, 이는 특이 연속 스펙트럼의 부재를 의미한다.

제안 방법

• 공명 방법과 무르레 이론을 적용하여 이산 슈뢰딩거 연산자 H = ∆ + V 및 H = D + V에 대한 한계 흡수 원리(LAP)를 유도한다.
• 일반화된 장거리 조건을 도입: 각 좌표 j에 대해, (V − τ^κ_j V)가 무한대에서 O(g(|n|))로 감쇠하며, g는 원형 함수이자 무한대에서 0으로 수렴한다.
• 이동 연산자 τ^κ_j를 이용해 정의된 공액 연산자 A^κ를 사용하여 무르레 추정을 구성하며, 핵심 조건은 특정 스펙트럼 영역에서 [H, iA^κ]의 공명의 양성이다.
• 비율 테스트와 중심 밴드 테스트를 활용하여 d = 2 및 d = 3 차원에서 다양한 κ 값(예: κ = 4, 6, 8)에 대해 엄밀한 무르레 추정을 검증한다.
• d = 2 차원에서 표준 라플라스 연산자 ∆와 몰찬프-바인버그 라플라스 연산자 D 사이의 동형사상을 활용하여 한쪽 연산자의 결과를 다른 연산자로 전이한다.
• 수치적 근거와 추측된 닫힌 형태의 수식(예: sin²(π/κ) 포함)을 사용하여 무르레 추정이 성립하는 스펙트럼 밴드를 규명하며, 특히 d = 2 및 d = 3 차원에서 D에 대해 적용한다.

실험 결과

연구 질문

• RQ1 이산 슈뢰딩거 연산자 H = D + V에 대해, 일반화된 장거리 잠재조건 V − τ^κ_j V = O(g(|n|))를 만족할 때 어떤 스펙트럼 에너지에서 엄밀한 무르레 추정이 성립하는가?
• RQ2 장거리 조건에서 이동 매개변수 κ를 증가시킬 경우, 순수 절대 연속 스펙트럼을 갖는 스펙트럼 밴드의 크기와 위치는 어떻게 변화하는가?
• RQ3 d = 2 차원에서 ∆와 D 사이의 동형사상이 두 라플라스 연산자 간의 스펙트럼 결과 전달에 어떤 역할을 하는가?
• RQ4 몰찬프-바인버그 라플라스 연산자 D에 대해 일반화된 장거리 조건 하에서 d = 2 및 d = 3 차원에서 한계 흡수 원리를 수립할 수 있는가?
• RQ5 D(및 ∆)의 스펙트럼에서 무르레 추정이 성립하는 명시적 스펙트럼 밴드는 무엇이며, 작은 κ 값에 대해 닫힌 형태로 기술할 수 있는가?

주요 결과

• d = 1 차원에서 표준 라플라스 연산자 ∆에 대해, 구간 (−d, d) ∵ {−d + 2l : l = 0, ..., d}에서 엄밀한 무르레 추정이 성립하며, 이는 기저 조건(κ = 1, g(|n|) = |n|^−ε) 하에서 이 집합에서 순수 절대 연속 스펙트럼이 존재함을 의미한다.
• d = 2 차원에서 몰찬프-바인버그 라플라스 연산자 D에 대해, (0, 1) 내에서 여러 개의 밴드에서 무르레 추정이 성립한다. 예를 들어 κ = 4일 경우 (0, 0.5) ∪ (0.707, 1), κ = 6일 경우 (0, 0.25) ∪ (0.506, 0.75) ∪ (0.866, 1)이다.
• d = 3 차원에서 D에 대해 κ = 8일 경우, (0, 0.0560) ∪ (0.7187, 0.7886) ∪ (0.9238, 1)에서 무르레 추정이 성립하며, 더 높은 κ 값에 대해서도 유사한 밴드가 나타난다.
• d = 2 차원에서 D에 대해 κ = 10일 경우, (0, 0.0955) ∪ (0.3103, 0.3455) ∪ (0.5878, 0.6545) ∪ (0.8126, 0.9045) ∪ (0.9511, 1)이며, κ가 커질수록 밴드의 분할이 증가함을 보여준다.
• 논문은 D에 대해 d = 3에서 κ = (2,2,1), (2,2,3), (2,2,5)일 경우 무르레 추정이 성립하지 않음을 수치적으로 입증하며, 이는 스펙트럼 밴드가 κ의 선택에 매우 민감함을 시사한다.
• d = 2 차원에서 D에 대해 κ = 12일 경우, (0, 0.0670) ∪ (0.7071, 0.7500) ∪ (0.8687, 0.9330) ∪ (0.9659, 1)이며, κ = 18일 경우 (0, 0.0302) ∪ (0.8660, 0.8830) ∪ (0.9410, 0.9698) ∪ (0.9848, 1)이다. κ가 증가함에 따라 이는 전체 구간 (0,1)으로 수렴하는 것으로 나타난다.