[논문 리뷰] Hölder continuity of Lyapunov exponent for quasi-periodic Jacobi operators

Kai Tao|arXiv (Cornell University)|2011. 08. 18.

Spectral Theory in Mathematical Physics참고 문헌 2인용 수 4

한 줄 요약

이 논문은 주파수에 대해 강한 디오판틴 조건을 만족할 때, 준주기적 자코비 연산자에 대한 리아풀로프 지수의 홀더 연속성을 확립한다. 부르고이와 지토미르스카야가 조정한 보다 정교한 골드스타인-슐라그 방법의 변형을 사용하여, 만약 어떤 에너지 $E_0$ 에서 리아풀로프 지수가 양이면, 그 지수는 에너지 $E_0$ 에 대해 국소적으로 홀더 연속이며, 지수 $\beta = \beta(a,b,\omega)$ 는 잠재력과 주파수에만 의존하며 $E_0$ 와는 무관하다. 이 결과는 리아풀로프 지수가 양수로 유지되는 컴act 구간 전역에서 균일하게 성립한다.

ABSTRACT

We consider the quasi-periodic Jacobi operator $H_{x,ω}$ in $l^2(\mathbb{Z})$ $(H_{x,ω}ϕ)(n) = -b(x+(n+1)ω)ϕ(n+1) - b(x+nω)ϕ(n-1) + a(x+nω)ϕ(n) = Eϕ(n),\ n\in\mathbb{Z},$ where $a(x),\ b(x)$ are analytic function on $\mathbb{T}$, $b$ is not identically zero, and $ω$ obeys some strong Diophantine condition. We consider the corresponding unimodular cocycle. We prove that if the Lyapunov exponent $L(E)$ of the cocycle is positive for some $E=E_0$, then there exists $ρ_0=ρ_0(a,b,ω,E_0)$, $β=β(a,b,ω)$ such that $|L(E)-L(E')|0$ for all $E$ in some compact interval $I$ then $L(E)$ is Hölder continuous on $I$ with a Hölder exponent $β=β(a,b,ω,I)$. In our derivation we follow the refined version of the Goldstein-Schlag method \cite{GS} developed by Bourgain and Jitomirskaya \cite{BJ}.

연구 동기 및 목표

• 주어진 에너지에서 리아풀로프 지수가 양수일 경우, 준주기적 자코비 연산자에 대한 리아풀로프 지수의 국소적 홀더 연속성을 확립하는 것.
• 해석적 준주기적 자코비 행렬과 관련된 유모듈라 코시클에 대한 리아풀로프 지수의 정규성 이론을 확장하는 것.
• 해석적 자료 $a(x), b(x)$ 와 디오판틴 주파수 $\omega$ 에 따라 홀더 지수 $\beta$ 를 에너지 $E_0$ 와 무관하게 정량화하는 것.
• 리아풀로프 지수가 일정한 컴팩트 구간에서 항상 양수이면, 리아풀로프 지수가 그 구간에서 홀더 연속성을 유지함을 증명하는 것.

제안 방법

• 자코비 연산자의 전달 행렬로부터 유도된 유모듈라 코시클 표현 $\tilde{M}_N(x,E,\omega)$ 를 사용하여 성장과 행렬식 정규화를 제어한다.
• 부르고이-지토미르스카야를 통한 정교화된 골드스타인-슐라그 방법을 적용하여 코시클 노름에 대한 대규모 이완 추정을 수립한다.
• 근접한 에너지 $E, E'$ 에 대해 $L(E)$ 와 $L(E')$ 를 비교하는 편미분 기반의 방법을 시행하며, 전달 행렬의 로그 노름 차이를 제한한다.
• 부가법적 에르고딕 정리를 사용하여 리아풀로프 지수 $L(E,\omega)$ 를 평균화된 로그 노름의 극한으로 정의한다.
• 주파수 $\omega$ 에 대해 $\|n\omega\| \geq C_\omega / (n(\log n)^\alpha)$ 의 형태를 가진 디오판틴 조건을 적용하여 충분한 디오판틴 근사 성질을 확보한다.
• 평균에서 벗어난 노름의 측도가 지수적으로 감소함을 증명하여, $|L(E) - L(E')|$ 의 차이를 제어할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 준주기적 자코비 연산자에 대한 리아풀로프 지수가 에너지에 대해 홀더 연속성이 되는 조건은 무엇인가?
• RQ2 홀더 지수 $\beta$ 는 에너지 $E_0$ 와 무관하게 해석적 자료 $a(x), b(x)$ 와 주파수 $\omega$ 에 대해 균일하게 유계로 bound될 수 있는가?
• RQ3 리아풀로프 지수가 어떤 점 $E_0$ 에서 양수일 경우, 최적의 홀더 지수 $\beta$ 는 무엇인가?
• RQ4 리아풀로프 지수의 정규성이 리아풀로프 지수가 전체적으로 양수로 유지되는 컴팩트 구간으로까지 확장되는가?

주요 결과

• 만약 어떤 에너지 $E_0$ 에서 리아풀로프 지수 $L(E_0) > 0$ 이면, $L(E)$ 는 이웃 $ (E_0 - \rho_0, E_0 + \rho_0) $ 에서 지수 $\beta = \beta(a,b,\omega)$ 로 국소적으로 홀더 연속이다.
• 홀더 지수 $\beta$ 는 해석적 함수 $a(x), b(x)$ 와 디오판틴 주파수 $\omega$ 에만 의존하며, $E_0$ 와는 무관하다.
• 모든 $E \in I$ 에 대해 $L(E) > 0$ 인 임의의 컴팩트 구간 $I$ 에서 리아풀로프 지수는 지수 $\beta = \beta(a,b,\omega,I)$ 로 홀더 연속이다.
• 모든 $E, E'$ 가 $E_0$ 의 이웃에서 $|L(E) - L(E')|$ 는 $|E - E'|^\beta$ 로 유계로 제한되며, $\beta = \frac{c_7}{12 + 2c_7}$ 이다. 여기서 $c_7 = c_7(a,b,\omega)$ 는 어떤 상수이다.
• 이 증명은 대규모 이완 추정과 예외 집합의 측도 감소에 기반하며, 로그 노름의 차이가 $|E - E'|$ 으로 제어됨을 보장한다.
• 강한 디오판틴 조건 $\|n\omega\| \geq C_\omega / (n(\log n)^\alpha)$ ($\alpha > 1$) 하에서 결과가 성립하며, 이 조건은 거의 모든 $\omega$ 에 대해 만족된다.