[論文レビュー] 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-対数 ln_q(n!_q) の不等式および漸近的表現を導出し、証明すること。
• 最大尤度原理からのツァラス分布の導出において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 q ≠ 2 の場合、特にq ≠ 2 のとき、n → ∞ の極限における ln_q(n!_q) の挙動は何か？
• RQ5 q-積構造は、ツァラス分布の導出といったツァラス統計における既知の結果とどのように整合性を保っているか？

主な発見

• q ≠ 2 のとき、q-スターリングの公式は 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) の曲線下面積とその接線近似の関係において、導出された不等式が特に有効であることが支持される。