11
$\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$
2
  • 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
    Commented Apr 12, 2016 at 21:52
  • $\begingroup$ Why did you choose the $f(z) = \dfrac{e^{iz}}{z}$ , does $sin(x)=e^{iz}$ ? $\endgroup$
    – Zophikel
    Commented Feb 24, 2018 at 18:13

1 Answer 1

13
$\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$
7
  • 3
    $\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
    Commented Jun 14, 2017 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
    Commented Apr 16, 2018 at 4:25
  • 1
    $\begingroup$ How do you get the bound of the integral on $\gamma_R$? $\endgroup$
    – Connor
    Commented Apr 29, 2018 at 0:51
  • 1
    $\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
    Commented Apr 30, 2018 at 4:57
  • $\begingroup$ Sir f(z)= $e^{iz}/z$ otherwise I think it will not be bounded $\endgroup$ Commented Nov 3, 2018 at 3:49

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .