[논문 리뷰] Bethe-Sommerfeld Conjecture and Absolutely Continuous Spectrum of Multi-Dimensional Quasi-Periodic Schrödinger Operators

Yulia Karpeshina, Leonid Parnovski외 1명|arXiv (Cornell University)|2020. 10. 12.

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

한 줄 요약

이 논문은 다차원 준주기 슈뢰딩거 연산자 $ H = -\Delta + V(\mathbf{x}) $ (여기서 $ d \geq 2 $)의 일반적인 클래스에 대해, 운동량 공간에서의 다스케일 분석 기법을 활용하여 일반화된 고유함수를 평면파의 소규모 교란으로 구성함으로써, 절대 연속 스펙트럼이 반직선 $[\lambda_*, \infty)$을 포함함을 증명한다. 이 결과는 준주기적 설정에서 베테-쇠머펠트 추측의 한 형태를 확인한다.

ABSTRACT

We consider Schrödinger operators $H=-Δ+V({\mathbf x})$ in ${\mathbb R}^d$, $d\geq2$, with quasi-periodic potentials $V({\mathbf x})$. We prove that the absolutely continuous spectrum of a generic $H$ contains a semi-axis $[λ_*,+\infty)$. We also construct a family of eigenfunctions of the absolutely continuous spectrum; these eigenfunctions are small perturbations of the exponentials. The proof is based on a version of the multi-scale analysis in the momentum space with several new ideas introduced along the way.

연구 동기 및 목표

• 다차원 준주기 슈뢰딩거 연산자의 절대 연속 스펙트럼에 반직선이 존재함을 입증하는 것.
• 큰 $ \|\mathbf{k}\| $ 에서의 지수 함수 $ \mathbf{e}_{\mathbf{k}} $ 의 소규모 교란으로 절대 연속 스펙트럼의 일반화된 고유함수를 구성하는 것.
• 차원 $ d \geq 2 $ 에서의 준주기적 설정으로 베테-쇠머펠트 추측을 확장하여, 스펙트럼이 반직선을 포함할 것으로 예상됨을 확인하는 것.
• 유한한 푸리에 모드를 가진 준주기 잠재력에 대응할 수 있는 강력한 운동량 공간 다스케일 분석 프레임워크를 개발하는 것.
• 기본 주파수 $ \vec{\boldsymbol{\omega}} $ 의 거의 모든 선택에 대해, 스펙트럼이 $[\lambda_*, \infty)$ 를 포함함을 증명하는 것, 여기서 $ \lambda_* $ 는 충분히 크다.

제안 방법

• 준주기 잠재력 $ V(\mathbf{x}) = \sum_{|\mathbf{n}| < Q} V_{\mathbf{n}} e^{i\langle \mathbf{n} \vec{\boldsymbol{\omega}}, \mathbf{x} \rangle} $ 를 가진 슈뢰딩거 연산자 $ H = -\Delta + V(\mathbf{x}) $ 를 수립하며, 여기서 $ \vec{\boldsymbol{\omega}} \in [-1/2, 1/2]^{dl} $ 이고 $ \mathbf{n} \in \mathbb{Z}^l $ 이다.
• 연산자 $ H $ 에 대해 불변인, 지수 함수들의 스트링 $ \{ e^{i\langle \mathbf{k} + \mathbf{n} \vec{\boldsymbol{\omega}}, \mathbf{x} \rangle} \}_{\mathbf{n} \in \mathbb{Z}^l} $ 의 스칼라 곱으로 생성되는 섬유 공간 $ \mathfrak{H}(\mathbf{k}) $ 에서 작업한다.
• 반복적인 교란 이론을 사용하여, $ \|u^{(\infty)}\|_{L^\infty} < C \|\mathbf{k}\|^{-\delta} $ 를 만족하는 일반화된 고유함수 $ U^{(\infty)}(\mathbf{k}, \mathbf{x}) = e^{i\langle \mathbf{k}, \mathbf{x} \rangle} (1 + u^{(\infty)}(\mathbf{k}, \mathbf{x})) $ 를 구성한다. 여기서 $ \delta > 0 $ 이다.
• 복수의 패치, 클러스터, 중심 입자들을 포함하는 새로운 재귀적 체계를 사용한 운동량 공간 다스케일 분석을 적용하여, 해석적 연산자의 역행렬을 제어하고 스펙트럼 국소화를 피한다.
• 행렬 값 해석 함수에 대한 카르탕의 보조정리를 사용하여, 해석적 해의 역행렬이 크게 되는 악성 주파수 집합의 측도를 추정한다.
• 다단계 부트스트랩 추론을 통해 악성 집합의 측도에 대한 지수적 감소 추정을 확립함으로써, 양호한 주파수 집합이 전체 측도를 가짐을 보장한다.

실험 결과

연구 질문

• RQ1 기본 주파수의 일반적인 선택에 대해, 다차원 준주기 슈뢰딩거 연산자의 절대 연속 스펙트럼이 반직선 $[\lambda_*, \infty)$ 을 포함하는가?
• RQ2 절대 연속 스펙트럼의 일반화된 고유함수는 큰 $ \|\mathbf{k}\| $ 에서 평면파 $ e^{i\langle \mathbf{k}, \mathbf{x} \rangle} $ 의 소규모 교란으로 구성될 수 있는가?
• RQ3 운동량 공간 다스케일 분석은 유한한 푸리에 모드를 가진 준주기 잠재력에 얼마나 잘 적응될 수 있는가?
• RQ4 섬유 공간 $ \mathfrak{H}(\mathbf{k}) $ 의 구조와 $ H $ 가 그 위에서 작용하는 방식은 플로케트 유형 해를 구성하는 데 어떻게 기여하는가?
• RQ5 스펙트럼 성질이 실패하는 주파수 집합의 측도론적 행동은 어떠한가? 그리고 그 집합이 무시할 수 있을 정도로 작다는 것을 증명할 수 있는가?

주요 결과

• 유한한 푸리에 계수 집합 $ \{V_{\mathbf{n}}\} $ 에 대해, 기본 주파수의 전체 측도 부분집합 $ \boldsymbol{\Omega}_* \subset [-1/2, 1/2]^{dl} $ 이 존재하여, 모든 $ \vec{\boldsymbol{\omega}} \in \boldsymbol{\Omega}_* $ 에 대해 $ H $ 의 절대 연속 스펙트럼이 반직선 $[\lambda_*, \infty)$ 을 포함함을 보장한다.
• 일반화된 고유함수 $ U^{(\infty)}(\mathbf{k}, \mathbf{x}) $ 는 평면파 $ e^{i\langle \mathbf{k}, \mathbf{x} \rangle} $ 의 소규모 교란으로 구성되며, $ \|u^{(\infty)}\|_{L^\infty} < C \|\mathbf{k}\|^{-\delta} $ 를 만족한다. 여기서 $ \delta > 0 $ 이며, $ \mathbf{k} $ 에 대해 균일하다.
• 이 구성은 패치, 클러스터, 중심 입자들을 사용하여 해석적 연산자 노름을 재귀적으로 제어하는 운동량 공간 다스케일 분석에 기반한다.
• 이 방법은 해석적 역행렬이 크게 되는 악성 주파수 집합의 측도가 지수적으로 감소함을 보여주며, 전체 측도 스펙트럼 결과를 보장한다.
• 이 결과는 $ d \geq 2 $ 에서 준주기적 설정에서의 베테-쇠머펠트 추측을 확인한다. 이는 이전의 결과들이 주기적 또는 특정 2차원 경우에 국한되었음을 고려할 때, 그를 넘어서는 것이다.
• 일반화된 고유함수는 절대 연속 스펙트럼과 구성된 해의 구조에 기인하여 장시간 동안 궤도 운동 행동을 나타낸다.