[논문 리뷰] An Introduction To Small Divisors

Stefano Marmi|ArXiv.org|2000. 09. 27.

Mathematical Dynamics and Fractals참고 문헌 13인용 수 6

한 줄 요약

이 논문은 동역계에서의 소수 문제에 대한 종합적인 소개를 제공하며, 한 복소변수의 해석적 미분동형사상의 선형화와 디오판틴 조건이 수렴에 미치는 영향에 초점을 맞춘다. Brjuno 조건 하에서 이차 다항식의 선형화 수렴에 관한 Yoccoz의 정리를 확립하며, Brjuno 함수와 연분수를 통해 수론과 복소 동역계를 연결한다.

ABSTRACT

This is an introduction to small divisors problems. The material treated in this book was brought together for a PhD course I tought at the University of Pisa in the spring of 1999. Here is a Table of Contents: Part I One Dimensional Small Divisors. Yoccoz's Theorems 1. Germs of Analytic Diffeomorphisms. Linearization 2. Topological Stability vs. Analytic Linearizability 3. The Quadratic Polynomial: Yoccoz's Proof of the Siegel Theorem 4. Douady-Ghys' Theorem. Continued Fractions and the Brjuno Function 5. Siegel-Brjuno Theorem, Yoccoz's Theorem. Some Open Problems 6. Small Divisors and Loss of Differentiability Part II Implicit Function Theorems and KAM Theory 7. Hamiltonian Systems and Integrable Systems 8. Quasi-Integrable Hamiltonian Systems 9. Nash-Moser's Implicit Function Theorem 10. From Nash-Moser's Theorem to KAM: Normal Form of Vector Fields on the Torus Appendices A1. Uniformization, Distorsion and Quasi-conformal maps A2. Continued Fractions A3. Distributions, Hyperfunctions. Hypoellipticity and Diophantine Conditions

연구 동기 및 목표

• 일변수 복소 동역계에서의 소수 문제에 대한 기초적인 이해를 제공하기 위해.
• 고정점에서의 해석적 미분동형사상의 꼬리가 어떤 조건에서 해석적으로 선형화 가능한지 탐구하기 위해.
• 회전수의 수론적 성질(디오판틴, Brjuno)이 선형화 급수의 수렴에 어떻게 영향을 미치는지 연결하기 위해.
• Nash–Moser 은폐함수 정리와 그가 준정적 해밀토니안 시스템의 KAM 이론에서 수행하는 역할을 소개하기 위해.
• Poincaré, Siegel, Kolmogorov, Arnold, Moser, Herman, Yoccoz의 원저서를 연습 문제와 참고문헌을 통해 동기를 부여하기 위해.

제안 방법

• 복소평면에서의 해석적 미분동형사상의 꼬리 분석을 통해 $ f'(0) = \lambda \neq 0 $ 인 헬름홀로픽 꼬리의 군 $ G_{\lambda} $ 에 초점을 맞춘다.
• G_1-작용에 의한 동치류와 꼬리의 중심화자 연구를 위해 공액을 사용한다.
• 연분수와 Brjuno 함수를 적용하여 선형화 급수의 수렴 조건을 특성화한다.
• 선형 차분방정식의 해를 표현하기 위해 원주 위의 초함수와 분포 개념을 도입한다.
• 벡터장 $ \partial_{\theta_1} + \alpha \partial_{\theta_2} $ 의 초타원성과 $ \alpha $ 에 대한 디오판틴 조건 간의 연결 고리를 설정한다.
• 비선형 문제에서 정규성의 손실을 다루기 위해 프레셰 공간에서의 Nash–Moser 정리를 활용하며, 특히 KAM 이론에서의 응용을 중심으로 한다.

실험 결과

연구 질문

• RQ1 해석적 미분동형사상의 꼬리가 고정점에서 어떤 조건에서 해석적으로 선형화 가능한가?
• RQ2 회전수에 대한 디오판틴 조건과 Brjuno 조건이 선형화 급수의 수렴에 어떻게 영향을 미치는가?
• RQ3 연분수와 Brjuno 함수는 선형화 가능성 결정에 어떤 역할을 하는가?
• RQ4 프레셰 공간에서의 역함수 정리의 실패는 왜 Nash–Moser 정리의 필요성을 초래하는가?
• RQ5 선형화된 공액 방정식의 해가 초함수 또는 분포인 경우는 어떤 의미를 가지며, 이는 공액 함수의 정규성에 어떤 함의를 갖는가?

주요 결과

• Yoccoz의 정리에 따르면, $ \lambda $ 가 단위근이 아니면 $ f \in G_\lambda $ 의 꼬리가 Brjuno 조건을 만족하는 회전수 $ \alpha $ 를 가질 때에만 해석적으로 선형화 가능하다.
• Brjuno 조건은 $ \alpha $ 의 수렴분수의 분모 $ q_n $ 에 대해 $ \sum_{n=0}^\infty \frac{\log q_n}{q_n} $ 의 수렴과 동치이다.
• 차분방정식 $ f_g(\theta + \alpha) - f_g(\theta) = g(\theta) $ 의 기본해 $ f_\delta $ 는 $ \alpha $ 가 디오판틴일 때에만 분포이다.
• 기본해 $ f_\delta $ 가 초함수일 때는 $ \lim_{n \to \infty} \frac{\log q_{n+1}}{q_n} = 0 $ 이며, 이는 디오판틴 조건보다 엄밀히 약한 조건이다.
• 연산자 $ \partial_{\theta_1} + \alpha \partial_{\theta_2} $ 는 $ \alpha $ 가 디오판틴일 때에만 초타원성이며, 이는 PDE의 정규성과 수론을 연결한다.
• 초함수 공간 $ A'({\mathbb{T}}^1) $ 는 무한대에서의 제어된 성장과 $ \pm i\infty $ 에서의 반대칭성을 갖는 $ \mathbb{C} \setminus \mathbb{R} $ 에서의 해석함수 공간 $ \mathcal{O}_\Sigma $ 와 자연스럽게 동형이다.