Integral Problem

1.

2
2
Prove lnsin x dx = lncos x dx
0
0

2.

2
Hence evaluate lnsin x dx
0

Solution
a

1.

2.

Using the convolution theorem i.e. f (x) dx = f (a x) dx and the fact that
0
0

sin( 2 x) = cos x the result is evident.

Let I = lnsin x dx , from question 1 above I = lnsin x dx = lncos x dx

0
0
0

2
2
2I = lnsin x dx + lncos x dx
0
0

2
= (lnsin x + lncos x) dx
0

2
= ln( 12 sin 2x) dx
0

2
= (ln 12 + lnsin 2x) dx
0

2
2
= ln 12 dx + lnsin 2x dx
0
0

1 2
= ln + lnsin 2x dx
2 2 0

1 2
= ln + lnsin x dx
2 2 0
=

1
ln + I
2 2

ln 2 + I
2

I = ln 2
2
2I =

[Proof over the page]

Proof:

2
2
dx
=
lnsin
2x

lnsin x dx
0
0
Let u = 2x
du = 2dx
x = 0, u = 0; x =

2
lnsin 2x dx =
0

,u=

1
lnsinu du
2
0

1 2
= lnsinu du + lnsinu du

2 0

1 2
= 2 lnsin x dx
2 0

2
= lnsin x dx
0

Why is lnsinu du = lnsinu du ?

0

Either use symmetry about u =

i.e. v = x.

i.e. sin( 2 u) = sin( 2 + u) or use a substitution