The polylogarithm or Jonquière’s function is generally defined as

Do not confuse with the logarithm integral in number theory, which is

such as

and

. In fact, notation can be confusing sometimes since the european is sometimes written as and

The polylogarithm (or polylog, for short) is sometimes written as , i.e.,

so…Be aware with notations and the meaning of the symbols! The polylog is related with the Lerch trascendent in the following way

(1)

The polylog is a wonderful function. It is ubiquitous in Physics, Chemistry and Mathematics…For instance, it arises in:

1st. **Feynman diagram integrals**, renormalization, and, in particular, in the calculation of the QED (Quantum Electrodynamics) corrections to the electron gyromagnetic ratio, supegravity amplitudes and other quantum scattering problems.

2nd. **Quantum statistics**. The Fermi-Dirac and the Bose-Einstein statistics can be written in terms of polylogarithms.

3rd. **Vacuum effects in strong fields and quantum gravity**. Non-perturbative effects in QFT (Schwinger effect, instanton effects and others) can be handled with these incredible functions.

Let us analyze the case of quantum statistics a little. The Fermi-Dirac statistics/distribution can be written as follows

(2)

The Bose-Einstein statistics/distribution can be written as follows

(3)

The polylog can be easily related to the Riemann zeta function

In fact, “colored” polylogs do exist. We will write on them later…

**Remark:** does appear in the 3rd order correction to the gyromagnetic ratio of the electron in QED.

Polylogs have some really cool and interesting properties and values. Firstly, the polylog is itself a polylog when it is derived (so it has a striking similarity with the classical exponential function):

(4)

This self-similarity is certainly suggestive for certain equations of mathematical physics. Moreover, some surprising identities of the polylogarith are like this one (Bayley et al. proved it):

(5)

No algorithm is known yet for integration of polylogarithms of functions in closed form. By the other hand, polylogs can be also defined for negative values of “s” and integer numbers, i.e., for all

In fact, we have

and where

is an **eulerian number**.

Polylogs also arise in the theory of generalized harmonic numbers

with . There are some special polylogs with special (perhaps subjective) beauty

Note that these are rational functions! We also have

Some interesting known values of the polylog

No higher formulas are known for if

Euler’s dilogarithm is defined to be

It satisfies many functional identities and the dilogarithm values are interesting theirselves in many calculations. The trilogarithm or trilog can also be written to be

and where

and the beautiful result

(6)

and thus we obtain another wonderful result

The multidimensional polylog is defined as

(7)

Furthermore, the **colored polylog** is

(8)

The **Nielsen generalized polylogarithm** is

such as

and it is computed as Polylog[n,p,z] sometimes. The Nielsen-Ramanujan constanst are also beautiful:

and

with

, ,…

Finally, we are going to define higher order prime zeta functions. Recall that the classical Riemann zeta function and the prime zeta function have already being defined as

and thus, the k-th order prime zeta function should be written as

Moreover, the prime zeta function of infinite order should be . The iterated -power of the Riemann zeta function is

We could call it the omega zeta function.

See you in my next polylog post!!!!!!