[論文レビュー] A-stabilization and the ranges of complex polynomials on the unit disk

Alexey Solyanik|arXiv (Cornell University)|Jan 17, 2017

Advanced Differential Equations and Dynamical Systems参考文献 2被引用数 6

ひとこと要約

本稿は、正規化 $ q(1) = 1 $ の下で単位円板上での複素多項式 $ q(z) = q_1z + \cdots + q_nz^n $ の値域を調査し、複素動的系におけるA安定化と関連付ける。$ T $-対称な単葉多項式に対しては、係数推定 $ |c_k| \leq C_T k^{2/T - 1} $ が成り立ち、$ T \leq 4 $ に対してはツェーゲの予想が証明されるが、$ T \geq 12 $ では成立しないことが示され、幾何関数論における長年の未解決問題が解決される。

ABSTRACT

Problems of stabilization of the unstable cycle of one-dimensional complex dynamical system are briefly discussed. These questions reduced to the problem of description of the ranges of polynomials $q(z) = q_1z + q_2z^2 +\dots + q_nz^n$ defined in the unit disk and normalized by the conditions $q(1) = 1 $ and this is the main subject of the present paper.

研究の動機と目的

• 不安定な周期軌道の安定化に関連する、正規化 $ q(1) = 1 $ の下での複素多項式 $ q(z) $ の単位円板上での値域を特徴付けること。
• 特にツェーゲの予想に関連して、$ T $-対称な単葉多項式の挙動とその係数推定を調査すること。
• 実動的系から複素動的系への結果の拡張を行い、$ \mathbb{C} $ 上のグローバルなダイナミクスが実動的系を包含し、安定化機構に関する新たな知見を可能にすること。
• アンドリエフスキー–ルシュエンヴァイヒの定理を用いて、実係数を持つ多項式による共形写像の内部近似を可能にする多項式近似フレームワークを提供すること。

提案手法

• 動的系の安定化をモデル化するため、$ q(z) = z r(z^T) $ の形をした $ T $-対称な単葉多項式 $ r(z) $ を用いる。
• 単葉関数（例えばコーエーブ関数）の $ T $ 乗根変換を適用し、単位円板からスリット領域 $ \Omega_T(1) $ への $ T $-対称な共形写像を生成する。
• アンドリエフスキー–ルシュエンヴァイヒ近似定理を用いて、$ g_\Omega((1 - c_0/n)z) \prec q(z) \prec g_\Omega(z) $ を満たす多項式 $ q(z) $ を構成し、共形写像の内部近似を保証する。
• 二項係数の漸近的挙動を用いて、$ k_T(z) = \frac{2^{2/T} z}{(1 - z^T)^{2/T}} $ のべき級数展開における係数推定を導出し、$ |c_k| \leq C_T k^{2/T - 1} $ に至る。
• シュワルツの補題やシフト階乗 $ (a)_n $ の性質を含む、幾何関数論の古典的結果を用いて、近似多項式の一意性と収束性を確立する。
• コーエーブ関数とその $ T $ 乗根変換を用いて極値ケースをモデル化し、境界を導出する。特に $ T=1 $（コーエーブ）と $ T=2 $ では係数が簡単な閉形式で表れる。

実験結果

リサーチクエスチョン

• RQ1 正規化 $ q(1) = 1 $ の下で、複素多項式 $ q(z) = \sum_{k=1}^n q_k z^k $ の単位円板上での値域は何か？ これは不安定な周期軌道の安定化とどのように関連するか？
• RQ2 $ T $-対称な単葉多項式に対して、べき級数展開における係数 $ c_k $ の鋭い推定値は何か？
• RQ3 ツェーゲの予想 $ |\hat{q}(k)| \leq C_T k^{2/T - 1} $ はすべての $ T $ に対して成り立つか？ そうでない場合、どの $ T $ で失敗するか？
• RQ4 アンドリエフスキー–ルシュエンヴァイヒの定理を用いて、単葉性と実係数を保ったまま共形写像への多項式近似を構成できるか？
• RQ5 コーエーブ関数の $ T $ 乗根変換の挙動は何か？ また、これは単位円板からスリット領域への $ T $-対称な共形写像とどのように関連するか？

主な発見

• コーエーブ関数の $ T $ 乗根変換 $ k_T(z) = \frac{2^{2/T} z}{(1 - z^T)^{2/T}} $ は、単位円板 $ \Delta $ をスリット領域 $ \Omega_T(1) $ に正則かつ単葉に写像する $ T $-対称な関数である。
• $ T=1 $ の場合、$ k_1(z) = \frac{4z}{(1-z)^2} $ は標準的なコーエーブ関数であり、係数は $ c_k = 4k $ である。$ T=2 $ の場合、$ c_k = 1 $ であり、簡単な閉形式を持つ。
• 係数推定 $ |c_k| \leq C_T k^{2/T - 1} $ はすべての $ T $ に対して成り立ち、二項係数 $ \binom{-2/T}{k} $ の漸近的挙動から導かれる。
• ツェーゲの予想は $ T=1 $（リトルウッド, 1925）、$ T=2 $（リトルウッド–ペイル, 1932）、$ T=3 $（レヴィン, 1934）、$ T=4 $（ベーンスタイン, 1986）に対して証明されており、これらのケースで境界が成立することが確認される。
• J. リトルウッド（1938）は、十分大きな $ T $ に対して予想が失敗することを示し、C. ポンメレンケ（1975）はすべての $ T \geq 12 $ で予想が失敗することを証明した。これにより、$ 5 \leq T \leq 11 $ が未解決のケースとして残された。
• アンドリエフスキー–ルシュエンヴァイヒの定理により、$ g_\Omega((1 - c_0/n)z) \prec q(z) \prec g_\Omega(z) $ を満たす単葉多項式 $ q(z) $（次数 $ \leq n $）の存在が保証され、$ c_0 \in [\pi, 73] $ である。これにより、実係数を持つ共形写像の内部近似が保証される。