[논문 리뷰] Continuity of the Oseledets Decomposition

Pedro Duarte, Silvius Klein|arXiv (Cornell University)|2015. 07. 10.

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

한 줄 요약

이 논문은 균일한 대칭 이탈 추정을 통한 선형 코클라드에 대한 Oseledets 필터링과 분해의 연속성을 증명하며, Avalanching Principle에 기반한 귀납적 체계를 사용한다. 이는 균일한 대칭 이탈 추정 조건 하에서 Oseledets 정리의 새로운 증명을 제공하고, 적절한 적분 가능성과 이탈 조건을 만족할 경우 리아풀로프 부분공간의 양적 연속성 경계를 도출한다.

ABSTRACT

We consider an abstract space of measurable linear cocycles and we assume the availability in this space of some appropriate uniform large deviation type estimates. Under these hypotheses we establish the continuity of the Oseledets filtration and decomposition as functions of the cocycle. The same assumptions lead in [6] to a general continuity theorem for the Lyapunov exponents. This result and other technical estimates derived in [6], along with the inductive scheme based on the Avalanche Principle, are the main ingredients of the arguments in this paper. We also give a new proof of the classical Multiplicative Ergodic Theorem of V. Oseledets, using the Avalanche Principle (AP). This is a draft of a chapter in our forthcoming research monograph [6].

연구 동기 및 목표

• 균일한 대칭 이탈 추정 조건 하에서 선형 코클라드에 대한 Oseledets 필터링과 분해의 연속성을 증명하기 위해.
• 역행성 조건 없이 필터 액션의 역행성 조건을 요구하지 않는 Avalanching Principle를 사용하여 Multiplicative Ergodic Theorem의 새로운 증명을 제공하기 위해.
• 유한 척도 필터링이 Oseledets 필터링으로 수렴하는 속도에 대한 정량적 추정을 도출하기 위해.
• Oseledets 분해 연속성의 맥락에서 부분공간의 교차 행동을 분석하기 위해.
• 가능한 부분공간의 차원 변화를 고려하여 적절한 측도 코클라드의 위상공간에서 연속성 결과를 정의하고 증명하기 위해.

제안 방법

• 행렬 곱의 가장 확장되는 특성 방향 간의 거리를 추정하기 위해 Avalanching Principle를 사용하여 유한 척도 필터링에 대한 귀납적 제어를 가능하게 하였다.
• 균일한 대칭 이탈 유형(LDT) 추정을 적용하여, 소수의 예외 집합을 제외한 Avalanching Principle의 가정이 유효함을 보장하였다.
• 행렬의 반복 적용 $A^{(n)}(x)$ 에 기반한 특이값 분해 기반 필터링의 μ-거의 모든 곳에서의 극한으로서 Oseledets 필터링을 구성하였다.
• 코클라드 $A$ 의 필터링 성분과 그 수반 코클라드 $A^*$ 의 필터링의 직교 여부의 교차로 Oseledets 분해를 정의하였다.
• 유한 척도 연속성을 정량화하기 위해 거리 측도 $d(E_{\bullet}^{(n)}(B_1)(x), E_{\bullet}^{(n)}(B_2)(x))$ 를 사용하였으며, 각도 거리 추정을 통해 경계를 도출하였다.
• 하나의 부분공간 교차 안정성 제어를 위해 추정식 $d(F_1 \sqcap F_1', F_2 \sqcap F_2') \lesssim \max\{1/\theta_{\sqcap}(F_1,F_1'), 1/\theta_{\sqcap}(F_2,F_2')\} \cdot (d_\tau(F_1,F_2) + d_{\tau^\perp}(F_1',F_2'))$ 를 활용하였다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 코클라드에 대한 Oseledets 필터링이 적절한 위상에서 연속적인가?
• RQ2 필터 액션의 역행성 조건 없이 Avalanching Principle를 사용하여 Multiplicative Ergodic Theorem를 재증명할 수 있는가?
• RQ3 균일한 LDT 추정 조건 하에서, 유한 척도 특이값 분해가 Oseledets 필터링으로 수렴하는 속도는 어떠한가?
• RQ4 코클라드의 소규모 변형에 대해 Oseledets 분해는 어떻게 행동하며, 연속성의 모듈러스는 무엇인가?
• RQ5 균일한 LDT 추정은 리아풀로프 부분공간과 그 교차의 연속성 확보에 어떤 역할을 하는가?

주요 결과

• 균일한 대칭 이탈 추정 조건을 만족하는 모든 코클라드의 근방에서 Oseledets 필터링은 코클라드에 대한 연속 함수이다.
• 측도 코클라드의 전체 공간에서 Oseledets 분해는 연속적이며, 연속성의 모듈러스는 $\omega(h) = [\underline{\iota}(c \log \frac{1}{h})]^{1/2}$ 로 주어진다.
• 동일한 조건 하에서 μ-거의 모든 $x$ 에 대해 유한 척도 분해 $E_{\cdot}^{(n)}(B)(x)$ 는 Oseledets 분해 $E_{\cdot}^{\tau}(B)(x)$ 로 수렴한다.
• 유한 척도 연속성은 지수적 속도로 성립한다: $\text{dist}(B_1,B_2) < e^{-C_1 n}$ 이면, 측도가 $< \iota_n$ 인 집합을 제외한 나머지에서 $d(E_{\cdot}^{(n)}(B_1)(x), E_{\cdot}^{(n)}(B_2)(x)) < e^{-C_3 n}$ 이다.
• 사건 $B \mapsto E_{\cdot}^{\tau}(B)$ 는 다음의 점별 추정식을 만족한다: $\mu\{x : d(E_{\cdot}^{\tau}(B_1), E_{\cdot}^{\tau}(B_2)) > \text{dist}(B_1,B_2)^\alpha\} < \omega(\text{dist}(B_1,B_2))$ 이며, 어떤 $\alpha > 0$ 에 대해 성립한다.
• 역행성 조건 없이 Avalanching Principle를 기반으로 하여, 유한 척도 SVD 필터링의 수렴에 기초한 Multiplicative Ergodic Theorem의 새로운 증명이 확립되었다.