[논문 리뷰] Homogeneity of the spectrum for quasi-periodic Schrödinger operators

Michael Goldstein, David Damanik외 2명|arXiv (Cornell University)|2015. 05. 19.

Spectral Theory in Mathematical Physics참고 문헌 15인용 수 9

한 줄 요약

이 논문은 실해석적 퍼텐셜을 가진 일차원 준주기적 슈뢰딩거 연산자에 대해 양의 리아풀로프 지수 조건 하에서 스펙트럼의 균일성(균질성)을 확립한다. 전달 행렬 기법, 안정성 분석 및 스펙트럼 간격 추정을 통해, 디오판틴 주파수에 대해 스펙트럼이 국소적으로 균일하게 두껍고(카를레송 균질성), 스펙트럼 성분 간의 간격이 지수적으로 작아지는 것을 증명한다. 이는 유한 구간과 |λ| ≠ 1인 거의 마티외 연산자로까지 확장된다.

ABSTRACT

We consider the one-dimensional discrete Schrödinger operator $$ \bigl[H(x,ω)φ\bigr](n)\equiv -φ(n-1)-φ(n+1) + V(x + nω)φ(n)\ , $$ $n \in \mathbb{Z}$, $x,ω\in [0, 1]$ with real-analytic potential $V(x)$. Assume $L(E,ω)>0$ for all $E$. Let $\mathcal{S}_ω$ be the spectrum of $H(x,ω)$. For all $ω$ obeying the Diophantine condition $ω\in \mathbb{T}_{c,a}$, we show the following: if $\mathcal{S}_ω\cap (E',E") eq \emptyset$, then $\mathcal{S}_ω\cap (E',E")$ is homogeneous in the sense of Carleson (see [Car83]). Furthermore, we prove, that if $G_i$, $i=1,2$ are two gaps with $1 > |G_1| \ge |G_2|$, then $|G_2|\lesssim \exp\left(-(\log \mathrm{dist} (G_1,G_2))^A ight)$, $A\gg 1$. Moreover, the same estimates hold for the gaps in the spectrum on a finite interval, that is, for $\mathcal S_{N,ω}:=\cup_{x\in\mathbb T}\mathrm{spec} H_{[-N,N]}(x,ω) $, $N \ge 1 $, where $H_{[-N, N]}(x, ω)$ is the Schrödinger operator restricted to the interval $[-N,N]$ with Dirichlet boundary conditions. In particular, all these results hold for the almost Mathieu operator with $|λ| eq 1$. For the supercritical almost Mathieu operator, we combine the methods of [GolSch08] with Jitomirskaya's approach from [Jit99] to establish most of the results from [GolSch08] with $ω$ obeying a strong Diophantine condition.

연구 동기 및 목표

• 준주기적 슈뢰딩거 연산자에 대해 양의 리아풀로프 지수 조건 하에서 스펙트럼의 균일성(균질성)을 확립하는 것.
• 디오판틴 주파수 영역에서 스펙트럼 간격의 구조, 특히 크기와 분리 정도를 분석하는 것.
• 유한 구간과 거의 마티외 연산자에 대해 스펙트럼 균질성 및 간격 감소 결과를 확장하는 것.
• [GS08]과 [Jit99]의 방법을 융합하여 초임계 거의 마티외 연산자에 대한 스펙트럼 정규성 결과를 강화하는 것.
• 유한 척도에서 스펙트럼 세그먼트가 안정화되고 고유값이 제어 가능한 측도 추정을 통해 분리됨을 증명하는 것.

제안 방법

• 유한 구간에서 스펙트럼 변동성과 고유값 분리도를 제어하기 위해 전달 행렬과 웨그너 추정을 사용한다.
• 파erturbation에 대한 스펙트럼의 안정성 분석을 적용하며, ω에 대한 디오판틴 조건을 활용해 균일한 제어를 확보한다.
• 근접한 디제너레이트 고유값 교차를 다루고 간격 분리 추정을 유도하기 위해 이중 공진 분석을 적용한다.
• 유한 구간에서 국소화된 고유함수를 사용하여 스펙트럼 성질과 리아풀로프 지수 행동, 전달 행렬 감쇠 간의 연결을 맺는다.
• 유한 척도 스펙트럼 세그먼트가 무한체적 스펙트럼으로 수렴함을 보이기 위해 안정화 기법을 적용하며, 지수적으로 작은 오차 집합을 갖는다.
• [GS08]의 접근과 Jitomirskaya의 방법을 융합하여 강력한 디오판틴 조건 하에서 초임계 거의 마티외 케이스를 다룬다.

실험 결과

연구 질문

• RQ1 실해석적 퍼텐셜과 양의 리아풀로프 지수 조건을 만족하는 준주기적 슈뢰딩거 연산자의 스펙트럼이 디오판틴 주파수에서 국소적으로 균일하게 두껍고(균질성) 있는가?
• RQ2 이러한 연산자에서 스펙트럼 간격의 크기는 그 분리 정도에 따라 어떻게 감소하는가?
• RQ3 디리클레 경계 조건이 있는 유한 구간에 대해 스펙트럼 균질성과 간격 감소 추정을 확장할 수 있는가?
• RQ4 |λ| ≠ 1 인 거의 마티외 연산자에 대해 디오판틴 주파수 조건 하에서 결과가 어느 정도 유지되는가?
• RQ5 [GS08]과 [Jit99]의 방법을 융합하여 초임계 영역에서 스펙트럼 균질성을 확립할 수 있는가?

주요 결과

• 디오판틴 주파수 ω ∈ ℤ_{c,a} 에 대해, 모든 E가 포함된 집합에서 리아풀로프 지수 L(ω,E) ≥ γ > 0 이면, 스펙트럼 ℚ_ω 는 τ-균질적이며 τ = τ(V,c,a,γ) 이다.
• 스펙트럼이 구간 (E',E'') 와 교차하고, (E',E'') 에서 L(ω,E) ≥ γ > 0 이면, 스펙트럼이 국소적으로 ε로 분리되어 있을 경우, ℚ_ω ∩ (E',E'') 는 τ-균질적이며 τ = τ(V,c,a,γ,ε) 이다.
• |G_1| ≥ |G_2| 인 스펙트럼 간격 G_1, G_2 는 |G_2| ≤ ≈ exp( - (log dist(G_1,G_2))^{A} ) 를 만족한다. 여기서 A ≫b 1 이다.
• 유한 척도 스펙트럼 ℚ_{N,ω} = ∪_x spec H_{[-N,N]}(x,ω) 와 디리클레 경계 조건 하에서도 동일한 간격 감소 및 균질성 결과가 성립한다.
• |λ| ≠ 1 인 거의 마티외 연산자에 대해서는 양의 리아풀로프 지수와 디오판틴 주파수 조건으로 인해 모든 결과가 성립한다.
• 초임계 영역에서, 강력한 디오판틴 조건 하에서 [GS08]과 [Jit99]의 방법을 융합함으로써 결과는 거의 마티외 연산자로까지 확장된다.