Come posso provarlo $\int_{0}^{1} \frac {x-1}{\log(x) (1+x^3)}dx=\frac {\log3}{2}$
Domanda: - Dimostralo$$\int_0^1 \frac {x-1}{\log(x) (1+x^3)} \, dx = \frac {\log(3)}{2}$$
Ho visto questo problema come un commento su un video di YouTube poche ore fa ma non so come dimostrarlo poiché l'integrazione per parti non funziona qui. Inoltre non sono riuscito a trovare una sostituzione adeguata che semplifichi l'integrale.
Qualcuno può suggerirmi qualche suggerimento?
Risposte
Notare che $\int_0^1 x^s\,ds=\frac{x-1}{\log(x)}$. Poi abbiamo
$$\int_0^1\frac{x-1}{\log(x)(x^3+1)}\,dx=\int_0^1\int_0^1 \frac{x^s}{(x^3+1)}\,ds\,dx$$
Ora applichiamo il Teorema di Fubini per scambiare l'ordine di integrazione da rivelare
$$\int_0^1\frac{x-1}{\log(x)(x^3+1)}\,dx=\int_0^1\int_0^1 \frac{x^s}{(x^3+1)}\,dx\,ds$$
Successivamente, espandiamo il denominatore in una serie geometrica per trovarlo
$$\begin{align} \int_0^1\frac{x-1}{\log(x)(x^3+1)}\,dx&=\sum_{n=0}^\infty (-1)^n\int_0^1\int_0^1 x^{s+3n}\,dx\,ds\\\\ &=\sum_{n=0}^\infty (-1)^n \log\left(\frac{3n+2}{3n+1}\right) \end{align}$$
Puoi finire adesso?
BONUS:
Per valutare la serie finale facciamo appello alla funzione digamma, alla sua relazione con la funzione Gamma e alla formula di riflessione di Eulero. Procedendo, scriviamo
$$\begin{align} \sum_{n=0}^\infty (-1)^n\log\left(\frac{3n+2}{3n+1}\right)&=\int_0^1 \sum_{n=0}^\infty (-1)^n \frac1{s+3n+1}\,ds\\\\ &=\int_0^1 \sum_{n=0}^\infty\left(\frac1{6n+s+1}-\frac1{6n+s+4}\right)\,ds\\\\ &=\frac16\int_0^1\left(\psi((s+4)/6)-\psi((s+1)/6)\right)\,ds\\\\ &=\log\left(\frac{\Gamma(5/6)\Gamma(1/6)}{\Gamma(2/3)\Gamma(1/3)}\right)\\\\ &=\log\left(\frac{\sin(2\pi/3)}{\sin(5\pi/6)}\right)\\\\ &=\log(\sqrt 3) \end{align}$$
come previsto!
Nota
$$I=\int_{0}^{1} \frac {x-1}{\ln x (1+x^3)}dx \overset{x\to\frac1x}= \frac12\int_{0}^{\infty} \frac {x-1}{\ln x (1+x^3)}dx$$
Permettere $J(a) = \int_{0}^{\infty} \frac {x^a-1}{\ln x (1+x^3)}dx$. Poi$J’(a) = \int_{0}^{\infty} \frac {x^a}{1+x^3}dx=\frac\pi3\csc\frac{\pi(a+1)}3 $. Quindi,
$$I=\frac12 J(1) =\frac12\int_0^1J’(a)da=\frac\pi6\int_0^1\csc\frac{\pi(a+1)}3da=\frac{\ln3}2 $$
In alternativa all'approccio di Mark Viola , usa la serie geometrica per vedere$$\small\int_0^1\frac{x-1}{x^3+1}\frac{{\rm d}x}{\log x}=\sum_{n\ge0}(-1)^n\int_0^1\frac{x^{3n+1}-x^{3n}}{\log x}\,{\rm d}x=\sum_{n\ge0}(-1)^{n+1}\int_0^\infty\frac{e^{-(3n+2)x}-e^{-(3n+1)x}}x\,{\rm d}x$$Quest'ultimo è un Frullani integrale e valuta come$$\int_0^\infty\frac{e^{-(3n+2)x}-e^{-(3n+1)x}}x\,{\rm d}x=-\log\left(\frac{3n+2}{3n+1}\right)$$ e arrivando così a $$\int_0^1\frac{x-1}{x^3+1}\frac{{\rm d}x}{\log x}=\sum_{n\ge0}(-1)^n\log\left(\frac{3n+2}{3n+1}\right)$$ anche.
$\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}{x - 1 \over \ln\pars{x}\pars{1 + x^{3}}} \,\dd x} = \int_{0}^{1}{1 \over 1 + x^{3}}\ \overbrace{\int_{0}^{1}x^{t}\,\dd t}^{\ds{x - 1 \over \ln\pars{x}}}\ \dd x \\[5mm] = &\ \int_{0}^{1}\int_{0}^{1}{x^{t} - x^{t + 3} \over 1 - x^{6}}\,\dd x\,\dd t = {1 \over 6} \int_{0}^{1}\int_{0}^{1}{x^{t/6 - 5/6} - x^{t/6 - 1/3} \over 1 - x} \,\dd x\,\dd t \\[5mm] = &\ {1 \over 6}\int_{0}^{1}\pars{\int_{0}^{1}{1 - x^{t/6 - 1/3} \over 1 - x} \,\dd x - \int_{0}^{1}{1 - x^{t/6 - 5/6} \over 1 - x} \,\dd x}\,\dd t \\[5mm] = &\ {1 \over 6}\int_{0}^{1}\bracks{\Psi\pars{{t \over 6} + {2 \over 3}} - \Psi\pars{{t \over 6} + {1 \over 6}}}\,\dd t = \left. \ln\pars{\Gamma\pars{t/6 + 2/3} \over \Gamma\pars{t/6 + 1/6}}\right\vert_{\ 0}^{\ 1}\label{1}\tag{1} \\[5mm] = &\ \ln\pars{{\Gamma\pars{5/6} \over \Gamma\pars{1/3}}\,{\Gamma\pars{1/6} \over \Gamma\pars{2/3}}} = \ln\pars{\sin\pars{\pi/3} \over \sin\pars{\pi/6}} = \ln\pars{\root{3}/2 \over 1/2}\label{2}\tag{2} \\[5mm] = & \bbx{\large {\ln\pars{3} \over 2}} \approx 0.5493 \\ & \end{align}
(\ ref {1}): Vedi Digamma$\ds{\Psi}$ Identità $\ds{\bf\color{black}{6.3.22}}$.
(\ ref {2}): Formula di riflessione di Eulero$\ds{\bf\color{black} {6.1.17}}$.
Nota il Digamma$\ds{\Psi}$Definizione della funzione in termini di funzione gamma $\ds{\Gamma}$: $$ \Psi\pars{z} = \totald{\ln\pars{\Gamma\pars{z}}}{z} $$ che è stato utilizzato in (\ ref {1}).