2
$\begingroup$

The problem i came across is the evaluation of $$\int_0^\infty\frac{\sin x}{x}\,dx$$ I chose the function $f(z) = \dfrac{e^{iz}}{z}$ and took a contour of $[\varepsilon , R ] + [R , R+iy] + [-R+iy , R+iy] + [-R,-R+iy]+[-R, -\varepsilon]$ . The problem is how do I continue now to find integrals on each of these segments ?

$\endgroup$
  • 1
    $\begingroup$ An aside, unrelated to the question: for one of my favorite integral tricks, look up Feynman's trick-- or, more objectively, "differentiating parameters under an integral." One of the classic examples is solving this integral without complex analysis. (Hence its unrelated-ness). $\endgroup$ – KR136 Apr 12 '16 at 21:52
  • $\begingroup$ Why did you choose the $f(z) = \dfrac{e^{iz}}{z}$ , does $sin(x)=e^{iz}$ ? $\endgroup$ – Zophikel Feb 24 '18 at 18:13
6
$\begingroup$

Take the function $\;f(z)=\frac{e^{iz}}z\;$ and define the (positive) indented semicircle

$$\gamma_r:=\{z\in\Bbb C\;:\;z=re^{it}\;,\;\;0\le t\le \pi\,,\,\,r>0\}$$

Now, for big $\;R\in\Bbb R_+\;$ and very small $\;\epsilon>0\;$ , take the contour:

$$C:=[-R,-\epsilon]\cup(-\gamma_\epsilon)\cup[\epsilon,R]\cup\gamma_R$$

We're going to use the lemma, and in particular its corolary, that in the first and most upvoted answer here

enter image description here

Observe that $\;f\;$ is analytic on the contour and within the domain enclosed by it, so by Cauchy's Theorem its integral equals zero. Also

$$\text{Res}_{z=0}(f)=\lim_{z\to 0} zf(z)=e^0=1$$

and thus by the lemma

$$\lim_{\epsilon\to0}\int_{\gamma_\epsilon}f(z)=\pi i$$

and also

$$\left|\int_{\gamma_R}f(z)\,dz\right|\le\frac{\pi R e^{-R\cdot\text{Im}\,z}}{R}\xrightarrow[R\to\infty]{}0\,,\,\text{since}\;\;\text{Im}\,(z)>0\;\;\text{on}\;\;\gamma_R$$

So we get:

$$0=\oint_C f(z)\,dz=\int_{-R}^\epsilon f(x)\,dz-\int_{\gamma_\epsilon} f(z)\,dz+\int_\epsilon^R f(x)\,dx+\int_{\gamma_R}f(z)\,dz\implies$$

$$0=\lim_{R\to\infty,\,\epsilon\to0}\oint_C f(z)dz=\int_{-\infty}^\infty\frac{e^{ix}}xdx-\pi i$$

and now just compare imaginary parts and divide by two since the real function is even.

$\endgroup$
  • 1
    $\begingroup$ How exactly do you deduce $\operatorname{Im}(z) > 0$ on $\gamma_R$? I think you have only that $\operatorname{Im}(z) \geq 0$ and in this case you wouldn't get the convergence to $0$. $\endgroup$ – Yaddle Jun 14 '17 at 14:01
  • $\begingroup$ @Yaddle That's definition of $\;\gamma_R\;$ and it really doesn't matter for convergence. If you want change to $\;0<t<\pi\;$ , it doesn't matter. $\endgroup$ – DonAntonio Apr 16 '18 at 4:25
  • $\begingroup$ How do you get the bound of the integral on $\gamma_R$? $\endgroup$ – Connor Apr 29 '18 at 0:51
  • $\begingroup$ @Connor You can use Jordan's Lemma: en.wikipedia.org/wiki/Jordan%27s_lemma , or the l.m. (estimation) lemma: en.wikipedia.org/wiki/Estimation_lemma $\endgroup$ – DonAntonio Apr 30 '18 at 4:57
  • $\begingroup$ Sir f(z)= $e^{iz}/z$ otherwise I think it will not be bounded $\endgroup$ – SRJ Nov 3 '18 at 3:49

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.