37

Prove the following \begin{equation}\int_0^\infty\frac{\sin^2x}{x^2(1+x^2)}\,dx=\frac{\pi}{4}+\frac{\pi}{4e^2}\end{equation}

I would love to see how Mathematics SE users prove the integral preferably with the Feynman way (other methods are welcome). Thank you. (>‿◠)✌


Original question:

And of course, for the sadist with a background in differential equations, I invite you to try your luck with the last integral of the group.

\begin{equation}\int_0^\infty\frac{\sin^2x}{x^2(1+x^2)}\,dx\end{equation}

Source: Integration: The Feynman Way

3 Answers3

38

Here is my attempt: \begin{align} \int_0^\infty\frac{\sin^2x}{x^2(1+x^2)}dx&=\int_0^\infty\left[\frac{\sin^2x}{x^2}-\frac{\sin^2x}{1+x^2}\right]dx\\ &=\int_0^\infty\frac{\sin^2x}{x^2}dx-\frac{1}{2}\int_0^\infty\frac{1-\cos2x}{1+x^2}dx\\ &=\frac{\pi}{2}-\frac{1}{2}\int_0^\infty\frac{1}{1+x^2}dx+\frac{1}{2}\int_0^\infty\frac{\cos2x}{1+x^2}dx\\ &=\frac{\pi}{2}-\frac{1}{2}\frac{\pi}{2}+\frac{1}{2}\frac{\pi}{2e^2}\\ &=\frac{\pi}{4}+\frac{\pi}{4e^2} \end{align} where I use these links: $\displaystyle\int_0^\infty\frac{\sin^2x}{x^2}dx$ and $\displaystyle\int_0^\infty\frac{\cos2x}{1+x^2}dx$ to help me out.

Unfortunately, this is not the Feynman way but I still love this method.

31

Consider $$ I(a)=\int_0^\infty\frac{\sin^2(ax)}{x^2(x^2+1)}dx $$ Differentiate it twice. Since $$ \int_0^\infty\frac{\cos(kx)}{x^2+1}dx=\frac{\pi}{2e^k} $$ for $k>0$ we get $I''(a)=\pi e^{-2a}$. Note that $I'(0)=I(0)=0$, so after solving respective IVP we get $$ I(a)=\frac{\pi}{4}(-1+2a+e^{-2a}) $$ Now it only remains to substitute for $a=1$.

Norbert
  • 56,803
  • Wait a second! Why never cross to mind to use Feynman method twice?? +1 Sir! ≥►.◄≤ – Anastasiya-Romanova 秀 May 21 '14 at 12:47
  • 2
    @V-Moy Because you're not thinking like Feynman! Suppose the Feynman method just transforms your complicated integral into another complicated integral. Well, what tricks do you know for handling complicated integrals? That's right, the Feynman method! :) – David H May 21 '14 at 13:59
  • Thanks for your advice Mr. @DavidH. I'll try to think like Feynman. I have a lot of time though. ᕙ(^▽^)ᕗ – Anastasiya-Romanova 秀 May 21 '14 at 16:17
  • 2
    Why did you post this solution again? You knew this was a duplicate, this is a great solution but still. -1. http://math.stackexchange.com/questions/691798/differentiation-wrt-parameter-int-0-infty-sin2x-cdotx2x21-1dx – Jeff Faraci May 22 '14 at 14:14
  • 2
    @Integrals because it is not forbidden, and this answer perfectly fits to the question even more than the in the link you gave above. – Norbert May 22 '14 at 15:47
  • @Norbert Please see MSE policy on duplicates. Also I'm not sure what you mean, "even more than the in the link..."? Thanks a lot for your comments. The question has been properly marked as a duplicate now. – Jeff Faraci May 22 '14 at 16:09
29

This integral is readily evaluated using Parseval's theorem for Fourier transforms. (I am certain that Feynman had this theorem in his tool belt.) Recall that, for transform pairs $f(x)$ and $F(k)$, and $g(x)$ and $G(k)$, the theorem states that

$$\int_{-\infty}^{\infty} dx \, f(x) g^*(x) = \frac1{2 \pi} \int_{-\infty}^{\infty} dk \, F(k) G^*(k) $$

In this case, $f(x) = \frac{\sin^2{x}}{x^2}$ and $g(x) = 1/(1+x^2)$. Then $F(k) = \pi (1-|k|/2) \theta(2-|k|)$ and $G(k) = \pi \, e^{-|k|}$. ($\theta$ is the Heaviside function, $1$ when its argument is positive, $0$ when negative.) Using the symmetry of the integrand, we may conclude that

$$\begin{align}\int_0^{\infty} dx \frac{\sin^2{x}}{x^2 (1+x^2)} &= \frac{\pi}{2} \int_0^{2} dk \, \left ( 1-\frac{k}{2} \right ) e^{-k} \\ &= \frac{\pi}{2} \left (1-\frac1{e^2} \right ) - \frac{\pi}{4} \int_0^{2} dk \, k \, e^{-k} \\ &= \frac{\pi}{2} \left (1-\frac1{e^2} \right ) + \frac{\pi}{2 e^2} - \frac{\pi}{4} \left (1-\frac1{e^2} \right )\\ &= \frac{\pi}{4} \left (1+\frac1{e^2} \right )\end{align} $$

Ron Gordon
  • 138,521
  • Amazing! I've just challenged you but you gave me an answer within a second. Awesome! d(ô‿ô)b – Anastasiya-Romanova 秀 May 21 '14 at 12:38
  • 12
    @V-Moy: Yeah, I'm fast like that. – Ron Gordon May 21 '14 at 12:38
  • 12
    Surely You're Joking, Mr. Gordon! (‐^▽^‐) – Anastasiya-Romanova 秀 May 21 '14 at 12:41
  • BTW, could you provide me links to learn about your method? It seems you take your answer to the level that I don't even know yet. (─‿‿─) – Anastasiya-Romanova 秀 May 21 '14 at 12:43
  • @V-Moy: http://mathworld.wolfram.com/PlancherelsTheorem.html Mathematicians refer to this as Plancherel's theorem and reserve Parseval for Fourier series. – Ron Gordon May 21 '14 at 12:46
  • Thanks Mr. Gordon. I guess I need days to learn it. BTW, +1 for your answer and thank you for answering my question. (^‿^ʃƪ) – Anastasiya-Romanova 秀 May 21 '14 at 12:51
  • @RonGordon, The fouriertransform of the $\operatorname{sinc}(x)$ function, or rather $\operatorname{sinc}^2(x)$ have you calculated this earlier? If it is not too much to ask I would love a refference or link =) – N3buchadnezzar May 21 '14 at 13:34
  • @N3buchadnezzar: because I am pressed for time, here's a WA link. I will provide a full derivation as soon as I can. http://www.wolframalpha.com/input/?i=FourierTransform%5BSin%5Bx%5D%5E2%2Fx%5E2%2Cx%2Ck%2CFourierParameters-%3E%7B1%2C-1%7D%5D&t=crmtb01 – Ron Gordon May 21 '14 at 13:40
  • 1
    @RonGordon Why did you answer the same question again since you knew it was a duplicate? You have already answered this question for me : http://math.stackexchange.com/questions/691798/differentiation-wrt-parameter-int-0-infty-sin2x-cdotx2x21-1dx. – Jeff Faraci May 22 '14 at 14:15
  • 2
    @Integrals: because I answered it three months ago and at my age, dementia sets in. I admit that sometimes I just answer the question without looking back through my vast database of answers. So, no, I did not know it was a duplicate. – Ron Gordon May 22 '14 at 14:21
  • @RonGordon That makes sense since you answer a lot, however you still could have at flagged it as a duplicate question. – Jeff Faraci May 22 '14 at 14:24
  • 3
    @Integrals: I would have if I had known. But so what - the worst thing in the world is that duplicate correct (and consistent) answers exist in the site? Vote to close as a duplicate if this bothers you. – Ron Gordon May 22 '14 at 14:27
  • 1
    You got the best profile pic on stack overflow. Man yells at cloud ahahaha – Ogen Dec 20 '14 at 04:57