[论文解读] On the approximation of the values of exponential function and logarithm by algebraic numbers

Yu. V. Nesterenko, Michel Waldschmidt|ArXiv.org|Feb 7, 2000

Mathematical Approximation and Integration参考文献 7被引用 15

一句话总结

本文利用丢番图逼近技术，为 π、log 2、e 和 e^β 等复数提供了有效的代数数逼近下界。关键结果是一个控制 |e^θ - α| + |θ - β| 的通用不等式，该不等式以代数数 α、β 及其扩张域 ℚ(α,β) 的高度和次数为参数，从而导出对 π、log 2、e 和 e^β 等基本常数的显式超越度量。

ABSTRACT

A sharp explicit estimate is proved for the difference $e^β-α$ when $α$ and $β$ are nonzero algebraic numbers.

研究动机与目标

• 推导 e^θ 和 θ 分别由代数数 α 和 β 同时逼近时的有效下界。
• 为 π、log 2、e 和 e^β（β ≠ 0 为代数数）等基本常数建立显式的超越度量。
• 以逼近元的次数与高度为参数，量化指数与对数值可被代数数逼近的紧密程度。
• 通过基于对数 Weil 高度与域扩张次数的显式可计算界限，拓展经典超越数论结果。

提出的方法

• 利用绝对对数 Weil 高度 h(α)、h(β) 与次数 D = [ℚ(α,β) : ℚ]，推导 |e^θ - α| + |θ - β| 的通用下界。
• 应用线性对数形式理论与多项式插值，构造一个非零代数整数 𝒟，其对数大小上下界均有控制。
• 利用 α 与 β 的最小多项式长度 L(P) 的上界，并通过组合与分析估计，控制行列式 𝒟 的大小。
• 通过比较 log|𝒟| 的上下界，假设 |e^θ - α| + |θ - β| 过小，导出矛盾，从而得出主不等式。
• 使用辅助多项式 q_{τt}^{σs}(X,Y) 与结式 R(X,Y)，构造行列式 𝒟 = R(β, α)，在良好逼近假设下确保其非零。
• 通过引理 1 将主不等式转化为超越度量，将代数数逼近与整系数多项式 P 的 |P(θ)| 下界联系起来。

实验结果

研究问题

• RQ1 给定 α、β 的高度与次数有界时，非零 θ 对应的 |e^θ - α| + |θ - β| 最小可能值是多少？
• RQ2 当 ξ 为实代数数，次数 d 且长度 L 时，|π - ξ|、|log 2 - ξ|、|e - ξ| 的显式下界是什么？
• RQ3 能否通过 e^θ 与 θ 的代数数逼近，为 π、log 2、e 和 e^β 推导出有效的超越度量？
• RQ4 Weil 高度 h(α)、次数 D 与域扩张 ℚ(α,β) 如何影响指数与对数值逼近的质量？

主要发现

• 对任意非零 θ，|e^θ - α| + |θ - β| 的下界为 D、log A、log B、log D、log E 与 |θ| 的双重指数函数，且常数明确。
• 对 π，逼近误差满足 |π - ξ| ≥ exp(−1.2 × 10^6 · d · (log L + d log d) · (1 + log d))，其中 ξ 为次数 d 且长度 L ≥ 3 的代数数。
• 对 log 2，界限为 |log 2 - ξ| ≥ exp(−151000 · d^2 · (log L + d log d) · (1 + log d)^{-1})，表明其对 d^2 的依赖强于 π。
• 对 e，界限为 |e - ξ| ≥ exp(−76000 · d^2 · (log L + d))，表明其与 log 2 有相似的 d^2 依赖性。
• 对 e^β（β ≠ 0 为代数数），界限为 |e^β - α| ≥ exp(−105500 · D^2 log A · (h(β) + log_+ log A + log D + log E) · (D log D + log E) · (log E)^{-2})。
• 对 log α（α ≠ 1 为代数数），建立界限 |β - log α| ≥ exp(−105500 · D^2 log A · (h(β) + log_+ log A + log D + log E) · (D log D + log E) · (log E)^{-2})，从而完成对指数与对数值逼近框架的构建。