[论文解读] On linear forms containing the Euler constant

Alexander Ivanovich Aptekarev|ArXiv.org|Feb 10, 2009

Mathematical functions and polynomials参考文献 2被引用 8

一句话总结

该论文利用四阶递推关系，构造了涉及欧拉-马歇罗尼常数 γ 和欧拉-戈姆佩茨常数 δ 的整系数线性形式。它建立了这些形式的精确渐近行为，利用埃尔米特-帕德逼近和正交多项式理论中的行列式恒等式，为 γ 或 δ 中至少一个的超越性提供了定量证据。

ABSTRACT

We present linear forms with integer coefficients containing the Euler-Mascheroni and Euler-Gompertz constants. The forms are defined by four-terms recurrence relations. Asymptotics of the forms and their coefficients are obtained.

研究动机与目标

• 构造涉及欧拉-马歇罗尼常数 γ 和欧拉-戈姆佩茨常数 δ 的整系数线性形式。
• 推导一个四元递推关系，生成可产生 γ 和 δ 的有理逼近的序列。
• 分析序列及其相关线性形式的渐近行为，为 γ 或 δ 的超越性提供定量证据。
• 将基于递推的序列与涉及 γ 和 δ 的函数系统的埃尔米特-帕德逼近联系起来。
• 建立逼近的精确误差估计，为 γ 和 δ 的超越性这一长期悬而未决的问题做出贡献。

提出的方法

• 推导序列 {uₙ}, {vₙ}, {wₙ} 的四阶线性递推关系，初始条件为整数。
• 使用行列式恒等式 Δₙ⁽ᵃᵇ⁾ = det( aₙ₊₁, aₙ; bₙ₊₁, bₙ )，将 uₙ, vₙ, wₙ 定义为埃尔米特-帕德逼近序列的缩放差值。
• 应用分母的广义罗德里格斯型公式，构造底层的正交多项式系统。
• 使用佩罗尼型估计和拉普拉斯方法近似，对递推解进行渐近分析。
• 建立行列式形式与线性形式 fₙ = pₙ − γqₙ, gₙ = epₙ − (eγ + δ)qₙ + rₙ, 和 lₙ = uₙδ − γvₙ + wₙ 之间的联系。
• 利用已知渐近式 (2n)! e^{±√(2n)} / n^{1/4} 推导逼近的精确误差界。

实验结果

研究问题

• RQ1 能否构造出同时逼近欧拉-马歇罗尼常数 γ 和欧拉-戈姆佩茨常数 δ 的整系数线性形式？
• RQ2 此类线性形式中系数和误差项的渐近行为如何？
• RQ3 能否利用逼近的递推结构推导出 γ 或 δ 的超越性度量或证据？
• RQ4 与 γ 和 δ 相关的函数系统之埃尔米特-帕德逼近与序列 uₙ, vₙ, wₙ 之间有何联系？
• RQ5 线性形式 lₙ = uₙδ − γvₙ + wₙ 的精确衰减速率是多少？这对 γ 和 δ 的算术性质有何含义？

主要发现

• 由四阶递推定义的序列 uₙ, vₙ, wₙ 对所有 n ≥ 0 均为整数值。
• 当 n → ∞ 时，uₙ, vₙ, wₙ 的渐近增长为 O((2n)! 4ⁿ / n^{3/2})。
• 线性形式 lₙ = uₙδ − γvₙ + wₙ 满足 lₙ = (n^{5/4} / (e^{√(2n)} 4ⁿ)) (2√[4]{2}/e^{3/8} + O(n^{-1/2}))，表现出快速衰减。
• 组合 [wₙ + (eγ + δ)uₙ] 和 [vₙ + e uₙ] 均为 O(e^{√(2n)} n^{5/4} / 4ⁿ)，表明逼近质量极强。
• lₙ 的渐近衰减为 γ 和 δ 不可能同时为有理数提供了定量证据，支持已知的代数独立性结果。
• 递推与行列式结构将逼近与涉及 γ 和 δ 的四个函数系统的 (n,n) 阶埃尔米特-帕德逼近联系起来。