[논문 리뷰] A proof of Sendov's conjecture

Gerald Schmieder|ArXiv.org|2002. 06. 18.

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

한 줄 요약

이 논문은 모든 영이 닫힌 단위 원판 내에 있는 다항식에 대해, 각 영이 도함수의 영점과의 거리가 1 이내임을 주장하는 세ндوف의 추측을 증명한다. 증명은 복소해석학, 리만 곡면 이론, 등각 사상 등을 사용하여, 최대 임계 반경은 $ z^n - 1 $ 형태의 다항식에서 발생하며, 이는 모든 $ p \in \mathcal{P}_n $ 와 모든 영 $ w_0 $ 에 대해 $ \rho(p, w_0) \leq 1 $ 임을 확인함으로써 추측을 완전히 증명한다.

ABSTRACT

A proof of Sendov's conjecture is given.

연구 동기 및 목표

• 복소해석학 분야에서 오랫동안 미해결된 문제인 세нд프의 추측을 해결하는 것. 이 추측은 모든 영이 닫힌 단위 원판 내에 있는 다항식의 각 영점이 도함수의 영점과의 거리가 1 이내임을 주장한다.
• $ \mathcal{P}_n $—차수 $ n > 1 $ 인 모닉 다항식이며 모든 영점이 닫힌 단위 원판 내에 있는 다항식의 집합—에서 임계 반경 기능 $ \rho(p, w_0) $ 에 따라 최대화되는 다항식을 특정하는 것. 이 기능은 영 $ w_0 $ 에서 도함수의 영점까지의 최소 거리를 측정한다.
• Phelps와 Rodriguez(1972)의 추측을 확인하는 것—$ \mathcal{P}_n $ 내에서 유일한 최대 다항식은 $ z^n - 1 $ 의 회전, 즉 $ |a| = 1 $ 인 $ z^n + a $ 뿐임을 확인한다.
• 모든 $ p \in \mathcal{P}_n $ 와 모든 $ w_0 \in \overline{E} $ 에 대해 $ \rho(p, w_0) \leq 1 $ 이라는 것을 확립하여, 세нд프의 추측을 완전히 증명하는 것.

제안 방법

• 도함수의 영점 $ \zeta(u) $ 를 이동하는 영 $ u $ 의 함수로 정의하기 위해 은함수정리(implicit function theorem)를 사용하여, $ Q'(z, u) = 0 $ 으로 정의된 리만 곡면 $ R $ 상에서 해석적 함수로 간주한다.
• 이동하는 영 $ u $ 에서 그에 대응하는 도함수 영점 $ \zeta(u) $ 와의 거리를 연결하는 함수 $ f(u, \zeta(u)) = \frac{\zeta(u) - u}{\zeta - z_1} $ 을 도입하고, 복소적분과 로그 도함수를 통해 그 행동을 분석한다.
• 리만 곡면 $ R $ 은 $ n-1 $ 개의 단순연결 영역 $ G_1, \dots, G_{n-1} $ 으로 분해되며, 각각 $ \varphi(w) = w + \frac{q(w)}{q'(w)} $ 를 통해 $ \{ u : |u| > 1 \} $ 로 등각사상된다. 이는 $ u \to \infty $ 일 때의 점근적 분석을 가능하게 한다.
• 스케일링을 통한 붕괴(블로우업) 방법을 적용하여 다항식을 $ p_r(z) = r^n p(z/r) $ 로 스케일링함으로써, $ r \to \infty $ 일 때 $ \zeta(u) $ 의 행동을 연구한다. 이로 인해 큰 $ r $ 에서 $ |\zeta(u) - u| > \zeta - z_1| $ 임을 밝혀 임계 반경이 증가함을 보여준다.
• $ G_k $ 각각에서 $ \zeta(u) $ 의 점근적 행동을 분석한다: $ k=1 $ 에서는 $ \zeta(u) \to \infty $ 이고, $ k>1 $ 에서는 $ \zeta(u) \to \xi_k $, 즉 $ q $ 의 도함수 영점으로 수렴하며, 함수 $ f $ 는 각 $ G_k $ 에서 무한대에 단순극을 가짐을 보인다.
• 큰 $ r $ 에서 단위원주 위의 $ u = w_0 $ 에서 $ f(u, \zeta(u)) $ 의 크기를 비교함으로써, $ |\zeta(w_0) - w_0| > |\zeta - z_1| $ 임을 보이고, 이는 $ \rho(p^*, w_0) > \rho(p, z_1) $ 를 의미하며, 따라서 $ p^* $ 가 최대임을 증명한다.

실험 결과

연구 질문

• RQ1 모든 영이 닫힌 단위 원판 내에 있는 다항식의 각 영점이 도함수의 영점과의 거리가 1 이내인가?
• RQ2 주어진 영 $ w_0 $ 에 대해 $ \mathcal{P}_n $ 내에서 임계 반경 $ \rho(p, w_0) $ 가 최대가 되는 다항식은 무엇인가?
• RQ3 임계 반경 $ \rho(p, w_0) $ 를 최대화하는 의미에서 $ \mathcal{P}_n $ 내에서 최대 다항식은 유일하게 $ z^n - 1 $ 의 회전인가?
• RQ4 모든 $ p \in \mathcal{P}_n $ 와 모든 $ w_0 \in \overline{E} $ 에 대해 임계 반경 $ \rho(p, w_0) $ 가 1 이하로 상한이 존재하는가?
• RQ5 다항식의 하나의 영을 스케일링을 통해 무한대로 옮길 때 도함수의 영점의 점근적 행동은 어떠한가? 이는 임계 반경에 어떤 영향을 미치는가?

주요 결과

• 모든 $ p \in \mathcal{P}_n $ 와 모든 $ w_0 \in \overline{E} $ 에 대해 임계 반경 $ \rho(p, w_0) \leq 1 $ 이며, 이는 세нд프의 추측을 완전히 확인한다.
• 임계 반경 $ \rho(p, w_0) $ 를 최대화하는 유일한 최대 다항식은 $ |a| = 1 $ 인 $ z^n + a $ 의 형태뿐이며, 이는 1972년 Phelps와 Rodriguez의 추측을 확인한다.
• 모든 영점이 열린 단위 원판 내에 있는 다항식 $ p \in \mathcal{P}_n $ 와 영 $ z_1 $ 이 있을 때, 단위원주 위에 영 $ w_0 $ 를 가진 $ p^* \in \mathcal{P}_n $ 가 존재하여 $ \rho(p^*, w_0) \geq \rho(p, z_1) $ 임을 보여, 최대 임계 반경이 경계점에서 달성됨을 시사한다.
• 큰 $ r $ 에서 $ u $ 가 단위원주 위에 있을 때 함수 $ f(u, \zeta(u)) = \frac{\zeta(u) - u}{\zeta - z_1} $ 의 모듈러스는 1을 초과하며, 이는 $ |\zeta(w_0) - w_0| > |\zeta - z_1| $ 를 의미하고, 결과적으로 임계 반경이 증가함을 보여준다.
• 도함수 영점의 리만 곡면 $ R $ 은 $ n-1 $ 개의 단순연결 성분 $ G_1, \dots, G_{n-1} $ 으로 이루어져 있으며, 각각 $ \{ u : |u| > 1 \} $ 로 등각사상되며, $ u \to \infty $ 일 때 $ \zeta(u) $ 의 점근적 행동을 분석하여 $ f $ 의 극의 구조와 성장률을 밝혀낸다.
• $ z^n - 1 $ 은 $ \rho(p, 1) = 1 $ 을 달성하며, 이 값은 날카롭다: $ \mathcal{P}_n $ 내의 어떤 다항식도 영이 1에 있을 때 이보다 큰 임계 반경을 가질 수 없으며, 이는 $ z^n - 1 $ 이 최대임을 확인한다.