[论文解读] Lambert series and q-functions near q=1

Shubho Banerjee, Blake Wilkerson|arXiv (Cornell University)|Feb 2, 2016

Advanced Mathematical Identities参考文献 6被引用 12

一句话总结

本文推导了 Lambert 系数和相关 q-函数（如 q-伽马、q-多伽马、q-Pochhammer 符号以及雅可比 theta 函数）在 q=1 附近的完整渐近展开。通过算子方法与伯努利多项式及 Hurwitz zeta 函数的联系，获得了高度精确的闭式近似，包括 $\vartheta_4(0,e^{-1/\pi}) \simeq 2\pi e^{-\pi^3/4}$ 这类结果，其相对误差约为 $10^{-27}$。

ABSTRACT

We study the Lambert series $\mathscr{L}_q(s,x) = \sum_{k=1}^\infty k^s q^{k x}/(1-q^k)$, for all $s \in \mathbb{C}$. We obtain the complete asymptotic expansion of $\mathscr{L}_q(s,x)$ near $q=1$. Our analysis of the Lambert series yields the asymptotic forms for several related q-functions: the q-gamma and q-polygamma functions, the q-Pochhammer symbol, and, in closed form, the Jacobi theta functions. Some typical results include $Γ_2(\frac{1}{4}) Γ_2(\frac{3}{4}) \simeq \frac{2^{13/32} π}{\log 2}$ and $\vartheta_4 (0,e^{-1/π}) \simeq 2 πe^{-π^3\!/4}$, with relative errors of order $10^{-25}$ and $10^{-27}$ respectively.

研究动机与目标

• 推导当 $q \to 1^{-}$ 时 Lambert 系数 $\mathscr{L}_q(s,x) = \sum_{k=1}^\infty \frac{k^s q^{kx}}{1-q^k}$ 的完整渐近展开。
• 将这些渐近结果扩展至相关 q-函数：q-伽马、q-多伽马、q-Pochhammer 符号以及雅可比 theta 函数。
• 为这些函数的特殊值（如 $\Gamma_2(1/4)\Gamma_2(3/4)$ 和 $\vartheta_4(0,e^{-1/\pi})$）提供高精度近似，相对误差在 $10^{-25}$ 或更小量级。
• 将已知的渐近结果（如 Knopp 对 Lambert 系数的结果、Watson 对 Euler 函数的结果）作为所推导展开式的特例统一并推广。

提出的方法

• 通过微分算子 $\frac{D}{e^D - 1}$ 分析 Lambert 系数，其中 $D = \frac{d}{dx}$，该算子与伯努利多项式及 Hurwitz zeta 函数相关联。
• 利用该算子对 $x^{-s}$ 的作用，推导出渐近展开式：当 $q \to 1^{-}$ 时，有 $\mathscr{L}_q(s,x) \sim \sum_{n=0}^\infty \frac{B_n}{n!} \frac{d^n}{dx^n} \left( \frac{1}{(1-q)^{1+s}} \right)$。
• 通过关系式 $\log(q^x;q)_\infty = -\mathscr{L}_q(-1,x)$ 将 q-Pochhammer 符号与 $\mathscr{L}_q(-1,x)$ 联系起来，从而实现对 Euler 函数的渐近分析。
• 将 q-伽马和 q-多伽马函数用 $\mathscr{L}_q(s,x)$ 表示，使它们的渐近形式可由主展开式导出。
• 通过 Jacobi 三重乘积恒等式将雅可比 theta 函数与 q-Pochhammer 符号联系起来，其渐近性质由 Euler 函数的渐近形式导出。
• 最终通过将 $y = i2z / \log q$ 代入 Euler 函数的渐近展开式，并利用双曲函数恒等式简化，得到 theta 函数的最终渐近形式。

实验结果

研究问题

• RQ1 当 $q \to 1^{-}$ 时，Lambert 系数 $\mathscr{L}_q(s,x)$ 的完整渐近展开是什么，对所有 $s \in \mathbb{C}$ 成立？
• RQ2 如何从 $q=1$ 附近的 Lambert 系数推导出 q-伽马和 q-多伽马函数的渐近行为？
• RQ3 当 $q \to 1^{-}$ 时，雅可比 theta 函数 $\vartheta_3(z,q)$ 和 $\vartheta_4(z,q)$ 的高精度渐近近似是什么？
• RQ4 已知的 Euler 函数和 Lambert 系数的渐近结果能否作为所推导展开式的特例被恢复？
• RQ5 像 $\Gamma_2(1/4)\Gamma_2(3/4)$ 和 $\vartheta_4(0,e^{-1/\pi})$ 这类特殊值的精确渐近形式是什么？

主要发现

• Lambert 系数 $\mathscr{L}_q(s,x)$ 在 $q=1$ 附近具有完整的渐近展开，其收敛速度远快于原级数。
• q-伽马函数满足 $\Gamma_q(x) \sim (1-q)^{1-x} \frac{(q;q)_\infty}{(q^x;q)_\infty}$，其对数导数（q-digamma）通过 $\mathscr{L}_q(0,x)$ 表达。
• q-Pochhammer 符号 $\log(q^x;q)_\infty$ 的渐近等价于 $-\mathscr{L}_q(-1,x)$，从而可在 $q=1$ 附近实现高精度计算。
• 雅可比 theta 函数 $\vartheta_4(0,e^{-1/\pi})$ 的近似为 $\simeq 2\pi e^{-\pi^3/4}$，相对误差为 $10^{-27}$ 量级。
• 乘积 $\Gamma_2(1/4)\Gamma_2(3/4)$ 的近似为 $\simeq \frac{2^{13/32}\pi}{\log 2}$，相对误差为 $10^{-25}$ 量级。
• theta 函数的对数导数通过双曲函数渐近逼近，例如 $\frac{\vartheta_2'(z,q)}{\vartheta_2(z,q)} \simeq \frac{1}{\log q} \left[ 2(z_\pi - \pi/2) + \pi \coth\left( \frac{\pi(z_\pi - \pi/2)}{\log q} \right) \right]$。