[论文解读] Little q-Legendre polynomials and irrationality of certain Lambert series

Walter Van Assche|arXiv (Cornell University)|Jan 23, 2001

Mathematical functions and polynomials参考文献 14被引用 6

一句话总结

本文提出了一种新颖的方法，利用小 $q$-勒让德多项式与佩德近似（Padé approximation）导出的有理逼近，证明某些 $q$-拉马努金-兰伯特级数（$q$-Lambert series）的无理性，例如 $h_p(1)$ 和 $\ln_p(2)$。该方法在正交多项式理论与数论分析的基础上，为 $\ln_p(2)$ 建立了更优的无理性度量上界——$3.36295$，优于以往结果，同时在 $h_p(1)$ 上达到了目前已知的最佳上界。

ABSTRACT

We show how one can obtain rational approximants for $q$-extensions of the harmonic series and the logarithm (and many other similar quantities) by Padé approximation using little $q$-Legendre polynomials and we show that properties of these orthogonal polynomials indeed prove the irrationality, with an upper bound of the measure of irrationality which is as sharp as the upper bound given by Bundschuh and Väänänen for the harmonic series and a better upper bound than the one given by Matala-aho and Väänänen for the logarithm.

研究动机与目标

• 开发一种基于正交多项式的新型方法，用于证明 $q$-调和级数与 $q$-对数函数的无理性。
• 在先前结果（包括 Matala-aho 和 Vänänen 的工作）的基础上，改进 $\ln_p(2)$ 的无理性度量上界。
• 证明小 $q$-勒让德多项式可通过佩德近似生成 $q$-兰伯特级数的有效有理逼近。
• 将该方法推广至形如 $\sum_{k=1}^\infty \frac{1}{cp^k - 1}$ 的广义兰伯特级数，其中 $c$ 为有理数。
• 统一并强化现有基于 $q$-正交多项式与渐近分析的无理性证明方法。

提出的方法

• 基于小 $q$-勒让德多项式 $P_n(x|q)$，利用佩德近似构造 $h_p(1)$ 和 $\ln_p(2)$ 的有理逼近。
• 利用 $P_n(x|q)$ 在指数格点 $\{q^k\}$ 上的正交性与渐近性质，推导逼近误差的上界。
• 定义序列 $a_n$ 与 $b_n$，作为 $P_n(cp^n|q)$ 与 $Q_n(cp^n|q)$ 的整系数组合，经由 $b^{2n}d_n(p)(c;p)_n$ 归一化（$c$ 为有理数）。
• 应用引理 1，通过证明 $|b_n x - a_n| \to 0$，且 $b_n \in \mathbb{N}$、$a_n \in \mathbb{Z}$，从而证明无理性。
• 建立渐近增长速率 $\lim_{n\to\infty} |b_n x - a_n|^{1/n^2} = p^{-\frac{3(\pi^2-4)}{2\pi^2}} < 1$，以界定无理性度量。
• 通过不等式 $|x - a_n/b_n| = \mathcal{O}(1/b_n^{1 + \frac{\pi^2-4}{\pi^2+4} - \epsilon})$ 推导无理性度量，得出 $r \leq \frac{2\pi^2}{\pi^2 - 4}$。

实验结果

研究问题

• RQ1 小 $q$-勒让德多项式能否用于构造 $q$-兰伯特级数（如 $h_p(1)$ 和 $\ln_p(2)$）的有效有理逼近？
• RQ2 采用该方法时，$\ln_p(2)$ 的无理性度量上界为何值？与先前结果相比如何？
• RQ3 该方法能否推广至形如 $\sum_{k=1}^\infty \frac{1}{cp^k - 1}$ 的其他兰伯特级数（$c$ 为有理数）？
• RQ4 由 $P_n(x|q)$ 导出的逼近的渐近性质如何促成无理性证明？
• RQ5 与 Amdeberhan 和 Zeilberger 的 $q$-WZ 对方法相比，该方法是否能为 $\ln_p(2)$ 提供更紧的无理性度量？

主要发现

• 该方法为 $\ln_p(2)$ 的无理性度量得到上界 $\frac{2\pi^2}{\pi^2 - 4} \approx 3.36295$，优于 Matala-aho 和 Vänänen 的结果（3.9461）。
• 对于 $h_p(1)$，该方法复现了目前已知的最佳上界 $1 + \frac{\pi^2 + 2}{\pi^2 - 2} \approx 2.50828$，与 Bundschuh 和 Vänänen 的结果一致。
• $\ln_p(2)$ 的无理性通过渐近衰减 $|b_n \ln_p(2) - a_n|^{1/n^2} \to p^{-\frac{3(\pi^2-4)}{2\pi^2}} < 1$ 得到证明，满足引理 1 的条件。
• 该构造可推广至 $L = \sum_{k=1}^\infty \frac{1}{cp^k - 1}$（$c$ 为有理数），其无理性度量上界为 $\frac{3\pi^2}{\pi^2 - 3} \approx 4.310119$，与 Bundschuh 和 Vänänen 的结果一致。
• 分母 $b_n$ 的增长率为 $b_n = p^{\frac{3(\pi^2+4)}{2\pi^2}n^2 + o(n^2)}$，支持所推导的无理性度量。
• 小 $q$-勒让德多项式的使用为无理性证明提供了一套系统而强大的框架，其思想与阿佩里（Apéry）方法一脉相承，可进一步推广至 $\zeta(2)$ 与 $\zeta(3)$ 的 $q$-推广。