\(\int_{-\infty}^{\infty}\frac{e^{ix}}{x} dx = 2\iint_{0}^{\infty}\frac{\sin(x)}{x} dx\)
Die grote cirkelboog levert een akelige integraal op. Integreren via rechte paden levert veel simpelere afschattingen op.
Zo vindt ik de volgende afschattingen:
voor [R,R+iD] en [-R+iD,-R] deafschatting |.| < D/R
en voor [R+iD,-R+iD] de afschatting |.| < 2e^(-D)
en voor het halve cirkeltje (veruit het meeste werk) voor r naar 0 de uitkomst
\(-\pi i\)
.
Resultaat:
\(|2i \int_{0}^R \frac{\sin(x)}{x} dx -\pi i| \leq \frac{2D}{R} + \frac{2}{e^D}\)
Kies nu
\(D=\sqrt{R}\)
en laat R naar oneindig gaan.