[論文レビュー] Sharpness of connectivity bounds for quadrature domains

Seung‐Yeop Lee, Nikolai Makarov|arXiv (Cornell University)|Nov 13, 2014

Analytic and geometric function theory参考文献 13被引用数 5

ひとこと要約

本稿では、単調多項式および円パッキング技法を用いて明示的な例を構成することで、四則領域における接続性の上限が鋭いことを確立する。前向きに得られた有界および非有界四則領域に対する接続性の上界が最適であり、次数 $d$、ノード数 $n$、ノードの重複度のすべての有効な組み合わせに対して等号が達成可能であることを示す。これらの結果は、$r(z) = \bar{z}$ における固定点の上界が鋭いことを直接的に示す。

ABSTRACT

In this paper we prove the sharpness of connectivity bounds established in [15]. The proof depends on some facts in the theory of univalent polynomials. We also discuss applications to the equation $r(z)=\bar z$ where $r$ is a rational function.

研究の動機と目的

• 文献[15]で確立された四則領域の接続性の上限が鋭い、すなわち接続性の上界が達成可能であることを証明すること。
• 与えられた次数 $d$ およびノード数 $n$ に対して、最大の接続性を達成する有界および非有界四則領域の明示的例を構成すること。
• 構成においてノードの重複度を指定可能であることを示し、そのような制約下でも上限がタイトであることを示すこと。
• $r(z) = \bar{z}$ への鋭さの結果を応用し、有理関数 $r$ の異なる解の数に対する既知の上界が最適であることを証明すること。
• Geyer や Rhie の結果を拡張し、吸引的または超吸引的固定点の最大数を達成する有理関数を構成すること。

提案手法

• 対称ドロップレットに円パッキングおよび手術技法を適用し、非有界および有界四則領域を構成する。
• 単調多項式の理論を用いて、所望の接続性およびノードの重複度を持つ領域を生成する。
• 反射原理およびシュバルツ反射を用いて四則領域の境界挙動をモデル化し、接続性を制御する。
• 単位円に関する反転を用いて有界および非有界四則領域の間の対応関係を活用し、結果を両側に拡張する。
• （例：$\mathbb{Z}_{N-1}$-対称アニュラスなど）対称的ディスクパッキングに手術を施し、所望の固定点構造を持つ有理関数を生成する。
• 共役関数 $\overline{r(z)}$ の臨界点を分析し、それらを $r(z) = \bar{z}$ の固定点に関連づけ、その数とタイプ（吸引的／超吸引的）を制御する。

実験結果

リサーチクエスチョン

• RQ1 非有界四則領域の接続性の上限 $\min(d+n-1, 2d-2)$ が、指定されたノードの重複度を満たすように達成可能か？
• RQ2 無限遠点にノードがある非有界四則領域に対して改善された上限 $d+n-2$ に対しても、その鋭さは保たれるか？
• RQ3 有界四則領域の接続性の上限 $\min(d+n-3, 2d-4)$ は、ノードの重複度がすべて 3 未満である場合にも達成可能か？
• RQ4 次数 $d$、$n$ 個の異なる極をもつ有理関数 $r$ に対して、$r(z) = \bar{z}$ の異なる解の最大数は？
• RQ5 極の重複度を制御しながら、$\overline{r(z)}$ がちょうど $d+n-2$ 個の有限の超吸引的固定点を持つようにできるか？

主な発見

• 任意の $d \geq 2$ および $n \leq d$ に対して、次数 $d$、$n$ 個の有限ノード（重複度 $\mu_1, \dots, \mu_n$）をもつ非有界四則領域 $\Omega$ が存在し、$\mathop{\rm conn}(\Omega) = \min(d+n-1, 2d-2)$ を満たす。
• 任意の $d \geq 2$ および $n \leq d$ に対して、次数 $d$、無限遠点に重複度 $\mu_n$ のノード、および $n-1$ 個の有限ノード（重複度 $\mu_1, \dots, \mu_{n-1}$）をもつ非有界四則領域 $\Omega$ が存在し、$\mathop{\rm conn}(\Omega) = d+n-2$ を満たす。
• 任意の $d \geq 3$ および $n \leq d$ に対して、次数 $d$、$n$ 個のノード（指定された重複度）をもつ有界四則領域 $\Omega$ が存在し、$\mathop{\rm conn}(\Omega) = \min(d+n-3, 2d-4)$ を満たす。
• 任意の $d \geq 3$ および $n \leq d$ に対して、少なくとも一つのノードの重複度が $\geq 3$ である場合、$\mathop{\rm conn}(\Omega) = d+n-2$ を満たす有界四則領域が存在する。
• 任意の $d \geq 2$ および $n \leq d$ に対して、次数 $d$、$n$ 個の異なる極（指定された重複度）をもつ有理関数 $r$ が存在し、$r(z) = \bar{z}$ の異なる解の数が $\min(3d+2n-3, 5d-5)$ に達する。
• 次数 $d$ の有理関数 $r$ が存在し、$\overline{r(z)}$ がちょうど $d+n-2$ 個の有限の超吸引的固定点を持ち、無限遠点を含む指定された極の重複度が満たされる。