[论文解读] q-Stirling's formula in Tsallis statistics

Hiroki Suyari|arXiv (Cornell University)|Jan 27, 2004

Statistical Mechanics and Entropy参考文献 7被引用 13

一句话总结

本文提出了一种 q-斯特林公式，作为经典斯特林公式的非广延推广，其推导基于源自蔡尔斯熵的 q-乘积结构。该文建立了 q-阶乘的严格不等式与渐近逼近，表明当 q ≠ 2 时，有 ln_q(n!_q) ≈ (n/(2−q))ln_q n − n/(2−q) + O(ln_q n)，并在 q=1 和 q=2 处给出精确极限，从而为蔡尔斯统计提供了一个基础性的数学工具。

ABSTRACT

We present the q-Stirling's formula using the q-product determined by Tsallis entropy as nonextensive generalization of the usual Stirling's formula. The numerical computations and the proof are also shown. Moreover, we derive and prove some inequalities and equalities concerning the q-Stirling's formula. Applying the q-Stirling's formula, the mathematical foundations of Tsallis statistics can be obtained as similarly as those of Boltzmann-Gibbs statistics.

研究动机与目标

• 开发一种适用于蔡尔斯统计的非广延斯特林公式推广，以将玻尔兹曼-吉布斯统计力学扩展至具有幂律行为的系统。
• 利用源自蔡尔斯熵的非广延乘积运算 q-乘积，为 q-阶乘建立严格的数学框架。
• 推导并证明在不同 q 值下，q-阶乘的 q-对数 ln_q(n!_q) 的不等式与渐近表达式。
• 通过展示 q-乘积在统计力学中推导蔡尔斯分布时的作用，证明其与最大似然原理的一致性，从而验证其有效性。

提出的方法

• q-斯特林公式通过 q-乘积 ⊗_q 推导得出，其定义为：当 x, y > 0 且 x^{1−q} + y^{1−q} − 1 > 0 时，x⊗_q y = [x^{1−q} + y^{1−q} − 1]^{1/(1−q)}。
• 使用 q-对数函数 ln_q(x) = (x^{1−q} − 1)/(1−q) 表达 q-阶乘的对数形式，以支持渐近分析。
• 通过积分界限与几何比较（如切线线与梯形近似）推导 ∫_1^n ln_q(x) dx 的上下界。
• 通过结合积分近似与 q-伽马函数及 q-指数函数，推导渐近展开，最终得出 ln_q(n!_q) 的渐近形式。
• 附录中提供了 lim_{n→∞} (1 + x/n)^{⊗_q^n} = exp_q(x) 的证明，确认 q-乘积与标准 q-指数函数的一致性。
• 通过数值计算与图形分析（如图 5）验证所推导的不等式与渐近行为。

实验结果

研究问题

• RQ1 如何将斯特林公式推广至由蔡尔斯熵描述的非广延系统？
• RQ2 通过 q-乘积定义的 q-阶乘 n!_q 的渐近性质是什么？
• RQ3 ∫_1^n ln_q(x) dx 的不等式与边界如何促进 q-斯特林公式的推导？
• RQ4 当 n → ∞ 时，ln_q(n!_q) 对于不同 q 值（尤其是 q ≠ 2）的极限行为如何？
• RQ5 q-乘积结构如何确保与蔡尔斯统计中已知结果（如蔡尔斯分布的推导）的一致性？

主要发现

• 推导出 q-斯特林公式：当 q ≠ 2 时，有 ln_q(n!_q) = (n/(2−q))ln_q n − n/(2−q) + O(ln_q n)，并给出了显式的误差项。
• 当 q = 2 时，渐近形式为 ln_q(n!_q) = n − ln n + O(1)，在 q→1 的极限下与经典斯特林公式一致。
• 对于 q = 2，不等式 n − ln n − 1/(2n) − 5/8 < ln_q(n!_q) < n − ln n − 1/2 成立，表明边界紧密。
• 当 q ≠ 2 时，边界表达式为：(n/(2−q))ln_q n − n/(2−q) + (1/2)ln_q n + (1/(2−q)) − 1/8 < ln_q(n!_q) < (n/(2−q))ln_q n − n/(2−q) + (1/2)ln_q n + (1/(2−q))。
• 通过 lim_{n→∞} (1 + x/n)^{⊗_q^n} = exp_q(x) 证明了 q-乘积与标准 q-指数函数的一致性，验证了其基础性作用。
• 数值与图形证据（如图 5）支持所推导的不等式，尤其在 ln_q(x) 曲线下方面积及其切线近似方面表现良好。