La evaluación de una integral que involucra la función W de Lambert

Question

Wikipedia afirma que

$$\int_0^\infty W\left(\frac{1}{x^2}\right) \,\text dx=\sqrt{2\pi}$$

y un numī parece confirmar esto.

¿Cómo puede este resultado ser probada?

Answer 1

Escrito $w=W(1/x^2)$, $we^w=1/x^2$ y por lo tanto

$$(w+1)e^wdw=-2\frac{dx}{x^3}\implies-\frac{(w+1)e^w}{2(we^w)^{3/2}}dw=dx.$$

Así

$$\int_0^\infty wdx=\int_\infty^0-w\frac{(w+1)e^w}{2(we^w)^{3/2}}dw=\int_0^\infty\frac{w^{1/2}+w^{-1/2}}{2}e^{-w/2}dw$$

$$=\int_0^\infty (\sqrt{2}u^{1/2}+u^{-1/2}/\sqrt{2})e^{-u}du=\sqrt{2}\Gamma(3/2)+\frac{\Gamma(1/2)}{\sqrt{2}}=\sqrt{2\pi}.$$