Free Coffee

Enrique Mendez
2015-3-10
We wish to evaluate the integral
Z
I=
0

sin(x) cos(x)
e
cos(ax sin(x))dx
x

(1)

when a (0, .5). Note that it is equivalent to the integral

Z
1 sin(x) cos(x)
e
cos(ax sin(x))dx
2 x
Z
1
sin(x) eix iax
= Re
e e
dx
2
x

I=

(2)
(3)

as can be seen by writing cos(ax sin(x)) as the real part of a complex exponential.
Note that this is the Fourier transform of a product and so we apply the convolution theorem which
states that the transform P
of a product is the convolution of the transforms.
P 1
ix
ix
1 inx
Now note that ee =
and so the transform of ee is
n! e
n! (a n). Furthermore, note that the
transform of the sinc function is rect(a).
To show this, we evaluate the integral of sinc.
Z

sin(x) iax
e
dx =
x

(4)
Z

sin(x)
cos (ax)dx
x

Z
1
sin((a + 1)x) sin((a 1)x)
dx
=
2
x
=

= rect(a)

(5)
(6)
(7)

Only when |a| > 1 do the two terms cancel. When |a| < 1 the right term switches sign and they both
contribute a value of . Hence the convolution becomes
XZ
1
1
Re
rect(x) (a n x)dx
2
n!

X
1
1
= Re
rect(a n) =
2
n!

I=

since a (0, .5) leaves only n = 0, 1 terms to be summed.

(8)
(9)