[论文解读] Algebraic Values of Transcendental Functions at Algebraic Points

Jing-Jing Huang, Diego Marques+1 more|ArXiv.org|Aug 20, 2008

Meromorphic and Entire Functions参考文献 2被引用 5

一句话总结

本文证明了任意代数数的可数子集都可以是某个超越整函数的例外集——即该函数在这些点上取代数数值，而在其他地方不取代数输出。通过基于递归定义的多项式与级数收敛性的构造方法，作者推广了此前关于在代数点取代数值的超越函数的研究结果，将 $ e^z $、$ 2^z $ 和 $ \sin(\pi z)e^z $ 等已知例子统一到一个框架之下。

ABSTRACT

In this paper, the authors will prove that any subset of $\overline{\QQ}$ can be the exceptional set of some transcendental entire function. Furthermore, we could generalize this theorem to a much more general version and present a unified proof.

研究动机与目标

• 推广 St"{a}ckel 关于超越整函数将代数点映射到 $\mathbb{C}$ 的可数稠密子集的结果。
• 建立每个可数子集 $A \subseteq \overline{\mathbb{Q}}$ 都可以是某个超越整函数 $f$ 的例外集 $S_f = \{\alpha \in \overline{\mathbb{Q}} \mid f(\alpha) \in \overline{\mathbb{Q}}\}$。
• 为具有代数点处指定导数值的此类函数的存在性提供统一的、构造性证明。
• 证明超越整函数的例外集可以是 $\overline{\mathbb{Q}}$ 的任意可数子集，包括有限集、余有限集或无限集。

提出的方法

• 递归地构造首一多项式序列 $P_n(z)$，定义为 $P_n(z) = (z - \alpha_{j_n})P_{n-1}(z)$，其中 $\{\alpha_n\}$ 是 $\overline{\mathbb{Q}}$ 中某个可数集 $A$ 的枚举。
• 定义 $i_n = m_n + 1 - j_n$ 以追踪每个 $\alpha_{j_n}$ 在 $P_n(z)$ 中的重数，确保 $P_n^{(i_n)}(\alpha_{j_n}) \neq 0$。
• 使用级数 $f(z) = \sum_{k=0}^\infty a_k P_k(z)$，其中系数 $a_k$ 的选取使得对每个 $s \geq 0$，有 $f^{(s)}(\alpha_j) \in E_{\alpha_j,s}$，即 $\mathbb{C}$ 的一个稠密集。
• 确保 $|a_k| \leq \frac{1}{C_k k!}$，其中 $C_k$ 是 $|P_k(z)|$ 的上界，从而保证在紧集上绝对且一致收敛，因此 $f$ 是整函数。
• 利用引理 3 证明在 $P_k$-基下系数的唯一性，从而确保 $f$ 不是多项式，故为超越函数。
• 通过归纳法选择 $a_k$，使得 $f^{(i)}(\alpha_j) \in E_{\alpha_j,i}$，利用关键点处 $P_k^{(i_n)}(\alpha_{j_n})$ 的非零性。

实验结果

研究问题

• RQ1 是否每个可数子集 $A \subseteq \overline{\mathbb{Q}}$ 都可以实现为某个超越整函数 $f$ 的例外集 $S_f$？
• RQ2 是否存在一种统一的构造方法，能生成将代数点映射到 $\mathbb{C}$ 的指定稠密子集（包括代数值）的超越整函数？
• RQ3 能否控制代数点 $\alpha$ 处所有导数值 $f^{(s)}(\alpha)$，使其落在指定的稠密集 $E_{\alpha,s}$ 中？
• RQ4 何种条件可确保所构造的函数 $f$ 是超越函数而非多项式？

主要发现

• 对任意可数子集 $A \subseteq \overline{\mathbb{Q}}$，存在一个超越整函数 $f$，使得 $S_f = A$，即 $f(\alpha) \in \overline{\mathbb{Q}}$ 当且仅当 $\alpha \in A$。
• 该构造方法可生成不可数多个满足代数点处指定导数值条件的此类超越整函数。
• 函数 $f(z) = \sum_{k=0}^\infty a_k P_k(z)$ 是整函数且超越函数，其系数 $a_k$ 的选取满足对所有 $s \geq 0$ 和 $\alpha_j \in A$，有 $f^{(s)}(\alpha_j) \in E_{\alpha_j,s}$。
• 该方法推广了已知例子：$f_4(z) = 2^z$ 满足 $S_{f_4} = \mathbb{Q}$，$f_5(z) = e^{i\pi z}$ 满足 $S_{f_5} = \mathbb{Q}$，在 Scharanuel 猜想下，$f_6(z) = \sin(\pi z)e^z$ 满足 $S_{f_6} = \mathbb{Z}$。
• 证明表明对所有 $s \geq 0$ 和 $\alpha_j \in A$，有 $f^{(s)}(\alpha_j) \in E_{\alpha_j,s}$，其中 $E_{\alpha_j,s}$ 在 $\mathbb{C}$ 中稠密，且由于在 $P_k$-基下系数的唯一性，函数不是多项式。
• 例外集 $S_f$ 可以是 $\overline{\mathbb{Q}}$ 的任意可数子集，包括有限集、$\mathbb{Q}$、$\mathbb{Z}$ 或 $\mathbb{N}$，具体取决于 $E_{\alpha,s}$ 的选择。