# Teorema di inversione di Lagrange

Nell'analisi matematica, il teorema di inversione di Lagrange, anche conosciuto come la formula di Lagrange–Bürmann, fornisce l'espansione in serie di Taylor dell'inversa di una funzione analitica.

## Enunciato

Sia $z$ definita come una funzione di $w$ tramite un'equazione nella forma
    $z=f(w)$
dove $f$ è analitica nel punto $w=a$ e inoltre $f'(a)\neq 0$. Allora è possibile invertire o risolvere l'equazione per $w$ nella forma di una serie in termini di $z$, ovvero
    $w=a+\sum _{n=1}^{\infty }g_{n}{\frac {(z-f(a))^{n}}{n!}},$
dove
    $g_{n}=\lim _{w\to a}\left[{\frac {d^{n-1}}{dw^{n-1}}}\left({\frac {w-a}{f(w)-f(a)}}\right)^{n}\right].$
Il teorema afferma inoltre che la serie ha un raggio di convergenza non nullo, ossia che rappresenta una funzione analitica di $z$ (che si potrebbe indicare con $g(z)$ in un intorno di $z=f(a)$. Questo procedimento è anche chiamato reversione delle serie.
Se l'ipotesi di analiticità della funzione non è verificata, la formula è ancora valida per serie formali di potenze e può essere generalizzata in numerosi modi. Può essere formulata per funzioni di più variabili, può essere estesa per fornire una formula pronta per $F(g(z))$ per qualunque funzione analitica $F$, e infine generalizzata al caso $f'(a)=0$, dove l'inversa $g$ è una funzione polidroma.
Il teorema fu dimostrato da Lagrange e generalizzato da Hans Heinrich Bürmann,, entrambi nel tardo XVIII secolo. C'è una chiara derivazione usando l'analisi complessa e l'integrazione sui contorni; la versione delle serie formali di potenze complesse è una conseguenza della conoscenza della formula per i polinomi, perciò la teoria delle funzioni analitiche può essere applicata.
Se $f$ è una serie formale di potenze, allora la formula sopra non dà i coefficienti dell'inversa moltiplicativa $g$ direttamente in termini dei coefficienti di $f$. Se è possibile esprimere le funzioni $f$ e $g$ in serie formali di potenze come
    $f(w)=\sum _{k=0}^{\infty }f_{k}{\frac {w^{k}}{k!}}\qquad \mathrm {e} \qquad g(z)=\sum _{k=0}^{\infty }g_{k}{\frac {z^{k}}{k!}}$
con $f_{0}=0$ e $f_{1}\neq 0$, allora una forma esplicita dei coefficienti inversi può essere data in termini dei polinomi di Bell:
    $g_{n}={\frac {1}{f_{1}^{n}}}\sum _{k=1}^{n-1}(-1)^{k}n^{(k)}B_{n-1,k}({\hat {f}}_{1},{\hat {f}}_{2},\ldots ,{\hat {f}}_{n-k}),\quad n\geq 2,$
dove ${\hat {f}}_{k}={\frac {f_{k+1}}{(k+1)f_{1}}},$ $g_{1}={\frac {1}{f_{1}}},$ e $n^{(k)}=n(n+1)\cdots (n+k-1),$ essendo il fattoriale crescente.
Quando $f_{1}=1$, l'ultima formula può essere interpretata in termini delle facce dell'associaedro
    $g_{n}=\sum _{F{\text{ facce di }}K_{n}}(-1)^{n-\dim F}f_{F},\quad n\geq 2,$
con $f_{F}=f_{i_{1}}\cdots f_{i_{m}}$ per ogni faccia $F=K_{i_{1}}\times \cdots \times K_{i_{m}}$ dell'associaedro $K_{n}$.

## Esempio

Per esempio, l'equazione algebrica di grado $p$ nella forma
    $x^{p}-x+z=0$
può essere risolta in $x$ mediante la formula di inversione di Lagrange applicata alla funzione $f(x)=x-x^{p}$, portando alla soluzione in serie formale
    $x=\sum _{k=0}^{\infty }{pk \choose k}{\frac {z^{(p-1)k+1}}{(p-1)k+1}}.$
Dai test di convergenza, questa serie è infatti convergente per $|z|\leq (p-1)p^{-p/(p-1)}$, che è anche il più grande disco in cui un'inversa locale di $f$ può essere definita.

## Applicazioni
### Formula di Lagrange–Bürmann

Esiste un caso speciale del teorema di inversione di Lagrange che è usato in combinatoria e applicato quando $f(w)=w/\phi (w)$ per qualche funzione analitica $\phi (w)$ con $\phi (0)\neq 0$. Prendendo $a=0$ si ottiene $f(a)=f(0)=0$ e inoltre
    $g(z)=\sum _{n=1}^{\infty }\left(\lim _{w\to 0}\left({\frac {\mathrm {d} ^{n-1}}{\mathrm {d} w^{n-1}}}\left({\frac {w}{w/\phi (w)}}\right)^{n}\right){\frac {z^{n}}{n!}}\right)$
    $=\sum _{n=1}^{\infty }{\frac {1}{n}}\left({\frac {1}{(n-1)!}}\lim _{w\to 0}\left({\frac {\mathrm {d} ^{n-1}}{\mathrm {d} w^{n-1}}}\phi (w)^{n}\right)\right)z^{n},$
che alternativamente può essere scritta come
    $[z^{n}]g(z)={\frac {1}{n}}[w^{n-1}]\phi (w)^{n},$
dove $[w^{r}]$ è un operatore che estrae i coefficienti di $w^{r}$ nella serie di Taylor di una funzione di $w$.
Una generalizzazione utile della formula è conosciuta come formula di Lagrange–Bürmann:
    $[z^{n}]H(g(z))={\frac {1}{n}}[w^{n-1}](H'(w)\phi (w)^{n})$
dove $H$ è un'arbitraria funzione analitica.
A volte, la derivata $H'(w)$ può essere piuttosto complicata, così una versione più semplice della formula sostituisce $H'(w)$ con $H(w)(1-\phi '(w)/\phi (w))$ per ottenere
    $[z^{n}]H(g(z))=[w^{n}]H(w)\phi (w)^{n-1}(\phi (w)-w\phi '(w)),$
che coinvolge $\phi '(w)$ invece di $H'(w)$.

### Funzione W di Lambert

La funzione W di Lambert è una funzione $W(z)$ che è implicitamente definita dall'equazione
    $W(z)e^{W(z)}=z$
È possibile usare il teorema per calcolare i coefficienti della serie di taylor di $W(z)$ in $z=0$. Prendendo $f(w)=w\mathrm {e} ^{w}$, $a=f(a)=0$ e riconoscendo che
    ${\frac {\mathrm {d} ^{n}}{\mathrm {d} x^{n}}}\ \mathrm {e} ^{\alpha \,x}\,=\,\alpha ^{n}\,\mathrm {e} ^{\alpha \,x}$
si ottiene
    $W(z)=\sum _{n=1}^{\infty }\lim _{w\to 0}\left({\frac {\mathrm {d} ^{\,n-1}}{\mathrm {d} w^{\,n-1}}}\ \mathrm {e} ^{-nw}\right){\frac {z^{n}}{n!}}\,=\,\sum _{n=1}^{\infty }(-n)^{n-1}\,{\frac {z^{n}}{n!}}=z-z^{2}+{\frac {3}{2}}z^{3}-{\frac {8}{3}}z^{4}+O(z^{5}).$
Il raggio di convergenza di questa serie è $e^{-1}$ (questo esempio si riferisce al ramo principale della funzione di Lambert).
Una serie che converge per $z$ maggiori (sebbene non per tutti) può essere derivata dall'inversione della serie di un'altra funzione. La funzione $f(z)=W(e^{z})-1\,$ soddisfa l'equazione
    $1+f(z)+\ln(1+f(z))=z\,$
Allora $z+\ln(1+z)\,$ si può espandere in serie di potenze e invertirla. Questo da una serie per $f(z+1)=W(e^{z+1})-1\,$:
    $W(e^{1+z})=1+{\frac {z}{2}}+{\frac {z^{2}}{16}}-{\frac {z^{3}}{192}}-{\frac {z^{4}}{3072}}+{\frac {13z^{5}}{61440}}-{\frac {47z^{6}}{1474560}}-{\frac {73z^{7}}{41287680}}+{\frac {2447z^{8}}{1321205760}}+O(z^{9}).$
$W(x)$ si calcola sostituendo $\ln x-1$ al posto di $z$ nella serie di sopra. Per esempio, sostituendo $x=1$ e quindi $z=-1$ si ha il valore di $W(1)=0.567143$.

### Alberi binari

Si consideri l'insieme ${\mathcal {B}}$ degli alberi binari non etichettati. Un elemento di ${\mathcal {B}}$ è o una foglia di grandezza nulla, oppure una radice con due sottoalberi. $B_{n}$ denota il numero di alberi binari con $n$ nodi.
Si noti che rimuovere la radice divide l'albero binario in due alberi di grandezza più piccola. Questo fornisce l'equazione funzionale della funzione generatrice $B(z)=\sum _{n=0}^{\infty }B_{n}z^{n}$:
    $B(z)=1+zB(z)^{2}.$
Ponendo $C(z)=B(z)-1$, si ha così $C(z)=z(C(z)+1)^{2}$. Ora applicando il teorema di inversione alla funzione $\phi (w)=(w+1)^{2}$,
    $B_{n}=[z^{n}]C(z)={\frac {1}{n}}[w^{n-1}](w+1)^{2n}={\frac {1}{n}}{2n \choose n-1}={\frac {1}{n+1}}{2n \choose n}.$
Si conclude così che $B_{n}$ è un numero di Catalan.

### Approssimazione asintotica di integrali

Nel teorema di Laplace-Erdelyi che fornisce l'approssimazione asintotica per integrali del tipo di Laplace, l'inversione della funzione è un passo cruciale del procedimento.