[논문 리뷰] Parameter regularity of dynamical determinants of expanding maps of the circle and an application to linear response

Malo Jézéquel|arXiv (Cornell University)|2017. 08. 03.

Advanced Differential Equations and Dynamical Systems인용 수 5

한 줄 요약

이 논문은 원환위의 확장 맵에 대해 미분가능성 가정 하에 동적 행렬식의 C^1 및 C^2 정칙성을 확립하며, Pollicott과 Vytnova의 해석적 선형 반응 공식을 C^k 미분가능성 설정으로 확장할 수 있게 한다. 핵심 방법은 Paley-Littlewood 투영을 이용해 전이 연산자를 핵심 부분과 유계 잔여항으로 분해하는 것으로, 이는 연산자 노름 추정과 추적 클래스 추론을 통해 스펙트럼 성질과 도함수 정칙성을 제어할 수 있게 하며, 최종적으로 공식 (2)과 (3)의 타당성을 각각 C^2 및 C^3 곡선 가정 하에 증명한다.

ABSTRACT

In order to adapt to the differentiable setting a formula for linear response proved by Pollicott and Vytnova in the analytic setting, we show a result of regularity of dynamical determinants of expanding maps of the circle. The main tool is the decomposition of a transfer operator as a sum of a nuclear part and a "small" bounded part.

연구 동기 및 목표

• 원환위의 확장 맵에 대해 Pollicott과 Vytnova의 해석적 선형 반응 공식을 해석적 설정에서 미분가능성 설정으로 확장한다.
• 동적 행렬식이 C^1 또는 C^2가 되도록 보장하기 위한 매개변수화된 맵과 관측량의 충분한 정칙성 조건을 확립한다.
• 전이 연산자 분해와 소볼레프 공간 기법을 이용한 엄밀한 함수해석학적 프레임워크를 제공하여 비해석적 맥락에서 선형 반응 공식의 타당성을 입증한다.
• 해석적 설정과 미분가능성 설정 사이의 격차를 메우기 위해 C^k 가정 하에 동적 행렬식의 정칙성을 증명한다.

제안 방법

• 전이 연산자의 Paley-Littlewood 분해를 사용하여 핵심 부분과 유계 잔여항으로 분리함으로써 스펙트럼 제어를 가능하게 한다.
• 소볼레프 공간 H^s 에서의 연산자 노름 추정을 적용하여 비핵심 부분을 제한하고 매개변수에 대한 C^k 의존성을 증명한다.
• 핵심 연산자에 대한 '평탄한 추적' 구조를 도입하여 동적 행렬식을 정의하고 그 정칙성을 분석한다.
• Gou€zel-Keller-Liverani 방법을 활용하여 전이 연산자의 주된 고유값과 고유함수의 C^k 정칙성을 증명한다.
• 코시 적분 공식과 리졸베ント 추정을 적용하여 복소평면에서 동적 행렬식 도함수의 제어를 수행한다.
• 암시함수 정리와 적분 기호 아래에서의 미분을 적용하여 행렬식의 정칙성에서 선형 반응 공식을 유도한다.

실험 결과

연구 질문

• RQ1 매개변수 τ ↦ Tτ 와 관측량 g 에 대해 어떤 미분가능성 가정을 두어야 동적 행렬식 d(z, u, τ) 가 매개변수 τ 와 켤레 변수 u 에 대해 C^1 또는 C^2 가 되는가?
• RQ2 기능해석학적 도구인 연산자 분해와 추적 이론을 사용하여 Pollicott과 Vytnova가 도출한 해석적 선형 반응 공식을 C^k 미분가능성 설정으로 확장할 수 있는가?
• RQ3 전이 연산자를 핵심 부분과 유계 부분으로 분해하는 것이 소볼레프 공간에서 동적 행렬식의 정칙성 증명에 어떻게 기여하는가?
• RQ4 전이 연산자의 스펙트럼 데이터(고유값 및 고유함수)의 정칙성과 매개변수 변화에 따른 불변 측도의 미분 가능성 사이의 정확한 관계는 무엇인가?
• RQ5 매개변수 가족 Tτ 가 C^3 이고 관측량이 C^7 이라면, 선형 반응 공식은 주기점과 그 매개변수 τ 에 대한 도함수로 명시적으로 계산할 수 있는가?

주요 결과

• 매개변수 τ ↦ Tτ 가 C^2 이고 g 가 C^6 이면, 동적 행렬식 d(z, u, τ) 는 (u, τ) 에 대해 C^1 이며, 이는 선형 반응 공식 (2)의 타당성을 보장한다.
• 매개변수 τ ↦ Tτ 가 C^3 이고 g 가 C^7 이면, 동적 행렬식 d(z, u, τ) 는 (u, τ) 에 대해 C^2 이며, 이는 미분가능성 설정에서 전체 선형 반응 공식 (3)의 타당성을 입증한다.
• 적당히 작은 τ 와 u 에 대해 동적 행렬식은 반지름 R > 1 인 원판으로 해석적 계속을 가지며, 이는 급수 전개의 수렴성과 해석성을 보장한다.
• 전이 연산자의 스펙트럼 데이터(고유값 및 고유함수)의 정칙성은 매개변수 가족의 C^k 의존성과 핵심 및 유계 부분으로의 분해로부터 유도된다.
• 선형 반응 공식 (3) 은 식 (35) 에서 보듯이 T₀ 의 주기점과 그 매개변수 τ 에 대한 도함수로 명시적으로 계산할 수 있다.
• 이 방법은 동적 행렬식 도함수가 지수적 감쇠 추정을 만족함을 증명하여, 반응 공식에 사용된 급수의 빠른 수렴을 보장한다.