2
$\begingroup$

I am looking for the solution to this improper integral. This was my approach:

Step I. (We use the 'pie slice' $\frac{\pi}{3}$). We define our log with $\frac{-\pi}{2} < \arg z < \frac{3\pi}{2}$. \begin{equation} \int_C \frac{\log(z)}{z^6 + 1}dz = \int_{L_1}\frac{\log(z)}{z^6 + 1}dz + \int_{L_2}\frac{\log(z)}{z^6 + 1}dz + \int_{\gamma_\epsilon}\frac{\log(z)}{z^6 + 1}dz + \int_{\Gamma_R}\frac{\log(z)}{z^6 + 1}dz \end{equation}

Step II. Finding residues. The only singularity located within our contour is the singularity $e^\frac{\pi i}{6}$.

\begin{equation} 2\pi i \operatorname{Res}(f; e^\frac{\pi i}{6}) = 2 \pi i\lim_{z\rightarrow z_0}\frac{(z-z_0)\log(z)}{z^6 - 1} = \frac{\pi^2}{18}e^\frac{\pi i}{6} \end{equation}

Step III. Show that the integrals over $\Gamma_R$ and $\gamma_\epsilon$ $\rightarrow 0$ as $R \rightarrow \infty$ and $\epsilon \rightarrow 0$. We omit this as it is not a necessary part for this question.

Step IV. Parametrise the integral over $L_2$. \begin{equation} \int_{L_2}\frac{\log z}{z^6 + 1}dz = -e^{\frac{\pi i}{3}}\int_{\epsilon}^{R} \frac{\ln(x) + i \frac{\pi}{3}}{x^6 + 1}dx \end{equation}

Step V. When putting all of this together, we have
\begin{align} \frac{\pi^2}{18}e^\frac{\pi i}{6} = (1-e^{\frac{\pi i}{3}})\int_{0}^{\infty} \frac{\ln(x)}{x^6 + 1}dx - i e^\frac{\pi i}{3}\int_{0}^{\infty}\frac{\frac{\pi}{3}}{x^6 + 1}dx \end{align}

Which is unfortunate because the answer is not real and therefore certainly not correct. Can you see what I did wrong?

$\endgroup$
  • $\begingroup$ Are you also interested in a 'Real' based approach to this integral? I will post up if so. $\endgroup$ – user679268 Jun 30 at 23:49
  • $\begingroup$ Are you referring to Feynman's technique? $\endgroup$ – laurensvm Jul 1 at 7:53
  • $\begingroup$ Well it uses Feynman's Trick (sort of). As before, I can post up if you're interested. $\endgroup$ – user679268 Jul 1 at 7:54
  • $\begingroup$ It would be nice maybe for future people who see this post. I myself am familiar with this technique and was specifically looking for this approach. $\endgroup$ – laurensvm Jul 1 at 8:06
2
$\begingroup$

The formula you've obtained is correct. The formula contains imaginary units, but it's not yet the final answer. Except for assmuing that the formula is incorrect, you did nothing wrong.

You have (after multiplying by $e^{-\frac{i \pi}{6}}$): $$\frac{\pi^2}{18} = -i \int_{0}^\infty \frac{\ln x}{x^6+1}dx + \frac{\pi(1-i\sqrt{3})}{6} \int_0^\infty \frac{dx}{x^6+1} $$ Knowing that the integrals have real values, you can take the real and the imaginary part of this equation $$\frac{\pi^2}{18} = \frac{\pi}{6} \int_0^\infty \frac{dx}{x^6+1} $$ $$0 = - \int_{0}^\infty \frac{\ln x}{x^6+1}dx - \frac{\pi\sqrt{3}}{6} \int_0^\infty \frac{dx}{x^6+1} $$ Solving this set of equations gives you $$ \int_0^\infty \frac{dx}{x^6+1} = \frac\pi 3$$ $$ \int_{0}^\infty \frac{\ln x}{x^6+1}dx = - \frac{\pi^2\sqrt{3}}{18}$$

If you want to obtain the values of these integrals without 'assuming' they are real, you can follow the method that Oscar Lanzi suggests in his answer.

$\endgroup$
1
$\begingroup$

I would use the whole pie with a cut. Here is how I would do it.

  1. Start by defining the branch cut along the negative real axis with $\in z = \ln x$ on the upper side therefore $\in z = \ln x+i(2\pi)$ on the lower side.

  2. Draw your contour from the origin, along the upper side of the cut, around the plane at $|z|=R$ and back to the origin along the lower cut.

  3. Integrate $(\ln z)dz/(z^6+1)$ around this contour using methods you apparently know. There's a catch: because you retrace the nonnegative real axis and the logarithm differs only by a constant across the cut, you lose the $\ln z$ factor and you get only an integral for $dz/(z^6+1)$.

  4. To get that factor of $\ln z$ back, integrate $(\ln z)^2dz/(z^6+1)$ around your contour. Now the difference in the squared logarithm across the branch cut will have the form $a\ln z+b$ for some constants $a$ and $b$ so this integration gives a combination of integrals for $(\ln z)dz/(z^6+1)$ and $dz/(z^6+1)$.

  5. Substitute the result of Step 3 for the $dz/(z^6+1)$ integral from Step 4 and solve for the $(\ln z)dz/(z^6+1)$ integral.

Have fun!

$\endgroup$
  • $\begingroup$ This method is good and working for any convergent integral of the form $\int_0^\infty Q(x) \ln x dx$ where $Q(z)$ is a meromorphic function on $\mathbb C$, but since in this case $Q(z)=\frac{1}{z^6+1}$ has the special property $$ Q(z e^{\frac{i\pi}{3}}) = Q(z)$$ the method that laurensvm is using also works and it is simpler. $\endgroup$ – Adam Latosiński Jun 30 at 12:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.