Polilogaritmo
# Polilogaritmo

In matematica, il polilogaritmo è una funzione speciale che generalizza il logaritmo. Dato un numero complesso, si definisce la funzione polilogaritmo di ordine s e argomento (complesso) z la serie di potenze

    $\operatorname {Li} _{s}(z)=\sum _{k=1}^{\infty }{\frac {z^{k}}{k^{s}}}=z+{\frac {z^{2}}{2^{s}}}+{\frac {z^{3}}{3^{s}}}+\dots$

se per ogni $z\in \mathbb {C}$ tale che $|z|<1$. Essa può essere estesa a una funzione definita su tutto $\mathbb {C}$ tramite il prolungamento analitico.

Per $s=1$ il polilogaritmo coincide col classico logaritmo

    $\operatorname {Li} _{1}(z)=\sum _{k=1}^{\infty }{\frac {z^{k}}{k}}=-\ln(1-z)$

Per $s=2$ il polilogaritmo è anche chiamato dilogaritmo e per $s=3$ trilogaritmo. Per valori di s interi non positivi il polilogaritmo è una funzione razionale.

Il nome deriva dal fatto che il polilogaritmo può essere definito mediante la ripetizione dell'integrale

    $\operatorname {Li} _{s+1}(z)=\int _{0}^{z}{\frac {\operatorname {Li} _{s}(t)}{t}}\,\mathrm {d} t\,;$

quindi il dilogaritmo è l'integrale del logaritmo e così via.

## Proprietà

Una formula importante dovuta a Eulero è

    ${\displaystyle {\frac {\pi ^{2}}{6}}-\ln(z)\ln(1-z)=\operatorname {Li} _{2}(z)+\operatorname {Li} _{2}(1-z)}$

Per $z\in [0,1]$ essa permette di trovare il valore del dilogaritmo di $1/2$:

    $\operatorname {Li} _{2}\left({\frac {1}{2}}\right)={\frac {\pi ^{2}}{12}}-{\frac {\ln ^{2}(2)}{2}}$

L'integrale di Spence è un caso particolare del dilogaritmo. Esistono anche relazioni del dilogaritmo con le funzioni di Debye (vedi Abramowitz e Stegun).

Se $z=1$, per $\operatorname {Re} (s)>1$ la funzione polilogaritmo di ordine $s$ si riduce alla funzione zeta di Riemann in $s$:

    $\operatorname {Li} _{s}(1)=\sum _{k=1}^{+\infty }{\frac {1}{k^{s}}}=\zeta (s)$

Il polilogaritmo può anche essere scritto in termini di integrale della distribuzione di Bose-Einstein nel seguente modo:è

    $\operatorname {Li} _{s}(z)={\frac {1}{\Gamma (s)}}\int _{0}^{+\infty }{\frac {t^{s-1}}{\displaystyle {\frac {e^{t}}{z}}-1}}\,\mathrm {d} t$

dove $\Gamma (s)$ è la funzione Gamma di Eulero. Esso converge per $\operatorname {Re} (s)>0$ e per ogni $z$ eccetto gli $z\in \mathbb {R}$ minori di $-1$. Questa rappresentazione permette di calcolare il valore di integrali del tipo

    $\int _{0}^{+\infty }{\frac {x^{n}}{e^{x}-1}}\,dx=\Gamma (n+1)\zeta (n+1)$

## Casi particolari

    $\operatorname {Li} _{1}(z)=-\ln(1-z)$
    $\operatorname {Li} _{0}(z)={z \over 1-z}$
    $\operatorname {Li} _{-1}(z)={z \over (1-z)^{2}}$
    $\operatorname {Li} _{-2}(z)={z\,(1+z) \over (1-z)^{3}}$
    $\operatorname {Li} _{-3}(z)={z\,(1+4z+z^{2}) \over (1-z)^{4}}$
    $\operatorname {Li} _{-4}(z)={z\,(1+z)(1+10z+z^{2}) \over (1-z)^{5}}\,.$

## Galleria d'immagini

* $\operatorname {Li} _{-3}(z)$
* $\operatorname {Li} _{-2}(z)$
* $\operatorname {Li} _{-1}(z)$
* $\operatorname {Li} _{0}(z)$
* $\operatorname {Li} _{1}(z)$
* $\operatorname {Li} _{2}(z)$
* $\operatorname {Li} _{3}(z)$
