[论文解读] 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 $，存在唯一的极值域 $ D_0(f,\infty) $，使得其补集 $ K_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 $，且该收敛性最优，即不存在更大的区域支持此类收敛。
• 佩德近似式中的虚假极点被识别为因相互抵消而形成的极点与零点对，不对应于 $ f $ 的奇点，且与渐近分布于 $ K_0(f,\infty) $ 上的极点相区别。