[논문 리뷰] Continuity of the Lyapunov exponent for quasiperiodic operators with analytic potential

Jean Bourgain, Svetlana Jitomirskaya|ArXiv.org|2001. 10. 31.

Spectral Theory in Mathematical PhysicsMathematics참고 문헌 10인용 수 19

한 줄 요약

이 논문은 해석적 잠재력과 함께 일차원 준주기 슈뢰딩거 연산자에 대한 리아푸노프 지수의 연속성을 에너지 E 및 무리수인 ω에 대해 공동으로 증명한다. 대규모 이산도 추정과 애벌랜치 원리의 활용을 통해 리아푸노프 지수 근사의 균일 수렴을 증명함으로써, 준주기 시스템 스펙트럼 이론에서 오랫동안 남아있던 정규성 문제를 해결한다.

ABSTRACT

We study regularity properties of the Lyapunov exponent L of quasiperiodic operators with analytic potential, under no assumptions on the Diophantine class of the frequency. We prove that L is jointly continuous, in frequency and energy, at every irrational frequency.

연구 동기 및 목표

• 1D 준주기 연산자에 대해 실해석적 잠재력이 존재할 때 리아푸노프 지수 L(E, ω)의 연속성을 확립하는 것.
• 특히 L(E) > 0일 때 L(E, ω)이 에너지 E에 대해 연속인지 여부를 해결하는 오랜 동안 열려있던 문제를 해결하는 것.
• 무리수 주파수에서 (E, ω)에 대해 공동 연속성을 증명하는 것. 이는 유리수 점에서 ω에 대한 알려진 불연속성에도 불구하고 성립한다.
• 비정규 분석 및 동역학적 국소화에 핵심적인 전이 행렬 노름에 대한 균일 추정을 제공하는 것.

제안 방법

• 전이 행렬의 성장에 대해 대규모 이산도 정리(보조정리 4)를 유도하여, 일반적으로 리아푸노프 지수에서의 편차가 q에 대해 지수적으로 작아짐을 보인다.
• 적절한 하이퍼볼릭성 및 상관 조건 하에서 SL2(R) 행렬의 곱의 로그 노름을 제어하기 위해 애벌랜치 원리를 적용한다.
• 오차 항의 지수 감쇠를 보장하는 재귀 부등식을 만족하는 주파수 ω에 대한 근사수열 {qs}, {Ns}를 구성한다.
• 애벌랜치 원리와 대규모 이산도 추정을 활용하여 |L(E) + LN0(E) - 2L2N0(E)| < e^{-cκ q}의 차이를 유계로 제한함으로써 균일 근사를 확보한다.
• 하위해석성 및 컴actness 추론을 활용하여 수열 Eα → E에 따른 L(E) 수렴을 제어한다.
• 근사수열에서의 균일 bound를 통해 두 변수에 대한 동시에 의존성을 제어함으로써 (E, ω)에 대한 공동 연속성을 확립한다.

실험 결과

연구 질문

• RQ1 준주기 연산자에 대해 해석적 잠재력이 존재할 때 리아푸노프 지수 L(E, ω)는 에너지 E에 대해 연속적인가?
• RQ2 무리수 주파수 ω에서 (E, ω)에 대해 리아푸노프 지수는 공동 연속적인가?
• RQ3 콤���트 집합에서 x와 E에 대해 독립적인 전이 행렬 성장에 대한 균일 추정을 확립할 수 있는가?
• RQ4 잠재력이 해석적이고 주파수가 리우빌 수일 때도 L(E, ω)의 연속성은 유지되는가?
• RQ5 대규모 이산도 추정의 균일성은 다이오허티언 주파수를 초월한 동역학적 국소화 결과의 확장을 위해 활용될 수 있는가?

주요 결과

• 모든 E와 모든 해석적 잠재력 v에 대해 리아푸노프 지수 L(E, ω)는 E에 대해 연속이다.
• 모든 무리수 ω0에 대해, 리아푸노프 지수 L(E, ω)는 (E, ω0)에서 (E, ω)에 대해 공동 연속이다.
• 모든 E가 콤팩트 집합에 있고 모든 ω가 유리수 근사 a/q에 가까울 때, 추정식 |L(E) + LN0(E) - 2L2N0(E)| < e^{-cκ q}가 균일하게 성립한다.
• 균일 bound (1.4)가 성립한다: lim sup_{N→∞} (1/N) log ||MN(E, x, ω)|| ≤ L(E) 이며, 이는 x와 E에 대해 콤팩트 집합에서 균일하다.
• 결과는 거의 매쓰류 연산자에 대해 모든 λ > 2와 모든 무리수 ω에 대해 강력한 동역학적 국소화를 암시한다. 이는 강력한 다이오허티언 조건이 필요하지 않다.
• 연속성 결과는 정확하다: L(E, ω)는 모든 유리수 ω에서 ω에 대해 불연속일 수 있지만, 모든 무리수 주파수에서 연속이다.