[논문 리뷰] Density of positive Lyapunov exponents for SL(2,R) cocycles

Artur Avila|arXiv (Cornell University)|2010. 04. 25.

Quantum chaos and dynamical systems참고 문헌 11인용 수 6

한 줄 요약

이 논문은 비주기적인 기저 역학과 모든 표준 정규성 클래스(예: 헬더, 소볼레프, 매끄러운)에 대해 SL(2,R) 코시스의 양의 리아풀로프 지수 집합이 조밀함을 증명한다. 슈뢰딩거 코시스의 맥락에서 분석적이고 펌생적 기법을 사용하여, 일반적인 잠재력에 대해 양의 리아풀로프 지수들이 조밀한 에너지 집합 전반에 걸쳐 널리 퍼져 있음을 증명함으로써, 이 설정에서 비균일 초구형성의 광범위성에 대한 오랫동안 남아있던 질문을 해결한다.

ABSTRACT

We show that SL(2,R) cocycles with a positive Lyapunov exponent are dense in all regularity classes and for all non-periodic dynamical systems. For Schrödinger cocycles, we show prevalence of potentials for which the Lyapunov exponent is positive for a dense set of energies.

연구 동기 및 목표

• 기저 역학이 비주기적일 때, 연속 코시스 공간에서 영 리아풀로프 지수를 가진 코시스가 다양한 정규성 클래스에서 양의 리아풀로프 지수를 가진 코시스로 근사 가능한지 결정하는 것.
• 특히 매끄럽고 해석적 정규성 클래스에서 SL(2,R) 코시스 설정에서 비균일 초구형성의 조밀성 문제를 해결하는 것.
• 일반적인 잠재력 집합에 대해 슈뢰딩거 코시스의 에너지 집합 전반에 걸쳐 양의 리아풀로프 지수의 퍼짐을 확립하는 것.
• 낮은 정규성(연속) 설정에서 알려진 결과를 높은 정규성(헬더, 매끄러움, 해석적) 범주로 확장하는 것.

제안 방법

• 리아풀로프 대칭군 sl(2,R)의 지수 사상에 의해 매끄러운 변형이 가능한 '풍부한' 코시스 위상 공간의 개념을 도입한다.
• 코시스의 매개변수에 대한 리아풀로프 지수 함수 분석을 위해 코타니 이론과 해석적 계속 기법을 활용한다.
• s = 0 근처에서 Prüfer 각도 함수 Φε(v + E + tw, sw)의 해석성을 이용하여 단조성의 차수를 연구한다.
• Φε의 점근적 전개를 기반으로 한 모순 추론을 통해 리아풀로프 지수가 정확히 0이 되는 양의 측도 집합이 존재하지 않음을 배제한다.
• vanishing order k(E,t)의 연속성과 상부 반연속성을 활용하여, 주어진 계수 c(E,t)가 연속적이고 양수인 컴act 집합 K와 구간 J를 추출한다.
• 레마 4.2의 추정과 중첩된 척도에서의 기하급수적 추론을 조합하여, 리아풀로프 지수가 양의 측도 집합에서 0이 되는 가정이 모순됨을 도출한다.

실험 결과

연구 질문

• RQ1 기저 역학이 비주기적일 때, 연속 코시스 공간에서 양의 리아풀로프 지수를 가진 SL(2,R) 코시스 집합이 조밀한가?
• RQ2 높은 정규성 클래스(예: Ck, 헬더, 해석적)에서 영 리아풀로프 지수를 가진 코시스가 양의 리아풀로프 지수를 가진 코시스로 근사 가능한가?
• RQ3 슈뢰딩거 코시스의 경우, 에너지 집합 전반에 걸쳐 리아풀로프 지수가 양수인 잠재력 집합이 널리 퍼져 있는가?
• RQ4 리아풀로프 지수가 정확히 0이 되는 매개변수 집합의 구조는 무엇이며, 일반 조건 하에서 이를 배제할 수 있는가?

주요 결과

• 비주기적 기저 역학과 모든 표준 정규성 클래스(매끄럽고 해석적 포함)에서, 풍부한 코시스 공간에서 양의 리아풀로프 지수 집합이 조밀함이 입증됨.
• 슈뢰딩거 코시스의 경우, 에너지 집합 전반에 걸쳐 리아풀로프 지수가 양수인 잠재력 집합이 측도와 체계적 측면에서 널리 퍼져 있음.
• 증명 과정에서 리아풀로프 지수가 양의 측도 집합의 매개변수에서 0이 되면, Prüfer 각도 함수의 점근적 행동과 그 s의 거듭제곱 전개에 기반한 모순이 발생함을 보여줌.
• 단조성의 주요 항이 k가 짝수이고 c(E,t) > 0인 컴 pact 집합에서의 형태 c(E,t)s^k로 표현됨을 입증함. 이는 모순에 핵심적이다.
• Prüfer 함수에 대한 균일 추정과 중첩된 척도에서의 기하급수적 추론을 조합하여, 가정된 영 지수 상태가 불가능한 성장률을 초래함을 도출함.
• 편미분 w를 고정하고 잠재력을 선형 가중치 v + tw로 변화시켜도 결과가 성립함을 보여, 전체 매개변수 공간에서의 조밀성이 입증됨.