Next Article in Journal
Non–Parametric Estimation of Mutual Information through the Entropy of the Linkage
Next Article in Special Issue
Statistical Mechanics Ideas and Techniques Applied to Selected Problems in Ecology
Previous Article in Journal
Energy Transfer Using Unitary Transformations
Previous Article in Special Issue
Dynamics of Instantaneous Condensation in the ZRP Conditioned on an Atypical Current
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

The κ-Generalizations of Stirling Approximation and Multinominal Coefficients

1
Department of Electrical and Electronic Engineering, Ibaraki University, 4-12-1 Nakanarusawa,Hitachi, Ibaraki 316-8511, Japan
2
Graduate School of Advanced Integration Science, Chiba University, 1-33 Yayoi, Inage, Chiba, Chiba 263-8522, Japan
*
Author to whom correspondence should be addressed.
Entropy 2013, 15(12), 5144-5153; https://doi.org/10.3390/e15125144
Submission received: 20 August 2013 / Revised: 20 November 2013 / Accepted: 21 November 2013 / Published: 26 November 2013
(This article belongs to the Collection Advances in Applied Statistical Mechanics)

Abstract

:
Stirling approximation of the factorials and multinominal coefficients are generalized based on the κ-generalized functions introduced by Kaniadakis. We have related the κ-generalized multinominal coefficients to the κ-entropy by introducing a new κ-product operation, which exists only when κ 0 .

1. Introduction

As is well-known in the fields of statistical mechanics, Ludwig Boltzmann clarified the concept of entropy. He considered that a macroscopic system consists of a large number of particles. Each particle is assumed to be in one of the energy levels, E i ( i = 1 , , k ) , and the number of particles in the energy level, E i , is denoted by n i . The total number of particles is then n = i = 1 k n i , and the total energy of the macrostate is E = i n i E i . The number of ways of arranging n particles in k energy levels, such that each level, E i , has n i , ( i = 1 , 2 , , k ) particles, are given by the multinominal coefficients:
n n 1 n k n ! n 1 ! n k !
which is proportional to the probability of the macrostates if all microscopic configurations are assumed to be equally likely. In the thermodynamic limit, in which n increases to infinity, we consider the relative number, p i n i / n , as the probability of the particle occupation of a certain energy level, E i . In order to find the most probable macrostate, Equation (1) is maximized under a certain constraint. The Stirling approximation of the factorials leads to:
ln n n 1 n k n S BGS n 1 n , , n k n
where
S BGS n 1 n , , n k n i = 1 k p i ln ( p i )
is the Boltzmann–Gibbs–Shannon (BGS) entropy.
Recently, one of the authors (H.S.) has shown one-parameter (q) generalizations of Gauss’ law of error [1], Stirling approximation [2] and multinominal coefficients [3] based on the Tsallis q-deformed functions and associated multiplication operation (q-product) [4,5]. These mathematical structures are quite fundamental for the basis of any generalization of statistical physics as in the standard statistical physics. In particular, [3] has shown the one-to-one correspondence between the q-multinominal coefficient and Tsallis q-entropy [6,7,8], i.e., the one-parameter (q) generalization of Equation (2). A combinatorial form of Tsallis entropy was derived in [9].
On the other hand, Kaniadakis [10,11,12] has proposed the κ-generalized statistical mechanics based on the κ-deformed functions, which are the different type of one-parameter deformations for the exponential and logarithmic functions. Based on the κ-deformed functions and the associated product operation (κ-product), we have already shown the κ-generalization of Gauss’ law of error [13].
In this work, we show the κ-generalizations of the Stirling approximation and the relation between the κ-multinominal coefficient and κ-entropy. In the next section, the κ-factorial is introduced based on the κ-product. Then, the κ-generalization of the Stirling approximation is obtained. We see the failure of the naive approach relating the κ-multinominal coefficients with the κ-entropy. In order to overcome this difficulty, we introduce a new kind of κ-product in Section 3 and show the explicit relation between the κ-multinominal coefficients and the κ-entropy. As a complemental generalization, we explain another type of the κ-factorial, which is based on the κ-generalization of gamma function in Section 4. The final section is devoted to our conclusions.

2. κ-Stirling Approximation

Let us begin with the brief review of the κ-factorial and its Stirling approximation. The κ-generalized statistics [10,11,12] is based on the κ-entropy:
S κ i p i ln { κ } ( p i )
where κ is a real parameter in the range ( 1 , 1 ) , and the κ-logarithmic function is defined by:
ln { κ } ( x ) x κ x κ 2 κ
Its inverse function is the κ-exponential function defined by:
exp { κ } ( x ) 1 + κ 2 x 2 + κ x 1 κ
In the limit of κ 0 , both the κ-logarithmic and κ-exponential functions reduce to the standard logarithmic and exponential functions, respectively. We thus see that S κ reduces to the BGS entropy of Equation (3) in the limit of κ 0 .
Based on the above κ-deformed functions, the κ-product is defined by:
x κ y exp { κ } ln { κ } ( x ) + ln { κ } ( y ) = x κ x κ 2 + y κ y κ 2 + 1 + x κ x κ 2 + y κ y κ 2 2 1 κ
which reduces to the standard product, x · y , in the limit of κ 0 . From the definition, we readily see that this κ-product satisfies the associative and commutative laws [10,11,12].
Similarly, the κ-division is defined by:
x κ y exp { κ } ln { κ } ( x ) ln { κ } ( y ) = x κ x κ 2 y κ y κ 2 + 1 + x κ x κ 2 y κ y κ 2 2 1 κ
which reduces to the standard division, x / y , in the limit of κ 0 . By utilizing this κ-product, the κ-factorial, n ! κ , with n N is defined by:
n ! κ 1 κ 2 κ κ n = k = 1 n k κ k κ 2 + k = 1 n k κ k κ 2 2 + 1 1 κ = exp { κ } k = 1 n ln { κ } ( k )
Now, we come to the Stirling approximation of the κ-factorials. For sufficiently large n, the summation is well approximated with the integral as follows:
ln { κ } ( n ! κ ) = k = 1 n ln { κ } ( k ) 0 n d x ln { κ } ( x ) = n 1 + κ 2 κ ( 1 + κ ) n 1 κ 2 κ ( 1 κ )
Clearly, Equation (10) reduces to the standard Stirling approximation in the limit of κ 0 as:
lim κ 0 ln { κ } ( n ! κ ) lim κ 0 n 1 κ 2 ln { κ } ( n ) n κ + n κ 2 = n ln n 1
Next, the κ-multinominal coefficient is defined by utilizing the κ-product and κ-division as follows:
n n 1 n k κ n ! κ κ n 1 ! κ κ κ n k ! κ
where we assume:
n = i = 1 k n i
In the limit of κ 0 , Equation (12) reduces to the standard multinominal coefficient of Equation (1).
Now, let us try to relate the κ-multinominal coefficients with the κ-entropy. Taking the κ-logarithm of Equation (12) and applying the κ-Stirling approximation leads to:
ln { κ } n n 1 n k κ = ln { κ } n ! κ i = 1 k ln { κ } n i ! κ
we then obtain:
ln { κ } n n 1 n k κ n 1 + κ 2 κ ( 1 + κ ) 1 i = 1 k n i n 1 + κ + n 1 κ 2 κ ( 1 κ ) i = 1 k n i n 1 κ 1
From this relation, we see that the above naive approach fails. Since the right hand side of Equation (15) consists of the two terms with different factors (one is proportional to n 1 + κ / ( 1 + κ ) and the other is proportional to n 1 κ / ( 1 κ ) ), this cannot be proportional to the κ-entropy, which can be written by:
S κ n 1 n , , n k n i = 1 k n i n ln { κ } n i n = 1 2 κ 1 i = 1 k n i n 1 + κ + 1 2 κ i = 1 k n i n 1 κ 1

3. Introducing a New κ-Product

In order to overcome the above difficulty, we introduce another kind of κ-product based on the following function defined by:
u { κ } ( x ) x κ + x κ 2 = cosh κ ln ( x )
We here call it the κ-generalized unit function, since in the limit of κ 0 , it reduces to the constant function u { κ } ( x ) = 1 . The basic properties of u { κ } ( x ) are as follows.
u { κ } ( x ) = u { κ } 1 x
u { κ } ( x ) 1 , because u { κ } ( x ) 1 = ( x κ 2 x κ 2 ) 2 2 0
When κ 0 , the inverse function of u { κ } ( x ) can be defined by:
u { κ } 1 ( x ) x 2 1 + x 1 κ , ( x 1 )
In [14], the canonical partition function associated with the κ-entropy is obtained in terms of this u { κ } function. Note that:
ln { κ } ( x ) = x κ x κ 2 κ = 1 κ sinh κ ln ( x )
the two kinds of the κ-deformed functions ( ln { κ } ( x ) and exp { κ } ( x ) ; u { κ } ( x ) and u { κ } 1 ( x ) ) are thus associated with each other. This can be seen from the following relations:
1 + κ 2 ln { κ } 2 ( x ) = u { κ } ( x )
u { κ } 1 1 + κ 2 x 2 = exp { κ } ( x ) , for x 0
Now, by utilizing these functions, a new κ-product is defined by:
x κ y u { κ } 1 u { κ } ( x ) + u { κ } ( y ) = x κ + x κ 2 + y κ + y κ 2 + x κ + x κ 2 + y κ + y κ 2 2 1 1 κ
Similarly, the corresponding κ-division is defined by:
x κ y u { κ } 1 u { κ } ( x ) u { κ } ( y ) = x κ + x κ 2 y κ + y κ 2 + x κ + x κ 2 y κ + y κ 2 2 1 1 κ
for any pair of the real numbers, x and y, such that x κ + x κ 2 y κ + y κ 2 1 , and κ 0 .
It is worth noting that the new κ-product operator, κ (the κ-division operator, κ ), has no corresponding product (division) operator in the standard case of κ = 0 . In other words, neither the product operator, κ , nor the division operator, κ , is a deformed (or generalized) one, and it has meaning only when κ 0 . In addition, unless κ = 0 , this new product satisfies:
x κ y = y κ x , commutativity
( x κ y ) κ z = x κ ( y κ z ) , associativity
There exists no real unit element on κ . Therefore, real numbers and this product constitute a semi-group. Note also that x κ x 1 , because u { κ } 1 ( 0 ) does not exist by the definition of Equation (20). However, we see that the following identity holds.
x κ y κ x = y , ( x , y > 1 , and κ 0 )
Using the new κ-product, the associated κ-factorial can be introduced as:
n ! κ 1 κ 2 κ κ n = k = 1 n k κ + k κ 2 + k = 1 n k κ + k κ 2 2 1 1 κ
Similar to Equation (10), the κ-Stirling approximation can be obtained as:
u { κ } ( n ! κ ) = k = 1 n u { κ } ( k ) 0 n d x u { κ } ( x ) = n 1 + κ 2 ( 1 + κ ) + n 1 κ 2 ( 1 κ )
Furthermore, the corresponding κ-multinominal coefficient can be defined by:
n n 1 n k κ n ! κ κ n 1 ! κ κ κ n k ! κ
Applying the above Stirling approximation to Equation (31), we obtain:
u { κ } n n 1 n k κ n 1 + κ 2 ( 1 + κ ) 1 i = 1 k n i n 1 + κ n 1 κ 2 ( 1 κ ) i = 1 k n i n 1 κ 1
This is the complemental relation to Equation (15), and by combining Equations (15) and (32), we have:
ln { κ } n n 1 n k κ ± 1 κ u { κ } n n 1 n k κ ± n 1 ± κ κ ( 1 ± κ ) 1 i = 1 k n i n 1 ± κ
We thus obtain the final result:
1 κ 2 n 1 κ ln { κ } n n 1 n k κ 1 κ u { κ } n n 1 n k κ + 1 + κ 2 n 1 + κ ln { κ } n n 1 n k κ + 1 κ u { κ } n n 1 n k κ = 1 2 κ 1 i = 1 k n i n 1 + κ + 1 2 κ i = 1 k n i n 1 κ 1 = S κ n 1 n , , n k n
Note that since:
lim κ 0 1 κ u { κ } n n 1 n k κ = 0
as shown in the following, Equation (34) reduces to the standard case of Equation (2) in the limit of κ 0 .
To prove Equation (35), we consider:
1 κ u { κ } n n 1 n k κ = 1 κ = 1 n u { κ } ( ) i = 1 k j = 1 n i u { κ } ( j )
In the limit of κ 0 , the numerator of Equation (36) reduces to n i = 1 k n i , since lim κ 0 u { κ } = 1 . Consequently, both the denominator, κ, and the numerator become zero as κ 0 . Then, applying l’Hopital’s rule and using the relation:
d d κ u { κ } ( x ) = ln x x κ x κ 2
we obtain Equation (35).
We would like to comment that our approach is not a generalization of the traditional combinatorial approach, since the new κ-product and κ-division are not deformed operators, which are ingredients of the associated κ-factorial Equation (29) and κ-multinominal Equation (31). There are no corresponding factorials and multinominals in the standard case of κ = 0 . We think this fact is not a drawback, but will provide us with a different view. One of the possible reasons why these new operators play an important role only when κ 0 is that there exits a new degree of freedom only when κ 0 .

4. Another κ-Generalization of the Factorial

In general, some different types of generalization can be introduced. As another κ-generalization of a factorial, we here explain a different type of the κ-generalized factorial, n κ ! , concerning the κ-generalized gamma function, Γ κ ( x ) . In other words, neither n ! κ Equation (9) nor n ! κ Equation (29) match this n κ ! .
As is well known, the standard factorial, n ! , is related with the gamma function:
Γ ( x ) = 0 t x 1 exp ( t ) d t
as n ! = Γ ( n + 1 ) , which is readily shown by using the property Γ ( x + 1 ) = x Γ ( x ) of the gamma function and setting x = n N . In addition, the Taylor expansion of the standard exponential function can be written in the form:
exp ( x ) = n = 0 x n Γ ( n + 1 )
Based on these facts, Kaniadakis [15] introduced the following κ-generalized factorial as:
n κ ! = Γ κ ( n + 1 )
where the κ-generalized gamma function is defined by:
Γ κ ( x ) 1 κ 2 ( x 1 ) 2 0 t x 1 exp { κ } ( t ) 1 + κ 2 t 2 d t
and the κ-exponential function can be expanded in the form:
exp { κ } ( x ) = n x n Γ κ ( n + 1 )
Of course, in the limit of κ = 0 , the κ-generalized gamma function, Γ κ ( x ) , reduces to the standard gamma function, Γ ( x ) ; consequently, the κ-generalized factorial, n κ ! , reduces to the standard factorial, n ! . Since:
d d t exp { κ } ( t ) = exp { κ } ( t ) 1 + κ 2 t 2
by using integration by parts, the Γ κ ( x ) can be also expressed as:
Γ κ ( x ) = 1 κ 2 ( x 1 ) 2 ( x 1 ) 0 t x 2 exp { κ } ( t ) d t
and by using the standard Γ ( x ) , as:
Γ κ ( x ) = 1 | κ | ( x 1 ) | 2 κ | x 1 Γ 1 | 2 κ | x 1 2 Γ 1 | 2 κ | + x 1 2 Γ ( x )
By integrating by parts, we obtain the property:
Γ κ ( x + 1 ) = x ( x 1 ) 1 κ 2 ( x 2 ) 2 Γ κ ( x 1 )
which is equivalent with:
n κ ! = n ( n 1 ) 1 κ 2 ( n 2 ) 2 ( n 2 ) κ !
The κ-generalized factorial also can be expressed as:
n κ ! = n ! j = 1 n 1 1 ( 2 j n ) κ
Recently, Díaz and Pariguan [16] introduced the k-generalized gamma function and the Pochhammer k-symbol ( x ) n , k , which is defined by:
( x ) n , k x ( x + k ) ( x + 2 k ) ( x + ( n 1 ) k )
for x C , k R and n N . By setting k = 1 , one obtains the standard Pochhammer symbol, ( x ) n , which is also known as the raising factorial:
( x ) n = x ( x + 1 ) ( x + 2 ) ( x + n 1 )
For Re ( x ) > 0 , the k-generalized gamma function is given by:
Γ k ( x ) = 0 t x 1 exp t k k d t
and satisfies the following properties:
Γ k ( x + k ) = x Γ k ( x )
( x ) n , k = Γ k ( x + n k ) Γ k ( x )
Γ k ( k ) = 1
and the Γ k ( x ) is logarithmically convex for x R .
Following Díaz and Pariguan, we can introduce the Pochhammer κ-symbol as:
( x ) n , κ = Γ κ ( x + n ) Γ κ ( x )
After straightforward calculations, we see that:
( x ) 2 m , κ = ( x ) 2 m j = 0 m 1 1 κ 2 ( x + 2 j 1 ) 2
( x ) 2 m 1 , κ = ( x ) 2 m 1 j = 0 m 1 1 κ 2 ( x + 2 j 2 ) 2
for m N .

5. Conclusions

We have generalized Stirling approximation of the factorials and multinominal coefficients based on the κ-deformed functions, which are different one-parameter generalizations from the q-deformed functions by Tsallis. In order to relate the κ-generalized multinominal coefficients to the κ-entropy, we showed the failure of a naive approach, which is similar to that in [3] for the q-generalization. In order to overcome this difficulty, we have introduced a new kind of κ-product operation, which never existed in the standard case of κ = 0 and have obtained the relation between the κ-generalized multinominal coefficients and the κ-entropy. We hope that our approach will shed some light on a future study.
The final result Equation (34) clearly states that the maximizing κ-entropy is equivalent to maximizing the left hand side of Equation (34) the same as in the standard case of Equation (2).

Acknowledgments

We would like to thank the critical comments of anonymous reviewers. This research was partially supported by JSPS KAKENHI Grant Number 25400188.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Suyari, H.; Tsukada, M. Law of error in Tsallis statistics. IEEE Trans. Inform. Theory 2005, 51, 753–757. [Google Scholar] [CrossRef]
  2. Suyari, H. q-Stirling’s formula in Tsallis statistics. 2004; arXiv: cond-mat/0401541. [Google Scholar]
  3. Suyari, H. Mathematical structure derived from the q-multinomial coefficient in Tsallis statistics. Physica A 2006, 368, 63–82. [Google Scholar] [CrossRef]
  4. Nivanen, L.; Le Mehaute, A.; Wang, Q.A. Generalized algebra within a nonextensive statistics. Rep. Math. Phys. 2003, 52, 437–444. [Google Scholar] [CrossRef]
  5. Borges, E.P. A possible deformed algebra and calculus inspired in nonextensive thermostatistics. Physica A 2004, 340, 95–101. [Google Scholar] [CrossRef]
  6. Tsallis, C. Possible generalization of Boltzmann-Gibbs statistics. J. Stat. Phys. 1988, 52, 479–487. [Google Scholar] [CrossRef]
  7. Tsallis, C.; Mendes, R.S.; Plastino, A.R. The role of constraints within generalized nonextensive statistics. Physica A 1998, 261, 534–554. [Google Scholar] [CrossRef]
  8. Tsallis, C. Introduction to Nonextensive Statistical Mechanics: Approaching a Complex World; Springer: New York, NY, USA, 2009. [Google Scholar]
  9. Niven, R.; Suyari, H. Combinatorial basis and non-asymptotic form of the Tsallis entropy function. Eur. Phys. J. B 2008, 61, 75–82. [Google Scholar] [CrossRef]
  10. Kaniadakis, G.; Scarfone, A.M. A new one-parameter deformation of the exponential function. Physica A 2002, 305, 69–75. [Google Scholar] [CrossRef]
  11. Kaniadakis, G. Statistical mechanics in the context of special relativity. Phys. Rev. E 2002, 66, 056125. [Google Scholar] [CrossRef] [PubMed]
  12. Kaniadakis, G. Statistical mechanics in the context of special relativity II. Phys. Rev. E 2005, 72, 036108. [Google Scholar] [CrossRef] [PubMed]
  13. Wada, T.; Suyari, H. κ-generalization of Gauss’ law of error. Phys. Lett. A 2006, 348, 89–93. [Google Scholar] [CrossRef]
  14. Scarfone, A.M.; Wada, T. Canonical partition function for anomalous systems described by the κ-entropy. Prog. Theor. Phys. Suppl. 2006, 162, 45–52. [Google Scholar] [CrossRef]
  15. Kaniadakis, G. Theoretical foundations and mathematical formalism of the power-law tailed statistical distributions. Entropy 2013, 15, 3983–4010. [Google Scholar] [CrossRef]
  16. Díaz, R.; Pariguan, E. On hypergeometric functions and Pochhammer k-symbol. Divulg. Mat. 2007, 15, 179–192. [Google Scholar]

Share and Cite

MDPI and ACS Style

Wada, T.; Suyari, H. The κ-Generalizations of Stirling Approximation and Multinominal Coefficients. Entropy 2013, 15, 5144-5153. https://doi.org/10.3390/e15125144

AMA Style

Wada T, Suyari H. The κ-Generalizations of Stirling Approximation and Multinominal Coefficients. Entropy. 2013; 15(12):5144-5153. https://doi.org/10.3390/e15125144

Chicago/Turabian Style

Wada, Tatsuaki, and Hiroki Suyari. 2013. "The κ-Generalizations of Stirling Approximation and Multinominal Coefficients" Entropy 15, no. 12: 5144-5153. https://doi.org/10.3390/e15125144

Article Metrics

Back to TopTop