Solving Tricky Integrals: A Contour Integration Guide

Hey guys! Today, we're diving deep into the fascinating world of complex analysis to tackle a tricky integral. Specifically, we're going to break down how to solve:

$$\int_{0}^\infty \frac{\ln(x)}{x^2-2ix-2} dx$$

using the magic of contour integration. Buckle up, because this is going to be a fun ride!

Setting Up the Keyhole Contour

Alright, so the first thing we need to do is set up our keyhole contour. If you're scratching your head, don't worry! A keyhole contour is just a fancy way of saying we're going to integrate around a path in the complex plane that looks like a keyhole. The main idea is to avoid the branch cut of the logarithm, which typically lies along the positive real axis.

Here's how we define our contour $\Gamma$: It consists of four parts:

1. $C_R$: A large circle of radius $R$ centered at the origin.
2. $C_r$: A small circle of radius $r$ centered at the origin.
3. $L_1$: A line segment along the positive real axis from $r$ to $R$, just above the axis.
4. $L_2$: A line segment along the positive real axis from $R$ to $r$, just below the axis.

So, we have:

$$\oint_{\Gamma} f(z) dz = \int_{C_R} f(z) dz + \int_{L_1} f(z) dz + \int_{C_r} f(z) dz + \int_{L_2} f(z) dz$$

where

$$f(z) = \frac{\ln(z)}{z^2 - 2iz - 2}$$

Why this particular contour? Because the logarithm function $\ln(z)$ is multi-valued, and we need to choose a specific branch to make it well-defined. The keyhole contour allows us to isolate the integral we want while dealing with the branch cut in a controlled manner. The logarithmic function's principal branch is defined as $\ln(z) = \ln|z| + i \arg(z)$, where $0 < \arg(z) < 2\pi$ around the contour.

Poles of the Integrand

Before we proceed, let's find the poles of our integrand. These are the values of $z$ for which the denominator is zero:

$$z^2 - 2iz - 2 = 0$$

Using the quadratic formula, we get:

$$z = \frac{2i \pm \sqrt{(-2i)^2 - 4(1)(-2)}}{2} = \frac{2i \pm \sqrt{-4 + 8}}{2} = i \pm \sqrt{1} = i \pm \sqrt{2}$$

So our poles are $z_1 = i + \sqrt{2}$ and $z_2 = i - \sqrt{2}$. Notice that only $z_1 = i + \sqrt{2}$ lies within our contour (in the upper half-plane).

Evaluating the Integrals

Now comes the fun part: evaluating the integrals along each part of the contour.

Integral along $C_R$

We need to show that $\lim_{R \to \infty} \int_{C_R} f(z) dz = 0$. Let $z = Re^{i\theta}$, so $\ln(z) = \ln(R) + i\theta$. Then:

$$\left| \int_{C_R} \frac{\ln(z)}{z^2 - 2iz - 2} dz \right| \leq \int_{0}^{2\pi} \frac{\left| \ln(R) + i\theta \right|}{\left| R^2e^{2i\theta} - 2iRe^{i\theta} - 2 \right|} R d\theta$$

As $R \to \infty$, the integral goes to zero because the denominator grows faster than the numerator. Thus, this integral vanishes.

Integral along $C_r$

Similarly, we need to show that $\lim_{r \to 0} \int_{C_r} f(z) dz = 0$. Let $z = re^{i\theta}$, so $\ln(z) = \ln(r) + i\theta$. Then:

$$\left| \int_{C_r} \frac{\ln(z)}{z^2 - 2iz - 2} dz \right| \leq \int_{0}^{2\pi} \frac{\left| \ln(r) + i\theta \right|}{\left| r^2e^{2i\theta} - 2ire^{i\theta} - 2 \right|} r d\theta$$

As $r \to 0$, the integral goes to zero because $r \ln(r)$ approaches zero faster than the denominator approaches a constant. Thus, this integral also vanishes.

Integral along $L_1$

Along $L_1$, $z = x$, so $\ln(z) = \ln(x)$. Thus:

$$\int_{L_1} \frac{\ln(x)}{x^2 - 2ix - 2} dx = \int_{r}^{R} \frac{\ln(x)}{x^2 - 2ix - 2} dx$$

Integral along $L_2$

Along $L_2$, $z = x$, but we're just below the real axis. Since we're using the keyhole contour, $\ln(z) = \ln(x) + 2\pi i$. Thus:

$$\int_{L_2} \frac{\ln(z)}{z^2 - 2iz - 2} dz = -\int_{r}^{R} \frac{\ln(x) + 2\pi i}{x^2 - 2ix - 2} dx$$

Applying the Residue Theorem

Now we use the Residue Theorem:

$$\oint_{\Gamma} f(z) dz = 2\pi i \operatorname{Res}(f, z_1)$$

where $z_1 = i + \sqrt{2}$.

Calculating the Residue

Since $z_1$ is a simple pole, we have:

$$\operatorname{Res}(f, z_1) = \lim_{z \to z_1} (z - z_1) \frac{\ln(z)}{z^2 - 2iz - 2} = \lim_{z \to z_1} \frac{(z - z_1) \ln(z)}{(z - z_1)(z - z_2)} = \frac{\ln(z_1)}{z_1 - z_2}$$

We know $z_1 = i + \sqrt{2}$ and $z_2 = i - \sqrt{2}$, so $z_1 - z_2 = 2\sqrt{2}$. Thus:

$$\operatorname{Res}(f, z_1) = \frac{\ln(i + \sqrt{2})}{2\sqrt{2}}$$

Now, $\ln(i + \sqrt{2}) = \ln(\sqrt{(\sqrt{2})^2 + 1^2}) + i \arctan(\frac{1}{\sqrt{2}}) = \frac{1}{2} \ln(3) + i \arctan(\frac{1}{\sqrt{2}})$. Therefore:

$$\operatorname{Res}(f, z_1) = \frac{\frac{1}{2} \ln(3) + i \arctan(\frac{1}{\sqrt{2}})}{2\sqrt{2}} = \frac{\ln(3)}{4\sqrt{2}} + i \frac{\arctan(\frac{1}{\sqrt{2}})}{2\sqrt{2}}$$

Putting It All Together

We have:

$$\oint_{\Gamma} f(z) dz = \int_{L_1} f(z) dz + \int_{L_2} f(z) dz = 2\pi i \operatorname{Res}(f, z_1)$$

Substituting the integrals along $L_1$ and $L_2$:

$$\int_{r}^{R} \frac{\ln(x)}{x^2 - 2ix - 2} dx - \int_{r}^{R} \frac{\ln(x) + 2\pi i}{x^2 - 2ix - 2} dx = 2\pi i \left( \frac{\ln(3)}{4\sqrt{2}} + i \frac{\arctan(\frac{1}{\sqrt{2}})}{2\sqrt{2}} \right)$$

Simplifying, we get:

$$-2\pi i \int_{r}^{R} \frac{1}{x^2 - 2ix - 2} dx = 2\pi i \left( \frac{\ln(3)}{4\sqrt{2}} + i \frac{\arctan(\frac{1}{\sqrt{2}})}{2\sqrt{2}} \right)$$

$$\int_{0}^{\infty} \frac{1}{x^2 - 2ix - 2} dx = -\frac{\ln(3)}{4\sqrt{2}} - i \frac{\arctan(\frac{1}{\sqrt{2}})}{2\sqrt{2}}$$

Now, let's go back to the original integral:

$$I = \int_{0}^{\infty} \frac{\ln(x)}{x^2 - 2ix - 2} dx$$

We have:

$$\int_{L_1} \frac{\ln(x)}{x^2 - 2ix - 2} dx + \int_{L_2} \frac{\ln(x) + 2\pi i}{x^2 - 2ix - 2} dx = 2\pi i \operatorname{Res}(f, z_1)$$

$$\int_{0}^{\infty} \frac{\ln(x)}{x^2 - 2ix - 2} dx - \int_{0}^{\infty} \frac{\ln(x) + 2\pi i}{x^2 - 2ix - 2} dx = 2\pi i \left( \frac{\ln(3)}{4\sqrt{2}} + i \frac{\arctan(\frac{1}{\sqrt{2}})}{2\sqrt{2}} \right)$$

$$-2\pi i \int_{0}^{\infty} \frac{1}{x^2 - 2ix - 2} dx = 2\pi i \left( \frac{\ln(3)}{4\sqrt{2}} + i \frac{\arctan(\frac{1}{\sqrt{2}})}{2\sqrt{2}} \right)$$

$$\int_{0}^{\infty} \frac{1}{x^2 - 2ix - 2} dx = -\frac{\ln(3)}{4\sqrt{2}} - i \frac{\arctan(\frac{1}{\sqrt{2}})}{2\sqrt{2}}$$

So,

$$\int_{0}^{\infty} \frac{\ln(x)}{x^2 - 2ix - 2} dx = \pi \frac{\arctan(1/\sqrt{2})}{\sqrt{2}} - i \frac{\ln(3) \pi}{4 \sqrt{2}}$$

Final Answer

Thus, the final answer is:

$$I = \int_{0}^{\infty} \frac{\ln(x)}{x^2 - 2ix - 2} dx = \frac{\pi}{2\sqrt{2}} \arctan\left(\frac{1}{\sqrt{2}}\right) - i \frac{\pi \ln(3)}{4\sqrt{2}}$$

Boom! We've successfully navigated this tricky integral using contour integration. I know it seems like a lot, but take it step by step, and you'll get there. Keep practicing, and you'll become a contour integration master in no time! This method showcases the power and elegance of complex analysis, turning seemingly impossible integrals into manageable problems. Keep exploring, keep learning, and never stop questioning. You've got this!