Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

It was recommended to me that I evaluate $$ \int_{-\infty}^{\infty} \frac{\log^{2}(1+ix^{2})}{1+ix^{2}} \ dx $$ by integrating $ \displaystyle f(z) = \frac{\log^{2}(1+z^{2})}{1+z^{2}}$around a semicircle that has its diameter along the line $ z= e^{i \pi /4}t, t \in \mathbb{R}$.

Using the principal branch of the logarithm, there are branch cuts on the imaginary axis from $i$ to $i \infty$ and from $-i$ to $-i \infty$.

Deforming the contour around branch cut in the upper half-plane I get

$$ e^{ \frac{i \pi }{4}} \int_{-\infty}^{\infty} \frac{\log^{2}(1+it^{2})}{1+it^{2}} \ dt + i \int^{1}_{\infty} \frac{\left(\log (t^{2}-1) + \pi i\right)^{2}}{1-t^{2}} \ dt + i \int_{1}^{\infty} \frac{\left(\log (t^{2}-1) - \pi i \right)^{2}}{1-t^{2}} \ dt = 0 $$

which implies

$$ \int_{-\infty}^{\infty} \frac{\log^{2}(1+it^{2})}{1+it^{2}} \ dt = -4 \pi e^{- i \pi /4} \int_{1}^{\infty} \frac{\log(t^{2}-1)}{1-t^{2}} \ dt.$$

But $ \displaystyle \int_{1}^{\infty} \frac{\log(t^{2}-1)}{1-t^{2}} \ dt$ does not converge.

What's going on here?


The issue is the indentation around the branch point at $z=i$. It's contribution doesn't vanish (nor is it finite) in the limit.

If you integrate $ \displaystyle f(z) = \frac{\log^{2}(1+iz^{2})}{1+iz^{2}} $ around a semicircular contour that includes the real axis, you run into a similar issue with the branch point at $z=e^{i \pi/4}$.

I have not been able to come up with another approach that would make the evaluation less difficult.

share|cite|improve this question
could you also take the semicircle the opposite direction too? but this way shod produce something meaningful still , how did you get the last equalities? – Evan Aug 22 '13 at 14:52
What's wrong with integrating along the real axis here? Deform a semicircular contour to avoid the branch point at $z=e^{i \pi/4}$, but that's about as complicated as it needs to be. I think. – Ron Gordon Aug 22 '13 at 14:55
Do you know what the answer is? – Mhenni Benghorbal Aug 22 '13 at 14:58
I'm a bit confused: sometimes you have log, and sometimes log squared. – user8268 Aug 22 '13 at 15:54
up vote 5 down vote accepted

Easier: differentiate
$$2\int_0^{\infty}(1+i x^2)^s dx=-e^{3i\pi/4}\frac{\sqrt{\pi}}{2}\frac{\Gamma(-1/2-s)}{\Gamma(-s)}$$ twice wrt $s$ and set $s=-1$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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