## Integral with two branch cuts II

The problem here is to compute

$$\int_0^\infty \log(1+tx)t^{-p-1}dt$$

where $p\in(0,1)$ and $x>0$.

This is a great problem for contour integration. Just tricky enough to be really interesting. What makes it interesting is that there are two functions in the integrand needing their own separate branch cuts. One must keep in mind that each function only needs one cut.

So to compute the integral, consider the following contour integral:

$$\oint_C dz \, \log{(1+x z)}\, z^{-p-1}$$

where $C$ is the following contour:

Note the two cuts. The cut along the positive real axis is for the $z^{-p}$ term, while the cut along the negative real axis is for the log term. We define the argument of $z$ to be $0$ above the positive cut and $2 \pi$ below, and $+ \pi$ above the negative cut and $- \pi$ below. I will omit the steps involving showing that the integrals about the small and large arcs vanish as their respective radii vanish and go to $\infty$.

Thus, the contour integral is

$$\left (1-e^{-i 2 \pi p} \right )\int_0^{\infty} dt \, \log{(1+x t)} \, t^{-p-1} \\+e^{-i \pi p} \int_{\infty}^{1/x} dt \, \left [\log{(x t-1)}+i \pi \right ] \, t^{-p-1}+ e^{-i \pi p}\int_{1/x}^{\infty} dt \, \left [\log{(x t-1)}-i \pi \right ] \, t^{-p-1}$$

Note that I have not invoked the branch cut for the power piece of the integrand. Rather, I have set the argument of $z$ to be $\pi$ there as I would without the log piece. This is the tricky part of doing the complex analysis.

By Cauchy’s theorem, the contour integral is zero in the above-mentioned limit. Thus,

$$\left (1-e^{-i 2 \pi p} \right )\int_0^{\infty} dt \, \log{(1+x t)} \, t^{-p-1} = i 2 \pi e^{-i \pi p} \int_{1/x}^{\infty} dt \, t^{-p-1} = i 2 \pi e^{-i \pi p} \frac{x^p}{p}$$

The stated result follows:

$$\int_0^{\infty} dt \, \log{(1+x t)} \, t^{-p-1} = \frac{\pi \, x^p}{p \sin{\pi p}}$$