[论文解读] Zero-free polynomial approximation on a chain of Jordan domains

Paul M. Gauthier, Greg Knese|arXiv (Cornell University)|Aug 31, 2012

Holomorphic and Operator Theory参考文献 3被引用 7

一句话总结

本文针对一个连续、全纯且无零点的函数在紧集上，且其补集连通时，能否在该紧集上被无零点的多项式一致逼近的问题，给出了肯定回答，特别针对一系列彼此在单一点相切的若尔当区域链。通过共形映射以及利用收缩、透镜形映射和抛物逼近的迭代去零技术，作者构建了此类区域链上的无零点多项式逼近。

ABSTRACT

On a compact subset of the plane with connected complement, is it possible to uniformly approximate a continuous function, holomorphic and non-vanishing on the interior, with polynomials non-vanishing on the entire compact set? In this brief note, we recall the surprising connection between this question and the Riemann hypothesis and proceed to provide an affirmative answer for a "chain" of Jordan domains.

研究动机与目标

• 研究在补集连通的紧集上，无零点全纯函数是否能被在整个紧集上无零点的多项式一致逼近。
• 探讨该逼近问题与黎曼猜想之间的联系，特别是通过黎曼ζ函数的普遍性。
• 为相邻区域在单一点相切的若尔当区域链情形，提供一个构造性解法。
• 将已知结果从单个若尔当区域或不相交并集的情形，推广至连通的区域链。
• 发展一种方法，在不破坏一致逼近的前提下，消除相邻区域边界点处的零点。

提出的方法

• 使用Osgood-Carathéodory定理，将单位圆盘上的共形映射扩展至区域链中各若尔当区域的闭包上。
• 应用引理2.2（向边界点收缩），将函数的零点集中于某圆盘的单个边界点。
• 使用引理2.3（透镜形映射），将零点映射至相邻圆盘上两个指定的边界点。
• 应用引理2.4（抛物逼近），在边界点附近形变函数，同时保持函数值并确保扰动量小。
• 利用引理2.5，通过组合共形映射与受控扰动，消除两个相邻若尔当区域在切点处的零点。
• 在区域链上使用有限归纳法，依次利用引理2.5在每个接触点消除零点，从而实现无零点逼近。

实验结果

研究问题

• RQ1 在若尔当区域链上，无零点全纯函数是否能被在整个紧集上无零点的多项式一致逼近？
• RQ2 是否存在一种构造性方法，可在保持一致逼近的前提下，消除相邻若尔当区域在切点处的零点？
• RQ3 若尔当区域链的结构（相邻区域仅在单一点相切）如何影响无零点多项式逼近的可能性？
• RQ4 共形映射与迭代扰动技术在非单连通但补集连通的紧集上实现无零点逼近中起什么作用？
• RQ5 该逼近问题的解在多大程度上与黎曼猜想等深层数论猜想相关？

主要发现

• 对问题1.1在相邻区域仅在单一点相切的若尔当区域链情形，给出了肯定回答。
• 作者构造了一个A(Ω̄)中的函数序列，其在Ω̄上与f一致接近，且在整个紧集Ω̄上无零点。
• 该构造依赖于引理2.2至2.5的迭代应用，逐步消除相邻区域在切点处的零点。
• 最终函数fε在区域链的整个闭包上无零点，且满足|f − fε| < ε在Ω̄上成立。
• 根据Mergelyan定理，fε可被多项式一致逼近，且这些多项式在Ω̄上也继承无零点性质。
• 该结果为一类既非不相交也非单连通的紧集，提供了无零点逼近问题的构造性解法，扩展了此前在单个或不相交若尔当区域上的结果。