[论文解读] The rational-transcendental dichotomy of Mahler functions

Jason P. Bell, Michael James Coons+1 more|arXiv (Cornell University)|Oct 7, 2012

semigroups and automata theory参考文献 10被引用 13

一句话总结

本文提供了对Mahler函数的有理-超越数二分法的新证明，表明一个D-有限的Mahler函数必为有理函数。通过涉及单位圆上函数方程和奇点分析的代数与解析技术，作者还重新证明了一个Pólya–Carlson型定理：在单位圆盘内亚纯的Mahler函数，要么是有理函数，要么其单位圆为自然边界。

ABSTRACT

In this paper, we give a new proof of a result due to Bezivin that a D-finite Mahler function is necessarily rational. This also gives a new proof of the rational-transcendental dichotomy of Mahler functions due to Nishioka. Using our method of proof, we also provide a new proof of a Polya-Carlson type result for Mahler functions due to Rande; that is, a Mahler function which is meromorphic in the unit disk is either rational or has the unit circle as a natural boundary.

研究动机与目标

• 为Bézivin的结果提供新证明，即D-有限的Mahler函数必为有理函数。
• 使用新方法重新证明Nishioka关于Mahler函数的有理-超越数二分法。
• 建立Mahler函数的Pólya–Carlson型结果：在单位圆盘内亚纯的Mahler函数，要么是有理函数，要么其单位圆为自然边界。
• 通过函数方程与奇点的结构性分析，统一并推广现有Mahler方法中的结果。

提出的方法

• 使用形如 $\sum_{i=0}^d p_i(z)F(z^{k^i}) = 0$ 的最小函数方程来定义 $k$-Mahler函数类。
• 构造一个 $\mathbb{C}(z)$-向量空间 $V = \sum_{i \geq 0} \mathbb{C}(z) F(z^{k^i})$，其维数为 $d$，以分析解的代数结构。
• 应用单位根变换 ($z \mapsto \omega^j z$) 以检测奇点，并通过线性相关性推导矛盾。
• 利用闭包性质与反证法，分析单位圆上的非极点奇点。
• 利用结构定理表明，若函数亚纯，则仅允许极点奇点，从而推出其为有理函数。
• 使用 $k^L$-次单位根 $\omega = e^{2\pi i / k^L}$ 生成对称奇点模式，并在假设奇点为孤立时强制导出矛盾。

实验结果

研究问题

• RQ1 在何种条件下，D-有限的Mahler函数必为有理函数？
• RQ2 能否使用不同于Nishioka的方法重新证明Mahler函数的有理-超越数二分法？
• RQ3 若一个Mahler函数在单位开圆盘内亚纯，是否必有单位圆为自然边界，除非其为有理函数？
• RQ4 函数方程及其解的何种结构性质会迫使奇点集在单位圆上稠密？
• RQ5 根的单位根变换如何揭示孤立非极点奇点假设下的矛盾？

主要发现

• 通过新颖的解析-代数方法，确立了D-有限Mahler函数必为有理函数的新证明，确认了Bézivin的结果。
• 利用函数方程结构与奇点传播，重新证明了Mahler函数的有理-超越数二分法。
• 证明了若一个Mahler函数在单位圆盘内亚纯，则其要么是有理函数，要么其奇点在单位圆上稠密，从而单位圆为自然边界。
• 除非函数为有理函数，否则单位圆上非极点奇点的闭包必为整个圆周，该结论通过使用 $k^L$-次单位根的反证法得以证明。
• 当函数方程为最小形式时，向量空间 $V = \sum_{i \geq 0} \mathbb{C}(z) F(z^{k^i})$ 的维数为 $d$，这对反证法论证至关重要。
• 通过将 $z \mapsto \omega^j z$ 应用于 $\omega = e^{2\pi i / k^L}$，若非极点奇点不稠密，则该方法可强制导出矛盾，从而证明其在单位圆上必须稠密。