[논문 리뷰] Global hyperbolicity of renormalization for C^r unimodal mappings

Edson de Faria, Welington de Melo외 1명|ArXiv.org|2007. 02. 27.

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

한 줄 요약

이 논문은 $r \geq 2 + \alpha$ 인 $C^r$ 단조형 맵에서 평균값이 1에 가까운 $\alpha$에 대해 이차 임계점을 가진 경우, 재규합 연산자의 전역 쌍곡성을 확립한다. 이는 유계형 극한 집합 위에 쌍곡적 구조의 존재를 증명하고, 국소 및 전역 $C^1$ 안정다양체를 구성하며, 일반적인 일파rametric 가중치에서 무한히 재규합 가능한 맵의 집합이 1보다 작은 하우스도르프 차원을 가진 칸토어 집합임을 보여준다.

ABSTRACT

In this paper we extend M. Lyubich's recent results on the global hyperbolicity of renormalization of quadratic-like germs to the space of C^r unimodal maps with quadratic critical point. We show that in this space the bounded-type limit sets of the renormalization operator have an invariant hyperbolic structure provided r ge 2+ alpha with alpha close to one. As an intermediate step between Lyubich's results and ours, we prove that the renormalization operator is hyperbolic in a Banach space of real analytic maps. We construct the local stable manifolds and prove that they form a continuous lamination whose leaves are C^1 codimension one, Banach submanifolds of the ambient space, and whose holonomy is C^{1+β} for some beta >0. We also prove that the global stable sets are C^1 immersed (codimension one) submanifolds as well, provided r ge 3+ alpha with alpha close to one. As a corollary, we deduce that in generic, one-parameter families of C^r unimodal maps, the set of parameters corresponding to infinitely renormalizable maps of bounded combinatorial type is a Cantor set with Hausdorff dimension less than one.

연구 동기 및 목표

• 실해석 함수에서 재규합 연산자의 쌍곡성 결과를 M. Lyubich의 결과에서 실해석 함수에서 $C^r$ 단조형 맵으로 확장한다.
• $C^r$ 설정에서 재규합 연산자의 유계형 극한 집합 위에 쌍곡적 구조의 존재를 확립한다.
• 재규합 연산자에 대한 국소 및 전역 안정다양체를 구성하고, 그 정규성과 위상구조를 분석한다.
• 특히 무한히 재규합 가능한 매개변수의 구조를 포함하여, $C^r$ 단조형 맵의 일파라미터 가중치에 대한 기하학적 및 역학적 결과를 도출한다.

제안 방법

• 해석적 성질과 스펙트럼 추정치를 이용하여 실해석 함수 공간의 바나흐 공간에서 재규합 연산자의 쌍곡성을 증명한다.
• 강력한 연산자 프레임워크와 수축 원리를 통해 국소 안정다양체를 $C^1$ 코디멘션-일치 부분다양체로 구성한다.
• 작은 호로노미 추정치와 강건성 성질을 이용하여 안정 람인레이션에 대해 $C^{1+\beta}$ 호로노미를 확립한다.
• 헤이더 노름과 유계 기하 구조 추정치를 이용하여 분석 설정에서의 불변 분할을 $C^r$ 설정으로 확장한다.
• 재규합 연산자의 비대칭 곱의 구조와 스펙트럼 이론을 이용하여 강건성 조건(B1–B6)을 검증한다.
• 국소 안정다양체 정리 적용 후, 더 높은 정규성 조건($r \geq 3 + \alpha$) 하에서 결과를 전역 안정집합으로 확장한다.

실험 결과

연구 질문

• RQ1 일반화된 $C^r$ 단조형 맵에서 $r > 2$ 인 경우, 이차 임계점을 가진 재규합 연산자가 공간에서 전역 쌍곡성을 보이게 되는가?
• RQ2 재규합 연산자의 국소 안정다양체가 $C^1$ 코디멘션-일치 부분다양체이자 $C^{1+\beta}$ 호로노미를 가지는가?
• RQ3 재규합 연산자의 전역 안정집합이 $C^1$ 매장된 부분다양체가 되는 정규성 조건은 무엇인가?
• RQ4 일반적인 일파라미터 가중치에서 무한히 재규합 가능한 맵에 해당하는 매개변수 집합의 위상적 및 분수적 구조는 어떠한가?
• RQ5 무한히 재규합 가능한 매개변수 집합의 하우스도르프 차원은 가중치의 정규성과 어떻게 관련이 있는가?

주요 결과

• 일반화된 $C^r$ 단조형 맵에서 $r \geq 2 + \alpha$ 이며 $\alpha$가 1에 가까운 경우, 재규합 연산자는 유계형 극한 집합에서 전역 쌍곡성을 가진다.
• 국소 안정다양체는 존재하며, 일부 $\beta > 0$ 에 대해 $C^1$ 코디멘션-일치 바나흐 부분다양체이자 $C^{1+\beta}$ 호로노미를 가진다.
• $r \geq 3 + \alpha$ 이며 $\alpha$가 1에 가까운 경우, 전역 안정집합은 $C^1$ 매장된 코디멘션-일치 부분다양체이다.
• 일반적인 일파라미터 가중치에서 $C^r$ 단조형 맵의 무한히 재규합 가능한 매개변수 집합은 하우스도르프 차원이 1보다 작은 칸토어 집합이다.
• 재규합 연산자는 $C^r$ 설정에서 유계성 및 수축 조건(B1–B6)을 만족하는 강건성 조건을 갖는다.
• 안정 람인레이션은 횡방향으로 완전히 이산적이며, $C^{1+\beta}$ 호로노미 사상이 존재하여 정규적인 기하학적 구조를 보장한다.