[논문 리뷰] Flow-independent Anisotropic space, and perturbation of resonances

Yannick Guedes Bonthonneau|arXiv (Cornell University)|2018. 06. 21.

Mathematical Dynamics and Fractals참고 문헌 14인용 수 7

한 줄 요약

이 논문은 흐름에 의존하지 않는 비등방성 공간 $ \mathcal{H}_G $를 구성함으로써, 아노소프 벡터장의 매끄러운 $ C^1 $-변형에 대해 루엘-폴리코프 고유값의 안정성을 확립한다. 이 공간은 인접한 벡터장에 적응하도록 설계되며, $ \mathcal{H}_G $에서 $ X $의 이산 스펙트럼(해당 고유값은 고유값으로서의 의미를 가짐)이 변형에 대해 연속적으로 변화함을 증명한다. 또한 유한 개의 고유값이 $ C^\infty $-매끄러운 변형 매개변수에 대해 해석적 계속함수로 표현될 수 있음을 보이며, 미세지역 스펙트럼 이론을 변형 설정으로 확장한다.

ABSTRACT

Given an Anosov vector field $X_0$, all sufficiently close vector fields also are of Anosov type. In this note, we check that one can choose the so-called "Faure-Sjöstrand" anistropic spaces to be adapted to any smooth vector field sufficiently close to $X_0$ in $C^1$ norm. It follows that finite families of resonances depend smoothly on the vector field with the usual caveats. In this second version, more details are given on the perturbation of spectral projectors.

연구 동기 및 목표

• 고정된 아노소프 흐름에 대해 구성된 비등방성 함수 공간을 변형된 벡터장에 적응시켜, 아노소프 흐름에 대한 미세지역 스펙트럼 이론을 변형 설정으로 확장하는 것.
• 벡터장의 작은 $ C^1 $-변형 하에서도 루엘-폴리코프 스펙트럼—해석적 임계점의 극으로 정의됨—이 오른쪽 반평면에서 이산적이고 잘 정의된 상태를 유지하는지 보여주는 것.
• 고정된 아노소프 벡터장의 유한 개의 고유값이 $ C^\infty $-매끄러운 일파라미터 가중 가중 벡터장 $ X_\epsilon $에 대해 해석적 계속함수로 표현될 수 있음을 보장하는 것.
• 스펙트럼 데이터의 안정성에 대한 기존 문헌의 빈도를 메우기 위해, 변형 설정에서 고유값 이론의 엄밀한 미세지역 프레임워크를 제공하는 것.

제안 방법

• 벡터장의 안정/불안정 분해를 반영하도록 선택된 기호 $ G \in S^{\log}(T^*M) $를 사용하여 비등방성 공간 $ \mathcal{H}_G = \operatorname{Op}(e^{-G})L^2(M) $를 구성하는 것.
• 코구면다발 위의 해밀토니안 흐름 $ \Phi_t $를 사용하여 소스와 싱크를 정의함으로써, 흐름의 미세지역적 구조를 기술하고 $ G $의 선택을 안내하는 것.
• 해결함수 공식과 트레이스-클래스 추정을 적용하여, 해결함수의 변형에 대한 의존성을 제어함. 이는 $ \| \partial_\epsilon D(X_\epsilon, s) \|_{\operatorname{Tr}} $ 에 대한 유계성에 기반한다.
• 복소평면에서 루셰 정리를 적용하여, 초기 고유값의 유한 집합 주변의 고유값 수와 위치가 작은 변형 하에서도 유지됨을 증명하는 것.
• 닫힌 경로 $ \gamma $를 따라 정의된 스펙트럼 프로젝터 $ \Pi_\gamma(\epsilon) = \int_\gamma (X_\epsilon - s)^{-1} ds $를 사용하여 고유상태의 진화를 추적하며, 이들이 변형 매개변수에 대해 $ C^k $-연속임을 보이는 것.
• 연산자 노름과 트레이스-클래스 추정을 통해 해결함수와 그 도함수에 대한 균일한 유계성을 확립함으로써, 스펙트럼 데이터의 해석성과 정규성을 보장하는 것.

실험 결과

연구 질문

• RQ1 고정된 아노소프 벡터장 $ X_0 $에 대해 구성된 비등방성 공간 $ \mathcal{H}_G $는 $ C^1 $-위상에서의 근접한 벡터장 $ X $에 대해 적응 가능한가?
• RQ2 벡터장의 작은 $ C^1 $-변형 하에서도, 루엘-폴리코프 스펙트럼—해결함수 커널의 극으로 정의됨—이 오른쪽 반평면에서 이산적인가?
• RQ3 고정된 아노소프 벡터장의 유한 개의 고유값은 $ C^\infty $-매끄러운 일파라미터 가중 벡터장 $ X_\epsilon $에 대해 해석적 계속함수로 표현될 수 있는가?
• RQ4 유한 개의 고유값에 대응하는 스펙트럼 프로젝터는 변형 매개변수에 대해 연속 미분 가능한가? 어떤 정규성 조건이 확립될 수 있는가?
• RQ5 벡터장이 고정되어 있지 않은 변형 설정으로도 고유값에 대한 미세지역 프레임워크를 확장할 수 있는가?

주요 결과

• 모든 $ C^\infty $ 아노소프 벡터장 $ X_0 $에 대해, $ \eta > 0 $ 가 존재하여, $ \|X - X_0\|_{C^1} < \eta $ 를 만족하는 모든 $ C^\infty $-벡터장 $ X $ 는 비등방성 공간 $ \mathcal{H}_G $에서 $ \{ s \in \mathbb{C} \mid \Re s > -R \} $ 에서 이산 스펙트럼을 가진다.
• 벡터장 $ X $ 가 비등방성 공간 $ \mathcal{H}_G $에서 가지는 스펙트럼은 $ G $ 의 선택과 무관하며, 정확히 $ X $ 의 루엘-폴리코프 고유값에 해당한다.
• $ X_0 $ 를 변형하는 $ C^\infty $-매끄러운 일파라미터 가중 벡터장 가중 가중 $ X_\epsilon $ 에 대해, $ \epsilon_0 > 0 $ 가 존재하여, $ \Omega \subset \mathbb{C} $ 에서의 고유값 $ \lambda_1(\epsilon), \dots, \lambda_N(\epsilon) $ 는 $ \epsilon \in ]-\epsilon_0, \epsilon_0[ $ 에 대해 연속 함수이다.
• 고유값이 단순한 경우, 이들은 $ \epsilon $ 에 대해 매끄러운 함수이며, 그 진화는 해결함수와 스펙트럼 프로젝터에 의해 지배된다.
• 초기 고유값을 피하는 닫힌 경로 $ \gamma $ 와 관련된 스펙트럼 프로젝터 $ \Pi_\gamma(\epsilon) $ 는 충분히 큰 $ r $ 에 대해 $ \mathcal{H}_{rG} $ 에서 유계 연산자들의 $ C^k $-가중 가중으로서 정의되며, 스펙트럼 프로젝션의 정규성을 보장한다.
• 해결함수와 스펙트럼 프로젝터의 도함수들이 트레이스-클래스이면서 $ \epsilon $ 에 대해 균일하게 유계임을 보이며, 이는 루셰 정리를 적용하여 고유값의 이동을 추적하는 데 유용하다.