[论文解读] Some transcendental functions that yield transcendental values for every algebraic entry

Diego Marques, F. M. S. Lima|arXiv (Cornell University)|Apr 10, 2010

Mathematics and Applications参考文献 6被引用 1

一句话总结

本文构建了超越整函数的显式例子，这些函数对每个代数输入均产生超越值，因此其例外集为空。利用超越函数的性质及超越数论的结果，作者证明了此类函数的存在性，并提供了具体的构造方法，将 exp(z) 等函数的已知行为从孤立例外扩展至普遍情形。

ABSTRACT

A transcendental function usually yields a transcendental value for an algebraic entry belonging to its domain, the algebraic exceptions forming the so-called \emph{exceptional set}. For instance, the exceptional set of the function $\,\exp(z)\,$ is the unitary set $\{0\}$, which follows from the Hermite-Lindemann theorem. In this note, we give some explicit examples of transcendental entire functions having empty exceptional sets, i.e. functions that yield transcendental values for all algebraic entries, without exceptions.

研究动机与目标

• 识别并构造例外集为空的显式超越整函数。
• 将超越函数的理解扩展至经典情形 exp(z) 之外，后者仅在 {0} 处有例外点。
• 提供具体例子，证明不存在代数输入导致代数输出的情况，从而填补超越数论中的理论空白。
• 为在代数输入下具有最大超越性质的函数分类做出贡献。

提出的方法

• 利用超越数论中的已知结果，特别是 Hermite-Lindemann 定理，指导函数的构造。
• 设计具有特定增长性和函数性质的整函数，以确保在代数点上保持超越性。
• 使用无穷乘积或级数表示来定义函数，使其在代数自变量处避免取代数值。
• 应用代数点处函数值超越性的判定准则，验证不存在代数输入导致代数输出的情况。
• 确保所构造的函数为整函数且为超越函数，满足必要的解析与算术条件。
• 通过反证法或基于函数恒等式的直接超越性论证，证明例外集为空。

实验结果

研究问题

• RQ1 能否构造出显式的超越整函数，使得每个代数输入均产生超越输出？
• RQ2 超越函数需具备何种函数与解析性质，才能使其例外集为空？
• RQ3 此类函数与经典例子 exp(z) 有何不同，后者具有非空例外集？
• RQ4 是否存在自然的整函数类，其在代数输入处通常避免取代数值？
• RQ5 当要求例外集为空时，会引出何种结构约束？

主要发现

• 本文成功构造了显式例子，证明了对所有代数输入均输出超越值的超越整函数的存在性，从而证实了例外集为空的函数确实存在。
• 这些函数为整函数且为超越函数，其构造依赖于超越数论中的深刻结果。
• 所构造的每个函数的例外集已被证明为空，即定义域中不存在任何代数数映射到代数值。
• 研究结果通过表明超越性可普遍作用于所有代数输入而非仅孤立点，推广了 Hermite-Lindemann 定理。
• 构造过程表明，不存在代数例外的现象不仅在理论上可能，且可借助显式、明确定义的函数实现。