Convergence and value of the integral $\int_0^\infty\ln\left(\frac{1+x^{(\sqrt3+2)}}{1-x^{(\sqrt3-2)}}\right) \frac{1}{(1+x^2)\ln x} \, dx$

141 Views Asked by At

Check the convergence of the following integral and, if it converges, compute its value: $$\int_0^\infty \frac{\ln\left(\frac{1+x^{(\sqrt3+2)}}{1-x^{(\sqrt3-2)}}\right)}{(1+x^2)\ln x} \, dx$$

Efforts:

$$\int_0^\infty \frac{1}{1+x^2} \ln_x\left(\frac{1+x^{\sqrt3+2}}{1-x^{\sqrt3-2}}\right) \,dx$$

I couldn't find any common feature, $1-x^{(\sqrt3-2)}$ with $1+x^{(\sqrt3+2)}$

And I can't understand how can be "$x^\sqrt3$" like things.

$$\to \int_0^\infty \frac{1}{1+x^2} \cdot \ln_x\left(\frac{1+x^{\sqrt3+2}}{1-x^{\sqrt3-2}}\right) \, dx= \int_0^\infty \dfrac{1}{1+x^2} \cdot \ln_x \left( \dfrac{1+x^\sqrt3\cdot x^2}{\dfrac{x^2-x^\sqrt3}{x^2}}\right) \, dx$$

$$=\int_0^\infty \frac{1}{1+x^2}\cdot\ln_x\left(\frac{x^2+x^\sqrt3\cdot x^4}{x^2-x^\sqrt3}\right) \, dx$$

I also tried to use the substitution: $u=x^{x^2+1}$

$$du=\left[x^{(x^2)}+x^{(x^2+2)}+\ln\left(x^{(2x+2x^3)}\right)\right] \, dx$$

Here too I was not able to prove anything.

Unfortunately I can't find the solution, please give a hint or an answer.

1

There are 1 best solutions below

3
On BEST ANSWER

Let $$I(\alpha)=\int_{0}^{+\infty}\frac{\log(1+x^\alpha)-\log(2)}{(1+x^2)\log(x)}\,dx.\tag{1}$$ Then: $$ I'(\alpha) = \int_{0}^{+\infty}\frac{x^{\alpha}}{(1+x^2)(1+x^{\alpha})}\,dx =\frac{\pi}{2}-\int_{0}^{+\infty}\frac{dx}{(1+x^2)(1+x^{\alpha})}\tag{2}$$ where the last integral does not really depend on $\alpha$: it is enough to split the integration range into $(0,1)\cup(1,+\infty)$ and apply the substitution $x\mapsto\frac{1}{x}$ on the second interval to see a wonderful cancellation happening. So, simply, $I'(\alpha)=\frac{\pi}{4}$ and $\color{red}{I(\alpha)=\frac{\pi\alpha}{4}}$. On the other hand, by setting: $$ J(\beta) = \int_{0}^{+\infty}\frac{\log(2)-\log(1-x^\beta)}{(1+x^2)\log x}\,dx \tag{3}$$ we have a non-integrable singularity at $x=1$, hence the original integral cannot be convergent.

Maybe a typo somewhere?