[论文解读] Mahler equations and rationality

Reinhard Schäfke, Michael F. Singer|arXiv (Cornell University)|May 28, 2016

Polynomial and algebraic computation参考文献 6被引用 4

一句话总结

本文提供了关于满足 $p$-Mahler 和 $q$-Mahler 方程的正式幂级数在 $\mathbb{C}(x)$ 上的有理性的自包含证明，其中 $p$ 和 $q$ 是乘法独立的整数。该证明依赖于对一致 Mahler 方程组的分析，建立了解的解析延拓与多项式增长，最终通过增长估计和到 $\mathbb{C}$ 的亚纯延拓得出有理性结论。

ABSTRACT

We give another proof of a result of Adamczewski and Bell concerning Mahler equations: A formal power series satisfying a $p-$ and a $q-$Mahler equation over ${\mathbb C}(x)$ with multiplicatively independent positive integers $p$ and $q$ is a rational function. The proof presented here is self-contained and is essentially a compilation of proofs contained in the recent preprint "Consistent systems of linear differential and difference equations", arXiv:1605.02616 [math.CA], by the same authors.

研究动机与目标

• 为满足 $\mathbb{C}(x)$ 上 $p$-Mahler 和 $q$-Mahler 方程的正式幂级数的有理性提供一种新的、自包含的证明，当 $p$ 和 $q$ 乘法独立时。
• 建立一致 Mahler 系统形式解在 $\mathbb{C}$ 上到亚纯函数的解析延拓，且仅有有限个极点。
• 证明此类解在无穷远处表现出多项式增长，这是得出有理性的关键步骤。
• 统一并扩展一致线性差分、$q$-差分和 Mahler 方程组的约化技术。
• 提供一种替代 Adamczewski 和 Bell 方法的途径，避免使用如 Chebotarev 密度定理和 Cobham 定理等工具。

提出的方法

• 在 Laurent 级数域 $K = \mathbb{C}[[x]][x^{-1}]$ 上定义 Mahler 算子 $\sigma_p(f(x)) = f(x^p)$ 和 $\sigma_q(f(x)) = f(x^q)$，当 $p$ 和 $q$ 乘法独立时，这些算子彼此交换。
• 构造一个有限维 $\mathbb{C}(x)$-向量空间 $W$，其由解 $f(x)$ 的迭代张成，且在 $\sigma_p$ 和 $\sigma_q$ 下不变，通过矩阵 $A(x), B(x) \in \mathrm{GL}_n(\mathbb{C}(x))$ 表示其作用。
• 从 $\sigma_p$ 和 $\sigma_q$ 的交换性推导出一致性条件 $A(x^q)B(x) = B(x^p)A(x)$，以确保系统的相容性。
• 通过截断和赋值估计证明解 $g(x)$ 在 $0$ 附近收敛。
• 通过利用对数黎曼面上的周期性和傅里叶级数，证明 $g(x)$ 可以解析延拓为 $\mathbb{C}$ 上的亚纯函数，且仅有有限个极点。
• 通过环形覆盖和迭代估计建立当 $|x| \to \infty$ 时 $|g(x)|$ 的多项式增长，从而得出有理性。

实验结果

研究问题

• RQ1 在何种条件下，满足两个乘法独立的 $p$ 和 $q$ 的 Mahler 方程的正式幂级数成为有理函数？
• RQ2 能否在不依赖如 Chebotarev 密度定理或 Cobham 定理等数论工具的情况下，确立此类解的有理性？
• RQ3 如何利用一致 $p$-和 $q$-Mahler 方程组的一致性来推导其解的解析性质？
• RQ4 一致 Mahler 系统的解在复平面上表现出怎样的增长与单值性（monodromy）性质？
• RQ5 是否可能仅通过解析延拓和增长估计来证明公共解的有理性？

主要发现

• 满足 $\mathbb{C}(x)$ 上 $p$-Mahler 和 $q$-Mahler 方程的正式幂级数 $f(x) \in \mathbb{C}[[x]][x^{-1}]$，当 $p$ 和 $q$ 乘法独立时，必为有理函数。
• 一致系统 $y(x^p) = A(x)y(x)$，$y(x^q) = B(x)y(x)$ 的解 $g(x)$ 在 $0$ 的邻域内收敛。
• 解 $g(x)$ 可以解析延拓为 $\mathbb{C}$ 上的亚纯函数，且仅有有限个极点。
• 当 $|x| \to \infty$ 时，解 $g(x)$ 展现出多项式增长，具体为 $|g(x)| \leq L (\log|x|)^d |x|^{M/(p-1)}$，其中 $L, d, M > 0$ 为常数。
• 解析延拓与多项式增长的结合意味着 $g(x) \in \mathbb{C}(x)^n$，因此原解 $f(x)$ 为有理函数。
• 该证明避免依赖有限域约化和局部-整体原理，为 Adamczewski 和 Bell 方法提供了一条直接的分析替代路径。