Today, I return to my best friends. The polylogs! Are you ready for polylog wars? The polylogarithm can be represented by the next integral:

(1)

As you know, if you follow my blog, you have

*Off-topic:* I have fallen in love again (with another mathematical function!). The Lambert -function is the inverse of , so it can be inverted , and this is important for solving infinite tetrations via

(2)

Even the most simple polylogarith, the Riemann zeta function, serves for solving in closed form lots of things. For instante, the free energy for a photon in -dimensions can be written as follows

and the Casimir energy for a massless electron (OK, in the approximation the electron can be thought as “massless”), reads (in dimensions)

where is the Hurwitz zeta function. Now, consider the density

and where is the hamiltonian, being and , in the non-relativistic case, but the expresion is completely general. The plus sign corresponds to the so-called Bose-Einstein distributions (bosons), and the minus sign can be associated to the Fermi-Dirac distribution (fermions). The awesome fact is that the two integrals are separately PROPORTIONAL, and the proportionality constant is related to ratios of polylogarithms! I wish I had known this when studied Thermodynamics as undergraduate student! Also, define the thermal wavelength

(3)

This thermal wave-length can be generalized to -dimensions and dispersion relationship as follows

(4)

In fact, if you introduce the grand partition function , for the previous hamiltonian, as:

(5)

The result is fully valid, and thus you can write (now, plug units for simplicity):

(6)

as function of

(7)

provided you define the auxiliar function

so you get that

can be rewritten in compact form as

(8)

Therefore, the grand partition function becomes

and . From the polylogarithmic grand partition function you can derive ALL the thermodynamics you want to know. For instance, as

you can easily find out that

(9)

(10)

(11)

(12)

Indeed, the proportionality constant between the BED and the FDD as integral in any number of dimensions (e.g., ) is given by

(13)

The Riemann zeta function and the polylogarithms help us to write analytical formulae for the Bose-Einstein condensation (the reason for this post). For a non-relativistic boson gas in dimensions you obtain

(14)

For the 3d case (), you can easily write the common result

where . Indeed, there are variations of the formulae above. Firstly, M. Casas studied a massless boson gas weakly interacting with dispersion relationship , where is a constant (not related with previous ) and is certain Fermi velocity of the bosonic Cooper pair created by two fermions. The condensation formula reads in this case:

(15)

Note that the fact of having a BE condensation depends on the details of the dimensionality of the system and the dispersion relationship. In the end, is the polylogarithm and the Riemann zeta function the main characters there! For instance, in the same non-relativistic case (where before you find out that BEC is impossible in 2d), if you use a confining potential energy , you can derive the temperature in -dimensions:

(16)

and hence, there is only BEC iff

In the case of the ultra-relativistic case, the condensation formula in -dimensions reads

(17)

All these formulae can be even generalized to a fully particle-antiparticle treatment or even take the non-extensive thermostatistics generalization of all of them. More? Yes. Define the biparametric symbols

such as

and the biparametric deformed polylogarithm

Q-ons are the case with symmetrical -symbol, so . Let me define

and again take . Then, you can derive the magic formula of BEC condensation of q-ons (existing in any dimension!)

(18)

The Stefan-Boltzmann law in -dimensions (space-like!) can also be related to the zeta function if you write

(19)

with

(20)

and where the Wien law in -dimensions (or ND) is related to the Lambert function via

Absolutely gorgeous! Isn’t it? See you in another blog post!