[논문 리뷰] Quadratic polynomials, multipliers and equidistribution

Buff, Xavier, Thomas Gauthier|arXiv (Cornell University)|2013. 06. 12.

Mathematical Dynamics and Fractals참고 문헌 2인용 수 4

한 줄 요약

이 논문은 $ n \to \infty $일 때, 이차 사상 $ f_c(z) = z^2 + c $가 주기 $ n $의 순환을 가지며 다중성 $ \rho_n $를 갖는 매개변수 $ c \in \mathbb{C} $의 등분포를 확립한다. $ \frac{1}{n}\log|\rho_n| \to L $일 때, $ L \leq \log 2 $이면 매개변수는 만델브로 집합의 경계상에 등분포하며, $ L > \log 2 $이면 등위치 $ \{g_M(c) = 2L - 2\log 2\} $ 상에 등분포한다. 이 경우 측도의 수렴은 $ \eta = \max(0, 2L - 2\log 2) $에 대해 $ \mu_\eta $로 이루어진다.

ABSTRACT

Given a sequence of complex numbers {\ ho}_n, we study the asymptotic distribution of the sets of parameters c {\\epsilon} C such that the quadratic maps z^2 +c has a cycle of period n and multiplier {\ ho}_n. Assume 1/n.log|{\ ho}_n| tends to L. If L {\\leq} log 2, they equidistribute on the boundary of the Mandelbrot set. If L > log 2 they equidistribute on the equipotential of the Mandelbrot set of level 2L - 2 log 2.

연구 동기 및 목표

• 고정된 다중성 $ \rho $에 대해 Bassanelli와 Berteloot의 등분포 결과를 $ \rho $가 $ n $에 따라 변하는 경우로 일반화하여, $ |\rho_n| > 1 $인 경우도 허용한다.
• 이차 사상 $ f_c(z) = z^2 + c $가 주기 $ n $의 순환을 가지며 다중성 $ \rho_n $를 갖는 매개변수 $ c \in \mathbb{C} $의 점점 커지는 $ n \to \infty $에 따른 점근적 분포를 이해한다.
• 다중성의 성장률 $ L = \lim \frac{1}{n}\log|\rho_n| $에 따라, 이러한 순환과 관련된 확률 측도 $ \nu_{n,\rho_n} $의 극한 측도를 결정한다.
• 성장률 $ L \leq \log 2 $이면 극한 측도가 만델브로 집합의 경계상에 있는 분열 측도 $ \mu_{\rm bif} $임을 증명하며, $ L > \log 2 $이면 등위치 측도 $ \mu_\eta $ (여기서 $ \eta = \max(0, 2L - 2\log 2) $)임을 보인다.

제안 방법

• 모든 주기 $ n $ 순환의 다중성을 포함하는 결과 다항식 $ R_n(c, \rho) $를 정의한다. 이는 $ c $와 $ \rho $에 대한 다항식이며, 이를 통해 $ u_{n,\rho_n}(c) = \frac{1}{d_n}\log|R_n(c, \rho_n)| $이라는 조화함수를 정의한다.
• 지지집합이 다중성 $ \rho_n $를 갖는 주기 $ n $ 순환을 가진 매개변수 $ c $로 구성되며, 중복도를 고려한 확률 측도 $ \nu_{n,\rho_n} = \Delta u_{n,\rho_n} $를 구성한다.
• compact 집합 $ \{g_M(c) \leq \eta\} $ 외부에서 $ u_{n,\rho_n}(c) $의 점근적 행동을 분석하여, $ \eta = \max(0, 2L - 2\log 2) $일 때 점별 수렴이 $ v(c) = g_M(c) + 2\log 2 $로 이루어짐을 보인다.
• 일반적인 조화함수 비교 보조정리(보조정리 3)를 사용하여, $ M $ 외부에서 $ v(c) $와 일치하는 임의의 조화함수는 미묘한 위상 조건 하에 전 구역에서 $ v $와 일치함을 보인다.
• 이 보조정리를 $ v(c) = g_M(c) + 2\log 2 $와 $ u_{n,\rho_n} $의 극한에 적용하여, $ \nu_{n,\rho_n} $의 약한 수렴이 $ \mu_\eta = \Delta \max(g_M, \eta) $임을 증명한다.
• 복소다이나믹스 이론을 활용하여, $ g_M $의 연속성, 만델브로 집합의 구조, 그리고 $ \mu_{\rm bif} $가 초구형 성분의 경계나 이상 성분의 경계를 측도로 갖지 않는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 다중성 $ \rho_n $가 $ n $에 대해 지수적으로 증가할 때, $ n \to \infty $일 때 매개변수 $ c \in \mathbb{C} $가 주기 $ n $ 순환을 가지는 점근적 분포는 어떻게 행동하는가?
• RQ2 성장률 $ L = \lim \frac{1}{n}\log|\rho_n| $에 따라, 이러한 순환과 관련된 확률 측도 $ \nu_{n,\rho_n} $의 극한 측도는 무엇인가?
• RQ3 만델브로 집합의 경계상이 아니라 등위치 수준집합 상에 등분포가 일어나는 조건은 무엇인가?
• RQ4 등분포 결과를 $ |\rho| \leq 1 $인 경우를 초월하여 확장할 수 있으며, 중복도와 비초구형 매개변수의 역할은 무엇인가?
• RQ5 녹색 함수 $ g_M $, 분열 측도 $ \mu_{\rm bif} $, 등위치 측도 $ \mu_\eta $는 다중성이 변화하는 주기적 매개변수의 점근적 분포에서 어떻게 상호작용하는가?

주요 결과

• 만약 $ \lim_{n\to\infty} \frac{1}{n}\log|\rho_n| = L \leq \log 2 $이면, 측도 수열 $ \nu_{n,\rho_n} $는 약한 수렴으로 분열 측도 $ \mu_{\rm bif} = \Delta g_M $로 수렴하며, 이는 만델브로 집합의 경계상에 지지된다.
• 만약 $ L > \log 2 $이면, $ \nu_{n,\rho_n} $는 $ \mu_\eta $로 약한 수렴하며, 여기서 $ \eta = 2L - 2\log 2 $이며, $ \mu_\eta = \Delta \max(g_M, \eta) $로 정의되며, 등위치 $ \{g_M(c) = \eta\} $ 상에 지지된다.
• 수렴은 $ |\rho_n| > 1 $인 경우에도 성립하며, 결과 다항식 $ R_n(c, \rho) $를 통해 중복도를 고려한 구성이 가능하며, 이는 평행 매개변수에서도 잘 정의된다.
• 핵심 기술적 단계는 $ g_M(c) > \eta $이면 $ u_{n,\rho_n}(c) \to g_M(c) + 2\log 2 $로 점별 수렴함을 보이는 것으로, 이는 순환 궤도를 따라 다중성 $ \rho_{\bf i}(\lambda) $의 점근적 행동을 분석하여 증명된다.
• 증명은 일반적인 조화함수 비교 보조정리(보조정리 3)에 기반하며, 이는 $ M $ 외부에서 $ g_M + 2\log 2 $와 일치하는 임의의 조화함수는 미묘한 위상 조건 하에 전 구역에서 일치함을 보장한다.
• 결과는 Bassanelli와 Berteloot의 등분포 결과를 $ |\rho| \leq 1 $인 경우를 초월하여 확장하며, 극한 측도는 특정 수열 $ \rho_n $에 따라 달라지지 않고, 오직 $ |\rho_n| $의 지수적 성장률 $ L $에 의해서만 결정됨을 보여준다.