[논문 리뷰] Sharpness for $C^1$ linearization of planar hyperbolic diffeomorphisms

Wenmeng Zhang, Weinian Zhang|arXiv (Cornell University)|2013. 05. 17.

Mathematical Dynamics and Fractals참고 문헌 30인용 수 3

한 줄 요약

이 논문은 평면에서의 초구형 미분형식에 대해 Poincaré 도메인과 Siegel 도메인에서 $C^1$ 선형화의 날카운 Hölder 연속성 임계값을 확립한다. 불변 다변량과 함수 방정식을 유클리드 확장 정리로 분석함으로써, 이전에 알려진 $C^{1,\beta}$ 선형화 지수 $\beta$ 가 미분형식이 Poincaré 도메인에서 $C^{1,\alpha}$이고 $\alpha = \alpha_0$일 때, 그리고 Siegel 도메인에서 $\alpha \in (0,1]$일 때 최적임을 증명하며, 정규화 경계의 날카움을 해결한다.

ABSTRACT

Planar hyperbolic diffeomorphisms can be referred to two cases: Poincaré domain (both eigenvalues lie inside the unit circle $S^1$) and Siegel domain (one eigenvalue inside $S^1$ but the other outside $S^1$). In Poincaré domain it was proved that $C^{1,α}$ smoothness with $α_0:=1-\log|λ_2|/\log|λ_1|0$ is given, an interesting problem is: Is the exponent $α_0$ also sharp? On the other hand, in Siegel domain we only know that $C^{1,α}$ smoothness with $α\in (0,1]$ admits $C^1$ linearization. In this paper we further study the sharpness for $C^1$ linearization in both cases.

연구 동기 및 목표

• Poincaré 도메인에서 $0 < |\lambda_1| < |\lambda_2| < 1$ 인 평면 초구형 미분형식의 $C^1$ 선형화에 대해 날카운 Hölder 지수 $\alpha_0$ 를 결정하는 것.
• Siegel 도메인에서 $C^1$ 선형화에 대해 날카운 정규화 경계를 설정하는 것. 여기서 $0 < |\lambda_1| < 1 < |\lambda_2|$.
• Poincaré 도메인에서 $C^1$ 선형화에 대해 지수 $\alpha_0 = 1 - \log|\lambda_2|/\log|\lambda_1|$ 가 날카운지 여부를 규명하는 것.
• 두 도메인 모두에서 선형화 쌍대성 $\Phi$ 의 Hölder 지수 $\beta$ 에 대해 $\alpha$ 에 대한 날카운 추정치를 유도하는 것.

제안 방법

• 강한 수축 방향에 대한 불변 다변량에 대한 정밀한 추정치를 사용하여 $C^1$ 노름에서 수열 $\Lambda^{-n}F^n$ 의 수렴성을 분석하는 것.
• 공액성 $\Phi \circ F = \Lambda \circ \Phi$ 에서 유도된 함수 방정식을 사용하여 선형화 지도 $\Phi$ 의 정규화를 연구하는 것.
• 유클리드 확장 정리를 적용하여 닫힌 집합 위의 $C^{1,\alpha}$ 데이터를 전역적 $C^{1,\beta}$ 미분형식으로 확장함으로써 공액성의 매끄러움을 보장하는 것.
• 역 함수 $G = F^{-1}$ 와의 이중성 원리를 사용하여 Siegel 도메인에서 $|\lambda_1\lambda_2| > 1$ 인 경우로 결과를 확장하는 것.
• 반증을 통해 $\beta$ 의 날카운 경계를 도출함. $\beta > -\sigma(1 - \sigma)^{-1}\alpha$ 라고 가정하고, 반복의 점점 가까운 행동과의 모순을 보여주는 것.
• 공액성의 정규화를 분리하고 $C^{1,\beta}$ 행동을 분석하기 위해 제어된 비선형 항을 가진 수정된 미분형식 $F_*$ 를 도입하는 것.

실험 결과

연구 질문

• RQ1 Poincaré 도메인에서 $0 < |\lambda_1| < |\lambda_2| < 1$ 이고 $\alpha_0 = 1 - \log|\lambda_2|/\log|\lambda_1|$ 이면, $C^1$ 선형화에 대해 이 지수가 날카운가?
• RQ2 Poincaré 도메인에서 $\alpha = \alpha_0$ 일 때, 선형화 쌍대성 $\Phi$ 의 최적 Hölder 지수 $\beta > 0$ 는 무엇인가?
• RQ3 Siegel 도메인에서 $\alpha \in (0,1]$ 인 $C^{1,\alpha}$ 미분형식에 대해 $C^1$ 선형화가 가능하며, 그로 인한 공액성 $\Phi$ 는 반드시 어떤 $\beta > 0$ 에 대해 $C^{1,\beta}$ 인가?
• RQ4 Siegel 도메인에서 $|\lambda_1\lambda_2| \leq 1$ 과 $|\lambda_1\lambda_2| > 1$ 인 경우에 대해 $\beta$ 의 날카운 경계는 $\alpha$ 에 대해 어떻게 되는가?
• RQ5 Siegel 도메인에서 $|\lambda_1\lambda_2| \leq 1$ 이면, $\beta \leq -\sigma(1 - \sigma)^{-1}\alpha$ 는 $C^{1,\beta}$ 선형화에 대해 날카운가?

주요 결과

• Poincaré 도메인에서 지수 $\alpha_0 = 1 - \log|\lambda_2|/\log|\lambda_1|$ 는 $C^1$ 선형화에 대해 날카롭다. 즉, $\alpha < \alpha_0$ 일 때 $C^1$ 선형화가 실패한다.
• Poincaré 도메인에서 $\alpha = \alpha_0$ 일 때, 선형화 공액성 $\Phi$ 는 $\beta > 0$ 에 대해 $C^{1,\beta}$ 이며, 경계 $\beta \leq -\sigma(1 - \sigma)^{-1}\alpha$ 는 날카롭다.
• Siegel 도메인에서 $|\lambda_1\lambda_2| \leq 1$ 일 때, 경계 $\beta \leq -\sigma(1 - \sigma)^{-1}\alpha$ 는 날카롭고, $\alpha \in (0,1]$ 에 대해 $\Phi$ 는 $C^{1,\beta}$ 이다.
• $|\lambda_1\lambda_2| > 1$ 인 Siegel 도메인에서는 날카운 경계는 $\beta \leq (1 - \sigma)^{-1}\alpha$ 이며, 이는 최적이다.
• 이전에 알려진 $C^{1,\beta}$ 선형화가 $\beta > 0$ 일 때, Poincaré 도메인에서 $\alpha = \alpha_0$ 이고 Siegel 도메인에서 $\alpha \in (0,1]$ 일 때 최적이며, 이는 확인된다.
• 경계의 날카움은 반복의 점점 가까운 행동과 불변 다변량에서의 공액성의 정규화를 분석함으로써 반증을 통해 확립된다.