[논문 리뷰] Distribution of points with prescribed derivative in polynomial dynamics

Thomas Gauthier, Gabriel Vigny|arXiv (Cornell University)|2016. 06. 17.

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

한 줄 요약

이 논문은 다항형사상 $ f $의 차수 $ d \geq 2 $에 대해, 동역학적 조건이 약간만 만족될 경우, $ n $-번째 반복 도함수 $ (f^n)'(z) = \lambda $ 를 만족하는 점 $ z $ 들의 등분포가 평형측도 $ \mu_f $ 로 수렴함을 증명한다. 또한 이차 다항식 가중치 $ z^2 + c $ 에서, $ (p_c^n)'(c) = \lambda(c) $ 를 만족하는 매개변수 $ c $ 들이 만델브로 집합의 조화측도로 등분포함을 보이며, 임의의 다항식 $ \lambda(c) $ 에 대해 약한 위상에서 수렴함을 증명한다.

ABSTRACT

In analogy to the equidistribution of preimages of a prescribed point by the iterates of a polynomial map in the complex plane towards the equilibrium measure, we show here the equidistribution of points for which the derivative of the n-th iterate of the polynomial takes a suitable prescribed value towards the equilibrium measure. We then give a similar statement in the space of degree d polynomials for the equidistribution of parameters for which the n-derivative at a given critical value has a prescribed derivative towards the activity current of the corresponding critical point.

연구 동기 및 목표

• 차수 $ d \geq 2 $ 인 다항식 $ f $ 에 대해, $ (f^n)'(z) = \lambda $ 를 만족하는 복소수 $ z \in \mathbb{C} $ 들의 등분포가 평형측도 $ \mu_f $ 로 수렴함을 증명하는 것.
• 이 등분포 결과를 이차 다항식 가중치 $ z^2 + c $ 의 매개변수 공간으로 확장하여, $ (p_c^n)'(c) = \lambda(c) $ 를 만족하는 매개변수들이 만델브로 집합의 조화측도로 수렴함을 보이는 것.
• 예외적 집합이 도함수 역상의 등분포에 미치는 역할을 분석하며, 특히 시겔 원판, 도망치는 임계점, 하이퍼볼릭성과의 관계를 고려하는 것.
• 점의 역상에서의 등분포 결과를 도함수의 역상으로 일반화하여, 탄젠트 벡터 백터장 위에서의 코시클 동역학 문제로 재구성하는 것.
• 잠재이론 및 현재이론 기법을 활용하여 매개변수 공간 내 고차원의 기하적 대상에 대한 등분포를 연구할 수 있는 프레임워크를 제공하는 것.

제안 방법

• 다항식 $ f $ 의 $ n $-번째 반복 도함수에 대한 $ \lambda $ 의 역상의 다중도를 고려하여, 확률측도 $ \nu_n^\lambda = \frac{1}{d^n - 1} \sum_{(f^n)'(z) = \lambda} \delta_z $ 를 정의한다.
• 다음과 같은 탄젠트 맵 $ F(z,u) = (f(z), f'(z) \cdot u) $ 의 동역학을 연구한다. 이 맵은 $ \mathbb{C}^2 $ 에 정의되며, 도함수 코시클을 표현한다.
• 맵 $ F $ 의 그린 현재가 사영 $ \pi_1: (z,u) \mapsto z $ 에 의한 $ \mu_f $ 의 역상임을 증명하고, $ (d^n - 1)^{-1} (F^n)^*([u=1]) $ 가 이 현재로 수렴함을 보인다.
• 현재의 교차이론을 활용하여, $ (d^n - 1)^{-1} (F^n)^*([u=1]) \wedge [u=\lambda] \to \pi_1^*(\mu_f) \wedge [u=\lambda] $ 를 증명함으로써, $ \nu_n^\lambda $ 가 $ \mu_f $ 로 약한 수렴함을 유도한다.
• 매개변수 공간의 경우, $ u_n^\lambda(c) = \frac{1}{2^n} \log |(p_c^n)'(c) - \lambda(c)| $ 를 정의하여 $ \nu_n^\lambda = dd^c u_n^\lambda $ 가 되도록 하고, 조화함수 이론을 적용한다.
• 하르토크의 보조정리와 레마 3.8 (Buff-Gauthier) 를 적용하여, $ u_n^\lambda \to g_M $ 가 $ \mathbb{C} \setminus M $ 에서 점별 수렴함을 보이고, 이로부터 $ \nu_n^\lambda \to \mu_M $ 가 $ L^1_{\text{loc}} $ 과 약한 수렴함을 유도한다.

실험 결과

연구 질문

• RQ1 다항식 $ f $ 의 차수 $ d \geq 2 $ 에 대해, $ (f^n)'(z) = \lambda $ 를 만족하는 점 $ z \in \mathbb{C} $ 들이 평형측도 $ \mu_f $ 로 등분포하기 위한 조건은 무엇인가?
• RQ2 하이퍼볼릭성 또는 시겔 원판이 존재하지 않는 등의 더 강한 동역학적 가정 하에, 도함수 역상의 등분포에서 예외적 집합 $ E_f \subset \mathbb{C}^* $ 가 공집합임을 보일 수 있는가?
• RQ3 이차 가중치에서, $ (p_c^n)'(c) = \lambda(c) $ 를 만족하는 매개변수 $ c \in \mathbb{C} $ 들의 등분포는 만델브로 집합의 조화측도와 어떻게 관련이 있는가?
• RQ4 조화함수 잠재함수 이론과 현재의 교차 이론을 활용한 방법이 고차수 다항식 가중치나 고차원 매개변수 다양체로 일반화될 수 있는 정도는 어느 정도인가?
• RQ5 도함수 동역학을 코시클로 표현할 때 체인 룰의 역할은 무엇이며, 이 구조는 복소동역학에서 등분포 결과를 어떻게 촉진하는가?

주요 결과

• 임의의 다항식 $ f $ 의 차수 $ d \geq 2 $ 에 대해, $ \lambda \in \mathbb{C} \setminus E_f $ 에 대해 측도 $ \nu_n^\lambda $ 는 평형측도 $ \mu_f $ 로 수렴한다. 여기서 $ E_f \subset \mathbb{C}^* $ 는 평균집합이다.
• 만약 $ f $ 가 시겔 원판을 가지지 않으며, 도망치는 임계점도 없다면, $ E_f = \emptyset $ 이므로 모든 $ \lambda \in \mathbb{C}^* $ 에 대해 등분포가 성립한다.
• 하이퍼볼릭 다항식의 경우도 예외적 집합 $ E_f $ 는 공집합이므로, 모든 $ \lambda \in \mathbb{C}^* $ 에 대해 등분포가 성립한다.
• 이차 가중치 $ p_c(z) = z^2 + c $ 에서, $ (p_c^n)'(c) = \lambda(c) $ 를 만족하는 측도 $ \nu_n^\lambda $ 는 임의의 다항식 $ \lambda(c) $ 에 대해 약한 수렴을 통해 만델브로 집합의 조화측도 $ \mu_M $ 로 수렴한다.
• 수렴은 잠재함수 $ u_n^\lambda \to g_M $ 가 $ \mathbb{C} \setminus M $ 에서 점별 수렴함을 통해 확립되며, 이는 조화함수 이론과 Buff-Gauthier 보조정리를 활용한다.
• 증명은 정확한 추정을 바탕으로 하며, $ c \in \mathbb{C} \setminus M $ 에 대해 $ \frac{1}{2^n} \log |(p_c^n)'(c)| \to g_M(c) $ 를 보이고, 오차 한계가 지수적으로 감소함을 보인다.