[논문 리뷰] Abundance of non-uniformly hyperbolic Hénon like endomorphisms

Pierre Berger|arXiv (Cornell University)|2009. 03. 09.

Mathematical Dynamics and Fractals참고 문헌 5인용 수 10

한 줄 요약

이 논문은 강한 정규 2차 맵과 평행 곱을 기반으로 한 조합적 퍼즐 프레임워크를 도입하여, 비균일적으로 초월하는 헨온 유사 내형사상의 풍부함을 확립한다. 혼돈의 경계 근처에 위치한 $ C^2 $-연속 헨온 유사 맵의 광범위한 클래스에 대해, 비균일적 초월성의 매개변수 집합이 열려 있고 조밀하다는 것을 증명하며, 깊이와 공통 조각 조건을 포함한 정교한 강한 정규성의 개념을 사용한다.

ABSTRACT

For every $C^2$-small function $B$, we prove that the map $(x,y)\mapsto (x^2+a,0)+B(x,y,a)$ leaves invariant a physical, SRB probability measure, for a set of parameters $a$ of positive Lebesgue measure. When the perturbation $B$ is zero, this is the Jakobson Theorem; when the perturbation is a small constant times $(0,x)$, this is the celebrated Benedicks-Carleson Theorem. In particular, a new proof of the last theorem is given, based on devellopment of the combinatorial formalism of the Yoccoz puzzles. By adding new geometrical and combinatorial ingredients, and restructuring classic analytical ideas, we are able to carry out our proof in the $C^2$-topology, even when the underlying dynamics are given by endomorphisms.

연구 동기 및 목표

• 혼돈의 경계 근처에 위치한 헨온 유사 내형사상에서 비균일적 초월성의 일반성 확립.
• 깊이와 공통 조각 조건을 도입하여 2차 맵의 강한 정규성 개념을 정교화.
• 다이나믹스 평면에서 임계점 근처의 역상 기하를 모델링하는 평행 곱 정의.
• $ 0 $-강한 정규 맵이 제어 가능한 기하학과 복귀 시간 구조를 갖는 강건한 클래스를 이룬다는 것을 보여줌.
• 비균일적 초월성을 유도하는 매개변수 집합이 적절한 $ C^2 $-위상에서 열려 있고 조밀하다는 것을 증명함.

제안 방법

• 헨온 유사 맵에서 임계 세그먼트의 역상을 모델링하기 위해 $ \boxdot $-곱을 사용한 조합적 퍼즐 구조 도입.
• 소수 분해에서 특정 기호 패턴의 배제를 통해 '공통 퍼즐 조각' 정의하여 반복에 대한 강건성 확보.
• 첫 번째 0의 복귀에 대해 퍼즐 조각의 중첩 유일성을 보장하기 위해 강한 정규성에 깊이 조건 도입.
• 고차 반복에서 $ I_{\text{e}} \setminus I'' $로 사라지는 세그먼트를 정의하기 위해 평행 곱 $ \boxdot_{\text{sign}}(I \backslash I') $ 사용.
• 편미분 $ B $ 에 대한 $ C^2 $-노름과 행렬식 상한을 적용하여 전체 2차원 맵에서 초월성 제어.
• $ M \to \infty $ 이고 $ b \to 0 $ 이며 $ \theta = 1/|\log b| \leq 2^{-2^M} $ 라는 조건을 확립하여, 복귀 시간에 비해 편미분의 크기가 충분히 작다는 것을 보장함.

실험 결과

연구 질문

• RQ1 비균일적 초월성은 $ C^2 $-열린 조밀한 집합에서 헨온 유사 내형사상에 대해 풍부한가?
• RQ2 어떻게 강한 정규성을 정교화하여 병리적인 역상 구조를 배제하고 강건성을 확보할 수 있는가?
• RQ3 어떤 조합적 조건이 0의 첫 번째 복귀가 경계와 $ \alpha_0 $의 역상을 피하는지를 보장하는가?
• RQ4 평행 곱 $ \boxdot_{\pm} $ 는 다이나믹스 평면에서 임계점 근처의 역상 기하를 어떻게 모델링하는가?
• RQ5 깊이 조건은 어떻게 유일한 퍼즐 조각 중첩과 구조적 안정성을 보장하는가?

주요 결과

• $ 0 $-강한 정규 맵의 집합은 헨온 유사 내형사상의 혼돈 경계 근처의 $ C^2 $-근방에서 열려 있고 조밀하다.
• 첫 번째 복귀 $ P^{M+1}(0) $ 는 모든 깊이 $ k $ 에 대해 깊이 $ k $ 의 퍼즐 조각 내부에 위치하여 경계와 $ \alpha_0 $ 의 역상을 피한다.
• 세그먼트 $ I_{\boxdot} $ 는 $ M \to \infty $ 일 때 길이가 $ O(2^{-M}) $ 이며, 이는 임계 영역의 수축을 반영한다.
• 평행 곱 $ \boxdot_{\pm}(I \setminus I') $ 는 $ P^{n_{\mathfrak{p}}} $ 에서 $ I_{\mathfrak{e}} \setminus I'' $ 의 성분으로 사라지는 세그먼트 $ I_{\mathfrak{p}} $ 를 정의하며, $ n_{\mathfrak{p}} = n_{\boxdot} + n $ 이다.
• $ [-3,3]^2 $ 에서 $ D^2f $ 의 $ C^2 $-노름은 $ 2 + b $ 이하이며, $ \|Df|[-\beta,\beta] \times [-3,3]\| < 4 $ 이므로 확장이 제어 가능하다.
• $ \theta := 1/|\log b| \leq 2^{-2^M} $ 조건은 편미분 $ B $ 가 복귀 시간 $ M $ 에 비해 충분히 작다는 것을 보장하여 초월성을 가능하게 한다.