Evaluate the integral ∫₀^∞ ln(x)/(x² + 1) dx using complex analysis techniques.

Answer: 00

Step-by-step solution

Step 1: Define the complex integral and contour

We need to evaluate the given definite integral. We will use complex analysis, specifically the residue theorem, to solve this. We consider a complex function f(z)=ln⁡(z)z2+1f(z) = \frac{\ln(z)}{z^2 + 1} and integrate it over a suitable contour.

Step 2: Identify singularities

The singularities of the function f(z)=ln⁡(z)z2+1f(z) = \frac{\ln(z)}{z^2 + 1} occur where the denominator is zero. Solving z2+1=0z^2 + 1 = 0 gives z=iz = i and z=−iz = -i. These are simple poles. The branch cut for ln⁡(z)\ln(z) is typically chosen along the positive real axis, but for this integral, we can use a keyhole contour or a semicircular contour with a branch cut along the positive real axis.

Step 3: Choose contour and apply Residue Theorem

We choose a semicircular contour in the upper half-plane, indented at the origin, with a branch cut along the positive real axis. The only pole inside this contour is z=iz = i. We calculate the residue at this pole.

Step 4: Calculate the residue at z=iz=i

To find the residue at the simple pole z=iz=i, we use the formula Res(f,z0)=lim⁡z→z0(z−z0)f(z)\text{Res}(f, z_0) = \lim_{z \to z_0} (z - z_0) f(z). Substituting z0=iz_0 = i, we get ln⁡(i)2i\frac{\ln(i)}{2i}. We know that ln⁡(i)=ln⁡(eiπ/2)=iπ/2\ln(i) = \ln(e^{i\pi/2}) = i\pi/2.

Step 5: Substitute ln⁡(i)\ln(i) and simplify residue

Substituting ln⁡(i)=iπ/2\ln(i) = i\pi/2 into the residue calculation, the ii terms cancel out, leaving us with π4\frac{\pi}{4}.

Step 6: Apply Residue Theorem to the contour integral

According to the Residue Theorem, the contour integral is 2πi2\pi i times the sum of the residues. Since there is only one pole inside our chosen contour, the integral is 2πi×π4=iπ222\pi i \times \frac{\pi}{4} = \frac{i\pi^2}{2}.

Step 7: Relate contour integral to the real integral

For the chosen contour, the integral along the large arc goes to zero as the radius approaches infinity, and the integral along the small arc around the origin goes to zero as the radius approaches zero. The integral along the path just above the positive real axis is II, and the integral along the path just below the positive real axis is also II (due to the branch cut and the specific form of the integrand). Therefore, the total contour integral is 2I2I. Equating this to the result from the Residue Theorem, we get 2I=iπ222I = \frac{i\pi^2}{2}. However, this is incorrect. The integral along the real axis from 0 to ∞\infty is II. The integral along the real axis from ∞\infty to 0 (below the branch cut) is ∫∞0ln⁡(x)+2πix2+1dx=−∫0∞ln⁡(x)x2+1dx−2πi∫0∞1x2+1dx=−I−2πi[arctan⁡(x)]0∞=−I−2πi(π/2)=−I−iπ2\int_\infty^0 \frac{\ln(x) + 2\pi i}{x^2+1} dx = -\int_0^\infty \frac{\ln(x)}{x^2+1} dx - 2\pi i \int_0^\infty \frac{1}{x^2+1} dx = -I - 2\pi i [\arctan(x)]_0^\infty = -I - 2\pi i (\pi/2) = -I - i\pi^2. Summing the contributions, we have I+(−I−iπ2)=−iπ2I + (-I - i\pi^2) = -i\pi^2. This is also incorrect. Let's re-evaluate the contour. A common contour for this type of integral is a semi-circle in the upper half-plane. The integral along the real axis from −R-R to RR is ∫−RRln⁡(x)x2+1dx\int_{-R}^R \frac{\ln(x)}{x^2+1} dx. However, ln⁡(x)\ln(x) is not defined for negative xx. A better approach is to use the function f(z)=ln⁡2(z)z2+1f(z) = \frac{\ln^2(z)}{z^2+1} or a keyhole contour. Let's use a keyhole contour for f(z)=ln⁡(z)z2+1f(z) = \frac{\ln(z)}{z^2+1}. The integral along the upper edge of the branch cut is II. The integral along the lower edge of the branch cut is ∫∞0ln⁡(x)+2πix2+1dx=−I−2πi∫0∞1x2+1dx=−I−2πi(π/2)=−I−iπ2\int_\infty^0 \frac{\ln(x) + 2\pi i}{x^2+1} dx = -I - 2\pi i \int_0^\infty \frac{1}{x^2+1} dx = -I - 2\pi i (\pi/2) = -I - i\pi^2. The sum of these two parts is I+(−I−iπ2)=−iπ2I + (-I - i\pi^2) = -i\pi^2. This should be equal to 2πiRes(f,i)=2πi(π/4)=iπ2/22\pi i \text{Res}(f,i) = 2\pi i (\pi/4) = i\pi^2/2. This implies −iπ2=iπ2/2-i\pi^2 = i\pi^2/2, which is false. Let's use a different approach. Consider the integral J=∫0∞ln⁡(x)x2+1dxJ = \int_0^\infty \frac{\ln(x)}{x^2+1} dx. Let x=1/tx = 1/t, then dx=−1/t2dtdx = -1/t^2 dt. When x=0x=0, t=∞t=\infty. When x=∞x=\infty, t=0t=0. J=∫∞0ln⁡(1/t)(1/t)2+1(−1/t2)dt=∫0∞−ln⁡(t)(1/t2)+1(1/t2)dt=∫0∞−ln⁡(t)1+t2dt=−JJ = \int_\infty^0 \frac{\ln(1/t)}{(1/t)^2+1} (-1/t^2) dt = \int_0^\infty \frac{-\ln(t)}{(1/t^2)+1} (1/t^2) dt = \int_0^\infty \frac{-\ln(t)}{1+t^2} dt = -J. So J=−JJ = -J, which implies 2J=02J = 0, so J=0J = 0. This is a known result for this specific integral. Let's re-evaluate the complex analysis approach. Consider the integral I=∫0∞ln⁡(x)x2+1dxI = \int_0^\infty \frac{\ln(x)}{x^2+1} dx. Let's use the contour integral of f(z)=ln⁡(z)z2+1f(z) = \frac{\ln(z)}{z^2+1} over a semi-circular contour in the upper half-plane, with the branch cut for ln⁡(z)\ln(z) along the positive real axis. The integral along the real axis from ϵ\epsilon to RR is ∫ϵRln⁡(x)x2+1dx\int_\epsilon^R \frac{\ln(x)}{x^2+1} dx. The integral along the large arc CRC_R goes to 0 as R→∞R \to \infty. The integral along the small arc CϵC_\epsilon goes to 0 as ϵ→0\epsilon \to 0. The integral along the real axis from −R-R to −ϵ-\epsilon is problematic due to ln⁡(x)\ln(x). A standard method for this integral is to consider f(z)=ln⁡(z)z2+1f(z) = \frac{\ln(z)}{z^2+1} and use a keyhole contour. The integral along the upper side of the branch cut (from ϵ\epsilon to RR) is ∫ϵRln⁡(x)x2+1dx\int_\epsilon^R \frac{\ln(x)}{x^2+1} dx. The integral along the lower side of the branch cut (from RR to ϵ\epsilon) is ∫Rϵln⁡(x)+2πix2+1dx=−∫ϵRln⁡(x)+2πix2+1dx=−∫ϵRln⁡(x)x2+1dx−2πi∫ϵR1x2+1dx\int_R^\epsilon \frac{\ln(x) + 2\pi i}{x^2+1} dx = -\int_\epsilon^R \frac{\ln(x) + 2\pi i}{x^2+1} dx = -\int_\epsilon^R \frac{\ln(x)}{x^2+1} dx - 2\pi i \int_\epsilon^R \frac{1}{x^2+1} dx. As ϵ→0\epsilon \to 0 and R→∞R \to \infty, the sum of these two integrals is: I−(I+2πi∫0∞1x2+1dx)=−2πi∫0∞1x2+1dxI - (I + 2\pi i \int_0^\infty \frac{1}{x^2+1} dx) = -2\pi i \int_0^\infty \frac{1}{x^2+1} dx. We know ∫0∞1x2+1dx=[arctan⁡(x)]0∞=π/2\int_0^\infty \frac{1}{x^2+1} dx = [\arctan(x)]_0^\infty = \pi/2. So, the sum of the integrals along the branch cut is −2πi(π/2)=−iπ2-2\pi i (\pi/2) = -i\pi^2. By the Residue Theorem, this must be equal to 2πiRes(f,i)=2πi(π/4)=iπ2/22\pi i \text{Res}(f, i) = 2\pi i (\pi/4) = i\pi^2/2. So, −iπ2=iπ2/2-i\pi^2 = i\pi^2/2, which is still incorrect. Let's re-examine the substitution x=1/tx = 1/t. I=∫0∞ln⁡(x)x2+1dxI = \int_0^\infty \frac{\ln(x)}{x^2+1} dx. Let x=tan⁡θx = \tan \theta. Then dx=sec⁡2θdθdx = \sec^2 \theta d\theta. When x=0x=0, θ=0\theta=0. When x=∞x=\infty, θ=π/2\theta=\pi/2. I=∫0π/2ln⁡(tan⁡θ)tan⁡2θ+1sec⁡2θdθ=∫0π/2ln⁡(tan⁡θ)sec⁡2θsec⁡2θdθ=∫0π/2ln⁡(tan⁡θ)dθI = \int_0^{\pi/2} \frac{\ln(\tan \theta)}{\tan^2 \theta + 1} \sec^2 \theta d\theta = \int_0^{\pi/2} \frac{\ln(\tan \theta)}{\sec^2 \theta} \sec^2 \theta d\theta = \int_0^{\pi/2} \ln(\tan \theta) d\theta. This is a known integral. We know that ∫0π/2ln⁡(sin⁡x)dx=−π2ln⁡(2)\int_0^{\pi/2} \ln(\sin x) dx = -\frac{\pi}{2} \ln(2) and ∫0π/2ln⁡(cos⁡x)dx=−π2ln⁡(2)\int_0^{\pi/2} \ln(\cos x) dx = -\frac{\pi}{2} \ln(2). So, ∫0π/2ln⁡(tan⁡x)dx=∫0π/2(ln⁡(sin⁡x)−ln⁡(cos⁡x))dx=∫0π/2ln⁡(sin⁡x)dx−∫0π/2ln⁡(cos⁡x)dx=−π2ln⁡(2)−(−π2ln⁡(2))=0\int_0^{\pi/2} \ln(\tan x) dx = \int_0^{\pi/2} (\ln(\sin x) - \ln(\cos x)) dx = \int_0^{\pi/2} \ln(\sin x) dx - \int_0^{\pi/2} \ln(\cos x) dx = -\frac{\pi}{2} \ln(2) - (-\frac{\pi}{2} \ln(2)) = 0. So the integral is 0. The complex analysis approach for this integral is more subtle. Consider the integral I=∫0∞ln⁡(x)x2+1dxI = \int_0^\infty \frac{\ln(x)}{x^2+1} dx. Let's use the contour integral of f(z)=ln⁡(z)z2+1f(z) = \frac{\ln(z)}{z^2+1} over a semi-circular contour in the upper half-plane. The integral along the real axis from −R-R to RR is ∫−RRln⁡(x)x2+1dx\int_{-R}^R \frac{\ln(x)}{x^2+1} dx. However, ln⁡(x)\ln(x) is not well-defined for negative xx without a branch cut. If we use the principal branch of ln⁡(z)\ln(z), then ln⁡(x)\ln(x) for x<0x<0 is ln⁡(∣x∣)+iπ\ln(|x|) + i\pi. So ∫−R0ln⁡(x)x2+1dx=∫−R0ln⁡(∣x∣)+iπx2+1dx\int_{-R}^0 \frac{\ln(x)}{x^2+1} dx = \int_{-R}^0 \frac{\ln(|x|) + i\pi}{x^2+1} dx. Let x=−tx = -t. ∫R0ln⁡(t)+iπt2+1(−dt)=∫0Rln⁡(t)+iπt2+1dt=∫0Rln⁡(t)t2+1dt+iπ∫0R1t2+1dt\int_R^0 \frac{\ln(t) + i\pi}{t^2+1} (-dt) = \int_0^R \frac{\ln(t) + i\pi}{t^2+1} dt = \int_0^R \frac{\ln(t)}{t^2+1} dt + i\pi \int_0^R \frac{1}{t^2+1} dt. So, ∮Cf(z)dz=∫0Rln⁡(x)x2+1dx+∫0Rln⁡(x)x2+1dx+iπ∫0R1x2+1dx+∫CRf(z)dz\oint_C f(z) dz = \int_0^R \frac{\ln(x)}{x^2+1} dx + \int_0^R \frac{\ln(x)}{x^2+1} dx + i\pi \int_0^R \frac{1}{x^2+1} dx + \int_{C_R} f(z) dz. As R→∞R \to \infty, ∫CRf(z)dz→0\int_{C_R} f(z) dz \to 0. So, 2I+iπ∫0∞1x2+1dx=2πiRes(f,i)2I + i\pi \int_0^\infty \frac{1}{x^2+1} dx = 2\pi i \text{Res}(f, i). 2I+iπ(π/2)=2πi(π/4)2I + i\pi (\pi/2) = 2\pi i (\pi/4). 2I+iπ2/2=iπ2/22I + i\pi^2/2 = i\pi^2/2. 2I=0  ⟹  I=02I = 0 \implies I = 0. This matches the previous result. Let's write down the steps for this approach. The contour is a large semi-circle in the upper half-plane, with radius RR. The integral along the real axis is from −R-R to RR. For x<0x < 0, ln⁡(x)=ln⁡(∣x∣)+iπ\ln(x) = \ln(|x|) + i\pi. So ∫−RRln⁡(x)x2+1dx=∫−R0ln⁡(∣x∣)+iπx2+1dx+∫0Rln⁡(x)x2+1dx\int_{-R}^R \frac{\ln(x)}{x^2+1} dx = \int_{-R}^0 \frac{\ln(|x|) + i\pi}{x^2+1} dx + \int_0^R \frac{\ln(x)}{x^2+1} dx. Let x=−tx = -t in the first integral. ∫R0ln⁡(t)+iπt2+1(−dt)=∫0Rln⁡(t)t2+1dt+iπ∫0R1t2+1dt\int_R^0 \frac{\ln(t) + i\pi}{t^2+1} (-dt) = \int_0^R \frac{\ln(t)}{t^2+1} dt + i\pi \int_0^R \frac{1}{t^2+1} dt. So, ∫−RRln⁡(x)x2+1dx=∫0Rln⁡(x)x2+1dx+∫0Rln⁡(x)x2+1dx+iπ∫0R1x2+1dx\int_{-R}^R \frac{\ln(x)}{x^2+1} dx = \int_0^R \frac{\ln(x)}{x^2+1} dx + \int_0^R \frac{\ln(x)}{x^2+1} dx + i\pi \int_0^R \frac{1}{x^2+1} dx. As R→∞R \to \infty, this becomes 2I+iπ∫0∞1x2+1dx=2I+iπ(π/2)=2I+iπ2/22I + i\pi \int_0^\infty \frac{1}{x^2+1} dx = 2I + i\pi (\pi/2) = 2I + i\pi^2/2. By the Residue Theorem, this is equal to 2πiRes(f,i)=2πi(π/4)=iπ2/22\pi i \text{Res}(f, i) = 2\pi i (\pi/4) = i\pi^2/2. Therefore, 2I+iπ2/2=iπ2/22I + i\pi^2/2 = i\pi^2/2. 2I=0  ⟹  I=02I = 0 \implies I = 0.

More from this chapter

All Integrals solutions →

Solve your own maths question free →