[論文レビュー] Sets of Minimal Capacity and Extremal Domains

Herbert R. Stahl|arXiv (Cornell University)|May 16, 2012

Mathematical functions and polynomials参考文献 6被引用数 26

ひとこと要約

本稿は、無限大におけるメラモーフィック関数の極値領域の存在および一意性を確立する。極値領域とは、このような関数をメラモーフィックかつ一価的に拡張できる最大の領域であり、その補集合は最小の対数的容量を持つ。主な貢献は、二次微分形式およびグリーン関数の対称性を用いた極値領域の特徴付けであり、パデ近似の収束に関する応用を含む。

ABSTRACT

Let f be a function meromorphic in a neighborhood of infinity. The central problem in the present investigation is to find the largest domain D \subset C to which the function f can be extended in a meromorphic and singlevalued manner. 'Large' means here that the complement C\D is minimal with respect to (logarithmic) capacity. Such extremal domains play an important role in Pad'e approximation. In the paper a unique existence theorem for extremal domains and their complementary sets of minimal capacity is proved. The topological structure of sets of minimal capacity is studied, and analytic tools for their characterization are presented; most notable are here quadratic differentials and a specific symmetry property of the Green function in the extremal domain. A local condition for the minimality of the capacity is formulated and studied. Geometric estimates for sets of minimal capacity are given. Basic ideas are illustrated by several concrete examples, which are also used in a discussion of the principal differences between the extremality problem under investigation and some classical problems from geometric function theory that possess many similarities, which for instance is the case for Chebotarev's Problem.

研究の動機と目的

• 無限大でメラモーフィックな関数が一価的かつメラモーフィックに拡張可能な最大の領域 $ D \subset \overline{\mathbb{C}} $ を特定すること。
• 補集合 $ \overline{\mathbb{C}} \setminus D $、すなわち最小容量集合と呼ばれる集合が、最小の対数的容量を持つことの特徴付け。
• 極値領域およびその補集合たる最小容量集合の唯一の存在定理の確立。
• 二次微分形式やグリーン関数の対称性といった解析的道具を用いて、最小容量集合の位相的・幾何的構造を分析すること。
• 極値領域がパデ近似において果たす役割、特に収束理論および近似式の極の分布に関する解明。

提案手法

• 無限大でメラモーフィックな関数 $ f $ のメラモーフィックかつ一価的連続拡張が可能な最大領域として極値領域を定義する。
• 補集合 $ K_0(f,\infty) = \overline{\mathbb{C}} \setminus D_0(f,\infty) $ の最小性基準として対数的容量を用い、その一意的存在的を証明する。
• 二次微分形式 $ q(z)dz^2 $ を用いて、臨界軌道の解析と最小容量集合の特徴付けに寄与する。
• 極値領域におけるグリーン関数の対称性を活用し、$ K_0(f,\infty) $ に対する構造的制約を導出する。
• 局所的容量最小性条件および幾何的推定を用いて、$ K_0(f,\infty) $ の形状および分布を特徴付ける。
• 多項式凸包およびグリーン関数の収束を用いて、近似式の極の分布および極限の性質を確立する。

実験結果

リサーチクエスチョン

• RQ1 任意の無限大でメラモーフィックな関数に対して、補集合が最小の対数的容量を持つ唯一の極値領域が存在するか？
• RQ2 二次微分形式といった解析的道具を用いて、最小容量集合の位相的・幾何的構造をどのように特徴付けられるか？
• RQ3 最小容量集合 $ K_0(f,\infty) $ とパデ近似式の極の漸近的分布との関係は何か？
• RQ4 極値領域におけるグリーン関数の対称性が $ K_0(f,\infty) $ の構造にどのように影響を与えるか？
• RQ5 極値領域問題は、チェボタレフの問題を含む、古典的幾何関数論の問題とどのように異なっているか？

主な発見

• 任意の無限大でメラモーフィックな関数 $ f $ に対して、その補集合 $ K_0(f,\infty) $ が最小の対数的容量を持つ唯一の極値領域 $ D_0(f,\infty) $ が存在する。
• 最小容量集合 $ K_0(f,\infty) $ は、例では8本の弧の和集合として特徴付けられ、パデ近似式 $[63/62]_f$ の極は $ K_0(f,\infty) $ 上の平衡測度に漸近的に分布する。
• 極値領域におけるグリーン関数は、特定の対称性を示し、これにより最小容量集合の特徴付けが可能になる。
• 二次微分形式を用いて、$ K_0(f,\infty) $ の境界を形成する軌道の局所的および大域的挙動を記述する。臨界点の位数が $ l $ のとき、$ l+2 $ 本の軌道がその点に集まる。
• パデ近似式 $[n+1/n]_f$ は $ D_0(f,\infty) $ 内で容量収束するが、これ以上の領域では収束を支持できないという意味で最適である。
• パデ近似式における偽の極は、キャンセルを起こす極と零点のペアとして特定され、$ f $ の特異点に対応しない。これらは $ K_0(f,\infty) $ 上に漸近的に分布する極とは明確に区別される。