[論文レビュー] A proof of Sendov's conjecture

Gerald Schmieder|ArXiv.org|Jun 18, 2002

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) $ について、最大となる多項式を同定すること。ここで $ \rho(p, w_0) $ は零点 $ w_0 $ から導関数の零点までの最小距離を測る。
• フェルスとロドリゲス（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 $ が成り立つことを確立することで、センドフの予想を完全に証明すること。

提案手法

• 陰関数定理を用いて、動く零点 $ u $ の関数として導関数の零点 $ \zeta(u) $ の正則な分枝を定義し、$ 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) $ の挙動を調べることで、$ |\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 $ が単位円上にある $ 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 $ \mathcal{P}_n $ の中で、与えられた零点 $ w_0 $ に対して臨界半径 $ \rho(p, w_0) $ を最大にする多項式は何か？
• RQ3 $ \mathcal{P}_n $ の中で、$ \rho(p, w_0) $ を最大化する意味で最大となる唯一の多項式は、$ z^n - 1 $ の回転（つまり $ |a| = 1 $ のときの $ z^n + a $）であるか？
• 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) $ を最大にする唯一の多項式 $ \mathcal{P}_n $ は、$ |a| = 1 $ のときの $ z^n + a $ に限る。これは1972年のフェルスとロドリゲスの予想を確認するものである。
• 任意の $ 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} $ に分解され、各成分は $ \varphi(w) = w + \frac{q(w)}{q'(w)} $ を用いて $ \{ u : |u| > 1 \} $ にコンフォーマルに写像される。$ u \to \infty $ のときの $ \zeta(u) $ の漸近的挙動を分析することで、$ f $ の極構造と成長が特定される。
• $ z^n - 1 $ は $ \rho(p, 1) = 1 $ を達成し、この値は鋭い：$ \mathcal{P}_n $ の中で1に等しい零点に対して臨界半径がこれより大きいものはない。したがって $ z^n - 1 $ が最大であることが確認される。