Diversi modi per provare $\int_{0}^{1}\frac {{\log(x)} {\log(1-x)}}{x}dx=\zeta(3)$
Domanda: - Dimostralo$$\int_0^1 \frac {\log(x) \log(1-x)}{x} \, dx=\zeta(3)$$
È così che lo provo.
Permettere $a>0$Considera la seguente serie
$$\sum_{n=1}^\infty \frac {1}{(n+a)^2}=\int_0^1 \int_0^1 \frac {(xy)^a}{1-xy} \, dx \, dy$$
Ora, differenziare rispetto a $a$ e lascia $a=0$ ottenere
$$\begin{align} \zeta(3)&=\frac{-1} 2 \int_0^1\int_0^1 \frac {\log(xy)}{1-xy} \, dx\, dy\\\\ &=\frac{-1}{2}\int_0^1 \int_0^1 \frac {\log(x)+\log(y)}{1-xy} \, dx \, dy \end{align}$$
Usando la simmetria,
$$\zeta(3)=-\int_0^1 \int_0^1 \frac {\log(x)}{1-xy} \, dx$$
$$\zeta(3)=\int_0^1 \frac {\log(x) \log(1-x)}{x} \, dx$$
Voglio sapere quali altri metodi possono essere utilizzati per risolvere questo integrale.
Risposte
Permettere $I$ essere dato dall'integrale
$$I=\int_0^1 \frac{\log(x)\log(1-x)}{x}\,dx$$
Integrazione per parti con $u=\log(x)$ e $v=-\text{Li}_2(x)$ rendimenti
$$\begin{align} I&=\int_0^1 \frac{\text{Li}_2(x)}{x}\,dx\\\\ &=\text{Li}_3(1)\\\\ &=\zeta(3) \end{align}$$
come doveva essere mostrato!
Un approccio alternativo con integrazione per parti. $$I= \int_0^1\frac{\ln x\ln(1-x)}{x}dx \underbrace{=}_{IBP}\overbrace{\ln x\ln(1-x)\int_0^1\frac{1}{x}dx}^{0}-\int_0^1\left[\left(\frac{\ln(1-x)}{x}-\frac{\ln x}{1-x}\right)\int\frac{1}{x}dx\right]dx=-\int_0^1\frac{\ln x\ln(1-x)}{x}dx+\int_0^1\frac{\ln^2(x)}{1-x}dx$$ Perciò, $$2I=\int_0^1\frac{\ln^2(x)}{1-x}dx=\sum_{n=0}^{\infty}\color{red}{\int_0^1 x^{n}\ln^2(x)dx} $$ Da
$$\int_0^1 x^p \ln^q dx =(-1)^q \frac{q!}{(p+1)^{q+1}}=(-1)^q\frac{\Gamma(q+1)}{(p+1)^{q+1}}$$che è dimostrato qui
, quindi per $p=n$ e $q=2$ il nostro integrale si riduce a $$I= \frac{1}{2}\sum_{n=0}^{\infty}\frac{2!}{(n+1)^{3}}=\zeta(3)$$.
Come @PeterForeman menzionato nei commenti, si può usare la serie per $\log(1-x)$ per calcolare l'integrale, dato che stiamo integrando $[0,1]$:
\ begin {equation} I = - \ int \ limits_ {0} ^ {1} \ frac {\ log (x)} {x} \ sum_ {k = 1} ^ {+ \ infty} \ frac {x ^ { k}} {k} \, \ mathrm {d} x \ end {equation}
Poiché sia l'integrale che la somma convergono, possiamo scambiarli:
\ begin {equation} I = - \ sum_ {k = 1} ^ {+ \ infty} \ frac {1} {k} \ int \ limits_ {0} ^ {1} \ log (x) x ^ {k- 1} \, \ mathrm {d} x \ end {equation}
Con la sostituzione $x=e^{-z}$, otterrai quanto segue:
\ begin {equation} I = \ sum_ {k = 1} ^ {+ \ infty} \ frac {1} {k} \ int \ limits_ {0} ^ {+ \ infty} ze ^ {- zk} \ mathrm { d} z \ end {equation}
Ora, con la sostituzione $zk=s$, sarai in grado di esprimere l'integrale in termini di funzione gamma:
\ begin {equation} I = \ sum_ {k = 1} ^ {+ \ infty} \ frac {1} {k ^ {3}} \ underbrace {\ int \ limits_ {0} ^ {+ \ infty} se ^ {-s} \ mathrm {d} s} _ {\ Gamma (2)} \ end {equation}
\ begin {equation} I = \ sum_ {k = 1} ^ {+ \ infty} \ frac {1} {k ^ {3}} \ end {equation}
\ begin {equation} \ int \ limits_ {0} ^ {1} \ frac {\ log (x) \ log (1-x)} {x} \, \ mathrm {d} x = \ zeta (3) \ end {equation}
Prima lascia $1-x\to x$ quindi aggiungere l'integrale su entrambi i lati
$$I=\int_0^1\frac{\ln x\ln(1-x)}{x}dx=\int_0^1\frac{\ln(1-x)\ln x}{1-x}dx$$
$$\Longrightarrow 2I=\int_0^1\frac{\ln x\ln(1-x)}{x(1-x)}dx=-\sum_{n=1}^\infty H_n\int_0^1 x^{n-1}\ln xdx=\sum_{n=1}^\infty\frac{H_n}{n^2}=2\zeta(3)$$
L'ultimo risultato segue dalla somma di Eulero :
$$\sum_{n=1}^\infty \frac{H_n}{n^q}= \left(1+\frac{q}{2} \right)\zeta(q+1)-\frac{1}{2}\sum_{k=1}^{q-2}\zeta(k+1)\zeta(q-k),\quad q\ge2$$
$\newcommand{\bbx}[1]{\,\bbox[15px,border:1px groove navy]{\displaystyle{#1}}\,} \newcommand{\braces}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\ic}{\mathrm{i}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$ \begin{align} &\bbox[5px,#ffd]{\int_{0}^{1}{\ln\pars{x}\ln\pars{1 - x} \over x}\,\dd x} \\[5mm] \stackrel{x\ \mapsto\ 1 - x}{=}\,\,\,&\ \left. {\partial^{2} \over \partial\mu\,\partial\nu}\int_{0}^{1}x^{\mu - 1} \bracks{\pars{1 - x}^{\nu} - 1}\,\dd x \,\right\vert_{{\large\mu\ =\ 0^{+}} \atop {\large\nu\ =\ 0}} \\[5mm] = &\ {\partial^{2} \over \partial\mu\,\partial\nu} \bracks{{\Gamma\pars{\mu}\Gamma\pars{\nu + 1} \over \Gamma\pars{\mu + \nu + 1}} - {1 \over \mu}} _{{\large\mu\ =\ 0^{+}} \atop {\large\nu\ =\ 0}} \\[5mm] = &\ {\partial^{2} \over \partial\mu\,\partial\nu}\braces{{1 \over \mu} \bracks{{\Gamma\pars{\mu + 1}\Gamma\pars{\nu + 1} \over \Gamma\pars{\mu + \nu + 1}} - 1}} _{{\large\mu\ =\ 0^{+}} \atop {\large\nu\ =\ 0}} \\[5mm] = &\ {1 \over 2}\,{\partial^{3} \over \partial\mu^{2}\,\partial\nu} \bracks{{\Gamma\pars{\mu + 1}\Gamma\pars{\nu + 1} \over \Gamma\pars{\mu + \nu + 1}}} _{{\large\mu\ =\ 0^{+}} \atop {\large\nu\ =\ 0}} \\[5mm] = &\ {1 \over 2}\,\partiald[2]{}{\mu} \bracks{-\gamma - \Psi\pars{\mu + 1}}_{\ \mu\ =\ 0^{+}} = -\,{1 \over 2}\,\Psi\, ''\pars{1} = \bbx{\zeta\pars{3}} \\ & \end{align}