Evaluating $\int_0^{\infty}\frac{\ln(x^2+1)}{x^2+1}dx$

Question

How would I go about evaluating this integral? $$\int_0^{\infty}\frac{\ln(x^2+1)}{x^2+1}dx.$$ What I've tried so far: I tried a semicircular integral in the positive imaginary part of the complex plane, excluding the negative real axis, but had trouble calculating the residue at $z=i$ (perhaps there is a way of doing this that I don't know of). After that didn't work, I tried a rectangular box integral from $\epsilon$ to $R$, from $R$ to $R+i/2$, from $R+i/2$ to $-S+i/2$, from $-S+i/2$ to $-S+i\epsilon$, from $-S+i\epsilon$ to $-\epsilon+i\epsilon$ and finally a semicircle around the origin, radius $\epsilon$.

Any help would be appreciated.

Answer 1

Hints As RandomVariable suggested, use $\log(x^2+1)=\log(x+i)+\log(x-i)$, choosing the branches of the logarithm carefully. It's generally best to isolate unpleasant singular things.

Then write $$\int_0^\infty=\frac{1}{2}\int_{-\infty}^{\infty}$$ and make use of the above splitting to integrate the two parts on different contours, each time avoiding enclosing the singularity of the logarithm. The part on the semicircle vanishes.

---

Answer The UHP pole gives $\log(i+i)/2i\times2\pi i$. The LHP pole gives $\log(-i-i)/(-2i)\times-2\pi i$. Summing and halving gives the answer $$\frac{\pi}{2}\left(\log(2i)+\log(-2i)\right)$$ so all that remains is choosing the right logarithm. This is easy enough, actually, and the answer is what you expect: $$\pi\ln 2$$

Answer 2

Use $x\to \tan\theta$ and $dx=\sec^2\theta\ d\theta$. The integral becomes $$\int_0^{\pi/2} 2\ln (\sec \theta) d\theta$$

Which is $$-2\int_0^{\pi/2} \ln (\cos\theta) d\theta$$ And can be solved.

Let $$I= \displaystyle \int_0^{\pi/2} \ln \left( \sin \theta \right) \cdot d\theta$$ $$I= \displaystyle \int_0^{\pi/2} \ln \left( \cos \theta \right) \cdot d\theta$$ Adding both. $$2I=\displaystyle \int_0^{\pi/2} \ln \left( \sin \theta \times \cos \theta\right) \cdot d\theta$$ $$2I= \displaystyle \int_0^{\pi/2} \ln \left(2 \sin \theta\times \cos \theta \right) -\ln2 \cdot d\theta$$ $$2I=\int_0^{\pi/2}\ln(\sin{2\theta})-\ln2 \cdot d\theta$$ $$\int_0^{\pi/2}\ln(\sin{2\theta})\cdot d\theta=I$$ So, $$I=-\int_0^{\pi/2}\ln2\cdot d\theta$$ $$I=-\dfrac{\pi\ln2}2$$

And your integral comes out to be

$${\pi \ln2}$$

Answer 3

One way to solve this problem is to use parametric integrals. Let $$ I(\alpha)=\int_{0}^{\infty}\frac{\ln(\alpha x^2+1)}{x^2+1}dx. $$ Then \begin{eqnarray*} I'(\alpha)&=&\int_{0}^{\infty}\frac{x^2}{(\alpha x^2+1)(x^2+1)}dx\\ &=&\int_{0}^{\infty}\left(-\frac{1}{\alpha-1}\frac{1}{\alpha x^2+1}+\frac{1}{\alpha-1}\frac{1}{x^2+1}\right)dx\\ &=&-\frac{1}{\alpha-1}\frac{1}{\sqrt{\alpha}}\frac{\pi}{2}+\frac{1}{\alpha-1}\frac{\pi}{2}\\ &=&\frac{\pi}{2}\frac{\sqrt{\alpha}-1}{\sqrt{\alpha}(\alpha-1)}\\ &=&\frac{\pi}{2}\left(\frac{1}{\sqrt{\alpha}}-\frac{1}{\sqrt{\alpha}+1}\right). \end{eqnarray*} Thus $$ I(\alpha)=\pi\ln(\sqrt{\alpha}+1)+C. $$ But $I(0)=0$ implies $C=0$. So $I(1)=\pi\ln 2$.

Answer 4

Maybe this is going to seem a lot more involved than it needs to be, but it is likely that complex methods are not the best way to attack an integral like this. Nonetheless, it is possible.

We consider the integral in the complex plane

$$\oint_C dz \frac{\log{(1+z^2)}}{1+z^2}$$

where $C$ is some contour to be determined. Our first instinct is to make $C$ a simple semicircle in the upper half plane. The problem is that the branch point singularity at $z=i$ is extremely problematic, as it coincides with an ostensible pole. Nonetheless, the corresponding integral over the real line is finite (and twice the originally specified integral), so there must be a way to treat this.

The way to go with branch points like this is to avoid them. We thus have to draw $C$ so as to do that, and then use Cauchy's theorem to state that the above complex integral about $C$ is zero. Such a contour $C$ is illustrated below.

The contour integral is then taken along six different segments. I will state without proof that the integral about the two outer arcs vanishes as the radius of those arcs $R \to \infty$. We are then left with four integrals:

$$\int_{-R}^R dx \frac{\log{(1+x^2)}}{1+x^2} + \left [\int_{C_-}+\int_{C_+}+\int_{C_{\epsilon}} \right ] dz \frac{\log{(1+z^2)}}{1+z^2} = 0$$

$C_-$ is the segment to the right of the imaginary axis, down from the arc to the branch point, $C_+$ is the segment to the left of the imaginary axis, up from the branch point to the arc, and $C_{\epsilon}$ is the circle about the branch point of radius $\epsilon$.

It is crucial that we get the arguments of the log correct along each path. I note that the segment $C_-$ is "below" the imaginary axis and I assign the phase of this segment to be $2 \pi$, while I assign the phase of the segment $C_+$ to be $0$.

For the segment $C_-$, set $z=i(1+y e^{i 2 \pi})$:

$$\int_{C_-} dz \frac{\log{(1+z^2)}}{1+z^2} = i\int_R^{\epsilon} dy \frac{\log{[-y (2+y)]}+ i 2 \pi}{-y (2+y)} $$

For the segment $C_+$, set $z=i(1+y)$:

$$\int_{C_-} dz \frac{\log{(1+z^2)}}{1+z^2} = i\int_{\epsilon}^R dy \frac{\log{[-y (2+y)]}}{-y (2+y)} $$

I note that the sum of the integrals along $C_-$ and $C_+$ is

$$-2 \pi \int_{\epsilon}^R \frac{dy}{y (2+y)} = -\pi \left [ \log{R} - \log{(2 + R)} - \log{\epsilon} + \log{(2 + \epsilon)}\right]$$

For the segment $C_{\epsilon}$, set $z=i (1+\epsilon e^{-i \phi})$. The integral along this segment is

$$\begin{align}\int_{C_{\epsilon}} dz \frac{\log{(1+z^2)}}{1+z^2} &= \epsilon \int_{-2 \pi}^0 d\phi e^{-i \phi} \frac{\log{\left [ -2 \epsilon e^{-i \phi} \right]}}{-2 \epsilon e^{-i \phi}}\end{align}$$

Here we use $\log{(-1)}=-i \pi$ and the above integral becomes

$$\begin{align}\int_{C_{\epsilon}} dz \frac{\log{(1+z^2)}}{1+z^2} &= -\frac12 (-i \pi)(2 \pi) - \frac12 \log{2} (2 \pi) - \frac12 \log{\epsilon} (2 \pi) -\frac12 (-i) \frac12 (0-4 \pi^2) \\ &= -\pi \log{2} - \pi \log{\epsilon} \end{align}$$

Adding the above integrals, we have

$$\begin{align}\int_{-R}^R dx \frac{\log{(1+x^2)}}{1+x^2} -\pi \log{R} + \pi \log{(2 + R)} + \pi \log{\epsilon} - \pi \log{(2 + \epsilon)} -\pi \log{2} - \pi \log{\epsilon} &= 0\\ \implies \int_{-R}^R dx \frac{\log{(1+x^2)}}{1+x^2} -\pi \log{R} + \pi \log{(2 + R)} - \pi \log{(2 + \epsilon)} -\pi \log{2} &=0\end{align}$$

Now we take the limit as $R \to \infty$ and $\epsilon \to 0$ and we get

$$\int_{-\infty}^{\infty} dx \frac{\log{(1+x^2)}}{1+x^2} -2 \pi \log{2} = 0$$

Therefore

$$\int_{0}^{\infty} dx \frac{\log{(1+x^2)}}{1+x^2} = \pi \log{2}$$

Answer 5

$\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}^{\infty}{\ln\pars{x^{2} + 1} \over x^{2} + 1}\,\dd x} = {1 \over 2}\int_{-\infty}^{\infty}{\ln\pars{x^{2} + 1} \over x^{2} + 1} \,\dd x \\[5mm] = &\ \Re\int_{-\infty}^{\infty}{\ln\pars{1 + \ic x} \over x^{2} + 1}\,\dd x \\[5mm] \stackrel{{\Large 1\ +\ \ic x\ =\ s} \atop {\Large x\ =\ \ic\pars{1 - s}}}{=}\,\,\,& \Re\int_{1 - \infty\ic}^{1 + \infty\ic}{\ln\pars{s} \over -\pars{1 - s}^{2} + 1}\,\pars{-\ic}\dd s \\[5mm] & =\, -\,\Im\int_{1 - \infty\ic}^{1 + \infty\ic}{\ln\pars{s} \over s\pars{s - 2}}\,\dd s \\[5mm] = &\ -\,\Im\bracks{\color{red}{-}2\pi\ic\,{\ln\pars{2} \over 2}} \label{1}\tag{1} \\[5mm]= &\ \bbx{\pi\ln\pars{2}} \approx 2.1776 \\ & \end{align} In (\ref{1}), I "closed" the integration path with a infinite radius semicircle on the "right" ( note the $\ds{\color{red}{-}\mbox{sign}}$ because the contour integration is clockwise ). The magnitude of the contribution along the arc $\ds{< \pi\root{\ln^{2}\pars{R} + \pi^{2}}/R}$ as $\ds{R \to \infty}$ where $\ds{R}$ is the semicircle radius. $\ds{\ln}$ is the logarithm principal branch.